The goal of this paper is to generalise, refine and improve results on large intersections from [2, 8]. We show that if G is a countable discrete abelian group and $\varphi , \psi : G \to G$ are homomorphisms, such that at least two of the three subgroups $\varphi (G)$ , $\psi (G)$ and $(\psi -\varphi )(G)$ have finite index in G, then $\{\varphi , \psi \}$ has the large intersections property. That is, for any ergodic measure preserving system $\textbf {X}=(X,\mathcal {X},\mu ,(T_g)_{g\in G})$ , any $A\in \mathcal {X}$ and any $\varepsilon>0$ , the set

$$ \begin{align*} \{g\in G : \mu(A\cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A)>\mu(A)^3-\varepsilon\} \end{align*} $$

is syndetic (Theorem 1.11). Moreover, in the special case where $\varphi (g)=ag$ and $\psi (g)=bg$ for $a,b\in \mathbb {Z}$ , we show that we only need one of the groups $aG$ , $bG$ or $(b-a)G$ to be of finite index in G (Theorem 1.13), and we show that the property fails, in general, if all three groups are of infinite index (Theorem 1.14).

One particularly interesting case is where $G=(\mathbb {Q}_{>0},\cdot )$ and $\varphi (g)=g$ , $\psi (g)=g^2$ , which leads to a multiplicative version of the Khintchine-type recurrence result in [8]. We also completely characterise the pairs of homomorphisms $\varphi ,\psi $ that have the large intersections property when $G = {{\mathbb Z}}^2$ .

The proofs of our main results rely on analysis of the structure of the universal characteristic factor for the multiple ergodic averages

$$ \begin{align*} \frac{1}{|\Phi_N|} \sum_{g\in \Phi_N}T_{\varphi(g)}f_1\cdot T_{\psi(g)} f_2. \end{align*} $$

In the case where G is finitely generated, the characteristic factor for such averages is the Kronecker factor. In this paper, we study actions of groups that are not necessarily finitely generated, showing, in particular, that, by passing to an extension of $\textbf {X}$ , one can describe the characteristic factor in terms of the Conze–Lesigne factor and the $\sigma $ -algebras of $\varphi (G)$ and $\psi (G)$ invariant functions (Theorem 4.10).

Given integers $g,n\geqslant 0$ satisfying $2-2g-n<0$, let ${\mathcal{M}}_{g,n}$ be the moduli space of connected, oriented, complete, finite area hyperbolic surfaces of genus $g$ with $n$ cusps. We study the global behavior of the Mirzakhani function $B:{\mathcal{M}}_{g,n}\rightarrow \mathbf{R}_{{\geqslant}0}$ which assigns to $X\in {\mathcal{M}}_{g,n}$ the Thurston measure of the set of measured geodesic laminations on $X$ of hyperbolic length ${\leqslant}1$. We improve bounds of Mirzakhani describing the behavior of this function near the cusp of ${\mathcal{M}}_{g,n}$ and deduce that $B$ is square-integrable with respect to the Weil–Petersson volume form. We relate this knowledge of $B$ to statistics of counting problems for simple closed hyperbolic geodesics.

We prove a universal property for $\infty $-categories of spans in the generality of Barwick’s adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a self-equivalence on the class of orthogonal adequate triples, which we introduce for this purpose.

As applications of the machinery we develop, we give a quick proof of Barwick’s unfurling theorem, show that an orthogonal factorisation system arises from a cartesian fibration if and only if it forms an adequate triple (generalising work of Lanari), extend the description of dual (co)cartesian fibrations by Barwick, Glasman and Nardin to two-variable fibrations, explicitly describe parametrised adjoints (extending work of Torii), identify the orthofibration classifying the mapping category functor of an $(\infty ,2)$-category (building on work of Abellán García and Stern), formally identify the unstraightenings of the identity functor on the $\infty $-category of $\infty $-categories with the (op)lax under-categories of a point, and deduce a certain naturality property of the Yoneda embedding (answering a question of Clausen).

We give a characterisation of Fano-type surfaces with large cyclic automorphisms. As an application, we give a characterisation of Kawamata log terminal $3$ -fold singularities with large class groups of rank at least $2$ .

The bandwidth theorem of Böttcher, Schacht, and Taraz [Proof of the bandwidth conjecture of Bollobás andKomlós, Mathematische Annalen, 2009] gives a condition on the minimum degree of an n-vertex graph G that ensures G contains every r-chromatic graph H on n vertices of bounded degree and of bandwidth $o(n)$ , thereby proving a conjecture of Bollobás and Komlós [The Blow-up Lemma, Combinatorics, Probability, and Computing, 1999]. In this paper, we prove a version of the bandwidth theorem for locally dense graphs. Indeed, we prove that every locally dense n-vertex graph G with $\delta (G)> (1/2+o(1))n$ contains as a subgraph any given (spanning) H with bounded maximum degree and sublinear bandwidth.

