Iwasawa Invariants of Even $K$-groups of Rings of Integers in the $\mathbb{Z}_2$-extension over Real Quadratic Number Fields

Abstract

Let $F$ be a real quadratic number field, and let $F_{cyc}$ denote its cyclotomic $\mathbb{Z}_2$-extension. For each integer $n\geq0$, let $F_n$ be the unique intermediate field in $F_{cyc}$ such that $[F_n:F]=2^n$. By studying the $2$-adic divisibility of Dirichlet $L$-series at negative integers, we derive an asymptotic formula that determines the order of the $2$-primary part of even $K$-groups of rings of integers of $F_n$ for sufficiently large $n$. As a corollary, we determine their $λ$ and $μ$ invariants. We also establish a lower bound for $n$ beyond which this asymptotic formula holds. Our results have two main applications: (1) For $K=\mathbb{Q}$, $\mathbb{Q}(\sqrt{p})$ or $\mathbb{Q}(\sqrt{2p})$ with $p\equiv\pm3\mod 8$, we determine the structure of the $2$-primary tame kernels $K_2\mathcal{O}_{K_n}(2)$; (2) We explicitly determine the three Iwasawa invariants $λ,μ,ν$ for a family of real quadratic number fields, whose discriminants have arbitrarily many prime divisors.

Theorems & Definitions (49)

• Theorem 1.1
• Theorem 1.2
• Corollary 1.3
• Example 1.4
• Proposition 1.5
• Corollary 1.6
• Lemma 2.1: DL, Lemma 4; Washington, Theorem 4.2
• Lemma 2.2: DL, Proposition 5
• proof
• Lemma 2.3