We consider the reduction of an elliptic curve defined over the rational numbers modulo primes in a given arithmetic progression and investigate how often the subgroup of rational points of this reduced curve is cyclic.

Let $k\geqslant 1$ be a natural number and $\omega _k(n)$ denote the number of distinct prime factors of a natural number n with multiplicity k. We estimate the first and second moments of the functions $\omega _k$ with $k\geqslant 1$. Moreover, we prove that the function $\omega _1(n)$ has normal order $\log \log n$ and the function $(\omega _1(n)-\log \log n)/\sqrt {\log \log n}$ has a normal distribution. Finally, we prove that the functions $\omega _k(n)$ with $k\geqslant 2$ do not have normal order $F(n)$ for any nondecreasing nonnegative function F.

Using some formulas of S. Ramanujan, we compute in closed form the Fourier transform of functions related to Riemann zeta function $\zeta (s)=\sum \nolimits _{n=1}^{\infty } {1}/{n^{s}}$ and other Dirichlet series.

Let $G_1, \ldots , G_k$ be finite-dimensional vector spaces over a prime field $\mathbb {F}_p$. A multilinear variety of codimension at most $d$ is a subset of $G_1 \times \cdots \times G_k$ defined as the zero set of $d$ forms, each of which is multilinear on some subset of the coordinates. A map $\phi$ defined on a multilinear variety $B$ is multilinear if for each coordinate $c$ and all choices of $x_i \in G_i$, $i\not =c$, the restriction map $y \mapsto \phi (x_1, \ldots , x_{c-1}, y, x_{c+1}, \ldots , x_k)$ is linear where defined. In this note, we show that a multilinear map defined on a multilinear variety of codimension at most $d$ coincides on a multilinear variety of codimension $O_{k}(d^{O_{k}(1)})$ with a multilinear map defined on the whole of $G_1\times \cdots \times G_k$. Additionally, in the case of general finite fields, we deduce similar (but slightly weaker) results.

Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in=\in (m) < 1$$; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.

In this note, we will apply the results of Gross–Zagier, Gross–Kohnen–Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between reductions of CM elliptic curves.

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.

Let $g_0$ be a smooth pinched negatively curved Riemannian metric on a complete surface N, and let $\Lambda _0$ be a basic hyperbolic set of the geodesic flow of $g_0$ with Hausdorff dimension strictly smaller than two. Given a small smooth perturbation g of $g_0$ and a smooth real-valued function f on the unit tangent bundle to N with respect to g, let $L_{g,\Lambda ,f}$ (respectively $M_{g,\Lambda ,f}$) be the Lagrange (respectively Markov) spectrum of asymptotic highest (respectively highest) values of f along the geodesics in the hyperbolic continuation $\Lambda $ of $\Lambda _0$. We prove that for generic choices of g and f, the Hausdorff dimensions of the sets $L_{g,\Lambda , f}\cap (-\infty , t)$ vary continuously with $t\in \mathbb {R}$ and, moreover, $M_{g,\Lambda , f}\cap (-\infty , t)$ has the same Hausdorff dimension as $L_{g,\Lambda , f}\cap (-\infty , t)$ for all $t\in \mathbb {R}$.

Let $\pi $ be an automorphic irreducible cuspidal representation of $\mathrm{GL}_{m}$ over $\mathbb {Q}$. Denoted by $\lambda _{\pi }(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi )$ associated with $\pi $. Let $\pi _{1}$ be an automorphic irreducible cuspidal representation of $\mathrm{SL}(2,\mathbb {Z})$. Denoted by $\lambda _{\pi _{1}\times \pi _{1}}(n)$ the nth coefficient in the Dirichlet series expansion of $L(s,\pi _{1}\times \pi _{1})$ associated with $\pi _{1}\times \pi _{1}$. In this paper, we study the cancellations of $\lambda _{\pi }(n)$ and $\lambda _{\pi _{1}\times \pi _{1}}(n)$ over Beatty sequences.

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

Fix positive integers k and n with $k \leq n$. Numbers $x_0, x_1, x_2, \ldots , x_{n - 1}$, each equal to $\pm {1}$, are cyclically arranged (so that $x_0$ follows $x_{n - 1}$) in that order. The problem is to find the product $P = x_0x_1 \cdots x_{n - 1}$ of all n numbers by asking the smallest number of questions of the type $Q_i$: what is $x_ix_{i + 1}x_{i + 2} \cdots x_{i+ k -1}$? (where all the subscripts are read modulo n). This paper studies the problem and some of its generalisations.

Let $t:{\mathbb F_p} \to C$ be a complex valued function on ${\mathbb F_p}$. A classical problem in analytic number theory is bounding the maximum

$$M(t): = \mathop {\max }\limits_{0 \le H < p} \left| {{1 \over {\sqrt p }}\sum\limits_{0 \le n < H} {t(n)} } \right|$$

$(1/\sqrt p )\sum\nolimits_{0 \le n < H} {t(n)} $

