arxiv: 2605.12403 · v1 · submitted 2026-05-12 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Curvature-free effects from volume growth and ends-counting and their applications

Jintian Zhu, Yuchen Bi

Pith reviewed 2026-05-13 03:27 UTC · model grok-4.3

classification 🧮 math.DG

keywords volume growthmanifold endsmean-concave exhaustionescaping geodesicscurvature-freenonnegative Ricci curvaturenonnegative scalar curvatureKähler manifolds

0 comments

The pith

Any complete non-compact manifold with sublinear volume growth admits a smooth bounded mean-concave exhaustion.

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

The paper identifies two effects in Riemannian geometry that hold without curvature assumptions. Lower sublinear volume growth on a complete non-compact manifold produces a smooth exhaustion function that remains bounded and mean-concave. Separately, a manifold with infinitely many ends must contain geodesic lines that leave every compact subset. These two statements recover the Calabi-Yau minimal-volume-growth theorem and the Cai-Li-Tam finite-ends theorem for nonnegative Ricci curvature by purely volume-and-ends arguments, then extend the same conclusions to nonnegative scalar curvature and to Kähler manifolds with positive holomorphic sectional curvature.

Core claim

We prove that every complete non-compact Riemannian manifold whose volume growth is strictly sublinear admits a smooth bounded mean-concave exhaustion. We also prove that every complete Riemannian manifold with infinitely many ends contains geodesic lines that escape every compact set. These two curvature-free constructions are then used to give new proofs of the Calabi-Yau theorem on minimal volume growth and the Cai-Li-Tam theorem on the number of ends, both originally stated under nonnegative Ricci curvature, and the constructions are shown to work equally well under nonnegative scalar curvature or positive holomorphic sectional curvature on Kähler manifolds.

What carries the argument

A smooth bounded mean-concave exhaustion constructed directly from sublinear volume growth, together with escaping geodesic lines constructed directly from the count of ends.

If this is right

The Calabi-Yau minimal volume growth theorem holds for nonnegative Ricci curvature by a volume-growth argument alone.
The Cai-Li-Tam finite-ends theorem holds for nonnegative Ricci curvature by an ends-counting argument alone.
Both theorems extend verbatim to complete manifolds with nonnegative scalar curvature.
Both theorems extend verbatim to Kähler manifolds with positive holomorphic sectional curvature.

Where Pith is reading between the lines

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

Similar volume-growth or ends-counting constructions might replace curvature comparison in other classical statements that currently rely on Bishop-Gromov-type inequalities.
The exhaustion and escaping-lines results could be tested on manifolds whose curvature changes sign, where standard comparison theorems no longer apply.
The approach suggests that topological or measure-theoretic data alone may suffice for many existence statements previously thought to need curvature bounds.

Load-bearing premise

The manifold is complete and the volume growth is measured by the Riemannian volume form; if either fails the exhaustion or the escaping lines need not exist.

What would settle it

A concrete complete non-compact manifold whose volume growth is strictly sublinear yet admits no smooth bounded mean-concave exhaustion function would falsify the first claim.

read the original abstract

In this paper, we investigate two curvature-free effects from volume growth and ends-counting, respectively. Motivated by generalizing classical results from Ricci curvature to other common curvatures, we establish two main theorems. First, any complete non-compact manifold with lower sublinear volume growth admits a smooth bounded mean-concave exhaustion. Second, any complete manifold with infinitely many ends contains escaping geodesic lines outside every compact subset. As applications, we provide new proofs of the Calabi--Yau minimal volume growth theorem and the Cai--Li--Tam finite-ends theorem for nonnegative Ricci curvature, without relying on the Bishop--Gromov volume comparison theorem or analytic tools specific to Ricci curvature. We further extend these results to Riemannian manifolds with nonnegative scalar curvature and K\"ahler manifolds with positive holomorphic sectional curvature.

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 curvature-free versions of two classical statements on exhaustions and escaping lines, then uses them for alternative proofs of Calabi-Yau and Cai-Li-Tam without Bishop-Gromov.

