arXiv++ Combinatorics

Continuing our previous work, this paper closely studies the relationship between the cluster algebra structures on the coordinate ring of Schubert cells and those on the coordinate ring of partial flag varieties. We give a finite-type classification for these cluster structures and point out several results that were left open in our previous work.

The theory of total positivity was shown by Lusztig to be intrinsically linked to the canonical basis with its positivity properties. When we restrict ourselves to studying total positivity just for the set of lower-triangular unipotent Toeplitz matrices, say in type $A$, then there is a similar link with the quantum cohomology rings of flag varieties and the Schubert bases and their positivity properties. Namely, this builds on a theory of Dale Peterson that gives a uniform Lie-theoretic description of all of the quantum cohomology rings $qH^*(G/P)$. In a precursor to this paper, the Schubert basis and quantum parameters in $qH^*(SL_n/B)$, which restrict to positive-valued functions on totally positive Toeplitz matrices, were analysed with respect to their limiting behaviour as $n\to\infty$, uncovering a novel connection with the classical Edrei theorem on parametrising the infinite totally positive Toeplitz matrices. In this paper we study the Grassmannian case, using the conventions from the $SL_{n}/B$ setting as a guide, and we determine the quantum parameter and Schubert class asymptotics in different scenarios. Along the way, we obtain a new interpretation of the strange duality involution on the localised quantum cohomolgy ring of the Grassmannian. Finally, we prove an asymptotic formula for quantum parameters in a partial flag setting, and we furthermore formulate some conjectures concerning partial flag varieties and related quantum cohomology asymptotics.

In this article, we investigate the toric Schubert varieties in partial flag varieties $G/P$ for a connected semisimple algebraic group $G$. Using Deodhar's decomposition of Richardson varieties and the work of Pasquier, we give an explicit description of the fan of a toric Schubert variety, leading to a combinatorial model for its cones. As an application, we obtain necessary and sufficient conditions for smoothness of toric Schubert varieties in terms of the Cartan integers associated to a reduced expression. Furthermore, we prove that for a Coxeter-type element $w \in W^P$, the interval $[e,w]_{W^P}$ is a supersolvable join-distributive lattice. Finally, we apply these results to the study of spherical and horospherical Schubert varieties, providing a combinatorial method for checking the smoothness via the associated toric Schubert varieties.

The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.

We study the monoid algebra ${}_{n}\mathcal{T}_{m}$ of semistandard Young tableaux, which coincides with the Gelfand--Tsetlin semigroup ring $\mathcal{GT}_{n}$ when $m = n$. Among others, we show that this algebra is commutative, Noetherian, reduced, Koszul, and Cohen--Macaulay. We provide a complete classification of its maximal ideals and compute the topology of its maximal spectrum. Furthermore, we classify its irreducible modules and provide a faithful semisimple representation. We also establish that its associated variety coincides with a toric degeneration of certain partial flag varieties constructed by Gonciulea--Lakshmibai. As an application, we show that this algebra yields injective embeddings of $\mathfrak{sl}_n$-crystals, extending a result of Bossinger--Torres.

We consider the decision problem of whether a particular Gromov--Witten invariant on a partial flag variety is zero. We prove that for the $3$-pointed, genus zero invariants, this problem is in the complexity class ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH), and therefore lies in the second level of polynomial hierarchy ${\sf PH}$. For the proof, we construct an explicit system of polynomial equations through a translation of the defining equations. We also need to prove an extension of the Parametric Hilbert's Nullstellensatz to obtain our central reduction.

Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.

We prove a determinantal, Toda-type, presentation for the equivariant K theory of a partial flag variety ${\rm Fl}(r_1, \dots, r_k;n)$. The proof relies on pushing forward the Toda presentation obtained by Maeno, Naito and Sagaki for the complete flag variety ${\rm Fl}(n)$, via Kato's ${\rm K}_T({\rm pt})$-algebra homomorphism from the quantum K ring of ${\rm Fl}(n)$ to that of ${\rm Fl}(r_1, \dots, r_k;n)$. Starting instead from the Whitney presentation for ${\rm Fl}(n)$, we show that the same pushforward technique gives a recursive formula for polynomial representatives of quantum K Schubert classes in any partial flag variety which do not depend on quantum parameters. In an appendix, we include another proof of the Toda presentation for the equivariant quantum K ring of ${\rm Fl}(n)$, following Anderson, Chen, and Tseng, which is based on the fact that the ${\rm K}$-theoretic $J$-function is an eigenfunction of the finite difference Toda Hamiltonians.

