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

Samuel Kalu\v{z}n\'y, Tibor Macko

Pith reviewed 2026-05-08 16:31 UTC · model grok-4.3

classification 🧮 math.AT math.GT

keywords surgery structure setscomplex projective spacessmooth manifoldstopological manifoldsfree subgroupforgetful maphigh dimensional topologyhomotopy equivalences

0 comments

The pith

The free subgroups of higher smooth surgery structure sets for complex projective spaces are determined in all dimensions.

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

This paper computes the free part of the higher smooth surgery structure sets of complex projective spaces in every dimension. It also determines the forgetful map from smooth to topological versions in low dimensions. A sympathetic reader would care because these sets classify smooth manifolds homotopy equivalent to complex projective spaces, which refines the classification of high-dimensional manifolds via surgery theory. The computations isolate the free subgroup separately from torsion, with the latter deferred to a sequel.

Core claim

We determine the higher smooth surgery structure sets of complex projective spaces up to some extension problems, and the forgetful map to their topological versions in low dimensions. In this part, we concentrate on the free subgroup, where we obtain information in all dimensions.

What carries the argument

The surgery exact sequence applied to complex projective spaces, with separation of the free subgroup from torsion.

Load-bearing premise

The standard surgery exact sequence applies to complex projective spaces and allows the free subgroup to be isolated independently of torsion and extension problems.

What would settle it

A direct computation in some dimension n showing that the rank of the free subgroup in the smooth structure set differs from the value predicted by the surgery sequence.

read the original abstract

This is the first of the two articles where we determine the higher smooth surgery structure sets of complex projective spaces (up to some extension problems) and the forgetful map to their topological versions in low dimensions. In this part, we concentrate on the free subgroup, where we obtain information in all dimensions. In the second part, we study the torsion.

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.

Desk Editor's Note private letter to a colleague

This paper computes the free subgroup of the higher smooth surgery structure sets for complex projective spaces in all dimensions, plus the forgetful map in low dimensions, by isolating it via the surgery exact sequence.

read the letter

The main point here is that the authors compute the free subgroup of the higher smooth surgery structure sets for complex projective spaces in all dimensions, and they also get the forgetful map to the topological structure sets in low dimensions. This is part one, with torsion coming in part two. They achieve this by using the surgery exact sequence and focusing on the free part, which allows them to get results across all dimensions without getting stuck on torsion or extensions right away. This extends earlier calculations that were available for the topological case, so the new contribution is the smooth version and the broader dimensional coverage. The paper does a good job of delivering these specific determinations, which provide concrete information for classifying smooth manifolds homotopy equivalent to CP^n. That kind of explicit data is what people in the field use to make progress on classification problems. Where it is softer is in the fact that the full structure sets still have some extension problems unresolved in this part, and the torsion subgroup is deferred. Readers will have to wait for part II to see the complete picture. The work relies on the standard assumptions that the surgery sequence applies to these spaces and that the free subgroup can be handled separately, which is common but means the results are only as strong as those underlying maps and groups. If the paper includes detailed calculations and checks against known cases in low dimensions, that would strengthen it. This paper is really for researchers working in algebraic topology and geometric topology, particularly those focused on surgery theory and structure sets. Someone outside that subfield probably won't get much out of it, but within it, the results add useful data points. It deserves a serious referee because the computations appear to be a solid extension of existing literature and fill in missing information on the smooth side. My recommendation is to send it for peer review. The topic is specialized, but the approach is standard and the claims are specific enough that referees can evaluate the details properly.

Referee Report

0 major / 3 minor

Summary. The paper is the first of two parts computing the higher smooth surgery structure sets of complex projective spaces CP^n (up to extension problems) together with the forgetful map to the corresponding topological surgery structure sets in low dimensions. Part I isolates and determines the free subgroup of these structure sets in all dimensions via the surgery exact sequence, deferring torsion and extension issues to Part II.

Significance. If the computations hold, the work supplies explicit information on the free part of the smooth structure sets for CP^n in every dimension, which is a concrete advance in geometric topology. Such computations feed directly into questions about the homotopy type of diffeomorphism groups and the smooth classification of manifolds homotopy equivalent to CP^n. The clean separation of the free summand from torsion is a standard and effective technique in surgery theory, and obtaining results valid in all dimensions strengthens the contribution.

minor comments (3)

