pith. sign in

arxiv: 2411.19400 · v3 · submitted 2024-11-28 · 🧮 math.GT · math.AT· math.GR

Exotic aspherical 4-manifolds

Michael Davis , Kyle Hayden , Jingyin Huang , Daniel Ruberman , Nathan Sunukjian This is my paper

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

classification 🧮 math.GT math.ATmath.GR
keywords aspherical 4-manifoldsexotic smooth structuresBorel conjecturereflection group trick4-dimensional topologyhomeomorphism versus diffeomorphism
0
0 comments X

The pith

Closed aspherical 4-manifolds exist that are homeomorphic but not diffeomorphic.

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

The paper constructs closed smooth 4-manifolds whose universal covers are contractible, yet these manifolds come in homeomorphic pairs that are not diffeomorphic. A sympathetic reader would see this as direct evidence against the expectation that homeomorphism type determines diffeomorphism type for aspherical manifolds in dimension four. The work takes known exotic pairs of 4-manifolds with boundary and closes them using a reflection construction to produce the desired examples. If correct, this shows that the distinction between topological and smooth structures survives even when the manifold is aspherical and closed.

Core claim

Applying the reflection group trick to pairs of exotic 4-manifolds with boundary constructed by Hayden and Piccirillo produces closed aspherical smooth 4-manifolds that are homeomorphic but not diffeomorphic; these supply counterexamples to a smooth analog of the Borel conjecture in dimension four.

What carries the argument

The reflection group trick, which takes a manifold with boundary and produces a closed aspherical manifold by generating a reflection group action whose fundamental domain recovers the original manifold.

If this is right

  • The smooth analog of the Borel conjecture fails in dimension four.
  • Homeomorphism type does not determine diffeomorphism type for closed aspherical 4-manifolds.
  • Exotic smooth structures can be realized on closed aspherical 4-manifolds.
  • The reflection group trick preserves the homeomorphism-versus-diffeomorphism distinction when applied to suitable boundary pairs.

Where Pith is reading between the lines

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

  • The result suggests that similar counterexamples might be constructible in higher even dimensions if suitable exotic boundary pairs exist there.
  • The dependence on the specific exotic pairs with boundary means that further study of those boundary examples could produce additional families of closed aspherical exotics.
  • These manifolds may provide test cases for questions about whether asphericity imposes any rigidity on smooth structures beyond what topology already determines.

Load-bearing premise

The reflection group trick applied to the given exotic pairs with boundary yields closed manifolds that remain homeomorphic but not diffeomorphic.

What would settle it

An explicit diffeomorphism between any pair of the constructed closed manifolds, or a proof that they fail to be homeomorphic, would disprove the claim.

Figures

Figures reproduced from arXiv: 2411.19400 by Daniel Ruberman, Jingyin Huang, Kyle Hayden, Michael Davis, Nathan Sunukjian.

