How many simplices are needed to triangulate a Grassmannian? (Q2236456)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | How many simplices are needed to triangulate a Grassmannian? |
scientific article |
Statements
How many simplices are needed to triangulate a Grassmannian? (English)
0 references
25 October 2021
0 references
The aim of this article is clearly expressed in the title. The authors prove lower bounds for the number of vertices or top-dimensional simplices (facets) for a triangulation of the Grassmannian \(G_k(\mathbb{R}^n)\). The estimates are based on the knowledge of the maximal height of cup-powers in the cohomology. This method was developed by the authors [Discrete Comput. Geom. 63, No. 1, 31--48 (2020; Zbl 1431.55003)]. For the projective space \(\mathbb{R}P^{n-1}\) (the case \(k=1\)) a lower bound for the number of vertices is \(\binom{n+1}{2}\). For \(G_2(\mathbb{R}^n)\) the authors obtain \((n-2)^2+ 2^s(2n-2^s- 1)\) if \(2^s<n\le 2^{s+1}\). Similar bounds are given for \(k=3\) and \(k=4\), for \(G_3(\mathbb{R}^8)\) the bound is \(117\). Another tool is the Lower Bound Theorem (LBT) together with its generalizations. This implies in Thm. 4.7 that the number of facets in a triangulated \(G_k(\mathbb{R}^{n+k})\) is at least \(2^{nk}+k(n^3+ n^2)/2+ k(k+2)(k-1)n/2\). Surprisingly, this bound is sharp for \(k=1\), \(n=2\) since the smallest triangulation of \(\mathbb{R}P^2\) has \(10\) triangles. Unfortunately, for \(k\ge 2\) explicit examples do not seem to be known. So the question remains open how sharp these bounds are. The authors remark that their method can be used also for other spaces, like Lie groups, flag manifolds, Stiefel manifolds etc. For Lie groups see the recent paper by \textit{H. Duan} et al. [Topology Appl. 293, Article ID 107559, 13 p. (2021; Zbl 1468.57022)].
0 references
minimal triangulation
0 references
Grassmann manifold
0 references
cup-length
0 references
lower bound theorem
0 references
manifold \(g\)-theorem
0 references
0 references
0 references
0 references