Topological complexity of motion planning in projective product spaces

González, Jesús¹ ; Grant, Mark² ; Torres-Giese, Enrique³ ; Xicoténcatl, Miguel⁴

¹Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, A.P. 14-740, México City 07000, México
²School of Mathematical Sciences, The University of Nottingham, University Park, Nottingham NG7 2RD, UK
³Departamento de Matemáticas, Universidad de Guanajuato, Guanajuato, Gto 36000, México
⁴Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, México City 07000, México

Algebraic and Geometric Topology, Tome 13 (2013) no. 2, pp. 1027-1047

Résumé

We study Farber’s topological complexity (TC) of Davis’ projective product spaces (PPS’s). We show that, in many nontrivial instances, the TC of PPS’s coming from at least two sphere factors is (much) lower than the dimension of the manifold. This is in marked contrast with the known situation for (usual) real projective spaces for which, in fact, the Euclidean immersion dimension and TC are two facets of the same problem. Low TC-values have been observed for infinite families of nonsimply connected spaces only for H-spaces, for finite complexes whose fundamental group has cohomological dimension at most 2, and now in this work for infinite families of PPS’s. We discuss general bounds for the TC (and the Lusternik–Schnirelmann category) of PPS’s, and compute these invariants for specific families of such manifolds. Some of our methods involve the use of an equivariant version of TC. We also give a characterization of the Euclidean immersion dimension of PPS’s through a generalized concept of axial maps or, alternatively (in an appendix), nonsingular maps. This gives an explicit explanation of the known relationship between the generalized vector field problem and the Euclidean immersion problem for PPS’s.

Détail

DOI : 10.2140/agt.2013.13.1027

Classification : 55M30, 57R42, 68T40
Keywords: topological complexity, projective product spaces, Euclidean immersions of manifolds, generalized axial maps, equivariant motion planning

Bibliographie

[1] J F Adams, Geometric dimension of bundles over $\mathrm{RP}^{n}$, from: "Proceedings of the International Conference on Prospects in Mathematics", Res. Inst. Math. Sci., Kyoto Univ., Kyoto (1974) 1

[2] J Adem, S Gitler, I M James, On axial maps of a certain type, Bol. Soc. Mat. Mexicana 17 (1972) 59

[3] L Astey, D M Davis, J González, Generalized axial maps and Euclidean immersions of lens spaces, Bol. Soc. Mat. Mexicana 9 (2003) 151

[4] I Berstein, On the Lusternik–Schnirelmann category of Grassmannians, Math. Proc. Cambridge Philos. Soc. 79 (1976) 129

[5] H Colman, M Grant, Equivariant topological complexity, Algebr. Geom. Topol. 12 (2012) 2299

[6] A Costa, M Farber, Motion planning in spaces with small fundamental groups, Commun. Contemp. Math. 12 (2010) 107

[7] D M Davis, Projective product spaces, J. Topol. 3 (2010) 265

[8] M Farber, Topological complexity of motion planning, Discrete Comput. Geom. 29 (2003) 211

[9] M Farber, Invitation to topological robotics, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich (2008)

[10] M Farber, S Tabachnikov, S Yuzvinsky, Topological robotics: motion planning in projective spaces, Int. Math. Res. Not. 2003 (2003) 1853

[11] J García-Calcines, L Vandembroucq, Topological complexity and the homotopy cofibre of the diagonal map, to appear in Math. Z. (2012)

[12] C G Gibson, K Wirthmüller, A A Du Plessis, E J N Looijenga, Topological stability of smooth mappings, Lecture Notes in Mathematics 552, Springer (1976)

[13] M Golubitsky, V Guillemin, Stable mappings and their singularities, Graduate Texts in Mathematics 14, Springer (1973)

[14] J González, Topological robotics in lens spaces, Math. Proc. Cambridge Philos. Soc. 139 (2005) 469

[15] J González, E Torres-Giese, M Velasco-Fuentes, in preparation

[16] M Grant, Topological complexity, fibrations and symmetry, Topology Appl. 159 (2012) 88

[17] V Guillemin, V Ginzburg, Y Karshon, Moment maps, cobordisms, and Hamiltonian group actions, Mathematical Surveys and Monographs 98, American Mathematical Society (2002)

[18] A Haefliger, M W Hirsch, Immersions in the stable range, Ann. of Math. 75 (1962) 231

[19] M W Hirsch, Immersions of manifolds, Trans. Amer. Math. Soc. 93 (1959) 242

[20] I M James, On the immersion problem for real projective spaces, Bull. Amer. Math. Soc. 69 (1963) 231

[21] K Y Lam, Construction of nonsingular bilinear maps, Topology 6 (1967) 423

[22] K Y Lam, Sectioning vector bundles over real projective spaces, Quart. J. Math. Oxford Ser. 23 (1972) 97

[23] K Y Lam, D Randall, Geometric dimension of bundles on real projective spaces, from: "Homotopy theory and its applications" (editors A Adem, R J Milgram, D C Ravenel), Contemp. Math. 188, Amer. Math. Soc. (1995) 137

[24] G Lupton, J Scherer, Topological complexity of $H$–spaces, Proc. Amer. Math. Soc. 141 (2013) 1827

[25] S Melikhov, Singular fibers of generic smooth maps of negative codimension

[26] R J Milgram, Immersing projective spaces, Ann. of Math. 85 (1967) 473

[27] J Oprea, J Walsh, Quotient maps, group actions and Lusternik–Schnirelmann category, Topology Appl. 117 (2002) 285

[28] B J Sanderson, A non-immersion theorem for real projective space, Topology 2 (1963) 209

[29] A Verona, Stratified mappings—structure and triangulability, Lecture Notes in Mathematics 1102, Springer (1984)