ACS Condition on Minimal Isoparametric Hypersurfaces of Positive Ricci Curvature in Unit Spheres

Motivated by the Schoen–Marques–Neves conjecture, this paper verifies a sufficient pointwise Ambrozio–Carlotto–Sharp inequality for minimal isoparametric hypersurfaces with positive Ricci curvature in unit spheres, thereby establishing a lower bound on the Morse index proportional to the first Betti number for closed embedded minimal hypersurfaces in these ambient manifolds.

The Gist

Imagine you are an architect trying to build a perfectly balanced, floating sculpture inside a giant, glowing balloon (the "unit sphere"). This sculpture is a minimal hypersurface. In the world of math, "minimal" means it's shaped like a soap film: it uses the least amount of material possible to span a certain area, making it perfectly stable in a specific sense.

However, mathematicians are obsessed with a different kind of stability: The Morse Index. Think of the Morse Index as a "wobble meter."

• A low index means the sculpture is very stiff; if you poke it, it doesn't want to change shape.
• A high index means the sculpture is wobbly; it has many different ways it could collapse or deform.

The Big Question: The "Topology vs. Wobble" Mystery

For decades, mathematicians have suspected a deep connection between the shape of the sculpture and its wobble.

• The Shape (Topology): Specifically, how many "holes" does the sculpture have? (Mathematicians call this the first Betti number, or $b_1$). Think of a donut (1 hole) vs. a pretzel (3 holes).
• The Wobble (Index): How unstable is it?

The Conjecture (Schoen-Marques-Neves): If you are building these sculptures inside a space that is "positively curved" (like the inside of a sphere), then the more holes your sculpture has, the more it must wobble. In other words, you can't have a complex, hole-filled sculpture that is perfectly stiff. There is a mathematical rule saying: More Holes = More Wobble.

The Problem: Checking the Rule

Proving this rule for every possible sculpture is incredibly hard. It's like trying to prove that every car in the world has a speed limit based on its number of doors. It's too much work to check every single car.

So, mathematicians developed a "shortcut test" called the ACS Condition (named after Ambrozio, Carlotto, and Sharp).

• Think of the ACS Condition as a stress test.
• If a specific mathematical inequality (a formula comparing forces) holds true for the environment (the balloon), then the rule "More Holes = More Wobble" is guaranteed to be true for any sculpture you build inside it.

What This Paper Does

The author, Niang Chen, is checking this "stress test" on a very special family of sculptures called Isoparametric Hypersurfaces.

• The Analogy: Imagine a set of perfectly symmetrical, concentric onion layers or a stack of perfectly round rings. These are "isoparametric" because their curvature is the same everywhere. They are the "perfectly symmetrical" sculptures of the math world.

The paper asks: "Do these perfect, symmetrical sculptures live in an environment that passes the ACS stress test?"

The Findings (The "Yes" and the "Maybe")

The author ran the numbers for different types of these symmetrical sculptures, categorized by how many distinct "curvature layers" they have (called $g$).

1. The "Triple Layer" Case ($g=3$):

   • If the sculpture has a specific complexity (multiplicity 4 or 8), the stress test PASSED.
   • Result: If you build a hole-filled sculpture inside this specific environment, it will wobble according to the rule. The math guarantees it.

2. The "Quadruple Layer" Case ($g=4$):

   • If the sculpture is complex enough (with multiplicities of 5 or higher), the stress test PASSED.
   • Result: Again, the rule holds. The more holes, the more wobble.

3. The "Unresolved" Cases:

   • For simpler versions of these sculptures (like the "Triple Layer" with complexity 2, or "Quadruple Layer" with complexity 2, 3, or 4), the author's math wasn't strong enough to say "Yes" or "No."
   • Analogy: It's like the stress test machine was too weak to give a reading on the smaller, simpler models. We still don't know if the rule holds for them, but we know it definitely holds for the bigger, more complex ones.

Why This Matters

