Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the Dimensions of the Realization Spaces of Polytopes
106
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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, Mnevs (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 Robertsons 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.
rate research
Read More
In this paper, we will describe the space spanned by the angle-sums of polytopes, recorded in the alpha-vector. We will consider the angles sums of simplices and the angles sums and face numbers of simplicial polytopes and general polytopes. We will construct families of polytopes whose angle sums span the spaces of polytopes defined by the Gram and Perles equations, analogues of the Euler and Dehn-Sommerville equations. We show that the dimensions of the affine span of the space of angle sums of simplices is floor[(d-1)/2] + 1, and that of the angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3 respectively.
We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial complexity of the bodies and the topological complexity of their realization space. First, we show that every combinatorial type is realizable and its realization space is contractible under mild assumptions. Second, we prove a universality theorem that says the restriction of the realization space to arrangements polygons with a bounded number of vertices can have the homotopy type of any primary semialgebraic set.
There is a well known construction of weakly continuous valuations on convex compact polytopes in R^n. In this paper we investigate when a special case of this construction gives a valuation which extends by continuity in the Hausdorff metric to all convex compact subsets of R^n. It is shown that there is a necessary condition on the initial data for such an extension. In the case of R^3 more explicit results are obtained.
Consider a random set of points on the unit sphere in $mathbb{R}^d$, which can be either uniformly sampled or a Poisson point process. Its convex hull is a random inscribed polytope, whose boundary approximates the sphere. We focus on the case $d=3$, for which there are elementary proofs and fascinating formulas for metric properties. In particular, we study the fraction of acute facets, the expected intrinsic volumes, the total edge length, and the distance to a fixed point. Finally we generalize the results to the ellipsoid with homeoid density.
Suppose that $E$ and $E$ denote real Banach spaces with dimension at least 2, that $Dsubset E$ and $Dsubset E$ are domains, and that $f: Dto D$ is a homeomorphism. In this paper, we prove the following subinvariance property for the class of uniform domains: Suppose that $f$ is a freely quasiconformal mapping and that $D$ is uniform. Then the image $f(D_1)$ of every uniform subdomain $D_1$ in $D$ under $f$ is still uniform. This result answers an open problem of Vaisala in the affirmative.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
