pith. sign in

arxiv: 2403.18279 · v3 · submitted 2024-03-27 · 🧮 math.GT · math.CO

A Kuratowski-Type Classification of Critical Complexes for the 3-Sphere

Mario Eudave-Mu\~noz , Makoto Ozawa This is my paper

Pith reviewed 2026-05-24 03:51 UTC · model grok-4.3

classification 🧮 math.GT math.CO
keywords critical complexes3-sphere embeddabilityKuratowski theoremgraph complexesmultibranched surfacespiecewise-linear embeddingsreduction graphforest attachments
0
0 comments X

The pith

Exactly seven critical complexes of the form (G×S¹)∪H are minimal obstructions to embedding in the 3-sphere up to homeomorphism.

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

The paper establishes a complete classification of critical simplicial complexes for the 3-sphere that take the specific form (G×S¹)∪H, where G and H are graphs and H attaches along vertices of the branch set. Criticality means the complex itself does not embed in S³, but removing the open star of any simplex in its second barycentric subdivision does yield an embeddable polyhedron. The argument collapses the S¹ factor to obtain a reduction graph that must be inclusion-minimal non-planar, applies Kuratowski's theorem to reduce to K₅ and K_{3,3} cases, and then exhausts all possible forest attachments H that satisfy a face-incidence criterion. A reader cares because these seven complexes are the smallest building blocks from which non-embeddable regular multibranched surfaces in S³ must be assembled.

Core claim

The main theorem states there are exactly seven such critical complexes up to homeomorphism: two K₄-type complexes, four Θ₄-type complexes, and one K_{2,3}-type complex. The proof shows that criticality forces H to be a forest, G to be planar, and the collapsed reduction graph to be inclusion-minimal non-planar, so Kuratowski's theorem reduces the work to the K₅ and K_{3,3} cases; a finite enumeration of forest attachments via the face-incidence criterion then isolates precisely these seven models. The paper also shows every non-embeddable regular multibranched surface in S³ contains a critical subcomplex of the form M∪H.

What carries the argument

The reduction graph obtained by collapsing the S¹-factor of G×S¹, which must be inclusion-minimal non-planar and thereby reduces the classification exactly to the Kuratowski graphs K₅ and K_{3,3} with exhaustive forest attachments checked by the face-incidence criterion.

If this is right

  • Every critical complex of this form belongs to one of the seven enumerated homeomorphism types.
  • Non-embeddable regular multibranched surfaces in S³ must contain at least one of these seven critical subcomplexes.
  • Embeddability after star deletion is completely decided by the face-incidence criterion on the reduced graph.
  • The classification is finite because the Kuratowski cases are finite and the forest attachments admit only finitely many incidence patterns.

Where Pith is reading between the lines

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

  • The same reduction technique might classify critical complexes outside the (G×S¹)∪H form by first extracting a maximal multibranched surface subcomplex.
  • These seven models could serve as the forbidden minors in a recognition algorithm for embeddability of regular multibranched surfaces in S³.
  • The K₄-, Θ₄-, and K_{2,3}-type complexes may correspond to distinct ways the S¹-factor interacts with the attaching forest to create non-embeddability.

Load-bearing premise

Criticality of the complex forces H to be a forest, G to be planar, and the collapsed reduction graph to be inclusion-minimal non-planar.

What would settle it

Discovery of an eighth homeomorphism type of a complex (G×S¹)∪H that is critical for S³ yet lies outside the seven listed models.

Figures

Figures reproduced from arXiv: 2403.18279 by Makoto Ozawa, Mario Eudave-Mu\~noz.

