Minimal hypersurfaces in spheres generated by isoparametric foliations

This paper proves the existence of closed embedded minimal hypersurfaces with topology $S^1 \times M$ in $\mathbb{S}^{n+1}$ by constructing them via a generalized rotational ansatz from any isoparametric hypersurface $M \subset \mathbb{S}^n$, thereby extending known minimal hypertori examples to a broader class of topologies.

The Gist

Imagine you are an architect trying to build a perfect, smooth, and self-balancing sculpture inside a giant, transparent glass ball (a sphere). In the world of mathematics, these sculptures are called minimal hypersurfaces. Think of them as the "most efficient" shapes possible: if you were to blow a soap bubble inside this glass ball, the bubble would naturally settle into one of these shapes because it uses the least amount of surface area to enclose a volume.

For a long time, mathematicians knew how to build these shapes for simple, boring cases (like a flat circle or a standard donut). But they struggled to build them for more complex, twisted shapes.

This paper by Junqi Lai and Guoxin Wei is like discovering a new, universal 3D printer recipe that can create these perfect, efficient sculptures out of almost any complex geometric pattern you can imagine.

Here is the breakdown of their discovery, using some everyday analogies:

1. The Ingredients: The "Pattern" and the "Ball"

• The Pattern (Isoparametric Hypersurface): Imagine you have a very specific, symmetrical pattern drawn on a flat sheet of paper (or a smaller sphere). This pattern has a special property: its curves are perfectly balanced, like the rings on a perfectly sliced onion or the ripples in a pond. Mathematicians call these "isoparametric."
• The Goal: They want to take this flat pattern and "lift" it up into a higher dimension (into the big glass ball) to create a 3D object that is perfectly balanced (minimal).

2. The Method: The "Russian Doll" or "Onion" Strategy

The authors didn't try to build the shape from scratch. Instead, they used a clever trick they call a generalized rotational ansatz.

Think of it like this:

• Imagine you have a stack of identical, concentric rings (like a stack of hula hoops or the layers of an onion).
• Usually, to make a sphere, you just stack rings of the same size. To make a donut, you stack rings that get slightly bigger and then smaller.
• The Innovation: Lai and Wei realized they could take their complex "Pattern" (the isoparametric hypersurface) and create a stack of homothetic copies.
  • Translation: Imagine taking that complex pattern, shrinking it down to a tiny dot, and then slowly expanding it back out, layer by layer, like a blooming flower or a Russian nesting doll.
• They connect all these layers together to form a continuous tube-like shape.

3. The Challenge: Finding the "Sweet Spot"

Just stacking these layers isn't enough. If you expand the layers too fast, the shape bulges out and becomes inefficient. If you expand them too slow, it pinches in. The shape needs to be "minimal" (perfectly balanced).

To find this balance, the authors turned the problem into a mathematical race.

• They imagined a particle moving along a path.
• The path had to follow a very specific set of rules (an Ordinary Differential Equation, or ODE) to ensure the final shape was perfect.
• The goal was to find a path that starts at a specific point, loops around, and comes back to the start without crashing into the walls of the "glass ball."

4. The Breakthrough: The "Shooting Method"

The authors used a technique called the shooting method. Imagine you are an archer trying to hit a target that is hidden behind a hill.

• You shoot an arrow (a solution) at a slight angle.
• If you aim too low, the arrow hits the ground too soon (the shape closes up too early).
• If you aim too high, the arrow flies over the hill (the shape never closes).
• The authors proved that there is a perfect angle (a specific starting condition) where the arrow hits the target exactly.

They showed that no matter what complex "Pattern" (isoparametric hypersurface) you start with, there is always a perfect angle to shoot the arrow. This guarantees that a closed, perfect, minimal sculpture can always be built.

5. The Result: A New Family of Shapes

The final shapes they built look like a tube (a circle, $S^1$) wrapped around their complex pattern ($M$).

• Topologically: It's like a donut ($S^1 \times S^1$) but with a much more complex, twisted filling instead of a simple circle.
• Significance: Before this, we only knew how to make these shapes for very simple patterns (like two spheres glued together). This paper proves you can do it for any of these special symmetric patterns.

Summary Analogy

Imagine you have a complex, symmetrical snowflake (the pattern).

• Old Math: Could only make a perfect snowflake sculpture if the snowflake was a simple circle.
• This Paper: Says, "Actually, you can take any snowflake, wrap it in a perfect, invisible, self-balancing balloon, and it will float perfectly in the air without wobbling."

They didn't just find one new shape; they found the blueprint to build an infinite family of these perfect, efficient sculptures, extending the known universe of minimal surfaces in spheres.

Technical Summary

Here is a detailed technical summary of the paper "Minimal Hypersurfaces in Spheres Generated by Isoparametric Foliations" by Junqi Lai and Guoxin Wei.

1. Problem Statement

The paper addresses the construction of closed, embedded minimal hypersurfaces in the unit sphere $S^{n+1}$. While classical examples like equators and Clifford tori are well-understood, finding new minimal hypersurfaces with non-trivial topologies remains a significant challenge in differential geometry.

The specific problem tackled is whether the geometric structure of an isoparametric hypersurface $M$ in a lower-dimensional sphere $S^n$ can be "lifted" to generate a minimal hypersurface in the higher-dimensional sphere $S^{n+1}$. The authors aim to construct such hypersurfaces that possess the topological type $S^1 \times M$, where $M$ is any isoparametric hypersurface in $S^n$.

