Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0908.2981

Infinitesimal rigidity of cone-manifolds and the Stoker problem for hyperbolic and Euclidean polyhedra

Rafe Mazzeo·Gregoire Montcouquiol
View original source ↗Read source document ↗Export metadata ↓

Abstract

The deformation theory of hyperbolic and Euclidean cone-manifolds with all cone angles less then 2π plays an important role in many problems in low dimensional topology and in the geometrization of 3-manifolds. Furthermore, various old conjectures dating back to Stoker about the moduli of convex hyperbolic and Euclidean polyhedra can be reduced to the study of deformations of cone-manifolds by doubling a polyhedron across its faces. This deformation theory has been understood by Hodgson and Kerckhoff when the singular set has no vertices, and by Weiß when the cone angles are less than π. We prove here an infinitesimal rigidity result valid for cone angles less than 2π, stating that infinitesimal deformations which leave the dihedral angles fixed are trivial in the hyperbolic case, and reduce to some simple deformations in the Euclidean case. The method is to treat this as a problem concerning the deformation theory of singular Einstein metrics, and to apply analytic methods about elliptic operators on stratified spaces. This work is an important ingredient in the local deformation theory of cone-manifolds by the second author, see also the concurrent work by Weiß.

Explore related subjects

math.DGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rafe Mazzeo, Gregoire Montcouquiol. 2011-04-05. Infinitesimal rigidity of cone-manifolds and the Stoker problem for hyperbolic and Euclidean polyhedra. https://arxiv.org/abs/0908.2981

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Classification of compact manifolds with positive isotropic curvature

We show the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or a quotient manifold of $\mathbb{S}^{n-1}\times \mathbb{R}$ by a cocompact discrete subgroup of the isometry group of the round cylinder $\mathbb{S}^{n-1}\times \mathbb{R}$, or a connected sum of a finite number of such manifolds. This extends previous works of Brendle and Chen-Tang-Zhu, and improves a work of Huang. The proof uses Ricci flow with surgery on compact orbifolds, with the help of the ambient isotopy uniqueness of closed tubular neighborhoods of an isolated singular point in an orbifold.

math.DG↗
arXiv2026

Isoparametric foliations and bounded geometry

We prove that there are only finitely many isoparametrically foliated closed connected Riemannian manifolds with bounded geometry, fixed dimension $n\neq5$, and finite fundamental group, up to foliated diffeomorphism. In addition, we construct various infinite families of isoparametric foliations that are mutually not foliated diffeomorphic, for instance on a fixed sphere.

math.DG↗
arXiv2026

Minimal foliations, codimension-one stable norms, and a question of Bangert

We compute the codimension-one stable norm for a natural class of cohomogeneity-one metrics on tori. In every dimension $n\ge3$, the formula yields smooth nonflat metrics for which each primitive codimension-one homology class is represented by a foliation of calibrated tori, giving a negative answer to a question of Bangert. On $\mathbb T^3$, we construct an infinite-dimensional family of nonflat metrics whose codimension-one stable norm agrees exactly with that of the unit cubic flat torus and whose total volume is fixed. An explicit two-parameter subfamily contains pairwise non-isometric metrics. These examples also show that the Euclidean-stable-norm-and-volume data are not locally injective near the cubic flat metric. Conversely, among smooth metrics on $\mathbb T^3$ admitting a free isometric circle action and having the cubic Euclidean codimension-one stable norm, we prove that volume is at most one, with equality only for the cubic flat metric up to an isometry isotopic to the identity.

math.DG↗