Rigidity and the lower bound theorem. I (Q578590): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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 / namelinks / 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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references