[Paper Review] Minimal surfaces in finite volume hyperbolic 3-manifolds N and in MxS(1), M a finite area hyperbolic surface

Pascal Collin, Laurent Hauswirth+1 more|arXiv (Cornell University)|Apr 5, 2013

Geometric Analysis and Curvature Flows3 references6 citations

TL;DR

This paper establishes that properly immersed finite topology minimal surfaces in finite volume hyperbolic 3-manifolds and in $M \times \mathbb{S}^1$ (where $M$ is a finite area hyperbolic surface) have finite total curvature equal to $2\pi\chi(\Sigma)$, and each end is asymptotic to a standard model end—either a cusp, vertical plane, or helicoidal end—providing a complete classification of end types and curvature behavior.

ABSTRACT

We consider properly immersed finite topology minimal surfaces S in complete finite volume hyperbolic 3-manifolds N, and in M x S(1), where M is a complete hyperbolic surface of finite area. We prove S has finite total curvature equal to 2πtimes the Euler characteristic of S, and we describe the geometry of the ends of S.

Motivation & Objective

• To classify the geometry of ends of properly immersed minimal surfaces with finite topology in finite volume hyperbolic 3-manifolds $N$ and in $M \times \mathbb{S}^1$, where $M$ is a finite area hyperbolic surface.
• To prove that such minimal surfaces have finite total curvature, specifically $\int_{\Sigma} K\,dA = 2\pi\chi(\Sigma)$, extending classical curvature formulas to non-compact, finite-topology settings.
• To characterize the asymptotic behavior of each annular end as being modeled on one of three standard types: horizontal cusp, vertical plane, or helicoidal end.
• To establish topological obstructions for the existence of such minimal immersions via curvature and Gauss-Bonnet analysis.
• To unify the geometric analysis of minimal surfaces in two distinct but related ambient spaces: $N$ (hyperbolic 3-space with cusp ends) and $M \times \mathbb{S}^1$ (product of finite-area hyperbolic surface with circle).

Proposed method

• Lift each annular end $A$ of the minimal surface $\Sigma$ to a connected component $E$ in the universal cover $\mathbb{H}^3$ or $\mathbb{H}^2 \times \mathbb{R}$, treating $E$ as a properly embedded surface in the half-space model.
• Apply the maximum principle using shrinking horospheres and hyperbolic planes bounded by shrinking circles in the $y=0$ plane to show that $E$ is trapped between two horizontal planes $t = \pm c$, implying bounded $t$-coordinate.
• Use the convex hull argument and the behavior of geodesic curvature under shrinking horizontal slices to show that the $t$-coordinate of $E$ is bounded, and that the Killing field $\partial/\partial t$ is transverse to $E$ for large $y$.
• Apply the Dragging Lemma and comparison with vertical catenoids to rule out vertical tangent planes in the large $y$ region, ensuring the end is graphical and curvature decays.
• Use Gauss-Bonnet on compact sub-surfaces bounded by closed curves $C_y$ in the ends, and take the limit as $y \to \infty$ to derive the total curvature formula.
• Classify the asymptotic end types by analyzing the slope and symmetry of the lifted end $E$, showing it must be asymptotic to one of the standard models: $A_{(p,q)}$ for $p,q$ coprime integers, including $A_{(1,0)}$ (cusp), $A_{(0,1)}$ (vertical plane), and $A_{(p,q)}$ with $p,q \neq 0$ (helicoidal).

Experimental results

Research questions

• RQ1 What is the total curvature of a properly immersed finite topology minimal surface in a finite volume hyperbolic 3-manifold or in $M \times \mathbb{S}^1$?
• RQ2 What are the possible asymptotic geometric types of the annular ends of such minimal surfaces?
• RQ3 How does the behavior of the $t$-coordinate and the transversality of the Killing field $\partial/\partial t$ constrain the geometry of the ends?
• RQ4 Can the finite total curvature formula $\int_{\Sigma} K\,dA = 2\pi\chi(\Sigma)$ be derived via Gauss-Bonnet and limiting arguments on compact sub-surfaces?
• RQ5 What topological obstructions exist for the existence of such minimal immersions based on the curvature and end structure?

Key findings

• The total curvature of any properly immersed finite topology minimal surface $\Sigma$ in $N$ or $M \times \mathbb{S}^1$ is exactly $2\pi\chi(\Sigma)$, proving a finite total curvature formula analogous to the classical result for finite-type minimal surfaces in $\mathbb{R}^3$.
• Each annular end of $\Sigma$ is asymptotic to one of three standard models: $A_{(1,0)}$ (a horizontal cusp end), $A_{(0,1)}$ (a vertical plane), or $A_{(p,q)}$ with $p,q \neq 0$ (a helicoidal end with axis at infinity).
• The lifted end $E$ in the universal cover is a half-plane or a properly embedded surface with bounded $t$-coordinate, and for large $y$, the Killing field $\partial/\partial t$ is transverse to $E$, implying the end is graphical over a plane.
• The geodesic curvature of the intersection curves $C_y = E \cap \{y = \text{const}\}$ is bounded, and their length tends to zero as $y \to \infty$, ensuring curvature decay and enabling the Gauss-Bonnet limit argument.
• The proof relies on a contradiction argument using shrinking horospheres and hyperbolic planes bounded by circles converging to a line, showing that if $E$ were an annulus, it would contradict the maximum principle and lead to a contradiction with the existence of a vertical catenoid.
• The classification of ends and the finite curvature result hold uniformly in both $N$ and $M \times \mathbb{S}^1$, with the same model ends and curvature formula, despite differing ambient curvatures (curvature $-1$ in $N$, product metric in $M \times \mathbb{S}^1$).