An upper-bound conjecture for equivariant parametrized topological complexity of configuration spaces

Let F(R2,n)F(\mathbb{R}^2,n) denote the ordered configuration space of nn distinct points in the plane, and let TCΣs[F(R2,s+1)F(R2,s)]\mathrm{TC}^{\Sigma_s}[F(\mathbb{R}^2,s+1)\to F(\mathbb{R}^2,s)] denote the Σs\Sigma_s-equivariant parametrized topological complexity of the forgetful fibration that omits one point. The upper-bound conjecture.

TCΣs[F(R2,s+1)F(R2,s)]3+s.\mathrm{TC}^{\Sigma_s}[F(\mathbb{R}^2,s+1) \to F(\mathbb{R}^2,s)] \leq 3+s.

The preceding argument does not apply when t=1t=1, because Bs+1Σs/ZB_{s+1}^{\Sigma_s}/Z is not torsion free and consequently every CW-complex of type K(Bs+1Σs/Z,1)K(B_{s+1}^{\Sigma_s}/Z,1) is infinite dimensional. The stated upper bound is therefore left as a conjectural case requiring a different argument.

Sources & referencesView supporting material

Primary source

Ramandeep Singh Arora and Navnath Daundkar, “Equivariant and invariant parametrized topological complexity”, arXiv:2412.12921 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.