Let $k\geq 2$ and $\Pi (n)= { \mathop{\prod }\nolimits}_{i= 1}^{k} ({a}_{i} n+ {b}_{i} )$ for some integers ${a}_{i} , {b}_{i} $ ($1\leq i\leq k$). Suppose that $\Pi (n)$ has no fixed prime divisors. Weighted sieves have shown for infinitely many integers $n$ that the number of prime factors $\Omega (\Pi (n))$ of $\Pi (n)$ is at most ${r}_{k} $, for some integer ${r}_{k} $ depending only on $k$. We use a new kind of weighted sieve to improve the possible values of ${r}_{k} $ when $k\geq 4$.

In this paper, we construct a generalization of the Kohnen plus space for Hilbert modular forms of half-integral weight. The Kohnen plus space can be characterized by the eigenspace of a certain Hecke operator. It can be also characterized by the behavior of the Fourier coefficients. For example, in the parallel weight case, a modular form of weight $\kappa + (1/ 2)$ with $\xi \mathrm{th} $ Fourier coefficient $c(\xi )$ belongs to the Kohnen plus space if and only if $c(\xi )= 0$ unless $\mathop{(- 1)}\nolimits ^{\kappa } \xi $ is congruent to a square modulo $4$. The Kohnen subspace is isomorphic to a certain space of Jacobi forms. We also prove a generalization of the Kohnen–Zagier formula.

Denote by $ \mathbb{Q} ( \sqrt{- m} )$ , with $m$ a square-free positive integer, an imaginary quadratic number field, and by ${ \mathcal{O} }_{- m} $ its ring of integers. The Bianchi groups are the groups ${\mathrm{SL} }_{2} ({ \mathcal{O} }_{- m} )$ . In the literature, so far there have been no examples of $p$ -torsion in the integral homology of the full Bianchi groups, for $p$ a prime greater than the order of elements of finite order in the Bianchi group, which is at most 6. However, extending the scope of the computations, we can observe examples of torsion in the integral homology of the quotient space, at prime numbers as high as for instance $p= 80\hspace{0.167em} 737$ at the discriminant $- 1747$ .

Supplementary materials are available with this article.

We study the mixing properties of progressions $(x, xg, x{g}^{2} )$ , $(x, xg, x{g}^{2} , x{g}^{3} )$ of length three and four in a model class of finite nonabelian groups, namely the special linear groups ${\mathrm{SL} }_{d} (F)$ over a finite field $F$ , with $d$ bounded. For length three progressions $(x, xg, x{g}^{2} )$ , we establish a strong mixing property (with an error term that decays polynomially in the order $\vert F\vert $ of $F$ ), which among other things counts the number of such progressions in any given dense subset $A$ of ${\mathrm{SL} }_{d} (F)$ , answering a question of Gowers for this class of groups. For length four progressions $(x, xg, x{g}^{2} , x{g}^{3} )$ , we establish a partial result in the $d= 2$ case if the shift $g$ is restricted to be diagonalizable over $F$ , although in this case we do not recover polynomial bounds in the error term. Our methods include the use of the Cauchy–Schwarz inequality, the abelian Fourier transform, the Lang–Weil bound for the number of points in an algebraic variety over a finite field, some algebraic geometry, and (in the case of length four progressions) the multidimensional Szemerédi theorem.

An $r$-ary necklace (bracelet) of length $n$ is an equivalence class of $r$-colourings of vertices of a regular $n$-gon, taking all rotations (rotations and reflections) as equivalent. A necklace (bracelet) is symmetric if a corresponding colouring is invariant under some reflection. We show that the number of symmetric $r$-ary necklaces (bracelets) of length $n$ is $\frac{1}{2} (r+ 1){r}^{n/ 2} $ if $n$ is even, and ${r}^{(n+ 1)/ 2} $ if $n$ is odd.

In 2007, Andrews and Paule introduced a new class of combinatorial objects called broken $k$-diamond partitions. Recently, Shishuo Fu generalised the notion of broken $k$-diamond partitions to combinatorial objects which he termed $k$ dots bracelet partitions. Fu denoted the number of $k$ dots bracelet partitions of $n$ by ${\mathfrak{B}}_{k} (n)$ and proved several congruences modulo primes and modulo powers of 2. More recently, Radu and Sellers extended the set of congruences proven by Fu by proving three congruences modulo squares of primes for ${\mathfrak{B}}_{5} (n)$, ${\mathfrak{B}}_{7} (n)$ and ${\mathfrak{B}}_{11} (n)$. In this note, we prove some congruences modulo powers of 2 for ${\mathfrak{B}}_{5} (n)$. For example, we find that for all integers $n\geq 0$, ${\mathfrak{B}}_{5} (16n+ 7)\equiv 0\hspace{0.167em} ({\rm mod} \hspace{0.334em} {2}^{5} )$.

Let $(a, b, c)$ be a primitive Pythagorean triple satisfying ${a}^{2} + {b}^{2} = {c}^{2} . $ In 1956, Jeśmanowicz conjectured that for any given positive integer $n$ the only solution of $\mathop{(an)}\nolimits ^{x} + \mathop{(bn)}\nolimits ^{y} = \mathop{(cn)}\nolimits ^{z} $ in positive integers is $x= y= z= 2. $ In this paper, for the primitive Pythagorean triple $(a, b, c)= (4{k}^{2} - 1, 4k, 4{k}^{2} + 1)$ with $k= {2}^{s} $ for some positive integer $s\geq 0$, we prove the conjecture when $n\gt 1$ and certain divisibility conditions are satisfied.

