## On manifolds with the homotopy type of complex projective space

HTML articles powered by AMS MathViewer

- by Bruce Conrad PDF
- Trans. Amer. Math. Soc.
**176**(1973), 165-180 Request permission

## Abstract:

It is known that in every even dimension greater than four there are infinitely many nonhomeomorphic smooth manifolds with the homotopy type of complex projective space. In this paper we provide an explicit construction of homotopy complex projective spaces. Our initial data will be a manifold*X*with the homotopy type of ${\mathbf {C}}{{\mathbf {P}}^3}$ and an embedding ${\gamma _3}:{S^5} \to {S^7}$ . A homotopy 7-sphere ${\Sigma ^7}$ is constructed and an embedding ${\gamma _4}:{\Sigma ^7} \to {S^9}$ may be chosen. The procedure continues inductively until either an obstruction or the desired dimension is reached; in the latter case the final obstruction is the class of ${\Sigma ^{2n - 1}}$ in ${\Theta _{2n - 1}}$. Should this obstruction vanish, the final choice is of a diffeomorphism ${\gamma _n}:{\Sigma ^{2n - 1}} \to {S^{2n - 1}}$. There results a manifold, denoted $(X,{\gamma _3}, \cdots ,{\gamma _{n - 1}},{\gamma _n})$, with the homotopy type of ${\mathbf {C}}{{\mathbf {P}}^n}$. We describe the obstructions encountered, but are able to evaluate only the primary ones. It is shown that every homotopy complex projective space may be so constructed, and in terms of this construction, necessary and sufficient conditions for two homotopy complex projective spaces to be diffeomorphic are stated.

## References

- Glen E. Bredon,
*A $\Pi _\ast$-module structure for $\Theta _\ast$ and applications to transformation groups*, Ann. of Math. (2)**86**(1967), 434–448. MR**221518**, DOI 10.2307/1970609 - E. Brieskorn and A. van de Ven,
*Some complex structures on products of homotopy spheres*, Topology**7**(1968), 389–393. MR**233360**, DOI 10.1016/0040-9383(68)90014-1 - William Browder,
*Diffeomorphisms of $1$-connected manifolds*, Trans. Amer. Math. Soc.**128**(1967), 155–163. MR**212816**, DOI 10.1090/S0002-9947-1967-0212816-0
G. Brumfiel, - R. De Sapio,
*Differential structures on a product of spheres. II*, Ann. of Math. (2)**89**(1969), 305–313. MR**246307**, DOI 10.2307/1970670
A. Haefliger, - André Haefliger,
*Differential embeddings of $S^{n}$ in $S^{n+q}$ for $q>2$*, Ann. of Math. (2)**83**(1966), 402–436. MR**202151**, DOI 10.2307/1970475 - Morris W. Hirsch,
*Obstruction theories for smoothing manifolds and maps*, Bull. Amer. Math. Soc.**69**(1963), 352–356. MR**149493**, DOI 10.1090/S0002-9904-1963-10917-9 - Wu-chung Hsiang,
*A note on free differentiable actions of $S^{1}$ and $S^{3}$ on homotopy spheres*, Ann. of Math. (2)**83**(1966), 266–272. MR**192506**, DOI 10.2307/1970431 - Wu-chung Hsiang and Wu-yi Hsiang,
*Some free differentiable actions of $S^{1}$ and $S^{3}$ on $11$-spheres*, Quart. J. Math. Oxford Ser. (2)**15**(1964), 371–374. MR**173266**, DOI 10.1093/qmath/15.1.371 - Michel A. Kervaire,
*On higher dimensional knots*, Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), Princeton Univ. Press, Princeton, N.J., 1965, pp. 105–119. MR**0178475** - Michel A. Kervaire and John W. Milnor,
*Groups of homotopy spheres. I*, Ann. of Math. (2)**77**(1963), 504–537. MR**148075**, DOI 10.1090/S0273-0979-2015-01504-1 - J. Levine,
*Knot cobordism groups in codimension two*, Comment. Math. Helv.**44**(1969), 229–244. MR**246314**, DOI 10.1007/BF02564525 - D. Montgomery and C. T. Yang,
*Differentiable actions on homotopy seven spheres*, Trans. Amer. Math. Soc.**122**(1966), 480–498. MR**200934**, DOI 10.1090/S0002-9947-1966-0200934-1 - Deane Montgomery and C. T. Yang,
*Free differentiable actions on homotopy spheres*, Proc. Conf. on Transformation Groups (New Orleans, La., 1967) Springer, New York, 1968, pp. 175–192. MR**0245042** - Reinhard Schultz,
*The nonexistence of free $S^{1}$ actions on some homotopy spheres*, Proc. Amer. Math. Soc.**27**(1971), 595–597. MR**271985**, DOI 10.1090/S0002-9939-1971-0271985-3
D. Sullivan, - C. T. C. Wall,
*An extension of results of Novikov and Browder*, Amer. J. Math.**88**(1966), 20–32. MR**212826**, DOI 10.2307/2373044 - Bruce Conrad,
*Extending free circle actions on spheres to $S^{3}$ actions*, Proc. Amer. Math. Soc.**27**(1971), 168–174. MR**275470**, DOI 10.1090/S0002-9939-1971-0275470-4

*Differentiable*${S^1}$

*actions on homotopy spheres*, Berkeley (preprint).

*Sphéres d’homotopie noueés*, Séminaire Bourbaki 1964/65, Exposé 280, Benjamin, New York, 1966. MR

**33**#54201.

*Triangulating and smoothing homotopy equivalences and homeomorphisms*, Geometric Topology Seminar Notes, Princeton University, Princeton, N. J., 1967.

## Additional Information

- © Copyright 1973 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**176**(1973), 165-180 - MSC: Primary 57D10
- DOI: https://doi.org/10.1090/S0002-9947-1973-0314063-3
- MathSciNet review: 0314063