Gröbner geometry of Schubert polynomials

DOI10.4007/ANNALS.2005.161.1245zbMATH Open1089.14007arXivmath/0110058OpenAlexW2124762879MaRDI QIDQ815034FDOQ815034

Authors: Allen Knutson, Ezra Miller 

Publication date: 8 February 2006

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivariant cohomology classes on vector spaces, our main theorems describe, for each ideal I_w: - variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials; - a Gr"obner basis consisting of minors in the generic n x n matrix; - the Stanley-Reisner complex of the initial ideal in terms of known combinatorial diagrams associated to permutations in S_n; and - a procedure inductive on weak Bruhat order for listing the facets of this complex, thereby generating the coefficients of Schubert polynomials by a positive recursion on combinatorial diagrams. We show that the initial ideal is Cohen-Macaulay, by identifying the Stanley-Reisner complex as a special kind of ``subword complex in S_n, which we define generally for arbitrary Coxeter groups, and prove to be shellable by giving an explicit vertex decomposition. We also prove geometrically a general positivity statement for multidegrees of subschemes.

Full work available at URL: https://arxiv.org/abs/math/0110058

Recommendations

• Gröbner geometry of Schubert polynomials through ice
• Gröbner geometry of Schubert polynomials through ice
• Gröbner geometry for skew-symmetric matrix Schubert varieties
• Gröbner geometry for skew-symmetric matrix Schubert varieties
• Schubert calculus and Gelfand-Zetlin polytopes
• Schubert polynomials for the affine Grassmannian
• scientific article; zbMATH DE number 17784
• Schubert polynomials and Bott-Samelson varieties
• Grothendieck polynomials and quiver formulas
• Schubert functors and Schubert polynomials

zbMATH Keywords

Coxeter groupdivided differencesequivariant cohomologyinitial idealBruhat orderCohen-Macaulay idealBruhat groupBruhat inductionStanley-Reisner complex

Mathematics Subject Classification ID

