×

Topological complexity of the Klein bottle. (English) Zbl 1400.55001

The topological complexity \(\text{TC}(X)\) of a space \(X\) is a numerical homotopy invariant introduced by M. Farber in [Discrete Comput. Geom. 29, No. 2, 211–221 (2003; Zbl 1038.68130)] in order to study the motion planning problem in robotics from a topological perspective. In that foundational paper Farber computed, among other examples, the topological complexity of all orientable surfaces by mainly using the bound given by the zero-divisors cup-length with coefficients in a field. However the used techniques were not applicable to non-orientable surfaces and this case had been left as an open problem. Only the case of the real projective plane \(\mathbb{RP}^2\) was solved (its normalized topological complexity being 3) in the paper [M. Farber, S. Tabachnikov and S. Yuzvinsky, Int. Math. Res. Not. 2003, No. 34, 1853–1870 (2003; Zbl 1030.68089)].
In [Proc. Am. Math. Soc. 144, No. 11, 4999–5014 (2016; Zbl 1352.55002)], A. Dranishnikov made a big step towards the solution of this problem by proving that the (normalized) topological complexity of \(N_g\), the non-orientable surface of genus \(g\), is 4 when \(g\geq 5.\) In a subsequent paper [Topology Appl. 232, 61–69 (2017; Zbl 1378.55001)] he also showed that \(\text{TC}(N_4)=4\) and that his methods do not extend to the cases \(g=2\) (i.e. the Klein bottle) and \(g=3\). Since then only these two cases were still open.
In the paper under review the authors prove that the (normalized) topological complexity of the Klein bottle is 4. Their result is based on computations of zero-divisors cup-length with local coefficients as in A. Costa and M. Farber’s paper [Commun. Contemp. Math. 12, No. 1, 107–119 (2010; Zbl 1215.55001)] and also by using an explicit bar resolution for the Klein bottle as a \(K(G,1)\)-space. Actually, using an inductive argument starting at \(g=2,\) they are capable to prove that \(\text{TC}(N_g)=4\), for all \(g\geq 2.\) This way the program of computing the topological complexity of all non-orientable surfaces is fulfilled. As noted by the authors, D. M. Davis also found an independent computation of the topological complexity of the Klein bottle based on certain \(\Delta \)-complex structures [“An approach to the topological complexity of the Klein bottle”, Preprint, arXiv:1612.02747].

MSC:

55M30 Lyusternik-Shnirel’man category of a space, topological complexity à la Farber, topological robotics (topological aspects)
55N25 Homology with local coefficients, equivariant cohomology
57T30 Bar and cobar constructions
20J06 Cohomology of groups
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Birman, J.: Braids, Links and Mapping Class Groups. Annals of Mathematics Studies, vol. 82. Princeton University Press, Princeton (1974) (MR0375281)
[2] Brown, K.S.: Cohomology of Groups, Graduate Texts in Mathematics, vol. 87. Springer, New York (1982) (MR0672956) · Zbl 0584.20036
[3] Cohen, D., Suciu, A.: Homology of iterated semidirect products of free groups. J. Pure Appl. Algebra 126, 87-120 (1998) (MR1600518) · Zbl 0908.20033
[4] Cohen, D., Vandembroucq, L.: On the cofibre of the diagonal map of the Klein bottle, (in preparation) · Zbl 1400.55001
[5] Costa, A., Farber, M.: Motion planning in spaces with small fundamental groups. Commun. Contemp. Math. 12, 107-119 (2010) (MR2649230) · Zbl 1215.55001
[6] Davis, D.: An approach to the topological complexity of the Klein bottle. Preprint arXiv:1612.02747v5 (2017)
[7] Dranishnikov, A.: The topological complexity and the homotopy cofiber of the diagonal map for non-orientable surfaces. Proc. Am. Math. Soc. 144, 4999-5014 (2016) (MR3544546) · Zbl 1352.55002
[8] Dranishnikov, A.: On topological complexity of non-orientable surfaces, Topol. Appl. Special Issue dedicated to Kodama, to appear · Zbl 1378.55001
[9] Farber, M.: Topological complexity of motion planning. Discrete Comput. Geom. 29, 211-221 (2003) (MR1957228) · Zbl 1038.68130
[10] Farber, M.: Invitation to Topological Robotics. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich (2008) (MR2455573) · Zbl 1148.55011 · doi:10.4171/054
[11] Farber, M., Tabachnikov, S., Yuzvinsky, S.: Topological robotics: motion planning in projective spaces. Int. Math. Res. Not. 34, 1853-1870 (2003) (MR1988783) · Zbl 1030.68089
[12] Fox, R.: Free differential calculus I. Ann. Math. 57, 547-560 (1953) (MR0053938) · Zbl 0050.25602
[13] Fox, R.: Free differential calculus II. Ann. Math. 59, 196-210 (1954) (MR0062125) · Zbl 0055.01704
[14] Fox, R.: Free differential calculus III. Ann. Math. 64, 407-419 (1956) (MR0095876) · Zbl 0073.25401
[15] Gonçalves, D., Martins, S.: Diagonal approximation and the cohomology ring of the fundamental groups of surfaces. Eur. J. Math. 1, 122-137 (2015) (MR3386228) · Zbl 1354.57006
[16] González, J., Gutiérrez, B., Gutiérrez, D., Lara, A.: Motion planning in real flag manifolds. Homol. Homot. Appl. 18, 359-375 (2016) (MR3576004) · Zbl 1359.55003
[17] Rudyak, Y.: On higher analogs of topological complexity. Topol. Appl. 157, 916-920 (2010) (MR2593704) · Zbl 1187.55001
[18] Schwarz, A.: The genus of a fiber space. Am. Math. Soc. Trans. 55, 49-140 (1966) (MR0154284)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.