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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
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