Related papers: A sagbi basis for the quantum Grassmannian
We study the combinatorics of Gr\"obner degenerations of Grassmannians and the Schubert varieties inside them. We provide a family of binomial ideals whose combinatorics is governed by tableaux induced by matching fields in the sense of…
Motivated by better understanding the bideterminant (=product of minors) basis on the polynomial ring in $n \times m$ variables, we develop theory \& algorithms for Gr\"obner bases in not only algebras with straightening law (ASLs or Hodge…
We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum…
In this paper, we give a sufficient condition for a set $\mathal G$ of polynomials to be a Gr\"obner basis with respect to a given term-order for the ideal $I$ that it generates. Our criterion depends on the linkage pattern of the ideal $I$…
The m x n quantum grassmannian, G_q(m,n), is the subalgebra of the algebra of m x n quantum matrices that is generated by the maximal m x m quantum minors. Several properties of G_q(m,n) are established. In particular, a basis of G_q(m,n)…
The theory of "subalgebra basis" analogous to standard basis (the generalization of Gr\"{o}bner bases to monomial ordering which are not necessarily well ordering \cite{GP1}.) for ideals in polynomial rings over a field is developed. We…
Although Buchberger's algorithm, in theory, allows us to compute Gr\"obner bases over any field, in practice, however, the computational efficiency depends on the arithmetic of the ground field. Consider a field $K = \mathbb{Q}(\alpha)$, a…
The maximal minors of a matrix of indeterminates are a universal Gr\"obner basis by a theorem of Bernstein, Sturmfels and Zelevinsky. On the other hand it is known that they are not always a universal Sagbi basis. By an experimental…
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…
The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gr\"obner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent…
Let g be a complex semisimple Lie algebra and let G' be the Langlands dual group. We give a description of the cohomology algebra of an arbitrary spherical Schubert variety in the loop Grassmannian for G' as a quotient of the form…
Matrix Schubert varieties are the closures of the orbits of $B\times B$ acting on all $n\times n$ matrices, where $B$ is the group of invertible lower triangular matrices. Extending work of Fulton, Knutson and Miller identified a Gr\"obner…
We give a criterion for a collection of polynomials to be a universal Gr\"{o}bner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give…
Gaudin subalgebras are abelian Lie subalgebras of maximal dimension spanned by generators of the Kohno-Drinfeld Lie algebra t_n. We show that Gaudin subalgebras form a variety isomorphic to the moduli space of stable curves of genus zero…
We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$…
In this note, we rederive quantum Pieri's formula and the rim hook algorithm in quantum Schubert calculus by studying multiplication in the equivariant cohomology ring of Grassmannians with respect to equivariant Schubert classes which are…
In his Ph.D. thesis, Sean Griffin introduced a family of ideals and found monomial bases for their quotient rings. These rings simultaneously generalize the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology…
Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and…
It is well known that the Pl\"ucker ideal defining the Grassmannian is generated by quadratic Pl\"ucker relations. These relations form a reverse lexicographic Gr\"obner basis and endow the Pl\"ucker algebra with the structure of an algebra…
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with…