Pith. sign in

REVIEW 2 major objections 4 minor 77 references

Connected sum decompositions of high-dimensional manifolds

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Connected-sum decompositions of closed manifolds lose uniqueness in every dimension above three, in all three manifold categories.

desk verdict Main theorem 1.3 is solid and new; Theorem 1.4 is unsupported as written due to an illegal application of Corollary 4.7 — fixable, but needs a revision. read the letter →

arxiv 1909.02628 v2 pith:7HLJ7D63 submitted 2019-09-05 math.GT

Imre Bokor , Diarmuid Crowley , Stefan Friedl , Fabian Hebestreit , Daniel Kasprowski , Markus Land , Johnny Nicholson This is my paper · ORCID
classification math.GT MSC 57R65
keywords connectedsumuniquefactorizationmonoidcancellationhigh-dimensionalmanifoldssimplyCWcomplexesthickeningsKneser-Milnortheorem
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

In three dimensions, the Kneser-Milnor theorem gives every closed oriented connected manifold a unique decomposition into prime summands under connected sum. This paper asks how much of that structure survives in higher dimensions and answers: very little. It proves that for every n ≥ 4 and in each of the smooth, piecewise-linear, and topological categories, the manifold $S^2 \times S^{n-2}$ is not cancellable in the connected-sum monoid, and consequently none of these monoids is a unique factorisation monoid; the same failure occurs among simply connected manifolds for n ≥ 17 with $S^5 \times S^{n-5}$ in place of $S^2 \times S^{n-2}$. The upshot is that the clean uniqueness of 3-dimensional prime decompositions has no straightforward extension to high-dimensional manifolds.

What carries the argument

The engine is Wall's thickening construction: for a finite n-dimensional complex X and k ≥ 2n+1, k ≥ 6, there is an essentially unique smooth k-manifold $N^k(X)$, a 'thickening' with trivial tangent bundle and a simple homotopy equivalence $X \to N^k(X)$; its boundary $M^k(X) = \partial N^{k+1}(X)$ is a closed k-manifold that respects wedges, $M^k(X \vee Y) \cong M^k(X)\#M^k(Y)$, and, when k ≥ 2n+1, remembers the homotopy type of X. This turns purely homotopy-theoretic non-cancellation of complexes—$X \not\simeq Y$ but $X \vee S^r \simeq_s Y \vee S^r$—into diffeomorphism-level non-cancellation of manifolds. The complex pairs are produced by two machines: presentations with equal deficiency but distinct homotopy types, stabilised by a theorem on finite 2-complexes with the same finite fundamental group and Euler characteristic, and a mapping-cone criterion applied to the elements $\mu$ and $5\mu$ of order 12 in $\pi_7(S^4)$, using Toda's calculation that $\mu$ suspends to generate the relevant torsion.

What would settle it

Recompute the proof of Theorem 6.1 with k = 17: Corollary 4.7, applied honestly with n = 8 to the 8-dimensional mapping cones $C_\mu$ and $C_{5\mu}$, gives a diffeomorphism $M^{17}(C_\mu)\#(S^8 \times S^9) \cong M^{17}(C_{5\mu})\#(S^8 \times S^9)$ together with non-homotopy of the two 17-manifolds; the stated theorem requires the same with $S^5 \times S^{12}$. A direct surgery-theoretic computation of whether $M^{17}(C_\mu)\#(S^5 \times S^{12})$ and $M^{17}(C_{5\mu})\#(S^5 \times S^{12})$ are diffeomorphic would settle Theorem 1.4 as stated, and a negative answer would disprove it.

Watch

Extended reading notes

Core claim

