REVIEW 3 major objections 4 minor 1 cited by
Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Two Whitehead-valued obstructions separate pseudo-isotopy from isotopy in topological 4-manifolds, and yield non-isotopic homeomorphisms of Y×S1.
desk verdict Serious, honest paper with a load-bearing sketched TOP theorem; worth refereeing but not yet fully established. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is a chain of reductions. A pseudo-isotopy of $X$ is suspended twice to a pseudo-isotopy of the 6-manifold $X \times J^2$; a topological analogue of the high-dimensional connectivity theorem from [BLR75] (Theorem 3.4) identifies $\pi_0$ of the TOP pseudo-isotopy space with that of a neighbourhood $N$ of the 3-handle skeleton. Smoothing theory for topological manifolds turns $N$ into a smooth manifold, where the classical smooth invariants $\Sigma$ and $\Theta$, defined through one-parameter families of handle decompositions and their graphics tracking births, deaths, and handle slides, can be evaluated; a comparison with the 2-handle skeleton shows the final value does not depend on the chosen smoothing. For the realisation direction, the paper introduces 'allowed one-parameter families of topological handle decompositions', an explicit ad hoc stand-in for the missing topological Cerf theory, and uses the disc embedding theorem to put 2- and 3-handles into topological cancelling position so the families terminate in genuine pseudo-isotopies realising prescribed Whitehead elements.
What would settle it
Test the isomorphism of Lemma 3.2 on a compact topological 4-manifold with nontrivial $\pi_2$: compare $\pi_0$ of the TOP pseudo-isotopy space of the twice-suspended manifold with $\pi_0$ of the space for a neighbourhood of its 3-handle skeleton, and check whether the inclusion is a bijection. A single example where the inclusion induces a nonzero relative homotopy class in degree 0 or 1 would make Definition 3.11 ill-defined and Theorem 1.1 collapse.
Extended reading notes
Core claim
The central claim is that a two-stage obstruction theory, previously known for smooth pseudo-isotopies in high dimensions, exists for topological pseudo-isotopies of compact 4-manifolds. For any such $X$ the paper defines $\Sigma^{\mathrm{TOP}} : \pi_0 \mathcal{P}^{\mathrm{TOP}}(X,\partial X) \to Wh_2(\pi_1 X)$ and $\Theta^{\mathrm{TOP}} : \ker \Sigma^{\mathrm{TOP}} \to Wh_1(\pi_1 X; \mathbb{Z}/2 \times \pi_2 X)/\chi$, and proves both vanish on pseudo-isotopies that are topologically isotopic to isotopies and agree with the smooth invariants under the forgetful map. When $\pi_1 X$ is good, Theorem 1.2 asserts every element of either Whitehead group is realised by an actual pseudo-isotopy. Combining realisation with a duality formula for inertial pseudo-isotopies gives Theorem 1.5: if $Y$ is a closed 3-manifold with trivial first $k$-invariant and good, non-ambivalent fundamental group, then $Y \times S^1$ has a homeomorphism that is pseudo-isotopic to the identity, homotopic to the identity, and not isotopic to the identity.
Load-bearing premise
Everything rests on the unproved topological analogue of the high-dimensional connectivity theorem from [BLR75] (Theorem 3.4), which says that after two suspensions a pseudo-isotopy is determined up to isotopy by its behaviour near the 3-handle skeleton; the paper sketches the adaptation via concordance straightening and topological transversality but supplies no complete proof.
Editorial extensions
If this is right
- If Theorem 1.1 holds, every smooth pseudo-isotopy detected by the classical two-stage invariants in a smooth 4-manifold is also detected by $\Sigma^{\mathrm{TOP}}$ and $\Theta^{\mathrm{TOP}}$, so the topological theory is at least as strong as the smooth theory where both are defined.
- Theorem 1.2 gives full unstable realisation for good fundamental groups: every class in $Wh_2(\pi_1 X)$ and in $Wh_1(\pi_1 X; \mathbb{Z}/2 \times \pi_2 X)/\chi$ arises as $\Sigma^{\mathrm{TOP}}$ or $\Theta^{\mathrm{TOP}}$ of some topological pseudo-isotopy.
- Theorem 1.5 produces many closed 4-manifolds of the form $Y \times S^1$, including lens spaces, tetrahedral manifolds, most icosahedral manifolds, and the 3-torus, carrying homeomorphisms that are homotopic to the identity and pseudo-isotopic to it but not isotopic to it.
- The naturality and duality formulas give computable control of the inertial pseudo-isotopy subgroup, making the obstruction to a homeomorphism well defined modulo this subgroup and allowing the distinction to pass from $Y \times I$ to the closed manifold $Y \times S^1$.
Reading between the lines
- Going beyond the paper, if the invariants are well defined, the quotient by inertial pseudo-isotopies should give a well-defined invariant on mapping classes of 4-manifold homeomorphisms, offering the first systematic algebraic way to decide pseudo-isotopy versus isotopy in the topological category.
- The ad hoc 'allowed one-parameter families' are a placeholder for the missing topological Cerf theory; the realisation results suggest that any future topological Cerf theory will be compatible with these invariants on the constructed pseudo-isotopies.
- The non-ambivalence condition is likely the right general obstruction to the inertial subgroup: for any group with a conjugacy class not equal to its inverse, the same construction should yield non-isotopic pseudo-isotopic homeomorphisms once the $k$-invariant and goodness hypotheses are met, so the examples listed may be the tip of a larger class.
- A natural stress test is to compute $\Theta^{\mathrm{TOP}}$ on smooth pseudo-isotopies previously constructed by other methods in dimension four; if they survive suspension, the topological and smooth invariants would agree there too.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines topological analogues, denoted ΣTOP and ΘTOP, of the Hatcher–Wagoner pseudo-isotopy obstructions for compact topological 4-manifolds. The construction double-suspends a 4-manifold X to a 6-manifold, uses a claimed TOP version of the Burghelea–Lashof–Rothenberg connectivity theorem (Theorem 3.4) to pass to a neighbourhood of the 3-handle skeleton, smooths that neighbourhood, and then evaluates the classical smooth invariants. The authors prove compatibility of the topological invariants with the smooth ones, naturality under certain codimension-zero inclusions, and a duality formula, and they state full realization theorems (Theorems 6.1 and 7.1) using 'allowed one-parameter families of topological handle decompositions' together with Freedman–Quinn disc embedding and Cha–Kim stable surface smoothing. These results are applied to construct, for many 3-manifolds Y, homeomorphisms of Y×S1 that are pseudo-isotopic to the identity but not isotopic to the identity (Theorem 1.5).
Significance. If the main theorems are correct, this is a substantial advance: it provides the first systematic topological obstruction theory for pseudo-isotopy versus isotopy in dimension four, compatible with the smooth Hatcher–Wagoner invariants, and yields new examples of homeomorphisms that are homotopic but not isotopic to the identity. The paper is transparent about its main technical debts, especially in Remark 1.8, and it makes productive use of recent deep results of Singh and of Cha–Kim. There is no circularity in the realization argument: the target values are compared with independent stable smooth realization results rather than built into the definitions. The classification and examples for 3-manifold groups (including the elliptic case) are concrete and useful. However, the central construction rests on a theorem that is asserted with only a sketch, and the realization mechanism is explicitly ad hoc; these points are load-bearing for Theorems 1.1, 1.2, and 1.5.
major comments (3)
- [Section 3, Theorem 3.4] Theorem 3.4 is the sole basis for Lemma 3.2 and for the inverse map 𝔦 in Notation 3.6, which in turn enter the definition of ΣTOP and ΘTOP in Definition 3.11 and the compatibility proof in Lemma 4.2. The paragraph preceding Theorem 3.4 gives only a sketch: it asserts that the PL proof can be adapted to TOP using Pedersen's concordance straightening and topological transversality, but it does not state or prove a TOP Morlet disjunction lemma, does not carry out the adaptation of [BLR75, Lemma b)], and footnote 1 says the authors 'believe' Pedersen's approach can be simplified. Moreover, concordance straightening concerns concordance spaces, while Theorem 3.4 concerns pseudo-isotopy spaces, so an additional fibration or homotopy-equivalence step is needed. Since the bound (3.1) with r=3 and k=0 is exactly what yields π1(γ)=0 in Lemma 3.2, any change in the constants would require a new argument. I consider this the main correctness risk of the paper; a complete proof, or a precise citation to a fully proved TOP version, is necessary before the invariants are established.
- [Section 5, Definition 5.2] The allowed one-parameter families of topological handle decompositions are the only source of candidate pseudo-isotopies in Construction 6.2 and Construction 7.2, so Theorem 1.2, and hence Theorems 9.3 and 9.11, depend on them. The paper explicitly disclaims having a topological Cerf theory and calls Definition 5.2 'ad hoc'. What is missing is a precise equivalence relation on such families together with a proof that the invariants of the resulting pseudo-isotopy are unchanged under the choices made in the construction (birth times, slide times, handle embeddings, auxiliary isotopies). In particular, the proofs of Lemma 5.6 and Lemma 5.7 combine an Alexander trick with the Freedman–Quinn procedure, but the subsequent comparison with the smooth realization results in Lemmas 6.3 and 7.3 is only up to a stable isotopy and leaves several choices unaddressed. For the realization theorem to be fully proved, this part needs to be made into a rigorous construction with well-defined outputs.
- [Section 8, Proposition 8.3] The proof of the duality formula is not complete. The diagram introduces a map K described as 'straightening concordances' and states that the top square commutes by definition of K, but K is not identified with the isomorphism of Lemma 3.2 or with the map 𝔦 of Notation 3.6, and the interaction of duality with the smoothing and forgetful maps is only asserted. The proof also invokes Lemma 8.5, whose proof is attributed to Hatcher and only sketched, for the two suspension steps. Since Proposition 8.3 underlies Lemma 9.1 and therefore Theorem 9.3, the duality formula needs a full proof rather than a diagram with unexplained maps.
minor comments (4)
- [Theorem 3.14] The statement reads 'If either ΣTOP([F])≠0 and ΘTOP([F])≠0 then F is not topologically isotopic to an isotopy'; logically this should be 'if either ΣTOP([F])≠0 or ΘTOP([F])≠0', since the proof only needs one non-zero invariant.
- [References and text] There is a spelling inconsistency in Section 9.4: Lemma 9.10 is cited as [Igu21a, Lemma 5.1] in the text but labelled as [Igu21b, Lemma 5.1] in the statement and the reference list; the intended reference should be made consistent.
- [Section 8] The text writes 'Steifel-Whitney classes' in Proposition 8.3; the correct spelling is 'Stiefel-Whitney classes'.
- [Section 1.4] The acknowledgements refer to the 'Max Plank Institute'; this should be 'Max Planck Institute'. In addition, some figure references (e.g., Figures 2 and 3) are not cited in the running text where the corresponding Cerf graphics are discussed.
Circularity Check
No significant circularity: the topological invariants reduce to smooth Hatcher–Wagoner theory through explicit suspension, skeleton, and smoothing steps, and the realisation proofs compare against independent stable smooth theorems rather than assuming the target values are realised.
full rationale
The paper's central derivation is not circular. The topological invariants are defined as ΣTOP = Σ ∘ 𝔣𝒮 ∘ 𝔦 ∘ S^2 and similarly for ΘTOP, so the final evaluation is literally the classical smooth Hatcher–Wagoner obstruction after suspending twice, restricting to a neighbourhood of the 3-handle skeleton, and smoothing. This is a deliberate reduction to an independent smooth theory, not a renaming of the target result. The compatibility of the topological and smooth invariants for smooth pseudo-isotopies (Lemma 4.2) is proved by a diagram chase using the smooth compatibility of suspension (Lemma 2.13) and naturality (Lemma 2.14); it is not asserted by construction. Likewise, the realisation theorems (Theorems 6.1 and 7.1) do not assume the element is realised: candidate pseudo-isotopies are built from explicit one-parameter families, and then the invariants of these candidates are computed by comparing them, via stable isotopy, with the independent stable smooth surjectivity results of Singh [Sin22] and the stable surface smoothing theorem of Cha–Kim [CK23]. The verification that ΣTOP(Fx)=x and ΘTOP(Fy)=y therefore relies on external stable smooth theorems, not on the paper's own conclusions. The claim that invariants vanish on pseudo-isotopies isotopic to isotopies is shown by homomorphism properties plus the standard identification of paths in the pseudo-isotopy space with isotopies between pseudo-isotopies; this is a functional fact, not a circular definition. The main unproved input, Theorem 3.4 (the TOP analogue of the Burghelea–Lashof–Rothenberg connectivity theorem), is asserted as an adaptation of external work by BLR and Pedersen and is explicitly flagged as only sketched; this is a correctness or completeness risk, not a circularity, because the theorem is imported from prior external literature and is not equivalent to the paper's target statements. There are no load-bearing self-citations: the paper cites external authors throughout, and the only discussions of prior related work (e.g., Kwasik) are critical comparisons rather than justifications of the main claims. Accordingly, no circular step can be exhibited with a specific equation or definition that reduces a prediction to a fitted input or to the paper's own assumptions.
Assumptions & free parameters
assumptions (8)
- domain assumption Good fundamental group hypothesis for the Freedman-Quinn disc embedding theorem.
- ad hoc to paper TOP analogue of Burghelea-Lashof-Rothenberg Theorem 3.1' holds for n at least 6, stated as Theorem 3.4.
- standard math Kirby-Siebenmann smoothing theory: the 3-handle skeleton of X times J^2 is smoothable and the 2-handle skeleton has a unique smooth structure up to isotopy.
- standard math Hatcher-Wagoner smooth pseudo-isotopy obstruction theory, including Sigma and Theta, together with Igusa's refinement involving the first k-invariant.
- domain assumption Singh's stable smooth surjectivity of Sigma and Theta, and the Cha-Kim stable surface smoothing theorem.
- domain assumption Pedersen's concordance implies isotopy and concordance straightening in the topological category.
- domain assumption Igusa's injection lemma for gluing M times I to M times S1, stated as Lemma 9.10.
- standard math Classification of finite 3-manifold groups and character table computations from Hopf, Milnor, and Orlik.
invented entities (1)
-
allowed one-parameter families of topological handle decompositions
Cite this review
Pith. "Pith review of Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds." pith.science (2026). https://pith.science/paper/AJLKZTQ7
@misc{pith2026250611905,
author = {Pith},
title = {Pith review of: Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/AJLKZTQ7}},
note = {Machine review of arXiv:2506.11905}
}
abstract
We define obstructions which obstruct topological pseudo-isotopies from being isotopic to isotopies in dimension four. These match the smooth obstructions of Hatcher-Wagoner for smooth pseudo-isotopies, and accordingly are valued in certain Whitehead groups. We show that our obstructions are fully realisable, and we use these realisations to build homeomorphisms of $Y\times S^1$ for many 3-manifolds $Y$ that are pseudo-isotopic to the identity but not isotopic to the identity.
Forward citations
Cited by 1 Pith paper
-
Smoothing topological pseudo-isotopies of 4-manifolds
The paper proves a Kirby-Siebenmann obstruction criterion for smoothing topological pseudo-isotopies of 4-manifolds, gives new positive cases for certain fundamental groups, and constructs the first diffeomorphisms th...
Reference graph
Works this paper leans on
-
[3]
Preprint, available at https://arxiv.org/abs/2303.12857. [Fei67] Walter Feit. Characters of finite groups. W. A. Benjamin, Inc., New York-Amsterdam,
-
[6]
Concordance spaces, higher simple-homotopy theory, and applications
[Hat78] Allen Hatcher. Concordance spaces, higher simple-homotopy theory, and applications. Algebr. geom. Topol., Stanford/Calif. 1976, Proc. Symp. Pure Math., Vol. 32, Part 1, 3-21 (1978).,
work page 1978
-
[10]
Second obstruction to pseudoisotopy in dimension 3
Preprint, available at https://arxiv.org/abs/2112.08293. [Isa76] I. Martin Isaacs. Character theory of finite groups , volume No. 69 of Pure and Applied Mathematics. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London,
-
[11]
Preprint, available at https://arxiv.org/abs/2303.13877. [Ped77] Erik Kjaer Pedersen. Topological concordances. Invent. Math., 38:255–267,
-
[12]
Pseudo-isotopies and diffeomorphisms of 4-manifolds
Preprint, available at https://arxiv.org/abs/2111.15658. [Wat20] Tadayuki Watanabe. Theta-graph and diffeomorphisms of some 4-manifolds,
-
[1973]
[Igu84] Kiyoshi Igusa. What happens to Hatcher and Wagoner’s formula for 𝜋0𝐶(𝑀) when the first Post- nikov invariant of M is nontrivial? Algebraic 𝐾-theory, number theory, geometry and analysis, Proc. int. Conf., Bielefeld/Ger. 1982., Lect. Notes Math. 1946, 104-172 (1984).,
work page 1984
-
[1994]
Corrected reprint of the 1976 original. [Hop26] Heinz Hopf. Zum Clifford-Kleinschen Raumproblem. Math. Ann., 95(1):313–339,
work page 1976
-
[2019]
Preprint, available at https://arxiv. org/abs/1912.09029. [BG23] Ryan Budney and David Gabai. On the automorphism groups of hyperbolic manifolds,
arXiv 1912
Show all 13 references
-
[2020]
Preprint, available at https://arxiv.org/abs/2005.09545. MAX PLANCK INSTITUTE FOR MATHEMATICS , BONN , GERMANY Email address: galvin@mpim-bonn.mpg.de SCHOOL OF MATHEMATICS AND STATISTICS , UNIVERSITY OF GLASGOW Email address: Isacco.Nonino@glasgow.ac.uk
2005 arXiv
-
[2021]
org/abs/2110.09659
Preprint, available at https://arxiv. org/abs/2110.09659. [Igu21b] Kiyoshi Igusa. Second obstruction to pseudoisotopy in dimension 3,
-
[2022]
[GGH+23] David Gabai, David Gay, Daniel Hartman, Vyacheslav Krushkal, and Mark Powell
Preprint, available at https://arxiv.org/abs/2212.02004. [GGH+23] David Gabai, David Gay, Daniel Hartman, Vyacheslav Krushkal, and Mark Powell. Pseudo- isotopies of simply connected 4-manifolds,
-
[2023]
[BKK+21] Stefan Behrens, Boldizsar Kalmar, Min Hoon Kim, Mark Powell, and Arunima Ray, editors
Preprint, available at https://arxiv.org/abs/2303.05010. [BKK+21] Stefan Behrens, Boldizsar Kalmar, Min Hoon Kim, Mark Powell, and Arunima Ray, editors. The Disc Embedding Theorem. Oxford, Oxford University Press,
-
[2024]
[FQ90] Michael Freedman and Frank Quinn
Preprint, available athttps: //arxiv.org/abs/2412.07467. [FQ90] Michael Freedman and Frank Quinn. Topology of 4-manifolds, volume 39 of Princeton Math. Ser. Princeton, NJ: Princeton University Press,
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.