Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm {GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm {GL}(2)$ and $\mathrm {GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm {GL}(4, \mathbb R)$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula.

Let q a prime power and ${\mathbb F}_q$ the finite field of q elements. We study the analogues of Mahler’s and Koksma’s classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$. Among other results, we establish that both classifications coincide, thereby answering a question of Ooto.

Let $X$ be a normal and geometrically integral projective variety over a global field $K$ and let $\bar {D}$ be an adelic ${\mathbb {R}}$-Cartier divisor on $X$. We prove a conjecture of Chen, showing that the essential minimum $\zeta _{\mathrm {ess}}(\bar {D})$ of $\bar {D}$ equals its asymptotic maximal slope under mild positivity assumptions. As an application, we see that $\zeta _{\mathrm {ess}}(\bar {D})$ can be read on the Okounkov body of the underlying divisor $D$ via the Boucksom–Chen concave transform. This gives a new interpretation of Zhang's inequalities on successive minima and a criterion for equality generalizing to arbitrary projective varieties a result of Burgos Gil, Philippon and Sombra concerning toric metrized divisors on toric varieties. When applied to a projective space $X = {\mathbb {P}}_K^{d}$, our main result has several applications to the study of successive minima of hermitian vector spaces. We obtain an absolute transference theorem with a linear upper bound, answering a question raised by Gaudron. We also give new comparisons between successive slopes and absolute minima, extending results of Gaudron and Rémond.

This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the existence of such elements. We then derive concrete existence results for a special class of intermediate extensions.

The aim of this corrigendum is to correct an error in Corollary 10.7 to Theorem 10.6, one of the main results in the paper ‘On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields’. This makes necessary a thorough investigation of the conditions under which a Cartan-type automorphism exists on $G_1=\mathrm {Res}_{\mathbb {C}/\mathbb {R}}G_0$, where $G_0$ is a connected semisimple algebraic group defined over $\mathbb {R}$.

En s’appuyant sur la notion d’équivalence au sens de Bohr entre polynômes de Dirichlet et sur le fait que sur un corps quadratique la fonction zeta de Dedekind peut s’écrire comme produit de la fonction zeta de Riemann et d’une fonction L, nous montrons que, pour certaines valeurs du discriminant du corps quadratique, les sommes partielles de la fonction zeta de Dedekind ont leurs zéros dans des bandes verticales du plan complexe appelées bandes critiques et que les parties réelles de leurs zéros y sont denses.

We develop methods for constructing explicit generators, modulo torsion, of the $K_3$-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$-space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$-group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.

We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log \log n$ with the prime between $\log n$ and $(\log n)^{\log \log n}$. The proportion of even permutations with this property is at least $1-7/\log \log n$.

We find all integer solutions to the equation $x^2+5^a\cdot 13^b\cdot 17^c=y^n$ with $a,\,b,\,c\geq 0$, $n\geq 3$, $x,\,y>0$ and $\gcd (x,\,y)=1$. Our proof uses a deep result about primitive divisors of Lucas sequences in combination with elementary number theory and computer search.

We prove a necessary and sufficient condition for isogenous elliptic curves based on the algebraic dependence of p-adic elliptic functions. As a consequence, we give a short proof of the p-adic analogue of Schneider’s theorem on the linear independence of p-adic elliptic logarithms of algebraic points on two nonisogenous elliptic curves defined over the field of algebraic numbers.

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.

We offer an alternative proof of a result of Conlon, Fox, Sudakov and Zhao [CFSZ20] on solving translation-invariant linear equations in dense Sidon sets. Our proof generalises to equations in more than five variables and yields effective bounds.

In this article we establish the effective Shafarevich conjecture for abelian varieties over ${\mathbb Q}$ of ${\text {GL}_2}$-type. The proof combines Faltings’ method with Serre’s modularity conjecture, isogeny estimates and results from Arakelov theory. Our result opens the way for the effective study of integral points on certain higher dimensional moduli schemes such as, for example, Hilbert modular varieties.

Let \[||x||\] denote the distance from \[x \in \mathbb{R}\] to the nearest integer. In this paper, we prove a new existence and density result for matrices \[A \in {\mathbb{R}^{m \times n}}\] satisfying the inequality

\[\mathop {\lim \inf }\limits_{|q{|_\infty } \to+ \infty } \prod\limits_{j = 1}^n {\max } \{ 1,|{q_j}|\} \log {\left( {\prod\limits_{j = 1}^n {\max } \{ 1,|{q_j}|\} } \right)^{m + n - 1}}\prod\limits_{i = 1}^m {{A_i}q}> 0,\]

where q ranges in \[{\mathbb{Z}^n}\] and Ai denote the rows of the matrix A. This result extends previous work of Moshchevitin both to arbitrary dimension and to the inhomogeneous setting. The estimates needed to apply Moshchevitin’s method to the case m > 2 are not currently available. We therefore develop a substantially different method, based on Cantor-like set constructions of Badziahin and Velani. Matrices with the above property also appear to have very small sums of reciprocals of fractional parts. This fact helps us to shed light on a question raised by Lê and Vaaler on such sums, thereby proving some new estimates in higher dimension.

We refine a previous construction by Akhtari and Bhargava so that, for every positive integer m, we obtain a positive proportion of Thue equations F(x, y) = h that fail the integral Hasse principle simultaneously for every positive integer h less than m. The binary forms F have fixed degree ≥ 3 and are ordered by the absolute value of the maximum of the coefficients.

The Zagier L-series encode data of real quadratic fields. We study the average size of these L-series, and prove asymptotic expansions and omega results for the expansion. We then show how the error term in the asymptotic expansion can be used to obtain error terms in the prime geodesic theorem.

The plus and minus norm groups are constructed by Kobayashi as subgroups of the formal group of an elliptic curve with supersingular reduction, and they play an important role in Kobayashi’s definition of the signed Selmer groups. In this paper, we study the cohomology of these plus and minus norm groups. In particular, we show that these plus and minus norm groups are cohomologically trivial. As an application of our analysis, we establish certain (quasi-)projectivity properties of the non-primitive mixed signed Selmer groups of an elliptic curve with good reduction at all primes above p. We then build on these projectivity results to derive a Kida formula for the signed Selmer groups under a slight weakening of the usual µ = 0 assumption, and study the integrality property of the characteristic element attached to the signed Selmer groups.

We investigate the distribution of the digits of quotients of randomly chosen positive integers taken from the interval $[1,T]$, improving the previously known error term for the counting function as $T\to +\infty $. We also resolve some natural variants of the problem concerning points with prime coordinates and points that are visible from the origin.

Let $p$ be a prime number. For a positive integer $n$ and a real number $\xi$, let $\lambda _n (\xi )$ denote the supremum of the real numbers $\lambda$ for which there are infinitely many integer tuples $(x_0, x_1, \ldots , x_n)$ such that $| x_0 \xi - x_1|_p, \ldots , | x_0 \xi ^{n} - x_n|_p$ are all less than $X^{-\lambda - 1}$, where $X$ is the maximum of $|x_0|, |x_1|, \ldots , |x_n|$. We establish new results on the Hausdorff dimension of the set of real numbers $\xi$ for which $\lambda _n (\xi )$ is equal to (or greater than or equal to) a given value.

For fixed $\alpha \in [0,1]$, consider the set $S_{\alpha ,N}$ of dilated squares $\alpha , 4\alpha , 9\alpha , \dots , N^2\alpha \, $ modulo $1$. Rudnick and Sarnak conjectured that, for Lebesgue, almost all such $\alpha $ the gap-distribution of $S_{\alpha ,N}$ is consistent with the Poisson model (in the limit as N tends to infinity). In this paper, we prove a new estimate for the triple correlations associated with this problem, establishing an asymptotic expression for the third moment of the number of elements of $S_{\alpha ,N}$ in a random interval of length $L/N$, provided that $L> N^{1/4+\varepsilon }$. The threshold of $\tfrac {1}{4}$ is substantially smaller than the threshold of $\tfrac {1}{2}$ (which is the threshold that would be given by a naïve discrepancy estimate).

Unlike the theory of pair correlations, rather little is known about triple correlations of the dilations $(\alpha a_n \, \text {mod } 1)_{n=1}^{\infty } $ for a nonlacunary sequence $(a_n)_{n=1}^{\infty } $ of increasing integers. This is partially due to the fact that the second moment of the triple correlation function is difficult to control, and thus standard techniques involving variance bounds are not applicable. We circumvent this impasse by using an argument inspired by works of Rudnick, Sarnak, and Zaharescu, and Heath-Brown, which connects the triple correlation function to some modular counting problems.

In Appendix B, we comment on the relationship between discrepancy and correlation functions, answering a question of Steinerberger.