arXiv++ Combinatorics

This article is a survey of matroid theory aimed at algebraic geometers. Matroids are combinatorial abstractions of linear subspaces and hyperplane arrangements. Not all matroids come from linear subspaces; those that do are said to be representable. Still, one may apply linear algebraic constructions to non-representable matroids. There are a number of different definitions of matroids, a phenomenon known as cryptomorphism. In this survey, we begin by reviewing the classical definitions of matroids, develop operations in matroid theory, summarize some results in representability, and construct polynomial invariants of matroids. Afterwards, we focus on matroid polytopes, introduced by Gelfand-Goresky-MacPherson-Serganova, which give a cryptomorphic definition of matroids. We explain certain locally closed subsets of the Grassmannian, thin Schubert cells, which are labeled by matroids, and which have applications to representability, moduli problems, and invariants of matroids following Fink-Speyer. We explain how matroids can be thought of as cohomology classes in a particular toric variety, the permutohedral variety, by means of Bergman fans, and apply this description to give an exposition of the proof of log-concavity of the characteristic polynomial of representable matroids due to the author with Huh.

Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathcal{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathcal{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathcal{Fl}_G$, and to obtain a family of "affine quantum Chevalley" operators $Λ_0, \ldots, Λ_n$ indexed by the simple roots in the affine root system of $G$. These operators act on the cohomology ring $\mathrm{H}^*(\mathcal{Fl}_G)$ with coefficients in $\mathbb{Z}[q_0, \ldots,q_n]$. By analyzing commutativity and invariance properties of these operators we deduce the existence of two quantum cohomology rings, which satisfy properties conjectured earlier by Guest and Otofuji for $G= \mathrm{SL}_n(\mathbb{C})$. The first quantum ring is a deformation of the subalgebra of $\mathrm{H}^*(\mathcal{Fl}_G)$ generated by divisors. The second ring, denoted $\mathrm{QH}^*_{\mathrm{af}}(G/B)$, deforms the ordinary quantum cohomology ring $\mathrm{QH}^*(G/B)$ by adding an affine quantum parameter $q_0$. We prove that $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ is a Frobenius algebra, and that the new quantum product determines a flat Dubrovin connection. Further, we develop an analogue of Givental and Kim formalism for this ring and we deduce a presentation of $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ by generators and relations. The ideal of relations is generated by the integrals of motion for the periodic Toda lattice associated to the dual of the extended Dynkin diagram of $G$.

We study certain faces of the normal polytope introduced by Feigin, Littelmann and the author whose lattice points parametrize a monomial basis of the PBW-degenerated of simple modules for $\mathfrak{sl}_{n+1}$. We show that lattice points in these faces parametrize monomial bases of PBW-degenerated Demazure modules associated to Weyl group elements satisfying a certain closure property, for example Kempf elements. These faces are again normal polytopes and their Minkowski sum is compatible with tensor products, which implies that we obtain flat degenerations of the corresponding Schubert varieties to PBW degenerated and toric varieties.

An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We study some of the properties of formal root polynomials. We give applications to the efficient computation of the transition matrix between two natural bases of the formal Demazure algebra in the hyperbolic case. As a corollary, we rederive in a transparent and uniform manner the formulas of Billey and Graham-Willems. We also prove the corresponding formula in connective $K$-theory, which seems new, and a duality result in this case. Other applications, including some related to the computation of Bott-Samelson classes in elliptic cohomology, are also discussed.

Billey and Braden defined maps on flag manifolds that are the geometric counterpart of permutation patterns. A section of their pattern map is an embedding of the flag manifold of a Levi subgroup into the full flag manifold. We give two expressions for the induced map on cohomology. One is in terms of generators and the other is in terms of the Schubert basis. We show that the coefficients in the second expression are naturally Schubert structure constants and therefore positive. These formulas also hold for K-theory, and generalize known formulas in type A for cohomology and K-theory.

A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced rationally smooth Schubert varieties are smooth. Taken together, our results give a fairly complete geometric description of smooth and rationally smooth Schubert varieties using primarily combinatorial methods.

We apply crystal theory to affine Schubert calculus, Gromov-Witten invariants for the complete flag manifold, and the positroid stratification of the positive Grassmannian. We introduce operators on decompositions of elements in the type-$A$ affine Weyl group and produce a crystal reflecting the internal structure of the generalized Young modules whose Frobenius image is represented by stable Schubert polynomials. We apply the crystal framework to products of a Schur function with a $k$-Schur function, consequently proving that a subclass of 3-point Gromov-Witten invariants of complete flag varieties for $\mathbb C^n$ enumerate the highest weight elements under these operators. Included in this class are the Schubert structure constants in the (quantum) product of a Schubert polynomial with a Schur function $s_λ$ for all $|λ^\vee|< n$. Another by-product gives a highest weight formulation for various fusion coefficients of the Verlinde algebra and for the Schubert decomposition of certain positroid classes.

In this paper, we investigate properties of modules introduced by Kraśkiewicz and Pragacz which realize Schubert polynomials as their characters. In particular, we give some characterizations of modules having a filtration by Kraśkiewicz-Pragacz modules. In finding criteria for filtrations, we calculate generating sets for the annihilator ideals of the lowest vectors in Kraśkiewicz-Pragacz modules, and derive a projectivity result concerning Kraśkiewicz-Pragacz modules.

We define an analog of David Little's algorithm for reduced words in type B, and investigate its main properties. In particular, we show that our algorithm preserves the recording tableau of Kraśkiewicz insertion, and that it provides a bijective realization of the Type B transition equations in Schubert calculus. Many other aspects of type A theory carry over to this new setting. Our primary tool is a shifted version of the dual equivalence graphs defined by Assaf and further developed by Roberts. We provide an axiomatic characterization of shifted dual equivalence graphs, and use them to prove a structure theorem for the graph of Type B Coxeter-Knuth relations.

This note computes a Gröbner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gröbner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size. Schemes given by northwest rank conditions include classical determinantal varieties and matrix Schubert varieties--closures of Schubert varieties lifted from the flag manifold to the space of matrices.

We give a combinatorial proof that the product of a Schubert polynomial by a Schur polynomial is a nonnegative sum of Schubert polynomials. Our proof uses Assaf's theory of dual equivalence to show that a quasisymmetric function of Bergeron and Sottile is Schur-positive. By a geometric comparison theorem of Buch and Mihalcea, this implies the nonnegativity of Gromov-Witten invariants of the Grassmannian.

We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form.

A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the product of two classes in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provided a way to compute quantum products of Schubert classes in the Grassmannian of k-planes in complex n-space by doing classical multiplication and then applying a combinatorial rim hook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action of the complex torus. Combining this result with Knutson and Tao's puzzle rule then gives an effective algorithm for computing all equivariant quantum Littlewood-Richardson coefficients. Interestingly, this rule requires a specialization of torus weights modulo n, suggesting a direct connection to the Peterson isomorphism relating quantum and affine Schubert calculus.

In 1990, Lakshmibai and Sandhya published a characterization of singular Schubert varieties in flag manifolds using the notion of pattern avoidance. This was the first time pattern avoidance was used to characterize geometrical properties of Schubert varieties. Their results are very closely related to work of Haiman, Ryan and Wolper, but Lakshmibai-Sandhya were the first to use that language exactly. Pattern avoidance in permutations was used historically by Knuth, Pratt, Tarjan, and others in the 1960's and 1970's to characterize sorting algorithms in computer science. Lascoux and Sch$\text{ü}$tzenberger also used pattern avoidance to characterize vexillary permutations in the 1980's. Now, there are many geometrical properties of Schubert varieties that use pattern avoidance as a method for characterization including Gorenstein, factorial, local complete intersections, and properties of Kazhdan-Lusztig polynomials. These are what we call consequences of the Lakshmibai-Sandhya theorem. We survey the many beautiful results, generalizations, and remaining open problems in this area. We highlight the advantages of using pattern avoidance characterizations in terms of linear time algorithms and the ease of access to the literature via Tenner's Database of Permutation Pattern Avoidance. This survey is based on lectures by the second author at Osaka, Japan 2012 for the Summer School of the Mathematical Society of Japan based on the topic of Schubert calculus.

We definitively establish that the theory of symmetric Macdonald polynomials aligns with quantum and affine Schubert calculus using a discovery that distinguished weak chains can be identified by chains in the strong (Bruhat) order poset on the type-$A$ affine Weyl group. We construct two one-parameter families of functions that respectively transition positively with Hall-Littlewood and Macdonald's $P$-functions, and specialize to the representatives for Schubert classes of homology and cohomology of the affine Grassmannian. Our approach leads us to conjecture that all elements in a defining set of 3-point genus 0 Gromov-Witten invariants for flag manifolds can be formulated as strong covers.

We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.

We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks to the equivariant version of the `quantum equals classical' result, our formula specializes to a Littlewood-Richardson rule for the equivariant quantum cohomology of Grassmannians.

We study the torus equivariant Schubert classes of the Grassmannian of non-maximal isotropic subspaces in a symplectic vector space. We prove a formula that expresses each of those classes as a sum of multi Schur-Pfaffians, whose entries are equivariantly modified special Schubert classes. Our result gives a proof to Wilson's conjectural formula, which generalizes the Giambelli formula for the ordinary cohomology proved by Buch-Kresch-Tamvakis, given in terms of Young's raising operators. Furthermore we show that the formula extends to a certain family of Schubert classes of the symplectic partial isotropic flag varieties.

We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection of gashed puzzles that is analogous to the jeu de taquin algorithm but more complicated.

We show that an element $w$ of a finite Weyl group $W$ is rationally smooth if and only if the hyperplane arrangement $I$ associated to the inversion set of $w$ is inductively free, and the product $(d_1+1) \cdots (d_l+1)$ of the coexponents $d_1,\ldots,d_l$ is equal to the size of the Bruhat interval $[e,w]$, where $e$ is the identity in $W$. As part of the proof, we describe exactly when a rationally smooth element in a finite Weyl group has a chain Billey-Postnikov decomposition. For finite Coxeter groups, we show that chain Billey-Postnikov decompositions are connected with certain modular coatoms of $I$.