pith. machine review for the scientific record. sign in

arxiv: 2604.27635 · v1 · submitted 2026-04-30 · 🧮 math.GT · math.AT

Recognition: unknown

Some remarks on h-cobordisms between smooth 4-manifolds

Alexander Kupers, Mark Powell

Pith reviewed 2026-05-07 06:13 UTC · model grok-4.3

classification 🧮 math.GT math.AT
keywords h-cobordisms-cobordism theoremWhitehead torsionsmooth 4-manifolds4-dimensional topologycobordism
0
0 comments X

The pith

New conditions give positive answers to whether h-cobordant smooth 4-manifolds are s-cobordant and when the standard construction method fails.

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

The paper examines two open questions in smooth 4-manifold topology: whether the realization part of the s-cobordism theorem holds, so that h-cobordisms can be chosen to carry any prescribed Whitehead torsion, and whether any two smoothly h-cobordant 4-manifolds are in fact smoothly s-cobordant. The authors supply new conditions under which both questions receive affirmative answers. They also describe algebraic or geometric situations in which the usual handle-attachment construction of an h-cobordism with given torsion is impossible. If these conditions apply to concrete examples, they would reduce questions about the existence of smooth cobordisms to verifiable computations involving the fundamental group and torsion.

Core claim

It is not known whether the realisation part of the s-cobordism theorem holds for smooth 4-manifolds, nor whether every pair of smoothly h-cobordant 4-manifolds is also smoothly s-cobordant. We provide some new conditions under which these questions admit a positive answer. We also give conditions under which the 'standard' method to construct an h-cobordism with specified torsion cannot work.

What carries the argument

New conditions on the Whitehead torsion and the fundamental group of the 4-manifolds that either guarantee an s-cobordism exists or rule out the standard handlebody construction of an h-cobordism carrying the desired torsion.

If this is right

  • Under the new conditions, smoothly h-cobordant 4-manifolds are smoothly s-cobordant.
  • The realization part of the s-cobordism theorem holds whenever the new conditions are met.
  • The standard construction of an h-cobordism with prescribed torsion is impossible under the blocking conditions identified in the paper.
  • The new conditions are compatible with the existing theory of Whitehead torsion for 4-manifolds.

Where Pith is reading between the lines

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

  • If the conditions can be verified for known pairs of exotic 4-manifolds, they would supply concrete positive instances of the open questions.
  • The cases where the standard construction is blocked indicate that alternative geometric constructions may be needed to produce h-cobordisms with certain torsions.

Load-bearing premise

The new conditions can be checked directly from the algebraic data of the manifolds and cobordism without already assuming the existence of the desired s-cobordism.

What would settle it

An explicit pair of smooth 4-manifolds that satisfy the authors' conditions but admit no s-cobordism, or for which the standard construction still produces an h-cobordism with the forbidden torsion, would show the conditions do not guarantee the claimed positive answers.

Figures

Figures reproduced from arXiv: 2604.27635 by Alexander Kupers, Mark Powell.

Figure 1
Figure 1. Figure 1: A parallel copy of B1 (in red) is tubed to a parallel copy of B2 (in blue) along a path given concatenating a preferred path from the former to the basepoint, a loop in M, and a preferred path from the basepoint to the latter. In general we perform many such tubings, possibly involving many parallel copies of the same cores, and also need to specify with which orientation the tubings should be performed. S… view at source ↗
read the original abstract