Figure 1
Figure 1. Figure 1: (Left) The 4-manifold X is the union of a contractible 4-manifold and a thickened, once-punctured torus. (Right) The 4- manifold D(X) is a union of countably many copies of X and −X, glued along 3-cells in their boundaries. Among closed manifolds, most previous constructions of exotic 4-manifolds appear ill-suited to the aspherical setting. For example, one obstacle is that closed, aspherical 4-manifolds m… view at source ↗
Figure 2
Figure 2. Figure 2: Kirby diagrams for the 4-manifolds X and X′ . Most of these properties follow verbatim from the proof of [HP19, Theorem 4.1]; for the reader’s convenience, we sketch the arguments, adding detail only where necessary. Proof. For (a), recall from above that X is obtained from the contractible Akbulut cork C by attaching a genus-1 handle F × D2 . Collapsing F × D2 to F × 0 and C to a point (hence ∂F to a poin… view at source ↗
Figure 3
Figure 3. Figure 3: A Stein handle diagram for X. For (d), let X′ be the 4-manifold shown on the right-hand side of [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
read the original abstract

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group trick' of the first author to pairs of exotic 4-manifolds with boundary constructed by the second author and Piccirillo.

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 manuscript constructs closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic by applying the reflection group trick (developed by the first author) to pairs of exotic 4-manifolds with boundary constructed by Hayden and Piccirillo. These examples are presented as counterexamples to a smooth analog of the Borel conjecture in dimension four.

Significance. If the construction holds, the result supplies concrete counterexamples showing that asphericity does not determine the smooth structure of closed 4-manifolds up to diffeomorphism, even when the manifolds are homeomorphic. The approach leverages prior independent constructions of exotic boundary manifolds and an established group-action technique, yielding falsifiable existence statements in 4-manifold topology.

minor comments (2)
  1. [Abstract] The abstract and introduction should include a brief sentence confirming that the reflection group trick preserves both the homeomorphism type and the distinction of smooth structures from the Hayden-Piccirillo pairs, with a forward reference to the relevant verification in the body.
  2. [Introduction] A short paragraph or diagram clarifying how the boundary conditions of the exotic pairs extend under the group action would improve readability for readers unfamiliar with the reflection group trick in this context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

Minor self-citation of reflection group trick and prior exotic pairs; construction independent

full rationale

The paper constructs closed aspherical 4-manifolds by applying the reflection group trick (from first author Davis's prior work) to exotic 4-manifolds with boundary (from second author Hayden and Piccirillo's prior work). These are citations to independent prior constructions that serve as inputs and methods. The current paper describes the application to produce new objects with the stated properties (asphericity, homeomorphism type preserved, smooth structures distinguished). No self-definitional reduction, no fitted parameters renamed as predictions, and no load-bearing uniqueness theorem from overlapping authors that forces the result. The derivation chain is an existence argument grounded externally rather than internally circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard domain assumptions from geometric topology and prior results on exotic boundary manifolds; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption The reflection group trick preserves asphericity, smoothness, and the homeomorphism but not diffeomorphism property when applied to the given boundary manifolds.
    Central to the described technique.
  • domain assumption Existence of the input exotic 4-manifolds with boundary that are homeomorphic but not diffeomorphic.
    Relies on the cited construction by Hayden and Piccirillo.

pith-pipeline@v0.9.0 · 5581 in / 1168 out tokens · 32777 ms · 2026-05-23T17:02:24.921342+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

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

  1. [1]

    A fake compact contractible 4 -manifold

    Selman Akbulut. A fake compact contractible 4 -manifold. J. Differential Geom. , 33(2):335--356, 1991. https://doi.org/10.4310/jdg/1214446320 doi:10.4310/jdg/1214446320

    work page doi:10.4310/jdg/1214446320 1991

  2. [2]

    Absolutely exotic compact 4-manifolds

    Selman Akbulut and Daniel Ruberman. Absolutely exotic compact 4-manifolds. Comment. Math. Helv. , 91(1):1--19, 2016. https://doi.org/10.4171/CMH/375 doi:10.4171/CMH/375

    work page doi:10.4171/cmh/375 2016

  3. [3]

    Morse theory and finiteness properties of groups

    Mladen Bestvina and Noel Brady. Morse theory and finiteness properties of groups. Invent. Math. , 129(3):445--470, 1997. https://doi.org/10.1007/s002220050168 doi:10.1007/s002220050168

    work page doi:10.1007/s002220050168 1997

  4. [4]

    Geometrisation of 3-manifolds , volume 13 of EMS Tracts in Mathematics

    Laurent Bessi\`eres, G\' e rard Besson, Sylvain Maillot, Michel Boileau, and Joan Porti. Geometrisation of 3-manifolds , volume 13 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Z\" u rich, 2010. https://doi.org/10.4171/082 doi:10.4171/082

    work page doi:10.4171/082 2010

  5. [5]

    Symmetries of exotic aspherical space forms, 2023

    Mauricio Bustamante and Bena Tshishiku. Symmetries of exotic aspherical space forms, 2023. http://arxiv.org/abs/2109.09196 arXiv:2109.09196

    work page arXiv 2023

  6. [6]

    Michael W. Davis. Groups generated by reflections and aspherical manifolds not covered by E uclidean space. Ann. of Math. (2) , 117(2):293--324, 1983. https://doi.org/10.2307/2007079 doi:10.2307/2007079

    work page doi:10.2307/2007079 1983

  7. [7]

    Michael W. Davis. The cohomology of a C oxeter group with group ring coefficients. Duke Math. J. , 91(2):297--314, 1998. https://doi.org/10.1215/S0012-7094-98-09113-X doi:10.1215/S0012-7094-98-09113-X

    work page doi:10.1215/s0012-7094-98-09113-x 1998

  8. [8]

    Michael W. Davis. The geometry and topology of C oxeter groups , volume 32 of London Mathematical Society Monographs Series . Princeton University Press, Princeton, NJ, 2008

    work page 2008

  9. [9]

    Davis and Jean-Claude Hausmann

    Michael W. Davis and Jean-Claude Hausmann. Aspherical manifolds without smooth or PL structure. In Algebraic topology ( A rcata, CA , 1986) , volume 1370 of Lecture Notes in Math. , pages 135--142. Springer, Berlin, 1989. https://doi.org/10.1007/BFb0085224 doi:10.1007/BFb0085224

    work page doi:10.1007/bfb0085224 1986

  10. [10]

    Davis, T

    M. Davis, T. Januszkiewicz, and J.-F. Lafont. 4 -dimensional locally CAT (0) -manifolds with no R iemannian smoothings. Duke Math. J. , 161(1):1--28, 2012. https://doi.org/10.1215/00127094-1507259 doi:10.1215/00127094-1507259

    work page doi:10.1215/00127094-1507259 2012

  11. [11]

    F. T. Farrell. The B orel conjecture. In Topology of high-dimensional manifolds, N o. 1, 2 ( T rieste, 2001) , volume 9 of ICTP Lect. Notes , pages 225--298. Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2002

    work page 2001

  12. [12]

    F. T. Farrell and L. E. Jones. Negatively curved manifolds with exotic smooth structures. J. Amer. Math. Soc. , 2(4):899--908, 1989. https://doi.org/10.2307/1990898 doi:10.2307/1990898

    work page doi:10.2307/1990898 1989

  13. [13]

    Freedman and Frank Quinn

    Michael H. Freedman and Frank Quinn. Topology of 4-manifolds , volume 39 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1990

    work page 1990

  14. [14]

    The topology of four-dimensional manifolds

    Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geom. , 17(3):357--453, 1982. https://doi.org/10.4310/jdg/1214437136 doi:10.4310/jdg/1214437136

    work page doi:10.4310/jdg/1214437136 1982

  15. [15]

    R. Gompf. Handlebody construction of S tein surfaces. Ann. of Math. (2) , 148(2):619--693, 1998. https://doi.org/doi.org/10.2307/121005 doi:doi.org/10.2307/121005

    work page doi:10.2307/121005 1998

  16. [16]

    Gompf and Andr\' a s I

    Robert E. Gompf and Andr\' a s I. Stipsicz. 4 -manifolds and K irby calculus , volume 20 of Graduate Studies in Mathematics . Amer. Math. Society, Providence, RI, 1999. https://doi.org/10.1090/gsm/020 doi:10.1090/gsm/020

    work page doi:10.1090/gsm/020 1999

  17. [17]

    Knot concordance in homology cobordisms

    Jennifer Hom, Adam Simon Levine, and Tye Lidman. Knot concordance in homology cobordisms . Duke Mathematical Journal , 171(15):3089 -- 3131, 2022. https://doi.org/10.1215/00127094-2021-0110 doi:10.1215/00127094-2021-0110

    work page doi:10.1215/00127094-2021-0110 2022

  18. [18]

    The trace embedding lemma and spinelessness

    Kyle Hayden and Lisa Piccirillo. The trace embedding lemma and spinelessness. J. Differential Geom. (to appear) , 2019. http://arxiv.org/abs/1912.13021 arXiv:1912.13021

    work page arXiv 2019

  19. [19]

    Lisca and G

    P. Lisca and G. Mati \'c . Stein 4 -manifolds with boundary and contact structures. Topology Appl. , 88:55--66, 1998. https://doi.org/https://doi.org/10.1016/S0166-8641(97)00198-3 doi:https://doi.org/10.1016/S0166-8641(97)00198-3

    work page doi:10.1016/s0166-8641(97)00198-3 1998

  20. [20]

    George D. Mostow. Quasi-conformal mappings in n -space and the rigidity of hyperbolic space forms. Publications Math\'ematiques de l'IH\'ES , 34:53--104, 1968. https://doi.org/10.1007/BF02684590 doi:10.1007/BF02684590

    work page doi:10.1007/bf02684590 1968

  21. [21]

    G. D. Mostow. Strong rigidity of locally symmetric spaces , volume No. 78 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1973

    work page 1973

  22. [22]

    Hyperbolic C oxeter groups

    Gabor Moussong. Hyperbolic C oxeter groups . ProQuest LLC, Ann Arbor, MI, 1988. Thesis (Ph.D.)--The Ohio State University

    work page 1988

  23. [23]

    The geometrization conjecture , volume 5 of Clay Mathematics Monographs

    John Morgan and Gang Tian. The geometrization conjecture , volume 5 of Clay Mathematics Monographs . American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA, 2014

    work page 2014

  24. [24]

    The entropy formula for the Ricci flow and its geometric applications

    Grisha Perelman. The entropy formula for the R icci flow and its geometric applications, 2002. http://arxiv.org/abs/math/0211159 arXiv:math/0211159

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  25. [25]

    Finite extinction time for the solutions to the Ricci flow on certain three-manifolds

    Grisha Perelman. Finite extinction time for the solutions to the R icci flow on certain three-manifolds, 2003. http://arxiv.org/abs/math/0307245 arXiv:math/0307245

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  26. [26]

    Ricci flow with surgery on three-manifolds

    Grisha Perelman. R icci flow with surgery on three-manifolds, 2003. http://arxiv.org/abs/math/0303109 arXiv:math/0303109

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  27. [27]

    Flag-no-square triangulations and G romov boundaries in dimension 3

    Piotr Przytycki and Jacek \' S wi a tkowski. Flag-no-square triangulations and G romov boundaries in dimension 3. Groups, Geometry, and Dynamics , 3(3):453--468, 2009. https://doi.org/10.4171/GGD/65, doi:10.4171/GGD/65,

    work page doi:10.4171/ggd/65 2009

  28. [28]

    C. P. Rourke and B. J. Sanderson. Introduction to piecewise-linear topology , volume Band 69 of Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas] . Springer-Verlag, New York-Heidelberg, 1972

    work page 1972

  29. [29]

    C. T. C. Wall. Locally flat PL submanifolds with codimension two. Proc. Cambridge Philos. Soc. , 63:5--8, 1967. https://doi.org/10.1017/s0305004100040834 doi:10.1017/s0305004100040834

    work page doi:10.1017/s0305004100040834 1967

  30. [30]

    C. T. C. Wall. Surgery on compact manifolds , volume 69 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, second edition, 1999. Edited and with a foreword by A. A. Ranicki. https://doi.org/10.1090/surv/069 doi:10.1090/surv/069

    work page doi:10.1090/surv/069 1999

  31. [31]

    Variations on a theme of B orel: an essay on the role of the fundamental group in rigidity , volume 213 of Cambridge Tracts in Mathematics

    Shmuel Weinberger. Variations on a theme of B orel: an essay on the role of the fundamental group in rigidity , volume 213 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2023

    work page 2023