read the letter

The core contribution is two new statements that do not assume any curvature bound: a complete non-compact manifold with sublinear volume growth has a smooth bounded mean-concave exhaustion, and a complete manifold with infinitely many ends has escaping geodesic lines outside every compact set. The authors then apply these to recover the Calabi-Yau minimal-volume-growth theorem and the Cai-Li-Tam finite-ends theorem for nonnegative Ricci curvature, plus extensions to nonnegative scalar curvature and Kähler manifolds with positive holomorphic sectional curvature. This approach avoids the usual volume-comparison machinery and Ricci-specific analytic tools, which is the clearest novelty in the work. The alternative proofs are direct and the extensions show the statements are not tied to Ricci curvature, so the paper does something useful on that front. The main soft spot is the smoothing step needed for the mean-concave exhaustion. A Lipschitz exhaustion can be built from the distance function under the growth hypothesis, but turning it into a smooth function while preserving the mean-concavity inequality (non-positive trace of the Hessian on level sets) is delicate without curvature control to bound error terms in mollification or convolution. The stress-test note flags this exactly, and the abstract does not isolate how the argument stays curvature-free at that stage. If the full proof supplies a barrier or viscosity construction that works in general, the claim holds; otherwise the first theorem rests on an unverified step. The applications themselves are recoveries of known results rather than new theorems, so the value sits in the method. This paper is aimed at geometers who care about minimal assumptions for volume and ends results, or who work with scalar curvature or Kähler geometry. A reader looking for clean, curvature-decoupled arguments will get something from it. It deserves a serious referee because the claims are stated cleanly and the strategy differs from the classical ones, even though the smoothing detail needs explicit checking in review.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes two curvature-free results on complete Riemannian manifolds: any complete non-compact manifold with lower sublinear volume growth admits a smooth bounded mean-concave exhaustion, and any complete manifold with infinitely many ends contains escaping geodesic lines outside every compact subset. These theorems are applied to recover the Calabi-Yau minimal volume growth theorem and the Cai-Li-Tam finite-ends theorem under nonnegative Ricci curvature without Bishop-Gromov comparison or Ricci-specific tools, and extended to nonnegative scalar curvature and Kähler manifolds with positive holomorphic sectional curvature.

Significance. If the central theorems hold, the work supplies useful curvature-independent tools that generalize classical results from Ricci curvature to weaker settings such as scalar curvature and Kähler geometry with positive holomorphic sectional curvature. The new proofs avoid standard volume comparison theorems, which is a genuine strength, and the curvature-free character of the statements could enable applications on manifolds where curvature bounds are unavailable or undesirable.

major comments (2)

Proof of the first main theorem (smooth bounded mean-concave exhaustion from sublinear volume growth): the construction of a Lipschitz exhaustion from the growth hypothesis is standard, but the subsequent smoothing step that produces a smooth function while preserving mean-concavity (i.e., the inequality on the Laplacian or trace of the Hessian) is not isolated or justified in a curvature-free manner. Standard mollification or inf-convolution on Riemannian manifolds typically requires control on the Hessian of the distance function, which can depend on curvature; an explicit barrier, viscosity, or other curvature-independent argument must be supplied to confirm the inequality survives smoothing.
Application section recovering the Cai-Li-Tam theorem: the reduction via the second main theorem (escaping geodesic lines from infinitely many ends) to conclude finite ends under nonnegative Ricci curvature must be checked for circularity or hidden use of Ricci-specific estimates; the manuscript claims the argument is curvature-free, but the precise passage from escaping lines to the finite-ends conclusion under Ricci ≥ 0 needs an explicit, self-contained derivation that does not tacitly invoke Bishop-Gromov or analytic tools the paper seeks to avoid.

minor comments (2)

Notation for volume growth: the precise definition of 'lower sublinear volume growth' (e.g., liminf r^{-1} Vol(B(r)) = 0 or a stronger o(r) condition) should be stated explicitly in the introduction and used consistently in the statements of the theorems.
References: the manuscript should cite the original Calabi-Yau and Cai-Li-Tam papers when stating the recovered results, and clarify which parts of the classical proofs are replaced by the new curvature-free theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

