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.

The equivariant Heegaard genus of a 3-manifold W with the action of a finite group G of diffeomorphisms is the smallest genus of an equivariant Heegaard splitting for W. Although a Heegaard splitting of a reducible manifold is reducible and although if W is reducible, there is an equivariant essential sphere, we show that equivariant Heegaard genus may be super-additive, additive, or sub-additive under equivariant connected sum. Using a thin position theory for 3-dimensional orbifolds, we establish sharp bounds on the equivariant Heegaard genus of reducible manifolds, similar to those known for tunnel number. Along the way, we make use of a new invariant for W which is much better behaved under equivariant sums.

Hilbert–Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert–Kunz multiplicity this question was first considered by the last two authors and attracted significant attention. In this paper, we study this question, i.e., an upper bound, for F-signature and revisit lower bounds on Hilbert–Kunz multiplicity.

We show, from a topological viewpoint, that most numbers are not normal in a strong sense. More precisely, the set of numbers $x \in (0,1]$ with the following property is comeager: for all integers $b\ge 2$ and $k\ge 1$ , the sequence of vectors made by the frequencies of all possibile strings of length k in the b-adic representation of x has a maximal subset of accumulation points, and each of them is the limit of a subsequence with an index set of nonzero asymptotic density. This extends and provides a streamlined proof of the main result given by Olsen (2004) in this Journal. We provide analogues in the context of analytic P-ideals and regular matrices.

We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most k times has size $k+O(\sqrt k \log k)$ . Prior to this work, a lemma of Agol, together with the state of the art bounds for the size of prime gaps, implied the error term $O(k^{21/40})$ , and in fact the assumption of the Riemann hypothesis improved this error term to the one we obtain $O(\sqrt k\log k)$ . By contrast, our methods are elementary, combinatorial, and geometric.

The set of points that escape to infinity under iteration of a cosine map, that is, of the form $C_{a,\,b} \colon z \mapsto ae^z+be^{-z}$ for $a,\,b\in \mathbb{C}^\ast$ , consists of a collection of injective curves, called dynamic rays. If a critical value of $C_{a,\,b}$ escapes to infinity, then some of its dynamic rays overlap pairwise and split at critical points. We consider a large subclass of cosine maps with escaping critical values, including the map $z\mapsto \cosh(z)$ . We provide an explicit topological model for their dynamics on their Julia sets. We do so by first providing a model for the dynamics near infinity of any cosine map, and then modifying it to reflect the splitting of rays for functions of the subclass we study. As an application, we give an explicit combinatorial description of the overlap occurring between the dynamic rays of $z\mapsto \cosh(z)$ , and conclude that no two of its dynamic rays land together.