On the structure of Milnor \(K\)-groups of certain complete discrete valuation fields (Q2483701): Difference between revisions

Let \(K\) be a complete discrete valuation field with maximal ideal \(m\). Then the Milnor \(K\)-group \(K_2(K)\) has a filtration by the subgroups \(U^iK_2(M)\) generated by the symbols \(\{1+ m^i, K^\times\}\). The author determines the structure of the graded quotients \(\text{gr}^iK_2(K)= U^iK_2(K)/U^{i+1}K_2(M)\) when \(K\) has mixed characteristic and is of `type II' -- essentially \(K= K_0(\root p\of{pT})\) for a suitable base field \(K_0\), where \(T\) is a variable and \(p> 2\) is the characteristic of the residue field \(F\). In particular, it is assumed that \([F: F^p]= p\). Then for \(i> p+ 1\) prime to \(p\), \(\text{gr}^i K_2(K)= 0\), while \(\text{gr}^{2p} K_2(K)\cong F/F^p\) and for \(i= np\), \(n\geq 3\), \(\text{gr}^{ip} K_2(K)\cong F^{p^{n-2}}\). In the remaining cases, \(1\leq i\leq p+1\), \(\text{gr}^i K_2(K)\) has been determined by Bloch and Kato. A corollary is that \(K\) cannot have a cyclic totally ramified extension of degree \(p^3\). A lengthy appendix gives, in a more general context, the construction of an exponential function \(\exp_p: \widehat\Omega^1_0\to K_2(K)^\wedge\) from the \(p\)-adic completion of the Kähler differentials on the integers \(0\) of \(K\) to that of the Milnor \(K\)-group, which is needed in the main argument.