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 | |||
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
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