pith. sign in

arxiv: 2412.12921 · v5 · submitted 2024-12-17 · 🧮 math.AT

Equivariant and invariant parametrized topological complexity

Ramandeep Singh Arora , Navnath Daundkar This is my paper

Pith reviewed 2026-05-23 07:24 UTC · model grok-4.3

classification 🧮 math.AT
keywords equivariant topological complexityparametrized topological complexityinvariant topological complexityFadell-Neuwirth fibrationsmotion planningsectional categoryG-fibrationsorbit spaces
0
0 comments X

The pith

When a compact Lie group acts freely on the total space of a fibration, its invariant parametrized topological complexity equals the parametrized topological complexity of the induced fibration on orbit spaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces the invariant parametrized topological complexity for G-equivariant fibrations as an invariant analogue of the parametrized topological complexity of Cohen, Farber and Weinberger. It establishes that this new invariant coincides with the ordinary parametrized version on orbit spaces precisely when G is a compact Lie group acting freely. The work further computes the invariant version for equivariant Fadell-Neuwirth fibrations, which quantify motion-planning complexity among obstacles whose positions are unknown and whose placement order is irrelevant. Equivariant sectional category and equivariant parametrized topological complexity are developed as supporting tools to obtain these and related results.

Core claim

For a G-equivariant fibration p: E → B, the invariant parametrized topological complexity is defined and shown to coincide with the parametrized topological complexity of the induced fibration between orbit spaces when G is a compact Lie group acting freely on E. This invariant is also computed explicitly for equivariant Fadell-Neuwirth fibrations, and the equivariant sectional category and equivariant parametrized topological complexity are studied as auxiliary notions that support several further results in the paper.

What carries the argument

The invariant parametrized topological complexity of a G-equivariant fibration, which measures motion-planning complexity while remaining unchanged under the group action.

If this is right

  • Motion-planning complexity for systems with free compact Lie symmetries reduces to the ordinary parametrized complexity on the quotient spaces.
  • The complexity of motion planning among obstacles with unknown positions and irrelevant order is given by the value of the invariant parametrized topological complexity on the corresponding equivariant Fadell-Neuwirth fibration.
  • Equivariant sectional category provides upper bounds and computational tools for the invariant parametrized topological complexity.
  • Results obtained via the equivariant parametrized topological complexity extend directly to the invariant setting under the stated hypotheses.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Equivariant motion-planning problems in symmetric environments can often be solved by first passing to the orbit space and applying standard algorithms there.
  • The coincidence result suggests that configuration-space symmetries that are free may be quotiented out without changing the intrinsic planning complexity.
  • Similar reductions might be explored for actions that are not free by replacing orbit spaces with appropriate homotopy quotients.
  • The framework connects directly to configuration spaces of indistinguishable particles, where the Fadell-Neuwirth fibrations already encode order-irrelevance.

Load-bearing premise

The group G must be a compact Lie group acting freely on the total space E.

What would settle it

A concrete G-equivariant fibration with G a compact Lie group acting freely where the two complexity numbers are shown by direct calculation to be unequal would falsify the coincidence claim.

read the original abstract

For a $G$-equivariant fibration $p \colon E\to B$, we introduce and study the invariant analogue of Cohen, Farber and Weinberger's parametrized topological complexity, called the invariant parametrized topological complexity. This notion generalizes the invariant topological complexity introduced by Lubawski and Marzantowicz. When $G$ is a compact Lie group acting freely on $E$, we show that the invariant parametrized topological complexity of the $G$-fibration $p \colon E\to B$ coincides with the parametrized topological complexity of the induced fibration $\overline{p} \colon \overline{E} \to \overline{B}$ between the orbit spaces. Furthermore, we compute the invariant parametrized topological complexity of equivariant Fadell-Neuwirth fibrations, which measures the complexity of motion planning in the presence of obstacles with unknown positions, where the order of their placement is irrelevant. In addition, we study the equivariant sectional category and the equivariant parametrized topological complexity, which serve as essential tools for obtaining several results in this paper.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper defines the invariant parametrized topological complexity of a G-equivariant fibration p: E → B, generalizing the invariant topological complexity of Lubawski–Marzantowicz. It proves that when G is a compact Lie group acting freely on E, this invariant quantity coincides with the ordinary parametrized topological complexity of the induced orbit fibration p-bar: E-bar → B-bar. The manuscript also computes the invariant parametrized topological complexity for equivariant Fadell–Neuwirth fibrations (modeling motion planning with obstacles of unknown positions) and develops equivariant sectional category together with equivariant parametrized topological complexity as auxiliary tools.