2. Methodology

The authors employ a generalized rotational ansatz combined with the theory of isoparametric foliations. The methodology proceeds through the following steps:

A. Geometric Construction

They define an immersion $F: M \times I \to S^{n+1}$ by taking the union of homothetic copies of the leaves of the isoparametric foliation of $S^n$ associated with $M$.

• Let $M$ be an isoparametric hypersurface in $S^n$ with $g$ distinct principal curvatures.
• Let $\gamma(s) = (x(s), y(s), z(s))$ be a curve in a 2-dimensional unit sphere (parameter space).
• The immersion is defined as:
  $$F(p, s) = (p x(s) + N(p) y(s), z(s))$$
  where $N(p)$ is the unit normal vector field to $M$ in $S^n$.

B. Reduction to Ordinary Differential Equations (ODEs)

By computing the principal curvatures of the immersion $F$, the condition for $F$ to be a minimal hypersurface (zero mean curvature, $H=0$) reduces the problem to a system of ODEs governing the profile curve $\gamma(s)$.

• The system involves variables $(\xi, \vartheta, \alpha)$, where $\xi$ and $\vartheta$ are transformed coordinates of the curve, and $\alpha$ is the angle of the tangent vector.
• The mean curvature equation leads to a specific ODE system (Equation 4 in the paper):
  $$\begin{cases} \xi' = \sin(2\vartheta) \cos \alpha \\ \vartheta' = \sin(2\vartheta) \sin \alpha \\ \alpha' = m \sin(2\vartheta) \tanh(\frac{2}{g}\xi) \sin \alpha + 2(m_1 \cos^2 \vartheta - m_2 \sin^2 \vartheta) \cos \alpha \end{cases}$$
  Here, $m_1$ and $m_2$ are multiplicities of the principal curvatures of $M$, and $m = \frac{2n}{g}$.

C. Existence Proof via Shooting Method

The core of the proof lies in demonstrating the existence of a simple closed geodesic (periodic solution) for this ODE system under a specific conformal metric.

• The authors define a critical parameter $\delta^*$ based on the initial conditions of the ODE solutions.
• They classify initial conditions into three types based on the behavior of the solution trajectory:
  1. Type 1: The curve returns to the axis $\xi=0$ without $\vartheta'$ vanishing.
  2. Type 2: The curve reaches a point where $\vartheta'=0$ without $\xi$ vanishing.
  3. Type 3: The curve never returns to the axis or reaches a critical angle (diverges).
• Using a shooting method, they prove that the critical value $\delta^*$ (the supremum of Type 1 initial conditions) yields a solution that is simultaneously Type 1 and Type 2. This implies the existence of a periodic orbit that closes smoothly.

3. Key Contributions

1. Generalization of Known Results: The paper extends previous constructions of minimal hypersurfaces (specifically minimal hypertori like $S^1 \times S^k \times S^k$ and $S^1 \times S^k \times S^l$) to any isoparametric hypersurface $M \subset S^n$.
2. Topological Classification: It establishes that for every isoparametric hypersurface $M$ in $S^n$, there exists a closed embedded minimal hypersurface in $S^{n+1}$ with the topological type $S^1 \times M$.
3. Unified ODE Framework: The authors provide a unified ODE framework that handles the varying multiplicities ($m_1, m_2$) and the number of distinct principal curvatures ($g \in \{1, 2, 3, 4, 6\}$) inherent to isoparametric theory.
4. Rigorous Existence Proof: The paper provides a rigorous proof of the existence of periodic solutions to the derived nonlinear ODE system, overcoming the complexity introduced by the singular boundaries of the parameter space.

4. Main Results

• Theorem 1.1: For any isoparametric hypersurface $M$ in $S^n$, there exists a closed embedded minimal hypersurface of topological type $S^1 \times M$ in $S^{n+1}$. This hypersurface is constructed as a union of homothetic copies of the leaves of the isoparametric foliation associated with $M$.
• Proposition 3.2: The critical parameter $\delta^*$ defined by the shooting method is strictly positive, strictly less than the equilibrium angle $\vartheta^*$, and is neither Type 3 nor a boundary case, ensuring the existence of a periodic solution.
• Periodic Profile Curves: The paper demonstrates the existence of periodic profile curves (e.g., Figure 2 in the paper for $g=4$) that generate the minimal hypersurfaces.

5. Significance

• Expansion of Minimal Surface Theory: This work significantly broadens the known landscape of minimal hypersurfaces in spheres. It moves beyond symmetric tori to include a vast class of topologies determined by the rich structure of isoparametric foliations.
• Connection to Isoparametric Theory: It successfully bridges the gap between the classification of isoparametric hypersurfaces (Cartan-Münzner theory) and the construction of minimal submanifolds, showing that the symmetry of isoparametric foliations is a powerful tool for generating minimal surfaces.
• Methodological Impact: The use of the shooting method on the specific conformal metric derived from the isoparametric data offers a robust technique for solving similar geometric existence problems involving singular Riemannian foliations.
• Recovery of Classical Cases: The construction naturally recovers known results (e.g., Hsiang's minimal spheres and previous works on Clifford tori) as special cases, validating the generality of the approach.

In summary, Lai and Wei provide a constructive existence theorem that leverages the symmetry of isoparametric foliations to generate a new, infinite family of minimal hypersurfaces in spheres with diverse topological structures.