We prove a general local law for Wigner matrices that optimally handles observables of arbitrary rank and thus unifies the well-known averaged and isotropic local laws. As an application, we prove a central limit theorem in quantum unique ergodicity (QUE): that is, we show that the quadratic forms of a general deterministic matrix A on the bulk eigenvectors of a Wigner matrix have approximately Gaussian fluctuation. For the bulk spectrum, we thus generalise our previous result [17] as valid for test matrices A of large rank as well as the result of Benigni and Lopatto [7] as valid for specific small-rank observables.

We establish new Strichartz estimates for orthonormal families of initial data in the case of the wave, Klein–Gordon and fractional Schrödinger equations. Our estimates extend those of Frank–Sabin in the case of the wave and Klein–Gordon equations, and generalize work of Frank et al. and Frank–Sabin for the Schrödinger equation. Due to a certain technical barrier, except for the classical Schrödinger equation, the Strichartz estimates for orthonormal families of initial data have not previously been established up to the sharp summability exponents in the full range of admissible pairs. We obtain the optimal estimates in various notable cases and improve the previous results.

The main novelty of this paper is our derivation and use of estimates for weighted oscillatory integrals, which we combine with an approach due to Frank and Sabin. Our weighted oscillatory integral estimates are, in a certain sense, rather delicate endpoint versions of known dispersive estimates with power-type weights of the form $|\xi |^{-\lambda }$ or $(1 + |\xi |^2)^{-\lambda /2}$, where $\lambda \in \mathbb {R}$. We achieve optimal decay rates by considering such weights with appropriate $\lambda \in \mathbb {C}$. For the wave and Klein–Gordon equations, our weighted oscillatory integral estimates are new. For the fractional Schrödinger equation, our results overlap with prior work of Kenig–Ponce–Vega in a certain regime. Our contribution to the theory of weighted oscillatory integrals has also been influenced by earlier work of Carbery–Ziesler, Cowling et al., and Sogge–Stein.

Finally, we provide some applications of our new Strichartz estimates for orthonormal families of data to the theory of infinite systems of Hartree type, weighted velocity averaging lemmas for kinetic transport equations, and refined Strichartz estimates for data in Besov spaces.

We propose an intersection-theoretic method to reduce questions in genus 0 logarithmic Gromov–Witten theory to questions in the Gromov–Witten theory of smooth pairs, in the presence of positivity. The method is applied to the enumerative geometry of rational curves with maximal contact orders along a simple normal crossings divisor and to recent questions about its relationship to local curve counting. Three results are established. We produce counterexamples to the local-logarithmic conjectures of van Garrel–Graber–Ruddat and Tseng–You. We prove that a weak form of the conjecture holds for product geometries. Finally, we explicitly determine the difference between local and logarithmic theories, in terms of relative invariants for which efficient algorithms are known. The polyhedral geometry of the tropical moduli of maps plays an essential and intricate role in the analysis.

In this paper we study the singularities of the invariant metric of the Poincaré bundle over a family of abelian varieties and their duals over a base of arbitrary dimension. As an application of this study we prove the effectiveness of the height jump divisors for families of pointed abelian varieties. The effectiveness of the height jump divisor was conjectured by Hain in the more general case of variations of polarized Hodge structures of weight  $-1$ .

The Hilbert scheme $X^{[a]}$ of points on a complex manifold $X$ is a compactification of the configuration space of $a$ -element subsets of $X$ . The integral cohomology of $X^{[a]}$ is more subtle than the rational cohomology. In this paper, we compute the mod 2 cohomology of $X^{[2]}$ for any complex manifold $X$ , and the integral cohomology of $X^{[2]}$ when $X$ has torsion-free cohomology.

Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G-biliaisons of height $1$ to an ideal of indeterminates and, conversely, that every G-biliaison of a certain type gives rise to a geometric vertex decomposition. As a consequence, we can immediately conclude that several well-known families of ideals are glicci, including Schubert determinantal ideals, defining ideals of varieties of complexes and defining ideals of graded lower bound cluster algebras.

In this work, we introduce Urod algebras associated to simply laced Lie algebras as well as the concept of translation of W-algebras.

