Pith. sign in

REVIEW 3 major objections 5 minor 33 references

Non-collapsed eGH convergence and dimension

T0 review · 3 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read The paper proves that under non-collapsed equivariant Gromov–Hausdorff convergence, the limit isometry group's dimension is at least the limit superior of the approximating isometry groups' dimensions.

desk verdict A genuinely new result with an elegant framework, but the proof of the load-bearing BGT extension in Theorem 7.1 is only sketched; that gap needs to be closed before the main theorem is fully supported. read the letter →

arxiv 2509.22821 v2 pith:GUVBFDLN submitted 2025-09-26 math.DG math.MG

Jesús Núñez-Zimbrón , Jaime Santos-Rodríguez , Sergio Zamora This is my paper · ORCID
classification math.DGmath.MG MSC 53C2353C2422E15
keywords equivariantGromov–HausdorffconvergencedimensionofisometrygroupsuppersemicontinuityRiccicurvaturelowerboundRCDspacesgoodapproximationsescapenormapproximateBorsuk–Ulam
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

This paper proves a semicontinuity result for symmetry: if a sequence of manifolds with Ricci curvature bounded below and volume non-collapsing converges, equivariantly, to a limit space, then the dimension of the limit's isometry group is at least the limiting dimension of the sequence's isometry groups. This answers a question left open by earlier work that required uniformly bounded orbits. The same statement holds in the synthetic setting of RCD spaces of a fixed essential dimension. The proof reduces the geometric convergence to a group-theoretic statement about 'good approximations' between locally compact groups, then uses an approximate antipodal-map (Borsuk–Ulam) argument. If correct, this makes symmetry dimension an upper semicontinuous invariant of non-collapsed convergence, with rigidity consequences for RCD spaces with large isometry groups.

What carries the argument

The load-bearing object is the 'good approximation': a sequence of maps φ_i from the isometry groups G_i to the limit group G, together with open pre-compact 'regular neighborhoods' A_i ⊂ G_i and A ⊂ G satisfying five conditions (I–V) that force φ_i to be an almost-homomorphism on bounded sets. The proof shows eGH convergence yields such maps. The dimension argument then hinges on the escape norm ∥·∥_A on each G_i (how many powers of an element stay inside A), which is turned into a genuine norm on the Lie algebra of G_i via a convex-hull construction. The key inequality that makes the norm work is the approximate-subadditivity of the escape norm, which the paper obtains by extending Gleason

What would settle it

Exhibit a sequence of Lie groups G_i with the no-small-subgroup property and good approximations to R^k (satisfying conditions I–V) with dim(G_i) > k for infinitely many i; that would refute Theorem 1.10 and hence Theorem A. A concrete starting point is to check whether the escape-norm subadditivity inequality (Lemma 8.6) holds for G_i = R² with A_i = B_{1/i}(0) and a natural projection to R; failure there would show the Gleason-extension step is false.

Watch

Extended reading notes

Core claim

The central claim (Theorem A) is that for any non-collapsing sequence of complete n-manifolds with Ricci ≥ -(n-1) and volume of unit balls ≥ v > 0, any eGH-convergent sequence of closed isometry groups G_i yields dim(G) ≥ limsup dim(G_i), with no boundedness assumption on orbits. The same holds for RCD spaces of essential dimension n. The proof passes through a purely group-theoretic theorem (Theorem 1.10): any sequence of Lie groups G_i with the no-small-subgroup property that admits 'good approximations' to a Lie group G must have dim(G_i) ≤ dim(G) for large i. Good approximations are maps from G_i to G that are almost homomorphisms on precompact neighborhoods, satisfying five regularity c

Load-bearing premise

The proof relies on the unproven claim that the Gleason lemmas, originally proved for finite approximate groups, extend verbatim to open pre-compact symmetric subsets of locally compact groups after replacing counting measure with left-invariant Haar measure; this extension is the only use of condition (I).

Editorial extensions

