The conjecture on étale pro-homology and pro-homotopy satellites

Let XetX^{et} be the étale site from Example, let AA be an abelian group, and let \Greekmath0119net(X){\Greekmath 0119}_n^{et}(X) and Hnet(X,A)H_n^{et}(X,A) denote étale pro-homotopy and étale pro-homology. The étale satellite conjecture. The left satellites of H0H_0 are naturally isomorphic to étale pro-homology:

Hn(Xet,A#)Hnet(X,A).H_n(X^{et},A_{\#})\simeq H_n^{et}(X,A).

Moreover, the non-abelian left satellites of H0H_0 are naturally isomorphic to étale pro-homotopy:

Hn(Xet,(pt)#)Hn(Xet,\Greekmath01190et)\Greekmath0119net(X).H_n(X^{et},(\mathbf{pt})_{\#})\simeq H_n(X^{et},{\Greekmath 0119}_0^{et})\simeq {\Greekmath 0119}_n^{et}(X).

The claim proposes an étale-homotopy-theoretic application of the cosheaf satellite construction; the source does not state whether it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Andrei V. Prasolov, “Cosheafification”, arXiv:1605.01555 (2016).

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.