This paper is like adding new bricks to a wall. We already knew the "More Holes = More Wobble" rule worked for a few specific environments (like the standard sphere). This paper proves it works for new, exotic environments (these specific isoparametric hypersurfaces).

By verifying the "stress test" (the ACS condition) for these new environments, the author provides strong evidence that the Schoen-Marques-Neves conjecture is a universal truth for positively curved spaces. It tells us that in the universe of positive curvature, complexity (holes) inevitably leads to instability (wobble).

Summary in One Sentence

This paper proves that for a specific family of perfectly symmetrical shapes living inside a sphere, the mathematical rule "if you have more holes, you must be more unstable" is definitely true, adding more evidence to a major conjecture in geometry.

Technical Summary

Here is a detailed technical summary of the paper "ACS Condition on Minimal Isoparametric Hypersurfaces of Positive Ricci Curvature in Unit Spheres" by Niang Chen.

1. Problem Statement and Context

The paper addresses the Schoen–Marques–Neves conjecture, which posits a fundamental relationship between the Morse index (a measure of instability) and the first Betti number (a topological invariant) of closed embedded minimal hypersurfaces in Riemannian manifolds with positive Ricci curvature.

• The Conjecture: For a closed Riemannian manifold $(N^{n+1}, g)$ with positive Ricci curvature, there exists a constant $C > 0$ such that for any closed embedded minimal hypersurface $M^n \subset N^{n+1}$:
  $$\text{index}(M) \geq C \cdot b_1(M)$$
  where $b_1(M)$ is the first Betti number.
• The Challenge: While this has been proven for the round sphere (by Savo) and flat tori (by Ros), establishing it for general positively curved ambient manifolds requires verifying specific geometric inequalities.
• The Tool: The paper utilizes the Ambrozio–Carlotto–Sharp (ACS) criterion. This framework provides a sufficient condition: if a specific pointwise inequality involving curvature and the second fundamental form holds for the ambient manifold $N$, then the index bound holds for any minimal hypersurface $M \subset N$.

2. Methodology

The author applies the ACS framework specifically to minimal isoparametric hypersurfaces within the unit sphere $S^{n+2}$.

A. The ACS Condition

The core of the method is verifying the inequality:
$$\int_M \left[ \sum_{k=1}^n R_N(e_k, X, e_k, X) + \text{Ric}_N(\nu, \nu)|X|^2 \right] dM > \int_M \left[ \sum_{k=1}^n |\Pi(e_k, X)|^2 + \sum_{k=1}^n |\Pi(e_k, \nu)|^2|X|^2 \right] dM$$
where:

• $R_N$ is the curvature tensor of the ambient manifold $N$.
• $\text{Ric}_N$ is the Ricci curvature of $N$.
• $\Pi$ is the second fundamental form of the embedding $N \hookrightarrow \mathbb{R}^d$.
• $\nu$ is the unit normal to $M$ in $N$, and $X$ is a tangent vector field on $M$.

The paper simplifies this integral condition to a pointwise inequality by analyzing the integrand $\Delta(X, \nu)$. If $\Delta(X, \nu) > 0$ for all non-zero $X$, the ACS condition is satisfied.

B. Geometric Setup

• Ambient Space: $N^{n+1}$ is a minimal isoparametric hypersurface in $S^{n+2}$.
• Isoparametric Properties: The number of distinct principal curvatures ($g$) can be 1, 2, 3, 4, or 6. The multiplicities $m_i$ satisfy $m_i = m_{i+2}$.
• Curvature Analysis: The author derives an explicit formula for $\Delta(X, \nu)$ in terms of the principal curvatures $\lambda_i$ of $N$ and the components of the vectors $X$ and $\nu$ in the principal frame.
  • The formula relies on the Gauss equation and the minimality of $N$ (sum of principal curvatures is zero).
  • The derived expression is:
    $$\Delta = (2n-2) - 2\sum x_i^2 \lambda_i^2 - 2\sum \nu_i^2 \lambda_i^2 + 2(\sum x_i \nu_i \lambda_i)^2 + (\sum \nu_i^2 \lambda_i)^2 - (\sum \nu_i^2 \lambda_i)(\sum x_i^2 \lambda_i)$$

