The non-delooping conjecture for mapping spaces of classifying-space skeleta

Let GG be a non-commutative compact connected Lie group, let BnGB_nG denote the nn-th stage of the classifying-space construction, and let ιn ⁣:BnGBG\iota_n\colon B_nG\to BG be the canonical map. For 1n<1\le n<\infty, consider the mapping space Map(BnG,BG;ιn)\operatorname{Map}(B_nG,BG;\iota_n) in the component of ιn\iota_n. Non-delooping conjecture. The space

Map(BnG,BG;ιn)\operatorname{Map}(B_nG,BG;\iota_n)

is never delooped. This conjecture asserts non-extendability of the evaluation fiber sequence discussed above; the preceding examples show both a non-deloopable mapping space in a related case and a contrasting torus case where the relevant maps are weak equivalences.

Sources & referencesView supporting material

Primary source

Mitsunobu Tsutaya, “Mapping spaces from projective spaces”, arXiv:1408.2010 (2015).

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.