Quantitative Rigidity Using Colding's Monotonicity Formulas for Ricci Curvature

Christine Breiner; Jiewon Park

arxiv: 2506.08317 · v2 · submitted 2025-06-10 · 🧮 math.DG

Quantitative Rigidity Using Colding's Monotonicity Formulas for Ricci Curvature

Christine Breiner , Jiewon Park This is my paper

Pith reviewed 2026-05-19 10:29 UTC · model grok-4.3

classification 🧮 math.DG

keywords Ricci curvaturemonotonicity formulasGreen functionsplitting theoremquantitative rigidityGromov-Hausdorff distanceconesnonnegative curvature

0 comments

The pith

Pinching of Colding monotone quantities controls splitting functions and cone distance under nonnegative Ricci curvature.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends Colding's monotonicity formulas for Green functions on manifolds with nonnegative Ricci curvature. By placing poles at k+1 independent points, the authors build k-splitting functions whose regularity is controlled quantitatively by the amount of pinching in the monotone functionals. The same pinching data also bounds the Gromov-Hausdorff distance from the manifold to the nearest cone of the form R^k times some space C(X). A sympathetic reader would care because the result converts qualitative splitting and rigidity statements into ones with explicit error terms that depend on measurable deviations at chosen points.

Core claim

From the Green functions with poles at (k+1)-many independent points, k-splitting functions are constructed with regularity quantitatively controlled by the pinching. Moreover, the pinching at these independent points controls the distance to the nearest cone of the form R^k × C(X).

What carries the argument

Colding's monotonicity formulas for the Green function, which generate monotone quantities whose pinching at multiple poles yields quantitative control on splitting regularity and cone proximity.

If this is right

Regularity of the constructed k-splitting functions is bounded quantitatively by the observed pinching.
The Gromov-Hausdorff distance to the nearest cone R^k × C(X) is controlled by the same pinching data at the independent points.
The construction extends previous sharp estimates relating monotone pinching to splitting functions from one pole to multiple poles.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The quantitative bounds may support effective stability statements for limits of manifolds with almost nonnegative Ricci curvature.
Explicit dependence on pinching could be used to derive computable constants in applications to Ricci-flat metrics or cone rigidity.
Testing the estimates on model spaces such as cylinders or known cones would give concrete rates for the control.

Load-bearing premise

The manifold has nonnegative Ricci curvature together with enough completeness or volume growth to guarantee that Green functions exist at the chosen pole points.

What would settle it

A manifold with nonnegative Ricci curvature where the pinching of the monotone quantities is small at several independent points, yet the associated splitting function has worse regularity than claimed or the space remains far from every cone of the form R^k × C(X).

read the original abstract

In \cite{Colding}, Colding proved monotonicity formulas for the Green function on manifolds with nonnegative Ricci curvature. Inspired by the sharp estimates relating the pinching of monotone quantities to the splitting function in \cite{cjn}, in this paper we investigate quantitative control obtained from pinching of Colding's monotone functionals. From the Green functions with poles at $(k+1)$-many independent points, $k$-splitting functions are constructed with regularity quantitatively controlled by the pinching. Moreover, the pinching at these independent points controls the distance to the nearest cone of the form $\mathbb{R}^k \times C(X)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives quantitative splitting functions and cone-distance bounds from multi-point pinching of Colding monotonicity on Ricci-nonnegative manifolds, but the Green-function setup needs explicit non-parabolicity control.

read the letter

This paper takes Colding's monotonicity formulas for the Green function and uses pinching at k+1 independent points to produce k-splitting functions whose C^{1,α} norms are controlled by the pinching, plus a bound on distance to the model cone R^k × C(X). That is the central new piece: a direct multi-pole extension of the single-pole pinching ideas in the cited cjn work, turned into quantitative statements inside the Cheeger-Colding setting.

Referee Report

1 major / 0 minor