In this paper, we construct several new permutation polynomials over finite fields. First, using the linearised polynomials, we construct the permutation polynomial of the form ${ \mathop{\sum }\nolimits}_{i= 1}^{k} ({L}_{i} (x)+ {\gamma }_{i} ){h}_{i} (B(x))$ over ${\mathbf{F} }_{{q}^{m} } $, where ${L}_{i} (x)$ and $B(x)$ are linearised polynomials. This extends a theorem of Coulter, Henderson and Matthews. Consequently, we generalise a result of Marcos by constructing permutation polynomials of the forms $xh({\lambda }_{j} (x))$ and $xh({\mu }_{j} (x))$, where ${\lambda }_{j} (x)$ is the $j$th elementary symmetric polynomial of $x, {x}^{q} , \ldots , {x}^{{q}^{m- 1} } $ and ${\mu }_{j} (x)= {\mathrm{Tr} }_{{\mathbf{F} }_{{q}^{m} } / {\mathbf{F} }_{q} } ({x}^{j} )$. This answers an open problem raised by Zieve in 2010. Finally, by using the linear translator, we construct the permutation polynomial of the form ${L}_{1} (x)+ {L}_{2} (\gamma )h(f(x))$ over ${\mathbf{F} }_{{q}^{m} } $, which extends a result of Kyureghyan.

We use bounds of mixed character sum to study the distribution of solutions to certain polynomial systems of congruences modulo a prime $p$. In particular, we obtain nontrivial results about the number of solutions in boxes with the side length below ${p}^{1/ 2} $, which seems to be the limit of more general methods based on the bounds of exponential sums along varieties.

We solve the equation ${x}^{a} + {x}^{b} + 1= {y}^{q} $ in positive integers $x, y, a, b$ and $q$ with $a\gt b$ and $q\geq 2$ coprime to $\phi (x)$. This requires a combination of a variety of techniques from effective Diophantine approximation, including lower bounds for linear forms in complex and $p$-adic logarithms, the hypergeometric method of Thue and Siegel applied $p$-adically, local methods, and the algorithmic resolution of Thue equations.

We present an algorithm for computing Borcherds products, which has polynomial runtime. It deals efficiently with the bounds on Fourier expansion indices originating in Weyl chambers. Naive multiplication has exponential runtime due to inefficient handling of these bounds. An implementation of the new algorithm shows that it is also much faster in practice.

In this paper, we present the outcome of vast computer calculations, locating several of the very rare instances of level one cuspidal Bianchi modular forms that are not lifts of elliptic modular forms.

We give an enumeration of all positive definite primitive $ \mathbb{Z} $ -lattices in dimension $n\geq 3$ whose genus consists of a single isometry class. This is achieved by using bounds obtained from the Smith–Minkowski–Siegel mass formula to computationally construct the square-free determinant lattices with this property, and then repeatedly calculating pre-images under a mapping first introduced by G. L. Watson.

We hereby complete the classification of single-class genera in dimensions 4 and 5 and correct some mistakes in Watson’s classifications in other dimensions. A list of all single-class primitive $ \mathbb{Z} $ -lattices has been compiled and incorporated into the Catalogue of Lattices.

For a given cusp form $\phi $ of even integral weight satisfying certain hypotheses, Waldspurger’s theorem relates the critical value of the $\mathrm{L} $ -function of the $n\mathrm{th} $ quadratic twist of $\phi $ to the $n\mathrm{th} $ coefficient of a certain modular form of half-integral weight. Waldspurger’s recipes for these modular forms of half-integral weight are far from being explicit. In particular, they are expressed in the language of automorphic representations and Hecke characters. We translate these recipes into congruence conditions involving easily computable values of Dirichlet characters. We illustrate the practicality of our ‘simplified Waldspurger’ by giving several examples.

We describe an algorithm for enumerating the set of level one systems of Hecke eigenvalues arising from modular forms (mod  $p$ ).

Supplementary materials are available with this article.

We consider the 33 conjugacy classes of genus zero, torsion-free modular subgroups, computing ramification data and Grothendieck’s dessins d’enfants. In the particular case of the index 36 subgroups, the corresponding Calabi–Yau threefolds are identified, in analogy with the index 24 cases being associated to K3 surfaces. In a parallel vein, we study the 112 semi-stable elliptic fibrations over ${ \mathbb{P} }^{1} $ as extremal K3 surfaces with six singular fibres. In each case, a representative of the corresponding class of subgroups is identified by specifying a generating set for that representative.

Given an abelian variety $A$ of dimension $g$ over a number field  $K$ , and a prime $\ell $ , the ${\ell }^{n} $ -torsion points of $A$ give rise to a representation ${\rho }_{A, {\ell }^{n} } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ( \mathbb{Z} / {\ell }^{n} \mathbb{Z} )$ . In particular, we get a mod- $\ell $ representation  ${\rho }_{A, \ell } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{F} }_{\ell } )$ and an $\ell $ -adic representation  ${\rho }_{A, {\ell }^{\infty } } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{Z} }_{\ell } )$ . In this paper, we describe the possible determinants of subquotients of these two representations. These two lists turn out to be remarkably similar.

Applying our results in dimension $g= 1$ , we recover a generalized version of a theorem of Momose on isogeny characters of elliptic curves over number fields, and obtain, conditionally on the Generalized Riemann Hypothesis, a generalization of Mazur’s bound on rational isogenies of prime degree to number fields.

This paper establishes a version of the Chebotarev density theorem in which number fields are replaced by 3-manifolds.

The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in the relative trace formula approach to the arithmetic Gan–Gross–Prasad conjecture. We prove this conjecture in the minuscule case.