{"entities":{"Q1704354":{"pageid":1715095,"ns":120,"title":"Item:Q1704354","lastrevid":68176533,"modified":"2026-04-12T21:56:32Z","type":"item","id":"Q1704354","labels":{"en":{"language":"en","value":"Effective topological complexity of spaces with symmetries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6848685"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704354$C6DFFC04-AC6B-411E-A1DA-800A96760C66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f730ec4f754e6eaeb39acbbad37263549c9da37b","datavalue":{"value":{"text":"Effective topological complexity of spaces with symmetries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1704354$BEF3FD3A-DD2C-41ED-81D6-04343BDCA0A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af4c60805d1777d2d0c655692c3e8b5d389bc75d","datavalue":{"value":"1385.55003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704354$2DDE9CBD-2E15-495D-AC42-C77AB0A296F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e12dca773b849cb0e7a2d90240c70944e6f82840","datavalue":{"value":"10.5565/PUBLMAT6211803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704354$92226FBA-0DE4-4135-AACE-27E75858B5CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78afd3e40166bdedd061e8fc55dfaf7ef80389ea","datavalue":{"value":{"entity-type":"item","numeric-id":387388,"id":"Q387388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704354$27ED70A0-D69B-415E-8535-D3341FCA79B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a11f9500fdfd6845a15330a97b938c5218eb5c7","datavalue":{"value":{"entity-type":"item","numeric-id":431720,"id":"Q431720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704354$008B0ECE-EAF1-4F7F-84AA-5E782B8755FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed4f513c94031f8bf32d9d524c1126dddff8b76b","datavalue":{"value":{"entity-type":"item","numeric-id":195374,"id":"Q195374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704354$5D00531F-C799-487E-8931-38759B0958C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da59d1365ef31c9531ab189bbda24ff266771a35","datavalue":{"value":{"time":"+2018-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1704354$A9DEC34D-7AD8-43C8-B65E-8E7CFCBBFD3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aebc937d405ff853656879b74fb70483fa14e0cd","datavalue":{"value":"https://arxiv.org/abs/1510.08724","type":"string"},"datatype":"url"},"type":"statement","id":"Q1704354$44462DF0-E640-4A55-BB09-995964BC91A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2128a1d15434a8baf5227065a332bcc80d76a36","datavalue":{"value":"Let \\(PX\\) denote the space of all paths in the topological space \\(X\\), and let \\(\\pi:PX\\to X\\times X\\) denote the end-point fibration \\(\\pi(\\gamma) = (\\gamma(0),\\gamma(1))\\). A \\textit{motion planner} on an open subset \\(U\\subseteq X\\times X\\) is a local section \\(s:U\\to PX\\) of \\(\\pi\\). The \\textit{topological complexity} of \\(X\\), denoted \\(\\mathsf{TC}(X)\\), is defined to be the minimum integer \\(\\ell\\) such that \\(X\\times X\\) can be covered by open sets \\(U_1,\\ldots , U_\\ell\\), each of which admits a motion planner. The invariant \\(\\mathsf{TC}(X)\\) was introduced by M. Farber as part of his topological study of the motion planning problem in robotics; see the papers [\\textit{M. Farber}, Discrete Comput. Geom. 29, No. 2, 211--221 (2003; Zbl 1038.68130); Topology Appl. 140, No. 2--3, 245--266 (2004; Zbl 1106.68107)], where several basic properties (such as homotopy invariance) and calculations are given.  The invariant \\(\\mathsf{TC}(X)\\) has attracted much attention from homotopy theorists, and so it should come as no surprise that several equivariant generalizations have been studied which take into account the action of a group \\(G\\) on \\(X\\). Among these are the ``equivariant topological complexity'' of \\textit{H. Colman} and \\textit{M. Grant} [Algebr. Geom. Topol. 12, No. 4, 2299--2316 (2012; Zbl 1260.55007)], the ``invariant topological complexity'' of \\textit{W. Lubawski} and \\textit{W. Marzantowicz} [Bull. Lond. Math. Soc. 47, No. 1, 101--117 (2015; Zbl 1311.55004)] and the ``strongly equivariant topological complexity'' of \\textit{A. Dranishnikov} [Topology Appl. 179, 74--80 (2015; Zbl 1304.55003)]. Each of these versions asks for motion planners which are equivariant with respect to various induced actions of \\(G\\) on \\(X\\times X\\) and \\(PX\\), and as a result they can often be (much) larger than \\(\\mathsf{TC}(X)\\).  The authors of the present paper take a different view, that symmetries of the space \\(X\\) should be used to help, rather than hinder, the task of motion planning. They therefore define a new \\(G\\)-homotopy invariant, denoted \\(\\mathsf{TC}^{G,\\infty}\\), which they call the ``effective topological complexity'', which satisfies \\(\\mathsf{TC}^{G,\\infty}(X)\\leq\\mathsf{TC}(X)\\) for all \\(G\\)-spaces \\(X\\). The notation arises from the fact that \\(\\mathsf{TC}^{G,\\infty}\\) is the limit of a non-increasing sequence \\((\\mathsf{TC}^{G,k})_{k=1}^\\infty\\), with \\(\\mathsf{TC}^{G,1}=\\mathsf{TC}\\).  The definition of \\(\\mathsf{TC}^{G,k}\\) is as follows. Given a \\(G\\)-space \\(X\\), write  \\[  \\mathcal{P}_k(X) = \\{ (\\gamma_1,\\ldots , \\gamma_k)\\in (PX)^k \\mid G\\gamma_i(1)=G\\gamma_{i+1}(0)\\text{ for }1\\leq i\\leq k-1\\}  \\]  for the space of paths with \\(k-1\\) `jumps' by elements of \\(G\\). The map \\(\\pi_k:\\mathcal{P}_k(X)\\to X\\times X\\) defined by \\(\\pi_k(\\gamma_1,\\ldots , \\gamma_k)=(\\gamma_1(0),\\gamma_k(1))\\) turns out to be a fibration. Then \\(\\mathsf{TC}^{G,k}(X)\\) is defined to be the minimum integer \\(\\ell\\) such that \\(X\\times X\\) can be covered by open sets \\(U_1,\\ldots , U_\\ell\\), each of which admits a local section of \\(\\pi_k\\).  The rest of the paper gives several properties and calculations of this new invariant. These include: a cohomological lower bound in terms of the nilpotency of the kernel of the cup product map in \\(H^*(X/G;\\Bbbk)\\), when \\(G\\) is finite and \\(\\Bbbk\\) is a field of characteristic zero or prime to the order of \\(G\\); a product formula, bounding the effective topological complexity of a product in terms of the effective topological complexities of the factors; computations of the effective topological complexities of \\(\\mathbb{Z}/p\\)-spheres. The paper concludes with several open questions.  A survey article [\\textit{A. \u00c1ngel} and \\textit{H. Colman}, Contemp. Math. 702, 1--15 (2018; Zbl 1387.55006)] has since been published, which contains a comparison of the four equivariant generalizations of topological complexity mentioned in this review.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704354$2A54E0CB-3B5D-4BD0-9934-D01B31D55EA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d30027513416f534a3ba126f1be6e586a1eb5f60","datavalue":{"value":{"entity-type":"item","numeric-id":360562,"id":"Q360562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704354$0D3AB341-515E-4B88-B655-CE7DBBCDE37A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8154fbc9a1146bb169710b434f9dd911afae2388","datavalue":{"value":"55M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704354$4FC7047B-4919-4A8C-B5BB-78A7D8DF2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704354$D6B92598-BAE4-4F69-BC2D-9C2A68D909DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1691bff434d08093bf8ab4fe971e4edbf64002a","datavalue":{"value":"6848685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704354$728230F8-5A65-426B-895F-187B796C4314","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f3f7e997579186caa7a7c197a55653f507d071","datavalue":{"value":"equivariant topological complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704354$052A0278-C3AC-4B65-B69C-F5CD6FDDC772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5220b8485167f9dee8bf2b0140fc65ec66aaeaac","datavalue":{"value":"motion planning problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704354$7D8797B3-97E1-4BE0-A36A-9F83C54E54FB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704354$57D1FD5D-AE98-40E9-98AA-D7647485507E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e267f03ae867302bc3ed0884b08ed0c5dcc0303","datavalue":{"value":"W2461796391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704354$61F2097C-84C4-48AE-A184-311D9134C02A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b0e88b286b3406e7c7ada540d5134fbf73f390","datavalue":{"value":{"entity-type":"item","numeric-id":5173353,"id":"Q5173353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dd6da4a3c6e248cdd228d1348a8302162f0423","datavalue":{"value":{"amount":"+0.86356604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$DA4FDD2F-7F1C-485B-8813-2A33830FFF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c4f80ee3f314ad22b83f8f10a830e2277c0150","datavalue":{"value":{"entity-type":"item","numeric-id":4968733,"id":"Q4968733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06b68cdf8762b3cc7f705d480c93372de95fd03","datavalue":{"value":{"amount":"+0.8370341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$D02E6FDC-3E41-484E-B46B-D97A1DD5E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2006a3f5ed0c62955b4310937331da6e4d20eb99","datavalue":{"value":{"entity-type":"item","numeric-id":2944802,"id":"Q2944802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be334be76a928a30228d77b674a035ae0fb70ffd","datavalue":{"value":{"amount":"+0.81589305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$E16262D5-D643-4728-BFD8-0F862E42D63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b31798f8f8ea69218106f6026fb791502141b9","datavalue":{"value":{"entity-type":"item","numeric-id":2024058,"id":"Q2024058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec426828f059e1902eb31f426d0ca120d41309b","datavalue":{"value":{"amount":"+0.81347245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$2B513770-14C6-4709-BB16-08C774F108EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd061ed5d3458b57c72b084ca8ea14d3766db74e","datavalue":{"value":{"entity-type":"item","numeric-id":4910797,"id":"Q4910797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8222fabd99a37a1a9188d34e8afc8c995ab07f","datavalue":{"value":{"amount":"+0.81037134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$2ECD05E9-E0A7-4E74-B5B2-E73FC79F590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860b89e699491df2703d6ca696551ae1360e8bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5001668,"id":"Q5001668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8a14690edbc19c6c38f438090c214722c98810","datavalue":{"value":{"amount":"+0.8102621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$9D47239D-4D2F-4DFC-9E23-BA7A98BF7605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3991fb089d5df1d6fc76e51735ef060a41da0813","datavalue":{"value":{"entity-type":"item","numeric-id":465849,"id":"Q465849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5dc51c3a9c46cda3981d1559dc6572430336e4e","datavalue":{"value":{"amount":"+0.80835706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$519F4AE2-3CBE-4C2C-9464-C54A2532E93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215c7519b2aa097ba5c6bca60f3af329aed7a421","datavalue":{"value":{"entity-type":"item","numeric-id":2959287,"id":"Q2959287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3c2293c86934e1a177ccdf7e4c04da91edd7a1","datavalue":{"value":{"amount":"+0.7976191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$29BD68EE-66E6-4842-A92A-09FA9486828F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8f299e1b747a2e5ce4090fc7dcfcbf9fc6e934","datavalue":{"value":{"entity-type":"item","numeric-id":1404499,"id":"Q1404499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648f233e30fe479d26d956614dd0bc44c6759d6e","datavalue":{"value":{"amount":"+0.7973021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$FF98CD2A-BF64-4968-85BD-FD6B9BC01A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73c5bc27f4c8e48e36814831bb25a5f563625d6","datavalue":{"value":{"entity-type":"item","numeric-id":1743508,"id":"Q1743508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89f84045f418b31990d5ce2d97183e51bcf9bcf","datavalue":{"value":{"amount":"+0.79550374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1704354$AEC042C1-40A4-4B06-A88D-C5645B04734A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective topological complexity of spaces with symmetries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_topological_complexity_of_spaces_with_symmetries"}}}}}