pith. sign in

arxiv: 2406.00970 · v4 · submitted 2024-06-03 · 🧮 math.DG · math.MG

Limits of manifolds with boundary I

Takao Yamaguchi , Zhilang Zhang This is my paper

Pith reviewed 2026-05-24 00:42 UTC · model grok-4.3

classification 🧮 math.DG math.MG
keywords manifolds with boundarygeometric limitssectional curvature boundsboundary singularitiesHausdorff dimensioninfinitesimal geometryRiemannian manifolds
0
0 comments X

The pith

Limit spaces of manifolds with boundary have their boundary singular points' infinitesimal structures and singular set dimensions determined.

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

This paper examines sequences of compact Riemannian manifolds with boundary under lower bounds on sectional curvatures of the manifolds and boundaries, bounds on second fundamental forms, and an upper diameter bound. The focus is on the case where inradii remain uniformly bounded away from zero, which permits limit spaces to develop wild geometry at boundary singular points. The work determines the infinitesimal structure at those points and the Hausdorff dimensions of the boundary singular sets. A reader would care because this clarifies the controlled degenerations possible for manifolds with boundary under curvature restrictions.

Core claim

Under lower sectional curvature bounds on manifolds and boundaries, bounds on second fundamental forms, and an upper diameter bound, when inradii are uniformly bounded away from zero, the limit spaces have their boundary singular points' infinitesimal structures determined, and the Hausdorff dimensions of the boundary singular sets are determined.

What carries the argument

The infinitesimal geometry at boundary singular points of the limit spaces under the uniform positive inradius condition.

If this is right

  • The boundary singular sets admit a stratification by dimension with computable Hausdorff measures.
  • Local models around each boundary singular point are identified and controlled by the curvature assumptions.
  • Regularity holds for the limit spaces away from the boundary singular sets.
  • The possible wild geometries at the boundary are restricted to specific classes under the given bounds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • These local models could be used to classify global limit spaces in low dimensions.
  • The results may connect to the theory of Alexandrov spaces equipped with boundaries and curvature bounds.
  • Explicit constructions of sequences realizing the extremal dimensions of singular sets would test the sharpness of the conclusions.
  • The framework might extend to study collapsing with boundary in the presence of additional topological constraints.

Load-bearing premise

The inradii of the manifolds are uniformly bounded away from zero.

What would settle it

A sequence of manifolds with boundary satisfying the sectional curvature lower bounds, second fundamental form bounds, and diameter upper bound, with inradii bounded away from zero, whose limit space exhibits a boundary singular point whose infinitesimal structure differs from the structures determined in the paper.

read the original abstract

In this paper, we develop the infinitesimal geometry of the limit spaces of compact Riemannian manifolds with boundary, where we assume lower bounds on the sectional curvatures of manifolds and boundaries and the second fundamental forms of boundaries and an upper diameter bound. We mainly focus on the case when inradii of manifolds are uniformly bounded away from zero. In this case, many limit spaces have wild geometry, which arise as the boundary singular points of the limit spaces. We determine the infinitesimal structure at those boundary singular points. We also determine the Hausdorff dimensions of the boundary singular sets.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper develops the infinitesimal geometry of limit spaces arising from sequences of compact Riemannian manifolds with boundary, assuming lower bounds on sectional curvatures (of both the manifolds and their boundaries), bounds on the second fundamental forms of the boundaries, and an upper bound on diameter. The main focus is the case of inradii uniformly bounded away from zero; under these hypotheses the authors claim to determine the infinitesimal structure at boundary singular points of the limit spaces and to compute the Hausdorff dimensions of the boundary singular sets.

Significance. If the stated results are established, the work would extend the theory of Gromov-Hausdorff limits and Cheeger-Colding-type stratification to the setting of manifolds with boundary, supplying a description of the local geometry at singular boundary points that arise when the inradius is controlled. This would be a useful addition to the literature on singular limits in geometric analysis.

minor comments (2)
  1. The abstract refers to 'we determine' the infinitesimal structure and Hausdorff dimensions, but the provided text contains no theorem statements, section headings, or proof outlines that would allow verification of these claims.
  2. Notation for the limit spaces, the precise curvature and second-fundamental-form constants, and the definition of 'boundary singular points' are not introduced in the visible text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the accurate summary of our work and for recognizing its potential significance in extending Cheeger-Colding theory to manifolds with boundary. The recommendation of 'uncertain' appears to stem from the absence of specific technical concerns in the report. We stand by the claims in the manuscript: under the stated hypotheses with inradii bounded below, the infinitesimal structure at boundary singular points is determined (via tangent cone analysis and stratification) and the Hausdorff dimension of the boundary singular set is computed. We would welcome any concrete points the referee wishes to raise.

