Strong multiplicity one theorems and homological min-max theory

Basic Information

• Paper ID: 2309.07741
• Title: Strong multiplicity one theorems and homological min-max theory
• Authors: Adrian Chun-Pong Chu, Yangyang Li
• Classification: math.DG (Differential Geometry), math.AP (Mathematical Analysis)
• Publication Date: September 2023 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2309.07741

Abstract

Marques-Neves posed a question: which min-max p-widths of the unit 3-sphere strictly lie between 2π² and 8π? This paper proves that the 10th through 13th widths satisfy this condition. More generally, the paper establishes a stronger version of X. Zhou's multiplicity one theorem.

Research Background and Motivation

1. Core Problem: This research addresses the Marques-Neves question regarding the distribution of min-max p-widths on the unit 3-sphere S³, specifically determining which p-widths strictly lie between 2π² and 8π.
2. Significance:
   • p-widths play a crucial role in constructing minimal hypersurfaces in the Almgren-Pitts min-max theory
   • They are instrumental in Song's proof of Yau's conjecture on the existence of infinitely many immersed closed minimal surfaces in 3-manifolds
   • A subtle feature of min-max theory is that the resulting minimal hypersurfaces may have multiplicity greater than one
3. Limitations of Existing Methods:
   • C. Nurser previously could only prove ω₁₃(S³) ≤ 8π, unable to determine whether this is a strict inequality
   • Zhou's multiplicity one theorem fails for ambient manifolds with general metrics (counterexample by Wang-Zhou)
4. Research Motivation:
   • Improve precise estimates of specific p-widths on S³
   • Develop stronger multiplicity one theorems applicable to the restricted homological min-max setting

Core Contributions

1. Main Result: Proves ω₁₃(S³) < 8π, thereby establishing that the 10th through 13th widths strictly lie between 2π² and 8π
2. Strong Multiplicity One Theorem I (Theorem 1.2): For each minimizing sequence, its critical set contains a variation derived from some smooth embedded minimal hypersurface with multiplicity one
3. Strong Multiplicity One Theorem II (Theorem 1.3): There exists a tight minimizing sequence such that each embedded minimal cycle in the critical set is derived from a smooth embedded minimal hypersurface with multiplicity one
4. Technical Innovation: Develops restricted homological min-max theory, including min-max methods with mass upper bound restrictions

Methodology Details

Problem Formulation

Study min-max p-widths on closed Riemannian manifolds (M^(n+1), g): $\omega_p(M,g) := \inf_{\Phi \in \mathcal{P}_p} \sup_{x \in \text{dmn}(\Phi)} \mathcal{M}(\Phi(x))$

where $\mathcal{P}_p$ is the collection of all p-sweepouts, namely F-continuous maps satisfying $\Phi^*(\bar{\lambda}^p) \neq 0$.

Model Architecture

1. Restricted Homotopic Min-Max Theory

Define the restricted (X,Z)-homotopy class $\Pi_g^{\delta}(\Phi)$, consisting of maps homotopic to a given sweepout $\Phi$ and satisfying mass upper bound conditions:

• Homotopy maps H satisfy mass restriction conditions (5.1) and (5.2)
• Restricted min-max width: $L(\Pi_g^{\delta}(\Phi)) := \inf_{\Psi \in \Pi_g^{\delta}(\Phi)} \sup_{x \in X} \mathcal{M}_g \circ \Psi(x)$

2. Restricted Homological Min-Max Theory

Define homology classes $H_g^{\delta}(\Phi)$, where:

• $\Phi: X \to Z_n(M;\mathcal{F}_g;\mathbb{Z}_2)$ is a map on a pure finite simplicial k-complex
• Different maps are connected via "cobordisms" $\Psi: W \to Z_n(M;\mathcal{F}_g;\mathbb{Z}_2)$
• Mass upper bound restriction: $\sup_{x \in W} \mathcal{M}_g \circ \Psi(x) < \sup_{x \in X} \mathcal{M}_g \circ \Phi(w) + \delta$

3. (m,r)g-Almost Minimizing Variations

For $m \in \mathbb{N}^+$ and $r \in \mathbb{R}^+$, a variation V is (m,r)g-almost minimizing if for any point $p \in M$ and $I_m$ concentric annuli, V is almost minimizing in at least one annulus.

Technical Innovations

1. Mass Restriction Technique: Introduces mass upper bound δ to control mass growth during homotopy and cobordism processes
2. Annulus Replacement Method: Distinguishes "good" variations (corresponding to flat cycles) from "bad" variations (not corresponding to flat cycles) through annulus replacement analysis
3. Metric Perturbation: Uses bumpy metric sequences to approximate the original metric, leveraging Zhou's multiplicity one theorem
4. (ε,δ)-Deformation: Improves sweepouts to avoid bad variation sets

Experimental Framework

Theoretical Verification Framework

This is a pure mathematics theoretical paper, with results verified primarily through rigorous mathematical proofs rather than numerical experiments.

Key Lemma Verification

• Lemmas 3.6-3.21: Technical lemmas on annulus replacement and almost minimizing properties
• Lemmas 4.1-4.4: Lemmas on tightening processes and (ε,δ)-deformations
• Theorems 5.5 and 5.13: Restricted min-max theorems

Concrete Application

