Explicit reciprocity laws for higher local fields (Q2182173): Difference between revisions

Let \(K\) be a finite extension of the \(p\)-adic field \(\mathbb{Q}_p\). Let \(\pi\) be a uniformizer for \(K\), let \(q\) be the cardinality of the residue field of \(K\), and let \(\varrho=e(K/\mathbb{Q}_p)\) be the absolute ramification index of \(K\). Let \(C\) be the ring of integers of \(K\) and let \(f(X)\in C[[X]]\) satisfy \(f(X)\equiv\pi X\pmod{X^2}\) and \(f(X)\equiv X^q\pmod{\pi}\). Let \(F(X,Y)\) be the Lubin-Tate formal group law associated to \(f(X)\). Let \(\mathcal{L}\) be a \(d\)-dimensional local field which contains \(K\), let \(\mathcal{L}^{\mathrm{sep}}\) be a separable closure of \(\mathcal{L}\), and let \(\mathcal{L}^{ab}/\mathcal{L}\) be the maximum abelian subextension of \(\mathcal{L}^{\mathrm{sep}}/\mathcal{L}\). Let \(\mu_{\mathcal{L}}\) be the maximal ideal in the ring of integers of \(\mathcal{L}\). For \(n\ge0\) let \(\kappa_{f,n}\subset\mathcal{L}^{\mathrm{sep}}\) be the set of \(\pi^n\)-torsion points of \(F\). Let \(K_d(\mathcal{L})\) denote the \(d\)th Milnor \(K\)-group of \(\mathcal{L}\). One defines a Kummer pairing \((\:,\,)_{\mathcal{L},n}:K_d(\mathcal{L})\times F(\mu_{\mathcal{L}})\rightarrow\kappa_{f,n}\) by setting \((\alpha,x)_{\mathcal{L},n}=\Upsilon_{\mathcal{L}}(\alpha)(z)\ominus_Fz\), where \(\Upsilon_{\mathcal{L}}:K_d(\mathcal{L})\rightarrow\text{Gal}(\mathcal{L}^{ab}/\mathcal{L})\) is Kato's reciprocity map [\textit{K. Kato}, Proc. Japan Acad., Ser. A 54, 250--255 (1978; Zbl 0411.12013)], \(\ominus_F\) is subtraction in the formal group law \(F\), and \(z\in\mathcal{L}^{\mathrm{sep}}\) satisfies \([\pi^n]_F(z)=x\). The main result in this paper is an explicit formula for computing the value of this Kummer pairing in certain cases. This formula is an application of a formula from [the author, ``The norm residue symbol for higher local fields'', Preprint, \url{arXiv:1702.04382}] that applies to the Kummer pairing for arbitrary (not necessarily Lubin-Tate) one-dimensional formal group laws. One case for which the pairing can be computed occurs when \(v_{\mathcal{L}}(x)\ge 2v_{\mathcal{L}}(p)/((q-1)\cdot\varrho)\). This case gives a generalization to the setting of higher local fields of \textit{K. Iwasawa}'s classical formula [J. Math. Soc. Japan 20, 151--165 (1968; Zbl 0256.12013)].