Mathematics – Algebraic Geometry
Scientific paper
2001-10-05
Annals of Mathematics 161 (May 2005), 1245-1318
Mathematics
Algebraic Geometry
53 pages. This version is around half the length of v2, having been trimmed and completely reorganized. This is the final vers
Scientific paper
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.
Knutson Allen
Miller Ezra
No associations
LandOfFree
Gröbner geometry of Schubert polynomials does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Gröbner geometry of Schubert polynomials, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gröbner geometry of Schubert polynomials will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-194000