Rigidity of Solitons to the Mean Curvature Flow in $\mathbb{H}^3$ as Translation Surfaces

Basic Information

• Paper ID: 2511.21545
• Title: Rigidity of Solitons to the Mean Curvature Flow in $\mathbb{H}^3$ as Translation Surfaces
• Authors: T.A. Ferreira and J.P. dos Santos (University of Brasília, Brazil)
• Classification: math.DG (Differential Geometry)
• Submission Date: November 26, 2025
• Paper Link: https://arxiv.org/abs/2511.21545

Abstract

This paper studies the rigidity problem of translation surfaces in the upper half-space model of the three-dimensional hyperbolic space $\mathbb{H}^3$. By viewing $\mathbb{H}^3$ as a Lie group, translation surfaces are defined as products of two curves $\alpha$ and $\beta$ in this Lie group. For specific curve products, the paper establishes rigidity results for such surfaces in the context of minimal surfaces and mean curvature flow (MCF) solitons (self-similar solutions).

Research Background and Motivation

1. Research Questions

This research addresses the classification problem of translation surfaces in hyperbolic space $\mathbb{H}^3$, particularly:

• Minimal surfaces: Static solutions with zero mean curvature
• Translating solitons: Self-similar solutions generated by translation isometries along geodesics
• Conformal solitons: Solitons generated by conformal vector fields

2. Problem Significance

• Geometric flow theory: Mean curvature flow is one of the most important geometric flows on Riemannian manifolds; solitons play a comparison role in studying singularity formation
• Classification theory: Complete characterization of surfaces under specific geometric structures is a core problem in differential geometry
• Lie group structure: The Lie group structure of $\mathbb{H}^3$ provides algebraic tools for studying translation surfaces

3. Limitations of Existing Research

• Translation surfaces in Euclidean space $\mathbb{R}^3$ have been extensively studied (e.g., Darboux surfaces)
• Related work exists in Thurston geometries (e.g., Heisenberg group, Sol geometry)
• However, in hyperbolic space $\mathbb{H}^3$, existing research (e.g., López 14) only considers special curve categories with limited definitions

4. Research Motivation

This paper is inspired by research on constant mean curvature translation surfaces and aims to:

• Establish a more general theory of translation surfaces under the Lie group structure of $\mathbb{H}^3$
• Completely classify cases where generating curves lie on horospheres and totally geodesic planes
• Connect results with known solitons in the literature (e.g., grim reaper cylinders)

Core Contributions

The main contributions of this paper include:

1. Established a Lie group framework for translation surfaces in $\mathbb{H}^3$: Through the isomorphism between the upper half-space model and the similarity group of $\mathbb{R}^2$, general translation surfaces $X(s,t) = \alpha(s) * \beta(t)$ are defined
2. Complete classification of three classes of surfaces:
   • Minimal translation surfaces
   • Translating solitons
   • Conformal solitons
3. Proved rigidity theorems (Theorem 1.1): When $\alpha$ lies on horosphere $H_a$ and $\beta$ lies on a totally geodesic plane:
   • Minimal surfaces are either totally geodesic planes or minimal translation cylinders
   • Translating solitons are either horospheres, totally geodesic planes, or open subsets of grim reaper surfaces
   • Conformal solitons are either totally geodesic planes or conformal grim reaper cylinders
4. Established ODE characterizations: Provided ODE characterizations for each class of surfaces and analyzed solution properties
5. Corrected literature defects: Identified omitted cases in López's 14 classification

Detailed Methodology

Problem Definition

Translation Surface Definition: In the upper half-space model $\mathbb{R}^3_+ = \{(x,y,z) | z > 0\}$ of $\mathbb{H}^3$ equipped with the hyperbolic metric $\langle \cdot, \cdot \rangle_H = \frac{1}{z^2}\langle \cdot, \cdot \rangle$

Define the Lie group product: $(x_1, y_1, z_1) * (x_2, y_2, z_2) = (z_1x_2 + x_1, z_1y_2 + y_1, z_1z_2)$

Given two curves $\alpha: I \to \mathbb{H}^3$ and $\beta: J \to \mathbb{H}^3$, the translation surface is defined as: $X(s,t) = \alpha(s) * \beta(t)$

Research Setting:

• $\alpha$ lies on horosphere $H_1 = \{(x,y,1)\}$
• $\beta$ lies on totally geodesic plane $P_{e_1,e_3} = \{(v_1, 0, v_3)\}$

Technical Framework

1. Conformal Metric Relations

The key is establishing the relationship between mean curvatures under Euclidean and hyperbolic metrics. Setting $\phi = -\ln z$: $\langle \cdot, \cdot \rangle_H = e^{-2\phi}\langle \cdot, \cdot \rangle$

