pith. sign in

arxiv: 2412.04768 · v2 · pith:TPZ37RQOnew · submitted 2024-12-06 · 🧮 math.GT

Small Triangulations of 4-Manifolds: Introducing the 4-Manifold Census

Rhuaidi Antonio Burke , Benjamin A. Burton , Jonathan Spreer This is my paper

Pith reviewed 2026-05-23 08:23 UTC · model grok-4.3

classification 🧮 math.GT
keywords 4-manifoldstriangulationsPL structurescombinatorial classificationpentachora4-sphereCP^2homology spheres
0
0 comments X

The pith

A combinatorial framework distinguishes PL types for nearly all triangulated 4-manifolds with six or fewer pentachora.

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

The authors develop a systematic way to tell apart different piecewise-linear structures on triangulated four-dimensional manifolds. They apply this method to every known triangulation using no more than six pentachora, which are the four-dimensional simplices. For most homeomorphism types the method succeeds completely, but three cases—the 4-sphere, the complex projective plane, and one rational homology sphere—leave a small number of possible PL types undistinguished. The authors conjecture that even in these cases only the standard PL structure appears.

Core claim

We present a framework to classify PL-types of large censuses of triangulated 4-manifolds, which we use to classify the PL-types of all triangulated 4-manifolds with up to six pentachora. This is successful except for triangulations homeomorphic to the 4-sphere, CP^2, and the rational homology sphere QS^4(2), where we find at most four, three, and two PL-types respectively. We conjecture that they are all standard. In addition, we look at the cases resisting classification and discuss the combinatorial structure of these triangulations.

What carries the argument

The framework of combinatorial invariants and comparison procedures that detect distinct PL structures among triangulations of 4-manifolds.

If this is right

  • Triangulations homeomorphic to most 4-manifolds have unique PL types when using at most six pentachora.
  • The 4-sphere admits at most four distinct PL types among these small triangulations.
  • CP^2 has at most three PL types and QS^4(2) has at most two.
  • The triangulations that resist classification display distinctive combinatorial structures.

Where Pith is reading between the lines

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

  • If the conjecture holds, small triangulations may not produce detectable exotic PL structures on these manifolds.
  • The framework could scale to larger censuses to test whether additional PL types appear beyond six pentachora.
  • The resisting cases may connect to known computational difficulties in recognizing the standard PL structure on the 4-sphere.

Load-bearing premise

The combinatorial invariants and comparison procedures are sufficient to detect all distinct PL structures among the triangulations and do not miss any PL equivalences that exist between them.

What would settle it

An explicit PL equivalence between two triangulations currently placed in different types, or a new triangulation with six pentachora realizing an additional PL type on one of the three exceptional manifolds.

Figures

Figures reproduced from arXiv: 2412.04768 by Benjamin A. Burton, Jonathan Spreer, Rhuaidi Antonio Burke.

