The Gersten conjecture for tame logarithmic de Rham–Witt sheaves

About 12 years old · traced to

Let kk be a perfect field of characteristic p>0p>0, and let XX be a smooth dd-dimensional kk-scheme. Write X(a)X^{(a)} for the points of codimension aa, i∗,xi_{*,x} for extension by zero from the point xx, β\beta for the morphism from the tame site to the relevant underlying site, and WrΩX,log⁡,tnW_r\Omega_{X,\log,t}^n for the tame logarithmic de Rham–Witt sheaf. Gersten conjecture. There is an exact sequence of sheaves

0→Rjβ∗(WrΩX,log⁡,tn)→⨁x∈X(0)i∗,xHj(x,WrΩx,log⁡,tn)→⨁x∈X(1)i∗,xHj(x,WrΩx,log⁡,tn−1)→0\to R^j\beta_*(W_r\Omega_{X,\log,t}^n)\to\bigoplus_{x\in X^{(0)}}i_{*,x}H^j(x,W_r\Omega_{x,\log,t}^n)\to\bigoplus_{x\in X^{(1)}}i_{*,x}H^j(x,W_r\Omega_{x,\log,t}^{n-1})\to ⋯→⨁x∈X(d)i∗,xHj(x,WrΩx,log⁡,tn−d)→0.\dots\to\bigoplus_{x\in X^{(d)}}i_{*,x}H^j(x,W_r\Omega_{x,\log,t}^{n-d})\to0.

This is proposed as the optimal Gersten-type resolution in the tame topology. The source relates it to a purity conjecture and gives no resolution.

References

Primary source

Morten Lüders, “p-adic tame Tate twists”, arXiv:2407.07979 (2024).

Additional references

2 papers in this index state this conjecture (2014–2024). The statement above is taken from the most recent of them; the others are arXiv:1402.4201.

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.