Circularity Check

0 steps flagged

No significant circularity detected; derivation is self-contained

full rationale

The paper states explicit geometric assumptions (sectional curvature lower bounds on manifolds and boundaries, second fundamental form bounds, diameter upper bound, inradius bounded away from zero) and claims to derive the infinitesimal structure at boundary singular points and Hausdorff dimensions of the boundary singular sets directly from these. No equations or steps in the provided abstract reduce a claimed result to a fitted parameter, self-definition, or load-bearing self-citation by construction. The inradius condition is openly identified as enabling the wild geometry rather than being smuggled in. The central claims remain independent of the inputs under the stated hypotheses, yielding a self-contained theoretical development.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper rests on standard domain assumptions from Riemannian geometry; no free parameters or invented entities are indicated in the abstract.

axioms (4)
  • domain assumption Lower bounds on sectional curvatures of manifolds and boundaries
    Controls the geometry of the limit spaces.
  • domain assumption Lower bounds on second fundamental forms of boundaries
    Controls boundary behavior in the limit.
  • domain assumption Upper bound on diameter
    Ensures precompactness for the sequence.
  • domain assumption Inradii uniformly bounded away from zero
    The main case studied, allowing wild boundary geometry.

pith-pipeline@v0.9.0 · 5608 in / 1331 out tokens · 28805 ms · 2026-05-24T00:42:59.871094+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · 2 internal anchors

  1. [1]

    Alexander, V

    S. Alexander, V. Kapovitch and A. Petrunin, Alexandrov geomet ry: prelim- inary version no. 1, arXiv:1903.08539

    work page arXiv 1903

  2. [2]

    Alexander, R

    S. Alexander, R. Bishop. Thin Riemannian manifolds with boundary . Math. Ann.311no. 1, 55-70, 1998

    work page 1998

  3. [3]

    C. D. Aliprantis, O. Burkinshaw. Principles of Real Analysis . Third edition. Academic Press, Inc., San Diego, CA, 1998. xii+415 pp

    work page 1998

  4. [4]

    Anderson, A

    M. Anderson, A. Katsuda, Y. Kurylev, M. Lassas, M. Taylor. Boundary reg- ularity for the Ricci equation, geometric convergence, and Gelfand’s inverse boundary problem. Invent. Math., 158(2), 2004, 261–321

    work page 2004

  5. [5]

    Burago,D

    Y. Burago,D. Burago, and S. Ivanov. A course in metric geometry. Graduate Studies in Mathematics 2001; Volume: 33

    work page 2001

  6. [6]

    Burago, M

    Y. Burago, M. Gromov, and G. Perelman. A. D. Alexandrov spaces with curvature bounded below. Uspekhi Mat. Nauk. 42:2, 3-51, 1992

    work page 1992

  7. [7]

    M. Gromov. Synthetic geometry in Riemannian manifolds. Proceeding of ICM, Helsinki, (1978)i 31-44

    work page 1978

  8. [8]

    M. Gromov. Structures m´ etriques pour les vari´ et´ es riemanniennes, Edited by J. Lafontaine and P. Pansu, Textes Math´ ematiques [Mathematical Texts],1 CEDIC, Paris, 1981

    work page 1981

  9. [9]

    Huang, T

    Z. Huang, T. Yamaguchi, Inradius collapsed manifolds with a lower R icci curvature bound, in preparation

    work page

  10. [10]

    Kapovitch

    V. Kapovitch. Regularity of limits of noncollapsing sequences of manifol ds. Geom. Funct. Anal. 12 (2002), no. 1, 121–137

    work page 2002

  11. [11]

    Kapovitch

    V. Kapovitch. Perelman’s stability theorem. Surveys in differential geometry. Vol. XI, 103-136, Surv. Differ. Geom., 11, Int. Press, Somerville, MA, 2007

    work page 2007

  12. [12]

    K. Knox. A compactness theorem for Riemannian manifolds with bounda ry and applications, arXiv:1211.6210

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    S. Kodani. Convergence theorem for Riemannian manifolds with boundar y. Compositio Math., 75(2) (1990), 171–192

    work page 1990

  14. [14]

    Kosovski ˘i

    N. Kosovski ˘i. Gluing of Riemannian manifolds of curvature ≥ κ. Algebra i Analiz 14:3 (2002), 140-157

    work page 2002

  15. [15]

    Self and partial gluing theorems for Alexandrov spaces with a lower curvature bound

    A. Mitsuishi. Self and partial gluing theorems for Alexandrov spaces with a lower curvature bound , arXiv:1606.02578

    work page internal anchor Pith review Pith/arXiv arXiv

  16. [16]

    Mitsuishi, T

    A. Mitsuishi, T. Yamaguchi. Collapsing three-dimensional Alexandrov spaces with boundary, to appear in Trans. AMS, arXiv:2401.11400

    work page arXiv

  17. [17]

    Y. Otsu, T. Shioya. The Riemannian structure of Alexandrov spaces. J. Dif- ferential Geom. 39 (1994), no. 3, 629–658

    work page 1994

  18. [18]

    R. Perales. Volumes and limits of manifolds with Ricci curvature and mea n curvature bounds. Differ. Geom. Appl. 48 (2016), no. 03, 23-37

    work page 2016

  19. [19]

    Perales, C

    R. Perales, C. Sormani. Sequences of open Riemannian manifolds with boundary. Pacific J. Math. 270 (2014), no. 2, 423-471

    work page 2014

  20. [20]

    Perelman

    G. Perelman. Alexandrov spaces with curvature bounded below II . preprint, 1994

    work page 1994

  21. [21]

    Perelman

    G. Perelman. Elements of Morse theory on Alexandrov spaces. St. Petersburg Math. J. 5 (1994) 207–214

    work page 1994

  22. [22]

    Perelman, A

    G. Perelman, A. Petrunin. Extremal subsets in Aleksandrov spaces and the generalized Liberman theorem . (Russian) Algebra i Analiz 5 (1993), no. 1, 242–256; translation in St. Petersburg Math. J. 5 (1994), no. 1, 215–227

    work page 1993

  23. [23]

    Petrunin, Semiconcave functions in Alexandrov’s geometry

    A. Petrunin, Semiconcave functions in Alexandrov’s geometry. Metric and comparison geometry, Surveys in Comparison Geometry, (2007),1 37 – 202. 68 TAKAO YAMAGUCHI AND ZHILANG ZHANG

    work page 2007

  24. [24]

    Shiohama

    K. Shiohama. An Introduction to the Geometry of Alexandrov Spaces. Seoul National University, Research Institute of Mathematics, Global A nalysis Research Center, 1993

    work page 1993

  25. [25]

    Sormani, S

    C. Sormani, S. Wenger. The intrinsic flat distance between Riemannian man- ifolds and other integral current spaces , J. Differential Geom. 87 (2011),117- 199

    work page 2011

  26. [26]

    J. Wong. Collapsing manifolds with boundary. PhD thesis, University of Illinois at urbana-Champaign, 1-81, 2006

    work page 2006

  27. [27]

    J. Wong. An extension procedure for manifolds with boundary. Pacific J. 235 (2008), 173-199

    work page 2008

  28. [28]

    J. Wong. Collapsing manifolds with boundary. Geom Dedicata. 149 (2010), 291-334

    work page 2010

  29. [29]

    S. Xu. Precompactness of domains with lower Ricci curvature bound under Gromov-Hausdorff topology, arXiv:2311.05140

    work page arXiv

  30. [30]

    Yamaguchi

    T. Yamaguchi. Collapsing 4-manifolds with a lower curvature bound , arXiv:1205.0323

    work page arXiv

  31. [31]

    Yamaguchi, and Z

    T. Yamaguchi, and Z. Zhang. Inradius collapsed manifolds , Geometry and Topology, 23-6 (2019), 2793–2860

    work page 2019

  32. [32]

    Yamaguchi, and Z

    T. Yamaguchi, and Z. Zhang. Limits of manifolds with boundary II– Local structure and global convergence , preprint. Takao Yamaguchi, Department of Mathematics, University of Tsukuba, Tsukuba 305-8571, Japan Email address : takao@math.tsukuba.ac.jp Zhilang Zhang, School of Mathematics, Foshan University, F oshan, China Email address : zhilangz@fosu.edu.cn

    work page