Cutting and pasting pairs of manifolds with tangential structures

R.A. Vlierhuis

REVIEW 2 major objections 5 minor 1 cited by

Cutting and pasting pairs of manifolds with tangential structures

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read For a large class of tangential structures, cutting and pasting a pair of manifolds is exactly the separate cutting and pasting of the ambient manifold and of the submanifold carrying its normal-bundle structure.

desk verdict The reader's main objection to Example 2.6(3) is incorrect; the real problem is the underproved n=4 case of Theorem 6.1, which also undercuts Theorem 3.3 as stated. read the letter →

arxiv 2506.15204 v1 pith:E4MUVPYK submitted 2025-06-18 math.AT

R.A. Vlierhuis This is my paper · ORCID

classification math.AT MSC 57R9057R15

keywords SK-groupscuttingandpastingpairsofmanifoldstangentialstructuresstronglymultiplicativebordismgroupsopenbookdecompositionsstablediffeomorphism

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

Cutting-and-pasting groups (SK-groups) record when two manifolds are equivalent up to cutting along a codimension-one submanifold and regluing the pieces by diffeomorphisms. This paper asks what happens when the object being cut and pasted is a pair: a manifold together with a lower-dimensional submanifold. It proves that, for any tangential structure satisfying a two-out-of-three rule (called strongly multiplicative), the SK-group of pairs splits into the SK-group of the ambient manifold and an SK-group of the submanifold equipped with its normal-bundle structure. As corollaries, manifolds with a map into a reference space $X$ yield analogous splittings, and maps into a simply connected factor $Y$ of a product $X\times Y$ are invisible to oriented SK-groups. The upshot is that many pair-SK computations reduce to known single-manifold computations, making the pair theory substantially more tractable.

What carries the argument

The paper's load-bearing notion is strong multiplicativity: a $B$-structure with the property that, among a bundle $\xi:E\to M$, the tangent bundle of $E$, and the tangent bundle of $M$, any two $B$-structures force a canonical $B$-structure on the third. This is what makes the normal bundle of a submanifold in a pair a $B$-bundle, and it is what allows the kernel-cokernel computation in the split exact sequence. The geometric construction doing the work is the sphere bundle of $E\oplus\mathbb{R}$, where $E$ is the pullback of the universal bundle classified by a given normal-bundle datum; its 'north pole' section realizes any normal-bundle class and gives a way to replace a pair by a disjoint union of a pair with empty submanifold and a sphere-bundle pair, which is exactly the cancellation step in the proof. In the oriented part, the additional machinery consists of the bounded book bordism groups and the asymmetric signature as the unique obstruction for extending a book decomposition (for $n\ge 5$), and the normal 1-type plus stable-diffeomorphism classification of 4-manifolds (for $n=4$).

What would settle it

Check Example 2.6(3) for $X=S^1$, $r=s=1$. The pullback condition in the definition of strong multiplicativity requires an explicit comparison map out of $(BO_1\times S^1)\times(BO_1\times S^1)$ to be a homeomorphism onto the fibre product determined by the bottom maps; writing both spaces as homotopy equivalent CW complexes and comparing $\pi_1$ (or $\pi_2$) is a finite check. If the square is not a pullback, the inheritance claim used for the normal-bundle structure of the submanifold is false; if it is, the claim survives this test.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: for a strongly multiplicative structure $B\to BO_k$ with $k\ge m>n$, the group of pairs $\operatorname{SK}^B_{m,n}$ fits into a split short exact sequence $$0\to \operatorname{SK}^B_m\to \operatorname{SK}^B_{m,n}\to \operatorname{SK}^B_n(B_{m-n})\to 0.$$ The inclusion sends a manifold to the same manifold with empty submanifold, and the surjection sends a pair $(M,N)$ to the submanifold $N$ together with the $B$-structure on its normal bundle in $M$, regarded as a map to the classifying space $B_{m-n}$. Specializing to the unoriented and oriented structures gives the split sequences for pairs with maps to $X$, and the paper's second main theorem shows that when $Y$ is simply connected and $\pi_1(X)$ is finitely presented, projection induces an isomorphism $\operatorname{SK}_n(X\times Y)\to \operatorname{SK}_n(X)$. The proof strategy is to transplant the known unoriented pair argument into the $B$-setting using the sphere bundle of the normal bundle, and then to pass from maps to $X$ to maps to a product by proving a product formula for unoriented bordism and using algebraic surgery obstructions in high dimensions together with modified surgery in dimension 4.

