arXiv++ Combinatorics

A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others. Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties.

Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other known bases including key polynomials and fundamental slide polynomials. We unify these and existing models by giving simple bijections between the combinatorial objects indexing each. In particular, we give a simple bijective proof that the balanced tableaux of Edelman and Greene enumerate reduced expressions and a direct combinatorial proof of Kohnert's algorithm for computing Schubert polynomials. Further, we generalize the insertion algorithm of Edelman and Greene to give a bijection between reduced expressions and pairs of tableaux of the same key diagram shape and use this to give a simple formula, directly in terms of reduced expressions, for the key polynomial expansion of a Schubert polynomial.

We relate the counting of honeycomb dimer configurations on the cylinder to the counting of certain vertices in Kirillov-Reshetikhin crystal graphs. We show that these dimer configurations yield the quantum Kostka numbers of the small quantum cohomology ring of the Grassmannian, i.e. the expansion coefficients when multiplying a Schubert class repeatedly with different Chern classes. This allows one to derive sum rules for Gromov-Witten invariants.

We use dual equivalence to give a short, combinatorial proof that Stanley symmetric functions are Schur positive. We introduce weak dual equivalence, and use it to give a short, combinatorial proof that Schubert polynomials are key positive. To demonstrate further the utility of this new tool, we use weak dual equivalence to prove a nonnegative Littlewood--Richardson rule for the key expansion of the product of a key polynomial and a Schur polynomial, and to introduce skew key polynomials that, when skewed by a partition, expand nonnegatively in the key basis.

We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $\tilde{A}$.

A key fact about M.-P. Schützenberger's (1972) promotion operator on rectangular standard Young tableaux is that iterating promotion once per entry recovers the original tableau. For tableaux with strictly increasing rows and columns, H. Thomas and A. Yong (2009) introduced a theory of $K$-jeu de taquin with applications to $K$-theoretic Schubert calculus. The author (2014) studied a $K$-promotion operator $\mathcal{P}$ derived from this theory, but showed that the key fact does not generally extend to $K$-promotion of such increasing tableaux. Here we show that the key fact holds for labels on the boundary of the rectangle. That is, for $T$ a rectanglar increasing tableau with entries bounded by $q$, we have $\mathsf{Frame}(\mathcal{P}^q(T)) = \mathsf{Frame}(T)$, where $\mathsf{Frame}(U)$ denotes the restriction of $U$ to its first and last row and column. Using this fact, we obtain a family of homomesy results on the average value of certain statistics over $K$-promotion orbits, extending a $2$-row theorem of J. Bloom, D. Saracino, and the author (2016) to arbitrary rectangular shapes.

We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial expansion of a truncated Schubert polynomial. Combining these results, we give a nonnegative combinatorial rule for the product of a Schubert and a Schur polynomial in the Schubert basis.

We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to a ring homomorphism defined on the quantum K-theory ring.

We introduce the notion of a cominuscule point in a Schubert variety in a generalized flag variety for a semisimple group. We derive formulas expressing the Hilbert series and multiplicity of a Schubert variety at a cominuscule point in terms of the restrictions of classes in torus-equivariant K-theory and cohomology to that point, generalizing previously known formulas for flag varieties of cominuscule type. Thus, we can calculate Hilbert series and multiplicities in cases where these were previously unknown. The formulas for Schubert varieties are special cases of more general formulas valid at generalized cominuscule points of schemes with torus actions.