The paper's central discovery is a systematic mechanism for manufacturing non-cancellation in the monoids of closed oriented n-manifolds. Starting from pairs of finite cell complexes X, Y that are not homotopy equivalent but become simple-homotopy equivalent after wedging with a sphere, Wall's thickening construction produces closed n-manifolds $M^n(X)$, $M^n(Y)$ that are not homotopy equivalent yet satisfy $M^n(X)\#(S^2 \times S^{n-2}) \cong M^n(Y)\#(S^2 \times S^{n-2})$ for n ≥ 5, with a stabilized analogue for n = 4. The needed complex pairs come from known presentations of $(\mathbb{Z}/p)^s$ with equal deficiency but different homotopy type, combined with a theorem that such complexes become simple-homotopy equivalent after wedging with $S^2$. For simply connected manifolds, the paper uses mapping cones of the elements $\mu$ and $5\mu$ in $\pi_7(S^4) \cong \mathbb{Z}/12$, whose wedge-with-$S^8$ stabilisations are simple-homotopy equivalent, to obtain the analogous result with $S^5 \times S^{k-5}$ for k ≥ 17. The proof shows that failure of unique factorisation is detected already by the additive structure of connected sums, before any discussion of primeness.

Load-bearing premise

The proof of the simply connected case applies a cell-complex-to-manifold construction to 8-dimensional complexes while claiming only 4 dimensions are needed; the construction as written would produce sums with $S^8 \times S^{k-8}$, not $S^5 \times S^{k-5}$, so the stated Theorem 1.4 relies on a repair that is not written down.

Editorial extensions

If this is right

  • For n ≥ 4, no monoid of closed oriented connected n-manifolds in the smooth, PL, or topological category has unique prime factorisation: the summand $S^2 \times S^{n-2}$ can be added to different manifolds and make them diffeomorphic.
  • Cancellation fails in the strongest concrete form: an equality $M\#(S^2 \times S^{n-2}) \cong N\#(S^2 \times S^{n-2})$ does not imply $M \cong N$, even when M and N have different homotopy types.
  • The failure persists inside the simply connected submonoid for n ≥ 17, with $S^5 \times S^{n-5}$ as the non-cancellable summand.
  • Uniqueness is not totally absent: in highly connected even dimensions with $k \equiv 3, 5, 7 \bmod 8$ and $k \neq 15, 31, 63$, the monoid is isomorphic to $\mathbb{N}$ via half the rank of the middle homology, and the Wu manifold $SU(3)/SO(3)$ is prime in the simply connected 5-dimensional monoid.
  • Assuming the Borel conjecture, the monoid generated by aspherical topological manifolds of dimension at least 4 is a unique factorisation monoid, so any higher-dimensional failure of uniqueness must come from non-aspherical summands.

Reading between the lines

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

  • The construction is a template: any pair of finite complexes X, Y with $X \not\simeq Y$ but $X \vee S^r \simeq_s Y \vee S^r$ yields, via the same thickening corollary, a non-cancellable summand $S^r \times S^{k-r}$ in some high dimension; the paper's two theorems are two instances of one mechanism.
  • Because the simply connected bound n ≥ 17 comes from the particular mapping-cone pair, analogous pairs in lower homotopy stems, or algebraic 2-complexes over groups with periodic cohomology, should push the failure down to much lower dimensions; the search is naturally phrased in homotopy theory rather than manifold topology.
  • The gap flagged in the proof of Theorem 6.1 matters: if it cannot be repaired, the honest output of that argument is non-cancellation of $S^8 \times S^{k-8}$ rather than $S^5 \times S^{k-5}$, leaving Theorem 1.4 true in spirit but unproven in the stated form.
  • In dimension 4, gauge-theoretic and topological classification results prevent the simply connected analogue: distinct smooth simply connected 4-manifolds that become diffeomorphic after summing with $S^2 \times S^2$ are already homeomorphic, so any 4-dimensional non-cancellation has to exploit fundamental groups, exactly as the paper's Theorem 1.3 does.
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.

Referee Report

2 major / 4 minor

Summary. The paper studies the monoids of oriented closed manifolds under connected sum in the categories Top, PL, and Diff, for dimensions n ≥ 1. It formalizes unique factorization monoids and, after establishing an existence result for prime decompositions (Proposition 1.2), proves that uniqueness fails in high dimensions: Theorem 1.3 states that for every n ≥ 4 the manifold S^2 × S^{n−2} is not cancellable in the reduced monoid, so the monoid is not a unique factorization monoid; Theorem 1.4 claims the analogous statement for simply connected manifolds for n ≥ 17 using S^5 × S^{n−5}. The proofs use Wall's thickening construction, Metzler's and Browning's non-cancellation results for 2-complexes, and Hilton's mapping cones of sphere maps. The paper also surveys Wall's classification results for highly connected manifolds, proves that the Wu manifold is prime in the simply connected 5-dimensional monoid, and discusses the D2 problem and aspherical manifolds.

