Pith. sign in

REVIEW 21 references

Distinguishing closed 4-manifolds by slicing

T0 review · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Four-manifolds with identical cohomology are shown to be different as smooth spaces by checking whether the figure-eight knot is slice, with new nonstandard cohomology CP^2#CP^2 manifolds.

desk verdict First successful Casson slicing argument for closed 4-manifolds; results are strong and plausible, with one fixable gap in the square-zero section claim that a referee should check. read the letter →

arxiv 2505.14387 v1 pith:W2YB4VJG submitted 2025-05-20 math.GT

Tye Lidman , Lisa Piccirillo This is my paper · ORCID
classification math.GT
keywords mathbbmanifoldsapproachclosedoverlinecohomologyexamplesfirst
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Four-dimensional spaces are flexible in topology but stiff in smooth structure: two 4-manifolds can be topologically the same yet not smoothly the same. One old idea for spotting this difference is to use a knot in three-space as a probe. Remove a ball from a 4-manifold; a knot is called slice in that manifold if it bounds a smoothly embedded disk inside the puncture. If a knot is slice in one manifold but not in another, the two manifolds cannot be smoothly the same. This idea, going back to Casson, had never been successfully run for closed 4-manifolds until now.

The authors build two closed 4-manifolds, B and W, with the same integer cohomology ring (both are rational homology spheres with H1 = Z/2). The figure-eight knot is slice in B by construction, and the main work is showing it is not slice in W. To do this they build a 4-manifold V by performing carefully chosen Luttinger surgeries on a genus-2 surface bundle, then glue two copies of V together to form a symplectic manifold Z with the cohomology of S^2 x S^2. A theorem of Stipsicz and Szabo says no torus can represent a nontrivial square-zero class in such a manifold, which rules out the slice disk in W.

The same toolkit produces other new objects: a manifold with the cohomology of CP^2#CP^2 that has nonvanishing Seiberg-Witten and Heegaard Floer invariants and is not diffeomorphic to the standard one, plus a new construction of an exotic CP^2#5CP^2.

Extended reading notes

Core claim

Theorem 1: There are spin rational homology four-spheres B and W with H1 = Z/2 such that the figure-eight knot is slice in B but not in W. The abstract states this is the first example of a pair of closed 4-manifolds with the same integer cohomology ring whose diffeomorphism type is distinguished by the slicing approach.

Load-bearing premise