$$M(t) \le {\left\| {\hat t} \right\|_\infty }\log 3p,$$

$\hat t:{\mathbb F_p} \to \mathbb C$

$\varepsilon > 0$

$a \in \mathbb F_p^ \times $

$${\rm{k}}{1_{a,1,p}}:x \mapsto e((ax + \bar x)/p)$$

$$M({\rm{k}}{1_{a,1,p}}) \ge \left( {{{1 - \varepsilon } \over {\sqrt 2 \pi }} + o(1)} \right)\log \log p,$$

$p \to \infty $

${\{ M({\rm{k}}{1_{a,1,p}})\} _{a \in \mathbb F_p^ \times }}$

Let k and l be positive integers satisfying $k \ge 2, l \ge 1$. A set $\mathcal {A}$ of positive integers is an asymptotic basis of order k if every large enough positive integer can be represented as the sum of k terms from $\mathcal {A}$. About 35 years ago, P. Erdős asked: does there exist an asymptotic basis of order k where all the subset sums with at most l terms are pairwise distinct with the exception of a finite number of cases as long as $l \le k - 1$? We use probabilistic tools to prove the existence of an asymptotic basis of order $2k+1$ for which all the sums of at most k elements are pairwise distinct except for ‘small’ numbers.

We improve on a result by Svetlana Jitomirskaya and Wencai Liu dealing with inhomogeneous Diophantine approximation in the coprime setting.

We prove that if $A \subseteq [X,\,2X]$ and $B \subseteq [Y,\,2Y]$ are sets of integers such that gcd (a, b) ⩾ D for at least δ|A||B| pairs (a, b) ε A × B then $|A||B|{ \ll _{\rm{\varepsilon }}}{\delta ^{ - 2 - \varepsilon }}XY/{D^2}$. This is a new result even when δ = 1. The proof uses ideas of Koukoulopoulos and Maynard and some additional combinatorial arguments.

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of $K3$ surfaces over finite fields. We prove that every $K3$ surface of finite height over a finite field admits a characteristic $0$ lifting whose generic fibre is a $K3$ surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a $K3$ surface over a finite field. To obtain these results, we construct an analogue of Kisin’s algebraic group for a $K3$ surface of finite height and construct characteristic $0$ liftings of the $K3$ surface preserving the action of tori in the algebraic group. We obtain these results for $K3$ surfaces over finite fields of any characteristics, including those of characteristic $2$ or $3$.

We consider the problem of defining an action of Hecke operators on the coherent cohomology of certain integral models of Shimura varieties. We formulate a general conjecture describing which Hecke operators should act integrally and solve the conjecture in certain cases. As a consequence, we obtain p-adic estimates of Satake parameters of certain nonregular self-dual automorphic representations of $\mathrm {GL}_n$.

We define a family $\mathcal {B}(t)$ of compact subsets of the unit interval which provides a filtration of the set of numbers whose continued fraction expansion has bounded digits. We study how the set $\mathcal {B}(t)$ changes as the parameter t ranges in $[0,1]$, and see that the family undergoes period-doubling bifurcations and displays the same transition pattern from periodic to chaotic behaviour as the family of real quadratic polynomials. The set $\mathcal {E}$ of bifurcation parameters is a fractal set of measure zero and Hausdorff dimension $1$. The Hausdorff dimension of $\mathcal {B}(t)$ varies continuously with the parameter, and we show that the dimension of each individual set equals the dimension of the corresponding section of the bifurcation set $\mathcal {E}$.

We prove the strong Suslin reciprocity law conjectured by A. Goncharov. The Suslin reciprocity law is a generalization of the Weil reciprocity law to higher Milnor $K$-theory. The Milnor $K$-groups can be identified with the top cohomology groups of the polylogarithmic motivic complexes; Goncharov's conjecture predicts the existence of a contracting homotopy underlying Suslin reciprocity. The main ingredient of the proof is a homotopy invariance theorem for the cohomology of the polylogarithmic motivic complexes in the ‘next to Milnor’ degree. We apply these results to the theory of scissors congruences of hyperbolic polytopes. For every triple of rational functions on a compact projective curve over $\mathbb {C}$ we construct a hyperbolic polytope (defined up to scissors congruence). The hyperbolic volume and the Dehn invariant of this polytope can be computed directly from the triple of rational functions on the curve.

We study a class of two-variable polynomials called exact polynomials which contains $A$-polynomials of knot complements. The Mahler measure of these polynomials can be computed in terms of a volume function defined on the vanishing set of the polynomial. We prove that the local extrema of the volume function are on the two-dimensional torus and give a closed formula for the Mahler measure in terms of these extremal values. This formula shows that the Mahler measure of an irreducible and exact polynomial divided by $\pi$ is greater than the amplitude of the volume function. We also prove a K-theoretic criterion for a polynomial to be a factor of an $A$-polynomial and give a topological interpretation of its Mahler measure.