3. Key Contributions and Results

The paper verifies the ACS condition for specific families of minimal isoparametric hypersurfaces, thereby proving the index conjecture for minimal hypersurfaces embedded within them.

Main Theorem (Theorem 1.2)

Let $N^{n+1} \subset S^{n+2}$ be a minimal isoparametric hypersurface. The ACS condition holds (and thus the index bound applies) in the following cases:

1. Case $g=3$ (Three distinct principal curvatures):

   • The principal curvatures are $\sqrt{3}, 0, -\sqrt{3}$.
   • The condition holds if the common multiplicity $m$ is 4 or 8.
   • Note: The case $m=2$ remains unresolved by this method; $m=1$ is excluded because the Ricci curvature is not positive.

2. Case $g=4$ (Four distinct principal curvatures):

   • The condition holds if the multiplicities $m_1, m_2$ satisfy $\min\{m_1, m_2\} \geq 5$.
   • The proof involves bounding the maximum squared principal curvature ($a^2$) and showing that the inequality holds when the multiplicities are sufficiently large.
   • Note: Cases where at least one multiplicity is in $\{2, 3, 4\}$ are not decided by this specific estimation.

Consequence

For any closed embedded minimal hypersurface $M^n$ inside these specific ambient manifolds $N$, the following index estimate holds:
$$\text{index}(M) \geq \frac{2}{d(d-1)} b_1(M)$$
where $d = n+3$ (the dimension of the Euclidean space containing the sphere).

4. Technical Details of the Proofs

• For $g=3$: The author uses the specific values of the principal curvatures ($\pm \sqrt{3}$) to bound the quadratic terms in the $\Delta$ expression. With $n = 3m-1$, for $m \geq 4$, the term $(2n-2)$ dominates the negative curvature terms, ensuring $\Delta > 0$.
• For $g=4$: The author employs a "coarse" estimation strategy. Instead of calculating exact values for every multiplicity pair, they impose a uniform bound on the largest absolute principal curvature. By expressing the principal curvatures in terms of the multiplicities $m_1, m_2$ and the angle $\theta_1$, they derive a sufficient condition $q > \frac{80s(s-1)}{(4s+1)^2}$ (where $q = \min(m_1, m_2)$). This inequality is satisfied whenever $q \geq 5$.

5. Significance and Limitations

• Significance:

  • The paper provides new examples supporting the Schoen–Marques–Neves conjecture, expanding the known class of ambient manifolds where the index-topology relationship holds.
  • It demonstrates the utility of the ACS framework in the context of isoparametric theory, a rich area of differential geometry with deep connections to symmetric spaces and harmonic analysis.
  • It offers a concrete, computable criterion (pointwise inequality) that can be checked for specific geometric configurations.

• Limitations & Open Problems:

  • The method does not resolve the ACS condition for $g=3$ with multiplicity $m=2$.
  • For $g=4$, the condition is not verified if either multiplicity is 2, 3, or 4.
  • The case $g=6$ is excluded entirely because the Ricci curvature of the ambient manifold is not positive in those cases.
  • The proof for $g=4$ relies on a uniform bound on principal curvatures, which the author admits is "deliberately coarse," suggesting that tighter bounds might resolve the smaller multiplicity cases.

Conclusion

Niang Chen's work successfully bridges the gap between the abstract Schoen–Marques–Neves conjecture and concrete geometric examples. By rigorously verifying the Ambrozio–Carlotto–Sharp inequality for high-multiplicity minimal isoparametric hypersurfaces, the paper confirms that the Morse index of minimal submanifolds in these spaces is indeed controlled by their first Betti number, reinforcing the deep interplay between analysis, geometry, and topology in positively curved spaces.