The explicit reciprocity law in local class field theory (Q1078613): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / reviewed by
 
Property / reviewed by: Xiangsun Zhang / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q114846384 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5566638 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Division values in local fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The arithmetic of Lubin-Tate division towers / rank
 
Normal rank
Property / cites work
 
Property / cites work: The dilogarithm and the norm residue symbol / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relative Lubin-Tate Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: On explicit formulas for the norm residue symbol / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3866187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4195041 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3876021 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On explicit reciprocity laws. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On explicit reciprocity laws. II. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher explicit reciprocity laws / rank
 
Normal rank

Latest revision as of 14:10, 17 June 2024

scientific article
Language Label Description Also known as
English
The explicit reciprocity law in local class field theory
scientific article

    Statements

    The explicit reciprocity law in local class field theory (English)
    0 references
    0 references
    1986
    0 references
    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.
    0 references
    local class field theory
    0 references
    explicit reciprocity law
    0 references
    norm residue symbol on Lubin-Tate groups
    0 references

    Identifiers