Rigidity and the lower bound theorem. I (Q578590): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Barnette's lower bound theorem (LBT) says that for every triangulated \((d- 1)\)-manifold with \(n\) vertices the \(f\)-vector satisfies the inequality \(f_ k\geq \phi_ k(n,d)\) where \(\phi_ k(n,d):=\binom{d}{k}n - \binom{d+1}{k+1}k\) for \(1\leq k\leq d-2\) and \(\phi_{d-1}(n,d):=(d-1)n-(d+1)(d-2).\) It has been conjectured that equality \(f_ k=\phi_ k(n,d)\) for some \(k\) implies that the manifold is a sphere combinatorially equivalent to the boundary complex of a stacked \(d\)-polytope. The main result of the present paper is another proof of the LBT and a proof of this conjecture about the case of equality. As expressed by the title the author uses a rigidity result saying that almost all embeddings of the 1-skeleton of such a manifold into \({\mathbb{R}}^ d\) are rigid (this is called ``generically \(d\)-rigid''). The author remarks that the basic relation between the LBT and rigidity has been observed independently by M. Gromov. Among other results the author discusses manifolds with stacked links, one result saying that every \((d-1)\)-manifold (\(d\geq 5)\) which has only stacked vertex links, must belong to the class \({\mathcal H}^ d\) defined by \textit{D. Walkup} [Acta Math. 125, 75--107 (1970; Zbl 0204.56301)], in particular it cannot be simply connected. Related results about manifolds with boundary, pseudomanifolds and polyhedral manifolds are also included. At the end various conjectures are given. One of them relates the number \(\gamma (M):=\min \{f_ 1-\phi_ 1(n,d)\}\) with the first Betti number of \(M\), another one concerns a version of the generalized lower bound conjecture (GLBC) involving the h-vector and the Betti numbers. This remarkable paper is announced to continue with parts II and III. | |||
Property / review text: Barnette's lower bound theorem (LBT) says that for every triangulated \((d- 1)\)-manifold with \(n\) vertices the \(f\)-vector satisfies the inequality \(f_ k\geq \phi_ k(n,d)\) where \(\phi_ k(n,d):=\binom{d}{k}n - \binom{d+1}{k+1}k\) for \(1\leq k\leq d-2\) and \(\phi_{d-1}(n,d):=(d-1)n-(d+1)(d-2).\) It has been conjectured that equality \(f_ k=\phi_ k(n,d)\) for some \(k\) implies that the manifold is a sphere combinatorially equivalent to the boundary complex of a stacked \(d\)-polytope. The main result of the present paper is another proof of the LBT and a proof of this conjecture about the case of equality. As expressed by the title the author uses a rigidity result saying that almost all embeddings of the 1-skeleton of such a manifold into \({\mathbb{R}}^ d\) are rigid (this is called ``generically \(d\)-rigid''). The author remarks that the basic relation between the LBT and rigidity has been observed independently by M. Gromov. Among other results the author discusses manifolds with stacked links, one result saying that every \((d-1)\)-manifold (\(d\geq 5)\) which has only stacked vertex links, must belong to the class \({\mathcal H}^ d\) defined by \textit{D. Walkup} [Acta Math. 125, 75--107 (1970; Zbl 0204.56301)], in particular it cannot be simply connected. Related results about manifolds with boundary, pseudomanifolds and polyhedral manifolds are also included. At the end various conjectures are given. One of them relates the number \(\gamma (M):=\min \{f_ 1-\phi_ 1(n,d)\}\) with the first Betti number of \(M\), another one concerns a version of the generalized lower bound conjecture (GLBC) involving the h-vector and the Betti numbers. This remarkable paper is announced to continue with parts II and III. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52Bxx / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57Q15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4013434 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinitesimal rigidity | |||
Property / zbMATH Keywords: infinitesimal rigidity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
missing face | |||
Property / zbMATH Keywords: missing face / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigidity of graphs | |||
Property / zbMATH Keywords: rigidity of graphs / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Steinitz theorem | |||
Property / zbMATH Keywords: Steinitz theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simplicial \(d\)-polytope | |||
Property / zbMATH Keywords: simplicial \(d\)-polytope / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangulated \(d\)-manifold | |||
Property / zbMATH Keywords: triangulated \(d\)-manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lower bound theorem | |||
Property / zbMATH Keywords: lower bound theorem / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Wolfgang Kuehnel / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 3-Pseudomanifolds with Preassigned Links / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quotient polytopes of cyclic polytopes. I: Structure and characterization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Neighborly 4-polytopes with 9 vertices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Rigidity of Graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The rigidity of graphs. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the graph structure of convex polyhedra in \(n\)-space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tightly Embedded 2-Dimensional Polyhedral Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The minimum number of vertices of a simple polytope / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of the lower bound conjecture for convex polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graph theorems for manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5589866 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of the sufficiency of McMullen's conditions for f-vectors of simplicial convex polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of faces of polytope pairs and unbounded polyhedra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The minimum number of faces of a simple polyhedron / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extended Euler-Poincaré theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Properties and characterizations of <i>k</i> ‐trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4747150 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangulating 3-manifolds using 5 vertex link types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A counterexample to the rigidity conjecture for polyhedra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The rigidity of suspensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The rigidity of certain cabled frameworks and the second-order rigidity of arbitrary triangulated convex surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homomorphism theorems for graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4076414 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection homology theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5547252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polytopes, graphs, and complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On acyclic simplicial complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enumeration of \({\mathbb{Q}}\)-acyclic simplicial complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3697032 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperconnectivity of graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A comparison of primal and dual methods of linear programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polytope pairs and their relationship to linear programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4076171 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The 9-vertex complex projective plane / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The unique 3-neighborly 4-manifold with few vertices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The numbers of faces of simplicial polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5621733 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalized lower‐bound conjecture for simplicial polytopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4773723 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigid and Flexible Frameworks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the number of faces of simplicial complexes and the purity of Frobenius / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5522742 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Upper Bound Conjecture and Cohen-Macaulay Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of faces of a simplicial convex polytope / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics and commutative algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3748279 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometrical problems concerning polyhedra in the large / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3694165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lower bound conjecture for 3- and 4-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4111952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3334528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinitesimally Rigid Polyhedra. I. Statics of Frameworks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partial Differential Relations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:57, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rigidity and the lower bound theorem. I |
scientific article |
Statements
Rigidity and the lower bound theorem. I (English)
0 references
1987
0 references
Barnette's lower bound theorem (LBT) says that for every triangulated \((d- 1)\)-manifold with \(n\) vertices the \(f\)-vector satisfies the inequality \(f_ k\geq \phi_ k(n,d)\) where \(\phi_ k(n,d):=\binom{d}{k}n - \binom{d+1}{k+1}k\) for \(1\leq k\leq d-2\) and \(\phi_{d-1}(n,d):=(d-1)n-(d+1)(d-2).\) It has been conjectured that equality \(f_ k=\phi_ k(n,d)\) for some \(k\) implies that the manifold is a sphere combinatorially equivalent to the boundary complex of a stacked \(d\)-polytope. The main result of the present paper is another proof of the LBT and a proof of this conjecture about the case of equality. As expressed by the title the author uses a rigidity result saying that almost all embeddings of the 1-skeleton of such a manifold into \({\mathbb{R}}^ d\) are rigid (this is called ``generically \(d\)-rigid''). The author remarks that the basic relation between the LBT and rigidity has been observed independently by M. Gromov. Among other results the author discusses manifolds with stacked links, one result saying that every \((d-1)\)-manifold (\(d\geq 5)\) which has only stacked vertex links, must belong to the class \({\mathcal H}^ d\) defined by \textit{D. Walkup} [Acta Math. 125, 75--107 (1970; Zbl 0204.56301)], in particular it cannot be simply connected. Related results about manifolds with boundary, pseudomanifolds and polyhedral manifolds are also included. At the end various conjectures are given. One of them relates the number \(\gamma (M):=\min \{f_ 1-\phi_ 1(n,d)\}\) with the first Betti number of \(M\), another one concerns a version of the generalized lower bound conjecture (GLBC) involving the h-vector and the Betti numbers. This remarkable paper is announced to continue with parts II and III.
0 references
infinitesimal rigidity
0 references
missing face
0 references
rigidity of graphs
0 references
Steinitz theorem
0 references
simplicial \(d\)-polytope
0 references
triangulated \(d\)-manifold
0 references
lower bound theorem
0 references
0 references
0 references