pith. machine review for the scientific record. sign in

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

Recognition: unknown

Diffeomorphism Classification of Smooth Structures and Tangential Homotopy Types of mathbb{C}P^m for 5 le m le 8

Ramesh Kasilingam
Authors on Pith no claims yet

Pith reviewed 2026-05-07 08:58 UTC · model grok-4.3

classification 🧮 math.AT
keywords diffeomorphism classificationsmooth structurescomplex projective spacetangential homotopy typeconcordance classessurgery exact sequencestable homotopy theory
0
0 comments X

The pith

Smooth manifolds tangentially homotopy equivalent to CP^4 are unique up to diffeomorphism, while exactly two exist for CP^8.

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

The paper computes the group of concordance classes of smooth structures on CP^m and the orbits under the action of self-homeomorphisms to classify all diffeomorphism types of manifolds homeomorphic to CP^m for m=5,6,7,8. It then applies the tangential surgery exact sequence together with stable homotopy methods to determine the full set of smooth manifolds in the tangential homotopy type of CP^m for m=4 to 8. A sympathetic reader would care because these results separate the standard complex projective space from other smooth realizations that share its homotopy data but differ in differentiable structure.

Core claim

The diffeomorphism classification of smooth manifolds homeomorphic to CP^m for m in {5,6,7,8} is obtained by determining the concordance group of smooth structures and taking the quotient by the action of the group of self-homeomorphisms; using the tangential surgery exact sequence, the same data yields that exactly one smooth manifold is tangentially homotopy equivalent to CP^4 but not homeomorphic to it, and exactly two pairwise non-diffeomorphic smooth manifolds are tangentially homotopy equivalent to CP^8 but not homeomorphic to it.

What carries the argument

The group of concordance classes of smooth structures on CP^m together with the tangential surgery exact sequence, which converts the computed group and its homeomorphism orbits into the set of diffeomorphism classes within each tangential homotopy type.

If this is right

  • The diffeomorphism classes of smooth manifolds homeomorphic to CP^m are completely determined for each m from 5 to 8.
  • The tangential homotopy type of CP^4 contains exactly one smooth manifold not homeomorphic to the standard CP^4.
  • The tangential homotopy type of CP^8 contains exactly two smooth manifolds not homeomorphic to the standard CP^8.
  • The natural map from homeomorphism types to tangential homotopy types can be analyzed explicitly in these dimensions via the surgery sequence.

Where Pith is reading between the lines

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

  • The same concordance and surgery methods could be tested on CP^m for m>8 once the relevant homotopy groups are known.
  • The distinction between homeomorphism type and tangential homotopy type may appear in other simply connected manifolds whose homotopy data is controlled by stable stems.
  • If the concordance computations rely on specific stable homotopy data, the results for m=4 and m=8 suggest a pattern tied to the periodicity or vanishing of certain groups in those dimensions.

Load-bearing premise

The computed values of the concordance groups of smooth structures on CP^m and the corresponding orbit spaces under self-homeomorphisms are correct, and the tangential surgery exact sequence has no extra obstructions in these dimensions.

What would settle it

An explicit construction or independent calculation producing three or more pairwise non-diffeomorphic smooth manifolds that are tangentially homotopy equivalent to CP^8 but not homeomorphic to it would show the count of two is incorrect.

read the original abstract

This paper provides a diffeomorphism classification of smooth manifolds homeomorphic to the complex projective space $\mathbb{C}P^m$ for $m \in \{5, 6, 7, 8\}$. The classification is obtained by computing the group of concordance classes of smooth structures on $\mathbb{C}P^m$ and determining the orbit space under the action induced by the group of self-homeomorphisms. Using these computations in conjunction with the tangential surgery exact sequence and techniques from stable homotopy theory, we determine the diffeomorphism classes of smooth manifolds within the tangential homotopy type of $\mathbb{C}P^m$ for $4 \le m \le 8$. We also investigate the relationship between these two classification problems by studying the natural map from the homeomorphism type to the tangential homotopy type. As a consequence, we prove that for $m = 4$, there exists a unique smooth manifold, up to diffeomorphism, that is tangentially homotopy equivalent to $\mathbb{C}P^4$ but not homeomorphic to it. Furthermore, for $m = 8$, there exist exactly two pairwise non-diffeomorphic smooth manifolds that are tangentially homotopy equivalent to $\mathbb{C}P^8$ but not homeomorphic to it.

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