Load-bearing premise

The pair-splitting theorems for manifolds with a map to a space $X$ rest on the unproved step that adding an arbitrary pointed path-connected space $X$ to a strongly multiplicative tangential structure preserves the two-out-of-three rule; if this step fails, the normal bundle of the submanifold may lack a canonical structure and the proofs of Theorems 3.2 and 3.3 do not go through.

Editorial extensions

If this is right

If $B$ is strongly multiplicative, then every computation of $\operatorname{SK}^B_m$ and $\operatorname{SK}^B_n(B_{m-n})$ yields a computation of the pair group $\operatorname{SK}^B_{m,n}$ by a split extension.
In the unoriented case, $\operatorname{SK}^O_{m,n}(X)$ is an extension of $\operatorname{SK}^O_n(X\times X)$ by $\operatorname{SK}^O_m(X)$; the analogous statement holds with orientations, replacing $\operatorname{SK}^O$ by $\operatorname{SK}$.
The isomorphism $\operatorname{SK}_n(X\times Y)\cong\operatorname{SK}_n(X)$ for simply connected $Y$ means that adding a simply connected target component never creates new SK-obstructions.
The earlier triviality result for SK with a map into a simply connected space is recovered as the special case $X=\mathrm{pt}$.
For pairs, the quotient term records the submanifold together with its normal-bundle structure, so pair invariants can distinguish submanifolds by that normal datum.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper asserts without proof that $B\times X$ is strongly multiplicative for any pointed path-connected $X$; this is exactly the kind of claim that should be checked against $X=S^1$, where the required two-out-of-three square either holds or fails by an explicit map. If it fails, the two splitting theorems for maps to $X$ could likely be repaired by restricting to spaces $X$ with a suitable con
The same split-sequence mechanism suggests that any tangential structure with a genuine two-out-of-three property, not just the examples listed, yields a pair-SK splitting; a categorical formulation of strong multiplicativity might make the proof independent of the ambient category.
Theorem 6.1's reliance on stable diffeomorphism in dimension 4 suggests a testable consequence: representatives of the zero class in $\operatorname{SK}_4(X\times Y)$ should be stably diffeomorphic to representatives coming from $X$ alone, so the difference between the two groups is controlled by stable-diffeomorphism invariants.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Things you should know before spending time on arXiv:2506.15204.

The reader's rejection reasons are mostly off-target. Example 2.6(3) is actually fine: for the structure B×X, set Ψ((b_r,x_r),(b_s,x_s)) = (ψ_B(b_r,b_s), x_s). The square in Definition 2.5 is a pullback because the X-coordinate in the target comes from the second factor, and the B-coordinate is uniquely determined by strong multiplicativity of B. No map X×X→X is forced. So Theorems 3.2 and 3.3 do not collapse on that ground.

What the paper does well: Theorem 3.1 is a clean generalization of Komiya's pair-splitting theorem to strongly multiplicative tangential structures. The Section 2 framework is careful, and the proof of Theorem 3.1 is essentially Komiya's, which is fine. The unoriented Theorem 3.2 follows from the Künneth isomorphism and the known computation of SK^O_*(BO(k)); it looks correct. Theorem 6.1 is a genuine extension of Neumann's theorem, and the high-dimensional proof via Ranicki's asymmetric signature is plausible, modulo the usual faith in that machinery.

The real soft spot is the n=4 case of Theorem 6.1. The proof there is too compressed. The critical step is where a stable diffeomorphism φ: M'#aS → N'#bS, obtained from Kreck's modified surgery, is used to identify [M'#aS, (f'×h')#a*] with [N'#bS, (f'×h')#a*∘φ^{-1}] in SK_4(X×Y). Kreck's theorem gives φ up to homotopy commuting with the normal 1-smoothings, but those smoothings only remember the map to K(π1(X),1) (via X) and the map to BSO. They do not encode the actual map to X or Y. Nothing in the argument shows that φ preserves the map to X×Y in the sense needed for an SK_4 equality. The sentence 'the only obstructions live in the fundamental group' is doing a lot of work and is not justified; π_2(Y) can obstruct extending maps over 5-dimensional cobordisms. Since Theorem 3.3 invokes Theorem 6.1 with Y=BSO(m−n) for all n, this gap affects a headline result.

