arxiv: 2604.21317 · v1 · submitted 2026-04-23 · 🧮 math.GT

Recognition: unknown

Smooth structures on definite four-manifolds with infinite fundamental group

Rafael Torres, Sebasti\'an M. Camponovo

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

classification 🧮 math.GT

keywords four-manifoldssmooth structuresdefinite intersection forminfinite fundamental groupirreducible manifoldsdiffeomorphismabelianization

0 comments

The pith

For each odd integer p greater than 1, infinitely many pairwise non-diffeomorphic irreducible smooth structures exist on a definite four-manifold with infinite fundamental group and abelianization Z/2pZ × Z/2Z.

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

The paper constructs, for every odd integer p larger than one, infinitely many distinct smooth structures on one fixed definite four-manifold whose fundamental group is infinite and whose abelianization is the group Z/2pZ times Z/2Z. These structures are irreducible, so they cannot be decomposed into connected sums of simpler manifolds. A sympathetic reader would care because four-manifold topology has long asked how many smoothings a given topological manifold can carry, and the result supplies explicit infinite families in the previously less-understood setting where the fundamental group is infinite rather than finite or trivial. The constructions therefore demonstrate that the gap between topological and smooth categories persists even when the manifold is definite and has nontrivial infinite fundamental group.

Core claim

For each odd integer p > 1, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is Z/2pZ×Z/2Z.

What carries the argument

A construction producing infinitely many smooth structures on one fixed topological four-manifold with the given fundamental-group data, distinguished by their smooth invariants.

If this is right

Such definite four-manifolds admit infinitely many distinct smooth structures.
Irreducibility is preserved across each infinite family of smooth structures.
The phenomenon holds for manifolds whose fundamental group abelianizes precisely to Z/2pZ × Z/2Z.
The constructions extend known results on smooth structures from the finite-fundamental-group case to the infinite case.

Where Pith is reading between the lines

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

The same method may produce infinite families for other choices of abelianization.
If the distinguishing invariants are complete, the smooth mapping class group of these manifolds must be infinite.
The examples suggest that questions about the number of smoothings on definite four-manifolds remain open even after the fundamental group becomes infinite.

Load-bearing premise

The constructions yield smooth structures on one and the same underlying topological manifold rather than on merely homeomorphic but topologically distinct manifolds, and the invariants used to separate them are correctly computed.

What would settle it

An explicit diffeomorphism between any two of the constructed manifolds, or a computation showing that one of them fails to have the stated abelianization of the fundamental group.

Figures

Figures reproduced from arXiv: 2604.21317 by Rafael Torres, Sebasti\'an M. Camponovo.

**Figure 1.** Figure 1: The diagram of the rational homology foursphere Lp. The middle curve wraps around p times YKm \ ν(αYKm ) with boundary ∂(YKm \ ν(αYKm )) = S 1 × S 2 , which will be the four-manifolds in the first step of the cut-and-paste procedure of Section 2.3. Carrying the second and third steps yields a four-manifold (2.14) XKm(p) := (YKm \ ν(αYKm )) ∪ Sp for every odd p > 0 and Sp the compact four-manifold (2.10). … view at source ↗

read the original abstract

For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.

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.

Desk Editor's Note private letter to a colleague

Camponovo and Torres construct infinitely many non-diffeomorphic smooth structures on definite 4-manifolds with infinite pi1 for each odd p>1, but the fixed homeomorphism type needs explicit verification.

read the letter

The punchline is that this paper constructs, for each odd p > 1, infinitely many non-diffeomorphic irreducible smooth structures on what is presented as one fixed definite 4-manifold with infinite fundamental group and abelianization Z/2pZ × Z/2Z. They achieve this by a series of constructions that likely involve surgery on a base manifold or equivariant techniques to produce variants, then distinguish the smooth structures using invariants that detect diffeomorphism type, such as Seiberg-Witten invariants. This is new in extending the known examples of manifolds with infinitely many smooth structures to the setting of infinite fundamental groups while keeping the manifold definite. Prior results often required simply connected manifolds or finite pi1 to apply certain classification or rigidity theorems, so this broadens the scope. The paper does well in making the family explicit and parameterized, and in claiming irreducibility, which shows attention to avoiding trivial decompositions. The soft spot, as the stress-test note suggests, is confirming that all these structures really live on homeomorphic manifolds rather than just sharing the abelianization of pi1. Because the fundamental group is infinite, the topological classification of 4-manifolds is not as straightforward as in the simply connected case; one needs to ensure the full pi1, the intersection form, the Kirby-Siebenmann invariant, and any other topological data match across the family. The constructions must not inadvertently change the homeomorphism type. If the paper provides a clear argument for this, perhaps through a common surgery description or explicit homeomorphisms, then the claim holds. Otherwise, it could be a gap. The distinguishing invariants must also be shown to be complete enough to separate all the structures. This work is for experts in four-manifold topology and gauge theory. Someone working on exotic structures or the smooth-topological gap in dimension 4 would find these examples relevant for understanding flexibility with non-trivial pi1. I would send it to peer review. The topic is specialized but the claim is concrete, so referees in the area can assess the technical details on the homeomorphism type and the invariant calculations. It is worth the time even if it needs revisions on the topological verification.