Both results are achieved by showing that the quantum Hamiltonian reduction commutes with tensoring with integrable representations; that is, for V and L an affine vertex algebra and an integrable affine vertex algebra associated with $\mathfrak {g}$, we have the vertex algebra isomorphism $H_{DS,f}^{0}(V\otimes L)\cong H_{DS,f}^{0}(V)\otimes L$, where in the left-hand-side the Drinfeld–Sokolov reduction is taken with respect to the diagonal action of $\widehat {\mathfrak {g}}$ on $V{\otimes } L$.

The proof is based on some new construction of automorphisms of vertex algebras, which may be of independent interest. As corollaries, we get fusion categories of modules of many exceptional W-algebras, and we can construct various corner vertex algebras.

A major motivation for this work is that Urod algebras of type A provide a representation theoretic interpretation of the celebrated Nakajima–Yoshioka blowup equations for the moduli space of framed torsion free sheaves on $\mathbb {CP}^{2}$ of an arbitrary rank.

We prove a character formula for some closed fine Deligne–Lusztig varieties. We apply it to compute fixed points for fine Deligne–Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport–Zink spaces arising from the arithmetic Gan–Gross–Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.

We obtain a sparse domination principle for an arbitrary family of functions $f(x,Q)$ , where $x\in {\mathbb R}^{n}$ and Q is a cube in ${\mathbb R}^{n}$ . When applied to operators, this result recovers our recent works [37, 39]. On the other hand, our sparse domination principle can be also applied to non-operator objects. In particular, we show applications to generalised Poincaré–Sobolev inequalities, tent spaces and general dyadic sums. Moreover, the flexibility of our result allows us to treat operators that are not localisable in the sense of [39], as we will demonstrate in an application to vector-valued square functions.

We prove an equivalence between the Bryan-Steinberg theory of $\pi $-stable pairs on $Y = \mathcal {A}_{m-1} \times \mathbb {C}$ and the theory of quasimaps to $X = \text{Hilb}(\mathcal {A}_{m-1})$, in the form of an equality of K-theoretic equivariant vertices. In particular, the combinatorics of both vertices are described explicitly via box counting. Then we apply the equivalence to study the implications for sheaf-counting theories on Y arising from 3D mirror symmetry for quasimaps to X, including the Donaldson-Thomas crepant resolution conjecture.

We study the relationship between a $\unicode[STIX]{x1D705}$-Souslin tree $T$ and its reduced powers $T^{\unicode[STIX]{x1D703}}/{\mathcal{U}}$.

Previous works addressed this problem from the viewpoint of a single power $\unicode[STIX]{x1D703}$, whereas here, tools are developed for controlling different powers simultaneously. As a sample corollary, we obtain the consistency of an $\aleph _{6}$-Souslin tree $T$ and a sequence of uniform ultrafilters $\langle {\mathcal{U}}_{n}\mid n<6\rangle$ such that $T^{\aleph _{n}}/{\mathcal{U}}_{n}$ is $\aleph _{6}$-Aronszajn if and only if $n<6$ is not a prime number.

This paper is the first application of the microscopic approach to Souslin-tree construction, recently introduced by the authors. A major component here is devising a method for constructing trees with a prescribed combination of freeness degree and ascent-path characteristics.

We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.

We show that the weak limit of the maximal measures for any degenerating sequence of rational maps on the Riemann sphere ${\hat{{\mathbb{C}}}} $ must be a countable sum of atoms. For a one-parameter family $f_t$ of rational maps, we refine this result by showing that the measures of maximal entropy have a unique limit on $\hat{{\mathbb{C}}}$ as the family degenerates. The family $f_t$ may be viewed as a single rational function on the Berkovich projective line $\mathbf{P}^1_{\mathbb{L}}$ over the completion of the field of formal Puiseux series in $t$, and the limiting measure on $\hat{{\mathbb{C}}}$ is the ‘residual measure’ associated with the equilibrium measure on $\mathbf{P}^1_{\mathbb{L}}$. For the proof, we introduce a new technique for quantizing measures on the Berkovich projective line and demonstrate the uniqueness of solutions to a quantized version of the pullback formula for the equilibrium measure on $\mathbf{P}^1_{\mathbb{L}}$.

We prove that the free uniform spanning forest of any bounded degree proper plane graph is connected almost surely, answering a question of Benjamini, Lyons, Peres and Schramm. We provide a quantitative form of this result, calculating the critical exponents governing the geometry of the uniform spanning forests of transient proper plane graphs with bounded degrees and codegrees. We find that the same exponents hold universally over this entire class of graphs provided that measurements are made using the hyperbolic geometry of their circle packings rather than their usual combinatorial geometry.

