Related papers: Gr\"obner geometry of Schubert polynomials

We establish the formula for multiplication by the class of a special Schubert variety in the integral cohomology ring of the flag manifold. This formula also describes the multiplication of a Schubert polynomial by either an elementary…

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

The variety of complete quadrics is the wonderful compactification of $GL_n/O_n$ and admits a cell decomposition into Borel orbits indexed by combinatorial objects called $\mu$-involutions. We study Coxeter-theoretic properties of…

For any polynomial ideal $I$, let the minimal triangular set contained in the reduced Buchberger-Gr\"obner basis of $I$ with respect to the purely lexicographical term order be called the W-characteristic set of $I$. In this paper, we…

Let $\ell, n$ be positive integers such that $\ell\geq n$. Let $\mathbb{G}_{n,\ell}$ be the Grassmannian which consists of the set of $n$-dimensional subspaces of $\mathbb{C}^{\ell}$. There is a $\mathbb{Z}$-graded algebra isomorphism…

We focus on the structure of a homogeneous Gorenstein ideal $I$ of codimension three in a standard polynomial ring $R=\kk[x_1,\ldots,x_n]$ over a field $\kk$, assuming that $I$ is generated in a fixed degree $d$. For such an ideal $I$ this…

We use geometry to prove a number of new identities among the Littlewood-Richardson coefficients for Schubert polynomials (Schubert classes in a flag manifold). For many of these identities, there is a companion result about the Bruhat…

Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gr\"obner bases relative to the graded reverse…

Let G be a finite graph on [n] = {1,2,3,...,n}, X a 2 times n matrix of indeterminates over a field K, and S = K[X] a polynomial ring over K. In this paper, we study about ideals I_G of S generated by 2-minors [i,j] of X which correspond to…

Every quotient R/I of a semigroup ring R by a radical monomial ideal I has a unique minimal injective-like resolution by direct sums of quotients of R modulo prime monomial ideals. The quotient R/I is Cohen-Macaulay if and only if every…

Previous work by Mora and Sala provides the reduced Groebner basis of the ideal formed by the elementary symmetric polynomials in $n$ variables of degrees $k=1,\dots,n$, $\langle e_{1,n}(x), \dots, e_{n,n}(x) \rangle$. Haglund, Rhoades, and…

Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form…

We compute the expansion of the cohomology class of the permutahedral variety in the basis of Schubert classes. The resulting structure constants $a_w$ are expressed as a sum of \emph{normalized} mixed Eulerian numbers indexed naturally by…

Quaternionic polynomials occur naturally in applications of quaternions in science and engineering, and normalization of quaternionic polynomials is a basic manipulation. Once a Groebner basis is certified for the defining ideal I of the…

We prove that if $\sigma \in S_m$ is a pattern of $w \in S_n$, then we can express the Schubert polynomial $\mathfrak{S}_w$ as a monomial times $\mathfrak{S}_\sigma$ (in reindexed variables) plus a polynomial with nonnegative coefficients.…

Schubert patch ideals are a class of generalized determinantal ideals. They are prime defining ideals of open patches of Schubert varieties in the type $A$ flag variety. In this paper, we adapt the linkage-theoretic approach of E. Gorla, J.…

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

We describe a Schubert induction theorem, a tool for analyzing intersections on a Grassmannian over an arbitrary base ring. The key ingredient in the proof is the Geometric Littlewood-Richardson rule, described in a companion paper.…

For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our…

We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which…