Ramification of local fields with imperfect residue fields. III (Q662391)

Let \(K\) be a complete discrete valuation field and \(F\) be the residue field which is finitely generated over a perfect subfield \(k\) of characteristic \(p>0\). Let \(\mathcal{O}_K\) be the ring of integer of \(K\). There is an \(F\)-vector space of finite dimension \[ \Omega_F(\mathrm{log}):=(\Omega_{F/k}^1 \oplus (F \otimes K^{\times})/(d\bar{a}-\bar{a}\otimes a; a \in \mathcal{O}_K^{\times}). \] Let \(\mathrm{ord}_{\bar{K}}\) be the valuation of \(\bar{K}\) extending the normalized valuation \(\mathrm{ord}_K\) of \(K\) and we put \(\mathfrak{m}_{\bar{K}^r} = \{x \in \bar{K} \; | \; \mathrm{ord}_{\bar{K}} x \geq r\}\) and \(\mathfrak{m}_{\bar{K}^{r+}} = \{x \in \bar{K} \; | \; \mathrm{ord}_{\bar{K}} x > r\}\). Consider the \(\bar{F}\)-vector space \(\Theta^{(r)}_{\bar{F}} = \mathrm{Hom}_F(\Omega_F(\mathrm{log}), \mathfrak{m}^r_{\bar{K}}/\mathfrak{m}^{r+}_{\bar{K}})\) as a smooth additive algebraic group over \(\bar{F}\). In [Doc. Math., J. DMV Extra Vol., 5--72 (2003; Zbl 1127.11349)], the author defined a canonical surjection \[ \pi_1(\Omega_{\bar{F}}^{(r)})^{\mathrm{ab}} \to \mathrm{Gr}^r G_K. \tag{*} \] Here \(G_K = \mathrm{Gal}(\bar{K}/K)\), and \(\mathrm{Gr}^rG_K = G_K^r/G^{r+}_K\) where \((G^r_K)_{r \in \mathbb{Q}, r>0}\) is the decreasing filtration by logarithmic ramification groups and \(G_K^{r+} = \overline{\bigcup_{s>r} G_K^s}\). \textbf{Theorem}: The canonical surjection \((*)\) factors through the quotient of \(\pi_1(\Omega_{\bar{F}}^{(r)})^{\mathrm{ab}}\) classifying étale isogenies. Consequently, the abelian group \(\mathrm{Gr}^rG_K\) is killed by \(p\) and there exists a canonical injection \[ \mathrm{Hom}(\mathrm{Gr}^rG_K, \mathbb{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}^r_{\bar{K}}/\mathfrak{m}^{r+}_{\bar{K}}, \Omega_F(\mathrm{log}) \otimes \bar{F}). \] The theorem is proved in the equal characteristic case in [J. Inst. Math. Jussieu 8, No. 4 769--829 (2009; Zbl 1177.14044)]. The basic idea of the proof is the same as in the equal characteristic case. However, in the mixed characteristic case, the crucial projections are not defined as maps of schemes, but defined only as an infinitesimal deformation of a morphism of discrete valuation fields. The author shows that an infinitesimal deformation induces a functor of Galois categories (Section 3) and they satisfy a transitivity property (Section 4), which is the main technique to prove the main theorem.