Rigid meromorphic cocycles are defined in the setting of orthogonal groups of arbitrary real signature and constructed in some instances via a p-adic analogue of Borcherds’ singular theta lift. The values of rigid meromorphic cocycles at special points of an associated p-adic symmetric space are then conjectured to belong to class fields of suitable global reflex fields, suggesting an eventual framework for explicit class field theory beyond the setting of CM fields explored in the treatise of Shimura and Taniyama.

In the early 2000s, Ramakrishna asked the question: for the elliptic curve

\[E\;:\; y^2 = x^3 - x,\]

$a_p(E)$

$E/\mathbb{Q}$

The tame Gras–Munnier Theorem gives a criterion for the existence of a $ {\mathbb Z}/p{\mathbb Z} $-extension of a number field K ramified at exactly a tame set S of places of K, the finite $v \in S$ necessarily having norm $1$ mod p. The criterion is the existence of a nontrivial dependence relation on the Frobenius elements of these places in a certain governing extension. We give a short new proof which extends the theorem by showing the subset of elements of $H^1(G_S,{\mathbb {Z}}/p{\mathbb {Z}})$ giving rise to such extensions of K has the same cardinality as the set of these dependence relations. We then reprove the key Proposition 2.2 using the more sophisticated Greenberg–Wiles formula based on global duality.

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}$.

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 give a family of real quadratic fields such that the 2-class field towers over their cyclotomic $\mathbb Z_2$-extensions have metabelian Galois groups of abelian invariants $[2,2,2]$. We also consider the boundedness of the Galois groups in relation to Greenberg’s conjecture, and calculate their class-2 quotients with an explicit example.

Let K/k be an extension of number fields. We describe theoretical results and computational methods for calculating the obstruction to the Hasse norm principle for K/k and the defect of weak approximation for the norm one torus \[R_{K/k}^1{\mathbb{G}_m}\]. We apply our techniques to give explicit and computable formulae for the obstruction to the Hasse norm principle and the defect of weak approximation when the normal closure of K/k has symmetric or alternating Galois group.

We discuss the origin, an improved definition and the key reciprocity property of the trilinear symbol introduced by Rédei [16] in the study of 8-ranks of narrow class groups of quadratic number fields. It can be used to show that such 8-ranks are ‘governed’ by Frobenius conditions on the primes dividing the discriminant, a fact used in the recent work of A. Smith [18, 19]. In addition, we explain its impact in the progress towards proving my conjectural density for solvability of the negative Pell equation $x^2-dy^2=-1$.

We give an algebraic proof of a class number formula for dihedral extensions of number fields of degree 2q, where q is any odd integer. Our formula expresses the ratio of class numbers as a ratio of orders of cohomology groups of units and allows one to recover similar formulas which have appeared in the literature. As a corollary of our main result, we obtain explicit bounds on the (finitely many) possible values which can occur as ratio of class numbers in dihedral extensions. Such bounds are obtained by arithmetic means, without resorting to deep integral representation theory.

Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel–Ramachandra invariants. We present a conditional proof of his conjecture by means of the characters on class groups and the second Kronecker limit formula.

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$.

A number field K with a ring of integers 𝒪K is called a Pólya field, if the 𝒪K-module of integer-valued polynomials on 𝒪K has a regular basis, or equivalently all its Bhargava factorial ideals are principal [1]. We generalize Leriche's criterion [8] for Pólya-ness of Galois closures of pure cubic fields, to general S3-extensions of ℚ. Also, we prove for a real (resp. imaginary) Pólya S3-extension L of ℚ, at most four (resp. three) primes can be ramified. Moreover, depending on the solvability of unit norm equation over the quadratic subfield of L, we determine when these sharp upper bounds can occur.

We use higher ideles and duality theorems to develop a universal approach to higher dimensional class field theory.

In order to study $p$ -adic étale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$ , we introduce new $p$ -primary torsion sheaves. It is a modification of the logarithmic de Rham–Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$ . Then we establish a perfect duality between cohomology groups of the logarithmic de Rham–Witt cohomology of $U$ and an inverse limit of those of the mentioned modified sheaves. Over a finite field, the duality can be used to study wildly ramified class field theory for the open subvariety $U$ .

We generate ray-class fields over imaginary quadratic fields in terms of Siegel–Ramachandra invariants, which are an extension of a result of Schertz. By making use of quotients of Siegel–Ramachandra invariants we also construct ray-class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain quadratic Diophantine equations.

We show that every modular form on Γ0(2n) (n ⩾ 2) can be expressed as a sum of eta-quotients, which is a partial answer to Ono's problem. Furthermore, we construct a primitive generator of the ring class field of the order of conductor 4N (N ⩾ 1) in an imaginary quadratic field in terms of the special value of a certain eta-quotient.

For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.

In terms of class field theory we give a necessary and sufficient condition for an integer to be representable by the quadratic form $x^{2}+xy+ny^{2}$ ($n\in \mathbb{N}$ arbitrary) under extra conditions $x\equiv 1\;\text{mod}\;m$, $y\equiv 0\;\text{mod}\;m$ on the variables. We also give some examples where their extended ring class numbers are less than or equal to $3$.

In this article we explain how the results in our previous article on ‘algebraic Hecke characters and compatible systems of mod $p$ Galois representations over global fields’ allow one to attach a Hecke character to every cuspidal Drinfeld modular eigenform from its associated crystal that was constructed in earlier work of the author. On the technical side, we prove along the way a number of results on endomorphism rings of ${\it\tau}$-sheaves and crystals. These are needed to exhibit the close relation between Hecke operators as endomorphisms of crystals on the one side and Frobenius automorphisms acting on étale sheaves associated to crystals on the other. We also present some partial results on the ramification of Hecke characters associated to Drinfeld modular eigenforms. An important phenomenon absent from the case of classical modular forms is that ramification can also result from places of modular curves of good but non-ordinary reduction. In an appendix, jointly with Centeleghe we prove some basic results on $p$-adic Galois representations attached to $\text{GL}_{2}$-type cuspidal automorphic forms over global fields of characteristic $p$.