ON THE DIMENSIONS OF THE REALIZATION SPACES OF POLYTOPES
From MaRDI portal
Publication:6072649
Abstract: Robertson (1988) suggested a model for the realization space of a convex d-dimensional polytope and an approach via the implicit function theorem, which -- in the case of a full rank Jacobian -- proves that the realization space is a manifold of dimension NG(P):=d(f_0+f_{d-1})-f_{0,d-1}, which is the natural guess for the dimension given by the number of variables minus the number of quadratic equations that are used in the definition of the realization space. While this indeed holds for many natural classes of polytopes (including simple and simplicial polytopes, as well as all polytopes of dimension at most 3),and Robertson claimed this to be true for all polytopes, Mnev's (1986/1988) Universality Theorem implies that it is not true in general: Indeed, (1) the centered realization space is not a smoothly embedded manifold in general, and (2) it does not have the dimension NG(P) in general. In this paper we develop Jacobian criteria for the analysis of realization spaces. From these we get easily that for various large and natural classes of polytopes the realization spaces are indeed manifolds, whose dimensions are given by NG(P). However, we also identify the smallest polytopes where the dimension count (2) and thus Robertson's claim fails, among them the bipyramid over a triangular prism. For the property (1), we analyze the classical 24-cell: We show that the realization space has at least the dimension 48, and it has points where it is a manifold of this dimension, but it is not smoothly embedded as a manifold everywhere.
Recommendations
Cites work
- k-Degenerate Graphs
- A Congruence Problem for Polyhedra
- A numerical local dimension test for points on the solution set of a system of polynomial equations
- Combinatorial computation of characteristic classes
- Constructions for posets, lattices, and polytopes
- Convex Polytopes
- Convex polytopes: extremal constructions and f-vector shapes
- Extension complexity and realization spaces of hypersimplices
- scientific article; zbMATH DE number 6008745 (Why is no real title available?)
- scientific article; zbMATH DE number 3874102 (Why is no real title available?)
- scientific article; zbMATH DE number 4092241 (Why is no real title available?)
- scientific article; zbMATH DE number 3509333 (Why is no real title available?)
- scientific article; zbMATH DE number 3804333 (Why is no real title available?)
- scientific article; zbMATH DE number 3193312 (Why is no real title available?)
- Incidence graphs of convex polytopes
- Lectures on Polytopes
- Many projectively unique polytopes
- Mechanism mobility and a local dimension test
- Neighborly cubical polytopes
- New polytopes from products
- Realization spaces of 4-polytopes are universal
- Realization spaces of polytopes
- The E_t-construction for lattices, spheres and polytopes
- The complete enumeration of 4-polytopes and 3-spheres with nine vertices
- The minimum number of vertices of a simple polytope
- The slack realization space of a polytope
- Triangulations. Structures for algorithms and applications
Cited in
(10)- Many projectively unique polytopes
- Algebraic degrees of 3-dimensional polytopes
- On the realization space of the cube
- Realization spaces of arrangements of convex bodies
- Realization spaces of arrangements of convex bodies
- On the realization space of the cube
- Rigidity of polytopes with edge length and coplanarity constraints
- Realizations of abstract regular polytopes from a representation theoretic view
- Characterizations of reduced polytopes in finite-dimensional normed spaces
- Realizability of the morse polytope
This page was built for publication: ON THE DIMENSIONS OF THE REALIZATION SPACES OF POLYTOPES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6072649)
