ﻻ يوجد ملخص باللغة العربية
For a number field $F$ and a prime number $p$, the $mathbb{Z}_p$-torsion module of the Galois group of the maximal abelian pro-$p$ extension of $F$ unramified outside $p$ over $F$, denoted as $mathcal{T}_p(F)$, is an important subject in abelian $p$-ramification theory. In this paper we study the group $mathcal{T}_2(F)=mathcal{T}_2(m)$ of the quadratic field $F=mathbb{Q}(sqrt{ m})$. Firstly, assuming $m>0$, we prove an explicit $4$-rank formula for $mathcal{T}_2(-m)$. Furthermore, applying this formula and exploring the connection of $mathcal{T}_2(-m)$ to the ideal class group of $mathbb{Q}(sqrt{-m})$ and the tame kernel of $mathbb{Q}(sqrt{m})$, we obtain the $4$-rank density of $mathcal{T}_2$-groups of imaginary quadratic fields. Secondly, for $l$ an odd prime, we obtain results about the $2$-divisibility of orders of $mathcal{T}_2(pm l)$ and $mathcal{T}_2(pm 2l)$. In particular we find that $#mathcal{T}_2(l)equiv 2# mathcal{T}_2(2l)equiv h_2(-2l)bmod{16}$ if $lequiv 7bmod{8}$ where $h_2(-2l)$ is the $2$-class number of $mathbb{Q}(sqrt{-2l})$. We then obtain density results for $mathcal{T}_2(pm l)$ and $mathcal{T}_2(pm 2l)$. Finally, based on our density results and numerical data, we propose distribution conjectures about $mathcal{T}_p(F)$ when $F$ varies over real or imaginary quadratic fields for any prime $p$, and about $mathcal{T}_2(pm l)$ and $mathcal{T}_2(pm 2 l)$ when $l$ varies, in the spirit of Cohen-Lenstra heuristics. Our conjecture in the $mathcal{T}_2(l)$ case is closely connected to Shanks-Sime-Washingtons speculation on the distributions of the zeros of $2$-adic $L$-functions and to the distributions of the fundamental units.
Given a natural number n and a number field K, we show the existence of an integer ell_0 such that for any prime number ellgeq ell_0, there exists a finite extension F/K, unramified in all places above ell, together with a principally polarized abeli
Let E/F be a CM field split above a finite place v of F, let l be a rational prime number which is prime to v, and let S be the set of places of E dividing lv. If E_S denotes a maximal algebraic extension of E unramified outside S, and if u is a plac
The Mordell-Weil groups $E(mathbb{Q})$ of elliptic curves influence the structures of their quadratic twists $E_{-D}(mathbb{Q})$ and the ideal class groups $mathrm{CL}(-D)$ of imaginary quadratic fields. For appropriate $(u,v) in mathbb{Z}^2$, we def
Given a finite endomorphism $varphi$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(varphi^{-infty}(alpha)) : = bigcup_{n geq 1} K(varphi^{-n}(alpha))$ generated by the preimages of $alpha$ un
Let $K$ be a number field and $S$ a finite set of places of $K$. We study the kernels $Sha_S$ of maps $H^2(G_S,fq_p) rightarrow oplus_{vin S} H^2(G_v,fq_p)$. There is a natural injection $Sha_S hookrightarrow CyB_S$, into the dual $CyB_S$ of a certai