Search arXiv⌕ Search

arXiv · 2609.32300

Equivariant isometric immersions of surfaces in hyperbolic space

Abstract

Let $S$ be a closed, oriented surface of genus at least $2$, let $h$ be a smooth Riemannian metric on $S$ with curvature $K\in (-1,0]$, and let $c\in \cT_S$ be a conformal structure on $S$. There exists a unique equivariant isometric immersion of $(S,h)$ in $\HH^3$ such that the pull-back by the hyperbolic Gauss map of the conformal structure at infinity is $c$. Dually, if $h^*$ is a smooth metric on $S$ with curvature $K^*\in (-\infty, 0)$ and if $c\in \cT_S$, there exists a unique equivariant immersion of $S$ into $\HH^3$ with third fundamental form $h^*$ and such that the pull-back of the conformal class at infinity by the Gauss map is $c$. Equivalently, given $h$ and $c\in \cT_S$, there is a unique pair $(E,u)$ where $E$ is a hyperbolic end with conformal structure at infinity $c$ and $u$ is an isometric embedding of $(S,h)$ in $E$. Given $h^*$ and $c$, there exists a unique pair $(E,u^*)$, where $E$ is a hyperbolic end with conformal structure at infinity $c$, and $u^*:S\to E$ is an embedding inducing the third fundamental form $h^*$. Those statements can be considered as a smooth counterpart of known or conjectural statements on the grafting map and on circle patterns.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jean-Marc Schlenker. 2026-09-26. Equivariant isometric immersions of surfaces in hyperbolic space. https://arxiv.org/abs/2609.32300

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

KEEP EXPLORING

Related papers

Spiral Harmonic Products

Motivated by the systematic study of spiral minimal products, we consider harmonic maps obtained by coupling two spherical eigenmaps through a profile curve in $\mathbb S^3$, with a doubly warped product metric on the source. The source warps are independent of the profile magnitudes. This gives two complementary problems: reconstructing a compatible source metric from prescribed profile or source data, and finding closed profiles when the source metric is fixed. For arbitrary prescribed warps, homogenization of the reduced Lagrangian gives a strongly convex conic Finsler metric whose oriented graph geodesics are exactly the harmonic profiles. In the unit-speed inverse problem, the phase momenta reduce reconstruction to a scalar magnitude equation. We obtain global reconstructions from a prescribed magnitude, one source warp, or a monotone volume factor, together with periodic families in which profiles closing on finite covers are dense. In the fixed-metric problem, a change of time gives an autonomous Neumann system. One fixed source metric then carries continuous families of closed profiles and infinitely many closed graph geodesics. For fixed even $p,q\geq 2$, every fixed metric in this Neumann class on $\mathbb S^1\times\mathbb S^p\times\mathbb S^q$ supports harmonic maps into $\mathbb S^{p+q+1}$ of degree $4m$ for every $m\geq 1$. In the matched constant-warp case, these maps reduce to explicit eigenmaps.

math.DG↗

Gravitational instantons and hyperbolic space

We construct a degeneration of Hitchin's non-standard minitwistor spaces associated with toric gravitational instantons of type A$_{\rm odd}$ to the minitwistor space of a simple hyperbolic orbifold. We show that the corresponding families of minitwistor lines also converge under this degeneration. Consequently, the associated non-standard Einstein--Weyl spaces converge to the hyperbolic orbifold.

math.DG↗

A decomposition theorem for elliptic structures of minimal rank on compact Lie groups and applications

We show that every left-invariant elliptic structure of minimal rank on an odd-dimensional compact Lie group admits an algebraic decomposition analogous to those obtained by Pittie in the complex case and by Charbonnel and Khalgui for left-invariant CR structures of hypersurface type. We then use this decomposition to prove that the cohomology associated with such an elliptic structure can be reduced to a computation on a suitable maximal torus.

math.DG↗