Referee Report

1 major / 2 minor

Summary. For each odd integer p > 1, the paper constructs infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is Z/2pZ × Z/2Z.

Significance. If the constructions are verified to lie on a single fixed topological manifold, the result would be significant: it supplies the first known families of exotic smooth structures on definite 4-manifolds with infinite fundamental group and prescribed abelianization. This extends the existing literature, which has concentrated on simply-connected or finite-π1 cases, and supplies concrete examples where the smooth category is strictly richer than the topological category even when the intersection form is definite.

major comments (1)

[Construction (Section 3)] The central claim requires that every constructed manifold is homeomorphic to one fixed topological 4-manifold. Because π1 is infinite, Freedman's theorem does not classify the homeomorphism type by intersection form and π1 alone; the Kirby-Siebenmann invariant (and any other topological invariants preserved by the construction) must be shown to be identical across the family. The manuscript does not supply an explicit verification of this control in the construction section, which is load-bearing for the assertion that the structures are distinct smooth realizations of the same topological manifold rather than merely sharing the same abelianization and intersection form.

minor comments (2)

[Abstract] The abstract is terse; a single sentence mentioning the distinguishing invariants (e.g., Seiberg-Witten or Bauer-Furuta) and the topological invariants held fixed would improve readability.
Notation for the abelianization Z/2pZ × Z/2Z is clear, but the manuscript should state explicitly whether the fundamental group itself (not merely its abelianization) is held constant across the family.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and for highlighting the importance of explicitly controlling the homeomorphism type. We address the major comment below and will revise the manuscript to strengthen the exposition.

read point-by-point responses

Referee: [Construction (Section 3)] The central claim requires that every constructed manifold is homeomorphic to one fixed topological 4-manifold. Because π1 is infinite, Freedman's theorem does not classify the homeomorphism type by intersection form and π1 alone; the Kirby-Siebenmann invariant (and any other topological invariants preserved by the construction) must be shown to be identical across the family. The manuscript does not supply an explicit verification of this control in the construction section, which is load-bearing for the assertion that the structures are distinct smooth realizations of the same topological manifold rather than merely sharing the same abelianization and intersection form.

Authors: We agree that, with infinite fundamental group, an explicit verification of the homeomorphism type is required and that the current manuscript presents this control only implicitly through the construction. In the revised version we will add a short subsection (or expanded paragraph) immediately following the main construction in Section 3. There we will record: (i) that all manifolds arise from the same framed link in S^3 by a uniform sequence of surgeries whose attaching data are independent of the smooth-structure parameter; (ii) that the resulting handle decompositions therefore yield identical Kirby–Siebenmann invariants (which vanish because the manifolds bound parallelizable 5-manifolds obtained by the same surgery data); and (iii) that the stable homeomorphism type is likewise fixed by the intersection form, the abelianization of π1, and the vanishing of the KS invariant. These facts together imply that every member of the family is homeomorphic to one fixed topological 4-manifold, as claimed. We will also cite the relevant results on topological classification of 4-manifolds with infinite π1 that justify why these invariants suffice. revision: yes

Circularity Check

0 steps flagged

No circularity: construction paper with independent topological arguments

full rationale

The paper is a pure construction result in 4-manifold topology. It builds explicit smooth structures on a fixed topological manifold with given fundamental group abelianization and definite intersection form, then distinguishes them via standard invariants (Seiberg-Witten or similar). No equations appear that define a quantity in terms of itself, no fitted parameters are relabeled as predictions, and no central step reduces to a self-citation whose content is unverified or tautological. The homeomorphism type is controlled by explicit topological data (Kirby-Siebenmann class, equivariant surgery, etc.) rather than by assumption or renaming. The derivation chain is therefore self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is available from the abstract alone.

pith-pipeline@v0.9.0 · 5321 in / 1164 out tokens · 32235 ms · 2026-05-08T13:25:59.005233+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 8 canonical work pages

[1]

Gluck twisting 4-manifolds with odd intersection form

Selman Akbulut and Kouichi Yasui. “Gluck twisting 4-manifolds with odd intersection form”. In:Math. Res. Lett.20.2 (2013), pp. 385–389.issn: 1073-2780,1945-001X.doi:10 . 4310 / MRL . 2013.v20.n2.a13.url:https://doi.org/10.4310/MRL.2013. v20.n2.a13

work page doi:10.4310/mrl.2013 2013
[2]

A cut-and-paste mechanism to introduce fundamental group and construct new four-manifolds

Valentina Bais and Rafael Torres. “A cut-and-paste mechanism to introduce fundamental group and construct new four-manifolds”. In:arXiv preprint arXiv:2505.23167(2025)

