We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.NT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Number Theory

Title: Algebraic norm and capitulation of $p$-class groups in ramified cyclic $p$-extensions

Authors: Georges Gras (LMB)
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).
Comments: 73 pages. Many improvements, developments and minor corrections. New numerical examples
Subjects: Number Theory (math.NT)
Cite as: arXiv:2211.12279 [math.NT]
  (or arXiv:2211.12279v2 [math.NT] for this version)

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.