Integral Curvature Bounds in Geometry

• Integral curvature bounds are estimates that use L^p norms of curvature tensors to connect geometric measures with topological invariants in manifolds.
• They are applied to establish rigidity, finiteness, and topological obstruction theorems, such as sphere theorems and quantitative rigidity results.
• These bounds underpin analytical tools like Sobolev estimates, heat kernel bounds, and stability analyses in both classical and metric measure geometries.

Integral curvature bounds are a foundational concept in global differential geometry that relate $L^p$ norms of curvature tensors—particularly the Riemann, Ricci, and scalar curvatures—to topological, geometric, and analytic invariants such as Betti numbers, eigenvalues, isoperimetric profiles, and diameter bounds. These inequalities generalize classical pointwise pinching, extending their reach to settings involving only integral control over curvature and enabling sharp rigidity, finiteness, and obstruction theorems for manifolds and submanifolds in both Riemannian and broader metric measure geometries.

1. Formal Integral Curvature Inequalities for Submanifolds

Sharp $L^{n/2}$-norm curvature inequalities have been established for compact submanifolds of Euclidean space with low codimension. Given $M^n$ immersed isometrically via $f: M^n \to \mathbb{R}^{n+k}$, $2 \le k \le n/2$, with second fundamental form $\alpha$ (squared norm $S = |\alpha|^2$) and mean curvature $H$, the principal inequality reads (Onti et al., 2017): $$\int_M \left\| R - \frac{\mathrm{scal}}{n(n-1)} R_1 \right\|^{n/2} \, dM + \int_M \left( S - \delta n^2 H^2 \right)_+^{n/2} \, dM \ge c(n,\delta) \sum_{i=k}^{n-k} b_i(M; \mathbb{F})$$ where $R$ is the Riemann curvature tensor, $L^{n/2}$0, and $L^{n/2}$1 the $L^{n/2}$2-th Betti number over any field $L^{n/2}$3. $L^{n/2}$4 is a pinching parameter with $L^{n/2}$5.

This universal bound admits the following topological consequences for $L^{n/2}$6:

• If the combined $L^{n/2}$7-norm is $L^{n/2}$8, then $L^{n/2}$9 has CW-complex homotopy type with no cells in degrees $M^n$0.
• If $M^n$1 and $M^n$2 is finite, then $M^n$3.

Similar bounds are valid for minimal submanifolds in spheres and for conformally immersed $M^n$4-manifolds, with $M^n$5-norm of the Weyl tensor controlling the “deviation from conformal flatness”: $M^n$6 where $M^n$7 is the Weyl tensor (Onti et al., 2017).

2. Algebraic and Geometric Foundations

The derivation of these bounds critically depends on:

• The Gauss equation, expressing curvature in terms of the second fundamental form:

$M^n$8

• A key algebraic inequality for symmetric bilinear forms $M^n$9 (Proposition 9 of (Onti et al., 2017)):

$f: M^n \to \mathbb{R}^{n+k}$0

with $f: M^n \to \mathbb{R}^{n+k}$1 and $f: M^n \to \mathbb{R}^{n+k}$2 the normal-direction shape operator.

• The Chern–Lashof formula, connecting total absolute curvature to sums of Betti numbers.

Constants $f: M^n \to \mathbb{R}^{n+k}$3 arise by integrating these algebraic bounds over $f: M^n \to \mathbb{R}^{n+k}$4 and normal bundles, encoding both geometric volume and curvature defect terms.

3. Topological Obstructions and Rigidity Phenomena

Integral curvature bounds create topological obstructions for the existence of submanifold immersions, pinched metrics, and minimal submanifolds with prescribed curvature defect:

• $f: M^n \to \mathbb{R}^{n+k}$5-pinched immersions ($f: M^n \to \mathbb{R}^{n+k}$6 everywhere) with small $f: M^n \to \mathbb{R}^{n+k}$7 “trace-free curvature” norm cannot realize submanifolds of large Betti number in middle degrees.
• Sphere theorems: If both $f: M^n \to \mathbb{R}^{n+k}$8-norms are sufficiently small, only spheres (or spaces homotopy equivalent to CW-complexes without middle cells) may occur.
• Equality cases ($f: M^n \to \mathbb{R}^{n+k}$9 and small pinching defect) imply isometry to the standard sphere.

