The locally finite satellite conjecture for singular homology and homotopy

Let XX be a pointed finite, or more generally locally finite, topological space. Let Hn(X,G#)H_n(X,G_{\#}) denote cosheaf homology, let LnH0(X,G#)L_nH_0(X,G_{\#}) denote the left satellites of H0H_0, and write \Greekmath0119n(X){\Greekmath 0119}_n(X) for the homotopy groups.

Locally finite satellite conjecture. The left satellites are naturally isomorphic to singular homology:

Hn(X,G#):=LnH0(X,G#)Hnsing(X,G).H_n(X,G_{\#}):=L_nH_0(X,G_{\#})\simeq H_n^{\operatorname{sing}}(X,G).

Moreover, the nonabelian left satellites are naturally isomorphic to homotopy groups:

Hn(X,S#)S×\Greekmath0119n(X),Hn(X,(pt)#)\Greekmath0119n(X).H_n(X,S_{\#})\simeq S\times{\Greekmath 0119}_n(X),\qquad H_n\left(X,(\mathbf{pt})_{\#}\right)\simeq{\Greekmath 0119}_n(X).

The conjecture is illustrated by a finite-circle example and contrasts with the comparatively trivial pro-homology and pro-homotopy of locally finite spaces.

Sources & referencesView supporting material

Primary source

Andrei V. Prasolov, “Cosheaves”, arXiv:1804.07988 (2018).

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.