Bottom line: the paper is worth a serious referee. Theorem 3.1 is a solid contribution for the SK-group community. Theorem 6.1 is attractive but the 4D proof needs to be either completed or the theorem stated with n≠4. I would send it to peer review, with a referee who knows Kreck surgery and Ranicki's asymmetric signature.

Referee Report

2 major / 5 minor

Summary. The paper studies cutting and pasting (SK) groups for pairs (M,N) of manifolds equipped with tangential B-structures. After introducing the notion of a strongly multiplicative structure, it proves Theorem 3.1, a split short exact sequence relating SK^B_m, SK^B_{m,n}, and SK^B_n(B_{m-n}). This is then applied to obtain Theorem 3.2 for unoriented manifolds with maps to a space X and Theorem 3.3 for oriented manifolds with maps to X. The oriented result relies on Theorem 6.1, which asserts that if Y is simply connected and π_1(X) is finitely presented, then the projection SK_n(X×Y)→SK_n(X) is an isomorphism for all n. The proof of Theorem 6.1 is attempted using the asymmetric signature for n≥6 and Kreck's modified surgery for n=4.

Significance. The splitting theorem for pairs is a natural extension of Komiya's work, and the strong-multiplicativity formalism is appropriate. I also note that the claim in Example 2.6(3) that B×X is strongly multiplicative is correct; the required pullback is obtained by setting Ψ((b_r,x_r),(b_s,x_s))=(ψ_B(b_r,b_s),x_s), and the X-coordinates do not obstruct the pullback property. If Theorem 6.1 were fully justified, Theorems 3.3 and B would be useful generalizations of Neumann's theorem. However, the proof of Theorem 6.1 has significant gaps in the current version, particularly in the n=4 case, so the paper's central implications are not yet established.

major comments (2)

[Section 6, proof of Theorem 6.1 for n=4] The step beginning 'Because of this, we have that f' gives a choice of normal 1-smoothing...' is incomplete. Kreck's Theorem 6.2 produces a stable diffeomorphism φ between M'#aS and N'#bS from bordant normal 1-smoothings, but those smoothings only record maps to Bπ_1(X)×BSO, not the full maps to X×Y. The subsequent equality [M,f×h]=[M',f'×h']=[N',g''×k]+Σ[S,q_i] and the claim that 'reversing the surgeries from N to N' is not obstructed by the map g'' because the only obstructions live in the fundamental group' require that the restrictions of the maps extend over the 5-dimensional surgery traces from N' back to N. Extending maps over such cobordisms can be obstructed by π_2(X) and π_2(Y), so this assertion is not justified. This gap is load-bearing because Theorem 6.1 is used in Theorem 3.3, and no alternative argument is supplied.
[Section 6, high-dimensional case (n≥6)] The proof asserts 'σ_*(M,f×g) equals σ_*(M,f)=0 because [M,f] is bordant to a manifold that has an open book decomposition.' The asymmetric signature σ_* is a bounded book bordism invariant, not an ordinary bordism invariant, and an ordinary bordism from M to an OBD manifold does not by itself give a zero class in BB_n(X). The argument needs to justify that vanishing in SK_n(X) implies vanishing of σ_*(M,f), for example by proving or citing that the class of [M,f] is zero in BB_n(X) or by constructing a bounded book null-bordism from the cut-and-paste relation. Without this, the high-dimensional proof of Theorem 6.1 is incomplete.

minor comments (5)

[Theorem 3.3, proof] In the proof of Theorem 3.3, 'X×BO(m−n)×X' should read 'X×BSO(m−n)×X'; as printed it is inconsistent with the use of Theorem 6.1 in Section 6.
[Section 6, n=4 proof] In the n=4 proof of Theorem 6.1, 'similarly for h' on N'' should presumably be 'similarly for g' on N''; the map h was only introduced for M.
[Definition 2.5] The label 'id×φ_{r,s}' for the bottom horizontal map is confusing; the intended map is (a,b)↦(a,φ_{r,s}(a,b)). Please spell this out.
[Theorems 3.2 and 3.3] The notation j([(M,N),(f,g)]) is introduced without specifying the domains of f and g; state that f:M→X and g:N→X.
[Section 6, low-dimensional cases] The sentence 'In odd dimensions all the SK-groups vanish' is used without proof or reference; please supply a reference or a short justification.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the splitting theorems are derived from external results (Komiya, Neumann, Kreck, Ranicki, KKNO73), not from their own conclusions.