Summary. The manuscript develops quantitative versions of rigidity results for complete manifolds with nonnegative Ricci curvature. It uses Colding's monotonicity formulas applied to Green functions with poles at (k+1) independent points to construct k-splitting functions whose C^{1,α} regularity is controlled by the pinching of the monotone quantities. The same pinching is shown to control the distance from the manifold to the nearest cone of the form R^k × C(X).

Significance. If the quantitative estimates are established rigorously, the work would supply effective control in the spirit of the Cheeger-Colding splitting theorem, with explicit dependence on pinching constants. This could be useful for stability questions and for deriving effective versions of structure theorems under Ricci curvature bounds.

major comments (1)

[Abstract / Introduction] The construction begins with Green functions G_{p_i} at (k+1) independent points whose pinching (via Colding monotonicity) yields the splitting functions and cone-distance bounds. On a complete manifold with only Ric ≥ 0, existence and positivity of these Green functions require the manifold to be non-parabolic, i.e., ∫_1^∞ dr/Vol(B(r)) < ∞. The manuscript neither states this hypothesis explicitly nor shows that the pinching assumptions force the necessary volume growth. This is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to clarify the setup assumptions for the Green functions. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract / Introduction] The construction begins with Green functions G_{p_i} at (k+1) independent points whose pinching (via Colding monotonicity) yields the splitting functions and cone-distance bounds. On a complete manifold with only Ric ≥ 0, existence and positivity of these Green functions require the manifold to be non-parabolic, i.e., ∫_1^∞ dr/Vol(B(r)) < ∞. The manuscript neither states this hypothesis explicitly nor shows that the pinching assumptions force the necessary volume growth. This is load-bearing for the central claim.

Authors: We agree that the existence and positivity of the Green functions G_{p_i} on a complete manifold with Ric ≥ 0 requires the manifold to be non-parabolic, as is standard in the literature following Colding's work. The manuscript works throughout under this standing assumption (implicit in the use of Colding's monotonicity formulas for the Green function), but we acknowledge that it should be stated explicitly. In the revised version we will add this hypothesis to the statements of the main theorems, the abstract, and the introduction. We do not assert that the quantitative pinching conditions alone imply the volume growth needed for non-parabolicity; the non-parabolicity is an independent hypothesis required for the Green functions to exist and for the monotonicity formulas to apply in the form used. We will include a short clarifying paragraph in the preliminaries section referencing the relevant volume-growth criterion. revision: yes

Circularity Check

0 steps flagged

No circularity: quantitative estimates derived from external Colding monotonicity formulas and cited prior splitting estimates

full rationale

The paper's derivation chain begins with Colding's established monotonicity formulas for the Green function under nonnegative Ricci curvature and invokes sharp estimates from the external reference [cjn] to construct k-splitting functions whose regularity and cone distance are controlled by pinching. These steps are presented as applications of independent prior results rather than internal fits or self-definitions; the abstract and described construction do not reduce any claimed quantitative rigidity statement to a tautological renaming or parameter fitted within the paper itself. The work is therefore self-contained against the external benchmarks it cites, with no load-bearing self-citation or definitional loop exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the existence and monotonicity properties of Green functions under nonnegative Ricci curvature together with the ability to choose sufficiently independent poles; these are taken from the cited literature rather than re-derived.

axioms (1)

domain assumption Manifolds under consideration have nonnegative Ricci curvature and admit Green functions with the monotonicity properties proved by Colding.
Invoked to apply the monotonicity formulas that are the starting point of the quantitative analysis.

pith-pipeline@v0.9.0 · 5624 in / 1261 out tokens · 57012 ms · 2026-05-19T10:29:53.820795+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

From the Green functions with poles at (k+1)-many independent points, k-splitting functions are constructed with regularity quantitatively controlled by the pinching. Moreover, the pinching at these independent points controls the distance to the nearest cone of the form R^k × C(X).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Fx(r) := (Ax − 2(n−1)Vx)(r) … F′x(r) = r^{−1−n}/2 ∫_{b_x≤r} |Hess b²_x − (Δb²_x / n)g|² + Ric(∇b²_x, ∇b²_x) dV

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.