We prove that neither a prime nor an l-almost prime number theorem holds in the class of regular Toeplitz subshifts. But when a quantitative strengthening of the regularity with respect to the periodic structure involving Euler’s totient function is assumed, then the two theorems hold.

We construct a family of fibred threefolds $X_m \to (S , \Delta )$ such that $X_m$ has no étale cover that dominates a variety of general type but it dominates the orbifold $(S,\Delta )$ of general type. Following Campana, the threefolds $X_m$ are called weakly special but not special. The Weak Specialness Conjecture predicts that a weakly special variety defined over a number field has a potentially dense set of rational points. We prove that if m is big enough, the threefolds $X_m$ present behaviours that contradict the function field and analytic analogue of the Weak Specialness Conjecture. We prove our results by adapting the recent method of Ru and Vojta. We also formulate some generalisations of known conjectures on exceptional loci that fit into Campana’s program and prove some cases over function fields.

We use the endoscopic classification of automorphic representations of even-dimensional unitary groups to construct level-raising congruences.

We show that in a parametric family of linear recurrence sequences $a_1(\alpha ) f_1(\alpha )^n + \cdots + a_k(\alpha ) f_k(\alpha )^n$ with the coefficients $a_i$ and characteristic roots $f_i$, $i=1, \ldots ,k$, given by rational functions over some number field, for all but a set of elements $\alpha $ of bounded height in the algebraic closure of ${\mathbb Q}$, the Skolem problem is solvable, and the existence of a zero in such a sequence can be effectively decided. We also discuss several related questions.

The Corners theorem states that for any α > 0 there exists an N0 such that for any abelian group G with |G| = N ≥ N0 and any subset A ⊂ G×G with |A| ≥ αN2 we can find a corner in A, i.e. there exist x, y, d ∈ G with d ≠ 0 such that (x,y),(x+d,y),(x,y+d) ∈ A.

Here, we consider a stronger version, in which we try to find many corners of the same size. Given such a group G and subset A, for each d ∈ G we define Sd={(x,y) ∈ G × G: (x,y),(x+d,y),(x,y+d) ∈ A}. So |Sd| is the number of corners of size d. Is it true that, provided N is sufficiently large, there must exist some d ∈G\{0} such that |Sd|>(α3-ϵ)N2?

We answer this question in the negative. We do this by relating the problem to a much simpler-looking problem about random variables. Then, using this link, we show that there are sets A with |Sd|>Cα3.13N2 for all d ≠ 0, where C is an absolute constant. We also show that in the special case where $G = {\mathbb{F}}_2^n$, one can always find a d with |Sd|>(α4-ϵ)N2.

We prove that the Kodaira dimension of the n-fold universal family of lattice-polarised holomorphic symplectic varieties with dominant and generically finite period map stabilises to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarised symplectic varieties. In particular, we determine the exact transition point in the Beauville–Donagi and Debarre–Voisin cases, where the Borcherds $\Phi _{12}$ form plays a crucial role.

La formule des traces relative de Jacquet–Rallis (pour les groupes unitaires ou les groupes linéaires généraux) est une identité entre des périodes des représentations automorphes et des distributions géométriques. Selon Jacquet et Rallis, une comparaison de ces deux formules des traces relatives devrait aboutir à une démonstration des conjectures de Gan–Gross–Prasad et Ichino–Ikeda pour les groupes unitaires. Les termes géométriques des groupes unitaires ou des groupes linéaires sont indexés par les points rationnels d'un espace quotient commun. Nous établissons que ces termes géométriques peuvent être vus comme des fonctionnelles sur des espaces d'intégrales orbitales semi-simples régulières locales. En outre, nous montrons que point par point ces distributions sont en fait égales, via l'identification des espaces d'intégrales orbitales locales donnée par le transfert et le lemme fondamental (essentiellement connus dans cette situation). Cela donne leur comparaison et cela clôt la partie géométrique du programme de Jacquet–Rallis. Notre résultat principal est donc un analogue de la stabilisation de la partie géométrique de la formule des traces due à Langlands, Kottwitz et Arthur.

We continue the research of the relation $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ on the set $\beta \mathbb {N}$ of ultrafilters on $\mathbb {N}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as an order on the set of $=_{\sim }$-equivalence classes, where $\mathcal {F}=_{\sim }\mathcal {G}$ means that $\mathcal {F}$ and $\mathcal {G}$ are mutually $\hspace {1mm}\widetilde {\mid }$-divisible. Here we introduce a new tool: a relation of congruence modulo an ultrafilter. We first recall the congruence of ultrafilters modulo an integer and show that $=_{\sim }$-equivalent ultrafilters do not necessarily have the same residue modulo $m\in \mathbb {N}$. Then we generalize this relation to congruence modulo an ultrafilter in a natural way. After that, using iterated nonstandard extensions, we introduce a stronger relation, which has nicer properties with respect to addition and multiplication of ultrafilters. Finally, we introduce a strengthening of $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ and show that it also behaves well with respect to the congruence relation.

We prove a conjecture of Maulik, Pandharipande and Thomas expressing the Gromov–Witten invariants of K3 surfaces for divisibility 2 curve classes in all genera in terms of weakly holomorphic quasi-modular forms of level 2. Then we establish the holomorphic anomaly equation in divisibility 2 in all genera. Our approach involves a refined boundary induction, relying on the top tautological group of the moduli space of smooth curves, together with a degeneration formula for the reduced virtual fundamental class with imprimitive curve classes. We use double ramification relations with target variety as a new tool to prove the initial condition. The relationship between the holomorphic anomaly equation for higher divisibility and the conjectural multiple cover formula of Oberdieck and Pandharipande is discussed in detail and illustrated with several examples.

