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.

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 prove a formula expressing the K-theoretic log Gromov-Witten invariants of a product of log smooth varieties $V \times W$ in terms of the invariants of V and W. The proof requires introducing log virtual fundamental classes in K-theory and verifying their various functorial properties. We introduce a log version of K-theory and prove the formula there as well.

The aim of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to p-adic numbers. Firstly, we establish complete analogues of Khintchine’s theorem, the Duffin–Schaeffer theorem and the Jarník–Besicovitch theorem for ‘weighted’ simultaneous Diophantine approximation in the p-adic case. Secondly, we obtain a lower bound for the Hausdorff dimension of weighted simultaneously approximable points lying on p-adic manifolds. This is valid for very general classes of curves and manifolds and have natural constraints on the exponents of approximation. The key tools we use in our proofs are the Mass Transference Principle, including its recent extension due to Wang and Wu in 2019, and a Zero-One law for weighted p-adic approximations established in this paper.

We prove the Zariski dense orbit conjecture in positive characteristic for regular self-maps of split semiabelian varieties.

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.

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.

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.

Let BG be the classifying space of an algebraic group G over the field ${\mathbb C}$ of complex numbers. There are smooth projective approximations X of $BG\times {\mathbb P}^{\infty}$, by Ekedahl. We compute a new stable birational invariant of X defined by the difference of two coniveau filtrations of X, by Benoist and Ottem. Hence we give many examples such that two coniveau filtrations are different.

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 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 $\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}$ .

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}$.

Let $(X\ni x,B)$ be an lc surface germ. If $X\ni x$ is klt, we show that there exists a divisor computing the minimal log discrepancy of $(X\ni x,B)$ that is a Kollár component of $X\ni x$ . If $B\not=0$ or $X\ni x$ is not Du Val, we show that any divisor computing the minimal log discrepancy of $(X\ni x,B)$ is a potential lc place of $X\ni x$ . This extends a result of Blum and Kawakita who independently showed that any divisor computing the minimal log discrepancy on a smooth surface is a potential lc place.

In this paper, we investigate the regularity properties and determine the almost sure multifractal spectrum of a class of random functions constructed as sums of pulses with random dilations and translations. In addition, the continuity moduli of the sample paths of these stochastic processes are investigated.

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)$ .

Let G be a simple algebraic group with ${\mathfrak g}={\textrm{Lie }} G$ and ${\mathcal O}_{\textsf{min}}\subset{\mathfrak g}$ the minimal nilpotent orbit. For a ${\mathbb Z}_2$-grading ${\mathfrak g}={\mathfrak g}_0\oplus{\mathfrak g}_1$, let $G_0$ be a connected subgroup of G with ${\textrm{Lie }} G_0={\mathfrak g}_0$. We study the $G_0$-equivariant projections $\varphi\,:\,\overline{{\mathcal O}_{\textsf{min}}}\to {\mathfrak g}_0$ and $\psi:\overline{{\mathcal O}_{\textsf{min}}}\to{\mathfrak g}_1$. It is shown that the properties of $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ essentially depend on whether the intersection ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1$ is empty or not. If ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$, then both $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ contain a 1-parameter family of closed $G_0$-orbits, while if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1=\varnothing$, then both are $G_0$-prehomogeneous. We prove that $\overline{G{\cdot}\varphi({\mathcal O}_{\textsf{min}})}=\overline{G{\cdot}\psi({\mathcal O}_{\textsf{min}})}$. Moreover, if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$, then this common variety is the affine cone over the secant variety of ${\mathbb P}({\mathcal O}_{\textsf{min}})\subset{\mathbb P}({\mathfrak g})$. As a digression, we obtain some invariant-theoretic results on the affine cone over the secant variety of the minimal orbit in an arbitrary simple G-module. In conclusion, we discuss more general projections that are related to either arbitrary reductive subalgebras of ${\mathfrak g}$ in place of ${\mathfrak g}_0$ or spherical nilpotent G-orbits in place of ${\mathcal O}_{\textsf{min}}$.

We prove that there exist finitely generated, stably finite algebras which are not linear sofic. This was left open by Arzhantseva and Păunescu in 2017.

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)$

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.