Product structure and regularity theorem for totally nonnegative flag varieties

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$ $J$ -total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity.

We show that the $J$ $J$ -totally nonnegative flag variety has a cellular decomposition into totally positive $J$ $J$ -Richardson varieties. Moreover, each totally positive $J$ $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$ $J$ -Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the $J$ $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 in (Adv. Math. 351:614–620, 2019). We also show that the link of the totally nonnegative part of $U^{-}$ $U^{-}$ for any Kac-Moody group forms a regular CW complex. This generalizes the result of Hersh (Invent. Math. 197(1):57–114, 2014) for reductive groups.