The open projected Richardson varieties form a stratification for the partial flag variety $G/P$. We compare the Segre--MacPherson classes of open projected Richardson varieties with those of the corresponding affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. In the case of the Grassmannian $G/P=\operatorname{Gr}_k(\mathbb{C}^n)$, the open projected Richardson varieties are known as open positroid varieties. We obtain symmetric functions that represent the Segre--MacPherson classes of these open positroid varieties, constructed explicitly in terms of pipe dreams for affine permutations.

We generalize the classification of isomorphism classes of Schubert varieties in complete flag varieties G/B to a class of partial flag varieties G/P. In particular, we classify all Schubert varieties in G/P where P is a minimal parabolic subgroup and all Schubert surfaces. We also obtain several pairs of isomorphisms of Schubert varieties from folding the root system. This allows us to find an upper bound of the cardinality of isomorphism classes of Schubert three-folds.

For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symplectic (type C) and odd-orthogonal (type B) partial flag varieties for which Lusztig's total positivity coincides with Plucker positivity.

We study the homogeneous coordinate rings of partial flag varieties and Grassmannians in their Plücker embeddings and exhibit an embedding of the former into the latter. Both rings are cluster algebras and the embedding respects the cluster algebra structures in the sense that there exists a seed for the Grassmannian that restricts to a seed for the partial flag variety (\textit{i.e.} it is obtained by freezing and deleting some cluster variables). The motivation for this project stems from the application of cluster algebras in scattering amplitudes: spinor helicity and momentum twistor varieties describe massless scattering without assuming dual conformal symmetry. Both may be obtained from Grassmanninas which model the dual conformal case. They are instances of partial flag varieties and their cluster structures reveal information for the scattering amplitudes. As an application of our main result we exhibit the relation between these cluster algebras.

We show that interlacing triangular arrays, introduced by Aggarwal-Borodin-Wheeler to study certain probability measures, can be used to compute structure constants for multiplying Schubert classes in the $K$-theory of Grassmannians, in the cohomology of their cotangent bundles, and in the cohomology of partial flag varieties. Our results are achieved by establishing a splitting lemma, allowing for interlacing triangular arrays of high rank to be decomposed into arrays of lower rank, and by constructing a bijection between interlacing triangular arrays of rank 3 with certain proper vertex colorings of the triangular grid graph that factors through generalizations of Knutson-Tao puzzles. Along the way, we prove one enumerative conjecture of Aggarwal-Borodin-Wheeler and disprove another.

The goal of this paper is twofold. Firstly, we provide a type-uniform formula for the torus complexity of the usual torus action on a Richardson variety, by developing the notion of algebraic dimensions of Bruhat intervals, strengthening a type $A$ result by Donten-Bury, Escobar and Portakal. In the process, we give an explicit description of the torus action on any Deodhar component as well as describe the root subgroups that comprise the component. Secondly, when a Levi subgroup in a reductive algebraic group acts on a Schubert variety, we exhibit a codimension preserving bijection between the Levi-Borel subgroup (a Borel subgroup in the Levi subgroup) orbits in the big open cell of that Schubert variety and torus orbits in the big open cell of a distinguished Schubert subvariety. This bijection has many applications including a type-uniform formula for the Levi-Borel complexity of the usual Levi-Borel subgroup action on a Schubert variety. We conclude by extending the Levi-Borel complexity results to a large class of Schubert varieties in the partial flag variety.

Let $G$ be a complex semisimple linear algebraic group. Fix a subset $Θ$ of simple roots. Given a lower ideal $I$ in positive roots, one can define the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$ in the full flag variety $G/B$. For a $Θ$-ideal $I$ (which is a special lower ideal), we can define the regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ in the partial flag variety $G/P$. In this manuscript we first provide a summand formula and a product formula for the Poincaré polynomial of regular nilpotent partial Hessenberg varieties. It is a well-known result from Bernstein-Gelfand-Gelfand that the cohomology ring of the partial flag variety $G/P$ is isomorphic to the invariants in the cohomology ring of the full flag variety $G/B$ under an action of the parabolic Weyl group $W_Θ$ generated by $Θ$. We generalize this result to regular nilpotent partial Hessenberg varieties. More concretely, we give an isomorphism between the cohomology ring of a regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ and the $W_Θ$-invariant subring of the cohomology ring of the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$. Furthermore, we provide a description of the cohomology ring for a regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ in terms of the $W_Θ$-invariants in the logarithmic derivation module of the ideal arrangement $\mathcal{A}_I$, which is a generalization of the result by Abe-Masuda-Murai-Sato with the author.

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.

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.