Ramification theory for degree \(p\) extensions of arbitrary valuation rings in mixed characteristic \((0,p)\) (Q2636367)

Let \(K\) be a Henselian valued field of characteristic 0 whose residue field has characteristic \(p>0\). It is not assumed that \(K\) is complete, that the value group of \(K\) is \(\mathbb Z\), or that the residue field of \(K\) is perfect. This paper considers the ramification theory of cyclic extensions \(L/K\) of degree \(p\). The case char\((K)=p\) was studied in [\textit{V. Thatte}, J. Algebra 456, 355--389 (2016; Zbl 1339.11096)]. When \(K\) is a complete discretely valued field with perfect residue field the results in this paper reduce to well-known facts from local field theory. Suppose \(K\) contains a primitive \(p\)th root of unity \(\zeta\), so that \(L/K\) is a Kummer extension. Let \(A\) be the valuation ring of \(K\), let \(B\) be the integral closure of \(A\) in \(L\), and let \(\sigma\) be a generator of Gal\((L/K)\). Define \(\mathcal{I}_{\sigma}\) to be the ideal in \(B\) generated by all elements of the form \(\sigma(b)-b\) for \(b\in B\). Define \(\mathcal{J}_{\sigma}\) to be the ideal in \(B\) generated by all elements of the form \(\sigma(l)l^{-1}-1\) for \(l\in L^{\times}\). The ideals \(\mathcal{I}_{\sigma}\) and \(\mathcal{J}_{\sigma}\) may be viewed as substitutes for the ramification number \(i(\sigma)\) of classical ramification theory. Let \(\mathfrak{A}\) be the set of all \(h\in K\) such that \(L\) is generated over \(K\) by a root of \(X^p-h\). Let \(\mathcal{H}\) be the ideal in \(A\) generated by the elements \((\zeta-1)^p/(h-1)\) for \(h\in\mathfrak{A}\); it is shown here that these elements all lie in \(A\). Let \(\mathcal{N}_{\sigma}\) denote the ideal of \(A\) generated by all \(N_{L/K}(c)\) for \(c\in\mathcal{I}_{\sigma}\). 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\). This paper proves the following: \begin{itemize} \item[1.] \(\mathcal{H}={\mathcal N}_{\sigma}\) \item[2.] \(\omega_{B/A}^1/{\mathcal J}_{\sigma}\omega_{B/A}^1 \cong{\mathcal J}_{\sigma}/{\mathcal J}_{\sigma}^2\) \item[3.] \(\mathcal{H}/\mathcal{H}^2\cong\omega_A^1/ ({\mathcal I}_{\sigma}\cap A)\omega_A^1\) \end{itemize} The isomorphism in (c) may be interpreted as giving a generalization of Kato's refined Swan conductor. It is also proved here that by applying isomorphisms (b) and (c) we get a commutative diagram \[\begin{array}{ccc} \omega_{B/A}^1/{\mathcal J}_{\sigma}\omega_{B/A}^1 &\longrightarrow &{\mathcal J}_{\sigma}/{\mathcal J}_{\sigma}^2 \\[2mm] \big\downarrow&&\big\downarrow \\[2mm] \omega_A^1/({\mathcal I}_{\sigma}\cap A)\omega_A^1 &\longleftarrow&\mathcal{H}/\mathcal{H}^2 \end{array}\] where the vertical maps are induced by the norm from \(L\) to \(K\). The author then states and proves versions of these theorems which apply to the case where \(L/K\) is a cyclic extension of degree \(p\) which is not assumed to be Kummer. She also points out that the arguments in this paper can be used to extend the results of [loc. cit.].