arXiv++ Combinatorics

Let $G$ be a Kac-Moody group, split over $\mathbb R$. The totally nonnegative part of $G$ and its (ordinary) flag variety $G/B^+$ was introduced by Lusztig. It is known that the totally nonnegative parts of $G$ and $G/B^+$ have remarkable combinatorial and topological properties. In this paper, we consider the totally nonnegative part of the $J$-twisted flag variety $G/{}^J B^+$, where ${}^J B^+$ is the Borel subgroup opposite to $B^+$ in the standard parabolic subgroup $P_J^+$ of $G$. The $J$-twisted flag varieties include the ordinary flag variety $G/B^+$ as a special case. Our main result show that the totally nonnegative part of $G/{}^J B^+$ decomposes into cells, and the closure of each cell is a regular CW complex. This generalizes the work of Galashin-Karp-Lam \cite{GKL22} and the joint work of Bao with the first author \cite{BH24} for ordinary flag varieties. As an application, we deduce that the totally nonnegative part of the double flag variety $G/B^+ \times G/B^-$ with respect to the diagonal $G$-action has similar nice properties. We also establish some connections between the totally nonnegative part of the double flag with the canonical basis of the tensor product of a lowest weight module with a highest weight module of $G$. As another application, we show that the link of identity in a totally nonnegative reduced double Bruhat cell of $G$ is a regular CW complex. This generalizes the work of Hersh \cite{Her14} on the link of $U_{\geq0}^-$ and gives a positive answer to an open question of Fomin and Zelevinsky.

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 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$.

Motivated by Lusztig's $G$-stable pieces, we consider the combinatorial pieces: the pairs $(w, K)$ for elements $w$ in the Weyl group and subsets $K$ of simple reflections that are normalized by $w$. We generalize the notion of cyclic shift classes on the Weyl groups to the set of combinatorial pieces. We show that the partial cyclic shift classes of combinatorial pieces associated with minimal-length elements have nice representatives. As applications, we prove the left-right symmetry and the compatibility of the induction functors of the parabolic character sheaves.

We show that the totally nonnegative part of the twisted product of flag varieties of a Kac-Moody group admits a cellular decomposition, and the closure of each cell is a topological manifold with boundary. We also establish explicit parameterizations of each totally positive cell. In the special cases of double flag varieties and braid varieties, we show that the totally nonnegative parts are regular CW complexes homeomorphic to closed balls. Moreover, we prove that the link of any totally nonnegative double Bruhat cell in a reductive group is a regular CW complex homeomorphic to a closed ball, solving an open problem of Fomin and Zelevinsky.

The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) $J$-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the $J$-totally nonnegative flag variety has a cellular decomposition into totally positive $J$-Richardson varieties. Moreover, each totally positive $J$-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive $J$-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the $J$-total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam.

A partial flag variety ${\mathcal {P}}_K$ of a Kac-Moody group $G$ has a natural stratification into projected Richardson varieties. When $G$ is a connected reductive group, a Bruhat atlas for ${\mathcal {P}}_K$ was constructed by He, Knutson and Lu: ${\mathcal {P}}_K$ is locally modeled with Schubert varieties in some Kac-Moody flag variety as stratified spaces. The existence of Bruaht atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties of an arbitrary Kac-Moody group due to combinatorial and geometric reasons. To overcome obstructions, we introduce the notion of Birkhoff-Bruhat atlas. Instead of the Schubert varieties used in a Bruhat atlas, we use the $J$-Schubert varieties for a Birkhoff-Bruhat atlas. The notion of the $J$-Schubert varieties interpolates Birkhoff decomposition and Bruhat decomposition of the full flag variety (of a larger Kac-Moody group). The main result of this paper is the construction of a Birkhoff-Bruhat atlas for any partial flag variety ${\mathcal {P}}_K$ of a Kac-Moody group. We also construct a combinatorial atlas for the index set $Q_K$ of the projected Richardson varieties in ${\mathcal {P}}_K$. As a consequence, we show that $Q_K$ has some nice combinatorial properties. This gives a new proof and generalizes the work of Williams in the case where the group $G$ is a connected reductive group.

In this paper, we develop the theory of flag manifold over a semifield for any Kac-Moody root datum. We show that the flag manifold over a semifield admits a natural action of the monoid over that semifield associated with the Kac-Moody datum and admits a cellular decomposition. This extends the previous work of Lusztig, Postnikov, Rietsch and others on the totally nonnegative flag manifolds (of finite type) and the work of Lusztig, Speyer, Williams on the tropical flag manifolds (of finite type). As a by-product, we prove a conjecture of Lusztig on the duality of totally nonnegative flag manifold of finite type.

The (tree) amplituhedron $\mathcal{A}_{n, k, m}$ is introduced by Arkani-Hamed and Trnka in 2013 in the study of $\mathcal{N}=4$ supersymmetric Yang-Mills theory. It is defined in terms of the totally nonnegative Grassmannians. In this paper, we show that the amplituhedron $\mathcal{A}_{n, k, m}$ for $m=2$ admits a triangulation. Our collection of cells is constructed via BCFW-type recursion. We also provide a diagrammatic interpretation of our construction.

We give a new description of the set $Adm(μ)$ of admissible alcoves as an intersection of certain "obtuse cones" of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.

Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.