Pith. sign in

REVIEW 1 major objections 8 references

Nonnegative Ricci Curvature and Uniformly Convex Boundary Forces Compactness

T0 review · 1 major / 0 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A complete Riemannian manifold with nonnegative Ricci curvature and uniformly convex boundary (h ≥ 1) must be compact with finite fundamental group.

desk verdict Claims to prove Li's compactness conjecture for Ric ≥0 and h≥1 via monotone quantities from Neumann harmonic functions, but that construction is the part that needs checking. read the letter →

arxiv 2605.31477 v1 pith:CCJ5GDXX submitted 2026-05-29 math.DG math.MG

Zetian Yan , Xingyu Zhu This is my paper · ORCID
classification math.DGmath.MG
keywords nonnegativeRiccicurvatureuniformlyconvexboundarysecondfundamentalformcompactnessharmonicfunctionsNeumannconditiongroupcompleteRiemannianmanifold
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that any complete Riemannian manifold whose Ricci curvature is nonnegative and whose boundary has second fundamental form bounded below by 1 is necessarily compact. Compactness then forces the fundamental group to be finite. A sympathetic reader cares because the result rules out infinite-volume examples that satisfy these curvature conditions and settles a conjecture of M. Li. The argument proceeds by constructing monotone quantities from positive proper harmonic functions that satisfy Neumann boundary conditions; these quantities cannot exist on a non-compact manifold under the given curvature hypotheses.

What carries the argument

Monotone quantities built from positive proper harmonic functions satisfying Neumann boundary conditions, which are shown to be monotonic under Ric ≥ 0 and h ≥ 1 and thereby force the manifold to be compact.

What would settle it

Exhibit a non-compact complete Riemannian manifold with Ric ≥ 0 everywhere and second fundamental form h ≥ 1 on the boundary, or produce a calculation showing that one of the claimed monotone quantities fails to be monotonic.

Watch

Extended reading notes

Core claim

We prove that if a complete Riemannian manifold with boundary has Ric ≥ 0 and the second fundamental form of the boundary satisfies h ≥ 1, then the manifold is compact. As a consequence its fundamental group is finite. The proof proceeds by constructing monotone quantities from positive proper harmonic functions with Neumann boundary conditions.

Load-bearing premise

The construction of monotone quantities from positive proper harmonic functions with Neumann boundary condition is valid and these quantities suffice to force compactness when combined with Ric ≥ 0 and h ≥ 1.

Editorial extensions

If this is right

  • Any such manifold is compact.
  • The fundamental group of any such manifold is finite.
  • No non-compact examples exist under the stated curvature and boundary conditions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same monotone-quantity technique might adapt to other lower bounds on the second fundamental form.
  • The result limits the possible asymptotic geometry of ends for manifolds with Ric ≥ 0.
  • Compactness here could be used to obtain diameter bounds or eigenvalue estimates on the same class of manifolds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper proves that any complete Riemannian manifold with nonnegative Ricci curvature and uniformly convex boundary (second fundamental form satisfying h ≥ 1) must be compact, and therefore has finite fundamental group. The argument constructs positive proper harmonic functions satisfying the Neumann boundary condition and derives monotone quantities from them whose monotonicity, combined with the curvature hypotheses, yields a contradiction with non-compactness.

Significance. If the central construction holds, the result confirms M. Li's compactness conjecture and supplies a new analytic tool for controlling volume growth and topology on manifolds with boundary under Ric ≥ 0. The method of building monotone quantities from harmonic functions with Neumann data is a natural extension of existing techniques in geometric analysis and, when made fully explicit, would be a reusable contribution.

major comments (1)
  1. [Abstract / proof description paragraph] The abstract and proof sketch describe the construction of monotone quantities from positive proper harmonic functions u with ∂_ν u = 0, but the explicit formula for the quantity (presumably an integral involving |∇u|² or a Bochner expression) and the boundary-term estimate that converts h ≥ 1 into a favorable sign are not supplied. This step is load-bearing for the compactness conclusion; without the formula and the sign control, the argument cannot be verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for greater explicitness in the presentation of the central construction. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract / proof description paragraph] The abstract and proof sketch describe the construction of monotone quantities from positive proper harmonic functions u with ∂_ν u = 0, but the explicit formula for the quantity (presumably an integral involving |∇u|² or a Bochner expression) and the boundary-term estimate that converts h ≥ 1 into a favorable sign are not supplied. This step is load-bearing for the compactness conclusion; without the formula and the sign control, the argument cannot be verified.

    Authors: We agree that the abstract and the brief proof description in the introduction are high-level summaries and do not contain the explicit formula for the monotone quantity or the detailed boundary-term estimates. The full construction, including the integral expression derived from |∇u|² together with the Bochner identity and the sign control obtained from the Neumann condition combined with h ≥ 1, appears in the body of the paper. To improve accessibility and verifiability directly from the introduction, we will revise the manuscript by expanding the proof sketch to include the explicit monotone quantity and the key boundary estimate. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; analytic construction of monotone quantities is independent of the target compactness statement

full rationale

