Comparison Theorems and the Intermediate Ricci Curvature Assumption

Basic Information

• Paper ID: 2510.11205
• Title: Comparison Theorems and the Intermediate Ricci Curvature Assumption
• Author: Yujie Wu
• Classification: math.DG (Differential Geometry)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11205

Abstract

This paper provides a comprehensive investigation of the concept of m-intermediate Ricci curvature assumption introduced by Brendle-Hirsch-Johne. The research demonstrates that if a manifold possesses non-negative m-intermediate Ricci curvature and (m-1)-order stable weighted slices, then the final slice exhibits almost non-negative Ricci curvature in the spectral sense. The paper establishes comparison theorems for diameter and inradius bounds of stable weighted slices (and free boundary slices) on such manifolds and on manifolds with mean-convex boundaries.

Research Background and Motivation

1. Core Problem: This paper investigates geometric comparison theorems under m-intermediate Ricci curvature conditions, which represents an important direction in studying the relationship between curvature and topology in differential geometry.
2. Problem Significance:
   • Classical results such as the Bonnet-Myers theorem and Geroch conjecture demonstrate that positive curvature conditions impose strong constraints on the topological structure of manifolds
   • The concept of m-intermediate curvature generalizes these classical results, providing new tools for studying broader geometric-topological relationships
3. Limitations of Existing Methods:
   • The original work of Brendle-Hirsch-Johne primarily focuses on existence results
   • Lack of quantitative control over the geometric properties of stable slices
   • Incomplete treatment of the free boundary case
4. Research Motivation: To generalize the classical comparison theorems of Shen-Ye on dual Ricci curvature to the m-intermediate curvature setting and establish more precise geometric estimates.

Core Contributions

1. Generalized Bonnet-Myers Type Theorem: Established diameter upper bounds for (m-1)-order stable slices on manifolds with positive m-intermediate curvature (Theorem 1.5)
2. Established Existence Obstructions for Free Boundary Slices: Proved that manifolds with non-negative m-intermediate curvature and uniformly m-convex boundary do not admit compact m-order stable free boundary weighted slices (Theorem 1.8)
3. Provided Inradius Bound Estimates: For manifolds with non-negative m-intermediate curvature and uniformly positive mean curvature, derived upper bounds for the inradius of stable slices (Theorem 1.10)
4. Developed Spectral Geometric Analysis: Introduced and analyzed the concepts of almost non-negative Ricci curvature and non-negative mean curvature in the spectral sense

Methodology Details

Problem Formulation

Study the geometric properties of stable weighted slices on Riemannian manifolds with m-intermediate Ricci curvature conditions and establish quantitative estimates for diameter and inradius.

Core Concepts

m-Intermediate Ricci Curvature: For a Riemannian manifold $(X^n, g)$ at point $p$ and orthonormal vectors $\{e_1, ..., e_m\} \subset T_pX$, defined as: $C_m(e_1, ..., e_m) := \sum_{p=1}^m \sum_{q=p+1}^n K_X(e_p, e_q)$

Stable Weighted Slices: Consisting of a sequence of smooth immersions $\Sigma_k \hookrightarrow \Sigma_{k-1}$ and positive functions $\rho_k \in C^\infty(\Sigma_k)$, where each $\Sigma_k$ is a stable critical point of the weighted area functional.

Technical Methods

1. μ-Bubble Method: Utilizing the μ-bubble technique introduced by Gromov, a generalization of minimal hypersurfaces, by studying critical points of the functional: $A_h(\Omega) = \int_\Sigma \rho d\mathcal{H}^{n-1} + \int_N \rho h(\chi_\Omega - \chi_{\Omega_0})d\mathcal{H}^n$
2. Second Variation Formula: Stability analysis of μ-bubbles with the key inequality: $0 \leq \int_\Sigma \rho f^2(-f^{-1}\Delta_\Sigma f - (\text{Ric}_N(\nu_\Sigma) + |II_\Sigma|^2)) + \text{weight terms}$
3. Dimension Constraint: Requiring $n < m + 2 + \frac{2}{m-1}$, which ensures $m^2 - 2 - n(m-2) \geq 0$, guaranteeing the satisfaction of technical conditions.

Technical Innovations

1. Precise Constants: For diameter estimates, obtained the precise constant $C_0 = \frac{-n(m-1)-m(m+1)}{2(m^2-2-n(m-2))}$, which coincides with Shen-Ye's result when $m=2$.
2. Free Boundary Treatment: Innovatively handled boundary conditions for free boundary μ-bubbles, establishing precise estimates for boundary terms.
3. Spectral Methods: Extended classical pointwise curvature conditions to spectral sense conditions, enhancing the applicability of results.