Analogous rigidity holds for minimal submanifolds in $2 \le k \le n/2$0 with $2 \le k \le n/2$1, precluding nontrivial topology under small integral curvature excess.

4. Singular Limit Spaces and Integral Bounds

In Gromov–Hausdorff convergence scenarios, lower bounds on the $2 \le k \le n/2$2 norm of the curvature tensor are necessary for noncollapsed spaces approaching singular models of codimension $2 \le k \le n/2$3 (Chen et al., 2011): $2 \le k \le n/2$4 for $2 \le k \le n/2$5 close to $2 \le k \le n/2$6. The lower bound quantifies the “amount of curvature” needed to approximate singular cones, extending results of Cheeger, Colding, and Tian.

5. Analytical and Geometric Applications

Integral curvature bounds are leveraged for:

• Sobolev and isoperimetric estimates on balls of radius $2 \le k \le n/2$7 (with $2 \le k \le n/2$8):

$2 \le k \le n/2$9

under local smallness of the $\alpha$0 norm of the negative part of Ricci (Dai et al., 2016).

• Maximum principles, gradient bounds, heat kernel and $\alpha$1 Hessian estimates, without requiring noncollapse.
• Quantitative rigidity theorems for metric measure spaces; limits of manifolds with vanishing $\alpha$2-excess of Ricci below $\alpha$3 satisfy curvature-dimension $\alpha$4 and (with noncollapsing) $\alpha$5 (Ketterer, 2020).

6. Extensions: Ricci, Scalar, Bakry-Émery, and Finsler Bounds

Integral curvature bounds have been generalized to various geometric contexts:

• Lower bounds on total scalar curvature under upper sectional curvature and volume/injectivity radius constraints (Fujioka, 2023).
• $\alpha$6 bounds on negative part of Bakry–Émery Ricci tensor enforce Myers-type diameter and compactness (Hwang et al., 2019).
• Finsler settings: Laplacian/volume comparison, Dirichlet isoperimetric constants, and eigenvalue/gradient bounds under $\alpha$7 integral weighted Ricci curvature control (Cheng et al., 18 Jan 2025, Zhao, 2017).
• Isoperimetric profile function: Quantitative comparison with model spaces using $\alpha$8 Ricci curvature bounds, extending Lévy–Gromov and Bérard–Besson–Gallot theorems (Lee et al., 2024).
• Stability results: scalar curvature lower bounds in $\alpha$9-limit metrics when negative part is integrally small (Huang et al., 2021).

7. Sharpness, Limitations, Counterexamples

The necessity of smallness in integral curvature hypotheses is illustrated by explicit constructions:

• Manifolds (dumbbell surfaces) with uniform $S = |\alpha|^2$0 curvature bounds and diameter, but $S = |\alpha|^2$1 as neck radius shrinks, showing failure of spectral gap estimates without smallness (Anderson et al., 2021).
• Algebraic counterexamples for bilinear forms confirm that pointwise curvature pinching is essential when transitioned to an integral regime (Onti et al., 2017).
• For $S = |\alpha|^2$2, the local $S = |\alpha|^2$3 Ricci norm improves with volume collapse, but in higher $S = |\alpha|^2$4 regimes, volume comparison tools are necessary (Smith, 2017).

Integral bounds also set dimension and finiteness constraints for singular sets in limit spaces: given noncollapsing and $S = |\alpha|^2$5 bounds for $S = |\alpha|^2$6, the Minkowski dimension $S = |\alpha|^2$7, with bubble-tree decompositions yielding finiteness of diffeomorphism types in the critical case (Qian, 2023).

---

Integral curvature bounds thus comprise the analytic backbone of a wide array of comparison, rigidity, and obstruction results, both intrinsic and extrinsic, mediating between local geometric control (curvature tensors via $S = |\alpha|^2$8 norms) and global topological, analytic, and geometric phenomena in the study of manifolds and their limits.