The explicit reciprocity law in local class field theory (Q1078613)

The author proves an explicit reciprocity law conjectured by R. Coleman. It generalizes the explicit laws of Artin-Hasse, Iwasawa and \textit{A. Wiles} [Ann. Math., II. Ser. 107, 235-254 (1978; Zbl 0378.12006)] by giving a complete formula for the norm residue symbol on Lubin-Tate groups. To state the result, let k be a finite extension of \({\mathbb{Q}}_ p\), \(\pi\) its uniformizer, \({\mathcal O}\) its valuation ring. Lubin-Tate associated with certain \(\ell \in {\mathcal O}[[ T]]\) a one dimensional formal group \(F_{\ell}\) over \({\mathcal O}\). Write \([+]\) for its addition and [a] for the endomorphism with differential a. Let \(W^ n_{\ell}\) denote \(\pi^ n\)-division points of \(F_{\ell}\), \(k^ n_{\pi}=k(W^ n_{\ell})\), \(p_ n\) its valuation ideal. The Kummer pairing \(F_{\ell}(p_ n)\times (k^ n_{\pi})^{\times}\to W^ n_{\ell}\) is defined by \((\alpha,\beta)_ n=\sigma_{\beta}(a)[-]a\), where, for \(\alpha\in p_ n\) and \(\beta \in (k^ n_{\pi})^{\times}\), \(\sigma_{\beta}\) is the Artin symbol of \(\beta\), \([\pi^ n](a)=\alpha\), \(a\in \bar k\) the algebraic closure. Now, for such \(\alpha\), \(\beta\), there exist \(f\in T {\mathcal O}[[ T]]\), \(g\in {\mathcal O}((T))^{\times}\) satisfying \(f(\omega_ n)=\alpha\), \(g(\omega_ n)=\beta\), where \(\omega_ n\) is fixed in \(W^ n_{\ell}-W_{\ell}^{n-1}\), \([\pi](\omega_ n)=\omega_{n-1}\). Let \(\lambda\) be the logarithm of \(F_{\ell}\), and put \(\delta g=(d\lambda /dT)^{-1}\cdot (dg/dT)g^{- 1}\in T^{-1} {\mathcal O}[[ T]]\). Let N denote Coleman's norm operator on \({\mathcal O}((T))^{\times}\), and define \[ (f,g)_ n=\pi^{-n} \{\sum_{\omega \in W^ n_{\ell}}(\lambda \circ f-\frac{\lambda \circ f\circ [\pi]}{\pi})\delta g(\omega)+\frac{df}{dT}(0)\cdot (1-\frac{Ng}{g}(0))\}. \] The author proves that \((f,g)_ n\in {\mathcal O}\) and \((\alpha,\beta)_ n=[(f,g)_ n](\omega_ n)\). \textit{R. F. Coleman} conjectured this formula in [Duke Math. J. 48, 449-466 (1981; Zbl 0475.12021)], and proved it for the multiplicative formal group in [Bull. Soc. Math. France 109, 373-402 (1981; Zbl 0493.12019)]. Finally, the author remarks that his method can be applied to generalized Lubin-Tate groups constructed by him in [Proc. Am. Math. Soc. 95, 1-4 (1985; Zbl 0578.12013)], and shows that the field obtained by adjoining to \(k^{\infty}_{\pi}=k(\cup W^ n_{\ell})\) all the roots a of \([\pi^ n](a)=\alpha\) for all \(\alpha\in p_{\infty}\) and all n equals the maximal abelian p-extension of k.