Pith. sign in

REVIEW 1 major objections 15 references

Bounding Curvature Measure on Manifolds with Singularities

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

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

Pith's one-line read In n-dimensional Alexandrov spaces with curvature ≥ -1, the integral of scalar curvature over B1(p) on the smooth part is bounded by a constant depending only on n and η.

desk verdict The central claim is false even in the smooth case, as shown by gluing many small spheres with thin tubes while keeping sec >= -1. read the letter →

arxiv 2606.08887 v1 pith:STTFJWYH submitted 2026-06-08 math.DG math.MG

Nan Li This is my paper
classification math.DGmath.MG
keywords AlexandrovspacescalarcurvatureintegralsingularpointsboundtangentconeRiemannianmanifoldwithboundary
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 establishes an upper bound on the integral of scalar curvature for the smooth manifold obtained by removing (n-2,η)-singular points from an Alexandrov space ball. This bound depends only on the dimension n and the parameter η that measures how far the tangent cones are from Euclidean splitting. A sympathetic reader would care because the result prevents curvature from concentrating unboundedly near controlled singularities. It extends an earlier integral bound from complete manifolds to the cases of open manifolds and manifolds with boundary, provided they arise as Alexandrov spaces.

What carries the argument

The (n-2,η)-singular set S^{n-2}_η(X), consisting of points whose tangent cones are η-away from splitting off R^{n-1} isometrically; removing this set leaves the smooth manifold M on which the scalar curvature integral is controlled.

What would settle it

An explicit n-dimensional Alexandrov space X with curvature ≥ -1 together with a point p such that the scalar curvature integral of the corresponding M over B1(p) exceeds every constant that depends only on n and η.

Watch

Extended reading notes

Core claim

Let X be an n-dimensional Alexandrov space with curvature ≥ -1 and η > 0. Define the set of (n-2,η)-singular points whose tangent cones are η-away from splitting off R^{n-1}. For p in X, let M be the smooth manifold given by B2(p) minus that singular set union the boundary of X. The integral of the scalar curvature of M over B1(p) is then bounded above by a constant depending only on n and η. This extends Petrunin's bounded curvature integral result to open manifolds and to smooth manifolds with boundary.

Load-bearing premise

The tangent cones at points in the singular set are η-away from splitting off a Euclidean factor of one higher dimension, so that removing those points leaves a smooth Riemannian manifold with the induced metric.

Editorial extensions

If this is right

  • The scalar curvature integral remains bounded for open manifolds that are Alexandrov spaces.
  • The scalar curvature integral remains bounded for smooth manifolds with boundary that are Alexandrov spaces.
  • The result extends Petrunin's bounded curvature integral theorem from the complete manifold case to these broader settings.

Reading between the lines

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

  • The bound may support compactness theorems for sequences of such Alexandrov spaces with controlled curvature integrals.
  • Analogous integral controls might hold for other curvature tensors under the same removal of (n-2,η)-singular points.
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 claims to prove an upper bound on the integral of scalar curvature over B1(p) ∩ M, where M is the smooth part of an n-dimensional Alexandrov space X with curvature ≥ -1 away from (n-2, η)-singular points and the boundary; the bound depends only on n and η. This is presented as extending Petrunin's result on bounded curvature integrals to open manifolds and manifolds with boundary that arise as Alexandrov spaces.

Significance. If the result held, it would extend Petrunin's theorem on integral curvature bounds from complete manifolds with sectional curvature ≥ -1 to the settings of open manifolds and manifolds with boundary under the Alexandrov assumption with controlled singularities. Such a bound could be useful for analysis on singular spaces.

major comments (1)
  1. [Abstract] Abstract (main claim and special case): the asserted bound reduces, when S^{n-2}_η(X) = ∅, to the statement that any smooth n-manifold with sec ≥ -1 has ∫_{B1(p)} Scal dvol ≤ C(n). This is false. Consider the following sequence of smooth 3-manifolds with sec ≥ 0 (hence Alexandrov with curvature ≥ -1): connect k spheres of radius r = 1/k by thin tubes of cross-section radius s = 1/k^2 and length L = 1/k using the product metric, smoothing junctions while preserving sec ≥ 0. Place the entire structure inside a set of intrinsic diameter < 1 so that it lies in B1(p). Each sphere contributes ≈ 8π to the integral (Scal = 2/r^2, area 4π r^2) while tubes contribute O(L); the total integral ∼ 8π k → ∞ as k → ∞, contradicting the existence of any uniform C(3, η). The same construction works in higher dimensions and can be adapted to manifolds with boundary.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying a fundamental issue with the main claim. The counterexample shows that the stated bound does not hold in the smooth case. We will revise the manuscript to correct this error.

