Ramification theory for Artin-Schreier extensions of valuation rings (Q286565)

Let \(K\) be a valued field of characteristic \(p\) whose valuation ring \(A\) is Henselian. It is not assumed that \(K\) is complete, that the value group of \(K\) is \(\mathbb Z\), or that the residue field of \(A\) is perfect. Let \(L/K\) be a cyclic extension of degree \(p\), so that \(L\) is generated by a root of an Artin-Schreier polynomial over \(K\). Let \(v_L\) be the valuation on \(L\) which extends the valuation \(v_K\) on \(K\) and let \(B\) be the valuation ring of \(L\). For a generator \(\sigma\) of Gal\((L/K)\) let \({\mathcal I}_{\sigma}\) be the ideal in \(B\) generated by the set \(\{\sigma(b)-b:b\in B\}\), and let \({\mathcal J}_{\sigma}\) be the ideal in \(B\) generated by the set \(\{(\sigma(b)-b)/b: b\in L^{\times}\}\). Let \({\mathcal N}_{\sigma}\) be the ideal in \(A\) generated by the elements of N\(_{L/K}({\mathcal J}_{\sigma})\), and let \(H\) be the ideal in \(A\) generated by the set of all elements \(1/f\), where \(f\in K\) is such that \(L\) is generated by a root of \(X^p-X-f\). Let \(\omega_A^1\) denote the \(A\)-module of logarithmic differentials of \(A\), and let \(\omega_{B/A}^1\) denote the \(B\)-module of logarithmic differentials of \(B\) over \(A\). Let \(k\) be the residue field of \(K\), let \(l\) be the residue field of \(L\), and assume that at least one of the following holds: {\parindent=0.6cm\begin{itemize}\item[--] The value group \(v_K(K^{\times})\) of \(K\) is isomorphic as an ordered group to a subgroup of \(\mathbb R\). \item[--] \([l:k]\cdot|v_L(L^{\times}):v_L(K^{\times})|=p\). \end{itemize}} This paper proves the following statements under this assumption: {\parindent=0.6cm\begin{itemize}\item[(1)] \(H={\mathcal N}_{\sigma}\) \item[(2)] \(H/H^2\cong\omega_A^1/ ({\mathcal I}_{\sigma}\cap A)\omega_A^1\) \item[(3)] \(\omega_{B/A}^1/{\mathcal J}_{\sigma}\omega_{B/A}^1 \cong{\mathcal J}_{\sigma}/{\mathcal J}_{\sigma}^2\). \end{itemize}} In the case where \(L/K\) is an Artin-Schreier extension of complete discretely valued fields with perfect residue fields these theorems reduce to well-known facts from local field theory. In addition, these results give refinements of work of \textit{K. Kato} [Adv. Stud. Pure Math. 12, 315--342 (1987; Zbl 0658.12016); Contemp. Math. 83, 101--131 (1989; Zbl 0716.12006); Am. J. Math. 116, No. 4, 757--784 (1994; Zbl 0864.11057)] in the setting of Artin-Schreier extensions.