It is not known whether the realisation part of the $s$-cobordism theorem holds for smooth 4-manifolds, nor whether every pair of smoothly $h$-cobordant 4-manifolds is also smoothly $s$-cobordant. We provide some new conditions under which these questions admit a positive answer. We also give conditions under which the `standard' method to construct an $h$-cobordism with specified torsion cannot work.

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

2 major / 2 minor

Summary. The manuscript addresses two open questions in smooth 4-manifold topology: whether the realization part of the s-cobordism theorem holds, and whether smoothly h-cobordant 4-manifolds are necessarily s-cobordant. It supplies new sufficient conditions, phrased in terms of Whitehead torsion, fundamental-group data, and the existence of certain smooth structures or handle decompositions, under which both questions receive affirmative answers. It further identifies obstructions showing that the standard (high-dimensional) construction of an h-cobordism with prescribed torsion cannot succeed under additional hypotheses on the fundamental group.

Significance. If the stated conditions are non-vacuous and can be verified in concrete examples, the results furnish the first explicit positive instances of the s-cobordism theorem in dimension 4 and clarify the boundary between h- and s-cobordism in the smooth category. The paper’s adaptation of classical high-dimensional arguments without introducing circularity or uncheckable hypotheses is a clear strength; the obstruction statements are likewise useful for ruling out naive constructions.

major comments (2)
  1. [§3, Theorem 3.2] §3, Theorem 3.2: the proof that the given torsion condition implies the existence of a smooth s-cobordism invokes the 5-dimensional s-cobordism theorem after stabilization; it is not shown that the required 5-dimensional handle cancellation can be performed while preserving the given smooth structure on the 4-manifolds. A concrete example or an explicit reference to a 4-dimensional smoothing result is needed to close the argument.
  2. [§4, Proposition 4.1] §4, Proposition 4.1: the obstruction to the standard construction is stated only for fundamental groups that are “good” in the sense of Freedman–Quinn. The paper does not address whether the same obstruction persists when the group is not good, which would be required to claim that the standard method “cannot work” in full generality.
minor comments (2)
  1. [§2] The notation for the Whitehead torsion group is introduced in §2 but used with varying subscripts (τ, τ_W, τ_G) in later sections; a single consistent symbol would improve readability.
  2. [Figure 1] Figure 1 (handle diagram) lacks labels for the attaching circles of the 2-handles; adding these would make the torsion computation easier to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report on our manuscript. The comments have prompted us to clarify certain aspects of the proofs and statements. We address each major comment in turn below.

read point-by-point responses

  1. Referee: §3, Theorem 3.2: the proof that the given torsion condition implies the existence of a smooth s-cobordism invokes the 5-dimensional s-cobordism theorem after stabilization; it is not shown that the required 5-dimensional handle cancellation can be performed while preserving the given smooth structure on the 4-manifolds. A concrete example or an explicit reference to a 4-dimensional smoothing result is needed to close the argument.

    Authors: We are grateful for this comment, which highlights a point that merits additional clarification. In our proof, the 4-manifolds are stabilized by taking the product with an interval, and the 5-dimensional handles are attached in the interior of this product. The handle cancellations guaranteed by the 5-dimensional s-cobordism theorem are likewise performed in the interior, leaving the smooth structures on the boundary 4-manifolds intact. We have revised the manuscript to include an explicit statement to this effect in the proof of Theorem 3.2, along with a reference to standard results on smooth handlebody theory in dimensions 5 and higher (e.g., as discussed in Wall's book on surgery or related literature on high-dimensional smoothing). This should close the argument without requiring a concrete example, as the reasoning is general. revision: yes

  2. Referee: §4, Proposition 4.1: the obstruction to the standard construction is stated only for fundamental groups that are “good” in the sense of Freedman–Quinn. The paper does not address whether the same obstruction persists when the group is not good, which would be required to claim that the standard method “cannot work” in full generality.

    Authors: The obstruction in Proposition 4.1 is formulated specifically for good fundamental groups because the standard construction presupposes the validity of the s-cobordism theorem in high dimensions, which is established for good groups. Our manuscript does not claim that this obstruction holds for non-good groups or that the standard method cannot succeed in complete generality. For non-good groups, the high-dimensional s-cobordism theorem itself may not apply, so the standard construction is not available in the usual sense. We therefore maintain that no further discussion of the non-good case is needed to support the results as stated. We have not made a revision on this point. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states new sufficient conditions, phrased in terms of Whitehead torsion, fundamental group data, and the existence of certain smooth structures or handle decompositions, under which the realization part of the s-cobordism theorem holds for smooth 4-manifolds and under which h-cobordant implies s-cobordant. It also gives obstructions to the standard construction of h-cobordisms with prescribed torsion. These conditions are derived by adapting classical results from high-dimensional topology to dimension 4, without any reduction of a claimed prediction or first-principles result to a fitted parameter, self-defined quantity, or load-bearing self-citation. The central claims rest on external topological facts and invariants that are independent of the paper's own inputs, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axioms of differential topology and algebraic K-theory (Whitehead torsion, h-cobordism definition, s-cobordism theorem in dimensions >=5) without introducing new free parameters or postulated entities.

axioms (2)
  • standard math The s-cobordism theorem holds for smooth manifolds of dimension at least 5
    Invoked as background to contrast with the open 4-dimensional case.
  • standard math Whitehead torsion is a well-defined invariant of homotopy equivalences between manifolds
    Central to the distinction between h-cobordisms and s-cobordisms.

pith-pipeline@v0.9.0 · 5361 in / 1587 out tokens · 94278 ms · 2026-05-07T06:13:14.562298+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

9 extracted references · 1 canonical work pages

  1. [1]

    Bak,The computation of surgery groups of finite groups with abelian2-hyperelementary subgroups, Algebraic K-theory (Proc

    [Bak76] A. Bak,The computation of surgery groups of finite groups with abelian2-hyperelementary subgroups, Algebraic K-theory (Proc. Conf., Northwestern Univ., Evanston, Ill., 1976), 1976, pp. 384–409. Lecture Notes in Math., Vol

    1976

  2. [2]

    [BMS67] H. Bass, J. W. Milnor, and J.-P. Serre,Solution of the congruence subgroup problem forSLn (n≥3) and Sp2n (n≥2), Publ. Math., Inst. Hautes Étud. Sci.33(1967), 59–137. [Boy88] J. Boyle,Classifying 1-handles attached to knotted surfaces, Trans. Am. Math. Soc.306(1988), no. 2, 475–487. [Coh77] M. M. Cohen,Whitehead torsion, group extensions, and Zeema...

    1967

  3. [3]

    Hausmann and B

    [HJ18] J.-C. Hausmann and B. Jahren,A simplification problem in manifold theory, Enseign. Math.64(2018), no. 1-2, 207–248. [HK93] I. Hambleton and M. Kreck,Cancellation of hyperbolic forms and topological four-manifolds, J. Reine Angew. Math.443(1993), 21–47. SOME REMARKS ONh-COBORDISMS BETWEEN SMOOTH 4-MANIFOLDS 9 [Hud69] J. F. P. Hudson,Piecewise linear...

    2018

  4. [4]

    University of Chicago Lecture Notes prepared with the assistance of J. L. Shaneson and J. Lees. [Ker65] M. A. Kervaire,Le théorème de Barden-Mazur-Stallings, Comment. Math. Helv.40(1965), 31–42. [KPR22] D. Kasprowski, M. Powell, and A. Ray,Counterexamples in 4-manifold topology, EMS Surv. Math. Sci. 9(2022), no. 1, 193–249. [KS77] R. C. Kirby and L. C. Si...

    1965

  5. [5]

    Lawson,Decomposing 5-manifolds and doubles, Houston J

    [Law78] T. Lawson,Decomposing 5-manifolds and doubles, Houston J. Math.4(1978), 81–84. [Lue25] W. Lueck,Survey on the Farrell-Jones Conjecture(2025). Preprint, arXiv:2507.11337 [math.KT]. [Mag76] B. A. Magurn,Whitehead groups of nonabelian finite groups, ProQuest LLC, Ann Arbor, MI,

    work page arXiv 1978

  6. [6]

    [Mag81] B

    Thesis (Ph.D.)–Northwestern University. [Mag81] B. A. Magurn,Nonpositive elements in Whitehead groups, J. Pure Appl. Algebra21(1981), no. 1, 11–21. [Mil66] J. Milnor,Whitehead torsion, Bull. Amer. Math. Soc.72(1966), 358–426. [NNP23] C. Nagy, J. Nicholson, and M. Powell,Simple homotopy types of even dimensional manifolds,

    1981

  7. [7]

    [Rot76] O. S. Rothaus,On the nontriviality of some group extensions given by generators and relations, Bull. Amer. Math. Soc.82(1976), no. 2, 284–286. [Rot77] O. S. Rothaus,On the non-triviality of some group extensions given by generators and relations, Ann. of Math. (2)106(1977), no. 3, 599–612. [RS82] Colin P. Rourke and Brian J. Sanderson,Introduction...

    1976

  8. [8]

    [Sha69] J. L. Shaneson,Wall’s surgery obstruction groups forG×Z, Ann. of Math. (2)90(1969), 296–334. [Ush94] F. Ushitaki,A generalization of a theorem of Milnor, Osaka J. Math.31(1994), no. 2, 403–415. [Wal99] C. T. C. Wall,Surgery on compact manifolds, Second, Mathematical Surveys and Monographs, vol. 69, American Mathematical Society, Providence, RI,

    1969

  9. [9]

    Edited and with a foreword by A. A. Ranicki. [Whi50] J. H. C. Whitehead,Simple homotopy types, Amer. J. Math.72(1950), 1–57. Department of Computer and Mathematical Sciences, University of Toronto Scarborough, Ontario, Canada Email address:a.kupers@utoronto.ca School of Mathematics and Statistics, University of Glasgow, United Kingdom Email address:mark.p...

    1950