Referee: Proof of the first main theorem (smooth bounded mean-concave exhaustion from sublinear volume growth): the construction of a Lipschitz exhaustion from the growth hypothesis is standard, but the subsequent smoothing step that produces a smooth function while preserving mean-concavity (i.e., the inequality on the Laplacian or trace of the Hessian) is not isolated or justified in a curvature-free manner. Standard mollification or inf-convolution on Riemannian manifolds typically requires control on the Hessian of the distance function, which can depend on curvature; an explicit barrier, viscosity, or other curvature-independent argument must be supplied to confirm the inequality survives smoothing.

Authors: We thank the referee for this observation. The smoothing step in the proof of the first main theorem uses mollification of the Lipschitz exhaustion function, but we acknowledge that the manuscript does not isolate or explicitly verify preservation of the mean-concavity inequality in a fully curvature-independent manner. We will revise the manuscript by adding an explicit subsection that justifies the smoothing via viscosity solutions and barrier arguments that rely only on the sublinear volume growth hypothesis and do not invoke curvature bounds. revision: yes
Referee: Application section recovering the Cai-Li-Tam theorem: the reduction via the second main theorem (escaping geodesic lines from infinitely many ends) to conclude finite ends under nonnegative Ricci curvature must be checked for circularity or hidden use of Ricci-specific estimates; the manuscript claims the argument is curvature-free, but the precise passage from escaping lines to the finite-ends conclusion under Ricci ≥ 0 needs an explicit, self-contained derivation that does not tacitly invoke Bishop-Gromov or analytic tools the paper seeks to avoid.

Authors: We appreciate the referee's scrutiny of the application. The argument derives a contradiction between the existence of escaping geodesics (from the second main theorem) and the volume growth properties under nonnegative Ricci curvature. However, we agree that the passage from escaping lines to finiteness of ends should be made fully explicit and self-contained. In the revision we will expand this derivation with step-by-step details that use only the stated assumptions and the escaping-lines conclusion, without tacit appeal to Bishop-Gromov or other Ricci-specific comparison tools. revision: yes

Circularity Check

0 steps flagged

No significant circularity; theorems derived from volume growth and ends-counting without reduction to inputs

full rationale

The paper states two main theorems directly from sublinear volume growth (for smooth bounded mean-concave exhaustion) and infinite ends (for escaping geodesics), then applies them to reprove Calabi-Yau and Cai-Li-Tam results without Bishop-Gromov or Ricci-specific tools. No self-definitional steps, fitted parameters called predictions, or load-bearing self-citations appear in the abstract or claims. The derivation chain remains independent of the target applications, satisfying the self-contained criterion.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard definitions of complete Riemannian manifolds, volume growth, and ends; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)

domain assumption The manifold is a complete Riemannian manifold equipped with its Riemannian volume measure.
Required for the notions of volume growth, ends, geodesic lines, and exhaustion functions to be well-defined.

pith-pipeline@v0.9.0 · 5431 in / 1245 out tokens · 103742 ms · 2026-05-13T03:27:54.571804+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 1.2: any complete non-compact manifold with lower sublinear volume growth admits a smooth bounded mean-concave exhaustion... soap bubble method with inner obstacle... mean-convex smoothing theorem
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear
Theorem 1.4: any complete manifold with infinitely many ends contains escaping geodesic lines... Hopf-Rinow + limit of minimizing segments

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Zhu, Jintian , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/tran/8263 , URL =

work page doi:10.1090/tran/8263 2021
[2]

Federer, Herbert , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1959 , PAGES =. doi:10.2307/1993504 , URL =

work page doi:10.2307/1993504 1959
[3]

, TITLE =

Clarke, Frank H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.2307/1997202 , URL =

work page doi:10.2307/1997202 1975
[4]

Manuscripta Math

Rifford, Ludovic , TITLE =. Manuscripta Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00229-003-0436-7 , URL =

