pith. sign in

arxiv: 2606.01119 · v1 · pith:RP4HDI4Knew · submitted 2026-05-31 · 🧮 math.GT · math.GN· math.MG

MCS Spaces are CS

Mohammad Alattar , Lewis Tadman This is my paper

Pith reviewed 2026-06-28 16:22 UTC · model grok-4.3

classification 🧮 math.GT math.GNmath.MG
keywords MCS spacesCS setsstratificationintrinsic stratificationPerelmangeometric topologysingular spaces
0
0 comments X

The pith

MCS spaces as defined by Perelman are CS sets whose intrinsic stratification matches the MCS stratification.

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

The paper establishes that spaces meeting Perelman's MCS condition form CS sets when stratified by their MCS data. It further proves that the intrinsic stratification of these spaces is identical to the MCS stratification. A sympathetic reader would care because the identification lets the full apparatus developed for CS sets transfer directly to MCS spaces, strengthening earlier results and settling an open question on their structure.

Core claim

MCS spaces, as defined by Perelman, are CS sets with respect to their MCS stratification, and in fact the intrinsic stratification agrees with the MCS stratification.

What carries the argument

The MCS stratification, shown to serve simultaneously as a CS stratification and as the intrinsic stratification.

If this is right

  • Perelman's earlier result on MCS spaces is strengthened.
  • Fujioka's question receives an affirmative answer.
  • Techniques from the theory of CS sets apply directly to MCS spaces.
  • The theory of MCS spaces can be developed further by treating them as CS sets.

Where Pith is reading between the lines

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

  • Stratified spaces arising in geometric topology can now be studied under a unified MCS-CS framework without choosing between the two notions.
  • Topological invariants previously computed only for CS sets become available for MCS spaces without additional work.
  • The agreement may simplify the analysis of singular loci in limits of geometric structures that satisfy Perelman's MCS condition.

Load-bearing premise

The definitions of MCS spaces, CS sets, and intrinsic stratification used here match exactly those in the cited literature and need no extra regularity conditions.

What would settle it

An explicit MCS space in which the intrinsic stratification differs from the MCS stratification would disprove the claim.

read the original abstract

In this paper we further develop the theory of MCS spaces. Our main result shows that MCS spaces, as defined by Perelman, are CS sets with respect to their MCS stratification, and that in fact, the intrinsic stratification agrees with the MCS stratification. As a consequence, we improve on Perelman's result and answer affirmatively a question by Fujioka.

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 / 0 minor

Summary. The paper claims that MCS spaces, as defined by Perelman, are CS sets with respect to their MCS stratification, and that the intrinsic stratification agrees with the MCS stratification. As a consequence, the result improves on Perelman's earlier work and answers affirmatively a question posed by Fujioka.

Significance. If correct, the identification of MCS spaces with CS sets under the given stratification would allow transfer of techniques between these frameworks in the study of stratified spaces, potentially strengthening results on their topological and geometric properties.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review and for accurately summarizing the main claims of the manuscript. The referee's description matches our abstract and results. No major comments were provided in the report, so we have no specific points to address point-by-point. We note the recommendation is listed as 'uncertain' but without further elaboration; we would be glad to provide additional clarification or details if requested.

Circularity Check

0 steps flagged

No circularity; proof relies on external definitions from Perelman and standard CS-set axioms

full rationale

The paper claims to prove that Perelman's MCS spaces are CS sets under the MCS stratification and that the intrinsic stratification coincides with it. This is a verification step against independently defined notions in the cited literature (Perelman for MCS, prior works for CS sets and intrinsic stratification). No equations, ansatzes, or constructions in the abstract or described result reduce the agreement to a self-definition, a fitted input renamed as prediction, or a self-citation chain. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a proof that equates two classes of spaces using existing definitions; no new numerical parameters, ad-hoc axioms, or postulated entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and definitions of topology, metric geometry, and stratified spaces as employed by Perelman for MCS spaces and by the literature for CS sets.
    The result is stated to hold with respect to the definitions given by Perelman and the standard intrinsic stratification.