A joint algebraic interpretation of the biorthogonal Askey polynomials on the unit circle and of the orthogonal Jacobi polynomials is offered. It ties their bispectral properties to an algebra called the meta-Jacobi algebra $m\mathfrak {J}$ .

The signature of a path can be described as its full non-commutative exponential. Following T. Lyons, we regard its expectation, the expected signature, as a path space analogue of the classical moment generating function. The logarithm thereof, taken in the tensor algebra, defines the signature cumulant. We establish a universal functional relation in a general semimartingale context. Our work exhibits the importance of Magnus expansions in the algorithmic problem of computing expected signature cumulants and further offers a far-reaching generalization of recent results on characteristic exponents dubbed diamond and cumulant expansions with motivations ranging from financial mathematics to statistical physics. From an affine semimartingale perspective, the functional relation may be interpreted as a type of generalized Riccati equation.

We prove that Boolean functions on $S_{n}$, whose Fourier transform is highly concentrated on irreducible representations indexed by partitions of $n$ whose largest part has size at least $n-t$, are close to being unions of cosets of stabilizers of $t$-tuples. We also obtain an edge-isoperimetric inequality for the transposition graph on $S_{n}$ which is asymptotically sharp for subsets of $S_{n}$ of size $n!/\text{poly}(n)$, using eigenvalue techniques. We then combine these two results to obtain a sharp edge-isoperimetric inequality for subsets of $S_{n}$ of size $(n-t)!$, where $n$ is large compared to $t$, confirming a conjecture of Ben Efraim in these cases.

We consider the global behaviour for large solutions of the Dirac–Klein–Gordon system in critical spaces in dimension $1+3$. In particular, we show that bounded solutions exist globally in time and scatter, provided that a controlling space–time Lebesgue norm is finite. A crucial step is to prove nonlinear estimates that exploit the dichotomy between transversality and null structure, and furthermore involve the controlling norm.

A generalization of Serre’s Conjecture asserts that if $F$ is a totally real field, then certain characteristic $p$ representations of Galois groups over $F$ arise from Hilbert modular forms. Moreover, it predicts the set of weights of such forms in terms of the local behaviour of the Galois representation at primes over  $p$ . This characterization of the weights, which is formulated using $p$ -adic Hodge theory, is known under mild technical hypotheses if $p>2$ . In this paper we give, under the assumption that $p$ is unramified in $F$ , a conjectural alternative description for the set of weights. Our approach is to use the Artin–Hasse exponential and local class field theory to construct bases for local Galois cohomology spaces in terms of which we identify subspaces that should correspond to ones defined using $p$ -adic Hodge theory. The resulting conjecture amounts to an explicit description of wild ramification in reductions of certain crystalline Galois representations. It enables the direct computation of the set of Serre weights of a Galois representation, which we illustrate with numerical examples. A proof of this conjecture has been announced by Calegari, Emerton, Gee and Mavrides.

Let $p\geqslant 5$ be a prime, and let ${\mathcal{O}}$ be the ring of integers of a finite extension $K$ of $\mathbb{Q}_{p}$ with uniformizer ${\it\pi}$. Let ${\it\rho}_{n}:G_{\mathbb{Q}}\rightarrow \mathit{GL}_{2}\left({\mathcal{O}}/({\it\pi}^{n})\right)$ have modular mod-${\it\pi}$ reduction $\bar{{\it\rho}}$, be ordinary at $p$, and satisfy some mild technical conditions. We show that ${\it\rho}_{n}$ can be lifted to an ${\mathcal{O}}$-valued characteristic-zero geometric representation which arises from a newform. This is new in the case when $K$ is a ramified extension of $\mathbb{Q}_{p}$. We also show that a prescribed ramified complete discrete valuation ring ${\mathcal{O}}$ is the weight-$2$ deformation ring for $\bar{{\it\rho}}$ for a suitable choice of auxiliary level. This implies that the field of Fourier coefficients of newforms of weight 2, square-free level, and trivial nebentype that give rise to semistable $\bar{{\it\rho}}$ of weight 2 can have arbitrarily large ramification index at $p$.

We study $F$-signature under proper birational morphisms $\unicode[STIX]{x1D70B}:Y\rightarrow X$, showing that $F$-signature strictly increases for small morphisms or if $K_{Y}\leqslant \unicode[STIX]{x1D70B}^{\ast }K_{X}$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature dropping and Hilbert–Kunz multiplicity increasing under birational maps without these hypotheses.

