On the $p$-adic limit of class numbers along a pro-$p$-extension

Abstract

Let $K/k$ be a pro-$p$-extension over a number field $k$ whose Galois group is finitely generated and $k_0\subseteq k_1\subseteq \cdots \subseteq k_n\subseteq \cdots$ an ascending sequence of intermediate fields of $K/k$ such that $k_n/k$ is normal, $[k_n:k]<\infty$ and ${\bigcup }_{n\ge 0}{k}_n=K$. We will show by using representation theory of finite groups that the non-$p$-part $h_n(p^{\prime })$ of the class number of $k_n$ converges $p$-adically as $n\to \infty$, and the limit is independent to the choice of $k_n$'s. Also, in the case where $K/k$ is the cyclotomic ${\mathbb{Z}}_p$-extension over an abelian number field $k$, we will take an analytic approach and obtain certain enigmatic relationships between the $p$-adic limits of vaious arithmetic invariants along $K/k$, namely, the class number, the ratio of $p$-adic regulator and the square root of the discriminant, and the order of the algebraic $K_2$-group of the ring of integers.

Cited by in corpus (1)

• The $p$-adic limits of class numbers in ${\mathbb{Z}}_p$-towers