This paper studies the geometry and combinatorics of three interrelated varieties: Springer fibers, Steinberg varieties, and parabolic Hessenberg varieties. We prove that each parabolic Hessenberg variety is the pullback of a Steinberg variety under the projection of the flag variety to an appropriate partial flag variety and we give three applications of this result. The first application constructs an explicit paving of all Steinberg varieties in Lie type $A$ in terms of semistandard tableaux. As a result, we obtain an elementary proof of a theorem of Steinberg and Shimomura that the well-known Kostka numbers count the maximal-dimensional irreducible components of Steinberg varieties. The second application proves an open conjecture for certain parabolic Hessenberg varieties in Lie type A by showing that their Betti numbers equal those of a specific union of Schubert varieties. The third application proves that the irreducible components of parabolic Hessenberg varieties are in bijection with the irreducible components of the Steinberg variety. All three of these applications extend our geometric understanding of the three varieties at the heart of this paper, a full understanding of which is unknown even for Springer varieties, despite over forty years' worth of work.

Springer fibers are subvarieties of the flag variety parametrized by partitions; they are central objects of study in geometric representation theory. Schubert varieties are subvarieties of the flag variety that induce a well-known basis for the cohomology of the flag variety. This paper relates these two varieties combinatorially. We prove that the Betti numbers of the Springer fiber associated to a partition with at most three rows or two columns are equal to the Betti numbers of a specific union of Schubert varieties.

The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.

We first prove an identity involving symmetric polynomials. This identity leads us into exploring the geometry of Lagrangian Grassmannians. As an insight applications, we obtain a formula for the integral over the Lagrangian Grassmannian of a characteristic class of the tautological sub-bundle. Moreover, a relation to that over the ordinary Grassmannian and its application to the degree formula for the Lagrangian Grassmannian are given. Finally, we present further applications to the computation of Schubert structure constants and three-point, degree $1$, genus $0$ Gromov--Witten invariants of the Lagrangian Grassmannian. Some examples together with explicit computations are presented.

In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.

We introduce diagrams and essential sets for signed permutations, extending the analogous notions for ordinary permutations. In particular, we show that the essential set provides a minimal list of rank conditions defining the Schubert variety or degeneracy locus corresponding to a signed permutation. Our essential set is in bijection with the poset-theoretic version defined by Reiner, Woo, and Yong, and thus gives an explicit, diagrammatic method for computing the latter.

This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the Grassmannian. We interpret various concepts from integrable systems ($R$-matrix, partition function on a finite domain) in geometric terms. As a byproduct, we provide explicit formulae for $K$-classes of various coherent sheaves, including structure and (conjecturally) square roots of canonical sheaves and canonical sheaves of conormal varieties of Schubert varieties.

A positroid is the matroid of a real matrix with nonnegative maximal minors, a positroid variety is the closure of the locus of points in a complex Grassmannian whose matroid is a fixed positroid, and a positroid class is the cohomology class Poincaré dual to a positroid variety. We define a family of representations of general linear groups whose characters are symmetric polynomials representing positroid classes. These representations are certain diagram Schur modules in the sense of James and Peel. This gives a new algebraic interpretation of the Schubert structure constants for the product of a Schubert polynomial and Schur polynomial, and of the 3-point Gromov-Witten invariants for Grassmannians, proving a conjecture of Postnikov. As a byproduct, we obtain an effective algorithm for decomposing positroid classes into Schubert classes.

We present a general conjecture on the divisibility of a certain expression in terms of Kostka numbers and their close variants. This conjecture is closely related to a variant of the period-index problem of noncommutative algebra, with partial implications in both directions. We present a description of the connection between these two problems via Schubert calculus as motivation and evidence for the conjecture before turning to a proof of the conjecture in a family of cases.

We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary. We prove that the two cones are unimodularly equivalent. As a corollary of our combinatorial result we realize Caldero's toric degenerations of Schubert varieties as GHKK-degeneration using cluster theory.

We find the generating function for the permutation class $\mathcal{A}'=\text{Av}(52341,53241,52431,35142,42513,351624)$ whose permutations index local complete intersection Schubert varieties. The method we apply is the extension of how Albert and Brignall discover the generating function for $\mathcal{A}=\text{Av}(4231,35142,42513,351624)$ in their paper. This completes the enumerations of all classical permutation classes indexing certain types of Schubert varieties.