On Simon's third gap conjecture for minimal surfaces in spheres

This paper resolves the third gap problem for closed minimal surfaces in the unit sphere across the entire interval $[\frac{5}{3}, \frac{9}{5}]$ by establishing refined integral identities and new curvature bounds, thereby proving rigidity at the endpoints and providing improved quantitative estimates for the squared norm of the second fundamental form.

The Gist

Imagine you are a detective trying to solve a mystery about the shapes of soap bubbles floating in a higher-dimensional universe. Specifically, you are looking at "minimal surfaces"—think of them as the most efficient, tension-free soap films you can make inside a giant, perfect sphere.

For decades, mathematicians have been trying to answer a specific question about these bubbles: How "bumpy" can they be?

In math, "bumpiness" is measured by a number called $S$ (the squared norm of the second fundamental form). The more the surface curves and twists, the higher this number gets.

The Mystery: The "Simon Conjecture"

Back in 1980, a mathematician named U. Simon proposed a theory (a conjecture) about these bubbles. He guessed that the "bumpiness" ($S$) cannot take just any value. Instead, it seems to be quantized, like the rungs on a ladder.

• You can have a perfectly smooth sphere ($S=0$).
• You can have a specific type of bumpy sphere ($S=4/3$).
• You can have another specific type ($S=5/3$).
• And so on.

The Gap Problem asks: Is it possible to have a bubble with a bumpiness of, say, $1.6$? Or$1.7$? Simon guessed that no, you can't. If your bubble is anywhere between two specific "rungs" on the ladder, it must actually be exactly on one of the rungs. There are no "in-between" values allowed.

The Previous Clue (The "Third Gap")

Mathematicians had already solved this for the first two rungs. But the "Third Gap" (the space between $S = 5/3$ and $S = 9/5$) was a stubborn mystery.

In a previous paper, the authors (Ding, Ge, and Li) made a good attempt. They built a mathematical "net" to catch any bubbles that fell into this gap. They proved that if a bubble was in this gap, it had to be very close to the rungs. However, their net had a hole at the very edges. If a bubble was exactly at the edge ($S=5/3$ or $S=9/5$), their math couldn't prove it had to be exactly there; it just got fuzzy. It was like trying to prove a ball is in a box, but your ruler was slightly too short to measure the very corners.

The New Breakthrough: Sharper Tools

In this new paper, the authors fixed the holes in their net. They did this with two clever tricks:

1. The "Hidden Energy" Trick:
   In their old math, they ignored some tiny, positive "energy" terms that appeared in their equations. They thought these were too small to matter. In this paper, they realized these terms were actually like hidden springs. Even when the bubble looked flat, these springs were pushing back. By counting these springs, they got a much tighter grip on the math.

2. The "Balancing Act" Trick:
   They introduced two new "knobs" (variables they call $w$ and $t$) into their equations. Imagine you are balancing a scale. Before, they were just guessing where to put the weights. Now, they can turn these knobs to perfectly balance the "gradient" (how fast the shape changes) against the "Laplacian" (how the shape curves on average). This allowed them to squeeze the math much tighter than before.

The Results: Closing the Gap

With these new tools, they achieved three major things:

• The Left Edge is Closed: They proved that if a bubble's bumpiness is between $1.66...$($5/3$) and roughly$1.7075$, it **must** be exactly$1.66...$. It cannot be$1.67$or$1.68$. It snaps to the rung.
• The Right Edge is Closed: They proved that if the bumpiness is between roughly $1.7853$and$1.8$($9/5$), it **must** be exactly$1.8$.
• The Middle is Tighter: For the values in the middle, they didn't just say "it's close to a rung." They gave a much stronger rule: "If it's not on a rung, the difference between its highest and lowest bumpiness must be at least this much." This means the "gap" is wider and more obvious than anyone thought before.

The Big Picture

Why does this matter?

Think of the universe as a giant library of shapes. The Simon Conjecture suggests that the universe only allows certain "perfect" shapes to exist as minimal surfaces. There are no "almost perfect" shapes allowed in the middle of the gaps.

This paper is a huge step toward proving that the library is strictly organized. The authors have successfully closed the doors on the "Third Gap," showing that nature (or at least the geometry of spheres) is very picky. It doesn't allow for messy, in-between shapes in this specific range. If a shape exists there, it is one of the famous, perfect "Calabi 2-spheres."

In short: The authors took a fuzzy, incomplete map of a mathematical landscape and sharpened it into a precise blueprint, proving that in this specific region, there are no "in-between" shapes allowed—only the perfect, rigid ones.

Technical Summary

Here is a detailed technical summary of the paper "On Simon's Third Gap Conjecture for Minimal Surfaces in Spheres" by Weiran Ding, Jianquan Ge, and Fagui Li.

1. Problem Statement

The paper addresses the Simon Conjecture regarding the rigidity and gap phenomena of closed minimal surfaces minimally immersed in the unit sphere $S^N$. Specifically, it focuses on the third gap problem (the case $s=3$).

