Related papers: Gr\"obner bases for (all) Grassmann manifolds
The Specht ideal of shape $\lambda$, where $\lambda$ is a partition, is the ideal generated by all Specht polynomials of shape $\lambda$. Haiman and Woo proved that these ideals are reduced and found their universal Gr\"obner bases. In this…
In generalized complex geometry, we revisit linear subspaces and submanifolds that have an induced generalized complex structure. We give an expression of the induced structure that allows us to deduce a smoothness criteria, we dualize the…
In this thesis, we investigate various integral submodels and generalize them. In part I, we study the submodel of the nonlinear $\mathbf{C}P^1$-model and the related submodels in $(1+2)$ dimensions. In part II, we construct integrable…
In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.
The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal…
Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…
In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The…
We relate the theory of moduli spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ of stable weighted curves of genus $0$ to the equivariant topology of complex Grassmann manifolds $G_{n,2}$, with the canonical action of the compact torus…
In this paper, we obtain the following generalisation of isometric $C^1$-immersion theorem of Nash and Kuiper. Let $M$ be a smooth manifold of dimension $m$ and $H$ a rank $k$ subbundle of the tangent bundle $TM$ with a Riemannian metric…
We study the topological-antitopological fusion equations for supersymmetric sigma models on Grassmannian manifolds G(k,N). We find a basis in which the metric becomes diagonal and the $tt^*$ equations become tractable. The solution for the…
This paper is devoted to the construction of norm-preserving maps between bounded cohomology groups. For a graph of groups with amenable edge groups we construct an isometric embedding of the direct sum of the bounded cohomology of the…
In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit cocycles. The appropriate cohomology theory is based on considering sheaves on a certain site. An advantage of…
We present an elegant, generic and extensive formalization of Gr\"obner bases in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-polynomials, Buchberger's algorithm, Buchberger's criteria…
In this paper, the tropical differential Gr\"obner basis is studied, which is a natural generalization of the tropical Gr\"obner basis to the recently introduced tropical differential algebra. Like the differential Gr\"obner basis, the…
We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gr\"obner bases for these ideals under…
Let $\widetilde{I}_{2n,k}$ denote the space of $k$-dimensional, oriented isotropic subspaces of $\mathbb{R}^{2n}$, called the oriented isotropic Grassmannian. Let $f \colon \widetilde{I}_{2n,k} \rightarrow \widetilde{I}_{2m,l} $ be a map…
Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…
We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z.…
For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and…