If this is right

  • Symmetry degree is upper semicontinuous under pointed Gromov–Hausdorff convergence of non-collapsed Riemannian manifolds with Ricci ≥ -(n-1) (Corollary 1.3).
  • For RCD spaces of essential dimension n, the isometry group of a closed subgroup satisfies dim(G) ≤ n(n+1)/2, with equality only for the model spaces Sⁿ, RPⁿ, Rⁿ, Hⁿ, without compactness or action-regularity hypotheses (Theorem 2.2).
  • A non-transitive closed isometry group on an RCD space of essential dimension n has dim(G) ≤ n(n-1)/2, with equality only when the quotient is a real interval or a circle (Theorem 2.3).
  • For a compact G on an RCD space, dim(G) ≤ (n-m)(n-m+1)/2, where m is the essential dimension of the quotient (Theorem 2.5).
  • Given good approximations to a Lie group G, the approximating groups contain a maximal small subgroup whose quotient is a Lie group of dimension ≤ dim(G), provided the groups are generated by elements of bounded displacement (Theorem B).

Reading between the lines

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

  • The group-theoretic core (Theorem 1.10) is likely transferable to any convergence theory that yields good approximations and the no-small-subgroup property, beyond the Ricci/RCD settings considered here.
  • The equality case in dimension bounds for RCD isometry groups suggests a rigidity classification: spaces achieving the bound should be infinitesimally homogeneous, which may lead to a local-to-global rigidity statement not written out in the paper.
  • The proof's only unproven ingredient is the claimed extension of the finite-approximate-group Gleason lemmas to open pre-compact sets with Haar measure; if that extension fails, the escape-norm subadditivity (Lemma 8.6) would need a different proof, though the theorem might still hold.
  • The maximal small subgroup H_i can be viewed as the 'ineffective kernel' of the action at scale zero; its existence suggests that non-collapsed eGH limits forget exactly the infinitesimal symmetries, which could be formalized as a categorical adjunction between convergence and Lie group quotient.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves that the dimension of the isometry group of a non-collapsed Ricci-limit space is upper-semicontinuous under equivariant Gromov–Hausdorff convergence. Concretely, Theorem A states that for closed subgroups G_i ≤ Iso(X_i) of pointed complete n-manifolds with Ric ≥ -(n-1) and vol(B_1(p_i)) ≥ v > 0, if (X_i,G_i,p_i) eGH-converges to (X,G,p), then dim(G) ≥ limsup_i dim(G_i). The same is claimed for RCD spaces of essential dimension n. The proof passes through a new axiomatization of eGH convergence in terms of 'good approximations' between the isometry groups (Theorem C), a reduction to good approximations with target R^k (Lemma 6.1), and an approximate Borsuk–Ulam argument (Theorem 4.21). The main technical engine is a claimed extension of the Breuillard–Green–Tao Gleason lemmas to open pre-compact symmetric subsets of locally compact groups (Theorem 7.1), which is used to construct an escape norm and maximal small subgroups. Applications to dimension bounds for isometry groups of RCD spaces are given in Section 9.

Significance. If the proof is completed, the paper solves a natural open question left by Harvey: the dimension inequality for isometry groups under non-collapsed convergence holds without the compactness or uniform boundedness assumptions on the orbits. The good-approximation framework is a clean and potentially reusable abstraction, and the applications to RCD spaces go beyond previous results by removing compactness, co-Lipschitz, and measure-preservation hypotheses. The paper is generally well organized and the overall strategy is attractive. However, the current version contains a load-bearing unproved extension of BGT's approximate-group Gleason lemmas; the dimension proof depends on that extension at several points. The significance is high, but the manuscript is not yet in publishable form.

