The norm residue symbol for higher local fields (Q2668919)

Let \(K\) be a finite extension of the \(p\)-adic field \(\mathbb{Q}_p\), let \(\mathcal{O}_K\) denote the ring of integers of \(K\), and let \(K^{\mathrm{alg}}\) be an algebraic closure of \(K\). Let \(F(X,Y)\) be a formal group law of height \(h<\infty\) defined over \(\mathcal{O}_K\). Let \(S\) be a local field whose ring of integers \(C\) is contained in End\((F)\). Then for each \(a\in C\) there is a unique endomorphism of \(F\) of the form \([a]_F(X)=aX+\cdots\). Let \(\pi\) be a uniformizer for \(C\), let \(n\ge1\), and let \(\kappa_n\subset K^{\mathrm{alg}}\) be the \([\pi^n]_F\)-torsion subgroup of \(F\). Let \(\mathcal{L}\) be a \(d\)-dimensional local field which contains \(K(\kappa_n)\), let \(\mathcal{O}_{\mathcal{L}}\) be the ring of integers of \(\mathcal{L}\), and let \(\mu_{\mathcal{L}}\) be the maximal ideal of \(\mathcal{O}_{\mathcal{L}}\). Then the formal group law \(F(X,Y)\) makes \(\mu_{\mathcal{L}}\) an abelian group, which is denoted by \(F(\mu_{\mathcal{L}})\). 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_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 using the formal group law \(F\), and \(z\in\mathcal{L}^{\mathrm{alg}}\) 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. The formula, which is too technical to state here, depends on multidimensional \(p\)-adic differentiation, the logarithm of \(F(X,Y)\), the generalized trace for higher local fields, and the norm on Milnor \(K\)-groups. The formula is a generalization to higher local fields of Kolyvagin's explicit reciprocity law from [\textit{V. A. Kolyvagin}, Math. USSR, Izv. 15, 289--348 (1980; Zbl 0443.12005)]. This paper can be viewed as a companion to [\textit{J. Flórez}, J. Number Theory 213, 400--444 (2020; Zbl 1451.11131)], which gives similar, but more explicit, formulas for computing norm residue symbols for higher local fields under more restrictive hypotheses.