Let $f$ and $g$ be 1-bounded multiplicative functions for which $f\ast g=1_{.=1}$. The Bombieri–Vinogradov theorem holds for both $f$ and $g$ if and only if the Siegel–Walfisz criterion holds for both $f$ and $g$, and the Bombieri–Vinogradov theorem holds for $f$ restricted to the primes.

We show that the automorphism group of a linking system associated to a saturated fusion system $\mathcal {F}$ depends only on $\mathcal {F}$ as long as the object set of the linking system is $\mathrm {Aut}(\mathcal {F})$ -invariant. This was known to be true for linking systems in Oliver’s definition, but we demonstrate that the result holds also for linking systems in the considerably more general definition introduced previously by the author of this article. A similar result is proved for linking localities, which are group-like structures corresponding to linking systems. Our argument builds on a general lemma about the existence of an extension of a homomorphism between localities. This lemma is also used to reprove a theorem of Chermak showing that there is a natural bijection between the sets of partial normal subgroups of two possibly different linking localities over the same fusion system.

We formulate general conditions which imply that ${\mathcal L}(X,Y)$, the space of operators from a Banach space X to a Banach space Y, has $2^{{\mathfrak {c}}}$ closed ideals, where ${\mathfrak {c}}$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson-type spaces. In particular, we prove that the cardinality of the set ofclosed ideals in ${\mathcal L}\left (\ell _p\oplus \ell _q\right )$ is exactly $2^{{\mathfrak {c}}}$ for all $1<p<q<\infty $.

In this paper, we prove that if a compact Kähler manifold X has a smooth Hermitian metric $\omega $ such that $(T_X,\omega )$ is uniformly RC-positive, then X is projective and rationally connected. Conversely, we show that, if a projective manifold X is rationally connected, then there exists a uniformly RC-positive complex Finsler metric on $T_X$ .

We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, respectively pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive comparison of these spaces with admissible topologies recently introduced by Godefroy and Saint-Raymond and show that Borel complexities differ little with respect to these two topological approaches.

We investigate generic properties in these spaces and compare them with those in admissible topologies, confirming the suspicion of Godefroy and Saint-Raymond that they depend on the choice of the admissible topology.

For each prime $p$ we construct a family $\{G_{i}\}$ of finite $p$-groups such that $|\text{Aut}(G_{i})|/|G_{i}|$ tends to zero as $i$ tends to infinity. This disproves a well-known conjecture that $|G|$ divides $|\text{Aut}(G)|$ for every nonabelian finite $p$-group $G$.

Quasi-BPS categories appear as summands in semiorthogonal decompositions of DT categories for Hilbert schemes of points in the three-dimensional affine space and in the categorical Hall algebra of the two-dimensional affine space. In this paper, we prove several properties of quasi-BPS categories analogous to BPS sheaves in cohomological DT theory.

We first prove a categorical analogue of Davison’s support lemma, namely that complexes in the quasi-BPS categories for coprime length and weight are supported over the small diagonal in the symmetric product of the three-dimensional affine space. The categorical support lemma is used to determine the torsion-free generator of the torus equivariant K-theory of the quasi-BPS category of coprime length and weight.

We next construct a bialgebra structure on the torsion free equivariant K-theory of quasi-BPS categories for a fixed ratio of length and weight. We define the K-theoretic BPS space as the space of primitive elements with respect to the coproduct. We show that all localized equivariant K-theoretic BPS spaces are one-dimensional, which is a K-theoretic analogue of the computation of (numerical) BPS invariants of the three-dimensional affine space.

A result of Bleher, Chinburg, Greenberg, Kakde, Pappas, Sharifi and Taylor has initiated the topic of higher codimension Iwasawa theory. As a generalization of the classical Iwasawa main conjecture, they prove a relationship between analytic objects (a pair of Katz’s $2$-variable $p$-adic $L$-functions) and algebraic objects (two ‘everywhere unramified’ Iwasawa modules) involving codimension two cycles in a $2$-variable Iwasawa algebra. We prove a result by considering the restriction to an imaginary quadratic field $K$ (where an odd prime $p$ splits) of an elliptic curve $E$, defined over $\mathbb{Q}$, with good supersingular reduction at $p$. On the analytic side, we consider eight pairs of $2$-variable $p$-adic $L$-functions in this setup (four of the $2$-variable $p$-adic $L$-functions have been constructed by Loeffler and a fifth $2$-variable $p$-adic $L$-function is due to Hida). On the algebraic side, we consider modifications of fine Selmer groups over the $\mathbb{Z}_{p}^{2}$-extension of $K$. We also provide numerical evidence, using algorithms of Pollack, towards a pseudonullity conjecture of Coates–Sujatha.