Pith. sign in

REVIEW 1 minor 96 references

Integral type Gauss-Green formula on non-collapsed RCD spaces and its applications

T0 review · 0 major / 1 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 An integral Gauss-Green formula holds on non-collapsed RCD spaces via strong locality of the Laplacian and eigenfunction approximation.

desk verdict The paper gives an integral Gauss-Green formula on non-collapsed RCD spaces via Laplacian locality and eigenfunction approximation, then applies it to monotonicity formulas and a mean-curvature asymptotic. read the letter →

arxiv 2606.01108 v1 pith:2RZCBTOA submitted 2026-05-31 math.DG math.MG

Zhangkai Huang This is my paper
classification math.DGmath.MG
keywords RCDspacesGauss-GreenformulamonotonicityformulasmeancurvaturesyntheticgeometryeigenfunctionapproximationRiccinon-collapsed
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 an integral Gauss-Green formula on non-collapsed RCD spaces. It relies on the strong locality of the Laplacian combined with approximation by eigenfunctions to obtain the identity without extra regularity. This extends classical integration by parts to synthetic spaces with lower Ricci curvature bounds. The formula then generalizes Colding's monotonicity formulas and produces an asymptotic relation between hypersurface mean curvature at a point and the volume of small balls centered at that point. A reader would care because these identities underpin geometric analysis and comparison results on singular metric spaces.

What carries the argument

The integral Gauss-Green formula on non-collapsed RCD spaces, obtained from strong locality of the Laplacian and eigenfunction approximation.

What would settle it

A concrete counterexample would be any non-collapsed RCD space together with a vector field for which the integral of the divergence differs from the corresponding boundary integral, or for which the claimed mean-curvature-to-volume asymptotic fails to hold.

Watch

Extended reading notes

Core claim

On non-collapsed RCD spaces the integral of the divergence of a suitable vector field equals the boundary integral of its normal component. The identity is obtained from the strong locality of the Laplacian together with an eigenfunction approximation method. As direct consequences the formula generalizes Colding's monotonicity formulas to this setting and yields an asymptotic formula that links the mean curvature of a hypersurface at a point to the volume of small balls centered at the point.

Load-bearing premise

The strong locality of the Laplacian holds on non-collapsed RCD spaces and eigenfunction approximation produces the integral identity without additional regularity assumptions.

Editorial extensions

If this is right

  • Colding's monotonicity formulas extend directly to non-collapsed RCD spaces.
  • An asymptotic formula holds relating hypersurface mean curvature at a point to the volume of small balls centered there.
  • The Gauss-Green identity applies to hypersurfaces and vector fields in these spaces without further smoothness requirements.

Reading between the lines

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

  • The identity may support the construction of varifold or current theory on non-collapsed RCD spaces.
  • It could be applied to study stability questions for geometric inequalities in singular spaces with synthetic curvature bounds.
  • Similar approximation techniques might adapt the formula to collapsed RCD spaces under suitable modifications.
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

0 major / 1 minor

Summary. The manuscript proves an integral-type Gauss-Green formula on non-collapsed RCD spaces by combining the strong locality of the Laplacian with an eigenfunction approximation technique. The formula is then applied to generalize Colding's monotonicity formulas and to derive an asymptotic relation between the mean curvature of a hypersurface at a point and the volume of small balls centered at that point.

Significance. If the derivation holds, the work supplies a useful analytic identity for non-collapsed RCD spaces that extends classical integration-by-parts results to singular metric-measure spaces with Ricci bounds. The applications to monotonicity formulas and mean-curvature asymptotics are of direct interest in geometric analysis on RCD spaces and could facilitate further study of hypersurfaces and volume monotonicity in this setting.

minor comments (1)
  1. [Introduction] The abstract is concise; the introduction would benefit from a brief comparison with existing Gauss-Green results on RCD spaces (e.g., those relying on different approximation schemes) to clarify the novelty of the eigenfunction method.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The derivation proceeds from the strong locality of the Laplacian (an established property on the spaces in question) together with an eigenfunction approximation technique to obtain the integral Gauss-Green formula. The abstract and reader's summary present this as a direct construction without any step that defines the target identity in terms of itself, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content reduces to the present result. The subsequent applications to monotonicity formulas and mean-curvature asymptotics are consequences of the derived identity rather than inputs that force it. No quoted equation or definitional move exhibits the reduction patterns required for a positive circularity finding.

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

Review performed from abstract only; no explicit free parameters, invented entities, or detailed axioms are stated in the provided text.

