Search

The Stoker problem, first formulated in Stoker (Commun. Pure Appl. Math. 21:119–168, 1968), consists in understanding to what extent a convex polyhedron is determined by its dihedral angles. By means of the double construction, this problem is intimately related to rigidity issues for 3-dimensional cone-manifolds. In Mazzeo and Montcouquiol (J. Differ. Geom. 87(3):525–576, 2011), two such rigidity results were proven, implying that the infinitesimal version of the Stoker conjecture is true in the hyperbolic and Euclidean cases. In this second article, we show that local rigidity holds and prove that the space of convex hyperbolic polyhedra with given combinatorial type is locally parametrized by the set of dihedral angles, together with a similar statement for hyperbolic cone-3-manifolds.

In this paper we continue our study of finding the curvature flow of complete hypersurfaces in hyperbolic space with a prescribed asymptotic boundary at infinity. Our main results are proved by deriving a priori global gradient estimates and C^2 estimates., revised for publication

We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of $2\pi$, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we build upon previous work with punctured tori to prove results for higher genus surfaces. Our techniques construct fundamental domains for hyperbolic cone-manifold structures, from the geometry of a representation. Central to these techniques are the Euler class of a representation, the group $\widetilde{PSL_2\R}$, the twist of hyperbolic isometries, and character varieties. We consider the action of the outer automorphism and related groups on the character variety, which is measure-preserving with respect to a natural measure derived from its symplectic structure, and ergodic in certain regions. Under various hypotheses, we almost surely or surely obtain a hyperbolic cone-manifold structure with prescribed holonomy., Comment: 25 pages, 11 figures

We study horo-tight immersions of manifolds into hyperbolic spaces. The main result gives several characterizations of horo-tightness of spheres, answering a question proposed by Cecil and Ryan. For instance, we prove that a sphere is horo-tight if and only if it is tight in the hyperbolic sense. For codimension bigger than one, it follows that horo-tight spheres in hyperbolic space are metric spheres. We also prove that horo-tight hyperspheres are characterized by the property that both of its total absolute horospherical curvatures attend their minimum value. We also introduce the notion of weak horo-tightness: an immersion is weak horo-tight if only one of its total absolute curvature attends its minimum. We prove a characterization theorem for weak horo-tight hyperspheres.

We calculate the Jacobian matrix of the dihedral angles of a generalized hyperbolic tetrahedron as functions of edge lengths and find the complete set of symmetries of this matrix.

For a family of piecewise circular Jordan curves, we show that the curve is determined up to application of Mobius maps, by the pair of bending measured laminations on the boundary of its convex hull in the 3-dimensional hyperbolic space.

We give an identity involving sums of functions of lengths of simple closed geodesics, known as a McShane identity, on any non-orientable hyperbolic surface with boundary which generalises Mirzakhani’s identities on orientable hyperbolic surfaces with boundary.

Long and Reid [Algebr. Geom. Topol. 2: 285–296, 2002] have shown that the diffeomorphism class of every Riemannian flat manifold of dimension n≥ 3 arises as a cusp cross-section of a complete finite volume real hyperbolic (n+1)-orbifold. For the complex hyperbolic case, McReynolds [Algebr. Geom. Topol. 4: 721–755, 2004] proved that every 3-dimensional infranilmanifold is diffeomorphic to a cusp cross-section of a complete finite volume complex hyperbolic 2-orbifold. Moreover, he gave a necessary and sufficient condition for a Heisenberg infranilmanifold to be realized as a cusp cross-section of finite volume (arithmetically) complex hyperbolic orbifold. We study these realization problems by using Seifert fibrations.

We use the complex and quaternionic hyperbolic versions of Jorgensen's inequality to construct embedded collars about short, simple, closed geodesics in complex and quaternionic hyperbolic manifolds. In general, the width of these collars depend both on the length of the geodesic and on the rotational part of the group element uniformising it. For complex hyperbolic space we are able to use a lemma of Zagier to give an estimate based only on the length. We show that these canonical collars are disjoint from each other and from canonical cusps. We also calculate the volumes of these collars.

The structure of the space of orbits of PU(n, 1) acting on (n+1)-tuples of points in complex hyperbolic space is characterized in terms of side lengths and angular invariants. The more general situation in which some of the points lie on the boundary of complex hyperbolic space is described in terms of other basic invariants.

We prove a hyperbolic analogon of the euclidean theorem of Abramescu. The proof makes use of the basic concepts of plane hyperbolic differential geometry of G. W. M. Kallenberg.

A generalized face number, typically taking negative rational values for a regular hyperbolic honeycomb, is constructed in three different ways – via differential geometry, combinatorics, and divergent series.

In this paper it is shown that one can choose an arbitrarily large number of inconjugate elements of the group Z/2Z*Z/2Z*Z/2Z which have the property that, under all representations of the group in SU(2,1) as a discrete complex hyperbolic ideal triangle group, the elements are hyperbolic and correspond to closed geodesics of equal length on the associated complex hyperbolic surface. This is an analogue of the geometric fact that the multiplicity of the length spectrum of a Riemann surface is never bounded or the equivalent algebraic phenomenon that an arbitrarily large number of conjugacy classes in a free group can have the same trace under all representations in SL(2,R ).

We give a necessary and sufficient condition for a given set of positive real numbers to be the dihedral angles of a hyperbolic n -simplex in this note. This answers a question of W. Fenchel raised in his book, Elementary Geometry in Hyperbolic Space, (De Gruyter, Berlin, 1989, p. 174) where he obtained some necessary conditions for which six numbers have to satisfy in order to be the dihedral angles of a hyperbolic tetrahedron. We also present a simple proof of the known necessary and sufficient condition for the dihedral angles of Euclidean n-simplexes.

We prove that, in the hyperbolic plane, the Reuleaux triangle has smaller area than any other set of the same constant width.

We show that the space of convex Euclidean polygons with given angles is naturally a convex polyhedron in some hyperbolic space. This interpretation gives another proof of the existence of Im Hof's hyperbolic Coxeter orthoschemes.

The purpose of this note is to extend the notion of hyperbolic area to polygons lying anywhere in a projective plane equipped with a hyperbolic metric. Since such polygons can be triangulated by right triangles, we restrict our discussion to right triangles. In general, the surface area is a complex number; monotonicity of the area functional is therefore not to be expected. However, the defect formula holds in all cases.

A truncated tetrahedron is a building block of hyperbolic 3-manifolds with totally geodesic boundary. We study the relation between the volume of a truncated tetrahedron and the area of its faces which form the boundary of manifolds.

This paper is devoted to the investigation of the geometry of left invariant metrics on the isometry group of the hyperbolic plane determined by the kinetic energy of a rigid particle system.

We define a fourth basic invariant, which, besides the lengths of the three sides of a triangle, determines a triangle in the complex and quaternion projective spaces ℂP n and ℍP n (n≥2) uniquely up to isometry. We give inequalities describing the exact range of the four basic invariants. We express the angular invariants of a triangle with our basic invariants, giving a new completely elementary proof of the laws of trigonometry. As a corollary we derive a large number of congruence theorems. Finally we get, in exactly the same way, the corresponding results for triangles in the complex and quaternion hyperbolic spaces ℂH n and ℍH n (n≥2).

Using a counting argument in hyperbolic geometry due to Siegel and the Gauss-Bonnet theorem, we compute that ζ(2)=π2/6.