Related papers: Gr\"obner bases for (all) Grassmann manifolds
In this {paper}, we consider holomorphic embeddings of $Gr(2,m)$ into $Gr(2,n)$. We study such embeddings by finding all possible total Chern classes of the pull-back of the universal bundles under these embeddings. Using the relations…
In 1980, White conjectured that the toric ideal of a matroid is generated by quadratic binomials corresponding to a symmetric exchange. In this paper, we compute Gr\"obner bases of toric ideals associated with matroids and show that, for…
Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…
In the focus of our paper is a system of axioms that serves as a basis for introducing structural data for $(2n,k)$-manifolds $M^{2n}$, where $M^{2n}$ is a smooth, compact $2n$-dimensional manifold with a smooth effective action of the…
Let T(x) in k[x] be a monic non-constant polynomial and write R=k[x] / (T) the quotient ring. Consider two bivariate polynomials a(x, y), b(x, y) in R[y]. In a first part, T = p^e is assumed to be the power of an irreducible polynomial p. A…
By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of…
For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gr\"obner basis with lex-order consists of polynomials $g_\alpha$ that…
In this paper, we use characteristic classes of the canonical vector bundles and the Poincar\' {e} dualality to study the structure of the real homology and cohomology groups of oriented Grassmann manifold $G(k, n)$. Show that for $k=2$ or…
We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We prove a general criterion for the appearance of 4-torsion classes based on (twisted) Steenrod squares and show that there are many cases…
Given a smooth 2-dimensional Riemannian or pseudo-Riemannian manifold $(M, \boldsymbol{g})$ and an ambient 3-dimensional Riemannian or pseudo-Riemannian manifold $(N, \boldsymbol{h})$, one can ask under what circumstances does the exterior…
Recently the first named author defined a 2-parametric family of groups $G_n^k$. Those groups may be regarded as analogues of braid groups. Study of the connection between the groups $G_n^k$ and dynamical systems led to the discovery of the…
Two fundamental questions in the theory of Groebner bases are decision ("Is a basis G of a polynomial ideal a Groebner basis?") and transformation ("If it is not, how do we transform it into a Groebner basis?") This paper considers the…
In this paper, we give a Gr\"obner-Shirshov basis for the finitely presented semigroup algebra $\mathbf{k}[S_n(Sym_n)]$ defined by permutation relations of symmetric type. As an application, by the Composition-Diamond Lemma, we obtain…
A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|f\sigma \cap f\tau|$ is even for any non-adjacent $k$-faces…
We suggest a mathematical definition of the notion of master integrals and present a brief review of algorithmic methods to solve reduction problems for Feynman integrals based on integration by parts relations. In particular, we discuss a…
In the context of modeling biological systems, it is of interest to generate ideals of points with a unique reduced Groebner basis, and the first main goal of this paper is to identify classes of ideals in polynomial rings which share this…
We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This…
Exploiting symmetry in Groebner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely due to the fact that the group elements, being…
For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a…
The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…