We establish a connection between motivic cohomology classes over the Siegel threefold and non-critical special values of the degree-four $L$ -function of some cuspidal automorphic representations of $\text{GSp}(4)$ . Our computation relies on our previous work [On higher regulators of Siegel threefolds I: the vanishing on the boundary, Asian J. Math. 19 (2015), 83–120] and on an integral representation of the $L$ -function due to Piatetski-Shapiro.

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 employ some formulae on hypergeometric series and p-adic Gamma function to establish several congruences.

In 1956, Jeśmanowicz conjectured that, for any positive integers $m$ and $n$ with $m>n$ , $\gcd (m,n)=1$ and $2\nmid m+n$ , the Diophantine equation $(m^{2}-n^{2})^{x}+(2mn)^{y}=(m^{2}+n^{2})^{z}$ has only the positive integer solution $(x,y,z)=(2,2,2)$ . In this paper, we prove the conjecture if $4\nmid mn$ and $y\geq 2$ .

We prove analogs of the Bezout and the Bernstein–Kushnirenko–Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives of an $n$ -tuple of functions, which admits finitely many solutions, we show that the number of solutions is bounded by an appropriate constant (depending singly-exponentially on $n$ and $l$ ) times the volume of the Newton polytope of the set of conditions. This improves a doubly-exponential estimate due to Hrushovski and Pillay. We illustrate the application of our estimates in two diophantine contexts: to counting transcendental lattice points on algebraic subvarieties of semi-abelian varieties, following Hrushovski and Pillay; and to counting the number of intersections between isogeny classes of elliptic curves and algebraic varieties, following Freitag and Scanlon. In both cases we obtain bounds which are singly-exponential (improving the known doubly-exponential bounds) and which exhibit the natural asymptotic growth with respect to the degrees of the equations involved.

This paper concerns the problem of algebraic differential independence of the gamma function and ${\mathcal{L}}$ -functions in the extended Selberg class. We prove that the two kinds of functions cannot satisfy a class of algebraic differential equations with functional coefficients that are linked to the zeros of the ${\mathcal{L}}$ -function in a domain $D:=\{z:0<\text{Re}\,z<\unicode[STIX]{x1D70E}_{0}\}$ for a positive constant $\unicode[STIX]{x1D70E}_{0}$ .

In this short note, considering functions, we show that taking an asymptotic viewpoint allows one to prove strong transcendence statements in many general situations. In particular, as a consequence of a more general result, we show that if $F(z)\in \mathbb{C}[[z]]$ is a power series with coefficients from a finite set, then $F(z)$ is either rational or it is transcendental over the field of meromorphic functions.

Rodriguez-Villegas conjectured four supercongruences associated to certain elliptic curves, which were first confirmed by Mortenson by using the Gross–Koblitz formula. In this paper we prove four supercongruences between two truncated hypergeometric series $_{2}F_{1}$ . The results generalise the four Rodriguez-Villegas supercongruences.

Let $K$ be a number field with ring of integers $\mathbb{Z}_{K}$ . We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_{K}$ . First, we estimate the maximum number of nonassociated irreducibles dividing a nonzero element of $\mathbb{Z}_{K}$ of norm not exceeding $x$ (in absolute value), as $x\rightarrow \infty$ . Second, we count the number of irreducible elements of $\mathbb{Z}_{K}$ of norm not exceeding $x$ lying in a given arithmetic progression (again, as $x\rightarrow \infty$ ). When $K=\mathbb{Q}$ , both results are classical; a new feature in the general case is the influence of combinatorial properties of the class group of $K$ .

We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$ . We construct a completely free element in the extension $\mathbb{C}(X(N))/\mathbb{C}(X(1))$ by means of Siegel functions.

Using properties of Appell–Lerch functions, we give insightful proofs for six of Ramanujan’s identities for the tenth-order mock theta functions.

We prove that spin groups act generically freely on various spinor modules, in the sense of group schemes and in a way that does not depend on the characteristic of the base field. As a consequence, we extend the surprising calculation of the essential dimension of spin groups and half-spin groups in characteristic zero by Brosnan et al. [Essential dimension, spinor groups, and quadratic forms, Ann. of Math. (2) 171 (2010), 533–544], and Chernousov and Merkurjev [Essential dimension of spinor and Clifford groups, Algebra Number Theory 8 (2014), 457–472] to fields of characteristic different from two. We also complete the determination of generic stabilizers in spin and half-spin groups of low rank.

