pith. sign in

arxiv: 2312.00322 · v4 · submitted 2023-12-01 · 🧮 math.AT · math.GT· math.KT· math.NT

Simple homotopy types of even dimensional manifolds

Csaba Nagy , John Nicholson , Mark Powell This is my paper

Pith reviewed 2026-05-24 05:35 UTC · model grok-4.3

classification 🧮 math.AT math.GTmath.KTmath.NT
keywords simple homotopy equivalencemanifold homotopy typesalgebraic K-theorylens spacescyclotomic fieldssurgery theoryeven-dimensional manifoldsWhitehead torsion
0
0 comments X

The pith

Closed even-dimensional manifolds exist that are homotopy equivalent but not simple homotopy equivalent.

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

The paper shows that for every even dimension n at least 4, there are closed n-manifolds sharing a homotopy type yet having distinct simple homotopy types. It constructs infinite families of such manifolds, all homotopy equivalent to the product of a circle and a lens space, and determines exactly when the associated simple homotopy manifold sets are trivial, finite, or infinite. The constructions rely on a characterization of these sets via algebraic K-theory, surgery obstructions, and homotopy automorphisms, together with computations in integral representation theory and cyclotomic class numbers. A reader would care because the result separates two classical notions of equivalence for manifolds in dimensions where they were previously thought to coincide.

Core claim

We construct the first examples, for all even n ≥ 4, of closed n-manifolds that are homotopy equivalent but not simple homotopy equivalent; in fact we produce infinite families all homotopy equivalent to S¹ × L for suitable lens spaces L, and we characterize the simple homotopy manifold set of any closed manifold in terms of algebraic K-theory, the surgery obstruction map, and homotopy automorphisms.

What carries the argument

The simple homotopy manifold set of a closed manifold, defined as the set of simple homotopy types of manifolds within its homotopy type and characterized via algebraic K-theory, surgery obstructions, and homotopy automorphisms.

If this is right

  • Infinite families of pairwise non-simple-homotopy-equivalent manifolds exist in every even dimension n ≥ 4.
  • The examples admit smooth structures when n ≥ 6.
  • The simple homotopy manifold sets of S¹ × L are trivial, finite or infinite according to the choice of lens space L, with asymptotic size governed by class numbers of cyclotomic fields.
  • Analogous quantitative descriptions hold for the sets of manifolds related by h-cobordism.

Where Pith is reading between the lines

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

  • If the same K-theoretic reduction applies to other families of manifolds, then non-simple-homotopy-equivalent examples should appear in many additional homotopy types.
  • The dependence on class numbers suggests that the size of these manifold sets grows with the dimension in a manner controlled by number-theoretic data.
  • Distinguishing simple homotopy types may refine existing classification results that currently use only ordinary homotopy equivalence.

Load-bearing premise

The algebraic characterization of the simple homotopy manifold set via K-theory, surgery maps, and automorphisms applies to the specific circle-lens space products used in the constructions.

What would settle it

An explicit calculation of the relevant Whitehead group elements or K-theory classes for two distinct lens space products showing that they produce identical simple homotopy types would show that those particular manifolds do not furnish the claimed examples.

read the original abstract

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map, and the homotopy automorphisms of the manifold. We use this to construct the first examples, for all $n \ge 4$ even, of closed $n$-manifolds that are homotopy equivalent but not simple homotopy equivalent. In fact, we construct infinite families of manifolds that are all homotopy equivalent but pairwise not simple homotopy equivalent, and our examples can be taken to be smooth for $n \geq 6$. Our examples are homotopy equivalent to the product of a circle and a lens space. We analyse the simple homotopy manifold sets of these manifolds, determining exactly when they are trivial, finite, or infinite, and investigating their asymptotic behaviour. The proofs involve integral representation theory and class numbers of cyclotomic fields. We also compare with the relation of $h$-cobordism, and produce similar detailed quantitative descriptions of the manifold sets that arise.

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 paper characterizes the simple homotopy manifold set of closed n-manifolds in terms of algebraic K-theory, the surgery obstruction map, and homotopy automorphisms. It applies this characterization to construct, for every even n ≥ 4, the first examples of closed n-manifolds that are homotopy equivalent but not simple homotopy equivalent; in fact it produces infinite families, all homotopy equivalent to S¹ × lens space, that are pairwise not simple homotopy equivalent (smooth for n ≥ 6). The paper determines exactly when these sets are trivial, finite or infinite, studies their asymptotic size, and gives analogous quantitative descriptions for the corresponding h-cobordism manifold sets, using integral representation theory and class numbers of cyclotomic fields.

