Cohomological Hasse principle for the ring \(\mathbb F_p((t))[[X, Y]]\) (Q1772518)

The present paper deals with the arithmetic Bloch-Ogus complex for 2-dimensional complete normal local rings of positive characteristic whose residue field is a local field. More precisely, let \(A\) be such a ring, \(K =\) Frac \((A),\) \(k =\) the residue field, \(X=\text{ Spec}(A)\setminus \{\)maximal ideal of \(A \}.\) The author shows a ``duality theorem'': For any prime number \(\ell\) different from Char \(A,\) one has an isomorphism \(H^5(X, {\mathbb Z}/\ell (3)) \simeq {\mathbb Z}/\ell\) and a perfect duality \[ H^1(X, {\mathbb Z}/\ell) \times H^4(X, {\mathbb Z}/\ell (3)) \to H^5(X, {\mathbb Z}/\ell (3)) \simeq {\mathbb Z}/\ell \] One first consequence, by a ``purity'' result of Fujiwara-Gabber, is an exact sequence: \[ 0 \to \pi_1^{c,s}(X)/\ell \to H^4 (K, {\mathbb Z}/\ell(3)) \to {\mathop\bigoplus_{v \in P}} H^3(k(v), {\mathbb Z}/\ell(2)) \to {\mathbb Z}/\ell \to 0, \] where \(\pi_1^{c,s}(X)\) denotes the quotient group of \(\pi_1^{ab}(X)\) which classifies abelian ``completely split'' coverings of \(X,\) \(P\) is the set of height one prime ideals of \(A,\) \(k(v)\) the residue field at \(v\) of the henselization of \(A.\) For \(A = {\mathbb F}_p ((t)) [[X, Y]]\) (a regular ring), using a recent result of \textit{I.A. Panin} [Proc. Steklov Inst. Math. 241, 154--163 (2003); translation from Tr. Mat. Inst. Im. V. A. Steklova 241, 169--178 (2003; Zbl 1115.19300 )] on the homology of the Bloch-Ogus complex, one can then show the vanishing of \(\pi_1^{c,s}(X)/\ell,\) hence a cohomological Hasse principle for \({\mathbb F}_p((t)) [[X, Y]].\)