Significance. If the central reduction holds, the work supplies a practical simplification for computing invariant parametrized TC under free compact Lie actions, directly linking it to the non-equivariant theory on orbit spaces. The explicit computation for Fadell–Neuwirth fibrations yields concrete values relevant to equivariant motion planning. The auxiliary equivariant notions are positioned as reusable tools, potentially aiding further results in equivariant algebraic topology.

minor comments (3)
  1. The abstract states the coincidence result but does not indicate the precise section or theorem number where the proof appears; adding an explicit forward reference would improve readability.
  2. Notation for the orbit-space fibration (overline p, overline E, overline B) is introduced in the abstract; ensure consistent use of this notation throughout the definitions in §2 and the statement of the main theorem.
  3. The paper cites Cohen–Farber–Weinberger for the original parametrized TC; confirm that the reference list includes the full bibliographic details and any subsequent works on equivariant variants.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript, including the recognition of the central reduction result and the computations for Fadell–Neuwirth fibrations. The recommendation of minor revision is noted. No specific major comments were listed in the report, so we have no points requiring point-by-point rebuttal at this stage. We will incorporate any minor editorial or typographical suggestions during revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces definitions for invariant parametrized topological complexity and equivariant sectional category as generalizations of prior notions, then states and proves a coincidence theorem (under explicit hypotheses of compact Lie G acting freely) equating the new invariant quantity to the standard parametrized TC of the orbit fibration. This is a derived equality, not an identity by construction or redefinition. Explicit computations for Fadell-Neuwirth fibrations are presented as applications rather than tautological fits. No self-citation chains, ansatzes smuggled via citation, or uniqueness theorems imported from the authors' prior work appear load-bearing in the central claims. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background results from algebraic topology and equivariant homotopy theory; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • standard math Standard properties of topological complexity, sectional category, and equivariant fibrations hold as previously established in the literature.
    The paper builds directly on existing theory without stating new foundational axioms.