The paper states it confirms an external conjecture of M. Li by constructing monotone quantities from positive proper harmonic functions satisfying the Neumann boundary condition, then combining them with Ric ≥ 0 and h ≥ 1 to reach a contradiction with non-compactness. No equations or steps are quoted that define a quantity in terms of the compactness conclusion itself, fit parameters to data and relabel them predictions, or rely on a load-bearing self-citation whose content reduces to the present claim. The derivation chain therefore remains self-contained against external mathematical benchmarks and receives the default non-circularity finding.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Review based solely on abstract; no explicit free parameters, invented entities, or nonstandard axioms are stated. The proof method invokes standard existence and properties of harmonic functions on manifolds with boundary.

assumptions (1)
  • domain assumption Existence and suitable properties of positive proper harmonic functions satisfying Neumann boundary conditions on the given manifolds
    The abstract states that the proof uses monotone quantities constructed via these functions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonnegative Ricci Curvature and Uniformly Convex Boundary Forces Compactness." pith.science (2026). https://pith.science/paper/CCJ5GDXX

@misc{pith2026260531477,
  author       = {Pith},
  title        = {Pith review of: Nonnegative Ricci Curvature and Uniformly Convex Boundary Forces Compactness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CCJ5GDXX}},
  note         = {Machine review of arXiv:2605.31477}
}
abstract

We confirm a compactness conjecture of M. Li. If a complete Riemannian manifold has nonnegative Ricci curvature and uniformly convex boundary in the sense that the second fundamental form satisfies $h\ge1$. Then we prove it is compact, and consequently has finite fundamental group. The proof uses monotone quantities constructed via positive proper harmonic functions with Neumann condition.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 2 canonical work pages

  1. [1]

    [AMMO23] Virginia Agostiniani, Carlo Mantegazza, Lorenzo Mazzieri, and Francesca Oronzio,A new proof of the Rie- mannian Penrose inequality, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl.34(2023), no. 3, 715–726. MR4681223 [AMO24] Virginia Agostiniani, Lorenzo Mazzieri, and Francesca Oronzio,A Green’s function proof of the positive mass theorem, Comm. Ma...

    2023

  2. [2]

    Bray, Demetre P

    MR4707045 [BKKS22] Hubert L. Bray, Demetre P. Kazaras, Marcus A. Khuri, and Daniel L. Stern,Harmonic functions and the mass of 3-dimensional asymptotically flat Riemannian manifolds, J. Geom. Anal.32(2022), no. 6, Paper No. 184,

    2022

  3. [3]

    Pure Appl

    MR4411747 27 [BS20] Elia Bru´ e and Daniele Semola,Constancy of the dimension forRCD(K, N)spaces via regularity of La- grangian flows, Comm. Pure Appl. Math.73(2020), no. 6, 1141–1204. MR4156601 [BZ77] Yu. D. Burago and V. A. Zalgaller,Convex sets in Riemannian spaces of non-negative curvature, Russian Mathematical Surveys32(1977), no. 3, 1–57. [CM13] Tob...

    work page arXiv 2020

  4. [4]

    Hamilton,Convex hypersurfaces with pinched second fundamental form, Comm

    MR2569498 [Ham94] Richard S. Hamilton,Convex hypersurfaces with pinched second fundamental form, Comm. Anal. Geom. 2(1994), no. 1, 167–172. MR1312684 [Han20] Bang-Xian Han,Measure rigidity of synthetic lower Ricci curvature bound on Riemannian manifolds, Adv. Math.373(2020), 107327,

    1994

  5. [5]

    Ann.356(2013), no

    MR4129481 [HN13] Wolfhard Hansen and Ivan Netuka,On the existence of Evans potentials, Math. Ann.356(2013), no. 4, 1283–1302. MR3072801 [HW09] Fengbo Hang and Xiaodong Wang,Rigidity theorems for compact manifolds with boundary and positive Ricci curvature, J. Geom. Anal.19(2009), no. 3, 628–642. MR2496569 [Ket20] Christian Ketterer,The Heintze-Karcher ine...

    2013

  6. [6]

    [MW26] ,Geometry of three-dimensional manifolds with positive scalar curvature, Amer. J. Math.148 (2026), no. 1, 131–160. MR5025949 [Sak17] Yohei Sakurai,Rigidity of manifolds with boundary under a lower Ricci curvature bound, Osaka J. Math. 54(2017), no. 1, 85–119. MR3619750 [Wan21] Xiaodong Wang,On compact Riemannian manifolds with convex boundary and R...

    2026

  7. [7]

    Yan and X

    MR4903125 [YZ25] Zetian Yan and Xingyu Zhu,Uniqueness of the asymptotic limits for ricci-flat manifolds with linear volume growth(2025), available atarXiv:2510.00420. [YZ26a] ,Topology of 3-manifolds with nonnegative scalar curvature and positive harmonic functions,

    work page arXiv 2025

  8. [8]

    28 [Zhu25] Xingyu Zhu,On the geometry at infinity of manifolds with linear volume growth and nonnegative Ricci curvature, Trans. Amer. Math. Soc.378(2025), no. 1, 503–526. MR4840313 (Z. Yan)Department of Mathematics, UC Santa Barbara, Santa Barbara, CA 93106, USA Email address:ztyan@ucsb.edu (X. Zhu)Department of Mathematics, Michigan State University, Ea...

    2025

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.