read point-by-point responses

  1. Referee: [Abstract] the asserted bound reduces, when S^{n-2}_η(X) = ∅, to the statement that any smooth n-manifold with sec ≥ -1 has ∫_{B1(p)} Scal dvol ≤ C(n). This is false. Consider the sequence of smooth 3-manifolds with sec ≥ 0: connect k spheres of radius r=1/k by thin tubes of cross-section radius s=1/k^2 and length L=1/k using the product metric, smoothing junctions while preserving sec ≥ 0. Place inside intrinsic diameter <1 so it lies in B1(p). Each sphere contributes ≈8π to the integral while tubes contribute O(L); total ∼8πk →∞, contradicting uniform C(3,η). Same in higher dimensions and with boundary.

    Authors: We agree that the referee's counterexample is valid and demonstrates that the claimed bound is false when the (n-2,η)-singular set is empty. The construction yields smooth manifolds with sec ≥0 (hence Alexandrov spaces with curvature ≥-1) in which the scalar curvature integral over a unit ball is arbitrarily large. This directly contradicts the special case of the theorem and the abstract statement that the bound depends only on n and η. The manuscript as written therefore contains an error. We will revise the paper (revision_made=yes) to restrict the claim, for example by requiring a non-empty singular set or by reformulating the result in terms of a curvature measure that incorporates singular contributions. We thank the referee for this observation. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; derivation is a direct proof from Alexandrov assumptions

full rationale

The paper states a theorem bounding ∫ Scal dvol on M = B2(p) ackslash (S^{n-2}_η(X) ∪ ∂X) by C(n,η) under the given Alexandrov curvature ≥ -1 condition and tangent cone separation. No equations, parameters, or reductions are exhibited that equate the claimed bound to a fitted input or self-defined quantity. The extension of Petrunin's result is presented as a special case of the new argument rather than a load-bearing self-citation chain. The derivation chain remains self-contained against the stated geometric hypotheses with no self-definitional, fitted-prediction, or ansatz-smuggling steps visible.

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

Only the abstract is available, so the ledger records the explicit assumptions stated there; no free parameters or invented entities appear in the claim.

assumptions (2)
  • domain assumption X is an n-dimensional Alexandrov space with curvature ≥ -1
    Invoked in the first sentence of the abstract as the ambient space.
  • domain assumption Tangent cones at points in S^{n-2}_η(X) are η-away from splitting off R^{k+1}
    Definition of the singular set whose removal yields the smooth manifold M.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bounding Curvature Measure on Manifolds with Singularities." pith.science (2026). https://pith.science/paper/STTFJWYH

@misc{pith2026260608887,
  author       = {Pith},
  title        = {Pith review of: Bounding Curvature Measure on Manifolds with Singularities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/STTFJWYH}},
  note         = {Machine review of arXiv:2606.08887}
}
abstract

Let $X$ be an $n$-dimensional Alexandrov space with curvature $\ge -1$, and let $\eta > 0$. Define $\mathcal{S}^{k}_\eta(X)$ as the set of $(k,\eta)$-singular points in $X$ whose tangent cones are $\eta$-away from splitting off $\mathbb{R}^{k+1}$ isometrically. For a point $p \in X$, assume that $M = B_2(p) \setminus (\mathcal{S}^{n-2}_\eta(X) \cup \partial X)$ is a smooth manifold equipped with the Riemannian metric induced by $X$. We prove that the integral of the scalar curvature of $M$ over $B_1(p)$ is bounded from above by a constant depending only on $n$ and $\eta$. As a special case, this extends Petrunin's bounded curvature integral result for complete manifolds with lower sectional curvature bound to the setting of open manifolds and smooth manifolds with boundary, provided that these manifolds are Alexandrov spaces.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