full rationale

The paper's derivation chain is self-contained with respect to circularity. Theorem 3.1 is proved directly from Definition 2.5 and Komiya's unoriented argument, with the normal-bundle B-structure supplied by strong multiplicativity rather than assumed from the desired splitting. Theorem 3.2 reduces the needed projection isomorphism to the external Kunneth isomorphism and vanishing results from [KKNO73], proved independently in Section 5. Theorem 3.3 reduces to Theorem 6.1, which is proved using Ranicki's asymmetric signature, Kreck's stable diffeomorphism classification, Neumann's low-dimensional results, and a five-lemma argument; none of these steps assumes the short exact sequences being proved. Example 2.6(3) is asserted rather than proved, and the n = 4 proof of Theorem 6.1 contains unsubstantiated claims about extending maps over cobordisms and preserving maps up to the SK-equivalence, but an unproved or even incorrect assumption is a correctness risk, not a circular reduction. The paper does not fit parameters to data, rename known results as new organization, or import its conclusions via a self-citation chain; the acknowledgment of the author's BSc thesis is not load-bearing for any theorem. Thus no circular step can be exhibited, and the appropriate finding is no significant circularity.

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

The central claim rests on the false assertion that B×X is strongly multiplicative for arbitrary X. Additional domain assumptions are the deep cited theorems of Ranicki, Kreck, and Neumann. No free parameters or invented entities appear.

assumptions (5)

ad hoc to paper For a strongly multiplicative B, the product B×X is strongly multiplicative (Example 2.6(3)).
This is asserted without proof and is false for general X: the pullback condition would require a map X×X → X to be an isomorphism. It is the key step giving the normal bundle of a submanifold a B-structure in the map-to-X setting.
domain assumption Ranicki's Theorem 29.17: vanishing of the asymmetric signature implies that a book decomposition on the boundary extends (for manifolds of dimension at least 5).
Cited from [Ran13] and used without verifying all hypotheses in the context of SK_n(X×Y).
domain assumption Kreck's stable classification of 4-manifolds: closed 4-manifolds with the same normal 1-type and bordant normal 1-smoothings are stably diffeomorphic.
Cited from [Kre99] and used in the n=4 case; the paper states a slight generalization without proof.
domain assumption Neumann's theorem: SK_n(X) ≅ SK_n for simply connected X, used as a base case and to argue the 2-dimensional case.
Cited [Neu75] and used for dimension 2 and as motivation for Theorem 6.1.
standard math Künneth formula for unoriented bordism with Z/2 coefficients.
Used in Proposition 5.1 to prove a Künneth isomorphism for unoriented bordism, which underpins Proposition 5.2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cutting and pasting pairs of manifolds with tangential structures." pith.science (2026). https://pith.science/paper/E4MUVPYK

@misc{pith2026250615204,
  author       = {Pith},
  title        = {Pith review of: Cutting and pasting pairs of manifolds with tangential structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E4MUVPYK}},
  note         = {Machine review of arXiv:2506.15204}
}

abstract

This paper studies cutting and pasting groups (SK-groups) of pairs of manifolds. By a pair of manifolds we mean a manifold with a submanifold of strictly smaller dimension. Existing results in the unoriented category by Komiya are generalized to manifolds with certain tangential structures. In this way multiple new splitting results for SK of pairs are obtained, in particular for SK of pairs of manifolds with a map to a reference space. We also prove that SK of manifolds with a map into $X\times Y$ with $Y$ simply connected is the same as SK of manifolds with map into $X$. This generalizes the result of Neumann that SK of manifolds with a map into a simply connected space is trivial.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Cobordism of nested manifolds
math.AT 2025-12 conditional novelty 6.0 of 10

Nested cobordism of manifolds is, whenever the outer submanifold has a framed normal direction, identical to link cobordism, transferring Wang's link invariants to nested manifolds.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper

[1]

Pierre E Conner and Edwin Earl Floyd, Differentiable periodic maps, Springer-Verlag, 1962

work page 1962
[2]

