Related papers: Gr\"obner geometry for skew-symmetric matrix Schub…

Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical…

In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…

The ring K(G/B) is isomorphic to a quotient of a Laurent polynomial ring by an ideal generated by certain W-symmetric functions and has a basis given by classes O_w, where O_w is the class of the structure sheaf of the Schubert variety X_w.…

The correspondence between commutative rings of ordinary differential operators (ODOs) and algebraic curves was established by Burchnall and Chaundy, Krichever and Mumford, among many others. To make this correspondence computationally…

Knutson and Zinn-Justin recently found a puzzle rule for the expansion of the product $\mathfrak{G}_{u}(x,t)\cdot \mathfrak{G}_{v}(x,t)$ of two double Grothendieck polynomials indexed by permutations with separated descents. We establish…

A permutation is called covexillary if it avoids the pattern $3412$. We construct an open embedding of a covexillary matrix Schubert variety into a Grassmannian Schubert variety. As applications of this embedding, we show that the…

We describe the minimal free resolution of the ideal of $2 \times 2$ subpermanents of a $2 \times n$ generic matrix $M$. In contrast to the case of $2 \times 2$ determinants, the $2 \times 2$ permanents define an ideal which is neither…

We initiate a study of the Gr\"obner geometry of local defining ideals of Hessenberg varieties by studying the special case of regular nilpotent Hessenberg varieties in Lie type A, and focusing on the affine coordinate chart on…

Let $G/P$ be a complex cominuscule flag manifold. We prove a type independent formula for the torus equivariant Mather class of a Schubert variety in $G/P$, and for a Schubert variety pulled back via the natural projection $G/Q \to G/P$. We…

In [Rank-Width and Well-Quasi-Ordering of Skew-Symmetric or Symmetric Matrices, arXiv:1007.3807v1] Oum proved that, for a fixed finite field $\mathbf{F}$, any infinite sequence $M_1,M_2,...$ of (skew) symmetric matrices over $\mathbf{F}$ of…

Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the…

The problem of computing products of Schubert classes in the cohomology ring can be formulated as the problem of expanding skew Schur polynomials into the basis of ordinary Schur polynomials. In contrast, the problem of computing the…

Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In…

We develop numerical homotopy algorithms for solving systems of polynomial equations arising from the classical Schubert calculus. These homotopies are optimal in that generically no paths diverge. For problems defined by hypersurface…

We consider the loci of invertible linear maps $f : \mathbb{C}^n \to {(\mathbb{C}^n)}^*$ together with pairs of flags $(E_\bullet, F_\bullet)$ in $\mathbb{C}^n$ such that the various restrictions $f : F_j \to E_i^*$ have specified ranks.…

Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done…

We study the factorization of Schubert polynomials into elementary symmetric polynomials. We conjecture that this occurs when the permutation corresponding to the Schubert polynomial does not contain the patterns $1432$, $1423$, $4132$, and…

We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirkovi\'c. This modular description is easily seen to be set-theoretically correct,…

Much of modern Schubert calculus is centered on Schubert varieties in the complete flag variety and on their classes in its integral cohomology ring. Under the Borel isomorphism, these classes are represented by distinguished polynomials…

We compute the primary decomposition of certain ideals generated by subsets of minors in a generic matrix or in a generic symmetric matrix, or subsets of Pfaffians in a generic skew-symmetric matrix. Specifically, the ideals we consider are…