The concordance diffeomorphism group of real projective space
HTML articles powered by AMS MathViewer
- by Robert Wells PDF
- Trans. Amer. Math. Soc. 192 (1974), 319-337 Request permission
Abstract:
Let ${P_r}$ be r-dimensional real projective space with r odd, and let ${\pi _0}{\text {Diff}^ + }:{P_r}$ be the group of orientation preserving diffeomorphisms ${P_r} \to {P_r}$ factored by the normal subgroup of those concordant (= pseudoisotopic) to the identity. The main theorem of this paper is that for $r \equiv 11 \bmod 16$ the group ${\pi _0}{\text {Diff}^ + }:{P_r}$ is isomorphic to the homotopy group ${\pi _{r + 1 + k}}({P_\infty }/{P_{k - 1}})$, where $k = d{2^L} - r - 1$ with $L \geq \varphi ((r + 1)/2)$ and $d{2^L} \geq r + 1$. The function $\varphi$ is denned by $\varphi (l) = \{ i|0 < i \leq l,i \equiv 0,1,2,4 \bmod (8)\}$. The theorem is proved by introducing a cobordism version of the mapping torus construction; this mapping torus construction is a homomorphism $t:{\pi _0}{\text {Diff}^ + }:{P_r} \to {\Omega _{r + 1}}(v)$ for $r \equiv 11 \bmod 16$ and ${\Omega _{r + 1}}(v)$ a suitable Lashof cobordism group. It is shown that t is an isomorphism onto the torsion subgroup ${\Omega _{r + 1}}(v)$, and that this subgroup is isomorphic to ${\pi _{r + 1 + k}}({P_\infty }/{P_{k - 1}})$ as above. Then one reads off from Mahowaldโs tables of ${\pi _{n + m}}({P_\infty }/{P_{m - 1}})$ that ${\pi _0}{\text {Diff}^ + }:{P_{11}} = {Z_2}$ and ${\pi _0}{\text {Diff}^ + }:{P_{27}} = 6{Z_2}$.References
- Peter L. Antonelli, Dan Burghelea, and Peter J. Kahn, The concordance-homotopy groups of geometric automorphism groups, Lecture Notes in Mathematics, Vol. 215, Springer-Verlag, Berlin-New York, 1971. MR 0358834, DOI 10.1007/BFb0061176
- 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
- R. Lashof, Poincarรฉ duality and cobordism, Trans. Amer. Math. Soc. 109 (1963), 257โ277. MR 156357, DOI 10.1090/S0002-9947-1963-0156357-4
- 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 H. Schneider, Free involutions of homotopy ${S^{[n/2]}} \times {S^{[(n + 1)/2],}}s,$, Thesis, University of Chicago, Chicago, Ill., 1972.
- Robert E. Stong, Notes on cobordism theory, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1968. Mathematical notes. MR 0248858
- C. T. C. Wall, Surgery on compact manifolds, London Mathematical Society Monographs, No. 1, Academic Press, London-New York, 1970. MR 0431216
- R. Wells, Free involutions of homotopy $S^{l}\times S^{l}$โs, Illinois J. Math. 15 (1971), 160โ184. MR 271957
- Robert Wells, Some examples of free involutions on homotopy $S^{l}\times S^{l}$โs, Illinois J. Math. 15 (1971), 542โ550. MR 288784
- Robert Wells, Cobordism groups of immersions, Topology 5 (1966), 281โ294. MR 196760, DOI 10.1016/0040-9383(66)90011-5
- Robert Wells, Modifying intersections, Illinois J. Math. 11 (1967), 389โ403. MR 217807
- Emery Thomas, Seminar on fiber spaces, Lecture Notes in Mathematics, vol. 13, Springer-Verlag, Berlin-New York, 1966. Lectures delivered in 1964 in Berkeley and 1965 in Zรผrich; Berkeley notes by J. F. McClendon. MR 0203733, DOI 10.1007/BFb0097864
- J. Peter May, The cohomology of the Steenrod algebra; stable homotopy groups of spheres, Bull. Amer. Math. Soc. 71 (1965), 377โ380. MR 185596, DOI 10.1090/S0002-9904-1965-11302-7
- Joel M. Cohen, Some results on the stable homotopy groups of spheres, Bull. Amer. Math. Soc. 72 (1966), 732โ735. MR 210128, DOI 10.1090/S0002-9904-1966-11574-4
Additional Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 192 (1974), 319-337
- MSC: Primary 57D50
- DOI: https://doi.org/10.1090/S0002-9947-1974-0339224-X
- MathSciNet review: 0339224