Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$-transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\mapsto \unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. Let $f:[0,1]\rightarrow [0,1]$ and $g:[0,1]\rightarrow [0,1]$ be two Lipschitz functions. The main result of the paper is the determination of the Hausdorff dimension of the set

$$\begin{eqnarray}W(f,g,\unicode[STIX]{x1D70F}_{1},\unicode[STIX]{x1D70F}_{2})=\big\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-f(x)|<\unicode[STIX]{x1D6FD}^{-n\unicode[STIX]{x1D70F}_{1}(x)},|T_{\unicode[STIX]{x1D6FD}}^{n}y-g(y)|<\unicode[STIX]{x1D6FD}^{-n\unicode[STIX]{x1D70F}_{2}(y)}~\text{for infinitely many}~n\in \mathbb{N}\big\},\end{eqnarray}$$

$\unicode[STIX]{x1D70F}_{1}$

$\unicode[STIX]{x1D70F}_{2}$

$\unicode[STIX]{x1D70F}_{1}(x)\leq \unicode[STIX]{x1D70F}_{2}(y)$

$x,y\in [0,1]$

We prove that every sufficiently large even integer can be represented as the sum of two squares of primes, four cubes of primes and 28 powers of two. This improves the result obtained by Liu and Lü [‘Two results on powers of 2 in Waring–Goldbach problem’, J. Number Theory 131(4) (2011), 716–736].

Representations of the Cuntz algebra ${\mathcal{O}}_{N}$ are constructed from interval dynamical systems associated with slow continued fraction algorithms introduced by Giovanni Panti. Their irreducible decomposition formulas are characterized by using the modular group action on real numbers, as a generalization of results by Kawamura, Hayashi, and Lascu. Furthermore, a certain symmetry of such an interval dynamical system is interpreted as a covariant representation of the $C^{\ast }$-dynamical system of the “flip-flop” automorphism of ${\mathcal{O}}_{2}$.

Let $p$ be an odd prime. For a number field $K$, we let $K_{\infty }$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\text{Gal}(K_{\infty }/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian generalization of the work of Cohen and Lenstra on ideal class groups, we studied how likely it is that a given finite $p$-group occurs as the $p$-class tower group of an imaginary quadratic field. Here we do the same for an arbitrary real quadratic field $K$ as base. As before, the action of $\text{Gal}(K/\mathbb{Q})$ on the $p$-class tower group of $K$ plays a crucial role; however, the presence of units of infinite order in the ground field significantly complicates the possibilities for the groups that can occur. We also sharpen our results in the imaginary quadratic field case by removing a certain hypothesis, using ideas of Boston and Wood. In the appendix, we show how the probabilities introduced for finite $p$-groups can be extended in a consistent way to the infinite pro-$p$ groups which can arise in both the real and imaginary quadratic settings.

We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $\unicode[STIX]{x1D6E4}$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra.

From this construction we extract an action of certain $p$-adic Galois cohomology groups on $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q}_{p})$, and formulate the central conjecture: the motivic $\mathbf{Q}$-lattice inside these Galois cohomology groups preserves $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q})$.

For a one-parameter subgroup action on a finite-volume homogeneous space, we consider the set of points admitting divergent-on-average trajectories. We show that the Hausdorff dimension of this set is strictly less than the manifold dimension of the homogeneous space. As a corollary we know that the Hausdorff dimension of the set of points admitting divergent trajectories is not full, which proves a conjecture of Cheung [Hausdorff dimension of the set of singular pairs, Ann. of Math. (2) 173 (2011), 127–167].

We prove an analogue of Belyi’s theorem in characteristic two. Our proof consists of the following three steps. We first introduce a new notion called pseudo-tameness for morphisms between curves over an algebraically closed field of characteristic two. Secondly, we prove the existence of a ‘pseudo-tame’ rational function by showing the vanishing of an obstruction class. Finally, we construct a tamely ramified rational function from the ‘pseudo-tame’ rational function.

