Uniqueness of higher deloopings in the Weiss tower

About 13 years old · traced to

Let VV be a real inner-product space, let QBEk(R⊕V)⊗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 r≥1r\geq 1 and any d>1d>1, the (d−1)(d-1)-fold looping map

hoNat⁡[ΩQBEk(R⊕V)⊗Rρk,ΩQBEk+r(R⊕V)⊗Rρk+r]⟶hoNat⁡[ΩdQBEk(R⊕V)⊗Rρk,ΩdQBEk+r(R⊕V)⊗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.

References

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.