Figure 1
Figure 1. Figure 1: Pachner moves and their inverses in dimension 4. [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Kirby diagram of the rational ball R(n). R(n) is a rational homology ball. Let QS4 (n) denote the double of R(n), that is QS4 (n) := DR(n) = R(n)∪id R(n). QS4 (n) is then a rational homology 4-sphere with π1(QS4 (n)) ∼= Zn and homology vector (Zn, Zn, 0). By using a combination of Katie, Up-Side-Down-Simplify (see Section 4), and Regina, we obtain representative triangulations of QS4 (n) for n ∈ {2, 3}, ea… view at source ↗
read the original abstract

We present a framework to classify PL-types of large censuses of triangulated $4$-manifolds, which we use to classify the PL-types of all triangulated $4$-manifolds with up to six pentachora. This is successful except for triangulations homeomorphic to the $4$-sphere, $\mathbb{C}P^2$, and the rational homology sphere $QS^4(2)$, where we find at most four, three, and two PL-types respectively. We conjecture that they are all standard. In addition, we look at the cases resisting classification and discuss the combinatorial structure of these triangulations -- which we deem interesting in their own rights.

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 paper presents a framework to classify PL-types of large censuses of triangulated 4-manifolds and applies it to classify the PL-types of all triangulated 4-manifolds with up to six pentachora. Classification succeeds except for triangulations homeomorphic to the 4-sphere, CP^2, and the rational homology sphere QS^4(2), where at most four, three, and two PL-types are found respectively; the authors conjecture these are all standard. The paper additionally examines the combinatorial structure of the cases that resist classification.

Significance. If the framework's invariants and comparison procedures are complete, the work delivers the first explicit census of small 4-manifold triangulations together with their PL structures. The explicit upper bounds and the conjecture constitute concrete, falsifiable outputs that can be tested by independent implementations. The computational enumeration with described procedures supplies a reproducible data set for the field.

minor comments (3)
  1. [Abstract] Abstract: stating the total number of triangulations enumerated would give immediate context to the reported PL-type counts.
  2. The description of the combinatorial invariants used in the framework would benefit from a short table summarizing which invariants distinguish which pairs of triangulations.
  3. A brief discussion of runtime or memory limits for the enumeration procedure would help readers assess scalability beyond six pentachora.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of our framework and results, and recommendation for minor revision. The evaluation of significance and reproducibility is encouraging. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper describes a computational enumeration of all triangulated 4-manifolds with at most six pentachora together with an explicit framework of combinatorial invariants and comparison procedures used to assign PL-types. The reported counts (including the qualified 'at most' bounds for S^4, CP^2 and QS^4(2)) are direct outputs of this enumeration and classification process rather than quantities obtained by fitting parameters or by any self-referential definition. No equations, ansatzes, or uniqueness theorems are invoked that reduce the central claims to the inputs by construction; the work is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The classification rests on standard axioms of piecewise-linear topology and the correctness of the authors' enumeration and comparison algorithms; no free parameters, ad-hoc axioms, or invented entities are described in the abstract.

axioms (1)
  • standard math Standard axioms of PL topology and simplicial complexes suffice to define and compare PL structures on 4-manifolds.
    Invoked implicitly by the use of PL-type classification on triangulations.

pith-pipeline@v0.9.0 · 5647 in / 1376 out tokens · 20756 ms · 2026-05-23T08:23:08.046696+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

44 extracted references · 44 canonical work pages · 3 internal anchors

  1. [1]

    S. Akbulut. Cappell-Shaneson homotopy spheres are standard. Ann. of Math. (2), 171(3):2171–2175,

    work page

  2. [2]

    doi:10.4007/annals.2010.171.2171

    work page doi:10.4007/annals.2010.171.2171 2010

  3. [3]

    E. G. Altmann and J. Spreer. Sampling triangulations of manifolds using Monte Carlo methods. arXiv:2310.07372, 2024. Preprint, to appear in Exp. Math. Acceptance date: 8 Nov 2024

    work page arXiv 2024

  4. [4]

    Bj¨ orner and F

    A. Bj¨ orner and F. H. Lutz. Simplicial manifolds, bistellar flips and a 16-vertex triangula- tion of the Poincar´ e homology 3-sphere. Experiment. Math. , 9(2):275–289, 2000. URL: http: //projecteuclid.org/euclid.em/1045952351

    work page arXiv 2000

  5. [5]

    Budney and B

    R. Budney and B. A. Burton. A census of small triangulated 4-manifolds, 2025+. In preparation

    work page 2025

  6. [6]

    Budney, B

    R. Budney, B. A. Burton, and J. Hillman. Triangulating a Cappell-Shaneson knot complement. Math. Res. Lett., 19(5):1117–1126, 2012. doi:10.4310/MRL.2012.v19.n5.a12

    work page doi:10.4310/mrl.2012.v19.n5.a12 2012

  7. [7]

    R. A. Burke. Combinatorial structures of small 4-manifold triangulations (in preparation). 2024+

    work page 2024

  8. [8]

    R. A. Burke. Katie, 2024. Version 2.0. URL: https://github.com/raburke/Comp4Top

    work page 2024

  9. [9]

    R. A. Burke. Practical Software for Triangulating and Simplifying 4-Manifolds. In Wolfgang Mulzer and Jeff M. Phillips, editors, 40th International Symposium on Computational Geom- etry (SoCG 2024) , volume 293 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 29:1–29:23, Dagstuhl, Germany, 2024. Schloss Dagstuhl – Leibniz-Zentrum f¨ ur...

    work page doi:10.4230/lipics.socg.2024.29 2024

  10. [10]

    B. A. Burton. Efficient enumeration of 3-manifold triangulations. Austral. Math. Soc. Gaz. , 31(2):108–114, 2004

    work page 2004

  11. [11]

    B. A. Burton. Enumeration of non-orientable 3-manifolds using face-pairing graphs and union-find. Discrete Comput. Geom., 38(3):527–571, 2007. doi:10.1007/s00454-007-1307-x

    work page doi:10.1007/s00454-007-1307-x 2007

  12. [12]

    B. A. Burton. The Pachner graph and the simplification of 3-sphere triangulations. In Proc. 27th ACM Symp. Comput. Geom. (SoCG 2011), Paris, France, June 13–15, 2011 , pages 153–162. ACM, New York, 2011. doi:10.1145/1998196.1998220

    work page doi:10.1145/1998196.1998220 2011

  13. [13]

    B. A. Burton, R. Budney, W. Pettersson, et al. Regina: Software for low-dimensional topology, 1999–2022. Version 7.2. URL: https://regina-normal.github.io. 13

    work page 1999

  14. [14]

    B. A. Burton and W. Pettersson. An Edge-Based Framework for Enumerating 3-Manifold Trian- gulations. In Lars Arge and J´ anos Pach, editors, 31st International Symposium on Computational Geometry (SoCG 2015) , volume 34 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 270–284, Dagstuhl, Germany, 2015. Schloss Dagstuhl – Leibniz-Zentrum...

    work page doi:10.4230/lipics.socg.2015.270 2015

  15. [15]

    B. A. Burton and J. Spreer. Computationally proving triangulated 4-manifolds to be diffeomorphic,

    work page

  16. [16]

    URL: https://arxiv.org/abs/1403.2780, arXiv:1403.2780

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    S. S. Cairns. Triangulation of the manifold of class one. Bull. Amer. Math. Soc. , 41(8):549–552,

    work page

  18. [18]

    doi:10.1090/S0002-9904-1935-06140-3

    work page doi:10.1090/s0002-9904-1935-06140-3 1935

  19. [19]

    S. S. Cairns. A simple triangulation method for smooth manifolds. Bull. Amer. Math. Soc. , 67:389– 390, 1961. doi:10.1090/S0002-9904-1961-10631-9

    work page doi:10.1090/s0002-9904-1961-10631-9 1961

  20. [20]

    S. E. Cappell and J. L. Shaneson. Some new four-manifolds. Ann. of Math. (2) , 104(1):61–72, 1976. doi:10.2307/1971056

    work page doi:10.2307/1971056 1976

  21. [21]

    M. R. Casali and P. Cristofori. Kirby diagrams and 5-colored graphs representing compact 4- manifolds. Rev. Mat. Complut. , 36(3):899–931, 2023. doi:10.1007/s13163-022-00438-x

    work page doi:10.1007/s13163-022-00438-x 2023

  22. [23]

    P´ erez-Cerezo Flohr

    A. P´ erez-Cerezo Flohr. Inspection of a census of 4-manifolds, 2024. Master’s Thesis

    work page 2024

  23. [24]

    M. H. Freedman. The topology of four-dimensional manifolds. J. Differential Geometry, 17(3):357– 453, 1982. URL: http://projecteuclid.org/euclid.jdg/1214437136

    work page arXiv 1982

  24. [25]

    R. E. Gompf. More Cappell-Shaneson spheres are standard. Algebr. Geom. Topol., 10(3):1665–1681,

    work page

  25. [26]

    doi:10.2140/agt.2010.10.1665

    work page doi:10.2140/agt.2010.10.1665 2010

  26. [27]

    R. E. Gompf and A. I. Stipsicz. 4 -manifolds and Kirby calculus , volume 20 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1999. doi:10.1090/gsm/020

    work page doi:10.1090/gsm/020 1999

  27. [28]

    Gap – groups, algorithms, and programming, version 4.13.1, 2024

    The GAP Group. Gap – groups, algorithms, and programming, version 4.13.1, 2024. URL: https: //www.gap-system.org

    work page 2024

  28. [29]

    A. Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002

    work page 2002

  29. [30]

    M. W. Hirsch and B. Mazur. Smoothings of piecewise linear manifolds , volume No. 80 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1974

    work page 1974

  30. [31]

    Joswig, D

    M. Joswig, D. Lofano, F. H. Lutz, and M. Tsuruga. Frontiers of sphere recognition in practice. J. Appl. Comput. Topol., 6(4):503–527, 2022. doi:10.1007/s41468-022-00092-8

    work page doi:10.1007/s41468-022-00092-8 2022

  31. [32]

    Kawauchi

    A. Kawauchi. Splitting a 4-manifold with infinite cyclic fundamental group, revised. Journal of Knot Theory and Its Ramifications , 22(14):1350081, 2013. doi:10.1142/S0218216513500818

    work page doi:10.1142/s0218216513500818 2013

  32. [33]

    Kawauchi

    A. Kawauchi. Splitting a 4-manifold with infinite cyclic fundamental group, revised in a defi- nite case. Journal of Knot Theory and Its Ramifications , 23(05):1450029, 2014. doi:10.1142/ S0218216514500291

    work page 2014

  33. [34]

    Kawauchi

    A. Kawauchi. Splitting criteria for a definite 4-manifold with infinite cyclic fundamental group,

    work page

  34. [35]

    URL: https://arxiv.org/abs/1804.01380, arXiv:1804.01380. 14

    work page internal anchor Pith review Pith/arXiv arXiv

  35. [36]

    P. B. Kronheimer and T. S. Mrowka. Recurrence relations and asymptotics for four- manifold invariants. Bull. Amer. Math. Soc. (N.S.) , 30(2):215–221, 1994. doi:10.1090/ S0273-0979-1994-00492-6

    work page 1994

  36. [37]

    Laudenbach and V

    F. Laudenbach and V. Po´ enaru. A note on 4-dimensional handlebodies. Bull. Soc. Math. France , 100:337–344, 1972. URL: http://www.numdam.org/item?id=BSMF_1972__100__337_0

    work page 1972

  37. [38]

    Milnor, M

    J. Milnor, M. Spivak, and R. Wells. Morse Theory. (AM-51), Volume 51 . Princeton University Press, 1969. URL: http://www.jstor.org/stable/j.ctv3f8rb6

    work page 1969

  38. [39]

    J. Munkres. Obstructions to the smoothing of piecewise-differentiable homeomorphisms. Ann. of Math. (2), 72:521–554, 1960. doi:10.2307/1970228

    work page doi:10.2307/1970228 1960

  39. [40]

    U. Pachner. Konstruktionsmethoden und das kombinatorische Hom¨ oomorphieproblem f¨ ur Trian- gulationen kompakter semilinearer Mannigfaltigkeiten. Abh. Math. Sem. Univ. Hamburg , 57:69–86,

    work page

  40. [41]

    doi:10.1007/BF02941601

    work page doi:10.1007/bf02941601

  41. [42]

    Saveliev

    N. Saveliev. Lectures on the Topology of 3-Manifolds: An Introduction to the Casson Invari- ant. De Gruyter Textbook. Walter de Gruyter & Co., Berlin, 2nd edition, 2012. doi:10.1515/ 9783110250367

    work page 2012

  42. [43]

    D. M. Y. Sommerville. The relations connecting the angle-sums and volume of a polytope in space of n dimensions. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character , 115(770):103–119, 1927. URL: http://www.jstor.org/ stable/94871

    work page 1927

  43. [44]

    Constructing Complicated Spheres

    M. Tsuruga and F. H. Lutz. Constructing complicated spheres, 2013. URL: https://arxiv.org/ abs/1302.6856, arXiv:1302.6856

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  44. [45]

    J. H. C. Whitehead. On C 1-complexes. Ann. of Math. (2), 41:809–824, 1940. doi:10.2307/1968861. 15

    work page doi:10.2307/1968861 1940