On the $8$-rank of narrow class groups of $\mathbb{Q}(\sqrt{-4pq})$, $\mathbb{Q}(\sqrt{-8pq})$, and $\mathbb{Q}(\sqrt{8pq})$
Djordjo Milovic
备注：
26 pages (including a 2-page appendix); somewhat shortened from previous version; now also includes the family -8pq; to appear in Int. J. Number Theory
Let $d \in \{-4, -8, 8\}$. We study the $8$-part of the narrow class group in the thin families of quadratic number fields of the form $\mathbb{Q}(\sqrt{dpq})$, where $p\equiv q \equiv 1\bmod 4$ are prime numbers, and we prove new lower bounds for the proportion of narrow class groups in these families that have an element of order $8$. In the course of our proof, we prove a general double-oscillation estimate for the quadratic residue symbol in quadratic number fields.
Recently, a density result for the $16$-rank of $\text{Cl}(\mathbb{Q}(\sqrt{-p}))$ was established when $p$ varies among the prime numbers, assuming a short character sum conjecture. In this paper we prove the same density result unconditionally.
We use Vinogradov's method to prove equidistribution of a spin symbol governing the $16$-rank of class groups of quadratic number fields $\mathbb{Q}(\sqrt{-2p})$, where $p \equiv 1 \bmod 4$ is a prime.
Let $K/\mathbb{Q}$ be a quadratic extension. In this paper we study the $4$-rank of the class group $\text{Cl}(K(\sqrt{n}))$, where $n$ varies over squarefree rational integers. We show that for $100\%$ of squarefree $n$, the $4$-rank is given by an explicit formula involving the $2$-rank of $\text{Cl}(K)$ and the number of prime factors of $n$ which are inert in $K/\mathbb{Q}$.
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$.
The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of a bi-quadratic field generated from points of a certain type of elliptic curve. Moreover, showing the $2$-Selmer rank of the said elliptic curve as $1$, we also construct an infinite family of bi-qua…
For fixed $q\in\{3,7,11,19, 43,67,163\}$, we consider the density of primes $p$ congruent to $1$ modulo $4$ such that the class group of the number field $\mathbb{Q}(\sqrt{-qp})$ has order divisible by $16$. We show that this density is equal to $1/8$, in line with a more general conjecture of Gerth. Vinogradov's method is the key analytic tool for our work.
We use a variant of Vinogradov's method to show that the density of the set of prime numbers $p\equiv -1\bmod~4$ for which the class group of the imaginary quadratic number field $\mathbb{Q}(\sqrt{-8p})$ has an element of order $16$ is equal to $1/16$, as predicted by the Cohen-Lenstra heuristics.
We investigate in detail a homomorphism which we call the 2-Selmer signature map from the $2$-Selmer group of a number field $K$ to a nondegenerate symmetric space, in particular proving the image is a maximal totally isotropic subspace. Applications include precise predictions on the density of fields $K$ with given narrow class group 2-rank and with given unit group signature rank. In addition to theoretical evidence, extensive computations for totally real cubic and quintic fields are presented that match the predictions extremely well. In an appendix with Richard Foote, we classify the max…
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.
The Spiegelungssatz is an inequality between the (4)-ranks of the narrow ideal class groups of the quadratic fields (\mathbb{Q}(\sqrt{D})) and (\mathbb{Q}(\sqrt{-D})). We provide a combinatorial proof of this inequality. Our interpretation gives an affine system of equations that allows to describe precisely some equality cases.
We present an algorithm for computing the 2-group of narrow logarithmic divisor classes of degree 0 for number fields F. As an application, we compute in some cases the 2-rank of the wild kernel WK2(F).
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…
Let $E$ be an elliptic curve over a number field $K$ defined by a monic irreducible cubic polynomial $F(x)$. When $E$ is \textit{nice} at all finite primes of $K$, we bound its $2$-Selmer rank in terms of the $2$-rank of a modified ideal class group of the field $L=K[x]/{(F(x))}$, which we call the \textit{semi-narrow class group} of $L$. We then provide several sufficient conditions for $E$ being nice at a finite prime. As an application, when $K$ is a real quadratic field, $E/K$ is semistable and the discriminant of $F$ is totally negative, then we frequently determine the $2$-Selmer rank of…
We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which is strictly included in the relative genus field $(k/Q(i))^*$ and we study the capitulation of the $2$-ideal classes of $k$ in its quadratic extensions included in $k^{(*)}$.
We give a classification of the lattices of rank r=4, r=8 and r=12 over \Q(\sqrt{-3}), which are even and unimodular \Z-lattices. Using this classification we construct the associated theta series, which are Hermitian modular forms, and compute the filtration of cusp forms.
We study the $4$-rank of the ideal class group of $K_n := \mathbb{Q}(\sqrt{-n}, \sqrt{n})$. Our main result is that for a positive proportion of the squarefree integers $n$ we have that the $4$-rank of $\text{Cl}(K_n)$ equals $ω_3(n) - 1$, where $ω_3(n)$ is the number of prime divisors of $n$ that are $3$ modulo $4$.
In this paper, we will prove that if $d$ is sufficiently large square-free positive rational integer, then there is no integral septenary universal quadratic lattice over $\mathcal{O}_F$ where $F=\mathbb Q(\sqrt{d})$.
In this paper, we investigate the 2-rank of the class group of some real cyclic quartic number fields. Precisely, we consider the case where the quadratic subfield is Q(\sqrt{l}) with l congruent to 5 modulo 8 is a prime.
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.
We show that for $100\%$ of the odd, squarefree integers $n > 0$ the $4$-rank of $\text{Cl}(\mathbb{Q}(i, \sqrt{n}))$ is equal to $ω_3(n) - 1$, where $ω_3$ is the number of prime divisors of $n$ that are $3$ modulo $4$.
In this paper, we determine the 2-rank of the class group of certain classes of real cyclic quartic number fields. Precisely, we consider the case in which the quadratic subfield is Q(\sqrt{l}) with l=2 or a prime congruent to 1 mod 8.
Let $d$ be an odd square-free integer and $ζ_8$ a primitive $8$-th root of unity. The purpose of this paper is to investigate the rank of the $2$-class group of the fields $L_d=\mathbb{Q}(ζ_8,\sqrt{d})$.
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.
Let $n\geq 3$ be an integer and $d$ an odd square-free integer. We shall compute the rank of the $2$-class group of $L_{n,d}:=\mathbb{Q}(ζ_{2^n},\sqrt{d})$, when all the prime divisors of $d$ are congruent to $\pm 3\pmod 8$ or $9\pmod{16}$.
Let $E\in\{-1, \pm 2\}$. We improve on the upper and lower densities of primes $p$ such that the equation $x^2-2py^2=E$ is solvable for $x, y\in \mathbb{Z}$. We prove that the natural density of primes $p$ such that the narrow class group of the real quadratic number field $\mathbb{Q}(\sqrt{2p})$ has an element of order $16$ is equal to $\frac{1}{64}$. We give an application of our results to the distribution of Hasse's unit index for the CM-fields $\mathbb{Q}(\sqrt{2p}, \sqrt{-1})$. Our results are consequences of a twisted joint distribution result for the $16$-ranks of class groups of $\mat…
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$.
We look at genera of even unimodular lattices of rank $12$ over the ring of integers of $\mathbb{Q}(\sqrt{5})$ and of rank $8$ over the ring of integers of $\mathbb{Q}(\sqrt{3})$, using Kneser neighbours to diagonalise spaces of scalar-valued algebraic modular forms. We conjecture most of the global Arthur parameters, and prove several of them using theta series, in the manner of Ikeda and Yamana. We find instances of congruences for non-parallel weight Hilbert modular forms. Turning to the genus of Hermitian lattices of rank $12$ over the Eisenstein integers, even and unimodular over $\mathbb…
Let $k$ be a positive integer and $m$ be an integer. Garvan's $k$-rank $N_k(m,n)$ is the number of partitions of $n$ into at least $(k-1)$ successive Durfee squares with $k$-rank equal to $m$. In this paper give some asymptotics for $N_k(m,n)$ with $|m|\ge \sqrt{n}$ as $n\rightarrow \infty$. As a corollary, we give a more complete answer for the Dyson's crank distribution conjecture. We also establish some asymptotic formulas for finite differences of $N_k(m,n)$ with respect to $m$ with $m\gg \sqrt{n}\log n$.
For certain real quadratic number fields, we prove density results concerning 4-ranks of tame kernels. We also discuss a relationship between 4-ranks of tame kernels and 4-class ranks of narrow ideal class groups. Additionally, we give a product formula for a local Hilbert symbol.
Let $n$ be a positive square-free integer, where every odd prime factor of $n$ has form $8a\pm 1$. We determine when $n$ is non-congruent with second minimal $2$-primary Shafarevich-Tate group, in terms of the $4$-ranks of class groups and a Jacobi symbol. In particular, when every odd prime factor of $n$ has form $8a+1$, this condition is equivalent to the vanishing of the $4$-rank of the tame kernel of $\mathbb Q(\sqrt{n})$ for odd $n$, or $\mathbb Q(\sqrt{-n})$ for even $n$. This generalizes previous results.