15 extracted references · 4 canonical work pages

  1. [1]

    Alexander, V

    S. Alexander, V . Kapovitch, A. Petrunin, An optimal lower curvature bound for convex hypersurfaces in Riemannian manifolds Illinois Journal of Mathematics52, 1031–1033 (2008)

    2008

  2. [2]

    Burago, M

    Y . Burago, M. Gromov, G. Perel’man,A.D. Alexandrov spaces with curvature bounded below, Uspekhi Mat. Nauk,47:2 (1992), 3-51; translation in Russian Math. Surveys,47:2(1992), 1-58

    1992

  3. [3]

    Fujioka, A lower bound for the curvature integral under an upper curvature boundarxiv: 2306.1157

    T. Fujioka, A lower bound for the curvature integral under an upper curvature boundarxiv: 2306.1157

    work page arXiv

  4. [4]

    Green, H

    R.E. Green, H. Wu,C ∞ approximations of convex, subharmonic, and plurisubharmonic functions.Annales scientifiques de l’´Ecole Normale Sup´erieure, Serie 4, V olume 12, (1979) no. 1, pp. 47–84

    1979

  5. [5]

    Gromov,Large riemannian manifolds(Katsuhiro Shiohama, Takashi Sakai, and Toshikazu Sunada, eds.), Springer Berlin Heidelberg, Berlin, Heidelberg, 1986

    M. Gromov,Large riemannian manifolds(Katsuhiro Shiohama, Takashi Sakai, and Toshikazu Sunada, eds.), Springer Berlin Heidelberg, Berlin, Heidelberg, 1986

    1986

  6. [6]

    Lebedeva, A

    N. Lebedeva, A. Petrunin, Curvature tensor of smoothable Alexandrov spacesarxiv: 2202.13420

    work page arXiv

  7. [7]

    Li, Aspects and examples on quantitative stratification with lower curvature bound,Differential Geometry in the Large (London Mathematical Society Lecture Note Series, pp

    N. Li, Aspects and examples on quantitative stratification with lower curvature bound,Differential Geometry in the Large (London Mathematical Society Lecture Note Series, pp. 326-351). Cambridge: Cambridge University Press

  8. [8]

    Nan Li, Quantitative estimates on theC 2-singular sets in Alexandrov spacesarXiv/2306.03382

    work page arXiv

Show all 15 references
  1. [9]

    Nan Li, An Alternative Proof for the Upper Bound of Curvature Integral on Manifolds with Lower Sectional Curvature Bound, J. Math. Study, (2025) V ol. 58, No. 2, pp. 164–173. doi: 10.4208/jms.v58n2.25.03

    2025 doi

  2. [10]

    N. Li, A. Naber, Quantitative estimates on the singular sets of Alexandrov spaces.Peking Mathematical Journal3, (2020), 203 – 234

    2020

  3. [11]

    Naber, Conjectures and Open Questions on the Structure and Regularity of Spaces with Lower Ricci Curvature Bounds, SIGMA16(2020), 104

    A. Naber, Conjectures and Open Questions on the Structure and Regularity of Spaces with Lower Ricci Curvature Bounds, SIGMA16(2020), 104

    2020

  4. [12]

    Y . Otsu, T. Shioya,The Riemannian structure of Alexandrov spaces, J. Differential Geom.,39(1994), 629 – 658

    1994

  5. [13]

    Petrunin,Polyhedral approximations of Riemannian manifolds, Turkish J

    A. Petrunin,Polyhedral approximations of Riemannian manifolds, Turkish J. Math.,27(2003), no.1, 173 – 187

    2003

  6. [14]

    Petrunin, An upper bound for the curvature integral,St

    A. Petrunin, An upper bound for the curvature integral,St. Petersburg Math. J.,20(2009), No. 2, 255 – 265

    2009

  7. [15]

    Yau, Open problems in geometry, Chern – a great geometer of the twentieth century, 275–319,Int

    S.T. Yau, Open problems in geometry, Chern – a great geometer of the twentieth century, 275–319,Int. Press, Hong Kong 1992. DEPARTMENT OFMATHEMATICS, CAPITALNORMALUNIVERSITY, BEIJING, P.R.C. DEPARTMENT OFMATHEMATICS, THECITYUNIVERSITY OFNEWYORK- NYC COLLEGE OFTECHNOLOGY, 300 J...

    1992

Pith tools

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