• Context: The conjecture posits that for a closed minimal surface $M \subset S^N$, the squared norm of the second fundamental form, $S = |h|^2$, cannot take values in certain intervals unless it is constant. The values $S(s)$ are discrete constants defined by $S(s) = \frac{2(s-1)(s+2)}{s(s+1)}$.
• The Gap: For $s=3$, the relevant interval is $[\frac{5}{3}, \frac{9}{5}]$.
  • $S(3) = \frac{5}{3}$ corresponds to Calabi's 2-sphere with curvature $K=1/6$.
  • $S(4) = \frac{9}{5}$ corresponds to Calabi's 2-sphere with curvature $K=1/10$.
• Previous Limitations: In their prior work (Ding-Ge-Li [9]), the authors proved a "pinching rigidity" result for the open interval $(\frac{5}{3}, \frac{9}{5})$. However, the estimates degenerated at the endpoints $S = \frac{5}{3}$ and $S = \frac{9}{5}$, failing to prove that $S$ must be constant exactly at these values. Furthermore, the gap estimates inside the interval were not optimal.

2. Methodology

The authors develop a refined analytical approach based on third-order Simons-type integral identities. Their methodology introduces two critical improvements over previous techniques:

A. Refined Analysis of Third-Order Terms

In earlier works, non-negative terms arising from the decomposition of the third covariant derivative of the second fundamental form (denoted as $C_2$ and $C_3$) were often discarded or treated loosely in integral estimates.

• New Insight: The authors prove a strict lower bound for these terms under suitable curvature pinching conditions.
• Key Lemma (Lemma 3.2): They establish that $C_2 + C_3 \geq \frac{9}{8}S|\nabla S|^2$.
• Impact: This observation prevents the degeneration of the gap at the endpoints by providing a strictly positive contribution from the higher-order derivatives.

B. Optimized Integral Inequalities via Auxiliary Parameters

The authors introduce two auxiliary parameters, $w$ and $t$, to optimize the balance between the gradient term ($|\nabla S|^2$) and the Laplacian term ($(\Delta S)^2$) in the integral inequalities.

• Technique: By utilizing the Cauchy-Schwarz inequality and Young's inequality with these parameters, they derive a new Simons-type integral inequality (Theorem 3.3) that is strictly stronger than previous versions.
• Resulting Inequality: They establish a lower bound for the integral of $S(3S-4)(3S-5)(5S-9)$ that incorporates a function $P$ dependent on $S, w,$ and $t$, allowing for tighter control over the variation of $S$.

3. Key Contributions and Results

The paper yields three main theorems (collectively referred to as Theorem B) that resolve the third gap problem for the entire closed interval $[\frac{5}{3}, \frac{9}{5}]$.

Theorem 3.5: Rigidity at the Lower Endpoint

• Condition: If $\frac{5}{3} \leq S \leq 1.7075$ (where $1.7075 < \frac{9}{5}$).
• Result: $S$ must be identically equal to $\frac{5}{3}$.
• Geometric Consequence: The submanifold is a Calabi 2-sphere with constant Gaussian curvature $K \equiv \frac{1}{6}$.
• Significance: This proves the gap phenomenon holds exactly at the lower bound $S = \frac{5}{3}$, a case previously unresolved.

Theorem 3.6: Improved Quantitative Gap in the Interior

• Condition: If $\frac{5}{3} \leq S \leq \frac{9}{5}$ and $S \not\equiv \frac{5}{3}$.
• Result: A new, sharper lower bound for the gap size $S_{\max} - S_{\min}$ is derived:
  $$S_{\max} - S_{\min} \geq \frac{12S_{\min}(9 - 5S_{\min})(3S_{\min} - 4)}{60S_{\min}(3S_{\min} - 4) + 5(\frac{19}{4}S_{\min} - \frac{9}{20})^2}$$
• Significance: This gap is significantly larger than the one derived in their previous work (Theorem A), providing a much stronger rigidity estimate for surfaces strictly inside the interval.

Theorem 3.8: Rigidity at the Upper Endpoint

• Condition: If $1.7853 \leq S \leq \frac{9}{5}$.
• Result: $S$ must be identically equal to $\frac{9}{5}$.
• Geometric Consequence: The submanifold is a Calabi 2-sphere with constant Gaussian curvature $K \equiv \frac{1}{10}$.
• Significance: This resolves the rigidity at the upper bound $S = \frac{9}{5}$, completing the picture for the third gap.

4. Significance

• Resolution of the Third Gap: The paper provides a complete description of the third gap phenomenon for minimal surfaces in spheres, proving that no minimal surface can have $S$ values strictly between the discrete values $S(3)$ and $S(4)$ without satisfying specific rigidity conditions.
• Endpoint Rigidity: It successfully overcomes the intrinsic limitations of previous inequalities to prove rigidity exactly at the endpoints $S = \frac{5}{3}$ and $S = \frac{9}{5}$, which was a major open problem.
• Methodological Advancement: The technique of retaining and bounding the third-order terms ($C_2, C_3$) rather than discarding them offers a powerful new tool for studying higher-order gap problems in differential geometry.
• Progress on Simon's Conjecture: By solving the $s=3$ case in full generality (without assumptions on the normal bundle), the authors make significant progress toward the full resolution of the Simon conjecture for all $s$.

In summary, this work represents a substantial leap forward in the rigidity theory of minimal submanifolds, utilizing refined integral identities to close the gap between theoretical bounds and actual geometric realization for the third gap case.