Uniqueness of higher deloopings in the Weiss tower

Let VV be a real inner-product space, let QBEk(RV)RρkQBE_k^{(\mathbb R\oplus V)\otimes_{\mathbb R}\rho_k} denote the source spaces in the Weiss tower, and let hoNat\operatorname{hoNat} denote the homotopically meaningful space of natural transformations. Higher-delooping uniqueness conjecture. For all r1r\geq 1 and any d>1d>1, the (d1)(d-1)-fold looping map

hoNat[ΩQBEk(RV)Rρk,ΩQBEk+r(RV)Rρk+r]hoNat[ΩdQBEk(RV)Rρk,ΩdQBEk+r(RV)Rρk+r]\operatorname{hoNat}\left[\Omega QBE_k^{(\mathbb R\oplus V)\otimes_{\mathbb R}\rho_k},\Omega QBE_{k+r}^{(\mathbb R\oplus V)\otimes_{\mathbb R}\rho_{k+r}}\right] \longrightarrow \operatorname{hoNat}\left[\Omega^dQBE_k^{(\mathbb R\oplus V)\otimes_{\mathbb R}\rho_k},\Omega^dQBE_{k+r}^{(\mathbb R\oplus V)\otimes_{\mathbb R}\rho_{k+r}}\right]

is bijective, and in particular one-to-one, on π0\pi_0. This is proposed as a generalization of the cited uniqueness theorem for r=1r=1; in the case r=2r=2, it would imply the nullity of the composite of two successive deloopings. The supplied text gives no resolution for general rr.

Sources & referencesView supporting material

Primary source

Nicholas J. Kuhn, “The Whitehead Conjecture, the Tower of S^1 Conjecture, and Hecke algebras of type A”, arXiv:1308.4441 (2014).

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.