Significance. If the reductions are valid, the work supplies the first explicit, infinite families separating homotopy and simple homotopy types in even dimensions and gives a complete picture of the simple homotopy manifold sets for a concrete class of manifolds. The reduction of the problem to class-number computations supplies falsifiable, number-theoretic predictions and allows direct comparison with h-cobordism; these are genuine strengths.

major comments (2)
  1. [Sections on the algebraic characterization and its application to S¹ × lens spaces] The central constructions rest on the claim that the algebraic characterization of the simple homotopy manifold set (via Wh(ℤ[π₁]), the surgery map, and the action of homotopy automorphisms) applies without additional relations to the manifolds M = S¹ × L^{n-1} with π₁(M) = ℤ × C_m. The Bass-Heller-Swan decomposition of Wh(ℤ × C_m) is invoked, yet the manuscript does not explicitly verify that the product structure introduces no extra units or relations that would identify distinct class-group elements under the combined action of Aut(π₁) and the surgery obstruction map in even dimensions; this verification is load-bearing for the claimed infinite families.
  2. [Sections on the computation of homotopy automorphisms and the resulting manifold sets] The reduction of distinct simple homotopy types to non-trivial elements of class groups of cyclotomic fields (after quotienting by the image of the surgery map and the homotopy automorphism action) assumes that the homotopy automorphism group of these manifolds has been computed completely. If this group is larger than stated, or if its action on the relevant K₁-torsion is not fully determined, the claimed pairwise non-equivalence of the constructed manifolds may fail; the manuscript must supply the explicit computation of this action for the families in question.
minor comments (2)
  1. The abstract states that examples can be taken smooth for n ≥ 6 but does not indicate whether the n = 4 case is only topological; a single clarifying sentence would help.
  2. Notation for the integral representation rings and the precise definition of the simple homotopy manifold set could be collected in a short preliminary section to aid readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of our work and for identifying the key points requiring clarification. We address each major comment below with references to the relevant parts of the manuscript, where the algebraic reductions and explicit computations are carried out using integral representation theory.

read point-by-point responses

  1. Referee: [Sections on the algebraic characterization and its application to S¹ × lens spaces] The central constructions rest on the claim that the algebraic characterization of the simple homotopy manifold set (via Wh(ℤ[π₁]), the surgery map, and the action of homotopy automorphisms) applies without additional relations to the manifolds M = S¹ × L^{n-1} with π₁(M) = ℤ × C_m. The Bass-Heller-Swan decomposition of Wh(ℤ × C_m) is invoked, yet the manuscript does not explicitly verify that the product structure introduces no extra units or relations that would identify distinct class-group elements under the combined action of Aut(π₁) and the surgery obstruction map in even dimensions; this verification is load-bearing for the claimed infinite families.

    Authors: The Bass-Heller-Swan decomposition is applied directly to Wh(ℤ[ℤ × C_m]) in the algebraic characterization section, where the decomposition splits into known summands with vanishing Nil terms for these groups. The product structure does not introduce extra identifications among class-group elements because the combined action of Aut(π₁) and the even-dimensional surgery obstruction is computed explicitly via the integral representation theory of ℤ[C_m]: the relevant K₁-torsion is identified with the class group of the cyclotomic field, and the quotient by the image of the surgery map and Aut action is shown to preserve infinitely many distinct classes precisely when the class number is greater than 1. This verification is contained in the proofs of the main theorems constructing the infinite families (which rely on the class-number computations for the specific groups ℤ × C_m). revision: partial

  2. Referee: [Sections on the computation of homotopy automorphisms and the resulting manifold sets] The reduction of distinct simple homotopy types to non-trivial elements of class groups of cyclotomic fields (after quotienting by the image of the surgery map and the homotopy automorphism action) assumes that the homotopy automorphism group of these manifolds has been computed completely. If this group is larger than stated, or if its action on the relevant K₁-torsion is not fully determined, the claimed pairwise non-equivalence of the constructed manifolds may fail; the manuscript must supply the explicit computation of this action for the families in question.

    Authors: The homotopy automorphism group of M = S¹ × L^{n-1} is computed explicitly by analyzing the fibration S¹ → M → L^{n-1} together with the known homotopy automorphisms of lens spaces and the action on π₁(M) = ℤ × C_m. The resulting group maps onto Aut(π₁(M)) with kernel controlled by units in the group ring, and its induced action on the K₁-torsion (identified with the class group of ℤ[ζ_m]) is the natural Galois action. This computation appears in the section on homotopy automorphisms, where we determine the orbits under the combined action and show that the quotient by the surgery image leaves infinitely many distinct classes for the families in question. The pairwise non-equivalence of the constructed manifolds follows directly from these orbit computations. revision: no

