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.

Fix $d\geqslant 2$ and a field $k$ such that $\operatorname{char}k\nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^{d}+c$ are geometrically irreducible and have gonality tending to $\infty$. This implies the function field analogue of the strong uniform boundedness conjecture for preperiodic points of $z^{d}+c$. It also has consequences over number fields: it implies strong uniform boundedness for preperiodic points of bounded eventual period, which in turn reduces the full conjecture for preperiodic points to the conjecture for periodic points. Our proofs involve a novel argument specific to finite fields, in addition to more standard tools such as the Castelnuovo–Severi inequality.

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.

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 express nested Hilbert schemes of points and curves on a smooth projective surface as ‘virtual resolutions’ of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories to produce the virtual cycles of Vafa–Witten theory and other sheaf-counting problems. The result is an effective way of calculating invariants (VW, SW, local PT and local DT) via Thom–Porteous-like Chern class formulae.

Cluster algebras give rise to a class of Gorenstein rings which enjoy a large amount of symmetry. Concentrating on the rank 2 cases, we show how cluster varieties can be used to construct many interesting projective algebraic varieties. Our main application is then to construct hundreds of families of Fano 3-folds in codimensions 4 and 5. In particular, for Fano 3-folds in codimension 4 we construct at least one family for 187 of the 206 possible Hilbert polynomials contained in the Graded Ring Database.

We prove that any skew-symmetrizable cluster algebra is unistructural, which is a conjecture by Assem, Schiffler and Shramchenko. As a corollary, we obtain that a cluster automorphism of a cluster algebra ${\mathcal{A}}({\mathcal{S}})$ is just an automorphism of the ambient field ${\mathcal{F}}$ which restricts to a permutation of the cluster variables of ${\mathcal{A}}({\mathcal{S}})$.

We improve upon the local bound in the depth aspect for sup-norms of newforms on $D^\times$, where $D$ is an indefinite quaternion division algebra over ${\mathbb {Q}}$. Our sup-norm bound implies a depth-aspect subconvexity bound for $L(1/2, f \times \theta _\chi )$, where $f$ is a (varying) newform on $D^\times$ of level $p^n$, and $\theta _\chi$ is an (essentially fixed) automorphic form on $\textrm {GL}_2$ obtained as the theta lift of a Hecke character $\chi$ on a quadratic field. For the proof, we augment the amplification method with a novel filtration argument and a recent counting result proved by the second-named author to reduce to showing strong quantitative decay of matrix coefficients of local newvectors along compact subsets, which we establish via $p$-adic stationary phase analysis. Furthermore, we prove a general upper bound in the level aspect for sup-norms of automorphic forms belonging to any family whose associated matrix coefficients have such a decay property.

The level of distribution of a complex-valued sequence $b$ measures the quality of distribution of $b$ along sparse arithmetic progressions $nd+a$. We prove that the Thue–Morse sequence has level of distribution $1$, which is essentially best possible. More precisely, this sequence gives one of the first nontrivial examples of a sequence satisfying a Bombieri–Vinogradov-type theorem for each exponent $\theta <1$. This result improves on the level of distribution $2/3$ obtained by Müllner and the author. As an application of our method, we show that the subsequence of the Thue–Morse sequence indexed by $\lfloor n^c\rfloor$, where $1 < c < 2$, is simply normal. This result improves on the range $1 < c < 3/2$ obtained by Müllner and the author and closes the gap that appeared when Mauduit and Rivat proved (in particular) that the Thue–Morse sequence along the squares is simply normal.

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].

If $Y$ is a closed orientable graph manifold, we show that $Y$ admits a coorientable taut foliation if and only if $Y$ is not an L-space. Combined with previous work of Boyer and Clay, this implies that $Y$ is an L-space if and only if $\unicode[STIX]{x1D70B}_{1}(Y)$ is not left-orderable.