Figure 1
Figure 1. Figure 1: A list of critical complexes. The black-colored graph represents G and the red-colored graph represents H. 1.1. Symbol explanation. We decompose a 2-dimensional simplicial complex X into the following parts. Let △i denote the set of i-dimensional simplices of X, and for a point p ∈ |X|, N(p; X) denote an open neighborhood of p in |X|. The 2-dimensional part X2 = |△2 | of X is decomposed into the sector set… view at source ↗
Figure 2
Figure 2. Figure 2: Re-embedding of |X′′ − st(τ )| in M1 The following theorem shows that if a regular multibranched surface cannot be embedded in S 3 , it must contain a critical subcomplex. However, this is a special case, and as will be shown later, this property is not satisfied in general. Theorem 2.6. If a regular multibranched surface X cannot be embedded in S 3 , then there exists a critical subcomplex M ∪ H of X, whe… view at source ↗
Figure 3
Figure 3. Figure 3: Two circular orderings Proof. First, suppose that f is of type (1) in Lemma 2.9. By re-embedding N(K) = D2 × S 1 in S 3 , we have that K is the trivial knot. Moreover, by performing Dehn twists along D2 , we obtain that p×S 1 bounds a disk in E(K) for a point p ∈ ∂D2 . Thus we have a standard embedding f0 : G × S 1 → S 3 . Since the rotation system remains unchanged during these two operations, we have a s… view at source ↗
Figure 5
Figure 5. Figure 5: K4-type (II) Θ4-type — The sector S is divided into four parts Si (for i = 0, . . . , 3), each with boundary ∂Si = B. The multibranched surface M can be embedded in S 3 so that it divides S 3 into four regions Rj (j = 1, . . . , 4), where ∂Rj = Sj−1 ∪ Sj for j = 1, 2, 3 and ∂R4 = S3 ∪ S0. Furthermore, we assume that M can be embedded in S 3 so that the sector S admits a rotation system corresponding to Θ4.… view at source ↗
Figure 6
Figure 6. Figure 6: Θ4-type U [PITH_FULL_IMAGE:figures/full_fig_p014_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: K2,3-type It is straightforward to verify that the K4-type, the Θ4-type and the K2,3-type are critical for S 3 . The K4-type, Θ4-type, and K2,3-type are broader classes than products, and are a “mechanism” for making them unembeddable. 2.5. Complexes which do not contain critical complexes. Suppose that a complex X cannot be embedded in the 3-sphere S 3 . As suggested by Theorem 2.6, one might expect that … view at source ↗
Figure 8
Figure 8. Figure 8: Non-critical complex X = S 2 ∪ D1 ∪ D2 ∪ γ [PITH_FULL_IMAGE:figures/full_fig_p014_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: If the resultant complex X′ can be embedded in Fg, then X can be α [PITH_FULL_IMAGE:figures/full_fig_p017_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Topological deformations (c) cut the annulus or disks in the collar of the sector, but due to the finiteness of the vertices, it is impossible to take the essential arc α to infinity. □ Let |X′ | be the resultant polyhedron. We will show that [X′ ] is critical for [M]. Let [X′′] & [X′ ] be a proper element. By the definition, |X′′| can be embedded in |X′ |. Hence there exists a triangulation of X′ such th… view at source ↗
Figure 11
Figure 11. Figure 11: The 2-simplex ∆ with the edges e1, e2, e3 and vertices v1, v2, v3 Case (1)-(a): e1, e2, e3 ∈ intX2 [PITH_FULL_IMAGE:figures/full_fig_p018_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Topological deformations In Case (7)-(a), X′′ 0 is embeddability equivalent to X′ 0 . But X′′ 0 can be obtained from X′ 0 by performing operations (I)’s. This is a contradiction. In Case (7)-(b), similarly to (7)-(a), we have a contradiction. This completes the proof. □ Remark 3.9. Theorem 3.7 holds even if S 3 is any PL closed n-manifold (n ≤ 3). Acknowledgement. The research and writing of this work wer… view at source ↗
read the original abstract

We give a Kuratowski-type classification of a graph-defined class of minimal piecewise-linear obstructions to embeddability in the 3-sphere. A finite simplicial complex \(X\) is called critical for \(S^3\) if \(|X|\) does not embed in \(S^3\), whereas deleting the open star of any simplex in the second barycentric subdivision of \(X\) yields a polyhedron embeddable in \(S^3\). The main theorem completely classifies critical complexes of the form \((G\times S^1)\cup H\), where \(G\) and \(H\) are graphs and \(H\) is attached along vertices of the branch set of \(G\times S^1\). We prove that there are exactly seven such complexes up to homeomorphism: two \(K_4\)-type complexes, four \(\Theta_4\)-type complexes, and one \(K_{2,3}\)-type complex. The proof is combinatorial in nature. By collapsing the \(S^1\)-factor of \(G\times S^1\), we associate to \(X\) a reduction graph \(\widehat X=G\cup H\). Criticality implies that \(H\) is a forest, \(G\) is planar, and \(\widehat X\) is inclusion-minimal non-planar. Kuratowski's theorem therefore reduces the classification to the cases \(K_5\) and \(K_{3,3}\). A finite analysis of forest attachments, together with a face-incidence criterion for embeddability, leaves precisely the seven models listed above. We also prove that every non-embeddable regular multibranched surface in \(S^3\) contains a critical subcomplex of the form \(M\cup H\), where \(M\) is a regular multibranched surface and \(H\) is a graph.

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

Summary. The manuscript claims a Kuratowski-type classification of critical simplicial complexes for the 3-sphere of the specific form (G × S¹) ∪ H, where G and H are graphs and H attaches along vertices of the branch set of G × S¹. It asserts that there are exactly seven such complexes up to homeomorphism (two K₄-type, four Θ₄-type, one K_{2,3}-type). The proof reduces the problem by collapsing the S¹-factor to obtain a reduction graph X̂ = G ∪ H; criticality forces H to be a forest, G planar, and X̂ inclusion-minimal non-planar, so Kuratowski's theorem reduces the cases to K₅ and K_{3,3}; a finite enumeration of forest attachments via a face-incidence criterion for embeddability then yields the seven models. A secondary result states that every non-embeddable regular multibranched surface in S³ contains a critical subcomplex of the form M ∪ H.

Significance. If the classification holds, the result supplies an explicit, finite list of minimal PL obstructions in this graph-defined class, obtained by a clean combinatorial reduction to the classical Kuratowski graphs followed by exhaustive case analysis. The approach is parameter-free and relies only on standard theorems plus a stated incidence criterion, which is a methodological strength. The additional containment statement for multibranched surfaces broadens the potential utility for embeddability questions in 3-manifolds.

minor comments (3)
  1. [abstract / §3] The face-incidence criterion used in the enumeration (mentioned in the abstract and presumably stated in §3 or §4) should be given an explicit numbered statement or lemma, together with a short verification that it correctly detects non-embeddability of the resulting complexes after attachment.
  2. [main theorem statement] The seven models are described only by type names (K₄-type, Θ₄-type, K_{2,3}-type); a table or figure listing the precise edge sets or attaching maps for each would make the classification immediately usable and would facilitate checking the enumeration.
  3. [final paragraph of abstract] The secondary result on multibranched surfaces is stated without a section reference or proof sketch; a brief outline of how the critical subcomplex is extracted would strengthen the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation, the recognition of the methodological strengths of the combinatorial reduction, and the recommendation of minor revision. No specific major comments or requested changes were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; classification reduces via external Kuratowski theorem

full rationale

The derivation applies Kuratowski's theorem (external, standard graph-theory result) to reduce criticality of X to the cases of minimal non-planar graphs K5 and K3,3, then enumerates forest attachments H under a stated face-incidence criterion. No equations or claims reduce by construction to fitted inputs, self-definitions, or author-specific prior results. The face-incidence criterion is presented as part of the combinatorial analysis rather than presupposed. The paper is self-contained against external benchmarks, yielding a normal non-circular finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classification rests on standard results from graph theory and combinatorial topology; no free parameters, new entities, or ad-hoc axioms beyond the invoked theorems are introduced.

axioms (2)
  • standard math Kuratowski's theorem characterizing minimal non-planar graphs as K₅ and K_{3,3}
    Invoked to reduce the classification of the collapsed reduction graph to the K₅ and K_{3,3} cases.
  • domain assumption Face-incidence criterion for embeddability after forest attachments
    Used to determine which attachments preserve or destroy embeddability in S³.

pith-pipeline@v0.9.0 · 5879 in / 1420 out tokens · 30855 ms · 2026-05-24T03:51:01.979597+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

27 extracted references · 27 canonical work pages

  1. [1]

    Burde, G., Zieschang, H, Knots, de Gruyter Studies in Mathematics 5, Walter de Gruyter & Co., Berlin, 1985

    work page 1985

  2. [2]

    Carmesin, Embedding simply connected 2-complexes in 3-space – I

    J. Carmesin, Embedding simply connected 2-complexes in 3-space – I. A Kuratowski-type characterisation, arXiv:1709.04642

    work page arXiv

  3. [3]

    K. Eto, S. Matsuzaki, M. Ozawa, An obstruction to embedding 2-dimensional complexes into the 3-sphere, Topol. Appl. 198 (2016), 117–125

    work page 2016

  4. [4]

    Eudave-Mu˜ noz,Non-hyperbolic manifolds obtained by Dehn surgery on hyperbolic knots , Geometric topology (Athens, GA, 1993), AMS/IP Stud

    M. Eudave-Mu˜ noz,Non-hyperbolic manifolds obtained by Dehn surgery on hyperbolic knots , Geometric topology (Athens, GA, 1993), AMS/IP Stud. Adv. Math., vol. 2, Amer. Math. Soc., Providence, RI, 1997, pp. 35–61

    work page 1993

  5. [5]

    Eudave-Mu˜ noz, M

    M. Eudave-Mu˜ noz, M. Ozawa,Characterization of 3-punctured spheres in non-hyperbolic link exteriors, Topol. Appl. 264 (2019), 300–312

    work page 2019

  6. [6]

    M. G. Fischer, L. de Campo, J. J. K. Kirkensgaard, S. T. Hyde, and G. E. Schr¨ oder-Turk,The Tricontinuous 3ths(5) Phase: A New Morphology in Copolymer 2 Melts , Macromolecules 47 (2014), 7424–7430

    work page 2014

  7. [7]

    Fr´ echet,Les dimensions d’un ensemble abstrait , Math

    M. Fr´ echet,Les dimensions d’un ensemble abstrait , Math. Ann. 68 (1910), 145–168

    work page 1910

  8. [8]

    D. Gay, R. Kirby, Trisecting 4-manifolds, Geom. Topol. 20 (2016), 3097–3132

    work page 2016

  9. [9]

    A Mathematical Trib- ute to Jos´ e Mar´ ıa Montesinos Amilibia

    J. C. G´ omez-Larra˜ naga, F. Gonz´ alez-Acu˜ na, W. Heil,2-stratifolds, in “A Mathematical Trib- ute to Jos´ e Mar´ ıa Montesinos Amilibia”, Universidad Complutense de Madrid, 395–405 (2016)

    work page 2016

  10. [10]

    J. C. G´ omez-Larra˜ naga, F. Gonz´ alez-Acu˜ na, W. Heil,2-Stratifold groups have solvable word problem, Revista de la Real Academia de Ciencias Exactas, F´ ısicas y Naturales. Serie A. Matem´ aticas112 (2018), 803–810

    work page 2018

  11. [11]

    J. C. G´ omez-Larra˜ naga, F. Gonz´ alez-Acu˜ na, W. Heil,2-stratifold spines of closed 3-manifolds, Osaka J. Math. 57 (2020), 267–277

    work page 2020

  12. [12]

    J. F. Geelen, R. B. Richter, G. Salazar, Embedding grids in surfaces , European Journal of Combinatorics 25 (2004), 785–792

    work page 2004

  13. [13]

    C. McA. Gordon, J. Luecke, Non-integral toroidal Dehn surgeries , Comm. Anal. Geom. 12 (2004), 417–485

    work page 2004

  14. [14]

    S. T. Hyde, L. de Campo, C. Oguey, Tricontinuous mesophases of balanced three-arm ‘star polyphiles’, Soft Matter 5 (2009), 2782–2794. FORBIDDEN COMPLEXES FOR THE 3-SPHERE 21

    work page 2009

  15. [15]

    S. T. Hyde, G. E. Schr¨ oder-Turk, Geometry of interfaces: topological complexity in biology and materials, Interface Focus 2 (2012), 529–538

    work page 2012

  16. [16]

    Y. Koda, M. Ozawa, Essential surfaces of non-negative Euler characteristic in genus two handlebody exteriors, Trans. Amer. Math. Soc. 367 (2015), 2875–2904

    work page 2015

  17. [17]

    Koenig, Trisections in three and four dimensions , Ph.D

    D. Koenig, Trisections in three and four dimensions , Ph.D. thesis, University of California, Davis, 2017

    work page 2017

  18. [18]

    Kuratowski, Sur le probl` eme des courbes gauches en topologie , Fund

    K. Kuratowski, Sur le probl` eme des courbes gauches en topologie , Fund. Math. 15 (1930), 271–283

    work page 1930

  19. [19]

    Matsuzaki, M

    S. Matsuzaki, M. Ozawa, Genera and minors of multibranched surfaces , Topol. Appl. 230 (2017), 621–638

    work page 2017

  20. [20]

    Marde˘ si´ c, J

    S. Marde˘ si´ c, J. Segal,A note on polyhedra embeddable in the plane , Duke Math. J. 33 (1966), 633–638

    work page 1966

  21. [21]

    Mohar and C

    B. Mohar and C. Thomassen, Graphs on Surfaces, The Johns Hopskins University Press,2001

    work page 2001

  22. [22]

    Ozawa, Multibranched Surfaces in 3-Manifolds, Zapiski Nauchnykh Seminarov POMI, 498 (2020) 135–156

    M. Ozawa, Multibranched Surfaces in 3-Manifolds, Zapiski Nauchnykh Seminarov POMI, 498 (2020) 135–156

    work page 2020

  23. [23]

    Ozawa, Multibranched Surfaces in 3-Manifolds , J

    M. Ozawa, Multibranched Surfaces in 3-Manifolds , J. Math. Sci. 255 (2021), 193–208

    work page 2021

  24. [24]

    J. H. Rubinstein, S. Tillmann, Generalized trisections in all dimensions , PNAS 115 (2018), 10908–10913

    work page 2018

  25. [25]

    Segal, Quasi dimension type

    J. Segal, Quasi dimension type. I. Types in the real line , Pacific J. Math. 20 (1967), 501–534

    work page 1967

  26. [26]

    L. G. Valdez-S´ anchez, Incompressible planar surfaces in hyperbolic link exteriors in the 3- sphere, preprint

    work page

  27. [27]

    Wagner, ¨Uber eine Eigenschaft der ebenen Komplexe , Math

    K. Wagner, ¨Uber eine Eigenschaft der ebenen Komplexe , Math. Ann. 114 (1937), 570–590. Instituto de Matem´aticas, Universidad Nacional Aut´onoma de M´exico, Circuito Ex- terior, Ciudad Universitaria, 04510 M ´exico D.F., MEXICO Email address: mario@matem.unam.mx Department of Natural Sciences, Faculty of Arts and Sciences, Komazawa Univer- sity, 1-23-1 K...

    work page 1937