We give a new operator formula for Grothendieck polynomials that generalizes Magyar’s Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools used by Magyar. We apply our formula to prove a necessary divisibility condition for a monomial to appear in a given Grothendieck polynomial.
more »
« less
Decompositions of Grothendieck Polynomials
Abstract We investigate the long-standing problem of finding a combinatorial rule for the Schubert structure constants in the $K$-theory of flag varieties (in type $A$). The Grothendieck polynomials of A. Lascoux–M.-P. Schützenberger (1982) serve as polynomial representatives for $K$-theoretic Schubert classes; however no positive rule for their multiplication is known in general. We contribute a new basis for polynomials (in $n$ variables) which we call glide polynomials, and give a positive combinatorial formula for the expansion of a Grothendieck polynomial in this basis. We then provide a positive combinatorial Littlewood–Richardson rule for expanding a product of Grothendieck polynomials in the glide basis. Our techniques easily extend to the $\beta$-Grothendieck polynomials of S. Fomin–A. Kirillov (1994), representing classes in connective $K$-theory, and we state our results in this more general context.
more »
« less
- Award ID(s):
- 1703696
- NSF-PAR ID:
- 10216216
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2019
- Issue:
- 10
- ISSN:
- 1073-7928
- Page Range / eLocation ID:
- 3214 to 3241
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We compute the Euler characteristic of the structure sheaf of the Brill–Noether locus of linear series with special vanishing at up to two marked points. When the Brill–Noether number $\rho $ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $\rho =1$, we recover the formulas of Eisenbud-Harris, Pirola, and Chan–Martín–Pflueger–Teixidor for the arithmetic genus of a Brill–Noether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the $K$-theory class of certain degeneracy loci. Our degeneracy locus formula also specializes to new determinantal expressions for the double Grothendieck polynomials corresponding to 321-avoiding permutations and gives double versions of the flagged skew Grothendieck polynomials recently introduced by Matsumura. Our result extends the formula of Billey–Jockusch–Stanley expressing Schubert polynomials for 321-avoiding permutations as generating functions for flagged skew tableaux.more » « less
-
Abstract We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stable Grothendieck polynomials and divided difference operators in $K$-homology.more » « less
-
null (Ed.)The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of 'unique rectification targets' in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's '$d$-complete posets' to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.more » « less
-
null (Ed.)Abstract We introduce two new bases of the ring of polynomials and study their relations to known bases. The first basis is the quasi-Lascoux basis, which is simultaneously both a $K$ -theoretic deformation of the quasi-key basis and also a lift of the $K$ -analogue of the quasi-Schur basis from quasi-symmetric polynomials to general polynomials. We give positive expansions of this quasi-Lascoux basis into the glide and Lascoux atom bases, as well as a positive expansion of the Lascoux basis into the quasi-Lascoux basis. As a special case, these expansions give the first proof that the $K$ -analogues of quasi-Schur polynomials expand positively in multifundamental quasi-symmetric polynomials of T. Lam and P. Pylyavskyy. The second new basis is the kaon basis, a $K$ -theoretic deformation of the fundamental particle basis. We give positive expansions of the glide and Lascoux atom bases into this kaon basis. Throughout, we explore how the relationships among these $K$ -analogues mirror the relationships among their cohomological counterparts. We make several “alternating sum” conjectures that are suggestive of Euler characteristic calculations.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1093/imrn/rnx207