Symmetric functions and generalizations (05E05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grassmannians, Schubert varieties, flag manifolds (14M15) Determinantal varieties (14M12) Classical problems, Schubert calculus (14N15) Linkage, complete intersections and determinantal ideals (13C40)

Cited In (only showing first 100 items - show all)

• Back stable Schubert calculus
• A formula for the cohomology and \(K\)-class of a regular Hessenberg variety
• Matrix Schubert varieties and Gaussian conditional independence models
• Specializations of multigradings and the arithmetical rank of lattice ideals
• Schubert calculus on Newton-Okounkov polytopes
• A bijective proof of Macdonald's reduced word formula
• A bijective proof of Macdonald's reduced word formula
• Castelnuovo-Mumford regularity of ladder determinantal varieties and patches of Grassmannian Schubert varieties
• Fan realizations for some 2-associahedra
• On the \(F\)-rationality and cohomological properties of matrix Schubert varieties
• Upper bounds of Schubert polynomials
• Rigid toric matrix Schubert varieties
• When is a polynomial ideal binomial after an ambient automorphism?
• Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas
• Springer fibers and Schubert points
• Mitosis algorithm for Grothendieck polynomials
• Inclusion-exclusion on Schubert polynomials
• Title not available (Why is that?)
• Schubert polynomials, 132-patterns, and Stanley's conjecture
• Hopf dreams
• Set-valued Rothe tableaux and Grothendieck polynomials
• Bumpless pipe dreams and alternating sign matrices
• Involution pipe dreams
• Radical generic initial ideals
• On combinatorics of quiver component formulas
• Loop models and \(K\)-theory
• A tableau formula of double Grothendieck polynomials for 321-avoiding permutations
• Flagged Grothendieck polynomials
• Hopf dreams and diagonal harmonics
• Asymmetric function theory
• Matrix orbit closures
• Diagonal degenerations of matrix Schubert varieties
• Principal specializations of Schubert polynomials and pattern containment
• Symmetries of stochastic colored vertex models
• Schubert calculus from polyhedral parametrizations of Demazure crystals
• An orthodontia formula for Grothendieck polynomials
• Colored five-vertex models and Demazure atoms
• Towards a uniform subword complex description of acyclic finite type cluster algebras
• A weak version of Kirillov's conjecture on Hecke-Grothendieck polynomials
• The Prism tableau model for Schubert polynomials
• A Hopf algebra of subword complexes (Extended abstract)
• Sparse multivariate polynomial interpolation on the basis of Schubert polynomials
• When are multidegrees positive?
• Equivariant Chow classes of matrix orbit closures
• A note on specializations of Grothendieck polynomials
• Degrees of symmetric Grothendieck polynomials and Castelnuovo-Mumford regularity
• Hook formulas for skew shapes. IV: Increasing tableaux and factorial Grothendieck polynomials
• Celebrating Loday's associahedron
• Chern-Schwartz-MacPherson classes of degeneracy loci
• Products of Borel fixed ideals of maximal minors
• Prism tableaux for alternating sign matrix varieties
• Lattice polytopes from Schur and symmetric Grothendieck polynomials
• Determinantal identities for flagged Schur and Schubert polynomials
• Gröbner geometry of vertex decompositions and of flagged tableaux
• On the relationship between pipe dreams and permutation words
• Regular cell complexes in total positivity.
• Geometric vertex decomposition and liaison
• Geometric vertex decomposition and liaison
• On some properties of symplectic Grothendieck polynomials
• Open boundary quantum Knizhnik-Zamolodchikov equation and the weighted enumeration of plane partitions with symmetries
• Fan realizations of type \(A\) subword complexes and multi-associahedra of rank 3
• Maximal 0-1-fillings of Moon polyominoes with restricted chain lengths and rc-graphs
• \(W\)-translated Schubert divisors and transversal intersections
• Cominuscule points and Schubert varieties
• Equivariant quantum Schubert polynomials
• The metric integral of set-valued functions
• Regularity of matrix Schubert varieties
• Alternating formulas for \(K\)-theoretic quiver polynomials
• Linear extension sums as valuations on cones
• A new perspective on \(k\)-triangulations
• Inhomogeneous model of crossing loops and multidegrees of some algebraic varieties
• Double Schubert polynomials for the classical groups
• Bruhat order, smooth Schubert varieties, and hyperplane arrangements
• Logarithmic concavity of Schur and related polynomials
• Subword complexes and edge subdivisions.
• The \(\nu \)-Tamari lattice via \(\nu \)-trees, \( \nu \)-bracket vectors, and subword complexes
• Desingularizations of Schubert varieties in double Grassmannians
• Slide complexes and subword complexes
• Schubert polynomials and classes of Hessenberg varieties
• Zero-one Schubert polynomials
• Polynomial identities related to special Schubert varieties
• Title not available (Why is that?)
• Subword complexes via triangulations of root polytopes
• On some quadratic algebras. I \(\frac{1}{2}\): Combinatorics of Dunkl and Gaudin elements, Schubert, Grothendieck, Fuss-Catalan, universal Tutte and reduced polynomials
• Excited Young diagrams, equivariant $K$-theory, and Schubert varieties
• Brick polytopes, lattice quotients, and Hopf algebras
• Title not available (Why is that?)
• The closure of a linear space in a product of lines
• Toric matrix Schubert varieties and root polytopes (extended abstract)
• Algebraic geometry of Gaussian Bayesian networks
• Schubert complexes and degeneracy loci
• Chern class formulas for $G_{2}$ Schubert loci
• The Brauer loop scheme and orbital varieties
• Computation of the \(a\)-invariant of ladder determinantal rings
• Four positive formulae for type \(A\) quiver polynomials
• A Hopf algebra of subword complexes
• Alternating signs of quiver coefficients
• Hilbert functions of points on Schubert varieties in the symplectic Grassmannian
• Schubert patches degenerate to subword complexes
• Connectivity of hyperplane sections of domains

This page was built for publication: Gröbner geometry of Schubert polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q815034)