Let $M$ be the Shimura variety associated to the group of spinor similitudes of a quadratic space over $\mathbb{Q}$ of signature $(n,2)$ . We prove a conjecture of Bruinier and Yang, relating the arithmetic intersection multiplicities of special divisors and complex multiplication points on $M$ to the central derivatives of certain $L$ -functions. Each such $L$ -function is the Rankin–Selberg convolution associated with a cusp form of half-integral weight $n/2+1$ , and the weight $n/2$ theta series of a positive definite quadratic space of rank  $n$ . When $n=1$ the Shimura variety $M$ is a classical quaternionic Shimura curve, and our result is a variant of the Gross–Zagier theorem on heights of Heegner points.

Inspired by methods of N. P. Smart, we describe an algorithm to determine all Picard curves over $\mathbb{Q}$ with good reduction away from 3, up to $\mathbb{Q}$ -isomorphism. A correspondence between the isomorphism classes of such curves and certain quintic binary forms possessing a rational linear factor is established. An exhaustive list of integral models is determined and an application to a question of Ihara is discussed.

There are a number of fundamental results in the study of holomorphic function theory associated to the discrete group $\operatorname{PSL}(2,\mathbb{Z})$ , including the following statements: the ring of holomorphic modular forms is generated by the holomorphic Eisenstein series of weights four and six, denoted by $E_{4}$ and $E_{6}$ ; the smallest-weight cusp form $\unicode[STIX]{x1D6E5}$ has weight twelve and can be written as a polynomial in $E_{4}$ and $E_{6}$ ; and the Hauptmodul $j$ can be written as a multiple of $E_{4}^{3}$ divided by $\unicode[STIX]{x1D6E5}$ . The goal of the present article is to seek generalizations of these results to some other genus-zero arithmetic groups $\unicode[STIX]{x1D6E4}_{0}(N)^{+}$ with square-free level $N$ , which are related to ‘Monstrous moonshine conjectures’. Certain aspects of our results are generated from extensive computer analysis; as a result, many of the space-consuming results are made available on a publicly accessible web site. However, we do present in this article specific results for certain low-level groups.

In Ramsey theory one wishes to know how large a collection of objects can be while avoiding a particular substructure. A problem of recent interest has been to study how large subsets of the natural numbers can be while avoiding three-term geometric progressions. Building on recent progress on this problem, we consider the analogous problem over quadratic number fields. We first construct high-density subsets of the algebraic integers of an imaginary quadratic number field that avoid three-term geometric progressions. When unique factorization fails, or over a real quadratic number field, we instead look at subsets of ideals of the ring of integers. Our approach here is to construct sets ‘greedily’, a generalization of the greedy set of rational integers considered by Rankin. We then describe the densities of these sets in terms of values of the Dedekind zeta function. Next, we consider geometric-progression-free sets with large upper density. We generalize an argument by Riddell to obtain upper bounds for the upper density of geometric-progression-free subsets, and construct sets avoiding geometric progressions with high upper density to obtain lower bounds for the supremum of the upper density of all such subsets. Both arguments depend critically on the elements with small norm in the ring of integers.

Using a new approach starting with a residue computation, we sharpen some of the known estimates for the counting function of friable integers. The improved accuracy turns out to be crucial for various applications, some of which concern fundamental questions in probabilistic number theory.

We give an explicit upper bound for the number of zeros of Hecke–Landau zeta-functions in a rectangle.

We develop a theory of commensurability of groups, of rings, and of modules. It allows us, in certain cases, to compare sizes of automorphism groups of modules, even when those are infinite. This work is motivated by the Cohen–Lenstra heuristics on class groups.

A seminal result due to Wall states that if $x$ is normal to a given base $b$ , then so is $rx+s$ for any rational numbers $r,s$ with $r\neq 0$ . We show that a stronger result is true for normality with respect to the continued fraction expansion. In particular, suppose $a,b,c,d\in \mathbb{Z}$ with $ad-bc\neq 0$ . Then if $x$ is continued fraction normal, so is $(ax+b)/(cx+d)$ .