We study the exact Hausdorff and packing dimensions of the prime Cantor set, $\Lambda _P$, which comprises the irrationals whose continued fraction entries are prime numbers. We prove that the Hausdorff measure of the prime Cantor set cannot be finite and positive with respect to any sufficiently regular dimension function, thus negatively answering a question of Mauldin and Urbański (1999) and Mauldin (2013) for this class of dimension functions. By contrast, under a reasonable number-theoretic conjecture we prove that the packing measure of the conformal measure on the prime Cantor set is in fact positive and finite with respect to the dimension function $\psi (r) = r^\delta \log ^{-2\delta }\log (1/r)$, where $\delta $ is the dimension (conformal, Hausdorff, and packing) of the prime Cantor set.

Let $f,g$ be $C^2$ expanding maps on the circle which are topologically conjugate. We assume that the derivatives of f and g at corresponding periodic points coincide for some large period N. We show that f and g are ‘approximately smoothly conjugate.’ Namely, we construct a $C^2$ conjugacy $h_N$ such that $h_N$ is exponentially close to h in the $C^0$ topology, and $f_N:=h_N^{-1}gh_N$ is exponentially close to f in the $C^1$ topology. Our main tool is a uniform effective version of Bowen’s equidistribution of weighted periodic orbits to the equilibrium state.

Let $f(z)=z^2+c$ be an infinitely renormalizable quadratic polynomial and $J_\infty $ be the intersection of forward orbits of ‘small’ Julia sets of its simple renormalizations. We prove that if f admits an infinite sequence of satellite renormalizations, then every invariant measure of $f: J_\infty \to J_\infty $ is supported on the postcritical set and has zero Lyapunov exponent. Coupled with [13], this implies that the Lyapunov exponent of such f at c is equal to zero, which partly answers a question posed by Weixiao Shen.

This paper establishes an extreme $C^k$ reducibility theorem of quasi-periodic $SL(2, \mathbb {R})$ cocycles in the local perturbative region, revealing both the essence of Eliasson [Floquet solutions for the 1-dimensional quasi-periodic Schrödinger equation. Comm. Math. Phys. 146 (1992), 447–482], and Hou and You [Almost reducibility and non-perturbative reducibility of quasi-periodic linear systems. Invent. Math. 190 (2012), 209–260] in respectively the non-resonant and resonant cases. By paralleling further the reducibility process with the almost reducibility, we are able to acquire the least initial regularity as well as the least loss of regularity for the whole Kolmogorov–Arnold–Moser (KAM) iterations. This, in return, makes various spectral applications of quasi-periodic Schrödinger operators wide open.

We show that, for any prime p, there exist absolutely simple abelian varieties over $\mathbb {Q}$ with arbitrarily large p-torsion in their Tate-Shafarevich groups. To prove this, we construct explicit $\mu _p$-covers of Jacobians of curves of the form $y^p = x(x-1)(x-a)$ which violate the Hasse principle. In the appendix, Tom Fisher explains how to interpret our proof in terms of a Cassels-Tate pairing.

Oda’s problem, which deals with the fixed field of the universal monodromy representation of moduli spaces of curves and its independence with respect to the topological data, is a central question of anabelian arithmetic geometry. This paper emphasizes the stack nature of this problem by establishing the independence of monodromy fields with respect to finer special loci data of curves with symmetries, which we show provides a new proof of Oda’s prediction.

We give a generators-and-relations description of the reduced versions of quiver quantum toroidal algebras, which act on the spaces of BPS states associated to (noncompact) toric Calabi–Yau threefolds X. As an application, we obtain a description of the K-theoretic Hall algebra of (the quiver with potential associated to) X, modulo torsion.

