Gromov-Hausdorff limit of orthonormal frame bundles of non-collapsed manifolds with bounded Ricci curvature
Pith reviewed 2026-05-07 12:42 UTC · model grok-4.3
The pith
The Gromov-Hausdorff limit of orthonormal frame bundles over non-collapsed manifolds with bounded Ricci curvature has a singular set of codimension at least 4.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let M_i be a sequence of non-collapsed n-manifolds with two-sidedly bounded Ricci curvature. The Gromov-Hausdorff limit Y of the associated sequence of orthonormal frame bundles FM_i equipped with an almost canonical metric has the property that its singular set has codimension at least 4 and the complement of the singular set contains an open and dense C^{1,α}-Riemannian manifold.
What carries the argument
The almost canonical metric placed on the orthonormal frame bundles FM_i, which is constructed so that the Gromov-Hausdorff limit of the bundles inherits the structure and regularity of a Ricci limit space.
If this is right
- The singular set of the limit space Y satisfies a stratification with the top-dimensional stratum being a C^{1,α} manifold of full dimension.
- Volume and curvature bounds on the original manifolds pass to the limit in the frame-bundle setting.
- The result supplies a model space in which one can study convergence of connections and holonomy data attached to the frames.
Where Pith is reading between the lines
- The same technique may apply directly to limits of other principal bundles over the same manifolds.
- It could give a route to controlling holonomy groups along sequences that collapse in the base but not in the frame bundle.
- Explicit checks on standard examples such as rescaled spheres or flat tori would confirm that the codimension-4 bound is achieved.
Load-bearing premise
The manifolds remain non-collapsed with Ricci curvature bounded from both above and below, and the frame bundles carry an almost canonical metric whose definition ensures the limit behaves like a Ricci limit space.
What would settle it
A sequence of non-collapsed n-manifolds with two-sided Ricci bounds for which the Gromov-Hausdorff limit of the frame bundles has a singular set of codimension less than 4 or whose regular part fails to be open, dense, and C^{1,α}.
read the original abstract
Let $M_i$ be a sequence of non-collapsed $n$-manifolds with two-sidedly bounded Ricci curvature. We show that the Gromov-Haudorff limit space, $Y$, of the associated sequence of orthonormal frame bundles, $FM_i$, equipped with an almost canonical metric, shares similar properties as a Ricci limit space of non-collapsing sequence i.e., the singular set has codimension $\ge 4$ whose complement contains an open and dense $C^{1,\alpha}$-Riemannian manifold.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that if M_i is a sequence of non-collapsed n-manifolds with two-sided bounds on Ricci curvature, then the Gromov-Hausdorff limit Y of the orthonormal frame bundles FM_i, equipped with an almost canonical metric, is a space whose singular set has Hausdorff codimension at least 4 and whose regular part is an open dense C^{1,α} Riemannian manifold, analogous to the structure of non-collapsed Ricci limit spaces.
Significance. If the central claim holds, the result extends Cheeger-Colding regularity theory from the base manifolds to their frame bundles under only Ricci bounds. The construction of the almost canonical metric on the frame bundles is a potentially useful technical device for transferring volume and stratification properties to the total space.
major comments (1)
- [§2] §2 (construction of the almost canonical metric): the lifted horizontal metric plus scaled vertical O(n)-fiber metric is introduced without an explicit uniform lower bound on Ric(g_i) or an equivalent set of conditions (e.g., uniform volume doubling plus harmonic-coordinate estimates). Since the base manifolds satisfy only |Ric| ≤ Λ, the horizontal lift alone does not automatically guarantee Ric(g_i) ≥ -C; without this or a direct proof that the GH limit satisfies the Cheeger-Colding monotonicity and stratification, the codimension-≥4 conclusion does not follow from the standard theory.
minor comments (2)
- [Abstract] Abstract: 'Gromov-Haudorff' is a typographical error and should read 'Gromov-Hausdorff'.
- [Theorem 1.1] Notation: the phrase 'almost canonical metric' is used repeatedly but its precise dependence on the small scaling parameter for the fibers is not restated in the statement of the main theorem; a brief reminder would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for identifying a key point that requires clarification in the construction of the almost canonical metric. We address the concern below and will incorporate the necessary revisions.
read point-by-point responses
-
Referee: [§2] §2 (construction of the almost canonical metric): the lifted horizontal metric plus scaled vertical O(n)-fiber metric is introduced without an explicit uniform lower bound on Ric(g_i) or an equivalent set of conditions (e.g., uniform volume doubling plus harmonic-coordinate estimates). Since the base manifolds satisfy only |Ric| ≤ Λ, the horizontal lift alone does not automatically guarantee Ric(g_i) ≥ -C; without this or a direct proof that the GH limit satisfies the Cheeger-Colding monotonicity and stratification, the codimension-≥4 conclusion does not follow from the standard theory.
Authors: We agree that the almost canonical metric on the frame bundles FM_i, formed by the horizontal lift of the base metric together with a scaled vertical metric on the O(n)-fibers, does not automatically inherit a uniform lower bound on Ricci curvature from the two-sided bound |Ric| ≤ Λ on the base. The referee is correct that this prevents an immediate appeal to the standard Cheeger-Colding theory for the sequence (FM_i, g_i). In the revised version we will add a new subsection to §2 that supplies the missing justification. Specifically, we will prove that the non-collapsing assumption on the M_i together with the |Ric| ≤ Λ bound yields uniform volume doubling for the frame bundles under the almost canonical metric, and that the harmonic-coordinate estimates on the base lift to give the necessary control on the horizontal distribution. Using these, we establish directly the monotonicity of the frequency function and the existence of tangent cones with the required Euclidean volume growth, thereby obtaining the codimension-≥4 stratification and the C^{1,α} regularity on the regular part of Y without requiring a uniform Ricci lower bound on the total space. This makes the argument self-contained and removes reliance on the standard theory in its usual form. revision: yes
Circularity Check
No significant circularity; theorem applies external Cheeger-Colding theory to independently constructed frame-bundle metrics
full rationale
The paper states a theorem that the GH limit of orthonormal frame bundles equipped with an almost canonical metric inherits the codimension-≥4 singular set and C^{1,α} regular part of a non-collapsed Ricci limit space. No equations, definitions, or citations in the abstract or described structure reduce the conclusion to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The construction of the almost canonical metric and the invocation of standard GH convergence plus regularity results are independent of the target statement; any gap in verifying uniform lower Ricci bounds on the lifted metric is a question of proof validity, not circularity. The derivation is therefore self-contained against external benchmarks.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.