Significance. The paper's main message—that unique connected-sum factorization, valid in dimension 3, fails in high dimensions and even in the simply connected case—is interesting and important. The method of converting non-cancellation phenomena for CW-complexes into non-cancellation of manifolds via thickenings is elegant and carefully explained. The proof of Theorem 1.3 appears sound. However, the proof of Theorem 1.4 contains a dimension error: Corollary 4.7 is applied outside its hypotheses. The data only support a corrected statement with S^8 × S^{k−8} instead of S^5 × S^{k−5}. Since the qualitative conclusion (non-UFD for simply connected high-dimensional monoids) survives this correction, the paper's central thesis is defensible, but the stated Theorem 1.4 requires revision.

major comments (2)
  1. [§6, proof of Theorem 6.1] Corollary 4.7 is applied to the 8-dimensional complexes Cα and Cβ with n = 4. This violates the hypothesis of Corollary 4.7 that the complexes have dimension at most n. Moreover, Theorem 6.2(2) gives Cα ∨ S^8 ≃s Cβ ∨ S^8, so the sphere in the wedge is S^8, not S^4; hence the only legal application is with n = 8. With n = 8 the conclusion is M^k(Cα)#(S^8 × S^{k−8}) ≅ M^k(Cβ)#(S^8 × S^{k−8}), which would prove non-cancellability of S^8 × S^{k−8}. No argument is supplied that converts the S^8 summand into an S^5 summand, and the two are not diffeomorphic in the relevant range.
  2. [§1, Theorem 1.4; §6, Theorem 6.1] Because the proof of Theorem 6.1 only supports the S^8 version, Theorem 1.4 as stated ("S^5 × S^{n−5} is not cancellable for n ≥ 17") is not established. The error does not affect Theorem 1.3, whose application of Corollary 4.7 to genuine 2-complexes is legitimate. I recommend either supplying a new construction that yields S^5 summands or restating the theorem with S^8 × S^{n−8}; the latter still gives the main qualitative conclusion.
minor comments (4)
  1. [§6, first paragraph] "Theorem 4.7" should be "Corollary 4.7".
  2. [§8, Question 8.3] The cross-reference "page ??" is unresolved; it should point to the relevant remark in Section 6.
  3. [Abstract and Section 1] There are several typographical errors such as "orient ed" and "definition" that should be corrected in a final revision.
  4. [§5.2, proof of Theorem 5.3] The displayed expression with braces under "(r+1)·(S2×S2)" is garbled; it should clearly state that the connected sum is taken r+1 times.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reasoning found; main derivations rely on external theorems, with only peripheral self-citations.

full rationale

The derivation chain is independent of its conclusions. Theorems 1.3 and 1.4 are proved by combining Wall's thickening theory (Theorem 4.1, Proposition 4.6, Corollary 4.7), Metzler's bias examples (Theorem 5.6) together with Browning and Hambleton-Kreck (Theorem 5.4), and Hilton's mapping-cone construction (Theorem 6.2) with Toda's computation of the suspension in the critical homotopy groups. None of these are re-statements of the paper's non-cancellation conclusions, and none are fitted to the target results. The self-citations that occur—[Ni18], [Ni19], [Ni20] in the D2-problem discussion, [FNOP19] for annulus-theorem foundations, and [Cr11] for a definition in Section 7—are not load-bearing for the main theorems: Theorem 5.2 uses Metzler/Browning/Hambleton-Kreck rather than Nicholson's papers, and Theorem 1.3 follows from Theorems 5.2 and 5.3 via Lemma 5.1. There is no fitted parameter renamed as a prediction and no definitional identification of input with output. I also note that the proof of Theorem 6.1 appears to apply Corollary 4.7 with n=4 to 8-dimensional complexes C_alpha, C_beta, which would produce S^8 summands rather than the stated S^5 summands; this is a correctness gap, not a circularity, and it does not change the circularity verdict. The low score of 2 reflects only the presence of peripheral, non-load-bearing self-citations.

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