pith-pipeline@v0.9.0 · 5715 in / 1247 out tokens · 33925 ms · 2026-05-23T07:24:08.895458+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the complexity of parametrized motion planning algorithms

    math.AT 2025-08 unverdicted novelty 6.0

    Defines a new probabilistic lower-bound invariant for parametrized topological complexity and proves it matches classical behavior on Fadell-Neuwirth fibrations and sphere bundles but differs on real projective space ...

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 1 Pith paper

  1. [1]

    Ramandeep Singh Arora, Navnath Daundkar, and Soumen Sarkar. Sectional category with respect to group actions and sequential topological complexity of fibre bundles.arXiv preprint arXiv:2410.00139, version 3, Homology Homotopy and Applications to appear, 2024

    work page arXiv 2024

  2. [2]

    Rudyak, and Dai Tamaki

    Ibai Basabe, Jesús González, Yuli B. Rudyak, and Dai Tamaki. Higher topological complexity and its symmetrization.Algebr. Geom. Topol., 14(4):2103–2124, 2014

    work page 2014

  3. [3]

    An exploration of ls category and topological complexity of dold manifolds of toric type.Journal of Topology and Analysis, pages 1–19, 2025

    Marzieh Bayeh, Navnath Daundkar, and Soumen Sarkar. An exploration of ls category and topological complexity of dold manifolds of toric type.Journal of Topology and Analysis, pages 1–19, 2025

    work page 2025

  4. [4]

    Higher equivariant and invariant topological complexities.J

    Marzieh Bayeh and Soumen Sarkar. Higher equivariant and invariant topological complexities.J. Homo- topy Relat. Struct., 15(3-4):397–416, 2020

    work page 2020

  5. [5]

    Berstein and T

    I. Berstein and T. Ganea. The category of a map and of a cohomology class.Fundam. Math., 50:265–279, 1962. 34

    work page 1962

  6. [6]

    Groups with homological duality generalizing Poincaré duality.Invent

    Robert Bieri and Beno Eckmann. Groups with homological duality generalizing Poincaré duality.Invent. Math., 20:103–124, 1973

    work page 1973

  7. [7]

    On equivariant and invariant topological complexity of smooth Z/p-spheres.Proc

    Zbigniew Bł aszczyk and Marek Kaluba. On equivariant and invariant topological complexity of smooth Z/p-spheres.Proc. Amer. Math. Soc., 145(9):4075–4086, 2017

    work page 2017

  8. [8]

    Pavle V. M. Blagojević and Günter M. Ziegler. Convex equipartitions via equivariant obstruction theory. Israel J. Math., 200(1):49–77, 2014

    work page 2014

  9. [9]

    Bredon.Introduction to compact transformation groups, volume V ol

    Glen E. Bredon.Introduction to compact transformation groups, volume V ol. 46 ofPure and Applied Mathematics. Academic Press, New Y ork-London, 1972

    work page 1972

  10. [10]

    Invariants of the Lusternik-Schnirelmann type and the topology of critical sets.Trans

    Mónica Clapp and Dieter Puppe. Invariants of the Lusternik-Schnirelmann type and the topology of critical sets.Trans. Amer. Math. Soc., 298(2):603–620, 1986

    work page 1986

  11. [11]

    Cohen, Michael Farber, and Shmuel Weinberger

    Daniel C. Cohen, Michael Farber, and Shmuel Weinberger. Topology of parametrized motion planning algorithms.SIAM J. Appl. Algebra Geom., 5(2):229–249, 2021

    work page 2021

  12. [12]

    Cohen, Michael Farber, and Shmuel Weinberger

    Daniel C. Cohen, Michael Farber, and Shmuel Weinberger. Parametrized topological complexity of collision-free motion planning in the plane.Ann. Math. Artif. Intell., 90(10):999–1015, 2022

    work page 2022

  13. [13]

    Equivariant topological complexity.Algebraic & Geometric Topology, 12(4):2299–2316, 2013

    Hellen Colman and Mark Grant. Equivariant topological complexity.Algebraic & Geometric Topology, 12(4):2299–2316, 2013

    work page 2013

  14. [14]

    Fibrewise topological complexity of sphere and projective bundles.arXiv preprint arXiv:2305.12836, 2023

    MC Crabb. Fibrewise topological complexity of sphere and projective bundles.arXiv preprint arXiv:2305.12836, 2023

    work page arXiv 2023

  15. [15]

    Equivariant parametrized topological complexity.Proceedings of the Royal Society of Edinburgh: Section A Mathematics, page 1–24, 2024

    Navnath Daundkar. Equivariant parametrized topological complexity.Proceedings of the Royal Society of Edinburgh: Section A Mathematics, page 1–24, 2024

    work page 2024

  16. [16]

    LS-category and topological complexity of several families of fibre bundles.Homology Homotopy Appl., 26(2):273–295, 2024

    Navnath Daundkar and Soumen Sarkar. LS-category and topological complexity of several families of fibre bundles.Homology Homotopy Appl., 26(2):273–295, 2024

    work page 2024

  17. [17]

    Donald M. Davis. Projective product spaces.J. Topol., 3(2):265–279, 2010

    work page 2010

  18. [18]

    Poincaré duality groups.Surveys on surgery theory, 1:167–193, 2000

    Michael W Davis. Poincaré duality groups.Surveys on surgery theory, 1:167–193, 2000

    work page 2000

  19. [19]

    E. Fadell. The equivariant Ljusternik-Schnirelmann method for invariant functionals and relative coho- mological index theories. InTopological methods in nonlinear analysis, volume 95 ofSém. Math. Sup., pages 41–70. Presses Univ. Montréal, Montreal, QC, 1985

    work page 1985

  20. [20]

    Configuration spaces.Math

    Edward Fadell and Lee Neuwirth. Configuration spaces.Math. Scand., 10:111–118, 1962

    work page 1962

  21. [21]

    Fadell and Sufian Y

    Edward R. Fadell and Sufian Y. Husseini.Geometry and topology of configuration spaces. Springer Mono- graphs in Mathematics. Springer-Verlag, Berlin, 2001

    work page 2001

  22. [22]

    Topological complexity of motion planning.Discrete Comput

    Michael Farber. Topological complexity of motion planning.Discrete Comput. Geom., 29(2):211–221, 2003

    work page 2003

  23. [23]

    Topological complexity of configuration spaces.Proc

    Michael Farber and Mark Grant. Topological complexity of configuration spaces.Proc. Amer. Math. Soc., 137(5):1841–1847, 2009

    work page 2009

  24. [24]

    Sequential parametrized topological complexity and related invariants

    Michael Farber and John Oprea. Sequential parametrized topological complexity and related invariants. Algebr. Geom. Topol., 24(3):1755–1780, 2024

    work page 2024

  25. [25]

    Parametrized topological complexity of sphere bundles.Topol

    Michael Farber and Shmuel Weinberger. Parametrized topological complexity of sphere bundles.Topol. Methods Nonlinear Anal., 61(1):161–177, 2023

    work page 2023

  26. [26]

    J. M. García-Calcines. Formal aspects of parametrized topological complexity and its pointed version.J. Topol. Anal., 15(4):1129–1148, 2023

    work page 2023

  27. [27]

    Equivariant fibrations.Journal of Mathematical Sciences, 276(4):490–497, 2023

    PS Gevorgyan. Equivariant fibrations.Journal of Mathematical Sciences, 276(4):490–497, 2023

    work page 2023

  28. [28]

    Topological complexity of motion planning in projective product spaces.Algebr

    Jesús González, Mark Grant, Enrique Torres-Giese, and Miguel Xicoténcatl. Topological complexity of motion planning in projective product spaces.Algebr. Geom. Topol., 13(2):1027–1047, 2013

    work page 2013

  29. [29]

    Symmetrized topological complexity.Journal of Topology and Analysis, 11(02):387–403, 2019

    Mark Grant. Symmetrized topological complexity.Journal of Topology and Analysis, 11(02):387–403, 2019

    work page 2019

  30. [30]

    Parametrised topological complexity of group epimorphisms.Topol

    Mark Grant. Parametrised topological complexity of group epimorphisms.Topol. Methods Nonlinear Anal., 60(1):287–303, 2022

    work page 2022

  31. [31]

    Topological complexity of subgroups of artin’s braid groups

    Mark Grant and David Recio-Mitter. Topological complexity of subgroups of artin’s braid groups. Topological complexity and related topics, 702:165–176, 2018

    work page 2018

  32. [32]

    F. E. A. Johnson and C. T. C. Wall. On groups satisfying Poincaré duality.Ann. of Math. (2), 96:592–598, 1972

    work page 1972

  33. [33]

    Invariant topological complexity.Bull

    W ojciech Lubawski and Wacł aw Marzantowicz. Invariant topological complexity.Bull. Lond. Math. Soc., 47(1):101–117, 2015

    work page 2015

  34. [34]

    Méthodes topologiques dans les problèmes variationnels.Actualités scientifiques et industrielles, vol

    Lazar Lyusternik and Levi Šnirelmann. Méthodes topologiques dans les problèmes variationnels.Actualités scientifiques et industrielles, vol. 188, Exposés sur l’analyse mathématique et ses applications, vol.3, Hermann, Paris, 42, 1934. 35

    work page 1934

  35. [35]

    AG-Lusternik-Schnirelman category of space with an action of a compact Lie group.Topology, 28(4):403–412, 1989

    Wacław Marzantowicz. AG-Lusternik-Schnirelman category of space with an action of a compact Lie group.Topology, 28(4):403–412, 1989

    work page 1989

  36. [36]

    Parametrized topological complexity of spherical fibrations over spheres.Math

    Yuki Minowa. Parametrized topological complexity of spherical fibrations over spheres.Math. Z., 311(1):Paper No. 1, 35, 2025

    work page 2025

  37. [37]

    Munkres.Topology

    James R. Munkres.Topology. Prentice Hall, Inc., Upper Saddle River, NJ, second edition, 2000

    work page 2000

  38. [38]

    Yuli B. Rudyak. On higher analogs of topological complexity.Topology Appl., 157(5):916–920, 2010

    work page 2010

  39. [39]

    Higher order cohomology operations in local coefficient theory.American Journal of Mathematics, 89(4):909–931, 1967

    Jerrold Siegel. Higher order cohomology operations in local coefficient theory.American Journal of Mathematics, 89(4):909–931, 1967

    work page 1967

  40. [40]

    Princeton Mathematical Series, vol

    Norman Steenrod.The Topology of Fibre Bundles. Princeton Mathematical Series, vol. 14. Princeton University Press, Princeton, N. J., 1951

    work page 1951

  41. [41]

    Albert S. Švarc. The genus of a fiber space.Dokl. Akad. Nauk SSSR (N.S.), 119:219–222, 1958. 36

    work page 1958