Coarse mapping-space model for coarse homotopy groups

Less than 1 year old · traced to

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

c′Sn={(hx,h)∈Rn+1×[0,∞)∣x∈Sn,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 (c′Sn,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.

References

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.