Note on energy index and first eigenvalue of minimal surfaces in spheres

Basic Information

• Paper ID: 2510.11811
• Title: Note on energy index and first eigenvalue of minimal surfaces in spheres
• Author: Matilde Gianocca (ETH Zürich)
• Classification: math.DG (Differential Geometry)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11811v1

Abstract

This paper investigates the relationship between the energy index and first eigenvalue of minimal surfaces in spheres. Minimal immersions from $S^3$ into spheres can be viewed simultaneously as critical points of the area functional and the energy functional. While the first variation reveals no distinction between these perspectives, the second variation exhibits significant differences. It is known that when the first eigenvalue satisfies $\lambda_1(\Sigma) \geq 2$, the energy index $\text{ind}_E(\Sigma) \leq 4$. However, the converse statement is more subtle. This paper proves that when $\lambda_1(\Sigma) < \frac{1}{6}$, there exists a vector field orthogonal to the four Möbius vector fields with negative second variation. Simultaneously, a version for arbitrary codimension is provided: for a minimal immersion $\Sigma \subset S^n$, if $\lambda_1(\Sigma) < \frac{n-2}{2n}$, then there exists a vector field orthogonal to the $n+1$ Möbius fields with negative second variation.

Research Background and Motivation

Problem Background

1. Duality of minimal surfaces: Minimal surfaces in spheres can simultaneously be viewed as critical points of both the area and energy functionals. This duality manifests uniformly in the first variation but exhibits essential differences in the second variation.
2. Importance of index theory: The Morse index of minimal surfaces is a key tool for understanding their stability. For minimal surfaces in $S^3$, Urbano has completed the classification of low-index cases: minimal surfaces with index at most 5 are either totally geodesic 2-spheres (index 1) or Clifford tori (index 5).
3. Complexity in higher codimension: In higher codimension, the second variation operator cannot be simplified to an operator acting on functions, and many index properties undergo changes, making the problem more complex.

Research Motivation

The core motivation of this paper is to explore the precise relationship between the first eigenvalue and energy index of minimal surfaces. It is known that $\lambda_1(\Sigma) \geq 2 \Rightarrow \text{ind}_E(\Sigma) \leq 4$, but the conditions for the converse statement have remained an open problem. This relates to Yau's conjecture: for any embedded minimal surface $\Sigma$ in $S^3$, we have $\lambda_1(\Sigma) = 2$.

Core Contributions

1. Main theorem: Proves that for a minimal immersion $\Sigma \subset S^n$, if $\lambda_1(\Sigma) < \frac{n-2}{2n}$, then there exists a vector field $X$ orthogonal to all Möbius vector fields such that $D^2E(X) < 0$.
2. Technical innovation: Develops new techniques for handling Möbius vector fields, establishing a bridge between eigenvalues of functions and second variations of vector fields.
3. General results: Provides a unified treatment for arbitrary codimension, proving identities independent of codimension.
4. Theoretical insights: Reveals deep connections between energy index and first eigenvalue, providing new perspectives for understanding the stability of minimal surfaces.

Detailed Methodology

Task Definition

Study the relationship between energy index and first eigenvalue for minimal immersions $u: \Sigma \to S^n$, where:

• Input: Minimal surface $\Sigma \subset S^n$ and its first eigenvalue $\lambda_1(\Sigma)$
• Output: Determine lower bounds for the energy index
• Constraints: The surface is not contained in any totally geodesic $S^2$

Core Technical Framework

1. Möbius Vector Fields

Define Möbius vector fields: $\xi_i(x) = e_i - \langle e_i, x \rangle x \in \mathbb{R}^{n+1}, \quad \xi_i \perp x = 0$

These vector fields satisfy: $\nabla^{S^n}_v \xi_i = -\langle e_i, x \rangle v = -x_i v$

2. Energy Second Variation

For a vector field $X$, the second variation of energy is: $D^2E_u(X) = \int_\Sigma |\nabla X|^2 - 2|X^\perp|^2 - |X^T|^2 \, d\mu$

which can be rewritten as: $D^2E(X) = \sum_i \int_\Sigma |\nabla X^i|^2 - 2|X^i|^2$

3. Key Identity

Lemma 4: For minimal immersions not contained in any totally geodesic $S^2$: $D^2E(\xi_i) = -2\int_\Sigma |\xi_i^N|^2$

This shows that all Möbius vector fields yield negative second variations, thus $\text{ind}_E(u) \geq n+1$.

Main Technical Innovations

1. Regular Möbius Variations (Proposition 6)

For functions $f \in C^\infty(\Sigma)$, establishes the key identity: $\sum_{i=1}^{n+1} D^2E(f\xi_i) = n\int_\Sigma |\nabla f|^2 - (2n-4)\int_\Sigma |f|^2$

When $f$ satisfies $-\Delta f = \lambda f$: $\sum_{i=1}^{n+1} D^2E(f\xi_i) = (n\lambda - 2n + 4)\int_\Sigma f^2$

2. Projection Technique (Proposition 7)

For eigenfunctions $f$ (with $-\Delta f = \lambda f$, $\lambda \leq 1$), if: $D^2E(f\xi_i) < -\frac{3}{2}\int_\Sigma |f\xi_i^N|^2$

