We determine the average size of the $3$-torsion in class groups of G-extensions of a number field when G is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen–Lenstra–Martinet heuristics that the average size of the p-torsion in class groups of G-extensions of a number field is conjecturally finite for any G and most p (including $p\nmid |G|$). Previously this conjecture had only been proven in the cases of $G=S_2$ with $p=3$ and $G=S_3$ with $p=2$. We also show that the average $3$-torsion in a certain relative class group for these G-extensions is as conjectured, proving new cases of the Cohen–Lenstra–Martinet heuristics. Our new method also works for many other permutation groups G that are not $2$-groups.

We explore the relationship between (3-isogeny induced) Selmer group of an elliptic curve and the (3 part of) the ideal class group, over certain non-abelian number fields.

This paper discusses variants of Weber’s class number problem in the spirit of arithmetic topology to connect the results of Sinnott–Kisilevsky and Kionke. Let p be a prime number. We first prove the p-adic convergence of class numbers in a ${\mathbb{Z}_{p}}$-extension of a global field and a similar result in a ${\mathbb{Z}_{p}}$-cover of a compact 3-manifold. Secondly, we establish an explicit formula for the p-adic limit of the p-power-th cyclic resultants of a polynomial using roots of unity of orders prime to p, the p-adic logarithm, and the Iwasawa invariants. Finally, we give thorough investigations of torus knots, twist knots, and elliptic curves; we complete the list of the cases with p-adic limits being in ${\mathbb{Z}}$ and find the cases such that the base p-class numbers are small and $\nu$’s are arbitrarily large.

We derive new cases of conjectures of Rubin and of Burns–Kurihara–Sano concerning derivatives of Dirichlet L-series at $s = 0$ in p-elementary abelian extensions of number fields for arbitrary prime numbers p. In naturally arising examples of such extensions one therefore obtains annihilators of class groups from S-truncated Dirichlet L-series for ‘large-enough’ sets of places S.

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.

Let $K_n=\mathbb{Q}(\alpha_n)$ be a family of algebraic number fields where $\alpha_n\in \mathbb{C}$ is a root of the nth exponential Taylor polynomial $\frac{x^n}{n!}+ \frac{x^{n-1}}{(n-1)!}+ \cdots +\frac{x^2}{2!}+\frac{x}{1!}+1$, $n\in \mathbb{N}$. In this paper, we give a formula for the exact power of any prime p dividing the discriminant of Kn in terms of the p-adic expansion of n. An explicit p-integral basis of Kn is also given for each prime p. These p-integral bases quickly lead to the construction of an integral basis of Kn.

Let ${\mathbb {Z}}_{K}$ denote the ring of algebraic integers of an algebraic number field $K = {\mathbb Q}(\theta )$, where $\theta $ is a root of a monic irreducible polynomial $f(x) = x^n + a(bx+c)^m \in {\mathbb {Z}}[x]$, $1\leq m<n$. We say $f(x)$ is monogenic if $\{1, \theta , \ldots , \theta ^{n-1}\}$ is a basis for ${\mathbb {Z}}_K$. We give necessary and sufficient conditions involving only $a, b, c, m, n$ for $f(x)$ to be monogenic. Moreover, we characterise all the primes dividing the index of the subgroup ${\mathbb {Z}}[\theta ]$ in ${\mathbb {Z}}_K$. As an application, we also provide a class of monogenic polynomials having non square-free discriminant and Galois group $S_n$, the symmetric group on n letters.

We construct a new family of quintic non-Pólya fields with large Pólya groups. We show that the Pólya number of such a field never exceeds five times the size of its Pólya group. Finally, we show that these non-Pólya fields are nonmonogenic of field index one.

Let $n$ be an integer congruent to $0$ or $3$ modulo $4$. Under the assumption of the ABC conjecture, we prove that, given any integer $m$ fulfilling only a certain coprimeness condition, there exist infinitely many imaginary quadratic fields having an everywhere unramified Galois extension of group $A_n \times C_m$. The same result is obtained unconditionally in special cases.

We study the Galois module structure of the class groups of the Artin–Schreier extensions K over k of extension degree p, where $k:={\mathbb F}_q(T)$ is the rational function field and p is a prime number. The structure of the p-part $Cl_K(p)$ of the ideal class group of K as a finite G-module is determined by the invariant ${\lambda }_n$, where $G:=\operatorname {\mathrm {Gal}}(K/k)=\langle {\sigma } \rangle $ is the Galois group of K over k, and ${\lambda }_n = \dim _{{\mathbb F}_p}(Cl_K(p)^{({\sigma }-1)^{n-1}}/Cl_K(p)^{({\sigma }-1)^{n}})$. We find infinite families of the Artin–Schreier extensions over k whose ideal class groups have guaranteed prescribed ${\lambda }_n$-rank for $1 \leq n \leq 3$. We find an algorithm for computing ${\lambda }_3$-rank of $Cl_K(p)$. Using this algorithm, for a given integer $t \ge 2$, we get infinite families of the Artin–Schreier extensions over k whose ${\lambda }_1$-rank is t, ${\lambda }_2$-rank is $t-1$, and ${\lambda }_3$-rank is $t-2$. In particular, in the case where $p=2$, for a given positive integer $t \ge 2$, we obtain an infinite family of the Artin–Schreier quadratic extensions over k whose $2$-class group rank (resp. $2^2$-class group rank and $2^3$-class group rank) is exactly t (resp. $t-1$ and $t-2$). Furthermore, we also obtain a similar result on the $2^n$-ranks of the divisor class groups of the Artin–Schreier quadratic extensions over k.

