Positive-characteristic structure conjecture for Suslin homology

About 7 years old · traced to

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ˊt⁡i(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ˊt⁡i+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])≅V⊕⨁ℓ≠p(Qp/Zp)si,ℓ⊕Z[1/p]⊕ri⊕T,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

si−1,ℓ+ri=bi,ℓ(X)=rank⁡(Heˊt⁡i(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ˊt⁡i(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.

References

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.