1 major / 1 minor

Summary. The paper computes the group of concordance classes of smooth structures on CP^m for m=5,6,7,8 together with the orbit space under the action of self-homeomorphisms. These are fed into the tangential surgery exact sequence (combined with stable homotopy theory) to classify diffeomorphism classes of smooth manifolds in the tangential homotopy type of CP^m for 4 ≤ m ≤ 8. As consequences it asserts a unique non-homeomorphic tangential homotopy equivalent smooth manifold for m=4 and exactly two pairwise non-diffeomorphic ones for m=8.

Significance. If the explicit values of the relevant stable homotopy and bordism groups in dimensions 8–16 are correct and the tangential surgery sequence applies without extra obstructions, the results supply concrete, falsifiable counts of exotic smooth structures on CP^m in a range where such computations remain feasible but non-trivial. This advances the dictionary between homeomorphism types and tangential homotopy types for these spaces.

major comments (1)
  1. The cardinalities asserted for m=4 and m=8 rest entirely on the accuracy of the computed concordance group and the Homeo-orbit space; any miscalculation in the stable homotopy groups (or in the exactness of the tangential surgery sequence for these tangential data) would change the reported numbers. The manuscript must therefore exhibit the explicit group computations or tables for the relevant homotopy groups in the stable range up to dimension 16.
minor comments (1)
  1. The abstract summarizes the methods but supplies no numerical data or intermediate results, forcing the reader to consult the full text for verification of the load-bearing calculations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for their positive evaluation of its significance. We address the major comment point by point below and have revised the manuscript accordingly to improve the presentation of the computations.