For a principal ideal domain $A$, the Latimer–MacDuffee correspondence sets up a bijection between the similarity classes of matrices in $\textrm{M}_{n}(A)$ with irreducible characteristic polynomial $f(x)$ and the ideal classes of the order $A[x]/(f(x))$. We prove that when $A[x]/(f(x))$ is maximal (i.e. integrally closed, i.e. a Dedekind domain), then every similarity class contains a representative that is, in a sense, close to being a companion matrix. The first step in the proof is to show that any similarity class corresponding to an ideal (not necessarily prime) of degree one contains a representative of the desired form. The second step is a previously unpublished result due to Lenstra that implies that when $A[x]/(f(x))$ is maximal, every ideal class contains an ideal of degree one.

In this article, we provide an explicit upper bound for $h_K \mathcal {R}_K d_K^{-1/2}$ which depends on an effective constant in the error term of the Ideal Theorem.

We study the discriminants of the minimal polynomials $\mathcal {P}_n$ of the Ramanujan $t_n$ class invariants, which are defined for positive $n\equiv 11\pmod {24}$. We show that $\Delta (\mathcal {P}_n)$ divides $\Delta (H_n)$, where $H_n$ is the ring class polynomial, with quotient a perfect square and determine the sign of $\Delta (\mathcal {P}_n)$ based on the ideal class group structure of the order of discriminant $-n$. We also show that the discriminant of the number field generated by $j({(-1+\sqrt {-n})}/{2})$, where j is the j-invariant, divides $\Delta (\mathcal {P}_n)$. Moreover, using Ye’s computation of $\log|\Delta(H_n)|$ [‘Revisiting the Gross–Zagier discriminant formula’, Math. Nachr. 293 (2020), 1801–1826], we show that 3 never divides $\Delta(H_n)$, and thus $\Delta(\mathcal{P}_n)$, for all squarefree $n\equiv11\pmod{24}$.

An explicit formula forthe mean value of $\vert L(1,\chi )\vert ^2$ is known, where $\chi $ runs over all odd primitive Dirichlet characters of prime conductors p. Bounds on the relative class number of the cyclotomic field ${\mathbb Q}(\zeta _p)$ follow. Lately, the authors obtained that the mean value of $\vert L(1,\chi )\vert ^2$ is asymptotic to $\pi ^2/6$, where $\chi $ runs over all odd primitive Dirichlet characters of prime conductors $p\equiv 1\ \ \pmod {2d}$ which are trivial on a subgroup H of odd order d of the multiplicative group $({\mathbb Z}/p{\mathbb Z})^*$, provided that $d\ll \frac {\log p}{\log \log p}$. Bounds on the relative class number of the subfield of degree $\frac {p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta _p)$ follow. Here, for a given integer $d_0>1$, we consider the same questions for the nonprimitive odd Dirichlet characters $\chi '$ modulo $d_0p$ induced by the odd primitive characters $\chi $ modulo p. We obtain new estimates for Dedekind sums and deduce that the mean value of $\vert L(1,\chi ')\vert ^2$ is asymptotic to $\frac {\pi ^2}{6}\prod _{q\mid d_0}\left (1-\frac {1}{q^2}\right )$, where $\chi $ runs over all odd primitive Dirichlet characters of prime conductors p which are trivial on a subgroup H of odd order $d\ll \frac {\log p}{\log \log p}$. As a consequence, we improve the previous bounds on the relative class number of the subfield of degree $\frac {p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta _p)$. Moreover, we give a method to obtain explicit formulas and use Mersenne primes to show that our restriction on d is essentially sharp.

Let $m>1$ and $\mathfrak {d} \neq 0$ be integers such that $v_{p}(\mathfrak {d}) \neq m$ for any prime p. We construct a matrix $A(\mathfrak {d})$ of size $(m-1) \times (m-1)$ depending on only of $\mathfrak {d}$ with the following property: For any tame $ \mathbb {Z}/m \mathbb {Z}$-number field K of discriminant $\mathfrak {d}$, the matrix $A(\mathfrak {d})$ represents the Gram matrix of the integral trace-zero form of K. In particular, we have that the integral trace-zero form of tame cyclic number fields is determined by the degree and discriminant of the field. Furthermore, if in addition to the above hypotheses, we consider real number fields, then the shape is also determined by the degree and the discriminant.

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 use circulant matrices and hyperelliptic curves over finite fields to study some arithmetic properties of certain determinants involving Legendre symbols and kth power residues.

Stark conjectured that for any $h\in \Bbb {N}$, there are only finitely many CM-fields with class number h. Let $\mathcal {C}$ be the class of number fields L for which L has an almost normal subfield K such that $L/K$ has solvable Galois closure. We prove Stark’s conjecture for $L\in \mathcal {C}$ of degree greater than or equal to 6. Moreover, we show that the generalised Brauer–Siegel conjecture is true for asymptotically good towers of number fields $L\in \mathcal {C}$ and asymptotically bad families of $L\in \mathcal {C}$.

In this paper we study the family of elliptic curves $E/{{\mathbb {Q}}}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the quotient $\Delta (E)/C(E)$ of the discriminant divided by the conductor is squarefree; and second, the set of elliptic curves $E$ such that the Szpiro quotient $\beta _E:=\log |\Delta (E)|/\log (C(E))$ is less than $7/4$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the $2$-Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is $3$. The key new ingredients necessary for the proofs are ‘uniformity estimates’, namely upper bounds on the number of elliptic curves with bounded height, whose discriminants are divisible by high powers of primes.

For any odd prime p, we construct an infinite family of imaginary quadratic fields whose class numbers are divisible by p. We give a corollary that settles Iizuka’s conjecture for the case n=1 and p>2.