Discrete Morse theory for totally non-negative flag varieties

DOI10.1016/J.AIM.2009.10.011zbMATH Open1206.57044arXiv0810.4314OpenAlexW2091452354MaRDI QIDQ962137FDOQ962137

Lauren K. Williams, K. Rietsch

Publication date: 6 April 2010

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: In a seminal 1994 paper, Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_{geq 0} of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a "remarkable polyhedral subspace", and conjectured a decomposition into cells, which was subsequently proven by the first author. Subsequently the second author made the concrete conjecture that this cell decomposed space is the next best thing to a polyhedron, by conjecturing it to be a regular CW complex that is homeomorphic to a closed ball. In this article we use discrete Morse theory to prove this conjecture up to homotopy-equivalence. Explicitly, we prove that the boundaries of the cells are homotopic to spheres, and the closures of cells are contractible. The latter part generalizes a result of Lusztig's that (G/P)_{geq 0} -- the closure of the top-dimensional cell -- is contractible. Concerning our result on the boundaries of cells, even the special case that the boundary of the top-dimensional cell (G/P)_{> 0} is homotopic to a sphere, is new for all G/P other than projective space.

Full work available at URL: https://arxiv.org/abs/0810.4314

Recommendations

• Regularity theorem for totally nonnegative flag varieties
• Regularity theorem for totally nonnegative flag varieties
• Shelling totally nonnegative flag varieties
• Closure relations for totally nonnegative cells in \(G/P\)
• The totally nonnegative part of \(G/P\) is a CW complex

zbMATH Keywords

discrete Morse theorytotal positivitypartial flag varietiesshellabilityregular CW complexesreflection orders

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Classical problems, Schubert calculus (14N15) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Semialgebraic sets and related spaces (14P10) Homogeneous spaces and generalizations (14M17) Homology and homotopy of topological groups and related structures (57T99)

Cites Work

• Morse theory for cell complexes
• Title not available (Why is that?)
• Shelling totally nonnegative flag varieties
• Endomorphisms of linear algebraic groups
• Representations of Coxeter groups and Hecke algebras
• Canonical Bases Arising from Quantized Enveloping Algebras
• Shellable nonpure complexes and posets. II
• Introduction to quantum groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Matching polytopes, toric geometry, and the totally non-negative Grassmannian.
• A mirror symmetric construction of \(qH_T^*(G/P)_{(q)}\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Lexicographically Shellable Posets
• Shellable and Cohen-Macaulay Partially Ordered Sets
• Shellable Nonpure Complexes and Posets. I
• Title not available (Why is that?)
• Tensor product multiplicities, canonical and totally positive varieties
• The totally nonnegative part of \(G/P\) is a CW complex
• Special matchings and Kazhdan-Lusztig polynomials
• Poisson structures on affine spaces and flag varieties. II
• Closure relations for totally nonnegative cells in \(G/P\)
• On discrete Morse functions and combinatorial decompositions
• Bruhat order of Coxeter groups and shellability
• A user's guide to discrete Morse theory
• Title not available (Why is that?)
• Posets, regular CW complexes and Bruhat order
• Shellings of spheres and polytopes
• Title not available (Why is that?)
• Regular cell complexes in total positivity.
• Collapsibility of Δ(Π_{𝑛})/𝒮_{𝓃} and some related CW complexes
• A combinatorial setting for questions in Kazhdan-Lusztig theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• An explicit derivation of the Möbius function for Bruhat order

Cited In (18)

• The totally nonnegative part of \(G/P\) is a ball
• Combinatorial proof of the inversion formula on the Kazhdan-Lusztig \(R\)-polynomials
• Product structure and regularity theorem for totally nonnegative flag varieties
• Some more amplituhedra are contractible
• Regular cell complexes in total positivity.
• The \(m=1\) amplituhedron and cyclic hyperplane arrangements
• The totally nonnegative Grassmannian is a ball
• Toric degenerations of Grassmannians from matching fields
• Regularity theorem for totally nonnegative flag varieties
• Title not available (Why is that?)
• Boundary measurement and sign variation in real projective space
• The positive Grassmannian, the amplituhedron, and cluster algebras
• String cone and superpotential combinatorics for flag and Schubert varieties in type A
• The totally nonnegative Grassmannian is a ball
• Mask formulas for cograssmannian Kazhdan-Lusztig polynomials.
• A study in \(\mathbb{G}_{\mathbb{R} , \geq 0} ( 2 , 6 )\): from the geometric case book of Wilson loop diagrams and SYM \(N =4\)
• Positively oriented matroids are realizable
• Some remarks on Morse theory for posets, homological Morse theory and finite manifolds

This page was built for publication: Discrete Morse theory for totally non-negative flag varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q962137)