We study Hilbert-Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Groebner degenerations of the Kazhdan-Lusztig ideal. In the covexillary case, we give a positive combinatorial rule for multiplicity by establishing (with a Groebner basis) a reduced and equidimensional limit whose Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassmannian Schubert varieties, providing alternative statements and proofs to formulae of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], [Krattenthaler '01], [Kreiman-Lakshmibai '04] and [Woo-Yong '09]. We suggest extensions of our methodology to the general case.
A. Woo and the second author @cite_40 explain how the Kazhdan-Lusztig ideals of @cite_24 are compatible with the Schubert polynomial combinatorics of A. Lascoux and M.-P. Sch " u tzenberger @cite_29 @cite_14 . Moreover, a Gr " o bner basis theorem for arbitrary Kazhdan-Lusztig ideals was obtained, generalizing work on Schubert determinantal ideals due to @cite_17 . The squarefree initial ideal is equidimensional, and the Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere; more precisely, it is a as defined by A. Knutson and E. Miller @cite_18 . For special cases of Kazhdan-Lusztig varieties, and choices of @math , the @math -shuffled tableaux are the pipe dreams of S. Fomin and A. N. Kirillov @cite_5 , and our thesis subsumes the geometric explanation for these pipe dreams from @cite_17 . Similar results to @cite_17 , used in this paper, were obtained for covexillary Schubert determinantal ideals in @cite_9 .
@cite_18 @cite_14 @cite_29 @cite_9 @cite_24 @cite_40 @cite_5 @cite_17
2019363208 1645016350 1991634974 2952032366 1217949241 2952522043
Abstract Let ( Π , Σ ) be a Coxeter system. An ordered list of elements in Σ and an element in Π determine a subword complex , as introduced in Knutson and Miller (Ann. of Math. (2) (2003), to appear). Subword complexes are demonstrated here to be homeomorphic to balls or spheres, and their Hilbert series are shown to reflect combinatorial properties of reduced expressions in Coxeter groups. Two formulae for double Grothendieck polynomials, one of which appeared in Fomin and Kirillov (Proceedings of the Sixth Conference in Formal Power Series and Algebraic Combinatorics, DIMACS, 1994, pp. 183–190), are recovered in the context of simplicial topology for subword complexes. Some open questions related to subword complexes are presented. Let f be a polynomial of degree n in ZZ[x_1,..,x_n], typically reducible but squarefree. From the hypersurface f=0 one may construct a number of other subschemes Y by extracting prime components, taking intersections, taking unions, and iterating this procedure. We prove that if the number of solutions to f=0 in ^n is not a multiple of p, then all these intersections in ^n_ just described are reduced. (If this holds for infinitely many p, then it holds over as well.) More specifically, there is a_Frobenius splitting_ on ^n_ compatibly splitting all these subschemes Y . We determine when a Gr "obner degeneration f_0=0 of such a hypersurface f=0 is again such a hypersurface. Under this condition, we prove that compatibly split subschemes degenerate to compatibly split subschemes, and stay reduced. Our results are strongest in the case that f's lexicographically first term is i=1 ^n x_i. Then for all large p, there is a Frobenius splitting that compatibly splits f's hypersurface and all the associated Y . The Gr "obner degeneration Y' of each such Y is a reduced union of coordinate spaces (a Stanley-Reisner scheme), and we give a result to help compute its Gr "obner basis. We exhibit an f whose associated Y include Fulton's matrix Schubert varieties, and recover much more easily the Gr "obner basis theorem of [Knutson-Miller '05]. We show that in Bott-Samelson coordinates on an opposite Bruhat cell X^v_ in G B, the f defining the complement of the big cell also has initial term i=1 ^n x_i, and hence the Kazhdan-Lusztig subvarieties X^v_ w degenerate to Stanley-Reisner schemes. This recovers, in a weak form, the main result of [Knutson '08]. We present a combinatorial and computational commutative algebra methodology for studying singularities of Schubert varieties of flag manifolds. We define the combinatorial notion of interval pattern avoidance. For “reasonable” invariants P of singularities, we geometrically prove that this governs (1) the P-locus of a Schubert variety, and (2) which Schubert varieties are globally not P. The prototypical case is P=“singular”; classical pattern avoidance applies admirably for this choice [V. Lakshmibai, B. Sandhya, Criterion for smoothness of Schubert varieties in SL(n) B, Proc. Indian Acad. Sci. Math. Sci. 100 (1) (1990) 45–52, MR 91c:14061], but is insufficient in general. Our approach is analyzed for some common invariants, including Kazhdan–Lusztig polynomials, multiplicity, factoriality, and Gorensteinness, extending [A. Woo, A. Yong, When is a Schubert variety Gorenstein?, Adv. Math. 207 (1) (2006) 205–220, MR 2264071]; the description of the singular locus (which was independently proved by [S. Billey, G. Warrington, Maximal singular loci of Schubert varieties in SL(n) B, Trans. Amer. Math. Soc. 335 (2003) 3915–3945, MR 2004f:14071; A. Cortez, Singularites generiques et quasi-resolutions des varietes de Schubert pour le groupe lineaire, Adv. Math. 178 (2003) 396–445, MR 2004i:14056; C. Kassel, A. Lascoux, C. Reutenauer, The singular locus of a Schubert variety, J. Algebra 269 (2003) 74–108, MR 2005f:14096; L. Manivel, Le lieu singulier des varietes de Schubert, Int. Math. Res. Not. 16 (2001) 849–871, MR 2002i:14045]) is also thus reinterpreted. Our methods are amenable to computer experimentation, based on computing with Kazhdan–Lusztig ideals (a class of generalized determinantal ideals) using Macaulay 2. This feature is supplemented by a collection of open problems and conjectures. Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas. A device and method is provided for the qualitative and semi-quantitative determination of the presence of phenothiazine-type drugs in urine. The article comprises an ion exchange resin which denotes cations in a reaction between a color forming reagent and the phenothiazine-type drug to produce a permanent color change. The intensity of the color change is proportional to the dose concentration. 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 Grobner 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.