Circularity Check

0 steps flagged

No circularity; constructions reduce to independent class-number computations

full rationale

The paper invokes a standard algebraic characterization of the simple homotopy manifold set (in terms of Wh(π1), surgery obstructions, and homotopy automorphisms) and reduces the existence question to explicit computations in integral representation theory and class numbers of cyclotomic fields for the specific family S¹ × L^{n-1}. These number-theoretic inputs are externally verifiable and independent of the manifold constructions themselves. No quoted equation or step in the abstract or described chain equates a claimed prediction back to a fitted parameter, self-citation load-bearing premise, or ansatz smuggled from the authors' prior work. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the algebraic characterization of the simple homotopy manifold set and on the applicability of integral representation theory and class-number computations to the specific manifolds; no new entities are postulated and no free parameters are introduced in the abstract.

axioms (1)
  • domain assumption The simple homotopy manifold set is determined by algebraic K-theory, the surgery obstruction map, and the homotopy automorphism group.
    Invoked to reduce existence and classification questions to number-theoretic computations.

pith-pipeline@v0.9.0 · 5726 in / 1406 out tokens · 23782 ms · 2026-05-24T05:35:04.301967+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

27 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Anderson,The Whitehead torsion of a fiber-homotopy equivalence, Michigan Math

    [And74] Douglas R. Anderson,The Whitehead torsion of a fiber-homotopy equivalence, Michigan Math. J.21 (1974), 171–180. [Bak75] Anthony Bak,Odd dimension surgery groups of odd torsion groups vanish, Topology14(1975), no. 4, 367–374. [Bak76] Anthony Bak,The computation of surgery groups of finite groups with abelian2-hyperelementary sub- groups, AlgebraicK...

    work page 1974

  2. [2]

    Algebra 6(1978), no

    [Bak78] Anthony Bak,The computation of even dimension surgery groups of odd torsion groups, Comm. Algebra 6(1978), no. 14, 1393–1458. [Bar63] Dennis Barden,The structure of manifolds, Ph.D. Thesis,

    work page 1978

  3. [3]

    [Bas74] Hyman Bass,L 3 of finite abelian groups, Ann. of Math. (2)99(1974), 118–153. [BB06] Werner Bley and Robert Boltje,Computation of locally free class groups, Algorithmic number theory, 2006, pp. 72–86. [BHS64] Hyman Bass, Alex Heller, and Richard G. Swan,The Whitehead group of a polynomial extension, Inst. Hautes ´Etudes Sci. Publ. Math.22(1964), 61...

    work page 1974

  4. [4]

    [CE56] Henri Cartan and Samuel Eilenberg,Homological algebra, Princeton University Press, Princeton, NJ,

    Corrected reprint of the 1982 original. [CE56] Henri Cartan and Samuel Eilenberg,Homological algebra, Princeton University Press, Princeton, NJ,

    work page 1982

  5. [5]

    Chapman,Topological invariance of Whitehead torsion, Amer

    [Cha74] Thomas A. Chapman,Topological invariance of Whitehead torsion, Amer. J. Math.96(1974), 488–497. [CN72] Philippe Cassou-Nogu` es,Classes d’id´ eaux de l’alg` ebre d’un groupe ab´ elien, Ph.D. Thesis,

    work page 1974

  6. [6]

    [CN74] Philippe Cassou-Nogu` es,Classes d’id´ eaux de l’alg` ebre d’un groupe ab´ elien, Journ´ ees Arithm´ etiques (Grenoble, 1973), 1974, pp. 23–32. Bull. Soc. Math. France, M´ em. No

    work page 1973

  7. [7]

    Thomas Farrell,The nonfiniteness of Nil, Proc

    [Far77] F. Thomas Farrell,The nonfiniteness of Nil, Proc. Amer. Math. Soc.65(1977), no. 2, 215–216. [FQ90] Michael Freedman and Frank Quinn,Topology of4-manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press,

    work page 1977

  8. [8]

    Reine Angew

    54 CSABA NAGY, JOHN NICHOLSON, AND MARK POWELL [Fr¨ o75] Albrecht Fr¨ ohlich,Locally free modules over arithmetic orders, J. Reine Angew. Math.274(275)(1975), 112–124. [Fri81] Eduardo C. Friedman,Ideal class groups in basicZ p1 × · · · ×Z ps-extensions of abelian number fields, Invent. Math.65(1981/82), no. 3, 425–440. [Han51] Olof Hanner,Some theorems on...

    work page 1975

  9. [9]

    4, 465–477

    [Hor89] Kuniaki Horie,On the class numbers of cyclotomic fields, Manuscripta Math.65(1989), no. 4, 465–477. [Hor93] Kuniaki Horie,On the exponents of ideal class groups of cyclotomic fields, Proc. Amer. Math. Soc.119 (1993), no. 4, 1049–1052. [HW54] Godfrey Harold Hardy and Edward Maitland Wright,An introduction to the theory of numbers, Oxford, at the Cl...

    work page 1989

  10. [10]

    [IN12] Humio Ichimura and Shoichi Nakajima,On the 2-part of the class numbers of cyclotomic fields of prime power conductors, J

    3rd ed. [IN12] Humio Ichimura and Shoichi Nakajima,On the 2-part of the class numbers of cyclotomic fields of prime power conductors, J. Math. Soc. Japan64(2012), no. 1, 317–342. [JK15] Bjorn Jahren and Slawomir Kwasik,How different canh-cobordant manifolds be?, Bull. Lond. Math. Soc.47(2015), no. 4, 617–630. [JK17] Bjorn Jahren and Slawomir Kwasik,Whiteh...

    work page 2012

  11. [11]

    Whitehead torsion of inertial h-cobordisms

    Preprint arXiv:1711.04546. [JK18] Bjorn Jahren and Slawomir Kwasik,Whitehead torsion of inertialh-cobordisms, Topology Appl.249 (2018), 150–159. [Kha17] Qayum Khan,Free transformations ofS 1 ×S n of square-free odd period, Indiana Univ. Math. J.66 (2017), no. 5, 1453–1482. [KM77] Michel A. Kervaire and M. Pavaman Murthy,On the projective class group of cy...

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    [KPR22] Daniel Kasprowski, Mark Powell, and Arunima Ray,Counterexamples in 4-manifold topology, EMS Surv. Math. Sci.9(2022), no. 1, 193–249. [Kre85] Matthias Kreck,An extension of results of Browder, Novikov and Wall about surgery on compact mani- folds,

    work page 2022

  13. [13]

    Pro- ceedings of the school on high-dimensional manifold topology, Trieste, Italy, 2002, pp

    [L¨ uc02] Wolfgang L¨ uck,A basic introduction to surgery theory, Topology of high-dimensional manifolds. Pro- ceedings of the school on high-dimensional manifold topology, Trieste, Italy, 2002, pp. 1–224. [Mar75] Robert D. Martin,Nilgroups of finite abelian groups, Ph.D. Thesis,

    work page 2002

  14. [14]

    [Maz63] Barry Mazur,Relative neighborhoods and the theorems of Smale, Ann

    Available at https://www.maths.gla.ac.uk/~mpowell/Martin-thesis.pdfhttps://www.maths.gla.ac.uk/~mpowell/Martin-thesis.pdf. [Maz63] Barry Mazur,Relative neighborhoods and the theorems of Smale, Ann. of Math. (2)77(1963), 232–249. [Mil65] John Milnor,Lectures on theh-cobordism theorem, Princeton University Press, Princeton, N.J.,

    work page 1963

  15. [15]

    Siebenmann and J

    Notes by L. Siebenmann and J. Sondow. [Mil66] John Milnor,Whitehead torsion, Bull. Amer. Math. Soc.72(1966), 358–426. [MM76] J. Myron Masley and Hugh L. Montgomery,Cyclotomic fields with unique factorization, J. Reine Angew. Math.286(287)(1976), 248–256. [Moi52] Edwin E. Moise,Affine structures in3-manifolds. V. The triangulation theorem and Hauptvermutun...

    work page 1966

  16. [16]

    [Oli88] Robert Oliver,Whitehead groups of finite groups, London Mathematical Society Lecture Note Series, vol

    Preprint arXiv:2108.02220, to appear in Mathematische Annalen. [Oli88] Robert Oliver,Whitehead groups of finite groups, London Mathematical Society Lecture Note Series, vol. 132, Cambridge University Press, Cambridge,

    work page arXiv

  17. [17]

    [Ran02] Andrew Ranicki,Algebraic and geometric surgery, Oxford Math

    [Rad26] Tibor Rad´ o,¨Uber den Begriff der Riemannschen Fl¨ ache, Acta Szeged2(1926), 101–121. [Ran02] Andrew Ranicki,Algebraic and geometric surgery, Oxford Math. Monogr., Oxford: Oxford University Press,

    work page 1926

  18. [18]

    [Ran80] Andrew Ranicki,The algebraic theory of surgery. I. Foundations, Proc. London Math. Soc. (3)40 (1980), no. 1, 87–192. [Ran86] Andrew Ranicki,Algebraic and geometric splittings of theK- andL-groups of polynomial extensions, Transformation groups, Pozna´ n 1985, 1986, pp. 321–363. [Rei35] Kurt Reidemeister,Homotopieringe und Linsenr¨ aume, Abh. Math....

    work page 1980

  19. [19]

    [Rim59] Dock Sang Rim,Modules over finite groups, Ann. of Math. (2)69(1959), 700–712. [RS82] Colin P. Rourke and Brian J. Sanderson,Introduction to piecewise-linear topology, Springer Study Edi- tion, Springer-Verlag, Berlin-New York,

    work page 1959

  20. [20]

    Comp.67(1998), no

    SIMPLE HOMOTOPY TYPES OF EVEN DIMENSIONAL MANIFOLDS 55 [Sch98] Ren´ e Schoof,Minus class groups of the fields of thelth roots of unity, Math. Comp.67(1998), no. 223, 1225–1245. [Ser79] Jean-Pierre Serre,Local fields, Graduate Texts in Mathematics, vol. 67, Springer-Verlag, New York- Berlin,

    work page 1998

  21. [21]

    [Sha69] Julius L

    Translated from the French by Marvin Jay Greenberg. [Sha69] Julius L. Shaneson,Wall’s surgery obstruction groups forG×Z, Ann. of Math. (2)90(1969), 296–334. [Sma61] Stephen Smale,Generalized Poincar´ e’s conjecture in dimensions greater than four, Ann. of Math. (2) 74(1961), 391–406. [Sma62] Stephen Smale,On the structure of manifolds, Amer. J. Math.84(19...

    work page 1969

  22. [22]

    Swan,Induced representations and projective modules, Ann

    [Swa60] Richard G. Swan,Induced representations and projective modules, Ann. of Math. (2)71(1960), 552–578. [Swa70] Richard G. Swan,K-theory of finite groups and orders, Lecture Notes in Mathematics, Vol. 149, Springer- Verlag, Berlin-New York,

    work page 1960

  23. [23]

    Swan,Strong approximation and locally free modules, Ring theory and algebra, III (Proc

    [Swa80] Richard G. Swan,Strong approximation and locally free modules, Ring theory and algebra, III (Proc. Third Conf., Univ. Oklahoma, Norman, Okla., 1979), 1980, pp. 153–223. [TS33] William Threlfall and Herbert Seifert,Topologische Untersuchung der Diskontinuit¨ atsbereiche endlicher Bewegungsgruppen des dreidimensionalen sph¨ arischen Raumes (Schluß),...

    work page 1979

  24. [24]

    Available at www.map.mpim-bonn.mpg.de/Lens_spaces_in_dimension_three:_a_historywww.map.mpim-bonn.mpg.de/Lens_spaces_in_dimension_three:_a_history

    [Vol13] Klaus Volkert,Lens spaces in dimension 3: a history, Bulletin of the Manifold Atlas (2013). Available at www.map.mpim-bonn.mpg.de/Lens_spaces_in_dimension_three:_a_historywww.map.mpim-bonn.mpg.de/Lens_spaces_in_dimension_three:_a_history. [Wal74] C. Terence C. Wall,Norms of units in group rings, Proc. London Math. Soc. (3)29(1974), 593–632. [Wal99...

    work page 2013

  25. [25]

    Edited and with a foreword by A. A. Ranicki. [Was75] Lawrence C. Washington,Class numbers andZ p-extensions, Math. Ann.214(1975), 177–193. [Was97] Lawrence C. Washington,Introduction to cyclotomic fields, Second, Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York,

    work page 1975

  26. [26]

    Lower algebraicK-theory of hyperbolic 3-simplex reflection groups

    Addendum to “Lower algebraicK-theory of hyperbolic 3-simplex reflection groups” by J.-F. Lafont and I. J. Ortiz, Comment. Math. Helv.84 (2009), no. 2, 339–349. [Wei13] Charles A. Weibel,TheK-book: an introduction to algebraicK-theory, Graduate Studies in Mathematics, vol. 145, American Mathematical Society, Providence, RI,

    work page 2009

  27. [27]

    [Wes77] James West,Mapping Hilbert cube manifolds to ANR’s: a solution of a conjecture of Borsuk, Ann. of Math. (2)106(1977), no. 1, 1–18. [Whi39] J. Henry C. Whitehead,Simplicial Spaces, Nuclei and m-Groups, Proc. London Math. Soc. (2)45(1939), no. 4, 243–327. [Whi41] J. Henry C. Whitehead,On incidence matrices, nuclei and homotopy types, Ann. of Math. (...

    work page 1977