We prove equality of the various rational $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterion we had found earlier for proper smooth schemes extends to proper finite simplicial schemes in the good reduction case and to cohomology with compact support in the semistable reduction case. It yields the equality of the period morphisms for cohomology with compact support defined using the syntomic, almost étale, and motivic constructions. We continue with showing that the $h$-cohomology period morphism agrees with the syntomic and almost étale period morphisms whenever the latter morphisms are defined (and up to a change of Hyodo–Kato cohomology). We do it by lifting the syntomic and almost étale period morphisms to the $h$-site of varieties over a field, where their equality with the $h$-cohomology period morphism can be checked directly using the Beilinson Poincaré lemma and the case of dimension $0$. This also shows that the syntomic and almost étale period morphisms have a natural extension to the Voevodsky triangulated category of motives and enjoy many useful properties (since so does the $h$-cohomology period morphism).

We revisit the paper [Automorphy lifting for residually reducible$l$-adic Galois representations, J. Amer. Math. Soc. 28 (2015), 785–870] by the third author. We prove new automorphy lifting theorems for residually reducible Galois representations of unitary type in which the residual representation is permitted to have an arbitrary number of irreducible constituents.

We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: an $\mathcal {X}$-cluster variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed $\mathcal {X}$-cluster variety $\widehat {\mathcal {X} }$ to the toric variety associated to its g-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal {X}$-varieties encoded by $\operatorname {Star}(\tau )$ for each cone $\tau$ of the $\mathbf {g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal {A}_{\mathrm {prin}}$ of Gross, Hacking, Keel and Kontsevich [Canonical bases for cluster algebras, J. Amer. Math. Soc. 31 (2018), 497–608], and the fibers cluster dual to $\mathcal {A} _t$. Finally, we give two applications. First, we use our construction to identify the toric degeneration of Grassmannians from Rietsch and Williams [Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians, Duke Math. J. 168 (2019), 3437–3527] with the Gross–Hacking–Keel–Kontsevich degeneration in the case of $\operatorname {Gr}_2(\mathbb {C} ^{5})$. Next, we use it to link cluster duality to Batyrev–Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.

We define and study jet bundles in the geometric orbifold category. We show that the usual arguments from the compact and the logarithmic settings do not all extend to this more general framework. This is illustrated by simple examples of orbifold pairs of general type that do not admit any global jet differential, even if some of these examples satisfy the Green–Griffiths–Lang conjecture. This contrasts with an important result of Demailly (Holomorphic Morse inequalities and the Green-Griffiths-Lang conjecture, Pure Appl. Math. Q. 7 (2011), 1165–1207) proving that compact varieties of general type always admit jet differentials. We illustrate the usefulness of the study of orbifold jets by establishing the hyperbolicity of some orbifold surfaces, that cannot be derived from the current techniques in Nevanlinna theory. We also conjecture that Demailly's theorem should hold for orbifold pairs with smooth boundary divisors under a certain natural multiplicity condition, and provide some evidence towards it.

Let $G$ be an anisotropic semisimple group over a totally real number field $F$. Suppose that $G$ is compact at all but one infinite place $v_{0}$. In addition, suppose that $G_{v_{0}}$ is $\mathbb{R}$-almost simple, not split, and has a Cartan involution defined over $F$. If $Y$ is a congruence arithmetic manifold of non-positive curvature associated with $G$, we prove that there exists a sequence of Laplace eigenfunctions on $Y$ whose sup norms grow like a power of the eigenvalue.

We prove a super-rigidity result for algebraic representations over complete fields of irreducible lattices in products of groups and lattices with dense commensurator groups. We derive criteria for the non-linearity of such groups.

We show that the only summands of the theta divisor on Jacobians of curves and on intermediate Jacobians of cubic threefolds are the powers of the curve and the Fano surface of lines on the threefold. The proof only uses the decomposition theorem for perverse sheaves, some representation theory and the notion of characteristic cycles.

We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus $g$ defined over a finite field, when the twisting line bundle degree is at least $2g-2$ (this includes the case of usual Higgs bundles). This yields a closed expression for the Donaldson–Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver sheaves of type $A$ (finite or affine), obtaining in particular a Harder–Narasimhan-type formula counting semistable $U(p,q)$-Higgs bundles over a smooth projective curve defined over a finite field.