Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.09111 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- We study Greenberg's conjecture for cyclotomic $\mathbb{Z}_2$-extensions of real quadratic fields. Let $K=\mathbb{Q}(\sqrt{pq})$, where $$ p\equiv 1 \mod 8,\qquad q\equiv 9 \mod {16},\qquad \left(\frac{p}{q}\right)=-1. $$ Under the additional assumptions $$ \left(\frac{2}{p}\right)_4 \left(\frac{2}{q}\right)_4 \left(\frac{pq}{2}\right)_4=-1 $$ and $$ \left(\frac{2}{p}\right)_4=-1 \quad\text{or}\quad \left(\frac{2}{q}\right)_4=-1, $$ we prove that $λ_2(K)=0$. The proof combines Greenberg's criterion for the split prime case with a capitulation argument modeled on Kumakawa. The main new input is a square-class computation of the Hasse unit index of the biquadratic extension $K_2=\mathbb{Q}(\sqrt{pq}, \sqrt{2+\sqrt{2}})/\mathbf{Q}_1=\mathbb{Q}(\sqrt{2})$, showing that $q(K_2)\le 2$.