major comments (3)
  1. [Section 7, Theorem 7.1] This theorem is the technical heart of the paper, but its proof is only a sketch. It asserts that [BGT12, Theorem 8.1] extends verbatim from finite approximate groups to open pre-compact symmetric subsets of locally compact Hausdorff groups satisfying conditions (I)–(V). The extension is not a formality: the BGT proof uses counting measures and finite covering estimates for powers A,A^2,A^3, while the present setting requires uniform finite covering numbers or a normalization of Haar measure, none of which follows immediately from (I)–(V). The claimed ultralimit 'good model' with 'finite' replaced by 'open pre-compact' must be shown to satisfy the BGT axioms, and the descent of the escape-norm estimate to the original groups must be proved. This is load-bearing: Lemma 8.6, Lemma 8.7, and Theorem 7.3 all rely on Theorem 7.1, and Theorem 1.10 (hence Theorem A) depends on them. The authors
  2. [Section 8, Lemma 8.6] The proof of Lemma 8.6 invokes Lemma 4.22, whose hypothesis is that the open sets B_i satisfy h ∈ B_i^3 \ B_i ⇒ h^2 ∉ B_i. This property is plausible for the small exponential balls B(r) in a Lie group, but the sets B_i are only given by Proposition 4.14 as preimages under φ_i of compact/open neighborhoods, and it is not shown that they inherit this property uniformly in i. Since Lemma 8.6 is the step that converts the escape norm into a subadditive quantity and hence into a genuine norm in Lemma 8.7, this missing verification is not merely cosmetic. It should either be proved directly or absorbed into a fully stated version of Theorem 7.1.
  3. [Section 9, Proof of Theorem 2.3] The equality/rigidity part of Theorem 2.3 is not adequately justified. The proof asserts that geodesics in X/G can be lifted to geodesics in X ('Via a selection argument...'), that a sequence of atomic measures can be chosen with W_2 convergence, and that the non-branching property of X/G forces it to be a one-dimensional manifold. These are nontrivial steps, especially because the group G is not assumed compact and the quotient X/G is not known to be an RCD space. The claim that X/G is non-branching is also quoted without proof or reference. This argument needs to be expanded substantially or replaced before Theorem 2.3 can be accepted.
