Let $p\equiv -q \equiv 5\pmod 8$ be two prime integers. In this paper, we investigate the unit groups of the fields $ L_1 =\mathbb{Q}(\sqrt 2, \sqrt{p}, \sqrt{q}, \sqrt{-1} )$ and $ L_1^+=\mathbb{Q}(\sqrt 2, \sqrt{p}, \sqrt{q} )$. Furthermore , we give the second $ 2$-class groups of the subextensions of $L_1$ as well the $2$-class groups of the fields $ L_n =\mathbb{Q}( \sqrt{p}, \sqrt{q}, ζ_{2^{n+2}} )$ and their maximal real subfelds.
In this paper, we investigate the unit groups, the $2$-class groups, the $2$-class field towers and the structures of the second $2$-class groups of some multiquadratic number fields of degree $8$ and $16$.
We consider the signature rank of the units in real multiquadratic fields. When the three quadratic subfields of a real biquadratic field $K$ either (a) all have signature rank 2 (that is, fundamental units of norm $-1$), or (b) all have signature rank 1 (that is, have totally positive fundamental units), we provide explicit examples to show there exist infinitely many $K$ having each of the possible unit signature ranks (namely signature rank 3 or 4 in case (a) and signature rank 1,2, or 3 in case (b)). We make some additional remarks for higher rank real multiquadratic fields, in particular …
We prove that (under the assumption of the generalized Riemann hypothesis) a totally real multiquadratic number field $K$ has a positive density of primes $p \in \mathbb{Z}$ for which the image of the unit group $(\mathcal{O}_K)^{\times})$ in $(\mathcal{O}_K/p\mathcal{O}_K)^{\times})$ has minimal index $(p-1)/2$ if and only if $K$ contains a unit of norm $-1$.
This paper gives a method to find all imaginary multiquadratic fields of class number dividing $2^{m},$ provided the list of all imaginary quadratic fields of class number dividing $2^{m+1}$ is known. We give a bound on the degree of such fields. As an application of this algorithm, we compute a complete list of imaginary multiquadratic fields with class number dividing $32.$
Let $K$ be a multiquadratic extension of $\mathbb{Q}$ and let $\text{Cl}^{+}(K)$ be its narrow class group. Recently, the authors \cite{KP} gave a bound for $|\text{Cl}^{+}(K)[2]|$ only in terms of the degree of $K$ and the number of ramifying primes. In the present work we show that this bound is sharp in a wide number of cases. Furthermore, we extend this to ray class groups.
In this paper we obtain a complete list of imaginary $n$-quadratic fields with class groups of exponent $3$ and $5$ under ERH for every positive integer $n$ where an $n$-quadratic field is a number field of degree $2^n$ represented as the composite of $n$ quadratic fields.
We generalize a classical reciprocity law due to Rédei using our recently developed description of the $2$-torsion of class groups of multiquadratic fields. This result is then used to prove a variety of new reflection principles for class groups, one of which involves a symbol similar to the spin symbol as defined in work of Friedlander, Iwaniec, Mazur and Rubin. We combine these reflection principles with Smith's techniques to prove Stevenhagen's conjecture on the solubility of the negative Pell equation.
Recent examples of periodic bifurcations in descendant trees of finite p-groups with p in {2,3} are used to show that the possible p-class tower groups G of certain multiquadratic fields K with p-class group of type (2,2,2), resp. (3,3), form periodic sequences in the descendant tree of the elementary abelian root C(2)xC(2)xC(2), resp. C(3)xC(3). The particular vertex of the periodic sequence which occurs as the p-class tower group G of an assigned field K is determined uniquely by the p-class number of a quadratic, resp. cubic, auxiliary field k, associated unambiguously to K. Consequently, t…
We prove a local-global principle for the embedding problems of global fields with restricted ramification. By this local-global principle, for a global field $k$, we use only the local information to give a presentation of the maximal pro-$p$ Galois group of $k$ with restricted ramification, when some Galois cohomological conditions are satisfied. For a Galois $p$-extension $K/k$, we use our presentation result for $k$ to study the structure of pro-$p$ Galois groups of $K$. Then for $k=\mathbb{Q}$ and $k=\mathbb{F}_q(t)$ with $p\nmid q$, we give upper and lower bounds for the rank of $p$-tors…
In his work about Galois representations, Greenberg conjectured the existence, for any odd prime p and any positive integer t, of a multiquadratic p-rational number field of degree 2 t. In this article, we prove that there exists infinitely many primes p such that the triquadratic field Q(p(p + 2), p(p -- 2), i) is p-rational. To do this, we use an analytic result, proved apart in section \S4, providing us with infinitely many prime numbers p such that p + 2 et p -- 2 have ''big'' square factors. Therefore the related imaginary quadratic subfields Q(i $\sqrt$ p + 2), Q(i $\sqrt$ p -- 2) and Q(…
Local certification of residual squareclasses in $\mathbb Q(\sqrt{2},\sqrt{pq},\sqrt{ps})$: one-bit, affine, and finite-choice Hilbert-symbol frameworks
Let p\in\{2,3\}, and let k be an imaginary quadratic field in which p decomposes into two distinct primes \mathfrak{p} and \bar{\mathfrak{p}}. Let k_\infty be the unique Z_p-extension of k which is unramified outside of \mathfrak{p}, and let K_\infty be a finite extension of k_\infty, abelian over k. We prove that in K_\infty, the projective limit of the p-class group and the projective limit of units modulo elliptic units share the same μ-invariant and the same λ-invariant. Then we prove that up to a constant, the characteristic ideal of the projective limit of the p-class group coincides wit…
We collect some statements regarding equivalence of the parities of various class numbers and signature ranks of units in prime power cyclotomic fields. We correct some misstatements in the literature regarding these parities by providing an example of a prime cyclotomic field where the signature rank of the units and the signature rank of the circular units are not equal.
We examine when units in a field are the norms of elements in an extension field, given certain conditions. We apply these results to the study of the $\ell$-class groups in lifts of the anti-cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(i)$.
Let $K$ be a number field of degree $n$ over ${\mathbb Q}$. Then the 4-rank of the strict class group of $K$ is at least ${\text{rank}_2 \, } ({ E_{K}^{+} } / E_K^2) - \lfloor n /2 \rfloor$ where $E_K$ and ${ E_{K}^{+} }$ denote the units and the totally positive units of $K$, respectively, and $\text{rank}_2$ is the dimension as an elementary abelian 2-group. In particular, the strict class group of a totally real field $K$ with a totally positive system of fundamental units contains at least$(n-1)/2$ ($n$ odd) or $n/2 -1$ ($n$ even) independent elements of order 4. We also investigate when u…
For a real abelian field and for an odd prime p splitting in the field, we study a map between the p-parts of the class group and of the quotient of units modulo Cyclotomic Units, respectively, along the cyclotomic Z_p-extension of the field. We determine the kernel and the cokernel of this map assuming Greenberg's conjecture on the vanishing of the lambda-invariant of the extension.
In this paper, we obtain a formula for the special value of Euler-Dirichlet $L$-function $L_E(s,χ)$ at $s=1$. This leads to another class number formula of $\mathbb{Q}(μ_{m})^{+}$, the maximal real subfield of $m$th cyclotomic field. From this formula, we construct a new type of cyclotomic units in $\mathbb{Q}(μ_{p^{n}})$, which implies a similar Kummer's relation between the ideal class number of $\mathbb{Q}(μ_{p^{n}})^{+}$ and the unit index.
For an abelian number field of odd degree, we study the structure of its 2-Selmer group as a bilinear space and as a Galois module. We prove structural results and make predictions for the distribution of unit signature ranks and narrow class groups in families where the degree and Galois group are fixed.
Let $L/K$ be a finite, cyclic extension of number fields with Galois group $G$, and let $S$ be a finite set of primes of $K$ that includes all the infinite primes. In this paper, we study the $G$-cohomology of the $S$-idèle classes of $L$ and relate it to the $S$-capitulation map as well as to the $G$-cohomology of the $S$-unit group $U_{L,S}$.
Let $F$ be a number field and $\mathcal{O}_F$ its ring of integers. We use Chevalley's ambiguous class number formula to give a criterion for the non-existence of solutions to the unit equation $λ+ μ= 1$, $λ, μ\in \mathcal{O}_F^\times$. This is then used to strengthen a criterion for the asymptotic Fermat's Last Theorem due to Freitas and Siksek.
Iwasawa's classical asymptotical formula relates the orders of the $p$-parts $X_n$ of the ideal class groups along a $\ZM_p$-extension $F_\infty/F$ of a number field $F$, to Iwasawa structural invariants $\la$ and $μ$ attached to the inverse limit $X_\infty=\limpro X_n$. It relies on "good" descent properties satisfied by $X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic it is known that the $p$-parts of the orders of the global units modulo circular units $U_n/C_n$ are asymptotically equivalent to the $p$-parts of the ideal class numbers. This suggests that these quotients $U_n/C_n$, so t…
Iwasawa's classical asymptotical formula relates the orders of the $p$-parts $X_n$ of the ideal class groups along a $\ZM_p$-extension $F_\infty/F$ of a number field $F$, to Iwasawa structural invariants $\la$ and $μ$ attached to the inverse limit $X_\infty=\limpro X_n$. It relies on "good" descent properties satisfied by $X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic it is known that the $p$-parts of the orders of the global units modulo circular units $U_n/C_n$ are asymptotically equivalent to the $p$-parts of the ideal class numbers. This suggests that these quotients $U_n/C_n$, so t…
We describe and give computational results of a procedure to compute the divisor class number and regulator of most purely cubic function fields of unit rank 2. Our implementation is an improvement to Pollard's Kangaroo method in infrastructures, using distribution results of class numbers as well as information on the congruence class of the divisor class number, and an adaptation that efficiently navigates these torus-shaped infrastructures. Moreover, this is the first time that an efficient "square-root" algorithm has been applied to the infrastructure of a global field of unit rank 2. With…
For an abelian totally real number field $F$ and an odd prime number $p$ which splits totally in $F$, we present a functorial approach to special "$p$-units" previously built by D. Solomon using "wild" Euler systems. This allows us to prove a conjecture of Solomon on the annihilation of the $p$-class group of $F$ (in the particular context here), as well as related annihilation results and index formulae.
Let $K$ be a totally real number field of degree $r$. Let $K_{\infty}$ denote the cyclotomic $\mathbb{Z}_{2}$-extension of $K$ and let $L_{\infty}$ be a finite extension of $K_{\infty}$, abelian over $K$. The goal of this paper is to compare the characteristic ideal of the $χ$-quotient of the projective limit of the narrow class groups to the $χ$-quotient of the projective limit of the $r$-th exterior power of totally positive units modulo a subgroup of Rubin-Stark units, for some $\overline{\mathbb{Q}_{2}}$-irreducible characters $χ$ of $\mathrm{Gal}(L_{\infty}/K_{\infty})$.
We give a formula for the class number of an arbitrary CM algebraic torus over $\mathbb{Q}$. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result.
Let $K$ be a totally real number field of degree $r=[K:\mathbb{Q}]$ and let $p$ be an odd rational prime. Let $K_{\infty}$ denote the cyclotomic $\mathbb{Z}_{p}$-extension of $K$ and let $L_{\infty}$ be a finite extension of $K_{\infty}$, abelian over $K$. In this article, we extend results of \cite{Kazim109} relating characteristic ideal of the $χ$-quotient of the projective limit of the ideal class groups to the $χ$-quotient of the projective limit of the $r$-th exterior power of units modulo Rubin-Stark units, in the non semi-simple case, for some $\overline{\mathbb{Q}_{p}}$-irreductible ch…
In this paper we establish the endoscopic classification of tempered representations of quasi-split unitary groups over local fields, and the endoscopic classification of the discrete automorphic spectrum of quasi-split unitary groups over global number fields. The method is analogous to the work of Arthur on orthogonal and symplectic groups, based on the theory of endoscopy and the comparison of trace formulas on unitary groups and general linear groups.
We classify the automorphic representations (over number fields) and the irreducible admissible representations (over local fields) of unitary groups which are not quasi-split, under the assumption that the same is known for quasi-split unitary groups. The classification of automorphic representations is given in terms of automorphic representations of general linear groups. The classification of irreducible admissible representations is given in terms of Langlands parameters.
Let $G=\mathbf{G}(\mathbb{R})$ be the group of real points of a quasi-split connected reductive algebraic group defined over $\mathbb{R}$. Assume furthermore that $G$ is a classical group (symplectic, special orthogonal or unitary). We show that the packets of irreducible unitary cohomological representations defined by Adams and Johnson in 1987 coincide with the ones defined recently by J. Arthur in his work on the classification of the discrete automorphic spectrum of classical groups (C.-P. Mok for unitary groups). For this, we compute the endoscopic transfer of the stable distributions on …
We describe a new algorithm for computing the ideal class group, the regulator and a system of fundamental units in number fields under the generalized Riemann hypothesis. We use sieving techniques adapted from the number field sieve algorithm to derive relations between elements of the ideal class group, and $p$-adic approximations to manage the loss of precision during the computation of units. This new algorithm is particularily efficient for number fields of small degree for which a speed-up of an order of magnitude is achieved with respect to the standard methods.
We show that on any abelian scheme over a complex quasi-projective smooth variety, there is a Green current for the zero-section, which is axiomatically determined up to $\partial$ and $\bar\partial$-exact differential forms. This current generalizes the Siegel functions defined on elliptic curves. We prove generalizations of classical properties of Siegel functions, like distribution relations, limit formulae and reciprocity laws.