The obstruction to sliceness in W relies on [SS23, Theorem 1.4] (Stipsicz and Szabo, arXiv:2307.04202), which states that in a symplectic cohomology S^2 x S^2 built from a genus-2 bundle over a genus-2 base with Luttinger surgery on disjoint Lagrangian tori missing a fiber and section, no nontrivial square-zero homology class is represented by a torus. If that theorem fails for the specific instance Z = V union_sigma V, the proof that the figure-eight knot is not slice in W collapses. The applicability of the theorem is asserted through Lemma 6 (existence of disjoint sections Gamma, Gamma' disjoint from the surgery tori) and the verification of the hyperbolic pair in the paragraph after the proof of Theorem 8 in Section 2.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper rests on standard theorems of 4-manifold topology, including Freedman's classification, Ozsvath-Szabo mixed invariants, Thurston's symplectic surface bundles, Li's Kodaira dimension invariance, and the recent [SS23] genus bound. It introduces no fitted numerical parameters and no new postulated entities. The main dependency of concern is [SS23, Theorem 1.4], which is load-bearing for the non-sliceness of the figure-eight knot in W.

assumptions (7)
  • domain assumption Freedman's classification of simply connected topological 4-manifolds ([Fre82], invoked in the proof of Theorem 3)
    Used to assert that A with b2=6 and signature -4 is homeomorphic to CP^2#5CP^2.
  • domain assumption Ozsvath-Szabo mixed invariant Phi_{M,L,t} is an invariant of the triple and vanishes for CP^2#CP^2 and CP^2#CP^2#D ([OS04], used in Theorems 2 and 3)
    Provides the non-vanishing detection used to show exoticness.
  • domain assumption Stipsicz-Szabo genus bound ([SS23, Theorem 1.4], used in Section 2 to obstruct a square-zero torus)
    The load-bearing external theorem for the slicing obstruction; the paper checks the hypotheses via Lemma 6 and the subsequent paragraph.
  • domain assumption Computation HF_red(S^3_0(Q), s±) = F ([OS04, Theorem 5.2])
    Used in Lemma 10 to conclude that non-zero relative invariants pair to a non-zero mixed invariant.
  • domain assumption Kodaira dimension is a diffeomorphism invariant and preserved under Luttinger surgeries ([Li06], [HL12])
    Used in Theorem 8 to show Z is not diffeomorphic to S^2 x S^2.
  • domain assumption Wall's theorem that every automorphism of H_2(CP^2#5CP^2) is realized by a diffeomorphism ([Wal64])
    Used in Theorem 3 to reduce exoticness to the fiber class not being represented by a sphere.
  • standard math Poincare-Lefschetz duality, universal coefficients, and the Wu formula for spinness (used in Lemmas 5 and 7)
    Standard algebraic topology tools invoked without proof to compute the homology and spinness of V and W.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Distinguishing closed 4-manifolds by slicing." pith.science (2026). https://pith.science/paper/W2YB4VJG

@misc{pith2026250514387,
  author       = {Pith},
  title        = {Pith review of: Distinguishing closed 4-manifolds by slicing},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W2YB4VJG}},
  note         = {Machine review of arXiv:2505.14387}
}
abstract

One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair of closed 4-manifolds with the same integer cohomology ring where the diffeomorphism type is distinguished by this approach. Along the way, we produce the first examples of 4-manifolds with nonvanishing Seiberg-Witten invariants and the same integer cohomology as $\mathbb{C}P^2\#\overline{\mathbb{C}P^2}$ which are not diffeomorphic to $\mathbb{C}P^2\#\overline{\mathbb{C}P^2}$. We also give a simple new construction of a 4-manifold which is homeomorphic-but-not-diffeomorphic to $\mathbb{C}P^2\#5\overline{\mathbb{C}P^2}$.

Figures

Figures reproduced from arXiv: 2505.14387 by the authors.