Renee S. Hoekzema, Mona Merling, Laura Murray, Carmen Rovi, and Julia Semikina, Cut and paste invariants of manifolds via algebraic k-theory, Topology and its Applications 316 (2022), 108105, Women in Topology III

work page 2022
[3]

14, 4496–4511

Renee S Hoekzema, Manifolds with odd euler characteristic and higher orientability, International Mathematics Research Notices 2020 (2018), no. 14, 4496–4511

work page 2018
[4]

Hoekzema, Luuk Stehouwer, and Simona Veselá, Skk groups of manifolds and non-unitary invertible tqfts, 2025

Renee S. Hoekzema, Luuk Stehouwer, and Simona Veselá, Skk groups of manifolds and non-unitary invertible tqfts, 2025

work page 2025
[5]

Neumann, and Erich Ossa, Cutting and pasting of manifolds; SK -groups , Mathematics lecture series, no

Ulrich Karras, Matthias Kreck, Walter D. Neumann, and Erich Ossa, Cutting and pasting of manifolds; SK -groups , Mathematics lecture series, no. 1, Publish or Perish, Incorporated, 1973

work page 1973
[6]

3, 827--881

Daniel Kasprowski, Markus Land, Mark Powell, and Peter Teichner, Stable classification of 4-manifolds with 3-manifold fundamental groups, Journal of Topology 10 (2017), no. 3, 827--881

work page 2017
[7]

Katsuhiro Komiya, Cutting and pasting of pairs, Osaka J. Math. 23 (1986), 577--584

work page 1986
[8]

3, 707--754

Matthias Kreck, Surgery and duality, Annals of Mathematics 149 (1999), no. 3, 707--754

work page 1999

Show all 12 references

[9]

Mona Merling, Ming Ng, Julia Semikina, Alba Sendón Blanco, and Lucas Williams, Scissors congruence k-theory for equivariant manifolds, 2025

2025
[10]

Neumann, Manifold cutting and pasting groups, Topology 14 (1975), no

Walter D. Neumann, Manifold cutting and pasting groups, Topology 14 (1975), no. 3, 237--244

1975
[11]

Andrew Ranicki, High-dimensional knot theory: Algebraic surgery in codimension 2, Springer Science & Business Media, 2013

2013
[12]

Winkelnkemper, Manifolds as open books, Bulletin of the American Mathematical Society 79 (1973), no

Horst E. Winkelnkemper, Manifolds as open books, Bulletin of the American Mathematical Society 79 (1973), no. 1, 45--51

1973

Pith tools

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

[1] [1]

Pierre E Conner and Edwin Earl Floyd, Differentiable periodic maps, Springer-Verlag, 1962

work page 1962

[2] [2]

Renee S. Hoekzema, Mona Merling, Laura Murray, Carmen Rovi, and Julia Semikina, Cut and paste invariants of manifolds via algebraic k-theory, Topology and its Applications 316 (2022), 108105, Women in Topology III

work page 2022

[3] [3]

14, 4496–4511

Renee S Hoekzema, Manifolds with odd euler characteristic and higher orientability, International Mathematics Research Notices 2020 (2018), no. 14, 4496–4511

work page 2018

[4] [4]

Hoekzema, Luuk Stehouwer, and Simona Veselá, Skk groups of manifolds and non-unitary invertible tqfts, 2025

Renee S. Hoekzema, Luuk Stehouwer, and Simona Veselá, Skk groups of manifolds and non-unitary invertible tqfts, 2025

work page 2025

[5] [5]

Neumann, and Erich Ossa, Cutting and pasting of manifolds; SK -groups , Mathematics lecture series, no

Ulrich Karras, Matthias Kreck, Walter D. Neumann, and Erich Ossa, Cutting and pasting of manifolds; SK -groups , Mathematics lecture series, no. 1, Publish or Perish, Incorporated, 1973

work page 1973

[6] [6]

3, 827--881

Daniel Kasprowski, Markus Land, Mark Powell, and Peter Teichner, Stable classification of 4-manifolds with 3-manifold fundamental groups, Journal of Topology 10 (2017), no. 3, 827--881

work page 2017

[7] [7]

Katsuhiro Komiya, Cutting and pasting of pairs, Osaka J. Math. 23 (1986), 577--584

work page 1986

[8] [8]

3, 707--754

Matthias Kreck, Surgery and duality, Annals of Mathematics 149 (1999), no. 3, 707--754

work page 1999