A note on the Iwasawa \(\lambda\)-invariants of real quadratic fields
type: Item
instance of: scholarly article
title: A note on the Iwasawa \(\lambda\)-invariants of real quadratic fields
zbMATH Open document ID: 0869.11085
author: Humio Ichimura
published in: Proceedings of the Japan Academy. Series A
publication date: 1997-09-01T00:00:00Z
review text: Let \(k\) be a real quadratic field, \(p\) an odd prime number and \(\chi\) the primitive Dirichlet character associated to \(k\). It is known from the Iwasawa main conjecture proved by \textit{B. Mazur} and \textit{A. Wiles} [Invent. Math. 76, 179-330 (1984; Zbl 0545.12005)] that the \(\lambda\)-invariant \(\lambda_p(k)\) of \(k\) is not greater than the \(\lambda\)-invariant \(\lambda^*_p(k)\) of the power series associated to the \(p\)-adic \(L\)-function \(L_p (s,\chi)\). In this paper, the author studies the conjecture \[ (*):\lambda_p(k) \leq\max \bigl\{0, \lambda^*_p (k)-1 \bigr\}, \] which is weaker than Greenberg's one that asserts \(\lambda_p (k)=0\). Let \(\chi^*\) be the primitive Dirichlet character associated to the product of the Teichmüller character and \(\chi^{-1}\). In an earlier work of \textit{H. Ichimura} and \textit{H. Sumida} [Int. Math. J. 7, No. 6, 721-744 (1996)], it was shown that \((*)\) is valid if \(\chi^*(p)=1\). In this paper, the author constructs two families of \(k\) which involve infinitely many \(k\) such that \(\chi^*(p)\neq 1\) and \((*)\) is valid. For a fixed squarefree positive integer \(r\) and each positive integer \(m\), let \(d_m^{(1)}= p^4r^2 m^2+r\), \(d_m^{(2)} =p^4 m^2+p\) and \(k_m^{(i)} =\mathbb{Q} (\sqrt {d_m^{(i)}} )\). Then \(p\) remains prime in \(k_m^{(1)}\) and ramifies in \(k_m^{(2)}\). Furthermore, \(\chi^*(p) \neq 1\) for \(k=k_m^{(i)}\). Using explicit formulas for fundamental units \(\varepsilon\) of \(k_m^{(i)}\), the author shows some congruent relations concerning \(\varepsilon\). And he concludes that if \(d_m^{(i)}\) is squarefree, then \(\lambda_p^* (k)\geq 1\) and \((*)\) is valid for \(k =k_m^{(i)}\). The irreducibility of the polynomials \(p^4r^2X^2+r\) and \(p^4X^2 +p\) guarantees the existence of infinitely many \(m\) for which \(d^{(i)}_m\) is squarefree.
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R11
zbMATH DE Number: 897709
zbMATH Keywords: Iwasawa invariants
zbMATH Keywords: real quadratic field
zbMATH Keywords: primitive Dirichlet character
zbMATH Keywords: fundamental units
zbMATH Keywords: congruent relations
MaRDI profile type: Publication
full work available at URL: pjaa.72.28
OpenAlex ID: W2005738771
cites work: On the fundamental units and the class numbers of real quadratic fields
cites work: Normal integral bases and the Spiegelungssatz of Scholz
cites work: A capitulation problem and Greenberg’s conjecture on real quadratic fields
cites work: The Iwasawa λ-invariants of ℤₚ-extensions of real quadratic fields
cites work: The Iwasawa invariant \(\mu_p\) vanishes for abelian number fields
cites work: On the Iwasawa Invariants of Totally Real Number Fields
cites work: On the Iwasawa invariants of certain real abelian fields. II
cites work: Q3122846
cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields
cites work: Iwasawa invariants of CM fields
cites work: Q4855224
cites work: The Iwasawa \(\lambda\)-invariants of real abelian fields and the cyclotomic elements
cites work: Class fields of abelian extensions of \(\mathbb Q\)
cites work: Power free values of polynomials
cites work: Elliptic Curves with no Rational Points
cites work: A note on Greenberg's conjecture for real abelian number fields
cites work: Greenberg's conjecture and the Iwasawa polynomial
cites work: Q3943047
DOI: 10.3792/PJAA.72.28
description: scientific article; zbMATH DE number 897709