The Gersten conjecture for tame logarithmic de Rham–Witt sheaves

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

0Rjβ(WrΩX,log,tn)xX(0)i,xHj(x,WrΩx,log,tn)xX(1)i,xHj(x,WrΩx,log,tn1)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 xX(d)i,xHj(x,WrΩx,log,tnd)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.

Sources & referencesView supporting material

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.