arXiv++ Combinatorics

This survey paper describes Springer fibers, which are used in one of the earliest examples of a geometric representation. We will compare and contrast them with Schubert varieties, another family of subvarieties of the flag variety that play an important role in representation theory and combinatorics, but whose geometry is in many respects simpler. The end of the paper describes a way that Springer fibers and Schubert varieties are related, as well as open questions.

We give a new description of the Pieri rule for k-Schur functions using the Bruhat order on the affine type-A Weyl group. In doing so, we prove a new combinatorial formula for representatives of the Schubert classes for the cohomology of affine Grassmannians. We show how new combinatorics involved in our formulas gives the Kostka-Foulkes polynomials and discuss how this can be applied to study the transition matrices between Hall-Littlewood and k-Schur functions.

We introduce two families of symmetric functions with an extra parameter t that specialize to Schubert representatives for cohomology and homology of the affine Grassmannian when t = 1. The families are defined by a statistic on combinatorial objects associated to the type-A affine Weyl group and their transition matrix with Hall-Littlewood polynomials is t-positive. We conjecture that one family is the set of k-atoms.

We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that the (equivariant) Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds are certain summations of the structure constants of the equivariant cohomology of the Bott-Samelson varieties. We also discuss the refined positivity conjectures of the Chern-Schwartz-MacPherson classes for Schubert cells motivated by the nonnegativity conjecture in Fomin-Kirillov algebra.

We obtain a combinatorial expression for the coefficients of the boundary map of real isotropic and odd orthogonal Grassmannians providing a natural generalization of the formulas already obtained for Lagrangian and maximal isotropic Grassmannians. The results are given in terms of the classification into four types of covering pairs among the Schubert cells when identified with signed $k$-Grassmannian permutations. It turns out that these coefficients only depend on the positions changed over each pair of permutations. As an application, we give an orientability criterion, exhibit a symmetry of these coefficients and, compute low-dimensional homology groups.

We introduce two new bases for polynomials that lift monomial and fundamental quasisymmetric functions to the full polynomial ring. By defining a new condition on pipe dreams, called quasi-Yamanouchi, we give a positive combinatorial rule for expanding Schubert polynomials into these new bases that parallels the expansion of Schur functions into fundamental quasisymmetric functions. As a result, we obtain a refinement of the stable limits of Schubert polynomials to Stanley symmetric functions. We also give combinatorial rules for the positive structure constants of these bases that generalize the quasi-shuffle product and shuffle product, respectively. We use this to give a Littlewood--Richardson rule for expanding a product of Schubert polynomials into fundamental slide polynomials and to give formulas for products of Stanley symmetric functions in terms of Schubert structure constants.

