Abstract
Given a permutation w∈Sn, we consider a determinantal ideal Iw whose generators are certain minors in the generic n×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 Iw:
variously graded multidegrees and Hilbert series in terms of ordinary and double Schubert and Grothendieck polynomials;
a Gröbner basis consisting of minors in the generic n×n matrix;
the Stanley–Reisner simplicial complex of the initial ideal in terms of known combinatorial diagrams [FK96], [BB93] associated to permutations in Sn; and
a procedure inductive on weak Bruhat order for listing the facets of this complex.
We show that the initial ideal is Cohen–Macaulay, by identifying the Stanley–Reisner complex as a special kind of “subword complex in Sn”, 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.
Our main theorems provide a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. More precisely, we apply these theorems to:
define 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;
rederive from a topological perspective Fulton’s Schubert polynomial formula for universal cohomology classes of degeneracy loci of maps between flagged vector bundles;
supply new proofs that Schubert and Grothendieck polynomials represent cohomology and K-theory classes on the flag manifold; and
provide determinantal formulae for the multidegrees of ladder determinantal rings.
The proofs of the main theorems introduce the technique of “Bruhat induction”, consisting of a collection of geometric, algebraic, and combinatorial tools, based on divided and isobaric divided differences, that allow one to prove statements about determinantal ideals by induction on weak Bruhat order.

KEYWORDS

SHARE & LIKE

COMMENTS

SIMILAR ARTICLES

Abstract For any nondegenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a correspondin

Read MoreAbstract For a large class of nonlinear Schrödinger equations with nonzero conditions at infinity and for any speed c less than the sound velocity, we

Read MoreAbstract Let L2,p(ℝ2) be the Sobolev space of real-valued functions on the plane whose Hessian belongs to Lp. For any finite subset E⊂ℝ2 and p>2, let

Read MoreAbstract We prove that for any group G in a fairly large class of generalized wreath product groups, the associated von Neumann algebra LG completely

Read MoreAbstract We study the parity of 2-Selmer ranks in the family of quadratic twists of an arbitrary elliptic curve E over an arbitrary number field K. We

Read MoreAbstract This paper has two main results. Firstly, we complete the parametrisation of all p-blocks of finite quasi-simple groups by finding the so-cal

Read MoreAbstract We derive sharp Moser-Trudinger inequalities on the CR sphere. The first type is in the Adams form, for powers of the sublaplacian and for ge

Read MoreAbstract We prove that isoparametric hypersurfaces with (g,m)=(6,2) are homogeneous, which answers Dorfmeister-Neher’s conjecture affirmatively and so

Read MoreAbstract We prove the periodicity conjecture for pairs of Dynkin diagrams using Fomin-Zelevinsky’s cluster algebras and their (additive) categorificat

Read MoreAbstract If F(x,y)∈ℤ[x,y] is an irreducible binary form of degree k≥3, then a theorem of Darmon and Granville implies that the generalized superellipt

Read More