For $E \subset \mathbb {N}$, a subset $R \subset \mathbb {N}$ is E-intersective if for every $A \subset E$ having positive relative density, $R \cap (A - A) \neq \varnothing $. We say that R is chromatically E-intersective if for every finite partition $E=\bigcup _{i=1}^k E_i$, there exists i such that $R\cap (E_i-E_i)\neq \varnothing $. When $E=\mathbb {N}$, we recover the usual notions of intersectivity and chromatic intersectivity. We investigate to what extent the known intersectivity results hold in the relative setting when $E = \mathbb {P}$, the set of primes, or other sparse subsets of $\mathbb {N}$. Among other things, we prove the following: (1) the set of shifted Chen primes $\mathbb {P}_{\mathrm {Chen}} + 1$ is both intersective and $\mathbb {P}$-intersective; (2) there exists an intersective set that is not $\mathbb {P}$-intersective; (3) every $\mathbb {P}$-intersective set is intersective; (4) there exists a chromatically $\mathbb {P}$-intersective set which is not intersective (and therefore not $\mathbb {P}$-intersective).

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

We prove an effective estimate with a power saving error term for the number of square-tiled surfaces in a connected component of a stratum of quadratic differentials whose vertical and horizontal foliations belong to prescribed mapping class group orbits and which have at most L squares. This result strengthens asymptotic counting formulas in the work of Delecroix, Goujard, Zograf, Zorich, and the author.

Let $F$ be a totally real field in which $p$ is unramified and let $B$ be a quaternion algebra over $F$ which splits at at most one infinite place. Let $\overline {r}:\operatorname {{\mathrm {Gal}}}(\overline {F}/F)\rightarrow \mathrm {GL}_2(\overline {\mathbb {F}}_p)$ be a modular Galois representation which satisfies the Taylor–Wiles hypotheses. Assume that for some fixed place $v|p$, $B$ ramifies at $v$ and $F_v$ is isomorphic to $\mathbb {Q}_p$ and $\overline {r}$ is generic at $v$. We prove that the admissible smooth representations of the quaternion algebra over $\mathbb {Q}_p$ coming from mod $p$ cohomology of Shimura varieties associated to $B$ have Gelfand–Kirillov dimension $1$. As an application we prove that the degree-two Scholze's functor (which is defined by Scholze [On the $p$-adic cohomology of the Lubin–Tate tower, Ann. Sci. Éc. Norm. Supér. (4) 51 (2018), 811–863]) vanishes on generic supersingular representations of $\mathrm {GL}_2(\mathbb {Q}_p)$. We also prove some finer structure theorems about the image of Scholze's functor in the reducible case.

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.

Tachikawa's second conjecture for symmetric algebras is shown to be equivalent to indecomposable symmetric algebras not having any nontrivial stratifying ideals. The conjecture is also shown to be equivalent to the supremum of stratified ratios being less than $1$, when taken over all indecomposable symmetric algebras. An explicit construction provides a series of counterexamples to Tachikawa's second conjecture from each (potentially existing) gendo-symmetric algebra that is a counterexample to Nakayama's conjecture. The results are based on establishing recollements of derived categories and on constructing new series of algebras.

Let $X$ denote the ‘conifold smoothing’, the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$ or, equivalently, the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the ‘conifold resolution’, by which we mean the complement of a smooth divisor in $\mathcal {O}(-1) \oplus \mathcal {O}(-1) \to \mathbb {P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite-rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional ‘affine $A_1$-case’). Our results build on work of Chan, Pomerleano and Ueda and Toda, and both theorems make essential use of working on the ‘other side’ of the mirror.

Compared with algebraic varieties the local monodromy of Drinfeld modules appears to be hopelessly complex: the image of the wild inertia subgroup under Tate module representations is infinite save for the case of potential good reduction. Nonetheless, we show that Tate modules of Drinfeld modules are ramified in a limited way: the image of a sufficiently deep ramification subgroup is trivial. This leads to a new invariant, the local conductor of a Drinfeld module. We establish an upper bound on the conductor in terms of the volume of the period lattice. As an intermediate step we develop a theory of normed lattices in function field arithmetic including the notion of volume. We relate normed lattices to vector bundles on projective curves. With the aid of Castelnuovo–Mumford regularity this implies a volume bound on norms of lattice generators, and the conductor inequality follows. Last but not least we describe the image of inertia for Drinfeld modules with period lattices of rank $1$. Just as in the theory of local $\ell$-adic Galois representations this image is commensurable with a commutative unipotent algebraic subgroup. However, in the case of Drinfeld modules such a subgroup can be a product of several copies of $\mathbf {G}_a$.