The immersion conjecture for $RP^{8l+7}$ is false
HTML articles powered by AMS MathViewer
- by Donald M. Davis and Mark Mahowald
- Trans. Amer. Math. Soc. 236 (1978), 361-383
- DOI: https://doi.org/10.1090/S0002-9947-1978-0646070-X
- PDF | Request permission
Abstract:
Let $\alpha (n)$ denote the number of lβs in the binary expansion of n. It is proved that if $n \equiv 7$ (8), $\alpha (n) = 6$, and $n \ne 63$, then ${\mathbf {R}}{P^n}$ can be immersed in ${{\mathbf {R}}^{2n - 14}}$. This provides the first counterexample to the well-known conjecture that the best immersion is in ${{\mathbf {R}}^{2n - 2\alpha (n) + 1}}$ (when $\alpha (n) \equiv 1$ or $2 \bmod 4$). The method of proof is obstruction theory.References
- J. Frank Adams, Stable homotopy theory, 3rd ed., Lecture Notes in Mathematics, No. 3, Springer-Verlag, Berlin-New York, 1969. Lectures delivered at the University of California at Berkeley, 1961; Notes by A. T. Vasquez. MR 0248815, DOI 10.1007/BFb0103450
- J. F. Adams, On the non-existence of elements of Hopf invariant one, Ann. of Math. (2) 72 (1960), 20β104. MR 141119, DOI 10.2307/1970147
- Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton University Press, Princeton, N. J., 1956. MR 0077480
- Donald Davis, Generalized homology and the generalized vector field problem, Quart. J. Math. Oxford Ser. (2) 25 (1974), 169β193. MR 356053, DOI 10.1093/qmath/25.1.169
- Donald M. Davis and Mark E. Mahowald, The geometric dimension of some vector bundles over projective spaces, Trans. Amer. Math. Soc. 205 (1975), 295β315. MR 372854, DOI 10.1090/S0002-9947-1975-0372854-9
- Donald M. Davis and Mark Mahowald, A strong nonimmersion theorem for $RP^{8l+7}$, Bull. Amer. Math. Soc. 81 (1975), 155β156. MR 405420, DOI 10.1090/S0002-9904-1975-13683-4
- S. Gitler, Immersion and embedding of manifolds, Algebraic topology (Proc. Sympos. Pure Math., Vol. XXII, Univ. Wisconsin, Madison, Wis., 1970) Amer. Math. Soc., Providence, R.I., 1971, pp.Β 87β96. MR 0315726
- S. Gitler and M. Mahowald, The geometric dimension of real stable vector bundles, Bol. Soc. Mat. Mexicana (2) 11 (1966), 85β107. MR 231367
- S. Gitler and M. Mahowald, The immersion of manifolds, Bull. Amer. Math. Soc. 73 (1967), 696β700. MR 214089, DOI 10.1090/S0002-9904-1967-11831-7
- S. Gitler, M. Mahowald, and R. James Milgram, The nonimmersion problem for $RP^{n}$ and higher-order cohomology operations, Proc. Nat. Acad. Sci. U.S.A. 60 (1968), 432β437. MR 227997, DOI 10.1073/pnas.60.2.432
- Nobuo Shimada and Akira Iwai, On the cohomology of some Hopf algebras, Nagoya Math. J. 30 (1967), 103β111. MR 215896, DOI 10.1017/S0027763000012393
- I. M. James, Spaces associated with Stiefel manifolds, Proc. London Math. Soc. (3) 9 (1959), 115β140. MR 102810, DOI 10.1112/plms/s3-9.1.115
- I. M. James, On the immersion problem for real projective spaces, Bull. Amer. Math. Soc. 69 (1963), 231β238. MR 144355, DOI 10.1090/S0002-9904-1963-10930-1
- I. M. James, Euclidean models of projective spaces, Bull. London Math. Soc. 3 (1971), 257β276. MR 298680, DOI 10.1112/blms/3.3.257
- Donald W. Kahn, Induced maps for Postnikov systems, Trans. Amer. Math. Soc. 107 (1963), 432β450. MR 150777, DOI 10.1090/S0002-9947-1963-0150777-X
- R. James Milgram, The Steenrod algebra and its dual for connective $K$-theory, Conference on homotopy theory (Evanston, Ill., 1974) Notas Mat. Simpos., vol. 1, Soc. Mat. Mexicana, MΓ©xico, 1975, pp.Β 127β158. MR 761725
- Mark Mahowald, The metastable homotopy of $S^{n}$, Memoirs of the American Mathematical Society, No. 72, American Mathematical Society, Providence, R.I., 1967. MR 0236923
- R. James Milgram, Immersing projective spaces, Ann. of Math. (2) 85 (1967), 473β482. MR 211412, DOI 10.2307/1970353
- Robert E. Mosher and Martin C. Tangora, Cohomology operations and applications in homotopy theory, Harper & Row, Publishers, New York-London, 1968. MR 0226634 F. Nussbaum, Semi-principal bundles and stable non-orientable obstruction theory, Loyola Univ., Chicago, Ill. (mimeograph), 1973.
- B. J. Sanderson, Immersions and embeddings of projective spaces, Proc. London Math. Soc. (3) 14 (1964), 137β153. MR 165532, DOI 10.1112/plms/s3-14.1.137
- E. H. Spanier, Function spaces and duality, Ann. of Math. (2) 70 (1959), 338β378. MR 107862, DOI 10.2307/1970107
- Robert E. Stong, Determination of $H^{\ast } (\textrm {BO}(k,\cdots ,\infty ),Z_{2})$ and $H^{\ast } (\textrm {BU}(k,\cdots ,\infty ),Z_{2})$, Trans. Amer. Math. Soc. 107 (1963), 526β544. MR 151963, DOI 10.1090/S0002-9947-1963-0151963-5
- Hirosi Toda, Composition methods in homotopy groups of spheres, Annals of Mathematics Studies, No. 49, Princeton University Press, Princeton, N.J., 1962. MR 0143217
- Donald M. Davis and Mark Mahowald, Obstruction theory and $K$-theory, Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977) Lecture Notes in Math., vol. 658, Springer, Berlin, 1978, pp.Β 134β164. MR 513571
Bibliographic Information
- © Copyright 1978 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 236 (1978), 361-383
- MSC: Primary 57D40
- DOI: https://doi.org/10.1090/S0002-9947-1978-0646070-X
- MathSciNet review: 0646070