Reduction in \(K\)-theory of some infinite extensions of number fields (Q1038631): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.7169/facm/1229696560 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.7169/FACM/1229696560 / rank
 
Normal rank

Latest revision as of 14:19, 10 December 2024

scientific article
Language Label Description Also known as
English
Reduction in \(K\)-theory of some infinite extensions of number fields
scientific article

    Statements

    Reduction in \(K\)-theory of some infinite extensions of number fields (English)
    0 references
    0 references
    18 November 2009
    0 references
    Let \(F\) be a number field with ring of integers \({\mathcal O}_F\). Let \(\nu\) be a prime ideal of \(F\). Let \(F(\mu_\infty)\) be the infinite extension \(F(\mu_\infty)= \bigcup_{m\geq 1}F(\mu_m)\). Let \(\widetilde\nu\) be a prime ideal of \(F(\mu_\infty)\) lying over \(\nu\). Let \(\kappa_{\widetilde\nu}\) be the residue fields of \(\nu\) and \(\widetilde\nu\) respectively (so that \(\kappa_{\widetilde\nu}\) is the algebraic closure of the finite field \(\kappa_\nu\)). Fix \(n\geq 1\) and let \(r_{\widetilde\nu}\) denote the natural reduction map from \(K_{2n+ 1}(F(\mu_\infty))\cong K_{2n+1}{\mathcal O}_{F(\mu_\infty)}\) to \(K_{2n+1}(\kappa_{\widetilde\nu})\). In this note the author gives a short and elegant proof of the following fact (Theorem 1.1): For any element \(t\in K_{2n+1}(\kappa_{\widetilde\nu})\), there exists a nontorsion element \(x\in K_{2n+1}(F(\mu_\infty))\) such that \(r_{\widetilde\nu})= t\). The proof uses Borel's \(K\)-theory rank computations and the Harris-Segal direct summands of the \(K\)-theory of algebraic integers.
    0 references
    \(K\)-theory
    0 references
    number fields
    0 references
    reduction maps
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references