We study uniform and coarse embeddings between Banach spaces and topological groups. A particular focus is put on equivariant embeddings, that is, continuous cocycles associated to continuous affine isometric actions of topological groups on separable Banach spaces with varying geometry.

The Ramsey number $R(F,H)$ is the minimum number N such that any N-vertex graph either contains a copy of F or its complement contains H. Burr in 1981 proved a pleasingly general result that, for any graph H, provided n is sufficiently large, a natural lower bound construction gives the correct Ramsey number involving cycles: $R(C_n,H)=(n-1)(\chi (H)-1)+\sigma (H)$ , where $\sigma (H)$ is the minimum possible size of a colour class in a $\chi (H)$ -colouring of H. Allen, Brightwell and Skokan conjectured that the same should be true already when $n\geq \lvert H\rvert \chi (H)$ .

We improve this 40-year-old result of Burr by giving quantitative bounds of the form $n\geq C\lvert H\rvert \log ^4\chi (H)$ , which is optimal up to the logarithmic factor. In particular, this proves a strengthening of the Allen–Brightwell–Skokan conjecture for all graphs H with large chromatic number.

In this article we show that the quotient ${\mathcal{M}}_{\infty }/B(\mathbb{Q}_{p})$ of the Lubin–Tate space at infinite level ${\mathcal{M}}_{\infty }$ by the Borel subgroup of upper triangular matrices $B(\mathbb{Q}_{p})\subset \operatorname{GL}_{2}(\mathbb{Q}_{p})$ exists as a perfectoid space. As an application we show that Scholze’s functor $H_{\acute{\text{e}}\text{t}}^{i}(\mathbb{P}_{\mathbb{C}_{p}}^{1},{\mathcal{F}}_{\unicode[STIX]{x1D70B}})$ is concentrated in degree one whenever $\unicode[STIX]{x1D70B}$ is an irreducible principal series representation or a twist of the Steinberg representation of $\operatorname{GL}_{2}(\mathbb{Q}_{p})$.

We study logarithmically averaged binary correlations of bounded multiplicative functions $g_{1}$ and $g_{2}$. A breakthrough on these correlations was made by Tao, who showed that the correlation average is negligibly small whenever $g_{1}$ or $g_{2}$ does not pretend to be any twisted Dirichlet character, in the sense of the pretentious distance for multiplicative functions. We consider a wider class of real-valued multiplicative functions $g_{j}$, namely those that are uniformly distributed in arithmetic progressions to fixed moduli. Under this assumption, we obtain a discorrelation estimate, showing that the correlation of $g_{1}$ and $g_{2}$ is asymptotic to the product of their mean values. We derive several applications, first showing that the numbers of large prime factors of $n$ and $n+1$ are independent of each other with respect to logarithmic density. Secondly, we prove a logarithmic version of the conjecture of Erdős and Pomerance on two consecutive smooth numbers. Thirdly, we show that if $Q$ is cube-free and belongs to the Burgess regime $Q\leqslant x^{4-\unicode[STIX]{x1D700}}$, the logarithmic average around $x$ of the real character $\unicode[STIX]{x1D712}\hspace{0.6em}({\rm mod}\hspace{0.2em}Q)$ over the values of a reducible quadratic polynomial is small.

We study several kinds of subschemes of mixed characteristic models of Shimura varieties which admit good (partial) toroidal and minimal compactifications, with familiar boundary stratifications and formal local structures, as if they were Shimura varieties in characteristic zero. We also generalize Koecher’s principle and the relative vanishing of subcanonical extensions for coherent sheaves, and Pink’s and Morel’s formulas for étale sheaves, to the context of such subschemes.

This paper develops the theory of multisymplectic variational integrators for nonsmooth continuum mechanics with constraints. Typical problems are the impact of an elastic body on a rigid plate or the collision of two elastic bodies. The integrators are obtained by combining, at the continuous and discrete levels, the variational multisymplectic formulation of nonsmooth continuum mechanics with the generalized Lagrange multiplier approach for optimization problems with nonsmooth constraints. These integrators verify a spacetime multisymplectic formula that generalizes the symplectic property of time integrators. In addition, they preserve the energy during the impact. In the presence of symmetry, a discrete version of the Noether theorem is verified. All these properties are inherited from the variational character of the integrator. Numerical illustrations are presented.