Main Theorems

Theorem 1.5 (Bonnet-Myers Theorem for (m-1)-Order Slices)

Let $N^n$ be a complete Riemannian manifold with positive intermediate curvature $C_m \geq k_0 > 0$, $n < m + 2 + \frac{2}{m-1}$. If there exists a sequence of stable minimal slices $N = \Sigma_0 \supset \Sigma_1 \supset ... \supset \Sigma_{m-1}$ with $\max\{1, n-6\} \leq m \leq n-1$, then: $\text{diam}(\Sigma_{m-1}) \leq \frac{\pi}{\sqrt{k_0 C_0}}$

Theorem 1.8 (Stable Weighted Free Boundary Slices)

Let $(X^n, \partial X, g)$ be a Riemannian manifold with boundary, assuming $C_m \geq 0$ and $II_{\partial X}^m > 0$. If $m^2 - 2 - n(m-2) \geq 0$, then $X$ does not admit m-order stable free boundary weighted slices such that the final slice $\Sigma_m$ is compact.

Theorem 1.10 (Inradius Bound)

Under the conditions of Theorem 1.5, if the final slice has compact boundary $\partial\Sigma_{m-1}$, then: $\text{Rad}_{\text{in}}(\Sigma_{m-1}) := \sup_{x \in \Sigma_{m-1}} d_{\Sigma_{m-1}}(x, \partial\Sigma_{m-1}) \leq \frac{1}{C_0 H_0}$

Technical Details

Key Lemma 3.1

For stable weighted slices: $\Delta_{\Sigma_{m-1}} \log \rho_{m-1} = \sum_{k=1}^{m-1}(-\lambda_k) + \sum_{k=1}^{m-1}(H_{\Sigma_k}^2 - |II_{\Sigma_k}|^2 - \text{Ric}_{\Sigma_{k-1}}(\nu_k)) - \sum_{k=1}^{m-1}\langle\nabla_{\Sigma_k} \log \rho_k, \nabla_{\Sigma_k} \log v_k\rangle$

Geometric Significance of Dimension Restrictions

The condition $n < m + 2 + \frac{2}{m-1}$ ensures:

• When $m=2$: $n < 6$
• When $m=3$: $n < 6$
• When $m=4$: $n < 6.5$

These restrictions are closely related to the regularity theory of the μ-bubble method.

Related Work

Historical Background

1. Classical Results: Bonnet-Myers theorem, Schoen-Yau's resolution of Geroch conjecture
2. Dual Ricci Curvature: Pioneering work of Shen-Ye (1996)
3. Intermediate Curvature: Recent developments by Brendle-Hirsch-Johne (2024)

Recent Progress

• Chen (2024): Extension to manifolds of type $M^{n-m} \times T^m \times X$
• Chu-Kwong-Lee (2025): Rigidity results for non-negative intermediate curvature
• Xu (2025): Construction of counterexamples for dimension restrictions
• Mazurowski-Wang-Yao (2025): Applications in aspherical manifolds

Conclusions and Discussion

Main Conclusions

1. Established precise geometric comparison theorems in the m-intermediate curvature setting
2. Proved that diameter and inradius estimates for stable slices are optimal
3. Completed the theoretical framework for the free boundary case

Limitations

1. Dimension Restrictions: Results primarily apply to low-dimensional cases ($n \leq 7$)
2. Technical Conditions: Requires strong stability and convexity assumptions
3. Existence: Does not resolve the existence problem for stable slices

Future Directions

1. Extend to higher-dimensional cases
2. Study more general curvature conditions
3. Develop new regularity theory

In-Depth Evaluation

Strengths

1. Technical Depth: Skillfully combines μ-bubble methods with variational techniques
2. Precise Results: Provides optimal constants and sharp estimates
3. Theoretical Completeness: Uniformly handles multiple boundary conditions
4. Methodological Innovation: Introduces geometric analysis in the spectral sense

Weaknesses

1. Limited Applicability: Dimension restrictions are relatively stringent
2. Technical Complexity: Proofs involve extensive technical details
3. Limited Applications: Specific application scenarios require further exploration

Impact

This work makes important contributions to comparison theorem theory in differential geometry and is expected to advance further development in this field, particularly in cross-disciplinary research between geometric topology and geometric analysis.

Applicable Scenarios

• Study of geometric flows with intermediate curvature conditions
• Stability analysis in minimal surface theory
• Obstruction theory in geometric topology
• Spacetime geometric analysis in general relativity

References

The paper cites important literature in the field, including pioneering work by Brendle-Hirsch-Johne, classical results by Shen-Ye, and recent contributions by Chodosh-Li, Gromov and others, demonstrating deep understanding of the development trajectory of this field.