then the orthogonal projection $X_f^i$ of $f\xi_i$ onto the orthogonal complement of Möbius fields satisfies $D^2E(X_f^i) < 0$.

3. Averaging Technique

Using $\sum_{i=1}^{n+1} |\xi_i^\perp|^2 = n-2$, the averaging argument proves the existence of some $i_0$ such that: $D^2E(f\xi_{i_0}) < \frac{n\lambda - 2n + 4}{n-2}\int_\Sigma |f\xi_{i_0}^N|^2$

When $\lambda < \frac{n-2}{2n}$, the right-hand side is less than $-\frac{3}{2}\int_\Sigma |f\xi_{i_0}^N|^2$.

Main Results

Theorem 1 (Main Result)

Statement: Let $\Sigma \subset S^n$ be a minimal immersion. If $\lambda_1(\Sigma) < \frac{n-2}{2n}$, then there exists $X \perp \xi_1, \ldots, \xi_{n+1}$ such that $D^2E(X) < 0$.

Equivalent formulation: There exists a vector field $X$ satisfying $\int_\Sigma X = 0$ and $X(x) \cdot x \equiv 0$, such that: $\sum_{i=1}^{n+1} \int_\Sigma |\nabla X^i|^2 - 2|X^i|^2 < 0$

Special Cases

• $S^3$ case: When $n=3$, the condition becomes $\lambda_1(\Sigma) < \frac{1}{6}$
• Higher-dimensional generalization: For any $n$, the threshold is $\frac{n-2}{2n}$, which approaches $\frac{1}{2}$ as $n \to \infty$

Theorem 8 (Complete Proof)

The proof proceeds in two steps:

1. Use Proposition 6 to prove the existence of $f\xi_i$ satisfying the required inequality
2. Apply the projection technique of Proposition 7 to construct the orthogonal vector field

Key inequality verification: $\frac{n\lambda - 2n + 4}{n-2} < -\frac{3}{2} \iff \lambda < \frac{n-2}{2n}$

Related Work

Historical Development

1. Urbano's classification: Completed the classification of low-index minimal surfaces in $S^3$
2. Ejiri-Micallef theory: Established relationships between area index and energy index
3. Kusner-Wang: Studied minimal 2-tori in $S^4$
4. El Soufi's results: Proved lower bounds for energy index $\text{ind}_E(u) \geq n+1$

Uniqueness of This Paper's Contributions

• First quantitative results on the relationship between first eigenvalue and energy index
• Provides unified treatment for arbitrary codimension
• Develops new techniques for handling Möbius vector fields

Technical Details and Proof Strategy

Core Computational Techniques

1. Covariant derivative calculations: Precise computation of covariant derivatives of Möbius fields
2. Integration by parts: Clever application of integration by parts to handle mixed terms
3. Hölder inequality applications: Use of Hölder inequality in key estimates

Key Steps in the Proof

1. Establish the summation formula for regular Möbius variations
2. Prove conditions under which projection preserves negativity
3. Use averaging arguments to find specific directions satisfying the conditions
4. Verify the necessity of the threshold condition

Conclusions and Discussion

Main Conclusions

This paper establishes a quantitative relationship between the first eigenvalue and energy index of minimal surfaces, proving that when $\lambda_1(\Sigma) < \frac{n-2}{2n}$, the energy index is at least $n+2$.

Limitations

1. Optimality of threshold: The optimality of $\frac{n-2}{2n}$ has not been proven
2. Completeness of converse: The complete resolution of whether $\lambda_1(\Sigma) < 2$ implies $\text{ind}_E(\Sigma) \geq 5$ remains open
3. Constructiveness: The proof is existential and does not provide explicit constructions

Future Directions

1. Improve the precision of the threshold
2. Investigate cases on more general Riemannian manifolds
3. Explore further connections with Yau's conjecture

In-Depth Evaluation

Strengths

1. Technical innovation: Develops new methods for handling Möbius vector fields
2. Generality: Provides unified results for arbitrary codimension
3. Deep insights: Reveals profound connections between eigenvalues and indices
4. Rigor: Proof techniques are rigorous with detailed calculations

Weaknesses

1. Potentially non-optimal threshold: $\frac{n-2}{2n}$ may be improvable
2. Limited practical applications: Results are primarily theoretical
3. Computational complexity: Proofs involve extensive technical calculations

Impact

1. Theoretical contribution: Provides new tools for minimal surface theory
2. Methodological value: Möbius field handling techniques have general significance
3. Foundation for future work: Establishes basis for related research problems

Applicable Scenarios

• Stability analysis of minimal surfaces
• Eigenvalue problem research
• Development of variational geometry theory

References

The paper cites 12 important references, including:

1. Brendle's survey on minimal surfaces in $S^3$
2. Ejiri-Micallef's foundational work on comparing area and energy indices
3. Urbano's classification results for low-index minimal surfaces
4. El Soufi's research on conformal properties of harmonic maps

Overall Assessment: This is a high-quality theoretical paper in differential geometry that achieves significant progress in minimal surface theory. Although primarily theoretical in nature, its technical innovations and profound insights provide a solid foundation for further development in this field.