The central theorems are deductive topology arguments with no fitted constants and no newly postulated objects. The only inputs are standard classification results, homotopy computations, and thickening theory cited from the literature. The proof of Theorem 6.1 has an internal mismatch, but that is a proof error rather than a hidden free parameter.

assumptions (7)
  • domain assumption Wall's classification of (n-1)-connected 2n-manifolds and his cancellation results [Wa62]
    Used in Section 3 for Theorems 3.1 and 3.2 and for statements about highly connected monoids.
  • domain assumption Barden's classification of simply connected 5-manifolds [Ba65, Cr11]
    Used in Section 7 to prove that the Wu manifold is prime.
  • domain assumption Browning/Hambleton-Kreck theorem: finite 2-complexes with same finite fundamental group and Euler characteristic become simply homotopy equivalent after wedging with S^2
    This is Theorem 5.4, the engine behind Theorem 1.3.
  • domain assumption Metzler's bias invariant and his non-homotopy examples of presentation complexes [Me76]
    Theorem 5.6 supplies the non-homotopy-equivalent pairs of 2-complexes used in Theorem 5.2.
  • domain assumption Hilton's mapping cone theorem and Toda's computation pi_6(S^3) = Z/12 [Hi67, To62]
    Used in Section 6 to produce simply connected CW complexes with X wedge S^8 simple homotopy equivalent to Y wedge S^8 but X not homotopy equivalent to Y.
  • domain assumption Wall's thickening theory for finite CW complexes [Wa66a]
    Used in Section 4 to convert CW complex constructions into smooth manifold diffeomorphisms.
  • standard math Poincare conjecture in dimensions 3 and 4 and the h-cobordism theorem
    Used in Proposition 2.4 to determine the units of the monoids.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Connected sum decompositions of high-dimensional manifolds." pith.science (2026). https://pith.science/paper/7HLJ7D63

@misc{pith2026190902628,
  author       = {Pith},
  title        = {Pith review of: Connected sum decompositions of high-dimensional manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7HLJ7D63}},
  note         = {Machine review of arXiv:1909.02628}
}
read the original abstract

The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

77 extracted references · 76 canonical work pages

  1. [1]

    D. Barden. Simply connected five-manifolds , Ann. of Math. 82 (1965), 365--385

    work page 1965

  2. [2]

    E. Bayer. Factorisation is not unique for higher dimensional knots , Comment. Math. Helv. 55, 583-592 (1980)

    work page 1980

  3. [3]

    Behrens, M

    M. Behrens, M. Hill, M. Hopkins and M. Mahowald. Detecting exotic spheres in low dimensions using coker J , J. Lond. Math. Soc. (2) 101 (2020), no. 3, 1173--1218

    work page 2020

  4. [4]

    F. R. Beyl and N. Waller. A stably free nonfree module and its relevance for homotopy classification, case Q_ 28 , Algebr. Geom. Topol. 5 (2005), 899--910

    work page 2005

  5. [5]

    G. Bredon. Topology and geometry , Graduate Texts in Mathematics 139. Springer-Verlag (1993)

    work page 1993

  6. [6]

    W. H. Browning. Homotopy types of certain finite CW-complexes with finite fundamental group , PhD Thesis, Cornell University (1979)

    work page 1979

  7. [7]

    S. E. Cappell, On connected sums of manifolds , Topology 13 (1974), 395--400

    work page 1974

  8. [8]

    S. E. Cappell, A spitting theorem for manifolds , Inventiones Math.\ 33 (1976), 69--170

    work page 1976