assumptions (2)
  • domain assumption Strong locality of the Laplacian on non-collapsed RCD spaces
    Cited as a key ingredient in the proof method.
  • domain assumption Applicability of eigenfunction approximation to derive the integral identity
    Used to establish the main formula.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integral type Gauss-Green formula on non-collapsed RCD spaces and its applications." pith.science (2026). https://pith.science/paper/2RZCBTOA

@misc{pith2026260601108,
  author       = {Pith},
  title        = {Pith review of: Integral type Gauss-Green formula on non-collapsed RCD spaces and its applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2RZCBTOA}},
  note         = {Machine review of arXiv:2606.01108}
}
read the original abstract

We prove an integral type Gauss-Green formula on non-collapsed RCD spaces using the strong locality of the Laplacian and an eigenfunction approximation method. As applications, we generalize Colding's monotonicity formulas and prove an asymptotic formula linking the mean curvature of a hypersurface at a given point to the volume of small balls centered at that point.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

96 extracted references · 4 canonical work pages

  1. [1]

    Rajala , title =

    T. Rajala , title =. Calc. Var. Partial Differential Equations , number =

  2. [2]

    Cheeger and T

    J. Cheeger and T. H. Colding , TITLE =. Ann. of Math. (2) , VOLUME =. 1996 , NUMBER =

    1996

  3. [3]

    Hajlasz and P

    P. Hajlasz and P. Koskela , title =. Mem. Amer. Math. Soc. , pages =

  4. [4]

    Mondino and D

    A. Mondino and D. Semola , title=. arXiv preprint arXiv:2107.12344 , year=

    work page arXiv

  5. [5]

    Cheeger , TITLE =

    J. Cheeger , TITLE =. Geom. Funct. Anal. , VOLUME =. 1999 , NUMBER =

    1999

  6. [6]

    Jiang , title =

    R. Jiang , title =. J. Funct. Anal. , volume =

  7. [7]

    Cheeger and W

    J. Cheeger and W. Jiang and A. Naber , journal=

  8. [8]

    Cheeger and T

    J. Cheeger and T. H. Colding , title =. J. Differential Geom. , number =

