Positive-characteristic structure conjecture for Suslin homology

Let k\Bbbk be an algebraically closed field of positive characteristic pp, and let XX be a scheme separated of finite type over k\Bbbk. Define HiS(X,Z[1/p])H_i^S(X,\mathbb{Z}[1/p]), and let bi,(X)=rank(Heˊti(X,Z))b_{i,\ell}(X)=\operatorname{rank}(H^i_{\operatorname{\acute{e}t}}(X,\mathbb{Z}_{\ell})).

Positive-characteristic structure conjecture. There are a uniquely divisible group VV, integers si,s_{i,\ell} and rir_i, and a torsion group T=pHeˊti+1(X,Z)torT=\bigoplus_{\ell\neq p}H^{i+1}_{\operatorname{\acute{e}t}}(X,\mathbb{Z}_{\ell})_{\mathrm{tor}} such that

HiS(X,Z[1/p])Vp(Qp/Zp)si,Z[1/p]riT,H_i^S(X,\mathbb{Z}[1/p])\cong V\oplus \bigoplus_{\ell\neq p}(\mathbb{Q}_p/\mathbb{Z}_p)^{s_{i,\ell}}\oplus \mathbb{Z}[1/p]^{\oplus r_i}\oplus T,

and

si1,+ri=bi,(X)=rank(Heˊti(X,Z)).s_{i-1,\ell}+r_i=b_{i,\ell}(X)=\operatorname{rank}(H^i_{\operatorname{\acute{e}t}}(X,\mathbb{Z}_{\ell})).

This conjecture implies HSi(X,Z/n)Heˊti(X,Z/n)H_S^i(X,\mathbb{Z}/n)\cong H_{\operatorname{\acute{e}t}}^i(X,\mathbb{Z}/n), a result established in the cited work. The source does not provide evidence that the displayed structural conjecture itself has been resolved.

Sources & referencesView supporting material

Primary source

Xiaowen Hu and with an Appendix by Bruno Kahn, “On Suslin homology with integral coefficients in characteristic zero (with an appendix by Bruno Kahn)”, arXiv:1902.00932 (2020).

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.