work page doi:10.1007/s00229-003-0436-7 2004
[5]

Bangert, Victor , TITLE =. Arch. Math. (Basel) , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF01304757 , URL =

work page doi:10.1007/bf01304757 1982
[6]

, TITLE =

Ilmanen, T. , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF01246151 , URL =

work page doi:10.1007/bf01246151 1996
[7]

Gromov, Misha , TITLE =. Cent. Eur. J. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.2478/s11533-013-0399-1 , URL =

work page doi:10.2478/s11533-013-0399-1 2014
[8]

Indiana Univ

Yau, Shing Tung , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1976 , NUMBER =. doi:10.1512/iumj.1976.25.25051 , URL =

work page doi:10.1512/iumj.1976.25.25051 1976
[9]

Cai, Mingliang , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1991 , NUMBER =. doi:10.1090/S0273-0979-1991-16038-6 , URL =

work page doi:10.1090/s0273-0979-1991-16038-6 1991
[10]

Li, Peter and Tam, Luen-Fai , TITLE =. J. Differential Geom. , FJOURNAL =. 1992 , NUMBER =

work page 1992
[11]

and Kleiner, Bruce , TITLE =

Croke, Christopher B. and Kleiner, Bruce , TITLE =. Duke Math. J. , FJOURNAL =. 1992 , NUMBER =. doi:10.1215/S0012-7094-92-06723-8 , URL =

work page doi:10.1215/s0012-7094-92-06723-8 1992
[12]

Liu, Gang , TITLE =. Invent. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00222-012-0428-x , URL =

work page doi:10.1007/s00222-012-0428-x 2013
[13]

Geometriae Dedicata , FJOURNAL =

Ehrlich, Paul , TITLE =. Geometriae Dedicata , FJOURNAL =. 1976 , NUMBER =. doi:10.1007/BF00148136 , URL =

work page doi:10.1007/bf00148136 1976
[14]

Journal of Differential Geometry , volume =

Cheeger, Jeff and Gromoll, Detlef , title =. Journal of Differential Geometry , volume =. 1971 , publisher =

work page 1971
[15]

, title =

Myers, Sumner B. , title =. Duke Mathematical Journal , volume =. 1941 , publisher =

work page 1941
[16]

Mathematische Zeitschrift , volume =

Cheng, Shiu-Yuen , title =. Mathematische Zeitschrift , volume =. 1975 , publisher =

work page 1975
[17]

Lott, John , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1515/crelle-2025-0072 , URL =

work page doi:10.1515/crelle-2025-0072 2025
[18]

2024 , eprint=

Calabi-Yau type theorem for complete manifolds with nonnegative scalar curvature , author=. 2024 , eprint=

work page 2024
[19]

, TITLE =

Kazdan, Jerry L. , TITLE =. Math. Ann. , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF01456220 , URL =

work page doi:10.1007/bf01456220 1982
[20]

Zhu, Jintian , TITLE =. J. Differential Geom. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/jdg/1701804153 , URL =

work page doi:10.4310/jdg/1701804153 2023
[21]

, TITLE =

Stallings, John R. , TITLE =. Actes du. 1971 , MRCLASS =

work page 1971
[22]

He, Shihang and Zhu, Jintian , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/proc/17089 , URL =

work page doi:10.1090/proc/17089 2025
[23]

Geometriae Dedicata , FJOURNAL =

Ehrlich, Paul , TITLE =. Geometriae Dedicata , FJOURNAL =. 1976 , NUMBER =. doi:10.1007/BF00148134 , URL =

work page doi:10.1007/bf00148134 1976
[24]

Ambrosio, Luigi and Colesanti, Andrea and Villa, Elena , TITLE =. Math. Ann. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00208-008-0254-z , URL =

work page doi:10.1007/s00208-008-0254-z 2008
[25]

1992 , PAGES =

do Carmo, Manfredo Perdig\ ao , TITLE =. 1992 , PAGES =. doi:10.1007/978-1-4757-2201-7 , URL =

work page doi:10.1007/978-1-4757-2201-7 1992