Unit Normal Vector Relation: $\tilde{N}(p) = X_3 N(p)$

Mean Curvature Relation (Equation 2): $\tilde{H} = X_3(H + N_3/X_3)$

Therefore, minimal surfaces in $\mathbb{H}^3$ satisfy (Equation 3): $X_3 H + N_3 = 0$

2. Soliton Characterization

Translating Solitons: Killing vector field $\xi(p) = p$, satisfying (Equation 6): $X_3^2 H = X_1 N_1 + X_2 N_2$

Conformal Solitons: Conformal vector field $\xi(p) = -e_3$, satisfying (Equation 8): $X_3^2 H = -(X_3 + 1)N_3$

3. Surface Classification

Through rotational symmetry, the problem is reduced to four cases:

First Kind:

• $\alpha(s) = (s, f(s), 1)$
• $\beta(t) = (0, t, g(t))$
• Surface: $X(s,t) = (s, t+f(s), g(t))$

Second Kind:

• $\alpha(s) = (s, f(s), 1)$
• $\beta(t) = (0, b, t)$
• Surface: $X(s,t) = (s, f(s)+b, t)$

Other two cases degenerate to totally geodesic planes.

Technical Innovations

1. Systematic application of Lie group methods: Viewing $\mathbb{H}^3$ as the semidirect product group $\mathbb{R}^2 \rtimes_I \mathbb{R}$ and utilizing group structure to simplify calculations
2. Conformal geometry techniques: Cleverly exploiting conformal metric relations to transform hyperbolic space problems into Euclidean calculations
3. ODE analysis methods:
   • Variable substitution $v(g) = (g')^2$ converts second-order ODE to first-order
   • Symmetry and convexity analysis to study global solution behavior
   • Citing existence theorems from literature (Lemmas 2.1-2.3)
4. Cross-differentiation technique for differential equations:
   • Repeatedly differentiating control equations with respect to $s$ and $t$
   • Obtaining polynomial constraints through variable separation
   • Eliminating contradictory cases to derive rigidity conclusions

Experimental Setup

Mathematical Proof Structure

This is a pure theoretical mathematics paper with no numerical experiments. Results are established through rigorous mathematical proofs.

Main Theorems

Theorem 2.1 (Minimal Surfaces): A translation surface is minimal if and only if:

• It is contained in a totally geodesic plane, or
• It is a minimal translation cylinder, locally parametrized as $X(s,t) = (s, p(s)+t, q(t))$, where $p(s) = cs+d$ and $q(t)$ satisfies ODE (Equation 9): $q'^2(t) = \frac{m}{q^4(t)} - \frac{1}{c^2+1}, \quad m > 0$

Theorem 2.2 (Translating Solitons): A translation surface is a translating soliton if and only if:

• It is contained in a horosphere or totally geodesic plane, or
• It is a connected open subset of a grim reaper surface

Theorem 2.3 (Conformal Solitons): A translation surface is a conformal soliton if and only if:

• It is contained in a totally geodesic plane, or
• It is a grim reaper cylinder, where $q(t)$ satisfies ODE: $q'^2(t) = \frac{ke^{4/q(t)}}{q^4(t)} - \frac{1}{1+c^2}, \quad k > 0$

Auxiliary Lemmas

The paper cites three key lemmas:

1. Lemma 2.1 (from 20): Characterizes global properties of minimal surface ODE solutions
2. Lemma 2.2 (from 7): Characterizes translating soliton ODE solution properties
3. Lemma 2.3 (proved by authors): Characterizes conformal soliton ODE solution symmetry and convexity

Proof Strategy

Proof of Theorem 2.1 (First Kind Surfaces)

Step 1: Compute geometric quantities

• Tangent vectors: $X_s = (1, f', 0)$, $X_t = (0, 1, g')$
• Normal vector (Equation 11): $N = \frac{(f'g', -g', 1-af')}{\sqrt{g'^2(f'^2+1)+1}}$
• Mean curvature (Equation 12): $H = \frac{-f''g'(1+g'^2) + g''(1+f'^2)}{2[g'^2(f'^2+1)+1]^{3/2}}$

Step 2: Apply minimality condition Substituting into Equation (3) yields (Equation 21): $-f''gg'(1+g'^2) + g''g(1+f'^2) = -2[g'^2(f'^2+1)+1]$

Step 3: Assume $f(s) = cs+d$ The equation simplifies to (Equation 22): $g''g(1+c^2) = -2[g'^2(1+c^2)+1]$

This is precisely the ODE form of Lemma 2.1.

Step 4: Eliminate other cases

• If $g'' \equiv 0$: Leads to contradiction
• If $f'' \not\equiv 0$ and $g'' \not\equiv 0$: Through repeated differentiation and variable separation, derive that $f'$ must be constant, contradiction

Step 5: Second kind surfaces Direct calculation shows $f'' \equiv 0$ must hold, i.e., the surface is contained in a totally geodesic plane.

Proof of Theorem 2.2 (Translating Solitons)

Core Equation (Equation 26): $-f''g^2g'(1+g'^2) + g^2g''(1+f'^2) = 2g'[g'^2(f'^2+1)+1][(sf'-f)-t]$

Key Observations:

1. If $g \equiv c$: Surface lies in horosphere
2. If $sf'-f = -a$: Then $f(s) = bs+a$, equation reduces to Lemma 2.2 form
3. Other cases lead to contradictions through complex differential identities

Technical Difficulties:

• Must consider multiple cases whether $F_1 = -[\frac{f''}{f'^2+1}]'$ and $G_2 = (g'^2)''$ vanish
• Each case requires careful algebraic manipulation and differentiation

Proof of Theorem 2.3 (Conformal Solitons)

Core Equation (Equation 34): $-f''g^2g'(1+g'^2) + g^2g''(1+f'^2) = -2(g+1)[g'^2(f'^2+1)+1]$

Main Results:

1. If $f'' = 0$: $f(s) = as+b$, obtaining Equation (35), the ODE of Lemma 2.3
2. If $f'' \not\equiv 0$: Differentiation yields $f''' = 2Mf'f''$
   • If $M = 0$: $f$ is quadratic, deriving $g$ constant (contradiction)
   • If $M \neq 0$: $f'' = Mf'^2 + B$, ultimately deriving $g$ constant (contradiction)

Variable Substitution Technique: Setting $v(g) = (g')^2$, then $v'g' = 2g'g''$, obtaining first-order linear ODE: $v' = -4\frac{g+1}{g^2}v - 4\frac{g+1}{g^2(1+a^2)}$

Solution is (Equation 36): $g'^2(t) = \frac{Ce^{4/g(t)}}{g^4(t)} - \frac{1}{1+a^2}$

Main Results

1. Minimal Translation Surfaces

Classification Results:

• Trivial case: Totally geodesic hyperbolic planes
• Non-trivial case: Minimal translation cylinders characterized by ODE (9)

Geometric Properties (Lemma 2.1):

• Solution $g(t)$ is defined on interval $(-r, r)$
• Symmetric about $z$-axis, achieves maximum at $t=0$
• Concave function with boundary behavior: $\lim_{t \to \pm r} g(t) = 0$, $\lim_{t \to \pm r} g'(t) = \pm\infty$

Connection to Literature (Remark 2.2): These surfaces correspond to $\alpha$-catenary translation cylinders in 20, which are minimal in $\mathbb{H}^3$ when $\alpha = -2$

2. Translating Solitons

Classification Results:

• Horospheres ($g \equiv c$)
• Totally geodesic planes ($f$ linear with specific conditions)
• Grim reaper surfaces

Grim Reaper Properties (Remark 2.4, from 7):

• Single-parameter family of non-congruent complete translating solitons
• Horizontal parabolic cylinders

ODE Solution Properties (Lemma 2.2):

• If $\lambda = 0$: Constant solution (horosphere)
• If $\lambda > 0$:
  • Increasing and convex on $(-\infty, 0)$
  • Concave on $(0, \infty)$
  • Bounded above and below by positive constants

3. Conformal Solitons

Classification Results:

• Totally geodesic planes
• Conformal grim reaper cylinders

ODE Solution Properties (Lemma 2.3): Given initial conditions $g(0) = y_0 > 0$, $g'(0) = 0$:

• Defined on $(-r, r)$
• Symmetric about $z$-axis
• Concave function with maximum at $t=0$
• Boundary behavior: $\lim_{t \to \pm r} g(t) = 0$, $\lim_{t \to \pm r} g'(t) = \pm\infty$

Distinction from Minimal Surfaces (Remark 2.6): Despite similar appearance, conformal translating grim reaper cylinders are not minimal

Visualization

The paper provides three numerical solution figures:

• Figure 1: ODE solution and surface shape for minimal surfaces
• Figure 2: ODE solution and surface for translating solitons
• Figure 3: ODE solution and surface for conformal solitons

Related Work

1. Mean Curvature Flow Foundations

• Huisken & Sinestrari 10: Convexity estimates and singularities in MCF
• Hungerbühler & Smoczyk 11,12: General theory of soliton solutions

2. Translation Surfaces in Euclidean Space

• Darboux 6: Classical Darboux surfaces
• Hasanis & López 9: Classification of minimal translation surfaces in $\mathbb{R}^3$
• López & Perdomo 16: Minimal translation surfaces in Euclidean space

3. Translation Surfaces in Other Geometries

• Inoguchi, López & Munteanu 13: Minimal translation surfaces in Heisenberg group $\mathrm{Nil}_3$
• López & Munteanu 15: Minimal translation surfaces in Sol geometry
• Yoon 22: Minimal translation surfaces in $\mathbb{H}^2 \times \mathbb{R}$

4. Research in Hyperbolic Space

• López 14: Minimal translation surfaces in $\mathbb{H}^3$ (this paper notes incompleteness in classification)
• de Lima, Ramos & dos Santos 7: MCF solitons in $\mathbb{H}^3$ (including grim reaper)
• Mari et al. 17: Conformal solitons in hyperbolic space

5. Weighted Minimal Surfaces

• Rafael López 20: Invariant singular minimal surfaces, related to minimal translation cylinders in this paper

Positioning of This Paper

Improvements over López 14:

• More general translation surface definition (based on Lie group structure)
• Complete classification (supplementing omitted cases)
• Unified treatment of three surface classes (minimal, translating solitons, conformal solitons)

Distinction from Mari et al. 17:

• 17 studies general graph-form conformal solitons
• This paper focuses on translation surface structure, obtaining more concrete ODE characterizations

Conclusions and Discussion

Main Conclusions

1. Complete characterization of generating curve constraints:
   • Curves in horospheres must be lines ($f(s) = cs+d$)
   • Curves in totally geodesic planes are determined by specific ODEs
2. Rigidity phenomena:
   • Minimal translation surfaces are either trivial (totally geodesic) or specific cylinders
   • Solitons exhibit high rigidity with only few classes
3. Application of ODE theory:
   • Each surface class reduces to specific ODEs
   • Global solution properties (symmetry, convexity, asymptotic behavior) completely determine geometry

Limitations

1. Restrictions on generating curves:
   • Only considers one curve on horosphere, another on totally geodesic plane
   • More general curve positions not addressed
2. Graph assumption:
   • Curves locally parametrized as graphs $(s, f(s), 1)$ or $(0, t, g(t))$
   • Cannot handle more complex curves (e.g., closed curves)
3. Choice of conformal vector field:
   • Only considers $\xi = -e_3$
   • $\mathbb{H}^3$ has rich classes of conformal vector fields (Remark 2.1)
4. Dimension restriction:
   • Only three-dimensional case studied
   • Generalization to higher-dimensional hyperbolic spaces not explored

Future Directions

While not explicitly stated, foreseeable directions include:

1. Generalization to other Thurston geometries:
   • $\widetilde{\mathrm{SL}}_2(\mathbb{R})$
   • Other homogeneous spaces
2. More general curve configurations:
   • Both curves on horospheres
   • Both curves on totally geodesic planes
3. Other types of solitons:
   • Rotational solitons
   • Solitons generated by other conformal vector fields
4. Stability analysis:
   • Stability as MCF solutions
   • Behavior under perturbations
5. Higher-dimensional generalization:
   • Translation hypersurfaces in $\mathbb{H}^n$

In-Depth Evaluation

Strengths

1. Mathematical Rigor

• Complete proofs: Each theorem has detailed proofs with rigorous logic
• Comprehensive case discussion: All possible degenerate cases considered
• Sufficient lemma support: Timely citation of known results from literature

2. Method Innovation

• Novel Lie group perspective: Systematic utilization of semidirect product structure of $\mathbb{H}^3$
• Clever conformal techniques: Simplifying calculations through conformal metric relations
• Deep ODE analysis: Skillful variable substitution and symmetry analysis techniques

3. Result Completeness

• Unified framework: Three surface classes handled within single framework
• Thorough classification: All possible surface types provided
• Strong rigidity: Results demonstrate strong constraints from translation structure

4. Connection to Literature

• Corrects prior work: Explicitly identifies omissions in López 14
• Enriches existing theory: Incorporates known objects like grim reaper into translation surface framework
• Appropriate citations: Sufficient literature references with clear positioning

5. Writing Quality

• Clear structure: Preliminaries, main results, and proofs well-separated
• Consistent notation: Mathematical notation used uniformly
• Intuitive visualization: Provides visualization of ODE solutions and surfaces

Weaknesses

1. Method Limitations

• Highly dependent on special structure: Method difficult to generalize to non-translation surfaces
• Computation-intensive: Proofs involve extensive algebraic manipulations lacking geometric intuition
• ODE solution dependence on literature: Key lemmas (Lemmas 2.1-2.3) proofs not fully self-contained

2. Limited Result Applicability

• Restricted curve types: Only handles graph-form curves
• Singular configuration: Horosphere + totally geodesic plane combination relatively special
• Fixed dimension: Only three-dimensional case

3. Insufficient Geometric Insight

• Lack of geometric explanation: Why do these configurations lead to rigidity?
• Topological properties unexplored: Completeness, compactness of surfaces not discussed
• Moduli space structure: What structure do surfaces satisfying conditions form?

4. Numerical and Visualization Deficiencies

• Missing numerical details: Numerical methods for Figures 1-3 not specified
• Unanalyzed parameter effects: How do constants $c, m, k$ affect surface shape?
• Lacking comparisons: Geometric differences among three surface classes not intuitively compared

5. Unclear Application Prospects

• Physical meaning: Significance of these surfaces in physics?
• Practical value: Application scenarios for classification results?
• Computational methods: How to effectively construct these surfaces?

Impact Assessment

1. Contribution to Field

• Theory refinement: Fills gap in translation surface theory in $\mathbb{H}^3$
• Method demonstration: Provides template for similar research in other homogeneous spaces
• Classification benchmark: Provides baseline results for subsequent research

2. Practical Value

• Moderate: Primarily theoretical contribution with limited direct applications
• Potential applications: Possible use in materials science (surface evolution), computer graphics (surface modeling)

3. Reproducibility

• Theoretically verifiable: Detailed proofs allow step-by-step verification
• Numerically reproducible: ODE forms explicit, amenable to numerical solution
• Code absent: No code or detailed numerical methods provided

4. Subsequent Research Potential

• Large generalization space: Dimension, geometry type, curve configurations all generalizable
• Cross-disciplinary research: Connections to harmonic maps, minimal submanifold theory
• Computational geometry: Development of numerical algorithms and visualization tools

Applicable Scenarios

1. Theoretical Research

• Differential geometry: Submanifold theory, geometric flows
• Lie group geometry: Geometric objects in homogeneous spaces
• PDE theory: Special solutions of nonlinear parabolic equations

2. Teaching

• Graduate courses: Advanced topics in differential geometry and geometric analysis
• Case studies: Applications of Lie group methods in geometry

3. Potential Applications

• Materials science: Interface evolution modeling
• Computer graphics: Parametrization and modeling of special surfaces
• General relativity: Minimal surfaces in hyperbolic space and horizons

Technical Highlights

1. Conformal metric formula (Equation 2): $\tilde{H} = X_3(H + N_3/X_3)$ Elegantly connects mean curvatures under two metrics
2. Lie group product: $(x_1, y_1, z_1) * (x_2, y_2, z_2) = (z_1x_2 + x_1, z_1y_2 + y_1, z_1z_2)$ Concise algebraic structure, computation-friendly
3. ODE simplification technique: Converting second-order ODE to first-order via $v(g) = (g')^2$ is classical yet effective
4. Symmetry exploitation: Proving $g(t) = g(-t)$ greatly simplifies solution analysis

Selected References

Core Citations

1. 7 de Lima, Ramos & dos Santos (2024): Systematic study of MCF solitons in $\mathbb{H}^3$, direct foundation for this paper
2. 9 Hasanis & López (2020): Classification of minimal translation surfaces in $\mathbb{R}^3$, methodological reference
3. 14 López (2011): Early work on minimal translation surfaces in $\mathbb{H}^3$, paper identifies its shortcomings
4. 17 Mari et al. (2024): Recent research on conformal solitons in hyperbolic space
5. 20 Rafael López (2018): Invariant singular minimal surfaces, related to minimal cylinders in this paper

Classical Literature

6. 6 Darboux (1972): Classical source for translation surfaces
7. 10 Huisken & Sinestrari (1992): Foundational work on MCF singularity theory
8. 18 Meeks & Pérez (2012): Constant mean curvature surfaces in metric Lie groups

Summary

This is a high-quality theoretical differential geometry paper that systematically studies the classification problem of translation surfaces as minimal surfaces and MCF solitons in the Lie group framework of hyperbolic space $\mathbb{H}^3$. Main strengths lie in systematic methodology, complete proofs, and rigid results. Main limitations include narrow applicability (specific curve configurations) and insufficient geometric intuition. The paper establishes solid foundations for subsequent research in this field, particularly providing methodological templates for generalization to other homogeneous spaces. For scholars working on submanifold geometry, geometric flows, or Lie group geometry, this is a paper worthy of careful study.