Boris A. Springborn
Abstract: It is known that for each combinatorial type of convex 3-dimensional polyhedra, there is a representative with edges tangent to the unit sphere. This representative is unique up to projective transformations that fix the unit sphere.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find a unique representation for each combinatorial type of convex three - dimensional polyhedra. Specifically, the author aims to prove that for each combinatorial type of 3 - dimensional convex polyhedra, there exists a unique polyhedron (in the sense of isometric transformation) whose edges are tangent to the unit sphere and the centroid of the contact points of these edges with the sphere is at the origin.
### Main contributions of the paper
1. **Proof of the uniqueness theorem**:
- The author has proved that for each combinatorial type of 3 - dimensional convex polyhedra, there exists a unique polyhedron (in the sense of isometric transformation) whose edges are tangent to the unit sphere \( S^2\subset\mathbb{R}^3 \) and the centroid of the contact points of these edges with the sphere is at the origin.
- This result is a proof of the uniqueness part in the representation theorem proposed by Ziegler (1995).
2. **Application of Möbius transformation**:
- The author uses Möbius transformation to centralize a given set of points so that the centroid of these points is at the origin. This transformation is unique (in the sense of being followed by rotation).
- Specifically, for \( n\geq3 \) distinct points \( v_1,\ldots,v_n \) on the \( d \)-dimensional unit sphere \( S^d\subset\mathbb{R}^{d + 1} \), there exists a Möbius transformation \( T \) such that the centroid of the transformed points is at the origin.
### Key theorems and lemmas
- **Theorem 1**: For each combinatorial type of 3 - dimensional convex polyhedra, there exists a representative polyhedron whose edges are tangent to the unit sphere. This representative polyhedron is unique under projective transformation, which fixes the sphere and does not make the polyhedron intersect with the plane at infinity.
- **Theorem 2**: For each combinatorial type of 3 - dimensional convex polyhedra, there exists a unique polyhedron (in the sense of isometric transformation) whose edges are tangent to the unit sphere \( S^2\subset\mathbb{R}^3 \) and the centroid of the contact points of these edges with the sphere is at the origin.
- **Lemma 1**: For \( n\geq3 \) distinct points \( v_1,\ldots,v_n \) on the \( d \)-dimensional unit sphere \( S^d\subset\mathbb{R}^{d + 1} \), there exists a Möbius transformation \( T \) such that the centroid of the transformed points is at the origin. If \( \tilde{T} \) is another such Möbius transformation, then \( \tilde{T}=RT \), where \( R \) is an isometric transformation of \( S^d \).
### Methods and techniques
- **Geometric transformation**: Utilize the relationships among Möbius transformation, projective geometry and hyperbolic geometry.
- **Variational principle**: Determine the unique center point by minimizing the sum of distances.
- **Poincaré model and Klein model**: Used to describe the geometric properties in hyperbolic space.
### Conclusion
This paper successfully proves that each combinatorial type of 3 - dimensional convex polyhedra has a unique representation, whose edges are tangent to the unit sphere and the centroid of the contact points is at the origin. This result not only solves the problem proposed by Ziegler, but also provides a new perspective for understanding the geometric structure of polyhedra.