The Iwasawa \(\lambda\)-invariants of real abelian fields and the cyclotomic elements (Q1970875): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3836/tjm/1270041438 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2082678151 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:55, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Iwasawa \(\lambda\)-invariants of real abelian fields and the cyclotomic elements |
scientific article |
Statements
The Iwasawa \(\lambda\)-invariants of real abelian fields and the cyclotomic elements (English)
0 references
7 June 2000
0 references
Let \(p \neq l\) be primes and \(r\) an integer \(>1\). The author starts by defining integers \(n(r)_p\) in terms of elementary number theory, connects them with the \(p\)-class group of \(\mathbb{Q}(\zeta_p)\) and observes that Vandiver's conjecture would imply that \(n(r)_p = 1\) for all \(p\) and all odd \(r \geq 3\). He also observes that if the cyclotomic elements of Beilinson and of Deligne-Soulé coincide, then the supernatural number \(n(r) = \prod_p n(r)_p\) is actually an integer: \(n(r) < \infty\). Now let \(\omega\) be the Teichmüller character for \(\Delta_p = \text{ Gal}(\mathbb{Q}(\mu_p)/\mathbb{Q})\); for any \(\Delta_p\)-module \(M\), let \(M(\omega^i)\) be the submodule of \(M\) on which \(\Delta_p\) acts via \(\omega^i\). Let \(\mathbb{Q}_\infty = \mathbb{Q}(\mu_{p^\infty})\) denote the field generated by all \(p^n\)-th roots of unity (\(n \geq 1\)), let \(L_\infty\) be its maximal unramified prop-\(p\)-extension, and \(X = {\text Gal}(L_\infty/\mathbb{Q}_\infty)\); then \(\Lambda = \mathbb{Z}_p[[\text{ Gal}(\mathbb{Q}_\infty/\mathbb{Q})]](\omega^i)\) acts on \(X(\omega^i)\). The main theorem of the paper is the following: Fix a prime \(p\) and let \(r_0 \geq 3\) be an odd integer; then \(n(r)_p\) is bounded for \(r \equiv r_0 \bmod p-1\) if and only if the characteristic power series of \(X(\omega^{1-r_0})\) does not have a root in \(\mathbb{Z}_p\). The author also gives a similar theorem for the ``\(\chi\)-parts'' of \(n(r)\) for characters \(\chi\) such that \(\chi\omega^{1-r_0}(p) \neq 1\). In the last part of the paper, the results are applied to the verification of Greenberg's conjecture on the vanishing of Iwasawa's \(\lambda\)-invariant in some real quadratic number fields.
0 references
Vandiver conjecture
0 references
cyclotomic elements
0 references
Greenberg's conjecture
0 references