minor comments (5)
  1. [Abstract / Introduction] The abstract block supplied for the paper attributes the prior result to 'Mazur–Rong–Wang', while the introduction and full-text abstract attribute it to Harvey. Please align these attributions.
  2. [Section 4.4, Proposition 4.14] Typo: 'pais' should be 'pairs' in the last paragraph of the proof.
  3. [Section 4.6] Typo: 'outisde' should be 'outside' in the paragraph after the escape norm definition.
  4. [Section 7, Theorem 7.3] The statement says 'normal neighborhoods' but Definition 1.7 calls them 'regular neighborhoods'. Please use consistent terminology.
  5. [Section 9, Proof of Theorem 2.3] The notation Γ, \tildeΓ, e_0, and the measures ν_n, η_n is introduced very quickly. In particular, the claim that W_2(ν_n,η_n) = W_2(p_#ν_n,p_#η_n) and that the transport is along geodesics projecting to quotient geodesics needs a precise definition and proof.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the dimension inequality is derived from escape norms and Borsuk–Ulam, not from the conclusion; the main weakness is an unproved but non-circular extension of BGT.

full rationale

The central derivation is not circular. Theorem A is reduced via Theorem C to Theorem 1.10, which proves dim(G) >= limsup dim(G_i) for good approximations. The proof of Theorem 1.10 constructs good approximations to R^k (Lemma 6.1), obtains maximal small subgroups from Theorem 7.3, and uses the NSS hypothesis to force them trivial. The escape norm |v|_i is then shown to be comparable to a genuine norm (Lemmas 8.6 and 8.7), and an approximate Borsuk–Ulam argument (Theorem 4.21) yields the dimension inequality. The target dimension k is not assumed in the source; the argument is an independent adversary-style estimate. No fitted parameter is renamed as a prediction, and the conclusion does not appear in the hypotheses. The main technical concern is Theorem 7.1, where the authors assert that the Breuillard–Green–Tao Gleason lemmas extend verbatim from finite approximate groups to open precompact subsets with Haar measure; the proof says only “This is essentially the content of [BGT12, Proposition 7.3]” and that all relevant material “works equally well.” This is an omitted proof and a genuine rigor gap, but it is not circular: BGT is an external source and the extension is not the paper’s conclusion restated. The self-citations in the paper (Proposition 4.7 citing [Zam23], and the RCD NSS property citing [SRZB23]) are auxiliary, parameter-free facts and are not the source of the dimension inequality, so they do not constitute load-bearing circularity. Overall the circularity burden is low, though the BGT extension needs a complete proof.

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

The paper introduces no free parameters; it is a pure structural theorem. The dominant external inputs are standard results in Lie theory, metric geometry, and the approximate-group theory of BGT12. The one genuinely ad hoc assumption is the claimed extension of BGT12 to open pre-compact sets (Theorem 7.1), which is load-bearing and only sketched. No new entities are postulated.

assumptions (6)
  • ad hoc to paper BGT12, Theorem 8.1 (Gleason lemmas for strong approximate groups) extends to open pre-compact subsets of locally compact Hausdorff groups satisfying good-approximation conditions (I)-(V).
    Load-bearing: Theorem 7.1 derives the escape-norm inequality and maximal small subgroups. The paper provides only a sketch and notes the switch from counting measure to Haar measure.
  • domain assumption For non-collapsing sequences of Riemannian manifolds satisfying (1.2), the groups Iso(X_i) have the NSS property.
    Cited from [PR18, Theorem 0.8] (and [SRZB23, Theorem 93] for RCD); used to make the maximal small subgroups H_i trivial in Theorem 1.10. This is where the curvature hypothesis enters.
  • domain assumption The limit group G is a Lie group.
    For Riemannian manifolds via [CN12, Theorem 1.14]; for RCD spaces via [GSR19, Sos18]. Needed to define dimension k and use the Lie algebra machinery.
  • standard math Approximate Borsuk-Ulam (Theorem 4.21) holds as stated.
    Proved by triangulation from the classical Borsuk-Ulam theorem; used to force k ≥ n_i.
  • standard math Gleason-Yamabe theorem: a locally compact group containing no nontrivial small subgroups is a Lie group.
    Quoted as Theorem 7.2; used to show G_i' = ⟨A_i⟩/H_i is a Lie group.
  • standard math Fukaya-Yamaguchi compactness theorem.
    Theorem 4.5; guarantees subsequential equivariant GH limits exist and is used in applications (Lemma 9.1, Theorems 2.2-2.5).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-collapsed eGH convergence and dimension." pith.science (2026). https://pith.science/paper/GUVBFDLN

@misc{pith2026250922821,
  author       = {Pith},
  title        = {Pith review of: Non-collapsed eGH convergence and dimension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GUVBFDLN}},
  note         = {Machine review of arXiv:2509.22821}
}
abstract

