arXiv++ Combinatorics

We demonstrate how pipe dreams can be applied to the theory of poset polytopes to produce toric degenerations of flag varieties. Specifically, we present such constructions for marked chain-order polytopes of Dynkin types A and C. These toric degenerations also give rise to further algebraic and geometric objects such as PBW-monomial bases and Newton--Okounkov bodies. We discuss a construction of the former in the type A case and of the latter in type C.

Schubert polynomials represent a basis for the cohomology of the complete flag variety and thus play a central role in geometry and combinatorics. In this context, Schubert polynomials are generating functions over various combinatorial objects, such as rc-graphs or reduced pipe dreams. By restricting Bergeron and Billey's chute moves on rc-graphs, we define a Demazure crystal structure on the monomials of a Schubert polynomial. As a consequence, we provide a method for decomposing Schubert polynomials as sums of key polynomials, complementing related work of Assaf and Schilling via reduced factorizations with cutoff, as well as Lenart's coplactic operators on biwords.

In this paper, we give a formula for the number of permutations that avoid the split patterns $3|12$ and $23|1$ with respect to a position $r$. Such permutations count the number of Schubert varieties for which the projection map from the flag variety to a Grassmannian induces a fiber bundle structure. We also study the corresponding bivariate generating function and show how it is related to modified Bessel functions.

The first part of this paper concerns type C. We present new explicitly defined families of algebro-combinatorial structures of three kinds: combinatorial bases in representations, Newton--Okounkov bodies of flag varieties and toric degenerations of flag varieties. All three families are parametrized by the same family of polytopes: the marked chain-order polytopes of Fang and Fourier which interpolate between the type C Gelfand--Tsetlin and FFLV polytopes. Thus, in each case the obtained structures interpolate between the well-known bases, Newton--Okounkov bodies or degenerations associated with the latter two polytopes. We then obtain similar results for type B after introducing a new family of poset polytopes to be considered in place of marked chain-order polytopes. In both types our constructions and proofs rely crucially on a combinatorial connection between poset polytopes and pipe dreams.

The existence of acyclic complete matchings on the face poset of a regular CW complex implies that the underlying topological space of the CW complex is contractible by discrete Morse theory. In this paper, we construct explicitly acyclic complete matchings on any non-trivial Bruhat interval $[v,w]$ based on any reflection order on the Coxeter group $W$. We then apply this combinatorial result to regular CW complexes arising from the theory of total positivity. As an application, we show that the totally nonnegative Springer fibers are contractible. This verifies a conjecture of Lusztig. As another application, we show that the totally nonnegative fibers of the natural projection from full flag varieties to partial flag varieties are contractible. This leads to a much simplified proof of the regularity property on totally nonnegative partial flag varieties compared to the proofs by Galashin-Karp-Lam and in our earlier work.

We construct a Plücker coordinate superpotential $\mathcal{F}_-$ that is mirror to a partial flag variety $\mathbb{ F}\ell(n_\bullet)$. Its Jacobi ring recovers the small quantum cohomology of $\mathbb{ F}\ell(n_\bullet)$ and we prove a folklore conjecture in mirror symmetry. Namely, we show that the eigenvalues for the action of the first Chern class $c_1(\mathbb{ F}\ell(n_\bullet))$ on quantum cohomology are equal to the critical values of $\mathcal{F}_-$. We achieve this by proving new identities in quantum Schubert calculus that are inspired by our formula for $\mathcal{F}_-$ and the mirror symmetry conjecture.

A partial flag variety is a smooth projective homogeneous variety admitting an action of a maximal torus $T$. Schubert varieties are $T$-invariant subvarieties of the partial flag varieties. We study toric Schubert varieties in Grassmannian varieties with respect to the action of the torus $T$. Indeed, we present an explicit description of the fan of a Gorenstein toric Schubert variety in a Grassmannian, and we prove that any Gorenstein toric Schubert variety in a Grassmannian variety is Fano.

We present a comprehensive study of the degeneracy loci of the full flag varieties of all complex semisimple Lie groups equipped with the standard Poisson structures. The reduced Poisson degeneracy loci are shown to stratify under the action of the canonical maximal torus into open Richardson varieties $\mathcal{R}_v^w$ for pairs of Weyl group elements $v \leq w$ that extend the covering relation of the Bruhat order. Four different combinatorial descriptions of those pairs are given, and it is shown that their Bruhat intervals are power sets. The corresponding closed Richardson varieties $\overline{\mathcal{R}_v^m}$ are shown to be isomorphic to $(\mathbb{C}\mathbb{P}^1)^d$ for $d \geq 0$ in a compatible way with the stratification. As a consequence, we obtain that the reduced Poisson degeneracy loci of all full flag varieties are connected, and all of their irreducible components are isomorphic to $(\mathbb{C}\mathbb{P}^1)^n$ for some $n \geq 0$; they are not equidimensional in general. Using the framework of projected Richardson varieties, these results are extended to all partial flag varieties. The top dimension of irreducible components of the reduced Poisson degeneracy locus in the full flag case is proved to be equal to the cardinality of Kostant's cascade of roots and the reflective length of the longest Weyl group element. It is shown that the Poisson degeneracy loci of flag varieties are not reduced in general.

We introduce a new combinatorial structure of linked tableaux, which generalize the semi-standard tableaux that index a SAGBI basis of the Plücker coordinate ring of a flag variety. We show that linked tableaux index Domokos-Zubkov semi-invariants, which span the semi-invariant ring of a quiver. The semi-invariant ring of a quiver coincides in many cases with the Cox ring of an associated quiver moduli space. We show that these semi-invariants satisfy straightening laws. In the case of the generalized Kronecker quiver, we prove that the semi-invariants associated to semi-standard linked tableaux are a (possibly infinite) SAGBI basis. For the generalized Kronecker quiver with dimension vector (2,2), we show that the SAGBI basis is finite and describe it explicitly.