read point-by-point responses

  1. Referee: The cardinalities asserted for m=4 and m=8 rest entirely on the accuracy of the computed concordance group and the Homeo-orbit space; any miscalculation in the stable homotopy groups (or in the exactness of the tangential surgery sequence for these tangential data) would change the reported numbers. The manuscript must therefore exhibit the explicit group computations or tables for the relevant homotopy groups in the stable range up to dimension 16.

    Authors: We agree that the cardinalities for m=4 and m=8 depend on the accuracy of the concordance groups, the Homeo-orbit spaces, the stable homotopy groups, and the applicability of the tangential surgery sequence. The original manuscript computes these quantities in Sections 3--5 by combining known stable homotopy data (Toda's tables and subsequent computations) with explicit bordism calculations in dimensions up to 16. To make verification straightforward, we have added two new tables: one summarizing the stable homotopy groups π_k^s for k ≤ 16 together with the relevant framed bordism groups, and a second listing the resulting concordance groups Θ(CP^m) and the Homeo-orbits for m=4 to 8. We have also inserted a short paragraph confirming that the tangential surgery sequence is exact in this range because the relevant obstruction groups (involving π_{k+1}(G/O)) vanish for the tangential data of CP^m. These additions allow direct checking of the reported counts (one non-homeomorphic tangential homotopy type for m=4 and two for m=8) without altering any of the original numerical results. revision: yes

Circularity Check

0 steps flagged

No circularity; derivations use external surgery and homotopy tools.

full rationale

The paper obtains its classification by computing concordance classes of smooth structures on CP^m and their orbits under self-homeomorphisms, then feeding these into the tangential surgery exact sequence together with stable homotopy theory. These are standard external frameworks (not redefined or fitted within the paper). No step equates a claimed output to an input by construction, no load-bearing self-citation chain appears, and the central claims for m=4 and m=8 follow from applying the external sequence rather than from renaming or self-definition. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established tools from surgery theory and homotopy theory without introducing new free parameters or entities; the main work is in computing specific groups for these dimensions.

axioms (2)
  • domain assumption The tangential surgery exact sequence holds for these manifolds
    Invoked to determine the diffeomorphism classes from concordance classes.
  • domain assumption Stable homotopy theory computations are accurate for the relevant groups
    Used in conjunction with surgery to classify structures.

pith-pipeline@v0.9.0 · 5530 in / 1489 out tokens · 45095 ms · 2026-05-07T08:58:38.912006+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Higher Smooth Surgery Structure Sets of Complex Projective Spaces, Part I

    math.AT 2026-05 unverdicted novelty 6.0

    The free subgroup of higher smooth surgery structure sets of complex projective spaces is determined in all dimensions up to extension problems, together with the forgetful map to topological versions in low dimensions.

Reference graph

Works this paper leans on

64 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    J. F. Adams, On the groupsJ(X). IV,Topology5(1966), 21–71

    1966

  2. [2]

    Basu and R

    S. Basu and R. Kasilingam, Inertia groups of high-dimensional complex projective spaces,Algebr. Geom. Topol.18(2018), 387–408

    2018

  3. [3]

    S. Basu, R. Kasilingam, and A. Sarkar, Smooth structures onM×S k,Quart. J. Math., to appear (2025)

    2025

  4. [4]

    Belegradek, S

    I. Belegradek, S. Kwasik, and R. Schultz, Codimension two souls and cancellation phenomena,Adv. Math.275(2015), 1–46

    2015

  5. [5]

    J. M. Boardman and R. M. Vogt,Homotopy Invariant Algebraic Structures on Topological Spaces, Lecture Notes in Mathematics347, Springer–Verlag, Berlin, 1973

    1973

  6. [6]

    Browder, Diffeomorphisms of 1-connected manifolds,Ann

    W. Browder, Diffeomorphisms of 1-connected manifolds,Ann. of Math. (2)82(1965), 539–559

    1965

  7. [7]

    Browder, Surgery and the theory of differentiable transformation groups, inProc

    W. Browder, Surgery and the theory of differentiable transformation groups, inProc. Conf. on Trans- formation Groups(New Orleans, La., 1967), Springer–Verlag, Berlin, 1968, pp. 1–46

    1967

  8. [8]

    Browder, The Kervaire invariant of framed manifolds and its generalization,Annals of Mathematics, 90 (1969), no

    W. Browder, The Kervaire invariant of framed manifolds and its generalization,Annals of Mathematics, 90 (1969), no. 1, 157–186

    1969

  9. [9]

    Behrens, M

    M. Behrens, M. Hill, M. J. Hopkins, and M. Mahowald, Detecting exotic spheres in low dimensions using cokerJ,Journal of the London Mathematical Society, 101 (2020), no. 3, 1173–1218. arXiv:1708.06854

    work page arXiv 2020

  10. [10]

    Browder,Surgery on Simply-Connected Manifolds, Ergebnisse der Mathematik und ihrer Grenzge- biete, Band 65, Springer–Verlag, New York–Heidelberg, 1972

    W. Browder,Surgery on Simply-Connected Manifolds, Ergebnisse der Mathematik und ihrer Grenzge- biete, Band 65, Springer–Verlag, New York–Heidelberg, 1972

    1972

  11. [11]

    Brumfiel, DifferentiableS 1-actions on homotopy spheres, mimeographed notes, University of Cali- fornia, Berkeley, 1968

    G. Brumfiel, DifferentiableS 1-actions on homotopy spheres, mimeographed notes, University of Cali- fornia, Berkeley, 1968

    1968

  12. [12]

    Brumfiel, On the homotopy groups of BPL and PL/O,Ann

    G. Brumfiel, On the homotopy groups of BPL and PL/O,Ann. of Math. (2)88(1968), 291–311

    1968

  13. [13]

    Brumfiel, On the homotopy groups of BPL and PL/O

    G. Brumfiel, On the homotopy groups of BPL and PL/O. II,Topology8(1969), 305–311

    1969

  14. [14]

    Brumfiel, Homotopy equivalences of almost smooth manifolds,Comment

    G. Brumfiel, Homotopy equivalences of almost smooth manifolds,Comment. Math. Helv.46(1971), 381–407

    1971

  15. [15]

    Brumfiel, I

    G. Brumfiel, I. Madsen, and R. J. Milgram, PL characteristic classes and cobordism,Ann. of Math. (2) 97(1973), no. 1, 82–159

    1973

  16. [16]

    Crowley, The smooth structure set ofS p ×S q,Geom

    D. Crowley, The smooth structure set ofS p ×S q,Geom. Dedicata148(2010), 15–33

    2010

  17. [17]

    Crowley and I

    D. Crowley and I. Hambleton, Finite group actions on Kervaire manifolds,Adv. Math.283(2015), 88–129

    2015

  18. [18]

    Crowley, T

    D. Crowley, T. Schick, and W. Steimle, Harmonic spinors and metrics of positive curvature via the Gromoll filtration and Toda brackets,J. Topol.11(2018), no. 4, 1077–1099

    2018

  19. [19]

    F. T. Farrell and L. E. Jones, Complex hyperbolic manifolds and exotic smooth structures,Invent. Math.117(1994), 57–74

    1994

  20. [20]

    Go lasi´ nski, T

    M. Go lasi´ nski, T. de Melo, and E. L. dos Santos, Homotopies of maps of suspended real and complex projective spaces and their cohomotopy groups,Topol. Appl.293(2021), 1–19

    2021

  21. [21]

    D. N. Hertz, Ambient surgery and tangential homotopy equivalences of quaternionic projective spaces, Trans. Amer. Math. Soc.145(1969), 517–545

    1969

  22. [22]

    M. W. Hirsch and B. Mazur,Smoothings of Piecewise Linear Manifolds, Annals of Mathematics Studies 80, Princeton University Press, Princeton, NJ, 1974

    1974

  23. [23]

    Hsiang and W.-Y

    W.-C. Hsiang and W.-Y. Hsiang, Some free differentiable actions ofS 1 andS 3 on 11-spheres,Quart. J. Math. Oxford Ser. (2)15(1964), 371–374. 64 RAMESH KASILINGAM

    1964

  24. [24]

    Hsiang, A note on free differentiable actions ofS 1 andS 3 on homotopy spheres,Ann

    W.-C. Hsiang, A note on free differentiable actions ofS 1 andS 3 on homotopy spheres,Ann. of Math. (2)83(1966), 266–272

    1966

  25. [25]

    Kachi, J

    H. Kachi, J. Mukai, T. Nozaki, Y. Sumita, and D. Tamaki, Some cohomotopy groups of suspended projective planes,Math. J. Okayama Univ.43(2001), 105–121

    2001

  26. [26]

    Kasilingam, Farrell–Jones spheres and inertia groups of complex projective spaces,Forum Math.27 (2015), 3005–3015

    R. Kasilingam, Farrell–Jones spheres and inertia groups of complex projective spaces,Forum Math.27 (2015), 3005–3015

    2015

  27. [27]

    Kasilingam, The classification of smooth structures on a homotopy complex projective space,Proc

    R. Kasilingam, The classification of smooth structures on a homotopy complex projective space,Proc. Indian Acad. Sci. (Math. Sci.)126(2016), 277–281

    2016

  28. [28]

    Kasilingam, Homotopy inertia groups and tangential structures,JP J

    R. Kasilingam, Homotopy inertia groups and tangential structures,JP J. Geom. Topol.20(2017), 91–114

    2017

  29. [29]

    R. Kasilingam,A diffeomorphism classification of smooth structures and tangential homotopy types of CP m for5≤m≤8, arXiv:2402.18914 [math.AT], 2026 (expanded version containing full proofs)

    work page arXiv 2026

  30. [30]

    Kawakubo, Inertia groups of low dimensional complex projective spaces and some free differentiable actions on spheres I,Proc

    K. Kawakubo, Inertia groups of low dimensional complex projective spaces and some free differentiable actions on spheres I,Proc. Japan Acad.44(1968), 873–875

    1968

  31. [31]

    Kawakubo, On the inertia groups of homology tori,J

    K. Kawakubo, On the inertia groups of homology tori,J. Math. Soc. Japan21(1969), no. 1, 37–47

    1969

  32. [32]

    Kawakubo, On homotopy spheres which admit differentiable actions II,Osaka J

    K. Kawakubo, On homotopy spheres which admit differentiable actions II,Osaka J. Math.7(1970), 179–192

    1970

  33. [33]

    M. A. Kervaire and J. W. Milnor, Groups of homotopy spheres I,Ann. of Math. (2)77(1963), 504–537

    1963

  34. [34]

    R. C. Kirby and L. C. Siebenmann,Foundational Essays on Topological Manifolds, Smoothings, and Triangulations, Annals of Mathematics Studies88, Princeton University Press, Princeton, NJ, 1977

    1977

  35. [35]

    N. H. Kuiper and R. K. Lashof, Microbundles and bundles. I. Elementary theory,Invent. Math.1 (1966), 1–17

    1966

  36. [36]

    K. Y. Lam and D. Randall, Vector bundles of low geometric dimension over real projective spaces, Math. Proc. Cambridge Philos. Soc.139(2005), 229–243

    2005

  37. [37]

    Lance, Differentiable structures on manifolds, inSurveys on Surgery Theory, Vol

    T. Lance, Differentiable structures on manifolds, inSurveys on Surgery Theory, Vol. 1, Annals of Mathematics Studies145, Princeton University Press, Princeton, NJ, 2000, pp. 73–104

    2000

  38. [38]

    R. K. Lashof and M. Rothenberg, Microbundles and smoothing,Topology3(1965), 357–388

    1965

  39. [39]

    J. P. Levine, Lectures on groups of homotopy spheres, inAlgebraic and Geometric Topology(New Brunswick, NJ, 1983), Lecture Notes in Math.1126, Springer, Berlin, 1985, pp. 62–95

    1983

  40. [40]

    L¨ uck and T

    W. L¨ uck and T. Macko,Surgery Theory—Foundations, Grundlehren der Mathematischen Wis- senschaften362, Springer, Cham, 2024

    2024

  41. [41]

    Madsen and R

    I. Madsen and R. J. Milgram,The Classifying Spaces for Surgery and Cobordism of Manifolds, Annals of Mathematics Studies92, Princeton University Press, Princeton, NJ, 1979

    1979

  42. [42]

    Madsen, L

    I. Madsen, L. R. Taylor, and B. Williams, Tangential homotopy equivalences,Comment. Math. Helv. 55(1980), 445–484

    1980

  43. [43]

    Mimura and H

    M. Mimura and H. Toda, The (n+20)-th homotopy groups ofn-spheres,J. Math. Kyoto Univ.3(1963), no. 1, 37–58

    1963

  44. [44]

    Montgomery and C

    D. Montgomery and C. T. Yang, Differentiable actions on homotopy seven spheres,Trans. Amer. Math. Soc.122(1966), 480–498

    1966

  45. [45]

    Montgomery and C

    D. Montgomery and C. T. Yang, Free differentiable actions on homotopy spheres, inProc. Conf. on Transformation Groups(New Orleans, La., 1967), Springer, New York, 1968, pp. 175–192

    1967

  46. [46]

    Montgomery and C

    D. Montgomery and C. T. Yang, Differentiable actions on homotopy seven-spheres II, inProc. Conf. on Transformation Groups(New Orleans, La., 1967), Springer, New York, 1968, pp. 125–134

    1967

  47. [47]

    R. E. Mosher, Some stable homotopy of complex projective space,Topology7(1968), 179–193

    1968

  48. [48]

    Mukai, Stable homotopy of some elementary complexes,Mem

    J. Mukai, Stable homotopy of some elementary complexes,Mem. Fac. Sci. Kyushu Univ. Ser. A20 (1966), no. 2, 266–282

    1966

  49. [49]

    Mukai, On the stable homotopy of aZ 2-Moore space,Osaka J

    J. Mukai, On the stable homotopy of aZ 2-Moore space,Osaka J. Math.6(1969), 63–91

    1969

  50. [50]

    Mukai, J., TheS 1-transfer map and homotopy groups of suspended complex projective spaces,Math. J. Okayama Univ., 24 (1982), 179–200

    1982

  51. [51]

    Mukai, Homotopy from the real (n−1)-projective space to thenth rotation group,Kyushu J

    J. Mukai, Homotopy from the real (n−1)-projective space to thenth rotation group,Kyushu J. Math. 54(2000), 423–428

    2000

  52. [52]

    A. C. Naolekar and A. S. Thakur,KO-groups of stunted complex and quaternionic projective spaces, inAlgebraic Topology and Related Topics, Springer, Singapore, 2019, pp. 215–221

    2019

  53. [53]

    Oka, Groups of self-equivalences of certain complexes,Hiroshima Math

    S. Oka, Groups of self-equivalences of certain complexes,Hiroshima Math. J.2(1972), 285–298

    1972

  54. [54]

    A. A. Ranicki,AlgebraicL-Theory and Topological Manifolds, Cambridge Tracts in Mathematics102, Cambridge University Press, Cambridge, 1992

    1992

  55. [55]

    D. C. Ravenel,Complex Cobordism and Stable Homotopy Groups of Spheres, AMS Chelsea Publishing 347, American Mathematical Society, Providence, RI, 2003

    2003

  56. [56]

    Rudyak,Piecewise Linear Structures on Topological Manifolds, World Scientific, Singapore, 2016

    Y. Rudyak,Piecewise Linear Structures on Topological Manifolds, World Scientific, Singapore, 2016. A DIFFEOMORPHISM CLASSIFICATION OFCP m 65

    2016

  57. [57]

    Schultz, On the inertia group of a product of spheres,Trans

    R. Schultz, On the inertia group of a product of spheres,Trans. Amer. Math. Soc.156(1971), 137–153

    1971

  58. [58]

    Schultz, Homology spheres as stationary sets of circle actions,Michigan Math

    R. Schultz, Homology spheres as stationary sets of circle actions,Michigan Math. J.34(1987), no. 2, 183–200

    1987

  59. [59]

    Smale, On the structure of manifolds,Amer

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

    1962

  60. [60]

    Sullivan, Triangulating and smoothing homotopy equivalences and homeomorphisms, in F

    D. Sullivan, Triangulating and smoothing homotopy equivalences and homeomorphisms, in F. Quinn (ed.),The Hauptvermutung Book,K-Monogr. Math.1, Kluwer Academic Publishers, Dordrecht, 1996, pp. 69–103

    1996

  61. [61]

    D. P. Sullivan,Geometric Topology: Localization, Periodicity and Galois Symmetry. The 1970 MIT Notes, Progress in Mathematics8, Birkh¨ auser, Basel, 2005

    1970

  62. [62]

    Toda,Composition Methods in Homotopy Groups of Spheres, Annals of Mathematics Studies49, Princeton University Press, Princeton, NJ, 1962

    H. Toda,Composition Methods in Homotopy Groups of Spheres, Annals of Mathematics Studies49, Princeton University Press, Princeton, NJ, 1962

    1962

  63. [63]

    C. T. C. Wall,Surgery on Compact Manifolds, 2nd ed., edited by A. A. Ranicki, Mathematical Surveys and Monographs69, American Mathematical Society, Providence, RI, 1999

    1999

  64. [64]

    Xu, The strong Kervaire invariant problem in dimension 62,Geometry & Topology, 20 (2016), no

    Z. Xu, The strong Kervaire invariant problem in dimension 62,Geometry & Topology, 20 (2016), no. 3, 1611–1624. Email address:rameshkasilingam.iitb@gmail.com ; rameshk@iitm.ac.in Department of Mathematics, Indian Institute Of Technology, Chennai-600036, India

    2016