Let $(X_i,p_i)$ be a non-collapsing sequence of pointed $n$-dimensional Riemannian manifolds with a uniform lower Ricci curvature bound, and $ G_i \leq \operatorname{Iso} (X_i)$ a sequence of closed subgroups of isometries. We show that if the triples $(X_i, G_i, p_i)$ converge in the equivariant Gromov--Hausdorff sense to a triple $(X,G,p)$, then $\operatorname{dim} (G) \geq \limsup _{i \to \infty} \operatorname{dim} (G_i)$, generalizing a result of Mazur--Rong--Wang to the non-compact setting. The argument also applies in the non-smooth setting of $\operatorname{RCD}$ spaces. As an application, we investigate $\operatorname{RCD}$ spaces with large isometry groups, extending results of Galaz-Garc\'ia--Kell--Mondino--Sosa and Galaz-Garc\'ia--Guijarro.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 1 linked inside Pith

  1. [1]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savar\'e. Metric measure spaces with riemannian ricci curvature bounded from below. Duke Mathematical Journal , 163(7):1405--1490, 2014

    2014

  2. [2]

    Stability and equivariant G romov- H ausdorff convergence

    Mohammad Alattar. Stability and equivariant G romov- H ausdorff convergence. Bull. Lond. Math. Soc. , 56(8):2585--2596, 2024

    2024

  3. [3]

    The structure of approximate groups

    Emmanuel Breuillard, Ben Green, and Terence Tao. The structure of approximate groups. Publ. Math. Inst. Hautes \'E tudes Sci. , 116:115--221, 2012

    2012

  4. [4]

    Localization and tensorization properties of the curvature-dimension condition for metric measure spaces

    Kathrin Bacher and Karl-Theodor Sturm. Localization and tensorization properties of the curvature-dimension condition for metric measure spaces. Journal of Functional Analysis , 259(1):28--56, 2010

    2010

  5. [5]

    Constancy of the dimension for rcd (k,n) spaces via regularity of lagrangian flows

    Elia Bru\`e and Daniele Semola. Constancy of the dimension for rcd (k,n) spaces via regularity of lagrangian flows. Communications on Pure and Applied Mathematics , 73(6):1141--1204, 2020

    2020

  6. [6]

    The globalization theorem for the curvature-dimension condition

    Fabio Cavalletti and Emanuel Milman. The globalization theorem for the curvature-dimension condition. Inventiones mathematicae , 226(1):1--137, 2021

    2021

  7. [7]

    Sharp h \"o lder continuity of tangent cones for spaces with a lower ricci curvature bound and applications

    Tobias Holck Colding and Aaron Naber. Sharp h \"o lder continuity of tangent cones for spaces with a lower ricci curvature bound and applications. Ann. of Math. (2) , 176(2):1173--1229, 2012

    2012

  8. [8]

    Theory of convergence for riemannian orbifolds

    Kenji Fukaya. Theory of convergence for riemannian orbifolds. Japan. J. Math. (N.S.) , 12(1):121--160, 1986

    1986

Show all 33 references
  1. [9]

    The fundamental groups of almost non-negatively curved manifolds

    Kenji Fukaya and Takao Yamaguchi. The fundamental groups of almost non-negatively curved manifolds. Ann. of Math. , 136(2):253--333, 1992

    1992

  2. [10]

    Isometry groups of alexandrov spaces

    Fernando Galaz-Garc \' a and Luis Guijarro. Isometry groups of alexandrov spaces. Bull. Lond. Math. Soc. , 45(3):567--579, 2013

    2013

  3. [11]

    On quotients of spaces with ricci curvature bounded below

    Fernando Galaz-Garc \' a, Martin Kell, Andrea Mondino, and Gerardo Sosa. On quotients of spaces with ricci curvature bounded below. J. Funct. Anal. , 275(6):1368--1446, 2018

    2018

  4. [12]

    On the differential structure of metric measure spaces , volume 236 of Memoirs of the American Mathematical Society

    Nicola Gigli. On the differential structure of metric measure spaces , volume 236 of Memoirs of the American Mathematical Society . American Mathematical Society, 2015

    2015

  5. [13]

    Karsten Grove, Hermann Karcher, and Ernst A. Ruh. Group actions and curvature. Invent. Math. , 23:31--48, 1974

    1974

  6. [14]

    Groups of polynomial growth and expanding maps

    Mikhael Gromov. Groups of polynomial growth and expanding maps. Inst. Hautes \'E tudes Sci. Publ. Math. , (53):53--73, 1981

    1981

  7. [15]

    On the isometry group of rcd\(^*\)(k,n)-spaces

    Luis Guijarro and Jaime Santos-Rodr \' guez. On the isometry group of rcd\(^*\)(k,n)-spaces. Manuscripta Math. , 158(3--4):441--461, 2019

    2019

  8. [16]

    Convergence of isometries, with semicontinuity of symmetry of alexandrov spaces

    John Harvey. Convergence of isometries, with semicontinuity of symmetry of alexandrov spaces. Proc. Amer. Math. Soc. , 144(8):3507--3515, 2016

    2016

  9. [17]

    Stable group theory and approximate subgroups

    Ehud Hrushovski. Stable group theory and approximate subgroups. J. Amer. Math. Soc. , 25(1):189--243, 2012

    2012

  10. [18]

    On the topology and the boundary of n-dimensional rcd(k,n) spaces

    Vitali Kapovitch and Andrea Mondino. On the topology and the boundary of n-dimensional rcd(k,n) spaces. Geom. Topol. , 25(1):445--495, 2021

    2021

  11. [19]

    Nilpotency, almost nonnegative curvature, and the gradient flow on alexandrov spaces

    Vitali Kapovitch, Anton Petrunin, and Wilderich Tuschmann. Nilpotency, almost nonnegative curvature, and the gradient flow on alexandrov spaces. Annals of Mathematics , 171(1):343--373, 2010

    2010

  12. [20]

    Structure of fundamental groups of manifolds with ricci curvature bounded below

    Vitali Kapovitch and Burkhard Wilking. Structure of fundamental groups of manifolds with ricci curvature bounded below. 2011

    2011

  13. [21]

    The globalization theorem for cd (k,n) on locally finite spaces

    Zhenhao Li. The globalization theorem for cd (k,n) on locally finite spaces. Ann. Mat. Pura Appl. , 203(4):49--70, 2024

    2024

  14. [22]

    Ricci curvature for metric-measure spaces via optimal transport

    John Lott and C\'edric Villani. Ricci curvature for metric-measure spaces via optimal transport. Annals of Mathematics , 169(2):903--991, 2009

    2009

  15. [23]

    Pure Metric Geometry

    Anton Petrunin. Pure Metric Geometry . SpringerBriefs in Mathematics. Springer, Cham, 2023. viii+103 pp

    2023

  16. [24]

    Ricci curvature and isometric actions with scaling nonvanishing property

    Jiayin Pan and Xiaochun Rong. Ricci curvature and isometric actions with scaling nonvanishing property. arXiv preprint arXiv:1808.02329v3, 2018

    2018 arXiv

  17. [25]

    Nonnegative ricci curvature, splitting at infinity, and first betti number rigidity

    Jiayin Pan and Zhu Ye. Nonnegative ricci curvature, splitting at infinity, and first betti number rigidity. Adv. Math. , 459:110028, 2024. 29 pp

    2024

  18. [26]

    Collapsed manifolds with local ricci bounded covering geometry

    Xiaochun Rong. Collapsed manifolds with local ricci bounded covering geometry. 2022

    2022

  19. [27]

    The isometry group of an rcd\(^*\) space is lie

    Gerardo Sosa. The isometry group of an rcd\(^*\) space is lie. Potential Anal. , 49(2):267--286, 2018

    2018

  20. [28]

    Invariant measures and lower ricci curvature bounds

    Jaime Santos-Rodr \'i guez. Invariant measures and lower ricci curvature bounds. Potential Analysis , 53(3):871--897, 2020

    2020

  21. [29]

    On fundamental groups of rcd spaces

    Jaime Santos-Rodr \' guez and Sergio Zamora-Barrera. On fundamental groups of rcd spaces. J. Reine Angew. Math. , 799:249--286, 2023

    2023

  22. [30]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. ii. Acta Mathematica , 196(1):133--177, 2006

    2006

  23. [31]

    A. M. Turing. Finite approximations to lie groups. Ann. of Math. (2) , 39(1):105--111, 1938

    1938

  24. [32]

    On the conjecture of iwasawa and gleason

    Hidehiko Yamabe. On the conjecture of iwasawa and gleason. Ann. of Math. (2) , 58:48--54, 1953

    1953

  25. [33]

    Anderson finiteness for rcd spaces

    Sergio Zamora. Anderson finiteness for rcd spaces. MPIM Preprint Series (4), 2023

    2023

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.