pith-pipeline@v0.9.1-grok · 5567 in / 1247 out tokens · 32934 ms · 2026-06-28T16:22:51.943110+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

39 extracted references · 27 canonical work pages

  1. [1]

    Extending combinatorial piecewise linear structures on stratified spaces. II

    Douglas R. Anderson and Wu Chung Hsiang. “Extending combinatorial piecewise linear structures on stratified spaces. II”. In:Trans. Amer. Math. Soc.260.1 (1980), pp. 223– 253.issn: 0002-9947,1088-6850.doi:10.2307/1999884.url:https://doi.org/10. 2307/1999884

    work page doi:10.2307/1999884.url:https://doi.org/10 1980

  2. [2]

    Transversality for polyhedra

    M. A. Armstrong. “Transversality for polyhedra”. In:Ann. of Math. (2)86 (1967), pp. 172–191.issn: 0003-486X.doi:10.2307/1970365.url:https://doi.org/10. 2307/1970365

    work page doi:10.2307/1970365.url:https://doi.org/10 1967

  3. [3]

    Banagl.Topological invariants of stratified spaces

    M. Banagl.Topological invariants of stratified spaces. Springer Monographs in Mathe- matics. Springer, Berlin, 2007, pp. xii+259.isbn: 978-3-540-38585-1; 3-540-38585-1

    2007

  4. [4]

    Oxford University Press, Oxford, 2021, pp

    Stefan Behrens, Boldizsár Kalmár, Min Hoon Kim, Mark Powell, and Arunima Ray, eds.The disc embedding theorem. Oxford University Press, Oxford, 2021, pp. xvii+473. isbn: 978-0-19-884131-9

    2021

  5. [5]

    Resolving zero-dimensional singularities in generalized manifolds

    J. L. Bryant and R. C. Lacher. “Resolving zero-dimensional singularities in generalized manifolds”. In:Math. Proc. Cambridge Philos. Soc.83.3 (1978), pp. 403–413.issn: 0305-0041,1469-8064.doi:10.1017/S0305004100054682.url:https://doi.org/10. 1017/S0305004100054682

    work page doi:10.1017/s0305004100054682.url:https://doi.org/10 1978

  6. [6]

    Daverman.Decompositions of manifolds

    Robert J. Daverman.Decompositions of manifolds. Reprint of the 1986 original. AMS Chelsea Publishing, Providence, RI, 2007, pp. xii+317.isbn: 978-0-8218-4372-7.doi: 10.1090/chel/362.url:https://doi.org/10.1090/chel/362

    work page doi:10.1090/chel/362.url:https://doi.org/10.1090/chel/362 1986

  7. [7]

    Daverman and Gerard A

    Robert J. Daverman and Gerard A. Venema.Embeddings in manifolds. Vol. 106. Grad- uate Studies in Mathematics. American Mathematical Society, Providence, RI, 2009, pp. xviii+468.isbn: 978-0-8218-3697-2.doi:10.1090/gsm/106.url:https://doi. org/10.1090/gsm/106

    work page doi:10.1090/gsm/106.url:https://doi 2009

  8. [8]

    Greg Friedman.Singular intersection homology. Vol. 33. New Mathematical Mono- graphs. Cambridge University Press, Cambridge, 2020, pp. xxiii+798.isbn: 978-1- 107-15074-4.doi:10 . 1017 / 9781316584446.url:https : / / doi . org / 10 . 1017 / 9781316584446

    2020

  9. [9]

    Tadashi Fujioka.Alexandrov spaces are CS sets. 2024. arXiv:2404.14587 [math.DG]

    arXiv 2024

  10. [10]

    Tadashi Fujioka and Shijie Gu.Topological regularity of Busemann spaces of nonpositive curvature. 2025. arXiv:2504.14455 [math.DG].url:https://arxiv.org/abs/2504. 14455

    Pith/arXiv arXiv 2025

  11. [11]

    Intersection homology. II

    Mark Goresky and Robert MacPherson. “Intersection homology. II”. In:Invent. Math. 72.1 (1983), pp. 77–129.issn: 0020-9910,1432-1297.doi:10.1007/BF01389130.url: https://doi.org/10.1007/BF01389130

    work page doi:10.1007/bf01389130.url: 1983

  12. [12]

    Intersection cohomology of cs-spaces and Zeeman’s filtration

    Nathan Habegger and Leslie Saper. “Intersection cohomology of cs-spaces and Zeeman’s filtration”. In:Invent. Math.105.2 (1991), pp. 247–272.issn: 0020-9910,1432-1297.doi: 10.1007/BF01232267.url:https://doi.org/10.1007/BF01232267

    work page doi:10.1007/bf01232267.url:https://doi.org/10.1007/bf01232267 1991

  13. [13]

    A resolution of stratification conjectures concerning CS sets

    Michael Handel. “A resolution of stratification conjectures concerning CS sets”. In: Topology17.2 (1978), pp. 167–175.issn: 0040-9383.doi:10.1016/S0040- 9383(78) 90021-6.url:https://doi.org/10.1016/S0040-9383(78)90021-6

    work page doi:10.1016/s0040- 1978

  14. [14]

    G-actions with close orbit spaces

    John Harvey. “G-actions with close orbit spaces”. In:Transform. Groups22.4 (2017), pp. 967–977.issn: 1083-4362,1531-586X.doi:10.1007/s00031- 017- 9426- 9.url: https://doi.org/10.1007/s00031-017-9426-9

    work page doi:10.1007/s00031- 2017

  15. [15]

    Equivariant Alexandrov geometry and orbifold finiteness

    John Harvey. “Equivariant Alexandrov geometry and orbifold finiteness”. In:The Jour- nal of Geometric Analysis26.3 (2016), pp. 1925–1945. 12 REFERENCES

    2016

  16. [16]

    Harmonic functions and the mass of 3-dimensional asymp- totically flat Riemannian manifolds

    John Harvey and Catherine Searle. “Orientation and symmetries of Alexandrov spaces with applications in positive curvature”. In:J. Geom. Anal.27.2 (2017), pp. 1636– 1666.issn: 1050-6926,1559-002X.doi:10.1007/s12220- 016- 9734- 7.url:https: //doi.org/10.1007/s12220-016-9734-7

    work page doi:10.1007/s12220- 2017

  17. [17]

    Cell-like mappings between CS sets

    James P. Henderson. “Cell-like mappings between CS sets”. In:Proc. Amer. Math. Soc.90.3 (1984), pp. 445–449.issn: 0002-9939.doi:10.2307/2044491.url:https: //doi.org/10.2307/2044491

    work page doi:10.2307/2044491.url:https: 1984

  18. [18]

    Uniqueness of the open cone neighborhood

    Kyung Whan Kwun. “Uniqueness of the open cone neighborhood”. In:Proc. Amer. Math. Soc.15 (1964), pp. 476–479.issn: 0002-9939,1088-6826.doi:10.2307/2034528. url:https://doi.org/10.2307/2034528

    work page doi:10.2307/2034528 1964

  19. [19]

    The immersion approach to triangulation and smoothing

    R. Lashof. “The immersion approach to triangulation and smoothing”. In:Actes du Con- grès International des Mathématiciens (Nice, 1970), Tome 2. Gauthier-Villars Éditeur, Paris, 1971, pp. 91–93

    1970

  20. [20]

    Topological regularity of spaces with an upper curvature bound

    Alexander Lytchak and Koichi Nagano. “Topological regularity of spaces with an upper curvature bound”. In:J. Eur. Math. Soc. (JEMS)24.1 (2022), pp. 137–165.issn: 1435- 9855.doi:10.4171/jems/1091.url:https://doi.org/10.4171/jems/1091

    work page doi:10.4171/jems/1091.url:https://doi.org/10.4171/jems/1091 2022

  21. [21]

    The method of infinite repetition in pure topology. I

    Barry Mazur. “The method of infinite repetition in pure topology. I”. In:Ann. of Math. (2)80 (1964), pp. 201–226.issn: 0003-486X.doi:10 . 2307 / 1970391.url:https : //doi.org/10.2307/1970391

    work page doi:10.2307/1970391 1964

  22. [22]

    Ayato Mitsuishi.Orientability and fundamental classes of Alexandrov spaces with ap- plications. 2016. arXiv:1610.08024 [math.MG].url:https://arxiv.org/abs/1610. 08024

    Pith/arXiv arXiv 2016

  23. [23]

    Good coverings of Alexandrov spaces

    Ayato Mitsuishi and Takao Yamaguchi. “Good coverings of Alexandrov spaces”. In: Trans. Amer. Math. Soc.372.11 (2019), pp. 8107–8130.issn: 0002-9947,1088-6850. doi:10.1090/tran/7849.url:https://doi.org/10.1090/tran/7849

    work page doi:10.1090/tran/7849.url:https://doi.org/10.1090/tran/7849 2019

  24. [24]

    Gromov-Hausdorff convergence to nonmanifolds

    Teresa Engel Moore. “Gromov-Hausdorff convergence to nonmanifolds”. In:J. Geom. Anal.5.3(1995),pp.411–418.issn:1050-6926.doi:10.1007/BF02921804.url:https: //doi.org/10.1007/BF02921804

    work page doi:10.1007/bf02921804.url:https: 1995

  25. [25]

    Alexandrov spaces with curvatures bounded from below II

    G. Ya. Perelman. “Alexandrov spaces with curvatures bounded from below II”. In: preprint(1991)

    1991

  26. [26]

    Extremal subsets in Aleksandrov spaces and the generalized Liberman theorem

    G. Ya. Perelman and A. M. Petrunin. “Extremal subsets in Aleksandrov spaces and the generalized Liberman theorem”. In:Algebra i Analiz5.1 (1993), pp. 242–256.issn: 0234-0852

    1993

  27. [27]

    Corrigendumto:“Resolutionsofhomologymanifolds,andthetopological characterization of manifolds

    FrankQuinn.“Corrigendumto:“Resolutionsofhomologymanifolds,andthetopological characterization of manifolds” [Invent. Math.72(1983), no. 2, 267–284; MR0700771 (85b:57023)]”. In:Invent. Math.85.3 (1986), p. 653.issn: 0020-9910.doi:10.1007/ BF01390332.url:https://doi.org/10.1007/BF01390332

    work page doi:10.1007/bf01390332 1983

  28. [28]

    Ends of maps. I

    Frank Quinn. “Ends of maps. I”. In:Ann. of Math. (2)110.2 (1979), pp. 275–331.issn: 0003-486X.doi:10.2307/1971262.url:https://doi.org/10.2307/1971262

    work page doi:10.2307/1971262.url:https://doi.org/10.2307/1971262 1979

  29. [29]

    Ends of maps. III. Dimensions4and5

    Frank Quinn. “Ends of maps. III. Dimensions4and5”. In:J. Differential Geometry17.3 (1982), pp. 503–521.issn: 0022-040X.url:http://projecteuclid.org/euclid.jdg/ 1214437139

    1982

  30. [30]

    Resolutions of homology manifolds, and the topological characterization of manifolds

    Frank Quinn. “Resolutions of homology manifolds, and the topological characterization of manifolds”. In:Invent. Math.72.2 (1983), pp. 267–284.issn: 0020-9910.doi:10. 1007/BF01389323.url:https://doi.org/10.1007/BF01389323. REFERENCES 13

    work page doi:10.1007/bf01389323 1983

  31. [31]

    World Scientific Pub- lishingCo.Pte.Ltd.,Hackensack,NJ,2016,pp.xxii+106.isbn:978-981-4733-78-6.doi: 10.1142/9887.url:https://doi.org/10.1142/9887

    Yuli Rudyak.Piecewise linear structures on topological manifolds. World Scientific Pub- lishingCo.Pte.Ltd.,Hackensack,NJ,2016,pp.xxii+106.isbn:978-981-4733-78-6.doi: 10.1142/9887.url:https://doi.org/10.1142/9887

    work page doi:10.1142/9887.url:https://doi.org/10.1142/9887 2016

  32. [32]

    Intersection homology of linkage spaces

    Dirk Schütz. “Intersection homology of linkage spaces”. In:J. Topol. Anal.8.1 (2016), pp. 25–58.issn: 1793-5253,1793-7167.doi:10.1142/S1793525316500023.url:https: //doi.org/10.1142/S1793525316500023

    work page doi:10.1142/s1793525316500023.url:https: 2016

  33. [33]

    Intersection homology of linkage spaces in odd-dimensional Euclidean space

    Dirk Schütz. “Intersection homology of linkage spaces in odd-dimensional Euclidean space”. In:Algebr. Geom. Topol.16.1 (2016), pp. 483–508.issn: 1472-2747,1472-2739. doi:10.2140/agt.2016.16.483.url:https://doi.org/10.2140/agt.2016.16.483

    work page doi:10.2140/agt.2016.16.483.url:https://doi.org/10.2140/agt.2016.16.483 2016

  34. [34]

    Approximating cellular maps by homeomorphisms

    L. C. Siebenmann. “Approximating cellular maps by homeomorphisms”. In:Topology 11 (1972), pp. 271–294.issn: 0040-9383.doi:10.1016/0040-9383(72)90014-6.url: https://doi.org/10.1016/0040-9383(72)90014-6

    work page doi:10.1016/0040-9383(72)90014-6.url: 1972

  35. [35]

    Deformation of homeomorphisms on stratified sets

    Laurent Carl Siebenmann. “Deformation of homeomorphisms on stratified sets”. In: Commentarii Mathematici Helvetici47.1 (1972), pp. 123–163

    1972

  36. [36]

    Approximation by equivariant homeomorphisms. I

    Mark Steinberger and James West. “Approximation by equivariant homeomorphisms. I”. In:Trans. Amer. Math. Soc.302.1 (1987), pp. 297–317.issn: 0002-9947,1088-6850. doi:10.2307/2000911.url:https://doi.org/10.2307/2000911

    work page doi:10.2307/2000911.url:https://doi.org/10.2307/2000911 1987

  37. [37]

    CAT(0) 4-manifolds possessing a single tame point are Euclidean

    Paul Thurston. “CAT(0) 4-manifolds possessing a single tame point are Euclidean”. In: J. Geom. Anal.6.3 (1996), 475–494 (1997).issn: 1050-6926,1559-002X.doi:10.1007/ BF02921662.url:https://doi.org/10.1007/BF02921662

    work page doi:10.1007/bf02921662 1996

  38. [38]

    A generalization of a theorem of Edwards

    Jyh-Yang Wu. “A generalization of a theorem of Edwards”. In:Proc. Amer. Math. Soc. 127.10 (1999), pp. 3119–3123.issn: 0002-9939,1088-6826.doi:10.1090/S0002-9939- 99-04860-1.url:https://doi.org/10.1090/S0002-9939-99-04860-1

    work page doi:10.1090/s0002-9939- 1999

  39. [39]

    Topological regularity theorems for Alexandrov spaces

    Jyh-Yang Wu. “Topological regularity theorems for Alexandrov spaces”. In:J. Math. Soc. Japan49.4 (1997), pp. 741–757.issn: 0025-5645.doi:10.2969/jmsj/04940741. url:https://doi.org/10.2969/jmsj/04940741. (Alattar)Department of Mathematical Sciences, Durham University, United Kingdom Email address:mohammad.alattar@durham.ac.uk (Tadman)Department of Mathemat...

    work page doi:10.2969/jmsj/04940741 1997