For a positive real number $t$, define the harmonic continued fraction

$$\begin{eqnarray}\text{HCF}(t)=\biggl[\frac{t}{1},\frac{t}{2},\frac{t}{3},\ldots \biggr].\end{eqnarray}$$

$$\begin{eqnarray}\text{HCF}(t)=\frac{1}{1-2t(\frac{1}{t+2}-\frac{1}{t+4}+\frac{1}{t+6}-\cdots \,)}.\end{eqnarray}$$

For each positive integer n, let $U(\mathbf {Z}/n\mathbf {Z})$ denote the group of units modulo n, which has order $\phi (n)$ (Euler’s function) and exponent $\lambda (n)$ (Carmichael’s function). The ratio $\phi (n)/\lambda (n)$ is always an integer, and a prime p divides this ratio precisely when the (unique) Sylow p-subgroup of $U(\mathbf {Z}/n\mathbf {Z})$ is noncyclic. Write W(n) for the number of such primes p. Banks, Luca, and Shparlinski showed that for certain constants $C_1, C_2>0$,

$$ \begin{align*} C_1 \frac{\log\log{n}}{(\log\log\log{n})^2} \le W(n) \le C_2 \log\log{n} \end{align*} $$

$\log \log {n}/\log \log \log {n}$

We study Smale skew product endomorphisms (introduced in Mihailescu and Urbański [Skew product Smale endomorphisms over countable shifts of finite type. Ergod. Th. & Dynam. Sys. doi: 10.1017/etds.2019.31. Published online June 2019]) now over countable graph-directed Markov systems, and we prove the exact dimensionality of conditional measures in fibers, and then the global exact dimensionality of the equilibrium measure itself. Our results apply to large classes of systems and have many applications. They apply, for instance, to natural extensions of graph-directed Markov systems. Another application is to skew products over parabolic systems. We also give applications in ergodic number theory, for example to the continued fraction expansion, and the backward fraction expansion. In the end we obtain a general formula for the Hausdorff (and pointwise) dimension of equilibrium measures with respect to the induced maps of natural extensions ${\mathcal{T}}_{\unicode[STIX]{x1D6FD}}$ of $\unicode[STIX]{x1D6FD}$-maps $T_{\unicode[STIX]{x1D6FD}}$, for arbitrary $\unicode[STIX]{x1D6FD}>1$.

We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the 2-torus and the modular surface.

We show that the set of natural numbers has an exponential diophantine definition in the rationals. It follows that the corresponding decision problem is undecidable.

We correct the proof of the main $\ell$-independence result of the above-mentioned paper by showing that for any smooth and proper variety over an equicharacteristic local field, there exists a globally defined such variety with the same ($p$-adic and $\ell$-adic) cohomology.

We show a Siegel–Weil formula in the setting of exceptional theta correspondence. Using this, together with a new Rankin–Selberg integral for the Spin L-function of $\text{PGSp}_{6}$ discovered by Pollack, we prove that a cuspidal representation of $\text{PGSp}_{6}$ is a (weak) functorial lift from the exceptional group $G_{2}$ if its (partial) Spin L-function has a pole at $s=1$.

We introduce a new family of real-analytic modular forms on the upper-half plane. They are arguably the simplest class of ‘mixed’ versions of modular forms of level one and are constructed out of real and imaginary parts of iterated integrals of holomorphic Eisenstein series. They form an algebra of functions satisfying many properties analogous to classical holomorphic modular forms. In particular, they admit expansions in $q,\overline{q}$ and $\log |q|$ involving only rational numbers and single-valued multiple zeta values. The first nontrivial functions in this class are real-analytic Eisenstein series.

Under an assumption on the existence of $p$-adic Galois representations, we carry out Taylor–Wiles patching (in the derived category) for the completed homology of the locally symmetric spaces associated with $\operatorname{GL}_{n}$ over a number field. We use our construction, and some new results in non-commutative algebra, to show that standard conjectures on completed homology imply ‘big $R=\text{big}~\mathbb{T}$’ theorems in situations where one cannot hope to appeal to the Zariski density of classical points (in contrast to all previous results of this kind). In the case where $n=2$ and $p$ splits completely in the number field, we relate our construction to the $p$-adic local Langlands correspondence for $\operatorname{GL}_{2}(\mathbb{Q}_{p})$.

We show that the compactly supported cohomology of certain $\text{U}(n,n)$- or $\text{Sp}(2n)$-Shimura varieties with $\unicode[STIX]{x1D6E4}_{1}(p^{\infty })$-level vanishes above the middle degree. The only assumption is that we work over a CM field $F$ in which the prime $p$ splits completely. We also give an application to Galois representations for torsion in the cohomology of the locally symmetric spaces for $\text{GL}_{n}/F$. More precisely, we use the vanishing result for Shimura varieties to eliminate the nilpotent ideal in the construction of these Galois representations. This strengthens recent results of Scholze [On torsion in the cohomology of locally symmetric varieties, Ann. of Math. (2) 182 (2015), 945–1066; MR 3418533] and Newton–Thorne [Torsion Galois representations over CM fields and Hecke algebras in the derived category, Forum Math. Sigma 4 (2016), e21; MR 3528275].