Consider the complete flag variety $X$ of a complex semisimple algebraic group $G$. We show that the structure coefficients of the Belkale-Kumar product $\odot_0$, on the cohomology $\mathrm{H}^{*}(X,\mathbf{Z})$, are all either $0$ or $1$. We also derive some consequences. The proof that is mainly geometric also uses new combinatorial results on root systems. Moreover, it is uniform and avoids case by case considerations.

Motivated by classical combinatorial Schubert calculus on the Grassmannian, Huang--Pylyavskyy introduced a generalized theory of Robinson-Schensted-Knuth (RSK) correspondence for studying Schubert calculus on the complete flag variety via insertion algorithms. The inputs of the correspondence are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are certain chains in Bruhat order. In particular, they defined plactic biwords and showed that classical Knuth relations can be generalized to plactic biwords. In this paper, we give an analogue of Fomin's growth diagrams for this generalized RSK correspondence on plactic biwords. We show that this growth diagram recovers the bijection between pipe dreams and bumpless pipe dreams of Gao--Huang.

A flag variety is a homogenous variety $G/B$ where $G$ is a simple algebraic group over the complex numbers and $B$ is a Boel subgroup of $G$. A Schubert variety $X_w$ is a subvariety of $G/B$ indexed by an element $w$ in the Weyl group of $G$. It is called toric if it is a toric variety with respect to the maximal torus of $G$ in $B$. In this paper, we associate an edge-labeled digraph $\mathcal{G}_w$ with a toric Schubert variety $X_w$ and classify toric Schubert varieties up to isomorphism. We also give a simple criterion of when a toric Schubert variety $X_w$ is (weak) Fano in terms of $\mathcal{G}_w$. Finally, we discuss whether toric Schubert varieties can be distinguished by their integral cohomology rings up to isomorphism and show that this is the case when $G$ is of simply-laced type.

We define the totally nonnegative matroid Schubert variety $\mathcal Y_V$ of a linear subspace $V \subset \mathbb R^n$. We show that $\mathcal Y_V$ is a regular CW complex homeomorphic to a closed ball, with strata indexed by pairs of acyclic flats of the oriented matroid of $V$. This closely resembles the regularity theorem for totally nonnegative generalized flag varieties. As a corollary, we obtain a regular CW structure on the real matroid Schubert variety of $V$.

We use some moment graph techniques, recently introduced by Lanini and Pütz, to provide a combinatorial description of the smooth locus in flat linear degenerations of flag varieties, generalizing a result proved by Cerulli Irelli, Feigin and Reineke for the Feigin degeneration. Moreover, we propose a different combinatorial criterion linking the smoothness at a fixed point to transitive tournaments.

In this first of a series of articles on standard extension algebras we study standard perverse sheaves on varieties with $\mathbb{G}_m$-actions. Based on Braden's hyperbolic localisation, we describe their extension algebra geometrically via a convolution structure on the intersections of attracting with repelling cells. We introduce a multiplicative structure on open Richardson varieties which provides a practical way to compose these extensions in case of flag varieties. For open Richardson varieties in Grassmannians we construct two explicit cell decompositions, of Gauss- and of Deodhar-type. It is shown that the latter is a stratification with the same combinatorics as Deodhar's decomposition. We introduce a calculus of Fukaya diagrams to encode the geometry of the decompositions. It provides a model for the cohomology of open Richardson varieties and thus for standard extensions. The calculus is motivated by the Mak-Smith Fukaya-Seidel category of a natural Lefschetz fibration and should allow to compute morphism spaces in there. We finally discuss the relation of our work to extensions of (parabolic) Verma modules in category O as well as to the computation of R- and R'-polynomials.

A flag variety is a smooth projective homogeneous variety. In this paper, we study Newton-Okounkov polytopes of the flag variety $Fl(\mathbb{C}^4)$ arising from its cluster structure. More precisely, we present defining inequalities of such Newton-Okounkov polytopes of $Fl(\mathbb{C}^4)$. Moreover, we classify these polytopes, establishing their equivalence under unimodular transformations.

In a recent paper, we stated conjectural presentations for the equivariant quantum K ring of partial flag varieties, motivated by physics considerations. In this companion paper, we analyze these presentations mathematically. We start by proving a Nakayama type result for quantum K theory: if the conjectured set of relations deforms a complete set of relations of the classical K theory ring, then they must form a complete set of relations for the quantum K ring. We prove the conjectured presentation in the case of the incidence varieties, and we show that if a quantum K divisor axiom holds (as conjectured by Buch and Mihalcea), then the conjectured presentation also holds for the complete flag variety. Finally, we briefly revisit the change of variables relating the mathematics and physics presentations.

The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties.

This paper considers generalizations of certain arithmetic complexes appearing in the work of Raicu and VandeBogert in connection with the study of stable sheaf cohomology on flag varieties. Defined over the ring of integer valued polynomials, we prove an isomorphism of these complexes as conjectured by Gao, Raicu, and VandeBogert. In particular, this shows that a previously made identification between the stable sheaf cohomology of hook and two column partition Schur functors applied to the cotangent sheaf of projective space can be made to be uniform with respect to these complexes. These results are extended to the projective space defined over the integers.

Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresmann-like characterization for the tilted Bruhat order. Moreover, for any ordered pair of permutations $u$ and $v$, we define the tilted Richardson variety $T_{u,v}$, with a stratification that gives a geometric meaning to intervals in the tilted Bruhat order. We provide a few equivalent definitions to this new family of varieties that include Richardson varieties, and establish some fundamental geometric properties including their dimensions and closure relations.