Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group $\mathrm{Gal}(k_2^{(2)}/k)$ of the second Hilbert 2-class field $k_2^{(2)}$ of $k$. We study the capitulation problem of the 2-classes of $k$ in its seven unramified quadratic extensions $K_i$ and in its seven unramified bicyclic biquadratic extensions $L_i$.
Let $S= \{ a_{1}, a_{2}, \dots, a_{n} \}$ be a finite set of non-zero integers. In \cite{KBAM21}, Karthick Babu and Anirban Mukhopadhyay calculated the explicit structure of the Galois group of multi-quadratic field $\mathbb{Q}(\sqrt{a_{1}}, \sqrt{a_{2}}, \dots, \sqrt{a_{n}})$ over $\mathbb{Q}$. For a positive integer $d \geq 3$, $ζ_{d}$ denotes the primitive $d$-th root of unity. In this paper, we calculate the explicit structure of the Galois group of $\mathbb{Q}(\sqrt{a_{1}}, \sqrt{a_{2}}, \dots, \sqrt{a_{n}}, ζ_{d})$ over $\mathbb{Q}$ in terms of its action on $ζ_{d}$ and $\sqrt{a_{i}}$ fo…
Let $d$ be a square-free integer, $\mathbf{k}=\mathbb{Q}(\sqrt d,\,i)$ and $i=\sqrt{-1}$. Let $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$ and $G=\mathrm{Gal}(\mathbf{k}_2^{(2)}/\mathbf{k})$ be the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$. Our goal is to give necessary and sufficient conditions to have $G$ metacyclic in the case where $d=pq$, with $p$ and $q$ are primes such that $p\equiv 1\pmod 8$ and $q\equiv 5\pmod 8$ or $p\equiv 1\pmod 8$ and $q\equiv 3\pmod 4$.
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.
Let $p_1\equiv p_2\equiv -q\equiv1 \pmod4$ be different primes such that $\displaystyle\left(\frac{2}{p_1}\right)= \displaystyle\left(\frac{2}{p_2}\right)=\displaystyle\left(\frac{p_1}{q}\right)=\displaystyle\left(\frac{p_2}{q}\right)=-1$. Put $d=p_1p_2q$ and $i=\sqrt{-1}$, then the bicyclic biquadratic field ${k}=\mathbb{Q}(\sqrt{d},i)$ has an elementary abelian $2$-class group, $\mathbf{C}l_2(k)$, of rank $3$. In this paper, we study the principalization of the $2$-classes of ${k}$ in its fourteen unramified abelian extensions $\mathbb{K}_j$ and $\mathbb{L}_j$ within ${k}_2^{(1)}$, that is t…
Let $p$ be a prime number such that $p\equiv 1$ mod $8$ and $i=\sqrt{-1}$. Let $\mathbf{k}=\mathbb{Q}(\sqrt{2p}, i)$, $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$ and $G=\mathrm{Gal}(\mathbf{k}_2^{(2)}/\mathbf{k})$ be the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$. Suppose that the $2$-part, $C_{\mathbf{k}, 2}$, of the class group of $\mathbf{k}$ is of type $(2, 4)$; then $\mathbf{k}_1^{(2)}$ contains six extensions $\mathbf{K_{i, j}}/\mathbf{k}$, $i=1, 2, 3$ and $j=2, 4$. Our goal is to st…
We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $\mathbf{k} =\mathbb{Q}(\sqrt{p_1p_2q}, i)$, where $i=\sqrt{-1}$ and $p_1\equiv p_2\equiv-q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $\mathbf{K}/\mathbf{k}$ inside the absolute genus field $\mathbf{k}^{(*)}$ of $\mathbf{k}$, we compute the capitulation kernel of $\mathbf{K}/\mathbf{k}$. Then we deduce that each strongly ambiguous class of $\mathbf{k}/\mathbb{Q}(i)$ capitulates already in $\mathbf{k}^{(*)}$, which is sm…
Barrucand and Cohn's theory of principal factorizations in pure cubic fields \(\mathbb{Q}(\sqrt[3]{D})\) and their Galois closures \(\mathbb{Q}(ζ_3,\sqrt[3]{D})\) with \(3\) types is generalized to pure quintic fields \(L=\mathbb{Q}(\sqrt[5]{D})\) and pure metacyclic fields \(N=\mathbb{Q}(ζ_5,\sqrt[5]{D})\) with \(13\) possible types. The classification is based on the Galois cohomology of the unit group \(U_N\), viewed as a module over the automorphism group \(\mathrm{Gal}(N/K)\) of \(N\) over the cyclotomic field \(K=\mathbb{Q}(ζ_5)\), by making use of theorems by Hasse and Iwasawa on the He…
The unit group and the 2-class number of some fields of the form $\mathbb{Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps})$ and $\mathbb{Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}, \sqrt{-\ell})$
Fix an integer $d>0$. In 2008, David and Weston showed that, on average, an elliptic curve over $\mathbf{Q}$ picks up a nontrivial $p$-torsion point defined over a finite extension $K$ of the $p$-adics of degree at most $d$ for only finitely many primes $p$. This paper proves an analogous averaging result for principally polarized abelian surfaces over $\mathbf{Q}$ with real multiplication by $\mathbf{Q}(\sqrt{5})$ and a level-$\sqrt{5}$ structure. Furthermore, we indicate how the result on abelian surfaces with real multiplication by $\mathbf{Q}(\sqrt{5})$ relates to the deformation theory of…
We show that there are at most $O_{n,ε}(H^{n-2+\sqrt{2}+ε})$ monic integer polynomials of degree $n$ having height at most $H$ and Galois group different from the full symmetric group $S_n$, improving on the previous 1973 world record $O_{n}(H^{n-1/2}\log H)$.
We construct the sequences of Fibonacci and Lucas at any quadratic field $\mathbb{Q}(\sqrt{d}\ )$ with $d>0$ square free, noting in general that the properties remain valid as those given by the classical sequences of Fibonacci and Lucas for the case $d = 5$, under the respective variants. For this construction, we use the fundamental unit of $\mathbb{Q}(\sqrt{d}\ )$ and then we observe the generalizations for any unit of $\mathbb{Q}(\sqrt{d}\ )$ where, under certain conditions, some of this constructions correspond to $k$-Fibonacci sequence for some $k\in \mathbb{N}$. Of course, for both sequ…
For an odd prime $p$ and polynomial $P(T)$, we consider the extension $F$ of $k={\mathbb F}_p(T)$ defined by adjoining a root of $x^p+Tx-P(T)$. Such a field is a function field analogue of the number field ${\mathbb Q}(\sqrt[p]{n})$. We prove two theorems about the Galois closure $L$ of $F$: that its degree-0 divisor class group is $A^{p-1}$ for some group $A$, and that its class number is the $(p-1)$-st power of the class number of $F$, in analogy with results of R. Schoof and T. Honda for number fields.
Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve $E_K$ with $j(E_K)=j(\mathcal{O}_K)$ which is defined over $\mathbb{Q}(j(E_K))$. In this paper, for each positive integer $N$ we compare the extension field of $\mathbb{Q}$ generated by the coordinates of $N$-torsion points on $E_K$ with the ray class field $K_{(N)}$ of $K$ modulo $N\mathcal{O}_K$. By using this result we investigate the image of a $p$-adic…
In the article [PV] a general procedure to study solutions of the equations $x^4-dy^2=z^p$ was presented for negative values of $d$. The purpose of the resent article is to extend our previous results to positive values of $d$. On doing so, we give a description of the extension $\mathbb{Q}(\sqrt{d},\sqrtε)/\mathbb{Q}(\sqrt{d})$ (where $ε$ is a fundamental unit) needed to prove the existence of a Hecke character over $\mathbb{Q}(\sqrt{d})$ with prescribed local conditions. We also extend some "large image" results due to Ellenberg regarding images of Galois representations coming from $\mathbb…
Periodic integer continued fractions (PICFs) are generalization of the regular periodic continued fractions (RPCFs). It is classical that a RPCF expansion of an irrational number is unique. However, it is no longer unique for a PICF expansion. Hence it is a natural problem to determine all PICF expansions of irrational numbers. In this paper, we determine certain type PICF expansions of square roots of positive square-free integers. To obtain this result, it plays an important role to determine integer points on certain PCF varieties appeared in Brock-Elkies-Jordan. As an application of these …
By making use of our generalization of Barrucand and Cohn's theory of principal factorizations in pure cubic fields $\mathbb{Q}(\sqrt[3]{D})$ and their Galois closures $\mathbb{Q}(ζ_3,\sqrt[3]{D})$ with 3 possible types to pure quintic fields $L=\mathbb{Q}(\sqrt[5]{D})$ and their pure metacyclic normal fields $N=\mathbb{Q}(ζ_5,\sqrt[5]{D})$ with 13 possible types, we compile an extensive database with arithmetical invariants of the 900 pairwise non-isomorphic fields $N$ having normalized radicands in the range $2\le D<10^3$. Our classification is based on the Galois cohomology of the unit grou…
Assume that the field $K$ is $p$-rational. We study the freeness of the $Λ(G_{\infty,S})$-module $\mathcal{X}=\mathcal{H}^{ab}=\mathrm{\mathrm{G}al}(K_{S\cup S_p}/K_{\infty,S})^{ab}$. For numerical evidence to our result we consider the case of fields of the form $\mathbb{Q}(\sqrt{pq},\sqrt{-d})$.
The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In each case we are able to narrow the identity of $G$ down to one of a finite number of explicitly given finite groups. From this follow several results regarding the corresponding 2-class tower. This is a revised version of ANT-0302.
In this paper we illustrate the use of the results from [1] proving that $D(4)$-triple $\{a, b, c\}$ with $a < b < a + 57\sqrt{a}$ has a unique extension to a quadruple with a larger element. This furthermore implies that $D(4)$-pair $\{a, b\}$ cannot be extended to a quintuple if $a < b < a + 57\sqrt{a}$.
Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the congruence subgroup $\pmΓ_1(N)$, we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this group is isomorphic to the Galois group $\mathrm{Gal}(K_\mathfrak{n}/K)$. We also present algorithms to find all form classes and show how to multiply two form classes. As an application, we describe $…
Let $K=\mathbb{Q}(\sqrt[4]{pd^{2}})$ be a real pure quartic number field and $k=\mathbb{Q}(\sqrt{p})$ its real quadratic subfield, where $p\equiv 5\pmod 8$ is a prime integer and $d$ an odd square-free integer coprime to $p$. In this work, we calculate $r_2(K)$, the $2$-rank of the class group of $K$, in terms of the number of prime divisors of $d$ that decompose or remain inert in $\mathbb{Q}(\sqrt{p})$, then we will deduce forms of $d$ satisfying $r_2(K)=2$. In the last case, the $4$-rank of the class group of $K$ is given too.
Let $\mathrm{k}=\mathbb{Q}(\sqrt[3]{d},ζ_3)$, with $d$ a cube-free positive integer. Let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. By the aid of genus theory, arithmetic proprieties of the pure cubic field $\mathbb{Q}(\sqrt[3]{d})$ and some results on the $3$-class group $C_{\mathrm{k},3}$, we are moving towards the determination of all integers $d$ such that $C_{\mathrm{k},3} \simeq \mathbb{Z}/9\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$.
Let $Γ\,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a natural number $5^{th}$ power-free. Let $k = \mathbb{Q}(\sqrt[5]{n}, ζ_5)$, with $ζ_5$ is a primitive $5^{th}$ root of unit, be the normal closure of $Γ$, and a pure metacyclic field of degree $20$ over $\mathbb{Q}$. When $n$ takes some particular forms, we show that $Γ$ admits a trivial $5$-class group and $5$ divides exactly the class number of $k$.
Assuming a deep but standard conjecture in the Langlands programme, we prove Fermat's Last Theorem over $\mathbb Q(i)$. Under the same assumption, we also prove that, for all prime exponents $p \geq 5$, Fermat's equation $a^p+b^p+c^p=0$ does not have non-trivial solutions over $\mathbb Q(\sqrt{-2})$ and $\mathbb Q(\sqrt{-7})$.
The seminal papers in the field of root-discriminant bounds are those of Odlyzko and Martinet. Both papers include the question of whether the field $\mathbb{Q}(\sqrt{-5460})$ has finite or infinite $2$-class tower. This is a critical case that will either substantially lower the best known upper bound for lim inf of root-discriminants (if infinite) or else give a counter-example to what is often termed Martinet's conjecture or question (if finite). Using extensive computation and introducing some new techniques, we give strong evidence that the tower is in fact finite, establishing other prop…
We study the capitulation of ideal classes in an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $k =Q(\sqrt{2pq}, i)$, where $i=\sqrt{-1}$ and $p\equiv -q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that each strongly ambiguous class of $k/Q(i)$ capitulates already in $k^{(*)}$, which is smaller than the relative genus field $\left(k/Q(i)\right)^*$.
We use an estimate for character sums over finite fields of Katz to solve open problems of Montgomery and Turan. Let h=>2 be an integer. We prove that inf_{|z_k| => 1} max_{v=1,...,n^h} |sum_{k=1}^n z_k^v| <= (h-1+o(1)) sqrt n. This gives the right order of magnitude for the quantity and improves on a bound of Erdos-Renyi by a factor of the order sqrt log n.
The main purpose of this paper is to extend results on isomorphism types of the abelianized absolute Galois group $\mathcal G_K^{ab}$, where $K$ denotes imaginary quadratic field. In particular, we will show that if the class number $h_K$ of an imaginary quadratic field $K$ different from $\mathbb Q(i)$, $\mathbb Q(\sqrt{-2})$ is a fixed prime number $p$ then there are only two isomorphism types of $\mathcal G_K^{ab}$ which could occur. For instance, this result implies that imaginary quadratic fields of the discriminant $D_K$ belonging to the set $\{-35, -51, -91, -115, -123, -187, -235,$ $ -…
Let $k\geq 3$ and $n\geq 3$ be odd integers, and let $m\geq 0$ be any integer. For a prime number $\ell$, we prove that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{\ell^{2m}-2k^n})$ is either divisible by $n$ or by a specific divisor of $n$. Applying this result, we construct an infinite family of certain tuples of imaginary quadratic fields of the form $$\left(\mathbb{Q}(\sqrt{d}), \mathbb{Q}(\sqrt{d+1}), \mathbb{Q}(\sqrt{4d+1}), \mathbb{Q}(\sqrt{2d+4}), \mathbb{Q}(\sqrt{2d+16}), \cdots, \mathbb{Q}(\sqrt{2d+4^t}) \right)$$ with $d\in \mathbb{Z}$ and $1\leq 4^t\leq 2|d|…
Legendre discovered that the continued fraction expansion of $\sqrt N$ having odd period leads directly to an explicit representation of $N$ as the sum of two squares. In this vein, it was recently observed that the continued fraction expansion of $\sqrt N$ having even period directly produces a factor of composite $N$. It is proved here that these apparently fortuitous occurrences allow us to propose and apply a variation of Shanks' infrastructural method which significantly reduces the asymptotic computational burden with respect to currently used factoring techniques.
We use Galois cohomology to study the $p$-rank of the class group of $\mathbf{Q}(N^{1/p})$, where $N \equiv 1 \bmod{p}$ is prime. We prove a partial converse to a theorem of Calegari--Emerton, and provide a new explanation of the known counterexamples to the full converse of their result. In the case $p = 5$, we prove a complete characterization of the $5$-rank of the class group of $\mathbf{Q}(N^{1/5})$ in terms of whether or not $\prod_{k=1}^{(N-1)/2} k^{k}$ and $\frac{\sqrt{5} - 1}{2}$ are $5$th powers mod $N$.
We prove the Ribenboim hypothesis, which states that if, starting from some integer $N$, consecutive prime numbers $p_ {n}$, $p_{n+1}$ satisfy the inequality $\sqrt {p_ {n+1}}-\sqrt{p_{n}} <1$, then the Landau problem # 4 (1912) has a positive solution.
Let $\ell>3$ be a prime such that $\ell \equiv 3 \pmod{4}$ and $\mathbb{Q}(\sqrt{\ell})$ has class number 1. Then Hirzebruch and Zagier noticed that the class number of $\mathbb{Q}(\sqrt{-\ell})$ can be expressed as $h(-\ell) = (1/3)(b_1+b_2 + \cdots + b_m) - m$ where the $b_i$ are partial quotients in the `minus' continued fraction expansion $\sqrt{\ell} = [[b_0; \overline{b_1, b_2, \ldots, b_m}]]$. For an odd prime $p \neq \ell$, we prove an analogous formula using these $b_i$ which computes the sum of Iwasawa lambda invariants $λ_p(-\ell)+λ_p(-4)$ of $\mathbb{Q}(\sqrt{-\ell})$ and $\mathbb{…
We study the capitulation of $2$-ideal classes of an infinite family of imaginary biquadratic number fields consisting of fields $k =Q(\sqrt{pq_1q_2}, i)$, where $i=\sqrt{-1}$ and $q_1\equiv q_2\equiv-p\equiv-1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that each strongly ambiguous class of $k/Q(i)$ capitulates already in $k^{(*)}$.
In 2016, in the work related to Galois representations, Greenberg conjectured the existence of multi-quadratic $p$-rational number fields of degree $2^{t}$ for any odd prime number $p$ and any integer $t \geq 1$. Using the criteria provided by him to check $p$-rationality for abelian number fields, certain infinite families of quadratic, biquadratic and triquadratic $p$-rational fields have been shown to exist in recent years. In this article, for any integer $k \geq 1$, we build upon the existing work and prove the existence of infinitely many prime numbers $p$ for which the imaginary quadrat…
For a real quadratic field $K= \mathbb{Q}(\sqrt{d})$ with discriminant $D_{K}$ having four distinct prime factors, we study the structure of the $2$-class group $A(K_{1})$ of the first layer $K_{1} = \mathbb{Q}(\sqrt{2},\sqrt{d})$ of the cyclotomic $\mathbb{Z}_{2}$-extension of $K$. With some suitably convenient assumptions on the rank and the order of $A(K_{1})$, we characterize $K$ for which the $2$-class group $A(K)$ is isomorphic to $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$. We infer that the $2$-ranks of the class groups in each layer stabilizes by virtue of a result of Fukud…
In this paper we present an algorithm for computing Hecke eigensystems of Hilbert-Siegel cusp forms over real quadratic fields of narrow class number one. We give some illustrative examples using the quadratic field $\Q(\sqrt{5})$. In those examples, we identify Hilbert-Siegel eigenforms that are possible lifts from Hilbert eigenforms.
We introduce the sequence $(i_n)_{n \geq 0}$ defined by $i_n = (-1)^{inv_2(n)}$, where $inv_2(n)$ denotes the number of inversions (i.e., occurrences of 10 as a scattered subsequence) in the binary representation of n. We show that this sequence has many similarities to the classical Rudin-Shapiro sequence. In particular, if S(N) denotes the N-th partial sum of the sequence $(i_n)_{n \geq 0}$, we show that $S(N) = G(\log_4 N)\sqrt{N}$, where G is a certain function that oscillates periodically between $\sqrt{3}/3$ and $\sqrt{2}$.
The interval discrete logarithm problem is defined as follows: Given some $g,h$ in a group $G$, and some $N \in \mathbb{N}$ such that $g^z=h$ for some $z$ where $0 \leq z < N$, find $z$. At the moment, kangaroo methods are the best low memory algorithm to solve the interval discrete logarithm problem. The fastest non parallelised kangaroo methods to solve this problem are the three kangaroo method, and the four kangaroo method. These respectively have expected average running times of $\big(1.818+o(1)\big)\sqrt{N}$, and $\big(1.714 + o(1)\big)\sqrt{N}$ group operations. It is currently an open…
Let p be a prime number and M a quadratic number field, M not equal to Q(\sqrt{p}) if p is congruent to 1 modulo 4. We will prove that for any positive integer d there exists a Galois extension F/Q with Galois group D_{2p} and an elliptic curve E/Q such that F contains M and the p-Selmer group of E/F has size at least p^d.