Show all 77 references
  1. [9]

    S. E. Cappell and J. L. Shaneson. On four-dimensional surgery and applications , Comment. Math. Helv. 46 (1971), 500--528

    1971

  2. [10]

    J. Cerf. Sur les diff\'eomorphismes de la sph\`ere de dimension trois ( _4=0) , Lecture Notes in Mathematics 53, Springer Verlag (1968)

    1968

  3. [11]

    Cheeger and J

    J. Cheeger and J. M. Kister. Counting topological manifolds , Topology 9 (1970), 149--151

    1970

  4. [12]

    D. Crowley. 5-manifolds: 1-connected , Bulletin of the Manifold Atlas (2011), 49-55

    2011

  5. [13]

    S. K. Donaldson. An application of gauge theory to four-dimensional topology , J. Diff. Geom. 18 (1983), 279--315

    1983

  6. [14]

    R. D. Edwards. The solution of the 4-di\-men\-si\-onal Annulus conjecture ( after Frank Quinn ) , in ``Four-manifold Theory'', Gordon and Kirby ed., Contemporary Math. 35 (1984), 211--264

    1984

  7. [15]

    Friedl, M

    S. Friedl, M. Nagel, P. Orson and M. Powell. A survey of the foundations of 4 -manifold theory , Preprint (2019), arXiv:1910.07372

    2019 arXiv

  8. [16]

    Freedman

    M. Freedman. The topology of four-dimensional manifolds , J. Diff. Geom. 17 (1982), 357--453

    1982

  9. [17]

    U ber die Klassen der Sph\

    H. Freudenthal. \" U ber die Klassen der Sph\" a renabbildungen I. Gro e Dimensionen , Compos. Math. 5 (1938), 299--314

    1938

  10. [18]

    Gompf and A

    R. Gompf and A. Stipsicz. 4-manifolds and Kirby calculus , Graduate Studies in Mathematics 20, AMS (1999)

    1999

  11. [19]

    A. Hatcher. Algebraic Topology , Cambridge University Press (2001)

    2001

  12. [20]

    P. J. Hilton. On the homotopy groups of the union of spheres , J. London Math. Soc., Second Series, 30 (2) (1955), 154--172

    1955

  13. [21]

    P. J. Hilton. Homotopy Theory and Duality , Gordon and Breach, New York, (1965)

    1965

  14. [22]

    P. J. Hilton. On the Grothendieck group of compact polyhedra , Fund. Math. 61 (1967), 199--214

    1967

  15. [23]

    Hambleton and M

    I. Hambleton and M. Kreck. On the classification of topological 4-manifolds with finite fundamental group , Math. Annalen. 280 (1988), 85--104

    1988

  16. [24]

    Hambleton and M

    I. Hambleton and M. Kreck. Cancellation of lattices and finite two-complexes , J. reine angew. Math 442 (1993), 91--109

    1993

  17. [25]

    Hambleton and M

    I. Hambleton and M. Kreck. Cancellation results for 2-complexes and 4-manifolds and some applications , Two-dimensional homotopy and combinatorial group theory, 281-308, London Math. Soc. Lecture Note Ser., 197, Cambridge Univ. Press, Cambridge, 1993

    1993

  18. [26]

    J. Hempel. 3-manifolds , Annals of Mathematics Studies 86. Princeton, New Jersey: Princeton University Press and University of Tokyo Press. XII (1976)

    1976

  19. [27]

    M. Hill, M. Hopkins and D. Ravenel. On the nonexistence of elements of Kervaire invariant one , Ann. of Math. (2) 184 (2016), 1 - 262

    2016

  20. [28]

    Hog-Angeloni, W

    C. Hog-Angeloni, W. Metzler and A. J. Sieradski. Two-Dimensional Homotopy and Combinatorial Group Theory, London Math. Soc. Lecture Note Ser. 197, Cambridge University Press (1993)

    1993

  21. [29]

    F. E. A. Johnson. Stable Modules and the D(2)-Problem , LMS Lecture Notes Series 301 (2003)

    2003

  22. [30]

    Jones and E

    J. Jones and E. Rees. Kervaire's invariant for framed manifolds , Proc. Symp. Pure Math. 32 (1978), 141--147

    1978

  23. [31]

    C. Kearton. Factorisation is not unique for 3-knots , Indiana Univ. Math. J. 28, 451-452 (1979)

    1979

  24. [32]

    C. Kearton. The factorisation of knots , Low-dimensional topology, Proc. Conf., Bangor/Engl. 1979, Vol. 1, Lond. Math. Soc. Lect. Note Ser. 48, 71-80 (1982)

    1982

  25. [33]

    Kervaire and J

    M. Kervaire and J. Milnor. Groups of Homotopy Spheres: I , Annals of Mathematics 77 (1963), 504--537

    1963

  26. [34]

    R. Kirby. Stable homeomorphisms and the annulus conjecture , Annals of Math. 89 (1969), 575--582

    1969

  27. [35]

    H. Kneser. Geschlossene Fl\"achen in dreidimensionalen Mannigfaltigkeiten , Jber. Deutsch. Math.-Verein. 38 (1929), 248--260

    1929

  28. [36]

    Kosinski

    A. Kosinski. Differential Manifolds , Dover Publications, 1993

    1993

  29. [37]

    Kreck, W

    M. Kreck, W. L\"uck and P. Teichner, Counterexamples to the Kneser conjecture in dimension four , Comment.\ Math.\ Helvetici 70 (1995), 423--433

    1995

  30. [38]

    Kreck and J

    M. Kreck and J. A. Schafer. Classification and stable classification of manifolds: some examples , Comment. Math. Helv. 59 (1984), 12--38

    1984

  31. [39]

    M. Kreck. Surgery and duality , Ann. of Math. (2) 149 (1999), 707--754

    1999

  32. [40]

    A. G. Kurosh. Die Untergruppen der freien Produkte von beliebigen Gruppen , Math. Annalen 109 (1934), 647--660

    1934

  33. [41]

    A. G. Kurosh. The theory of groups , Volume 2, Chelsea Publishing Co. (1960)

    1960

  34. [42]

    Lyndon and P

    R. Lyndon and P. Schupp. Combinatorial group theory , Springer Verlag (1977)

    1977

  35. [43]

    Mannan and T

    W. Mannan and T. Popiel. An exotic presentation of Q_ 28 , arXiv:1901.10786 (2019)

    2019 arXiv

  36. [44]

    W. H. Mannan. Realizing algebraic 2-complexes by CW-complexes , Math. Proc. Cam. Phil. Soc. 146 (3) (2009), 671--673

    2009

  37. [45]

    W. Metzler. \" U ber den Homotopietyp zweidimensionaler CW-Komplexe und Elementartransformationen bei Darstellungen von Gruppen durch Erzeugende und definierende Relationen , J. reine u. angew. Math. 285 (1976), 7--23

    1976

  38. [46]

    J. Milnor. A unique factorisation theorem for 3-manifolds , Amer. J. Math. 84 (1962), 1-7

    1962

  39. [47]

    J. Milnor. Groups which act on S^n without fixed points , Amer. J. Math. 79 (3) (1957), 623--630

    1957

  40. [48]

    E. Moise. Affine structures in 3 -manifolds V. The triangulation theorem and Hauptvermutung , Ann. of Math. 56 (1952), 96--114

    1952

  41. [49]

    E. Moise. Geometric Topology in Dimensions 2 and 3 , Graduate Texts in Mathematics, vol. 47, Springer, New York-Heidelberg, 1977

    1977

  42. [50]

    E. A. Molnar. Relation between cancellation and localization for complexes with two cells , J. Pure Appl. Algebra 3 (1973), 141--158

    1973

  43. [51]

    Nicholson

    J. Nicholson. A cancellation theorem for modules over integral group rings , Math. Proc. Cambridge Philos. Soc., to appear, arXiv:1807.00307 (2018)

    2018 arXiv

  44. [52]

    Nicholson

    J. Nicholson. Cancellation for (G,n) -complexes and the Swan finiteness obstruction , arXiv:2005.01664 (2020)

    2020 arXiv

  45. [53]

    Nicholson

    J. Nicholson. On CW-complexes over groups with periodic cohomology , arXiv:1905.12018 (2019)

    2019 arXiv

  46. [54]

    F. Quinn. Ends of maps. III: Dimensions 4 and 5 , J. Differ. Geom. 17 (1982), 503--521

    1982

  47. [55]

    F. Quinn. The stable topology of 4-manifolds , Topology Appl. 15 (1983), 71--77

    1983

  48. [56]

    Uber den Begriff der Riemannschen Fl\

    T. Rad\'o. \"Uber den Begriff der Riemannschen Fl\"ache , Acta Szeged 2 (1926), 101--121

    1926

  49. [57]

    K. Ramesh. Inertia groups and smooth structures of (n-1) -connected 2n -manifolds , Osaka J. Math. 53 (2016), 303--319

    2016

  50. [58]

    C. P. Rourke and B. J. Sanderson. Introduction to piecewise-linear topology , Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag (1972)

    1972

  51. [59]

    Schubert

    H. Schubert. Die eindeutige Zerlegbarkeit eines Knotens in Primknoten , S.-B. Heidelberger Akad. Wiss. Math.-Nat. Kl. 1949, (1949). no. 3, 57--104

    1949

  52. [60]

    A. Scorpan. The wild world of 4-manifolds , Providence, RI: American Mathematical Society (2005)

    2005

  53. [61]

    A. J. Sieradski. A semigroup of simple homotopy types , Math. Zeit. 153 (1977), 135--148

    1977

  54. [62]

    S. Smale. On the structure of manifolds , Amer. J. Math. 84 (1962), 387--399

    1962

  55. [63]

    R. E. Stong. Determination of H^ (BO k , Z/2) and H^ (BU k , Z/2) , Trans. Amer. Math. Soc. 107, no. 3 (1963), 526-544

    1963

  56. [64]

    J. R. Stallings. On torsion free groups with infinitely many ends , Ann. of Math. 88 (1968), 312--334

    1968

  57. [65]

    R. G. Swan. Groups of cohomological dimension one , J. of Algebra. 12 (1969), 585--610

    1969

  58. [66]

    Toda, Composition methods in homotopy groups of spheres , Princeton University Press, 1962

    H. Toda, Composition methods in homotopy groups of spheres , Princeton University Press, 1962

    1962

  59. [67]

    C. T. C. Wall. Classification of (n-1) -connected 2n-manifolds , Ann. of Math. 75 (1962), 163--189

    1962

  60. [68]

    C. T. C. Wall. On simply-connected 4-manifolds , J. London Math. Soc. 39 (1964), 141--149

    1964

  61. [69]

    C. T. C. Wall. Finiteness conditions for CW Complexes , Ann. of Math. 81 (1965), 56--69

    1965

  62. [70]

    C. T. C. Wall. Classification problems in Differential Topology - IV Thickenings , Topology 5 (1966), 73--94

    1966

  63. [71]

    C. T. C. Wall. Finiteness conditions for CW complexes , II. Proc. Roy. Soc. Ser. A, 295 (1966), 129--139

    1966

  64. [72]

    C. T. C. Wall. Classification problems in differential topology. VI. Classification of (s-1) -connected (2s+1) -manifolds . Topology 6 (1967), 273-296

    1967

  65. [73]

    C. T. C. Wall. Differential topology , Cambridge Studies in Advanced Mathematics 156. Cambridge University Press (2016)

    2016

  66. [74]

    Wang and Z

    G. Wang and Z. Xu, The triviality of the 61-stem in the stable homotopy groups of spheres. Ann. of Math. (2) 186 (2017), no. 2, 501 - 580

    2017

  67. [75]

    G. W. Whitehead. Elements of Homotopy Theory , Graduate Texts in Mathematics 61, Springer-Verlag, New York, (1978)

    1978

  68. [76]

    J. H. C. Whitehead. Manifolds with transverse fields in euclidean space , Ann. of Math. (2) 73 (1961), 154-212

    1961

  69. [77]

    D. L. Wilkens. On the inertia group of certain manifolds , J. London Math. Soc. 9 (1974/75), 537--548

    1974

Pith tools

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