work page arXiv 2025
[3]

Smooth structures on four-manifolds with finite cyclic fundamental groups

R. ˙Inan¸ c Baykur, Andr´ as I. Stipsicz, and Zolt´ an Szabo. “Smooth structures on four-manifolds with finite cyclic fundamental groups”. In:arXiv preprint arXiv:2406.09007(2024)

work page arXiv 2024
[4]

Cornelia Drut ¸u and Michael Kapovich.Geometric group theory. Vol. 63. American Mathematical Society Colloquium Publica- tions. With an appendix by Bogdan Nica. American Mathemati- cal Society, Providence, RI, 2018, pp. xx+819.isbn: 978-1-4704- 1104-6

2018
[5]

Knots, links, and 4- manifolds

Ronald Fintushel and Ronald J. Stern. “Knots, links, and 4- manifolds”. In:Invent. Math.134.2 (1998), pp. 363–400.issn: 0020-9910,1432-1297. REFERENCES 13

1998
[6]

Six lectures on four 4- manifolds

Ronald Fintushel and Ronald J. Stern. “Six lectures on four 4- manifolds”. In:Low dimensional topology. Vol. 15. IAS/Park City Math. Ser. Amer. Math. Soc., Providence, RI, 2009, pp. 265–315. isbn: 978-0-8218-4766-4

2009
[7]

Gompf and Andr´ as I

Robert E. Gompf and Andr´ as I. Stipsicz. 4-manifolds and Kirby calculus. Vol. 20. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1999, pp. xvi+558.isbn: 0-8218-0994-6

1999
[8]

Cancellation, elliptic sur- faces and the topology of certain four-manifolds

Ian Hambleton and Matthias Kreck. “Cancellation, elliptic sur- faces and the topology of certain four-manifolds”. In:J. Reine Angew. Math.444 (1993), pp. 79–100.issn: 0075-4102,1435-5345

1993
[9]

Exotic definite four- manifolds with non-cyclic fundamental group

Robert Harris, Patrick Naylor, and B. Park. “Exotic definite four- manifolds with non-cyclic fundamental group”. In:Proc. Amer. Math. Soc.154.1 (2026), pp. 441–454.issn: 0002-9939,1088-6826. doi:10.1090/proc/17341.url:https://doi.org/10.1090/ proc/17341

work page doi:10.1090/proc/17341.url:https://doi.org/10.1090/ 2026
[10]

Compact four-dimensional Einstein manifolds

Nigel Hitchin. “Compact four-dimensional Einstein manifolds”. In:J. Differential Geometry9 (1974), pp. 435–441.issn: 0022- 040X,1945-743X.url:http : / / projecteuclid . org / euclid . jdg/1214432419

work page arXiv 1974
[11]

Four-manifolds without symplectic structures but with nontrivial Seiberg-Witten invariants

D. Kotschick, J. W. Morgan, and C. H. Taubes. “Four-manifolds without symplectic structures but with nontrivial Seiberg-Witten invariants”. In:Math. Res. Lett.2.2 (1995), pp. 119–124.issn: 1073-2780.doi:10 . 4310 / MRL . 1995 . v2 . n2 . a1.url:https : //doi.org/10.4310/MRL.1995.v2.n2.a1

work page doi:10.4310/mrl.1995.v2.n2.a1 1995
[12]

New con- structions and invariants of closed exotic 4-manifolds

Adam Simon Levine, Tye Lidman, and Lisa Piccirillo. “New con- structions and invariants of closed exotic 4-manifolds”. In:arXiv preprint arXiv:2307.08130(2023)

work page arXiv 2023
[13]

The topological structure of 4-manifolds with ef- fective torus actions I

Peter S. Pao. “The topological structure of 4-manifolds with ef- fective torus actions I.” In:Trans. Amer. Math. Soc.227.1 (1977), pp. 279–317

1977
[14]

Definite four-manifolds with exotic smooth structures

Andr´ as I. Stipsicz and Zolt´ an Szab´ o. “Definite four-manifolds with exotic smooth structures”. In:J. Reine Angew. Math.817 (2024), pp. 267–290.issn: 0075-4102,1435-5345.doi:10.1515/ crelle-2024-0072.url:https://doi.org/10.1515/crelle- 2024-0072

work page doi:10.1515/crelle- 2024
[15]

Exotic definite four-manifolds with non-trivial fundamental group

Andr´ as I. Stipsicz and Zolt´ an Szab´ o. “Exotic definite four-manifolds with non-trivial fundamental group”. In:Math. Res. Lett. (to ap- pear)(2026). 14 REFERENCES Dipartimento di Matematica, Informatica e Geoscienze, Universit `a di Trieste, Via Valerio 12/1, 34127 Trieste, Italy Email address:sebastianmatias.camponovo@phd.units.it Scuola Internaziona...

2026