Figure 1
Figure 1. e c ϵ F β α R [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. R is a genus 2 surface bundle over a puncured torus. The surgery torus [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. A self diffeomorphism of S 3 0 (Q) which changes the parity of the (homology class of the) meridian. Proof. Note that HFred(S 3 0 (Q), s±) = F since S 3 0 (Q) is fibered with fiber surface F, which has genus 2 [OS04, Theorem 5.2]. Therefore, two elements pair to be non-zero in HFred(S 3 0 (Q), s±) if and only if they are non-zero. The result follows. Proof of Theorem 2. First, we claim that we can cut Z along S 3 0 … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 16 canonical work pages

  1. [1]

    okova G eometry- T opology C onference 2007 , pages 36--48. G\

    Anar Akhmedov. Construction of symplectic cohomology S^2 S^2 . In Proceedings of G \"okova G eometry- T opology C onference 2007 , pages 36--48. G\"okova Geometry/Topology Conference (GGT), G\"okova, 2008

    work page 2007

  2. [2]

    Doug Park, and Ronald J

    Ronald Fintushel, B. Doug Park, and Ronald J. Stern. Reverse engineering small 4-manifolds. Algebr. Geom. Topol. , 7:2103--2116, 2007

    work page 2007

  3. [3]

    The topology of four-dimensional manifolds

    Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geometry , 17(3):357--453, 1982

    1982

  4. [4]

    Ronald Fintushel and Ronald J. Stern. A -invariant one homology 3 -sphere that bounds an orientable rational ball. In Four-manifold theory ( D urham, N . H ., 1982) , volume 35 of Contemp. Math. , pages 265--268. Amer. Math. Soc., Providence, RI, 1984

    work page 1982

  5. [5]

    Ronald Fintushel and Ronald J. Stern. Six lectures on four 4-manifolds. In Low dimensional topology , volume 15 of IAS/Park City Math. Ser. , pages 265--315. Amer. Math. Soc., Providence, RI, 2009

    work page 2009

  6. [6]

    Luttinger surgery and K odaira dimension

    Chung-I Ho and Tian-Jun Li. Luttinger surgery and K odaira dimension. Asian J. Math. , 16(2):299--318, 2012

    work page 2012

  7. [7]

    Rational-slice knots via strongly negative-amphicheiral knots

    Akio Kawauchi. Rational-slice knots via strongly negative-amphicheiral knots. Commun. Math. Res. , 25(2):177--192, 2009

    work page 2009

  8. [8]

    Michael R. Klug. A relative version of R ochlin's theorem, 2021. arXiv:2011.12418

    arXiv 2021

Show all 21 references
  1. [9]

    Monopoles and three-manifolds , volume 10 of New Mathematical Monographs

    Peter Kronheimer and Tomasz Mrowka. Monopoles and three-manifolds , volume 10 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2007

    2007

  2. [10]

    A note on rationally slice knots

    Adam Simon Levine. A note on rationally slice knots. New York J. Math. , 29:1363--1372, 2023

    2023

  3. [11]

    Symplectic 4-manifolds with K odaira dimension zero

    Tian-Jun Li. Symplectic 4-manifolds with K odaira dimension zero. J. Differential Geom. , 74(2):321--352, 2006

    2006

  4. [12]

    New constructions and invariants of closed exotic 4-manifolds, 2023

    Adam Simon Levine, Tye Lidman, and Lisa Piccirillo. New constructions and invariants of closed exotic 4-manifolds, 2023. arXiv:2307.08130

    2023 arXiv

  5. [13]

    Lagrangian tori in R ^4

    Karl Murad Luttinger. Lagrangian tori in R ^4 . J. Differential Geom. , 42(2):220--228, 1995

    1995

  6. [14]

    Relative genus bounds in indefinite four-manifolds

    Ciprian Manolescu, Marco Marengon, and Lisa Piccirillo. Relative genus bounds in indefinite four-manifolds. Math. Ann. , 390(1):1481--1506, 2024

    2024

  7. [15]

    Holomorphic triangle invariants and the topology of symplectic four-manifolds

    Peter Ozsv\'ath and Zolt\'an Szab\'o. Holomorphic triangle invariants and the topology of symplectic four-manifolds. Duke Math. J. , 121(1):1--34, 2004

    2004

  8. [16]

    Holomorphic triangles and invariants for smooth four-manifolds

    Peter Ozsv\'ath and Zolt\'an Szab\'o. Holomorphic triangles and invariants for smooth four-manifolds. Adv. Math. , 202(2):326--400, 2006

    2006

  9. [17]

    Stipsicz, and Zolt\'an Szab\'o

    Jongil Park, Andr\'as I. Stipsicz, and Zolt\'an Szab\'o. Exotic smooth structures on CP ^2\#5 CP ^2 . Math. Res. Lett. , 12(5-6):701--712, 2005

    2005

  10. [18]

    Khovanov homology and the slice genus

    Jacob Rasmussen. Khovanov homology and the slice genus. Invent. Math. , 182(2):419--447, 2010

    2010

  11. [19]

    Stipsicz and Zoltán Szabó

    András I. Stipsicz and Zoltán Szabó. On the minimal genus problem in four-manifolds, 2023. arXiv:2307.04202

    2023 arXiv

  12. [20]

    W. P. Thurston. Some simple examples of symplectic manifolds. Proc. Amer. Math. Soc. , 55(2):467--468, 1976

    1976

  13. [21]

    C. T. C. Wall. Diffeomorphisms of 4 -manifolds. J. London Math. Soc. , 39:131--140, 1964

    1964

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.