A set of integers is primitive if it does not contain an element dividing another. Let f(n) denote the number of maximum-size primitive subsets of {1,…,2n}. We prove that the limit α = limn→∞f(n)1/n exists. Furthermore, we present an algorithm approximating α with (1 + ε) multiplicative error in N(ε) steps, showing in particular that α ≈ 1.318. Our algorithm can be adapted to estimate the number of all primitive sets in {1,…,n} as well.

We address another related problem of Cameron and Erdős. They showed that the number of sets containing pairwise coprime integers in {1,…n} is between ${2^{\pi (n)}} \cdot {e^{(1/2 + o(1))\sqrt n }}$ and ${2^{\pi (n)}} \cdot {e^{(2 + o(1))\sqrt n }}$. We show that neither of these bounds is tight: there are in fact ${2^{\pi (n)}} \cdot {e^{(1 + o(1))\sqrt n }}$ such sets.

Let p be a prime and let x be a p-adic integer. We prove two supercongruences for truncated series of the form

$$\begin{align*}\sum_{k=1}^{p-1} \frac{(x)_k}{(1)_k}\cdot \frac{1}{k}\sum_{1\le j_1\le\cdots\le j_r\le k}\frac{1}{j_1^{}\cdots j_r^{}}\quad\mbox{and}\quad \sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2}\cdot \frac{1}{k}\sum_{1\le j_1\le\cdots\le j_r\le k}\frac{1}{j_1^{2}\cdots j_r^{2}}\end{align*}$$

The aim of this article is to provoke discussion concerning arithmetic properties of the function $p_{d}(n)$ counting partitions of a positive integer n into dth powers, where $d\geq 2$. Apart from results concerning the asymptotic behaviour of $p_{d}(n)$, little is known. In the first part of the paper, we prove certain congruences involving functions counting various types of partitions into dth powers. The second part of the paper is experimental and contains questions and conjectures concerning the arithmetic behaviour of the sequence $(p_{d}(n))_{n\in \mathbb {N}}$, based on computations of $p_{d}(n)$ for $n\leq 10^5$ for $d=2$ and $n\leq 10^{6}$ for $d=3, 4, 5$.

A key ingredient in the Taylor–Wiles proof of Fermat’s last theorem is the classical Ihara lemma, which is used to raise the modularity property between some congruent Galois representations. In their work on Sato and Tate, Clozel, Harris and Taylor proposed a generalisation of the Ihara lemma in higher dimension for some similitude groups. The main aim of this paper is to prove some new instances of this generalised Ihara lemma by considering some particular non-pseudo-Eisenstein maximal ideals of unramified Hecke algebras. As a consequence, we prove a level-raising statement.

We consider the continued fraction expansion of real numbers under the action of a nonuniform lattice in $\text {PSL}(2,{\mathbb R})$ and prove metric relations between the convergents and a natural geometric notion of good approximations.

For a polynomial $f(x)\in\mathbb{Q}[x]$ and rational numbers c, u, we put $f_c(x)\coloneqq f(x)+c$, and consider the Zsigmondy set $\calZ(f_c,u)$ associated to the sequence $\{f_c^n(u)-u\}_{n\geq 1}$, see Definition 1.1, where $f_c^n$ is the n-st iteration of fc. In this paper, we prove that if u is a rational critical point of f, then there exists an Mf > 0 such that $\mathbf M_f\geq \max_{c\in \mathbb{Q}}\{\#\calZ(f_c,u)\}$.

We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

Let $\mathbb {F}_q$ be the finite field of q elements. In this paper, we study the vanishing behavior of multizeta values over $\mathbb {F}_q[t]$ at negative integers. These values are analogs of the classical multizeta values. At negative integers, they are series of products of power sums $S_d(k)$ which are polynomials in t. By studying the t-valuation of $S_d(s)$ for $s < 0$, we show that multizeta values at negative integers vanish only at trivial zeros. The proof is inspired by the idea of Sheats in the proof of a statement of “greedy element” by Carlitz.

We show that there are biases in the number of appearances of the parts in two residue classes in the set of ordinary partitions. More precisely, let $p_{j,k,m} (n)$ be the number of partitions of n such that there are more parts congruent to j modulo m than parts congruent to k modulo m for $m \geq 2$. We prove that $p_{1,0,m} (n)$ is in general larger than $p_{0,1,m} (n)$. We also obtain asymptotic formulas for $p_{1,0,m}(n)$ and $p_{0,1,m}(n)$ for $m \geq 2$.

Z.-W. Sun [‘Refining Lagrange’s four-square theorem’, J. Number Theory 175 (2017), 169–190] conjectured that every positive integer n can be written as $ x^2+y^2+z^2+w^2\ (x,y,z,w\in \mathbb {N}=\{0,1,\ldots \})$ with $x+3y$ a square and also as $n=x^2+y^2+z^2+w^2\ (x,y,z,w \in \mathbb {Z})$ with $x+3y\in \{4^k:k\in \mathbb {N}\}$. In this paper, we confirm these conjectures via the arithmetic theory of ternary quadratic forms.

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: 2n vertices of a fixed n-dimensional rectangular box, the same vertices extended with n points completing three-term arithmetic progressions, and the same vertices extended with n points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.