The abstract and introduction should state the precise range of dimensions in which the forgetful map to the topological structure set is computed, rather than the vague phrase 'in low dimensions'.
Notation for the surgery structure sets (e.g., S^s_*(CP^n)) and the exact sequence maps should be fixed consistently from the first appearance; occasional shifts between S and S^s appear in the text.
A brief comparison table or explicit statement of how the new free-part results recover or extend known low-dimensional cases (n ≤ 4) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its scope as Part I (isolating the free subgroup via the surgery exact sequence in all dimensions), and the recommendation for minor revision. The significance for questions about diffeomorphism groups and smooth classification of manifolds homotopy equivalent to CP^n is well noted.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract and context describe a standard application of the surgery exact sequence to compute the free subgroup of the higher smooth surgery structure sets of complex projective spaces, with torsion and extensions deferred to part II. No equations, fitted parameters, self-citations, or ansatzes are exhibited that reduce any claimed prediction or derivation to the inputs by construction. The separation into free and torsion parts follows established techniques in geometric topology and remains independent of the present paper's results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract. The work presumably rests on the standard axioms of surgery theory and algebraic topology, but these cannot be audited without the full text.

pith-pipeline@v0.9.0 · 5345 in / 1063 out tokens · 68222 ms · 2026-05-08T16:31:14.626722+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 3 canonical work pages · 1 internal anchor

[1]

2002 , publisher=

Algebraic and geometric surgery , author=. 2002 , publisher=

2002
[2]

2025 , howpublished =

Basu, Samik and Kasilingam, Ramesh and Sarkar, Ankur , title =. 2025 , howpublished =

2025
[3]

2021 , publisher =

Chang, Stanley and Weinberger, Shmuel , title =. 2021 , publisher =. doi:10.1515/9780691200354 , keywords =

work page doi:10.1515/9780691200354 2021
[4]

Kalužný, Samuel and Macko, Tibor , title =
[5]

Topology , volume=

The Adams conjecture , author=. Topology , volume=
[6]

Levine, J. P. , title =. 1985 , howpublished =

1985
[7]

2008 , publisher=

K-Theory: An Introduction , author=. 2008 , publisher=

2008
[8]

, journal =

Brumfiel, G. , journal =. Homotopy equivalences of almost smooth manifolds , year =
[9]

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

Ramesh Kasilingam , year=. Diffeomorphism Classification of Smooth Structures and Tangential Homotopy Types of. 2604.27521 , archivePrefix=

work page internal anchor Pith review Pith/arXiv arXiv
[10]

1974 , publisher=

Characteristic classes , author=. 1974 , publisher=

1974
[11]

Feder and S

S. Feder and S. Gitler , journal =. The Classification of Stunted Projective Spaces by Stable Homotopy Type , volume =
[12]

James , publisher =

Madsen, Ib and Milgram, R. James , publisher =. The classifying spaces for surgery and cobordism of manifolds , year =
[13]

, journal =

Little, Robert D. , journal =. Homotopy complex projective spaces with divisible splitting invariants , year =
[14]

, publisher =

Browder, William. , publisher =. Surgery on simply-connected manifolds. , year =
[15]

Fujii, Michikazu , journal=
[16]

Mathematical Proceedings of the Cambridge Philosophical Society , author=

On complex. Mathematical Proceedings of the Cambridge Philosophical Society , author=. 1965 , pages=

1965
[17]

Topology , volume =

On the groups. Topology , volume =. 1963 , author =

1963
[18]

Topology , volume =

On the groups. Topology , volume =. 1965 , author =

1965
[19]

1966 , author =

On the groups J(X)—IV , journal =. 1966 , author =

1966
[20]

1962 , author =

Vector fields on spheres , journal =. 1962 , author =

1962
[21]

, note =

Brumfiel, G. , note =. Differentiable
[22]

Surveys on surgery theory, Vol

Weiss, Michael and Williams, Bruce , title =. Surveys on surgery theory, Vol. 2 , publisher =. 2001 , volume =

2001
[23]

Wall, C. T. C. , TITLE =. 1999 , PAGES =

1999
[24]

Ranicki, A. A. , TITLE =. 2002 , PAGES =

2002
[25]

Ranicki, A. A. , TITLE =. 1981 , PAGES =

1981
[26]

Surgery theory

L. Surgery theory. 2024 , publisher =. doi:10.1007/978-3-031-56334-8 , keywords =

work page doi:10.1007/978-3-031-56334-8 2024