Let $\mathfrak{A}$ be a finite abelian group. In this paper, we classify harmonic $\mathfrak{A}$-covers of a tropical curve $\Gamma$ (which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on $\Gamma$. We give a realisability criterion for harmonic $\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on $\Gamma$. As an explicit example, we work out the case $\mathfrak{A}=\mathbb{Z}/p\mathbb{Z}$ and explain how realisability for such covers is related to the nowhere-zero flow problem from graph theory.

We prove that the nonvarying strata of abelian and quadratic differentials in low genus have trivial tautological rings and are affine varieties. We also prove that strata of k-differentials of infinite area are affine varieties for all k. Vanishing of homology in degree higher than the complex dimension follows as a consequence for these affine strata. Moreover we prove that the stratification of the Hodge bundle for abelian and quadratic differentials of finite area is extremal in the sense that merging two zeros in each stratum leads to an extremal effective divisor in the boundary. A common feature throughout these results is a relation of divisor classes in strata of differentials as well as its incarnation in Teichmüller dynamics.

For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus g over $\mathbb{F}_q$. As a consequence of Katz–Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all q large enough, the existence of a curve of genus g over $\mathbb{F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally, explicit constructions of towers of curves improve this result: We show that the bound $1+q+4 \sqrt{q} -32$ is valid for all $g\ge 2$ and for all q.

We consider families of exponential sums indexed by a subgroup of invertible classes modulo some prime power q. For fixed d, we restrict to moduli q so that there is a unique subgroup of invertible classes modulo q of order d. We study distribution properties of these families of sums as q grows and we establish equidistribution results in some regions of the complex plane which are described as the image of a multi-dimensional torus via an explicit Laurent polynomial. In some cases, the region of equidistribution can be interpreted as the one delimited by a hypocycloid, or as a Minkowski sum of such regions.

We study the space of slice torus invariants. In particular we characterise the set of values that slice torus invariants may take on a given knot in terms of the stable smooth slice genus. Our study reveals that the resolution of the local Thom conjecture implies the existence of slice torus invariants without having to appeal to any explicit construction from a knot homology theory.

Let f be a non-CM Hecke eigencusp form of level 1 and fixed weight, and let $\{\lambda_f(n)\}_n$ be its sequence of normalised Fourier coefficients. We show that if $K/ \mathbb{Q}$ is any number field, and $\mathcal{N}_K$ denotes the collection of integers representable as norms of integral ideals of K, then a positive proportion of the positive integers $n \in \mathcal{N}_K$ yield a sign change for the sequence $\{\lambda_f(n)\}_{n \in \mathcal{N}_K}$. More precisely, for a positive proportion of $n \in \mathcal{N}_K \cap [1,X]$ we have $\lambda_f(n)\lambda_f(n') < 0$, where n′ is the first element of $\mathcal{N}_K$ greater than n for which $\lambda_f(n') \neq 0$.

For example, for $K = \mathbb{Q}(i)$ and $\mathcal{N}_K = \{m^2+n^2 \;:\; m,n \in \mathbb{Z}\}$ the set of sums of two squares, we obtain $\gg_f X/\sqrt{\log X}$ such sign changes, which is best possible (up to the implicit constant) and improves upon work of Banerjee and Pandey. Our proof relies on recent work of Matomäki and Radziwiłł on sparsely-supported multiplicative functions, together with some technical refinements of their results due to the author.

In a related vein, we also consider the question of sign changes along shifted sums of two squares, for which multiplicative techniques do not directly apply. Using estimates for shifted convolution sums among other techniques, we establish that for any fixed $a \neq 0$ there are $\gg_{f,\varepsilon} X^{1/2-\varepsilon}$ sign changes for $\lambda_f$ along the sequence of integers of the form $a + m^2 + n^2 \leq X$.

Let $d \ge 3$ be an integer and let $P \in \mathbb{Z}[x]$ be a polynomial of degree d whose Galois group is $S_d$. Let $(a_n)$ be a non-degenerate linearly recursive sequence of integers which has P as its characteristic polynomial. We prove, under the generalised Riemann hypothesis, that the lower density of the set of primes which divide at least one non-zero element of the sequence $(a_n)$ is positive.

We show that a group that is hyperbolic relative to strongly shortcut groups is itself strongly shortcut, thus obtaining new examples of strongly shortcut groups. The proof relies on a result of independent interest: we show that every relatively hyperbolic group acts properly and cocompactly on a graph in which the parabolic subgroups act properly and cocompactly on convex subgraphs.

Let F be a finite extension of ${\mathbb Q}_p$. Let $\Omega$ be the Drinfeld upper half plane, and $\Sigma^1$ the first Drinfeld covering of $\Omega$. We study the affinoid open subset $\Sigma^1_v$ of $\Sigma^1$ above a vertex of the Bruhat–Tits tree for $\text{GL}_2(F)$. Our main result is that $\text{Pic}\!\left(\Sigma^1_v\right)[p] = 0$, which we establish by showing that $\text{Pic}({\mathbf Y})[p] = 0$ for ${\mathbf Y}$ the Deligne–Lusztig variety of $\text{SL}_2\!\left({\mathbb F}_q\right)$. One formal consequence is a description of the representation $H^1_{{\acute{\text{e}}\text{t}}}\!\left(\Sigma^1_v, {\mathbb Z}_p(1)\right)$ of $\text{GL}_2(\mathcal{O}_F)$ as the p-adic completion of $\mathcal{O}\!\left(\Sigma^1_v\right)^\times$.

What is the probability that a random UHF algebra is of infinite type? What is the probability that a random simple AI algebra has at most k extremal traces? What is the expected value of the radius of comparison of a random Villadsen-type AH algebra? What is the probability that such an algebra is $\mathcal{Z}$-stable? What is the probability that a random Cuntz–Krieger algebra is purely infinite and simple, and what can be said about the distribution of its K-theory? By constructing $\mathrm{C}^*$-algebras associated with suitable random (walks on) graphs, we provide context in which these are meaningful questions with computable answers.

We study intermediate-scale statistics for the fractional parts of the sequence $\left(\alpha a_{n}\right)_{n=1}^{\infty}$, where $\left(a_{n}\right)_{n=1}^{\infty}$ is a positive, real-valued lacunary sequence, and $\alpha\in\mathbb{R}$. In particular, we consider the number of elements $S_{N}\!\left(L,\alpha\right)$ in a random interval of length $L/N$, where $L=O\!\left(N^{1-\epsilon}\right)$, and show that its variance (the number variance) is asymptotic to L with high probability w.r.t. $\alpha$, which is in agreement with the statistics of uniform i.i.d. random points in the unit interval. In addition, we show that the same asymptotic holds almost surely in $\alpha\in\mathbb{R}$ when $L=O\!\left(N^{1/2-\epsilon}\right)$. For slowly growing L, we further prove a central limit theorem for $S_{N}\!\left(L,\alpha\right)$ which holds for almost all $\alpha\in\mathbb{R}$.

Gross and Siebert developed a program for constructing in arbitrary dimension a mirror family to a log Calabi–Yau pair (X, D), consisting of a smooth projective variety X with a normal-crossing anti-canonical divisor D in X. In this paper, we provide an algorithm to practically compute explicit equations of the mirror family in the case when X is obtained as a blow-up of a toric variety along hypersurfaces in its toric boundary, and D is the strict transform of the toric boundary. The main ingredient is the heart of the canonical wall structure associated to such pairs (X, D), which is constructed purely combinatorially, following our previous work with Mark Gross. In the case when we blow up a single hypersurface we show that our results agree with previous results computed symplectically by Aroux–Abouzaid–Katzarkov. In the situation when the locus of blow-up is formed by more than a single hypersurface, due to infinitely many walls interacting, writing the equations becomes significantly more challenging. We provide the first examples of explicit equations for mirror families in such situations.

When $k\geqslant 4$ and $0\leqslant d\leqslant (k-2)/4$, we consider the system of Diophantine equations

\begin{align*}x_1^j+\ldots +x_k^j=y_1^j+\ldots +y_k^j\quad (1\leqslant j\leqslant k,\, j\ne k-d).\end{align*}

$d=o\!\left(k^{1/4}\right)$

In this paper we prove that the set $\{|x^1-x^2|,\dots,|x^k-x^{k+1}|\,{:}\,x^i\in E\}$ has non-empty interior in $\mathbb{R}^k$ when $E\subset \mathbb{R}^2$ is a Cartesian product of thick Cantor sets $K_1,K_2\subset\mathbb{R}$. We also prove more general results where the distance map $|x-y|$ is replaced by a function $\phi(x,y)$ satisfying mild assumptions on its partial derivatives. In the process, we establish a nonlinear version of the classic Newhouse Gap Lemma, and show that if $K_1,K_2, \phi$ are as above then there exists an open set S so that $\bigcap_{x \in S} \phi(x,K_1\times K_2)$ has non-empty interior.

Let $\textsf{T}$ be a triangulated category with shift functor $\Sigma \colon \textsf{T} \to \textsf{T}$ . Suppose $(\textsf{A},\textsf{B})$ is a co-t-structure with coheart $\textsf{S} = \Sigma \textsf{A} \cap \textsf{B}$ and extended coheart $\textsf{C} = \Sigma^2 \textsf{A} \cap \textsf{B} = \textsf{S}* \Sigma \textsf{S}$ , which is an extriangulated category. We show that there is a bijection between co-t-structures $(\textsf{A}^{\prime},\textsf{B}^{\prime})$ in $\textsf{T}$ such that $\textsf{A} \subseteq \textsf{A}^{\prime} \subseteq \Sigma \textsf{A}$ and complete cotorsion pairs in the extended coheart $\textsf{C}$ . In the case that $\textsf{T}$ is Hom-finite, $\textbf{k}$ -linear and Krull–Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\textsf{C}$ and functorially finite torsion classes in $\textsf{mod}\, \textsf{S}$ .

For each central essential hyperplane arrangement $\mathcal{A}$ over an algebraically closed field, let $Z_\mathcal{A}^{\hat\mu}(T)$ denote the Denef–Loeser motivic zeta function of $\mathcal{A}$ . We prove a formula expressing $Z_\mathcal{A}^{\hat\mu}(T)$ in terms of the Milnor fibers of related hyperplane arrangements. This formula shows that, in a precise sense, the degree to which $Z_{\mathcal{A}}^{\hat\mu}(T)$ fails to be a combinatorial invariant is completely controlled by these Milnor fibers. As one application, we use this formula to show that the map taking each complex arrangement $\mathcal{A}$ to the Hodge–Deligne specialization of $Z_{\mathcal{A}}^{\hat\mu}(T)$ is locally constant on the realization space of any loop-free matroid. We also prove a combinatorial formula expressing the motivic Igusa zeta function of $\mathcal{A}$ in terms of the characteristic polynomials of related arrangements.

The algebraic K-theory of Lawvere theories is a conceptual device to elucidate the stable homology of the symmetry groups of algebraic structures such as the permutation groups and the automorphism groups of free groups. In this paper, we fully address the question of how Morita equivalence classes of Lawvere theories interact with algebraic K-theory. On the one hand, we show that the higher algebraic K-theory is invariant under passage to matrix theories. On the other hand, we show that the higher algebraic K-theory is not fully Morita invariant because of the behavior of idempotents in non-additive contexts: We compute the K-theory of all Lawvere theories Morita equivalent to the theory of Boolean algebras.

We address Hodge integrals over the hyperelliptic locus. Recently Afandi computed, via localisation techniques, such one-descendant integrals and showed that they are Stirling numbers. We give another proof of the same statement by a very short argument, exploiting Chern classes of spin structures and relations arising from Topological Recursion in the sense of Eynard and Orantin.

These techniques seem also suitable to deal with three orthogonal generalisations: (1) the extension to the r-hyperelliptic locus; (2) the extension to an arbitrary number of non-Weierstrass pairs of points; (3) the extension to multiple descendants.

A subset Y of the general linear group $\text{GL}(n,q)$ is called t-intersecting if $\text{rk}(x-y)\le n-t$ for all $x,y\in Y$ , or equivalently x and y agree pointwise on a t-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$ . We show that, if n is sufficiently large compared to t, the size of every such t-intersecting set is at most that of the stabiliser of a basis of a t-dimensional subspace of $\mathbb{F}_q^n$ . In case of equality, the characteristic vector of Y is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\text{GL}(n,q)$ that intersect not necessarily pointwise in t-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\text{GL}(n,q)$ . These results may be viewed as variants of the classical Erdős–Ko–Rado Theorem in extremal set theory and are q-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\text{GL}(n,q)$ .

A Richardson variety in a flag variety is an intersection of two Schubert varieties defined by transverse flags. We define and study relative Richardson varieties, which are defined over a base scheme with a vector bundle and two flags. To do so, we generalise transversality of flags to a relative notion, versality, that allows the flags to be non-transverse over some fibers. Relative Richardson varieties share many of the geometric properties of Richardson varieties. We generalise several geometric and cohomological facts about Richardson varieties to relative Richardson varieties. We also prove that the local geometry of a relative Richardson variety is governed, in a precise sense, by the two intersecting Schubert varieties, giving a generalisation, in the flag variety case, of a theorem of Knutson–Woo–Yong; we also generalise this result to intersections of arbitrarily many relative Schubert varieties. We give an application to Brill–Noether varieties on elliptic curves, and a conjectural generalisation to higher genus curves.