Show all 96 references
  1. [9]

    Cheeger and T

    J. Cheeger and T. H. Colding , journal=. 2000 , volume=

    2000

  2. [10]

    Cones over metric measure spaces and the maximal diameter theorem , author=. J. Math. Pures Appl. , volume=

  3. [11]

    Ambrosio and N

    L. Ambrosio and N. Gigli and G. Savar. Duke Math. J. , volume=

  4. [12]

    Erbar and K

    M. Erbar and K. Kuwada and K. T. Sturm , journal=

  5. [13]

    Ambrosio and N

    L. Ambrosio and N. Gigli and G. Savar. Bakry--\'. Ann. Probab. , volume=

  6. [14]

    Ambrosio and A

    L. Ambrosio and A. Mondino and G. Savar\'. Nonlinear diffusion equations and curvature conditions in metric measure spaces , JOURNAL =. 2019 , NUMBER =

    2019

  7. [15]

    Gigli and A

    N. Gigli and A. Mondino and G. Savar. Proc. London Math. Soc. , volume=

  8. [16]

    Fukaya , journal=

    K. Fukaya , journal=. Collapsing of

  9. [17]

    E. Bru\'. Constancy of the dimension for. Commun. Pure Appl. Math. , volume=

  10. [18]

    Can. Math. Bull. , volume =. 2019 , pages =

    2019

  11. [19]

    Galaz-Garcia and M

    F. Galaz-Garcia and M. Kell and A. Mondino and G. Sosa , journal=

  12. [20]

    Deng , journal=

    Q. Deng , journal=. 2025 , volume=

    2025

  13. [21]

    K. T. Sturm , year =

  14. [22]

    K. T. Sturm , title =. Acta Math. , number =

  15. [23]

    Ricci curvature for metric-measure spaces via optimal transport , author=. Ann. Math. , pages=

  16. [24]

    arXiv preprint arXiv:1302.5555 , year=

    The splitting theorem in non-smooth context , author=. arXiv preprint arXiv:1302.5555 , year=

    arXiv

  17. [25]

    arXiv preprint arXiv:2412.20841 , year=

    Compact harmonic RCD (K,N) spaces are harmonic manifolds , author=. arXiv preprint arXiv:2412.20841 , year=

  18. [26]

    Cheeger and T

    J. Cheeger and T. H. Colding , journal =. 1996 , pages =

    1996

  19. [27]

    Ricci curvature and volume convergence , author=. Ann. Math. , year=

  20. [28]

    Jiang and H

    R. Jiang and H. Li and H. Zhang , journal=

  21. [29]

    2004 , publisher=

    Topics on analysis in metric spaces , author=. 2004 , publisher=

    2004

  22. [30]

    Ambrosio and S

    L. Ambrosio and S. Honda and D. Tewodrose , journal=

  23. [31]

    Brena and N

    C. Brena and N. Gigli and S. Honda and X. Zhu , pages =. J. Reine Angew. Math. , year =

  24. [32]

    2016 , journal=

    From volume cone to metric cone in the nonsmooth setting , author =. 2016 , journal=

    2016

  25. [33]

    Carron and D

    G. Carron and D. Tewodrose , journal=. 2022 , volume=

    2022

  26. [34]

    K. T. Sturm , title =. Osaka J. Math. , year =

  27. [35]

    K. T. Sturm , journal=. 1996 , volume=

    1996

  28. [36]

    Ambrosio and F

    L. Ambrosio and F. Stra and D. Trevisan , journal =

  29. [37]

    Ambrosio and S

    L. Ambrosio and S. Honda , TITLE =. Measure theory in non-smooth spaces , SERIES =

  30. [38]

    Honda , pages =

    S. Honda , pages =. J. Reine Angew. Math. , year =

  31. [39]

    Ambrosio and S

    L. Ambrosio and S. Honda , journal =

  32. [40]

    A sufficient condition to a regular set being of positive measure on spaces , author=. Potent. Anal. , volume=

  33. [41]

    Gigli , TITLE =

    N. Gigli , TITLE =. Mem. Amer. Math. Soc. , VOLUME =. 2018 , NUMBER =

    2018

  34. [42]

    Ambrosio and S

    L. Ambrosio and S. Honda and J. W. Portegies and D. Tewodrose , journal=

  35. [43]

    Equivalence of two different notions of tangent bundle on rectifiable metric measure spaces , author=. Comm. Anal. and Geom. , volume=

  36. [44]

    Zhang and X

    H. Zhang and X. Zhu , journal=. 2019 , volume=

    2019

  37. [45]

    Willmore , title =

    T. Willmore , title =. J. Lond. Math. Soc. , volume =

  38. [46]

    2011 , author =

    On the volume of the intersection of two geodesic balls , journal =. 2011 , author =

    2011

  39. [47]

    A characterization of harmonic spaces , author=. J. Differential Geom. , volume=

  40. [48]

    Z. Szab. J. Differential Geom. , volume=

  41. [49]

    1978 , publisher=

    Manifolds all of whose geodesics are closed , author=. 1978 , publisher=

    1978

  42. [50]

    Damek and F

    E. Damek and F. Ricci , journal=

  43. [51]

    L. C. Evans , title =. 2025 , publisher =

    2025

  44. [52]

    Rectifiable sets in metric and Banach spaces , author=. Math. Ann. , volume=. 2000 , pages=

    2000

  45. [53]

    Mondino and A

    A. Mondino and A. Naber , TITLE =. J. Eur. Math. Soc. , FJOURNAL =. 2019 , NUMBER =

    2019

  46. [54]

    On a conjecture of Cheeger , booktitle =

    G. On a conjecture of Cheeger , booktitle =

  47. [55]

    E. Bru\'. 2023 , pages =

    2023

  48. [56]

    Cavalletti and A

    F. Cavalletti and A. Mondino , title =. Anal. PDE , publisher =

  49. [57]

    Cavalletti , TITLE =

    F. Cavalletti , TITLE =. Nonlinear Anal. , VOLUME =. 2014 , PAGES =

    2014

  50. [58]

    Bianchini and F

    S. Bianchini and F. Cavalletti , TITLE =. Comm. Math. Phys. , VOLUME =. 2013 , NUMBER =

    2013

  51. [59]

    Cavalletti and A

    F. Cavalletti and A. Mondino , TITLE =. Invent. Math. , VOLUME =. 2017 , NUMBER =

    2017

  52. [60]

    Cavalletti and A

    F. Cavalletti and A. Mondino , TITLE =. Int. Math. Res. Not. IMRN , YEAR =

  53. [61]

    Cavalletti and A

    F. Cavalletti and A. Mondino , TITLE =. Commun. Contemp. Math. , VOLUME =. 2017 , NUMBER =

    2017

  54. [62]

    D. H. Fremlin , TITLE =

  55. [63]

    Cavalletti and E

    F. Cavalletti and E. Milman , TITLE =. Invent. Math. , VOLUME =. 2021 , NUMBER =

    2021

  56. [64]

    A. Bj\". 2011 , publisher=

    2011

  57. [65]

    Honda , TITLE =

    S. Honda , TITLE =. Comment. Math. Helv. , VOLUME =. 2021 , NUMBER =

    2021

  58. [66]

    Angles between curves in metric measure spaces , author=. Anal. Geom. Metr. Space , volume=

  59. [67]

    E. Bru\'. Geom. Funct. Anal. , volume=

  60. [68]

    Han , TITLE =

    B. Han , TITLE =. J. Geom. Anal. , VOLUME =. 2018 , NUMBER =

    2018

  61. [69]

    Hulin and M

    D. Hulin and M. Troyanov , TITLE =. Amer. Math. Monthly , VOLUME =. 2003 , NUMBER =

    2003

  62. [70]

    E. Bru\'. Constancy of the dimension in codimension one and locality of the unit normal on. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , VOLUME =. 2023 , NUMBER =

    2023

  63. [71]

    Functions of bounded variation on “good” metric spaces , JOURNAL =

    M. Functions of bounded variation on “good” metric spaces , JOURNAL =. 2003 , NUMBER =

    2003

  64. [72]

    Ambrosio and E

    L. Ambrosio and E. Bru\'. Geom. Funct. Anal. , VOLUME =. 2019 , NUMBER =

    2019

  65. [73]

    Gigli and B

    N. Gigli and B. Han , TITLE =. J. Funct. Anal. , VOLUME =. 2016 , PAGES =

    2016

  66. [74]

    Ambrosio and A

    L. Ambrosio and A. Mondino and G. Savar\'. J. Geom. Anal. , volume=. 2014 , title=

    2014

  67. [75]

    Biroli and U

    M. Biroli and U. Mosco , year=. Ann. Mat. Pura Appl. , volume=

  68. [76]

    Burago and M

    Y. Burago and M. Gromov and G. Perelman , journal=

  69. [77]

    Abresch and D

    U. Abresch and D. Gromoll , title =. J. Amer. Math. Soc. , volume =. 1990 , pages =

    1990

  70. [78]

    Gigli and S

    N. Gigli and S. Mosconi , title =. Discrete Contin. Dyn. Syst. , volume =. 2014 , pages =

    2014

  71. [79]

    Honda , title =

    S. Honda , title =. Geom. Topol. , number =

  72. [80]

    Mondino and G

    A. Mondino and G. Wei , TITLE =. J. Reine Angew. Math. , VOLUME =. 2019 , PAGES =

    2019

  73. [81]

    H. S. Proc. Edinburgh Math. Soc. , VOLUME =. 1931 , PAGES =

    1931

  74. [82]

    K. T. Sturm , TITLE =. J. Reine Angew. Math. , VOLUME =. 1994 , PAGES =

    1994

  75. [83]

    Honda , TITLE =

    S. Honda , TITLE =. Geom. Topol. , VOLUME =. 2020 , PAGES =

    2020

  76. [84]

    Davies , title =

    E. Davies , title =. J. Lond. Math. Soc. , volume =

  77. [85]

    T. H. Colding and W. P. Harmonic functions with polynomial growth , journal =

  78. [86]

    Colding , title =

    T. Colding , title =. Acta Math. , volume =

  79. [87]

    Park , title=

    J. Park , title=. arXiv preprint arXiv: 2410.01429v1 , year=

  80. [88]

    Debin and N

    C. Debin and N. Gigli and E. Pasqualetto , title =. Potential Analysis , volume =

  81. [89]

    Honda and Y

    S. Honda and Y. Peng , title =. Proc. Roy. Soc. Edinburgh Sect. A , volume =

  82. [90]

    Zhang and X

    H. Zhang and X. Zhu , title =. Comm. Anal. Geom. , volume =

  83. [91]

    Petrunin , title =

    A. Petrunin , title =. M

  84. [92]

    T. H. Colding and W. P. Amer. J. Math. , volume =

  85. [93]

    K. T. Sturm , title =. Math. Ann. , volume =

  86. [94]

    Garofalo and A

    N. Garofalo and A. Mondino , title =. Nonlinear Anal. , volume =

  87. [95]

    Ann. Fenn. Math. , author=. 2021 , pages=

    2021

  88. [96]

    Antonelli and E

    G. Antonelli and E. Bru. Anal. Geom. Metr. Spaces , volume =

Pith tools

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