Triangulations of Grassmannians and flag manifolds

DOI10.1007/S10711-023-00822-XMaRDI QIDQ6174792zbMATH OpenFDO

Authors Olakunle S. Abawonse

Publication date 17 August 2023

Published in Geometriae Dedicata (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

cell collapseoriented matroidsrecursive atome orderingregular cell complexshellingstopological manifolds

Mathematics Subject Classification ID

Oriented matroids in discrete geometry (52C40) Cellularity in topological manifolds (57N60) Stratifications in topological manifolds (57N80) Triangulating manifolds (57Q15)

Abstract: MacPherson conjectured that the Grassmannian $mathrmGr(2,mathbb{R}^n)$ has the same homeomorphism type as the combinatorial Grassmannian $|mboxMacP(2,n)|$, while Babson proved that the spaces $mathrmGr(2,mathbb{R}^n)$ and $mathrmGr(1,2,mathbb{R}^n)$ are homotopy equivalent to their combinatorial analogs $|mathrmMacP(2,n)|$ and $|mboxMacP(1,2,n)|$ respectively. We will prove that $mathrmGr(2,mathbb{R}^n)$ and $mathrmGr(1,2,mathbb{R}^n)$ are homeomorphic to $|mboxMacP(2,n)|$ and $|mboxMacP(1,2,n)|$ respectively.

Review text

The oriented matroid Grassmannian \(\mathrm{MacP}(k,n)\), also called the MacPhersonian, was introduced by \textit{R. MacPherson} [in: Topological methods in modern mathematics. Proceedings of a symposium in honor of John Milnor's sixtieth birthday, held at the State University of New York at Stony Brook, USA, June 14-June 21, 1991. Houston, TX: Publish or Perish, Inc. 203--221 (1993; Zbl 0812.57019)] as a combinatorial analogue for the real Grassmann manifold \(\mathrm{Gr}(k,\mathbb{R}^n)\) of \(k\)-dimensional subspaces in \(\mathbb{R}^n\). The MacPhersonian \(\mathrm{MacP}(k,n)\) is the order complex of the partially ordered set of all oriented matroids of rank \(k\) on a labelled set of \(n\) elements, ordered by weak maps. MacPherson also conjectured that, in the case \(k=2\), the geometric realization \(\|\mathrm{MacP}(2,n)\|\) is homeomorphic to \(\mathrm{Gr}(2,\mathbb{R}^n)\), and it was proved soon after that these two are homotopy equivalent. In this paper the author proves this conjecture by MacPherson, and moreover, he shows that the flag manifold \(\mathrm{Gr}(1,2,\mathbb{R}^n)\) is homeomorphic to the geometric realization of its combinatorial counterpart \(\|\mathrm{MacP}(1,2,n)\|\). The method of the proof relies on the realizability of rank \(2\) oriented matroids (that is, the fact that any such matroid is induced by a hyperplane arrangement in \(\mathbb{R}^2\)), and it is pointed out in the paper that this is the reason why this argument does not go through in the cases \(k\ge3\). The author considers the canonical map \(\mu:\mathrm{Gr}(2,\mathbb{R}^n)\rightarrow\mathrm{MacP}(2,n)\) (which maps a \(2\)-dimensional plane to the rank \(2\) oriented matroid it determines) and shows that the partition \(\{\mu^{-1}(M)\mid M\in\mathrm{MacP}(2,n)\}\) is a regular cell decomposition of \(\mathrm{Gr}(2,\mathbb{R}^n)\). The analogous arguments are used to prove that \(\mathrm{Gr}(1,2,\mathbb{R}^n)\cong\|\mathrm{MacP}(1,2,n)\|\).

Recommendations

• The homotopy type of the matroid Grassmannian
• Combinatorial models for the finite-dimensional Grassmannians
• Homotopy groups of the combinatorial Grassmannian
• There is no tame triangulation of the infinite real Grassmannian
• Mod 2 cohomology of combinatorial Grassmannians

Cites work

• A combinatorial formula for the Pontrjagin classes
• Almost locally flat embeddings of 𝑆ⁿ⁻¹ in 𝑆ⁿ
• Combinatorial models for the finite-dimensional Grassmannians
• scientific article; zbMATH DE number 554849 (Why is no real title available?)
• Locally flat imbeddings of topological manifolds
• Mod 2 cohomology of combinatorial Grassmannians
• On Lexicographically Shellable Posets
• Oriented matroids
• Oriented Matroids
• Regular cell complexes in total positivity.

Cited in

(6)

• Homotopy groups of the combinatorial Grassmannian
• Oriented matroids, complex manifolds, and a combinatorial model for \(BU\).
• Geometry of distributions of flags on Grassmann manifolds of a projective space. I
• Minimal flag triangulations of lower-dimensional manifolds
• Tetrahedra of flags, volume and homology of SL(3)
• Matching polytopes, toric geometry, and the totally non-negative Grassmannian.

This page was built for publication: Triangulations of Grassmannians and flag manifolds

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