For a prime p and a rational elliptic curve $E_{/\mathbb {Q}}$, set $K=\mathbb {Q}(E[p])$ to denote the torsion field generated by $E[p]:=\operatorname {ker}\{E\xrightarrow {p} E\}$. The class group $\operatorname {Cl}_K$ is a module over $\operatorname {Gal}(K/\mathbb {Q})$. Given a fixed odd prime number p, we study the average nonvanishing of certain Galois stable quotients of the mod-p class group $\operatorname {Cl}_K/p\operatorname {Cl}_K$. Here, E varies over all rational elliptic curves, ordered according to height. Our results are conditional, since we assume that the p-primary part of the Tate–Shafarevich group is finite. Furthermore, we assume predictions made by Delaunay for the statistical variation of the p-primary parts of Tate–Shafarevich groups. We also prove results in the case when the elliptic curve $E_{/\mathbb {Q}}$ is fixed and the prime p is allowed to vary.

Using a recent breakthrough of Smith [18], we improve the results of Fouvry and Klüners [4, 5] on the solubility of the negative Pell equation. Let $\mathcal {D}$ denote the set of positive squarefree integers having no prime factors congruent to $3$ modulo $4$ . Stevenhagen [19] conjectured that the density of d in $\mathcal {D}$ such that the negative Pell equation $x^2-dy^2=-1$ is solvable with $x, y \in \mathbb {Z}$ is $58.1\%$ , to the nearest tenth of a percent. By studying the distribution of the $8$ -rank of narrow class groups $\operatorname {\mathrm {Cl}}^+(d)$ of $\mathbb {Q}(\sqrt {d})$ , we prove that the infimum of this density is at least $53.8\%$ .

We show that for $100\%$ of the odd, square free integers $n> 0$ , the $4$ -rank of $\text {Cl}(\mathbb{Q} (i, \sqrt {n}))$ is equal to $\omega _3(n) - 1$ , where $\omega _3$ is the number of prime divisors of n that are $3$ modulo $4$ .

The aim of this paper is to study circular units in the compositum K of t cyclic extensions of ${\mathbb {Q}}$ ( $t\ge 2$ ) of the same odd prime degree $\ell $ . If these fields are pairwise arithmetically orthogonal and the number s of primes ramifying in $K/{\mathbb {Q}}$ is larger than $t,$ then a nontrivial root $\varepsilon $ of the top generator $\eta $ of the group of circular units of K is constructed. This explicit unit $\varepsilon $ is used to define an enlarged group of circular units of K, to show that $\ell ^{(s-t)\ell ^{t-1}}$ divides the class number of K, and to prove an annihilation statement for the ideal class group of K.

In this paper, we study the growth of fine Selmer groups in two cases. First, we study the growth of fine Selmer ranks in multiple $\mathbb{Z}_{p}$-extensions. We show that the growth of the fine Selmer group is unbounded in such towers. We recover a sufficient condition to prove the $\unicode[STIX]{x1D707}=0$ conjecture for cyclotomic $\mathbb{Z}_{p}$-extensions. We show that in certain non-cyclotomic $\mathbb{Z}_{p}$-towers, the $\unicode[STIX]{x1D707}$-invariant of the fine Selmer group can be arbitrarily large. Second, we show that in an unramified $p$-class field tower, the growth of the fine Selmer group is unbounded. This tower is non-Abelian and non-$p$-adic analytic.

Let K be an imaginary quadratic field different from $\open{Q}(\sqrt {-1})$ and $\open{Q}(\sqrt {-3})$. For a positive integer N, let KN be the ray class field of K modulo $N {\cal O}_K$. By using the congruence subgroup ± Γ1(N) of SL2(ℤ), 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 Gal(KN/K). We also present an algorithm to find all distinct form classes and show how to multiply two form classes. As an application, we describe Gal(KNab/K) in terms of these extended form class groups for which KNab is the maximal abelian extension of K unramified outside prime ideals dividing $N{\cal O}_K$.

Let $p\equiv 1\hspace{0.2em}{\rm mod}\hspace{0.2em}4$ be a prime number. We use a number field variant of Vinogradov’s method to prove density results about the following four arithmetic invariants: (i) $16$-rank of the class group $\text{Cl}(-4p)$ of the imaginary quadratic number field $\mathbb{Q}(\sqrt{-4p})$; (ii) $8$-rank of the ordinary class group $\text{Cl}(8p)$ of the real quadratic field $\mathbb{Q}(\sqrt{8p})$; (iii) the solvability of the negative Pell equation $x^{2}-2py^{2}=-1$ over the integers; (iv) $2$-part of the Tate–Šafarevič group $\unicode[STIX]{x0428}(E_{p})$ of the congruent number elliptic curve $E_{p}:y^{2}=x^{3}-p^{2}x$. Our results are conditional on a standard conjecture about short character sums.

Let L/k be a finite Galois extension of number fields with Galois group G. For every odd prime p satisfying certain mild technical hypotheses, we use values of Artin L-functions to construct an element in the centre of the group ring ℤ(p)[G] that annihilates the p-part of the class group of L.

This corrigendum corrects a mistake in K. Belabas, On the mean 3-rank of quadratic fields, Compositio Math. 118 (1999), 1–9.

Based on results obtained in [15], we construct groups of special S-units for function fields of characteristic p>0, and show that they satisfy Gras-type Conjectures. We use these results in order to give a new proof of Chinburg‘s Ω$_3$-Conjecture on the Galois module structure of the group of S-units, for cyclic extensions of prime degree of function fields.

The Cohen–Lenstra–Martinet heuristics give precise predictions about the class groups of a ’random‘ number field. The 3-rank of quadratic fields is one of the few instances where these have been proven. We prove that, in this case, the rate of convergence is at least sub-exponential. In addition, we show that the defect appearing in Scholz‘s mirror theorem is equidistributed with respect to a twisted Cohen–Lenstra density.

We prove that a refinement of Stark‘s Conjecture formulated by Rubin in Ann. Inst Fourier 4 (1996) is true up to primes dividing the order of the Galois group, for finite, Abelian extensions of function fields over finite fields. We also show that in the case of constant field extensions, a statement stronger than Rubin‘s holds true.