Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-10T12:26:55.218Z Has data issue: false hasContentIssue false
  • English
  • Français

Symmetric Bi-Skew Maps and Symmetrized Motion Planning in Projective Spaces

Part of: Artificial intelligence (68Txx) Differential topology Classical Topics in Algebraic Topology Operations and obstructions

Published online by Cambridge University Press:  06 August 2018

Jesús González
Jesús González*
Affiliation:
Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del IPN, Av. IPN 2508, Zacatenco, México City 07000, Mexico (jesus@math.cinvestav.mx)
Get access Rights & Permissions [Opens in a new window]

Abstract

This work is motivated by the question of whether there are spaces X for which the Farber–Grant symmetric topological complexity TCS(X) differs from the Basabe–González–Rudyak–Tamaki symmetric topological complexity TCΣ(X). For a projective space ${\open R}\hbox{P}^m$, it is known that $\hbox{TC}^S ({\open R}\hbox{P}^{m})$ captures, with a few potential exceptional cases, the Euclidean embedding dimension of ${\open R}\hbox{P}^{m}$. We now show that, for all m≥1, $\hbox{TC}^{\Sigma}({\open R}\hbox{P}^{m})$ is characterized as the smallest positive integer n for which there is a symmetric ${\open Z}_{2}$-biequivariant map Sm×Sm→Sn with a ‘monoidal’ behaviour on the diagonal. This result thus lies at the core of the efforts in the 1970s to characterize the embedding dimension of real projective spaces in terms of the existence of symmetric axial maps. Together with Nakaoka's description of the cohomology ring of symmetric squares, this allows us to compute both TC numbers in the case of ${\open R}\hbox{P}^{2^{e}}$ for e≥1. In particular, this leaves the torus S1×S1 as the only closed surface whose symmetric (symmetrized) TCS (TCΣ) invariant is currently unknown.

Keywords

topological complexitysymmetric motion planningaxial maps with further structureequivariant partition of unitysymmetric square of a space

MSC classification

Primary: 55M30: Ljusternik-Schnirelman (Lyusternik-Shnirel'man) category of a space 55S15: Symmetric products, cyclic products
Secondary: 57R40: Embeddings 68T40: Robotics
Type
Research Article
Information
Proceedings of the Edinburgh Mathematical Society , Volume 61 , Issue 4 , November 2018 , pp. 1087 - 1100
Copyright
Copyright © Edinburgh Mathematical Society 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1Adem, J., Gitler, S. and James, I. M., On axial maps of a certain type, Bol. Soc. Mat. Mexicana (2) 17 (1972), 59–62.Google Scholar
2Basabe, I., González, J., Rudyak, Y. B. and Tamaki, D., Higher topological complexity and its symmetrization, Algebr. Geom. Topol. 14(4) (2014), 2103–2124.Google Scholar
3Berrick, A. J., Axial maps with further structure, Proc. Amer. Math. Soc. 54 (1976), 413–416.Google Scholar
4Berrick, A. J., Feder, S. and Gitler, S., Symmetric axial maps and embeddings of projective spaces, Bol. Soc. Mat. Mexicana (2) 21(2) (1976), 39–41.Google Scholar
5Cohen, D. C. and Vandembroucq, L., Topological complexity of the Klein bottle, J. Appl. Comput. Topol. 1 (2017), 199–213.Google Scholar
6Davis, D. M., The symmetric topological complexity of the circle, N. Y. J. Math. 23 (2017), 593–602.Google Scholar
7Domínguez, C., González, J. and Landweber, P., The integral cohomology of configuration spaces of pairs of points in real projective spaces, Forum Math. 25(6) (2013), 1217–1248.Google Scholar
8Dranishnikov, A., On topological complexity of non-orientable surfaces, Topol. Applic. (special issue dedicated to Kodama) 232 (2017), 61–69.Google Scholar
9Dranishnikov, A., The topological complexity and the homotopy cofiber of the diagonal map for non-orientable surfaces, Proc. Amer. Math. Soc. 144(11) (2016), 4999–5014.Google Scholar
10Farber, M., Topological complexity of motion planning, Discr. Comput. Geom. 29(2) (2003), 211–221.Google Scholar
11Farber, M., Instabilities of robot motion, Topol. Appl. 140(2–3) (2004), 245–266.Google Scholar
12Farber, M. and Grant, M., Symmetric motion planning, In Topology and robotics (ed. Farber, M., Ghrist, R., Burger, M. and Koditschek, D.), Contemporary Mathematics, Volume 438, pp. 85–104 (American Mathematical Society, Providence, RI, 2007).Google Scholar
13Farber, M., Tabachnikov, S. and Yuzvinsky, S., Topological robotics: motion planning in projective spaces, Int. Math. Res. Not. 34 (2003), 1853–1870.Google Scholar
14González, J., Symmetric topological complexity as the first obstruction in Goodwillie's Euclidean embedding tower for real projective spaces, Trans. Amer. Math. Soc. 363(12) (2011), 6713–6741.Google Scholar
15González, J. and Landweber, P., Symmetric topological complexity of projective and lens spaces, Algebr. Geom. Topol. 9(1) (2009), 473–494.Google Scholar
16Grant, M., Symmetrized topological complexity, J. Topol. Anal., in press (arXiv:1703. 07142).Google Scholar
17Hopf, H., Systeme symmetrischer Bilinearformen und euklidische Modelle der projektiven Räume, Vierteljschr. Naturforsch. Ges. Zürich 85 1940), 165–177.Google Scholar
18Massey, W. S., The quotient space of the complex projective plane under conjugation is a 4-sphere, Geometriae Dedicata 2 (1973), 371–374.Google Scholar
19Nakaoka, M., Cohomology theory of a complex with a transformation of prime period and its applications, J. Inst. Polytech. Osaka City Univ. Ser. A 7 (1956), 51–102.Google Scholar
20Palais, R. S., On the existence of slices for actions of non-compact Lie groups, Ann. Math. (2) 73 (1961), 295–323.Google Scholar
21Palais, R. S. and Terng, C.-L., Critical point theory and submanifold geometry, Lecture Notes in Mathematics, Volume 1353 (Springer-Verlag, Berlin, 1988).Google Scholar
22Schwarz, A., The genus of a fiber space, Amer. Math. Soc. Transl. (2) 55 (1966), 49–140.Google Scholar