Fix an alphabet $A=\{0,1,\ldots ,M\}$ with $M\in \mathbb{N}$. The univoque set $\mathscr{U}$ of bases $q\in (1,M+1)$ in which the number $1$ has a unique expansion over the alphabet $A$ has been well studied. It has Lebesgue measure zero but Hausdorff dimension one. This paper describes how the points in the set $\mathscr{U}$ are distributed over the interval $(1,M+1)$ by determining the limit

$$\begin{eqnarray}f(q):=\lim _{\unicode[STIX]{x1D6FF}\rightarrow 0}\dim _{\text{H}}(\mathscr{U}\cap (q-\unicode[STIX]{x1D6FF},q+\unicode[STIX]{x1D6FF}))\end{eqnarray}$$

$q\in (1,M+1)$

$f(q)>0$

$q\in \overline{\mathscr{U}}\backslash \mathscr{C}$

$\mathscr{C}$

$f$

$\mathscr{U}$

$\mathscr{U}$

Kifer, Peres, and Weiss proved in [A dimension gap for continued fractions with independent digits. Israel J. Math.124 (2001), 61–76] that there exists $c_{0}>0$ , such that $\dim \unicode[STIX]{x1D707}\leq 1-c_{0}$ for any probability measure $\unicode[STIX]{x1D707}$ , which makes the digits of the continued fraction expansion independent and identically distributed random variables. In this paper we prove that amongst this class of measures, there exists one whose dimension is maximal. Our results also apply in the more general setting of countable branched systems.

Waldspurger’s formula gives an identity between the norm of a torus period and an $L$-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding $L$-functions agree, (the norms of) these periods—which occur on different quaternion algebras—are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.

We sharpen earlier work of Dabrowski on near-perfect power values of the quartic form $x^{4}-y^{4}$, through appeal to Frey curves of various signatures and related techniques.

The sequence of prime numbers p for which a variety over ℚ has no p-adic point plays a fundamental role in arithmetic geometry. This sequence is deterministic, however, we prove that if we choose a typical variety from a family then the sequence has random behaviour. We furthermore prove that this behaviour is modelled by a random walk in Brownian motion. This has several consequences, one of them being the description of the finer properties of the distribution of the primes in this sequence via the Feynman–Kac formula.

Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}:G_{F}\rightarrow \text{GL}_{2}(\overline{\mathbf{F}}_{p})$ be a modular Galois representation that satisfies the Taylor–Wiles hypotheses and is tamely ramified and generic at a place $v$ above $p$. Let $\mathfrak{m}$ be the corresponding Hecke eigensystem. We describe the $\mathfrak{m}$-torsion in the $\text{mod}\,p$ cohomology of Shimura curves with full congruence level at $v$ as a $\text{GL}_{2}(k_{v})$-representation. In particular, it only depends on $\overline{r}|_{I_{F_{v}}}$ and its Jordan–Hölder factors appear with multiplicity one. The main ingredients are a description of the submodule structure for generic $\text{GL}_{2}(\mathbf{F}_{q})$-projective envelopes and the multiplicity one results of Emerton, Gee and Savitt [Lattices in the cohomology of Shimura curves, Invent. Math. 200(1) (2015), 1–96].

Recently E. Bombieri and N. M. Katz (2010) demonstrated that several well-known results about the distribution of values of linear recurrence sequences lead to interesting statements for Frobenius traces of algebraic curves. Here we continue this line of study and establish the Möbius randomness law quantitatively for the normalised form of Frobenius traces.

Let $G$ be a connected split reductive group over a finite field $\mathbb{F}_{q}$ and $X$ a smooth projective geometrically connected curve over $\mathbb{F}_{q}$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we show that the cuspidal cohomology has finite dimension and that it is equal to the (rationally) Hecke-finite cohomology defined by V. Lafforgue.

In this note, we evaluate sums of partial theta functions. Our main tool is an application of an extended version of the Bailey transform to an identity of Gasper and Rahman on $q$-hypergeometric series.

Erdös and Zaremba showed that $ \limsup_{n\to \infty} \frac{\Phi(n)}{(\log\log n)^2}=e^\gamma$, γ being Euler’s constant, where $\Phi(n)=\sum_{d|n} \frac{\log d}{d}$.

We extend this result to the function $\Psi(n)= \sum_{d|n} \frac{(\log d )(\log\log d)}{d}$ and some other functions. We show that $ \limsup_{n\to \infty}\, \frac{\Psi(n)}{(\log\log n)^2(\log\log\log n)}\,=\, e^\gamma$. The proof requires a new approach. As an application, we prove that for any $\eta>1$, any finite sequence of reals $\{c_k, k\in K\}$, $\sum_{k,\ell\in K} c_kc_\ell \, \frac{\gcd(k,\ell)^{2}}{k\ell} \le C(\eta) \sum_{\nu\in K} c_\nu^2(\log\log\log \nu)^\eta \Psi(\nu)$, where C(η) depends on η only. This improves a recent result obtained by the author.