References & Citations
Mathematics > Number Theory
Title: Algebraic norm and capitulation of $p$-class groups in ramified cyclic $p$-extensions
(Submitted on 22 Nov 2022 (v1), last revised 13 Jan 2023 (this version, v2))
Abstract: We examine the phenomenon of capitulation of the $p$-class group $\mathcal{H}_K$ of a number field $K$ in totally ramified cyclic $p$-extensions $L/K$ of degree $p^N$, taking the simplest abelian $p$-extensions $L \subset K(\mu_\ell^{})$, with primes $\ell \equiv 1 \pmod {2 p^N}$. Using an elementary property of the algebraic norm $\hbox{\Large $\nu$}u_{\!L/K}$, we show that the kernel of capitulation is in relation with the ``complexity'' of the structure of $\mathcal{H}_L$ measured via its exponent $p^{e(L)}$ and the length $m(L)$ of the usual filtration $\{\mathcal{H}_L^i\}_{i \geq 0}$ associated to $\mathcal{H}_L$ as $\mathbb{Z}_p[{\rm Gal}(L/K)]$-module. We prove that a {\it sufficient condition} of capitulation is given by $e(L) \in [1, N-s(L)]$ if $m(L) \in [p^{s(L)}, p^{s(L)+1}-1]$ for $s(L) \in [0, N-1]$ (Theorem 1.1(i)); this improves the case of ``stability'' $\# \mathcal{H}_L = \# \mathcal{H}_K$ (i.e., $m(L) = 1$, $s(L)=0$, $e(L) = e(K)$) (Theorem 1.1(ii)). Numerical examples (with PARI programs) showing most often capitulation of $\mathcal{H}_K$ in $L $, are given over cubic fields with $p=2$ and real quadratic fields with $p=3$. Some conjectures on the existence of non-zero densities of such $\ell$'s are proposed (Conjectures 1.2, 2.4).
Submission history
From: Georges Gras [view email][v1] Tue, 22 Nov 2022 13:50:58 GMT (45kb)
[v2] Fri, 13 Jan 2023 14:47:42 GMT (62kb)
Link back to: arXiv, form interface, contact.