We explain how genomic tableaux [Pechenik-Yong '15] are a semistandard complement to increasing tableaux [Thomas-Yong '09]. From this perspective, one inherits genomic versions of jeu de taquin, Knuth equivalence, infusion and Bender-Knuth involutions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood-Richardson rules for K-theory Schubert calculus of Grassmannians (after [Buch '02]) and maximal orthogonal Grassmannians (after [Clifford-Thomas-Yong '14], [Buch-Ravikumar '12]). For the unsolved case of Lagrangian Grassmannians, sharp upper and lower bounds using genomic tableaux are conjectured.

In their 1987 paper Kraśkiewicz and Pragacz defined certain modules, which we call KP modules, over the upper triangular Lie algebra whose characters are Schubert polynomials. In a previous work the author showed that the tensor product of KP modules always has a KP filtration, i.e. a filtration whose each successive quotients are isomorphic to KP modules. In this paper we explicitly construct such filtrations for certain special cases of these tensor product modules, namely $\mathcal{S}_w \otimes S^d(K^i)$ and $\mathcal{S}_w \otimes \bigwedge^d(K^i)$, corresponding to Pieri and dual Pieri rules for Schubert polynomials.

We report on results of Kraśkiewicz and the author, and Watanabe on KP modules materializing Schubert polynomials, and filtrations having KP modules as their subquotients. We discuss applications of KP filtrations and ample KP bundles to positivity, due respectively to Watanabe and Fulton. The article corresponds to the talk given by the author at the conference "IMPANGA 15" in April 2015.

In this paper, we prove a generalization of Kempf-Laksov formula for the degeneracy loci classes in even infinitesimal cohomology theories of the Grassmannian bundle and the Lagrangian Grassmannian bundle.

In our previous work arXiv:1305.3543, we employed the approach to Schubert polynomials by Fomin, Stanley, and Kirillov to obtain simple, uniform proofs that the double Schubert polynomials of Lascoux and Schutzenberger and Ikeda, Mihalcea, and Naruse represent degeneracy loci for the classical groups in the sense of Fulton. Using this as our starting point, and purely combinatorial methods, we obtain a new proof of the general formulas of arXiv:0908.3628, which represent the degeneracy loci coming from any isotropic partial flag variety. Along the way, we also find several new formulas and elucidate the connections between some earlier ones.

We say two posets are "doppelgängers" if they have the same number of $P$-partitions of each height $k$. We give a uniform framework for bijective proofs that posets are doppelgängers by synthesizing $K$-theoretic Schubert calculus techniques of H. Thomas and A. Yong with M. Haiman's rectification bijection and an observation of R. Proctor. Geometrically, these bijections reflect the rational equivalence of certain subvarieties of minuscule flag manifolds. As a special case, we provide the first bijective proof of a 1983 theorem of R. Proctor---that plane partitions of height $k$ in a rectangle are equinumerous with plane partitions of height $k$ in a trapezoid.

A classical result by Schoenberg (1942) identifies all real-valued functions that preserve positive semidefiniteness (psd) when applied entrywise to matrices of arbitrary dimension. Schoenberg's work has continued to attract significant interest, including renewed recent attention due to applications in high-dimensional statistics. However, despite a great deal of effort in the area, an effective characterization of entrywise functions preserving positivity in a fixed dimension remains elusive to date. As a first step, we characterize new classes of polynomials preserving positivity in fixed dimension. The proof of our main result is representation theoretic, and employs Schur polynomials. An alternate, variational approach also leads to several interesting consequences including (a) a hitherto unexplored Schubert cell-type stratification of the cone of psd matrices, (b) new connections between generalized Rayleigh quotients of Hadamard powers and Schur polynomials, and (c) a description of the joint kernels of Hadamard powers.

We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the commutator of jeu de taquin rectification and promotion. In particular, the real locus of the Schubert curve is naturally a covering space of $\mathbb{RP}^1$, with $ω$ as the monodromy operator. We provide a local algorithm for computing $ω$ without rectifying the skew tableau, and show that certain steps in our algorithm are in bijective correspondence with Pechenik and Yong's genomic tableaux, which enumerate the $K$-theoretic Littlewood-Richardson coefficient associated to the Schubert curve. We then give purely combinatorial proofs of several numerical results involving the $K$-theory and real geometry of $S(λ_\bullet)$.

We establish a Gysin formula for Schubert bundles and a strong version of the duality theorem in Schubert calculus on Grassmann bundles. We then combine them to compute the fundamental classes of Schubert bundles in Grassmann bundles, which yields a new proof of the Giambelli formula for vector bundles.

The problem of computing products of Schubert classes in the cohomology ring can be formulated as the problem of expanding skew Schur polynomials into the basis of ordinary Schur polynomials. In contrast, the problem of computing the structure constants of the Grothendieck ring of a Grassmannian variety with respect to its basis of Schubert structure sheaves is not equivalent to expanding skew stable Grothendieck polynomials into the basis of ordinary stable Grothendiecks. Instead, we show that the appropriate K-theoretic analogy is through the expansion of skew reverse plane partitions into the basis of polynomials which are Hopf-dual to stable Grothendieck polynomials. We combinatorially prove this expansion is determined by Yamanouchi set-valued tableaux. A by-product of our results is a dual approach proof for Buch's K-theoretic Littlewood-Richardson rule for the product of stable Grothendieck polynomials.

We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the commutator of jeu de taquin rectification and promotion. In particular, the real locus of the Schubert curve is naturally a covering space of $\mathbb{RP}^1$, with $ω$ as the monodromy operator. We provide a fast, local algorithm for computing $ω$ without rectifying the skew tableau, and show that certain steps in our algorithm are in bijective correspondence with Pechenik and Yong's genomic tableaux, which enumerate the $K$-theoretic Littlewood-Richardson coefficient associated to the Schubert curve. Using this bijection, we give purely combinatorial proofs of several numerical results involving the $K$-theory and real geometry of $S(λ_\bullet)$.

The Bethe algebras for the Gaudin model act on the multiplicity space of tensor products of irreducible $ \mathfrak{gl}_r $-modules and have simple spectrum over real points. This fact is proved by Mukhin, Tarasov and Varchenko who also develop a relationship to Schubert intersections over real points. We use an extension to $ \overline{M}_{0,n+1}(\mathbb{R}) $ of these Schubert intersections, constructed by Speyer, to calculate the monodromy of the spectrum of the Bethe algebras. We show this monodromy is described by the action of the cactus group $ J_n $ on tensor products of irreducible $ \mathfrak{gl}_r $-crystals.

We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of "nearly-maximally labelled" staircase diagrams is in bijection with the set of Schubert varieties with a complete Billey-Postnikov (BP) decomposition. We can then use an earlier result of the authors showing that all finite-type rationally smooth Schubert varieties have a complete BP decomposition to finish the enumeration.

Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper triangular matrices in view of two applications to algebraic statistics: we observe that special conditional independence models for Gaussian random variables are intersections of matrix Schubert varieties in the symmetric case. Consequently, we obtain a combinatorial primary decomposition algorithm for some conditional independence ideals. We also characterize the vanishing ideals of Gaussian graphical models for generalized Markov chains. In the course of this investigation, we are led to consider three related stratifications, which come from the Schubert stratification of a flag variety. We provide some combinatorial results, including describing the stratifications using the language of rank arrays and enumerating the strata in each case.