Coarse mapping-space model for coarse homotopy groups

Let (X,C,B)(X,\mathcal{C},\mathcal{B}) be a bornological coarse space, let ω\omega be a base ray, and let nN0n\in\mathbb{N}_0. Define

cSn={(hx,h)Rn+1×[0,)xSn,2h[0,)}.c'S^n=\{(hx,h)\in\mathbb{R}^{n+1}\times[0,\infty)\mid x\in S^n,2 h\in[0,\infty)\}.

Coarse mapping-space conjecture. The coarse homotopy group πnc(X,ω)\pi_n^c(X,\omega) is isomorphic to the group, or pointed set when appropriate, of base-ray-preserving coarse homotopy classes of base-ray-preserving coarse maps (cSn,c{x0})(X,ω)(c'S^n,c\{x_0\})\to(X,\omega). This would provide a direct mapping-space description of coarse homotopy groups and is used in the proposed construction of a coarse Hurewicz map.

Sources & referencesView supporting material

Primary source

Felix Lange, “Coarse Homotopy Theory and Shape Theory”, arXiv:2606.14212 (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.