We prove irregularities in the distribution of prime numbers in any Beatty sequence ${\mathcal{B}}(\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$, where $\unicode[STIX]{x1D6FC}$ is a positive real irrational number of finite type.

We investigate the density of square-free values of polynomials with large coefficients over the rational function field 𝔽q[t]. Some interesting questions answered as special cases of our results include the density of square-free polynomials in short intervals, and an asymptotic for the number of representations of a large polynomial N as a sum of a k-th power of a small polynomial and a square-free polynomial.

Let $f(x)=x^{6}+ax^{4}+bx^{2}+c$ be an irreducible sextic polynomial with coefficients from a field $F$ of characteristic $\neq 2$, and let $g(x)=x^{3}+ax^{2}+bx+c$. We show how to identify the conjugacy class in $S_{6}$ of the Galois group of $f$ over $F$ using only the discriminants of $f$ and $g$ and the reducibility of a related sextic polynomial. We demonstrate that our method is useful for producing one-parameter families of even sextic polynomials with a specified Galois group.

We carry Sprindžuk’s classification of the complex numbers to the field $\mathbb{Q}_{p}$ of $p$-adic numbers. We establish several estimates for the $p$-adic distance between $p$-adic roots of integer polynomials, which we apply to show that almost all $p$-adic numbers, with respect to the Haar measure, are $p$-adic $\tilde{S}$-numbers of order 1.

In 1965, A. Livingston conjectured the $\overline{\mathbb{Q}}$-linear independence of logarithms of values of the sine function at rational arguments. In 2016, S. Pathak disproved the conjecture. In this article, we give a new proof of Livingston’s conjecture using some fundamental trigonometric identities. Moreover, we show that a stronger version of her theorem is true. In fact, we modify this conjecture by introducing a co-primality condition, and in that case we provide the necessary and sufficient conditions for the conjecture to be true. Finally, we identify a maximal linearly independent subset of the numbers considered in Livingston’s conjecture.

We prove a character formula for some closed fine Deligne–Lusztig varieties. We apply it to compute fixed points for fine Deligne–Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport–Zink spaces arising from the arithmetic Gan–Gross–Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.

We construct an $S_{3}$-symmetric probability distribution on $\{(a,b,c)\in \mathbb{Z}_{{\geqslant}0}^{3}\,:\,a+b+c=n\}$ such that its marginal achieves the maximum entropy among all probability distributions on $\{0,1,\ldots ,n\}$ with mean $n/3$. Existence of such a distribution verifies a conjecture of Kleinberg et al. [‘The growth rate of tri-colored sum-free sets’, Discrete Anal. (2018), Paper No. 12, arXiv:1607.00047v1], which is motivated by the study of sum-free sets.

We study the generalized Fermat equation $x^{2}+y^{3}=z^{p}$, to be solved in coprime integers, where $p\geqslant 7$ is prime. Modularity and level-lowering techniques reduce the problem to the determination of the sets of rational points satisfying certain 2-adic and 3-adic conditions on a finite set of twists of the modular curve $X(p)$. We develop new local criteria to decide if two elliptic curves with certain types of potentially good reduction at 2 and 3 can have symplectically or anti-symplectically isomorphic $p$-torsion modules. Using these criteria we produce the minimal list of twists of $X(p)$ that have to be considered, based on local information at 2 and 3; this list depends on $p\hspace{0.2em}{\rm mod}\hspace{0.2em}24$. We solve the equation completely when $p=11$, which previously was the smallest unresolved $p$. One new ingredient is the use of the ‘Selmer group Chabauty’ method introduced by the third author, applied in an elliptic curve Chabauty context, to determine relevant points on $X_{0}(11)$ defined over certain number fields of degree 12. This result is conditional on the generalized Riemann hypothesis, which is needed to show correctness of the computation of the class groups of five specific number fields of degree 36. We also give some partial results for the case $p=13$. The source code for the various computations is supplied as supplementary material with the online version of this article.

A question of Griffiths–Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for a class of algebraic surfaces known as Atiyah–Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the ‘geometric’ monodromy, valued in the mapping class group of the fiber.

A Ducci sequence is a sequence of integer $n$-tuples obtained by iterating the map

$$\begin{eqnarray}D:(a_{1},a_{2},\ldots ,a_{n})\mapsto (|a_{1}-a_{2}|,|a_{2}-a_{3}|,\ldots ,|a_{n}-a_{1}|).\end{eqnarray}$$

$P(n)$

$n$

$P(n)$

$n$

We investigate the arithmetic properties of the second-order mock theta function $B(q)$ and establish two identities for the coefficients of this function along arithmetic progressions. As applications, we prove several congruences for these coefficients.

Fix an odd prime p. Let $\mathcal{D}_n$ denote a non-abelian extension of a number field K such that $K\cap\mathbb{Q}(\mu_{p^{\infty}})=\mathbb{Q}, $ and whose Galois group has the form $ \text{Gal}\big(\mathcal{D}_n/K\big)\cong \big(\mathbb{Z}/p^{n'}\mathbb{Z}\big)^{\oplus g}\rtimes \big(\mathbb{Z}/p^n\mathbb{Z}\big)^{\times}\ $ where g > 0 and $0 \lt n'\leq n$. Given a modular Galois representation $\overline{\rho}:G_{\mathbb{Q}}\rightarrow \text{GL}_2(\mathbb{F})$ which is p-ordinary and also p-distinguished, we shall write $\mathcal{H}(\overline{\rho})$ for the associated Hida family. Using Greenberg’s notion of Selmer atoms, we prove an exact formula for the algebraic λ-invariant

\begin{equation}\lambda^{\text{alg}}_{\mathcal{D}_n}(f) \;=\; \text{the number of zeroes of }\text{char}_{\Lambda}\big(\text{Sel}_{\mathcal{D}_n^{\text{cy}}}\big(f\big)^{\wedge}\big)\end{equation}

$f\in\mathcal{H}(\overline{\rho})$

$\mu^{\text{alg}}_{K(\mu_p)}(f_0)=0$

$\lambda^{\text{alg}}_{\mathcal{D}_n}(f)$

$\mathcal{H}(\overline{\rho})$

$\lambda^{\text{alg}}_{\mathbb{Q}(\mu_{p})}(f)$

For example, if $\mathcal{D}_{\infty}=\bigcup_{n\geq 1}\mathcal{D}_n$ has the structure of a p-adic Lie extension then our formulae include the cases where: either (i) $\mathcal{D}_{\infty}/K$ is a g-fold false Tate tower, or (ii) $\text{Gal}\big(\mathcal{D}_{\infty}/K(\mu_p)\big)$ has dimension ≤ 3 and is a pro-p-group.

We give a conjecture for the moments of the Dedekind zeta function of a Galois extension. This is achieved through the hybrid product method of Gonek, Hughes and Keating. The moments of the product over primes are evaluated using a theorem of Montgomery and Vaughan, whilst the moments of the product over zeros are conjectured using a heuristic method involving random matrix theory. The asymptotic formula of the latter is then proved for quadratic extensions in the lowest order case. We are also able to reproduce our moments conjecture in the case of quadratic extensions by using a modified version of the moments recipe of Conrey et al. Generalising our methods, we then provide a conjecture for moments of non-primitive L-functions, which is supported by some calculations based on Selberg’s conjectures.