Taking the unit 3-sphere S³ as an example, using Nurser's constructed 13-sweepout $\Phi_0: \mathbb{RP}^{13} \to Z_2(S^3;\mathbb{Z}_2)$: $\Phi_0([a_0:a_1:\cdots:a_{13}]) = \partial_* \left\{x \in S^3: \sum_{i=0}^{13} a_i p_i(x) < 0\right\}$

where $p_0, p_1, \ldots, p_{13}$ are 14 specific polynomials.

Experimental Results

Main Results

1. Theorem 1.1 Verification: Successfully proves $\omega_{13}(S^3) < 8\pi$, thereby establishing that the 10th-13th widths strictly lie between $2\pi^2$ and $8\pi$
2. Multiplicity One Results: Under bumpy metrics or positive Ricci curvature conditions:
   • The critical set of each minimizing sequence contains minimal hypersurfaces with multiplicity one
   • There exists a tight minimizing sequence such that all embedded minimal cycles have multiplicity one

Technical Verification

1. Lemmas 7.1-7.3: Proves key geometric inequalities via Bézout's theorem and Crofton-type formulas
2. Santaló Formula Application: Uses integral geometry methods to verify area estimates of zero sets
3. Sharp Compactness Theorem: Ensures convergence of minimal hypersurface sequences under positive Ricci curvature conditions

Key Estimates

• Proves that the $\mathcal{H}^1$ measure of polynomial zero sets satisfies $\mathcal{H}^1(\Gamma) \leq 4\pi$
• For the case in S³, $\mathcal{H}^2(\Sigma) \leq 8\pi$, with equality if and only if special geometric configurations occur

Related Work

Main Research Directions

1. Development of Min-Max Theory:
   • Almgren Alm62: Homotopy equivalence $Z_n(M;\mathbb{Z}_2) \simeq \mathbb{RP}^{\infty}$
   • Marques-Neves MN14, MN17, MN21: Resolution of Willmore conjecture and existence of infinitely many minimal hypersurfaces
   • Zhou Zho20: Multiplicity one theorem
2. Width Calculations:
   • Aiex Aie19: First few widths of the unit 2-sphere
   • Chodosh-Mantoulidis CM23: Exact formula for 2-sphere p-widths: $2\pi\lfloor\sqrt{p}\rfloor$
   • Nurser Nur16: Partial width estimates for S³
3. Related Techniques:
   • Wang-Zhou WZ22, WZ23: Higher multiplicity minimal hypersurfaces and Simon-Smith min-max setting
   • Li Li23a, Li23b: Restricted min-max theory and Morse index improvements

Advantages of This Paper

1. Theoretical Deepening: Generalizes Zhou's multiplicity one theorem to more general restricted settings
2. Technical Innovation: Develops homological min-max theory, distinct from traditional homotopic methods
3. Precise Results: Obtains precise inequalities for specific widths on S³, rather than merely existence results

Conclusions and Discussion

Main Conclusions

1. Specific Answer: Definitively answers the Marques-Neves question—the 10th-13th widths indeed strictly lie between $2\pi^2$ and $8\pi$
2. Theoretical Generalization: Establishes stronger multiplicity one theorems applicable to restricted min-max settings
3. Methodological Contribution: Develops a min-max theory framework for handling mass restrictions

Limitations

1. Metric Conditions: Strong multiplicity one theorems require bumpy metrics or positive Ricci curvature
2. Dimension Restrictions: Results apply only to cases where 3 ≤ n+1 ≤ 7
3. Open Questions: Whether the 14th width is also strictly less than 8π remains unresolved

Future Directions

1. Higher-Dimensional Generalizations: Extend results to higher-dimensional manifolds
2. General Metrics: Investigate multiplicity problems under general metrics
3. Algorithmic Implementation: Develop numerical methods to compute specific p-widths

In-Depth Evaluation

Strengths

1. Theoretical Rigor: The paper provides complete and rigorous mathematical proofs with sufficient technical detail
2. Innovation:
   • Restricted homological min-max theory represents an important methodological innovation
   • The annulus replacement technique cleverly distinguishes different types of variations
3. Significance: Resolves a specific open problem in the field while developing more general theory
4. Technical Depth: Synthesizes methods from variational calculus, geometric measure theory, and algebraic topology

Weaknesses

1. Readability: The paper is highly technical and challenging for non-specialists
2. Computational Complexity: While providing a theoretical framework, actual computation of p-widths remains difficult
3. Limited Application Scope: Results are primarily theoretical with relatively limited direct applications

Impact

1. Academic Contribution:
   • Provides important technical tools for min-max theory
   • May inspire further research in related areas
2. Practical Value: Although pure mathematics research, min-max theory has broad applications in geometric analysis
3. Reproducibility: As mathematical proofs, results are completely reproducible

Applicable Scenarios

1. Theoretical Research: Applicable to geometric analysis and minimal surface theory research
2. Related Problems: Can be applied to similar width calculation problems on other manifolds
3. Method Borrowing: Restricted min-max methods may apply to other variational problems

References

The paper cites 59 important references, primarily including:

• Foundational Theory: Almgren Alm62, Pitts Pit81 on min-max theory foundations
• Recent Developments: Marques-Neves series MN14, MN17, MN21
• Related Results: Zhou Zho20, Wang-Zhou WZ22, WZ23 on multiplicity research
• Technical Tools: Allard All72, Schoen-Simon SS81 on regularity theory

These references form a solid theoretical foundation for this research, reflecting the development trajectory of the field.