Rigidity for tame cohomology over henselian pairs

Let SS be a henselian discrete valuation ring with maximal ideal mS=(π)\mathfrak m_S=(\pi). Let AA be a separated essentially of finite type SS-algebra such that (A,I=(π)A)(A,I=(\pi)A) is a henselian pair. Let i:Spec(A/I)Spec(A)i:\operatorname{Spec}(A/I)\to\operatorname{Spec}(A) be the corresponding inclusion, and let FSh((Spec(A)/S)t)F\in \operatorname{Sh}((\operatorname{Spec}(A)/S)_t). Rigidity conjecture. The restriction map

Hs(Spec(A),F)Hs(Spec(A/I),iF)H^s(\operatorname{Spec}(A),F)\cong H^s(\operatorname{Spec}(A/I),i^*F)

is an isomorphism for all ss.

This predicts invariance of tame cohomology under passage from the henselian pair to its closed fibre. The source gives no proof or resolution for this assertion.

Sources & referencesView supporting material

Primary source

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

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.