The affine Deligne–Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group ${\mathbf G}$ depends on two parameters: the $\sigma $-conjugacy class $[b]$ and the element w in the Iwahori–Weyl group $\tilde {W}$ of ${\mathbf G}$. In this paper, for any given $\sigma $-conjugacy class $[b]$, we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in \tilde {W}$.

We prove an upper bound on the log canonical threshold of a hypersurface that satisfies a certain power condition and use it to prove several generalizations of Igusa’s conjecture on exponential sums, with the log canonical threshold in the exponent of the estimates. We show that this covers optimally all situations of the conjectures for nonrational singularities by comparing the log canonical threshold with a local notion of the motivic oscillation index.

We study the higher genus equivariant Gromov–Witten theory of the Hilbert scheme of $n$ points of $\mathbb{C}^{2}$. Since the equivariant quantum cohomology, computed by Okounkov and Pandharipande [Invent. Math. 179 (2010), 523–557], is semisimple, the higher genus theory is determined by an $\mathsf{R}$-matrix via the Givental–Teleman classification of Cohomological Field Theories (CohFTs). We uniquely specify the required $\mathsf{R}$-matrix by explicit data in degree $0$. As a consequence, we lift the basic triangle of equivalences relating the equivariant quantum cohomology of the Hilbert scheme $\mathsf{Hilb}^{n}(\mathbb{C}^{2})$ and the Gromov–Witten/Donaldson–Thomas correspondence for 3-fold theories of local curves to a triangle of equivalences in all higher genera. The proof uses the analytic continuation of the fundamental solution of the QDE of the Hilbert scheme of points determined by Okounkov and Pandharipande [Transform. Groups 15 (2010), 965–982]. The GW/DT edge of the triangle in higher genus concerns new CohFTs defined by varying the 3-fold local curve in the moduli space of stable curves. The equivariant orbifold Gromov–Witten theory of the symmetric product $\mathsf{Sym}^{n}(\mathbb{C}^{2})$ is also shown to be equivalent to the theories of the triangle in all genera. The result establishes a complete case of the crepant resolution conjecture [Bryan and Graber, Algebraic Geometry–Seattle 2005, Part 1, Proceedings of Symposia in Pure Mathematics, 80 (American Mathematical Society, Providence, RI, 2009), 23–42; Coates et al., Geom. Topol. 13 (2009), 2675–2744; Coates & Ruan, Ann. Inst. Fourier (Grenoble) 63 (2013), 431–478].

We prove two theorems about the Malcev Lie algebra associated to the Torelli group of a surface of genus g: Stably, it is Koszul and the kernel of the Johnson homomorphism consists only of trivial $\mathrm {Sp}_{2g}(\mathbb {Z})$-representations lying in the centre.

This article is devoted to a general class of one-dimensional NLS problems with a cubic nonlinearity. The question of obtaining scattering, global in time solutions for such problems has attracted a lot of attention in recent years, and many global well-posedness results have been proved for a number of models under the assumption that the initial data are both small and localized. However, except for the completely integrable case, no such results have been known for small but not necessarily localized initial data.

In this article, we introduce a new, nonperturbative method to prove global well-posedness and scattering for $L^2$ initial data which are small and nonlocalized. Our main structural assumption is that our nonlinearity is defocusing. However, we do not assume that our problem has any exact conservation laws. Our method is based on a robust reinterpretation of the idea of Interaction Morawetz estimates, developed almost 20 years ago by the I-team.

In terms of scattering, we prove that our global solutions satisfy both global $L^6$ Strichartz estimates and bilinear $L^2$ bounds. This is a Galilean invariant result, which is new even for the classical defocusing cubic NLS.1 There, by scaling, our result also admits a large data counterpart.

We use microlocal sheaf theory to show that knots can only have Legendrian isotopic conormal tori if they themselves are isotopic or mirror images.

This paper studies the critical and near-critical regimes of the planar random-cluster model on $\mathbb Z^2$ with cluster-weight $q\in [1,4]$ using novel coupling techniques. More precisely, we derive the scaling relations between the critical exponents $\beta $, $\gamma $, $\delta $, $\eta $, $\nu $, $\zeta $ as well as $\alpha $ (when $\alpha \ge 0$). As a key input, we show the stability of crossing probabilities in the near-critical regime using new interpretations of the notion of the influence of an edge in terms of the rate of mixing. As a byproduct, we derive a generalisation of Kesten’s classical scaling relation for Bernoulli percolation involving the ‘mixing rate’ critical exponent $\iota $ replacing the four-arm event exponent $\xi _4$.

In 1988, Sibe Mardešić and Andrei Prasolov isolated an inverse system $\textbf {A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that $\lim ^n\textbf {A}$ (the nth derived limit of $\textbf {A}$) vanishes for every $n>0$. Since that time, the question of whether it is consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for every $n>0$ has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces.

We show that assuming the existence of a weakly compact cardinal, it is indeed consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for all $n>0$. We show this via a finite-support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration, a condition equivalent to $\lim ^n\textbf {A}=0$ will hold for each $n>0$. This condition is of interest in its own right; namely, it is the triviality of every coherent n-dimensional family of certain specified sorts of partial functions $\mathbb {N}^2\to \mathbb {Z}$ which are indexed in turn by n-tuples of functions $f:\mathbb {N}\to \mathbb {N}$. The triviality and coherence in question here generalise the classical and well-studied case of $n=1$.

In [14], Jacquet–Piatetskii-Shapiro–Shalika defined a family of compact open subgroups of p-adic general linear groups indexed by nonnegative integers and established the theory of local newforms for irreducible generic representations. In this paper, we extend their results to all irreducible representations. To do this, we define a new family of compact open subgroups indexed by certain tuples of nonnegative integers. For the proof, we introduce the Rankin–Selberg integrals for Speh representations.

We show the validity of two special cases of the four-dimensional minimal model program (MMP) in characteristic $p>5$: for contractions to ${\mathbb {Q}}$-factorial fourfolds and in families over curves (‘semistable MMP’). We also provide their mixed characteristic analogues. As a corollary, we show that liftability of positive characteristic threefolds is stable under the MMP and that liftability of three-dimensional Calabi–Yau varieties is a birational invariant. Our results are partially contingent upon the existence of log resolutions.

We define a new family of spectral invariants associated to certain Lagrangian links in compact and connected surfaces of any genus. We show that our invariants recover the Calabi invariant of Hamiltonians in their limit. As applications, we resolve several open questions from topological surface dynamics and continuous symplectic topology: We show that the group of Hamiltonian homeomorphisms of any compact surface with (possibly empty) boundary is not simple; we extend the Calabi homomorphism to the group of hameomorphisms constructed by Oh and Müller, and we construct an infinite-dimensional family of quasi-morphisms on the group of area and orientation preserving homeomorphisms of the two-sphere.

Our invariants are inspired by recent work of Polterovich and Shelukhin defining and applying spectral invariants, via orbifold Floer homology, for links composed of parallel circles in the two-sphere. A particular feature of our work is that it avoids the orbifold setting and relies instead on ‘classical’ Floer homology. This not only substantially simplifies the technical background but seems essential for some aspects (such as the application to constructing quasi-morphisms).

Given any toric subvariety Y of a smooth toric variety X of codimension k, we construct a length k resolution of ${\mathcal O}_Y$ by line bundles on X. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of ${\mathcal O}_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and plays a role in homological mirror symmetry.

As a corollary, we obtain a virtual analogue of Hilbert’s syzygy theorem for smooth projective toric varieties conjectured by Berkesch, Erman and Smith. Additionally, we prove that the Rouquier dimension of the bounded derived category of coherent sheaves on a toric variety is equal to the dimension of the variety, settling a conjecture of Orlov for these examples. We also prove Bondal’s claim that the pushforward of the structure sheaf under toric Frobenius generates the derived category of a smooth toric variety and formulate a refinement of Uehara’s conjecture that this remains true for arbitrary line bundles.

We prove that if the set of unordered pairs of real numbers is coloured by finitely many colours, there is a set of reals homeomorphic to the rationals whose pairs have at most two colours. Our proof uses large cardinals and verifies a conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals.

Let $P_{1},\ldots ,P_{k}:\mathbb{Z}\rightarrow \mathbb{Z}$ be polynomials of degree at most $d$ for some $d\geqslant 1$ , with the degree $d$ coefficients all distinct, and admissible in the sense that for every prime $p$ , there exists integers $n,m$ such that $n+P_{1}(m),\ldots ,n+P_{k}(m)$ are all not divisible by $p$ . We show that there exist infinitely many natural numbers $n,m$ such that $n+P_{1}(m),\ldots ,n+P_{k}(m)$ are simultaneously prime, generalizing a previous result of the authors, which was restricted to the special case $P_{1}(0)=\cdots =P_{k}(0)=0$ (though it allowed for the top degree coefficients to coincide). Furthermore, we obtain an asymptotic for the number of such prime pairs $n,m$ with $n\leqslant N$ and $m\leqslant M$ with $M$ slightly less than $N^{1/d}$ . This asymptotic is already new in general in the homogeneous case $P_{1}(0)=\cdots =P_{k}(0)=0$ . Our arguments rely on four ingredients. The first is a (slightly modified) generalized von Neumann theorem of the authors, reducing matters to controlling certain averaged local Gowers norms of (suitable normalizations of) the von Mangoldt function. The second is a more recent concatenation theorem of the authors, controlling these averaged local Gowers norms by global Gowers norms. The third ingredient is the work of Green and the authors on linear equations in primes, allowing one to compute these global Gowers norms for the normalized von Mangoldt functions. Finally, we use the Conlon–Fox–Zhao densification approach to the transference principle to combine the preceding three ingredients together. In the special case $P_{1}(0)=\cdots =P_{k}(0)=0$ , our methods also give infinitely many $n,m$ with $n+P_{1}(m),\ldots ,n+P_{k}(m)$ in a specified set primes of positive relative density $\unicode[STIX]{x1D6FF}$ , with $m$ bounded by $\log ^{L}n$ for some $L$ independent of the density $\unicode[STIX]{x1D6FF}$ . This improves slightly on a result from our previous paper, in which $L$ was allowed to depend on $\unicode[STIX]{x1D6FF}$ .

Let $\Omega _n$ be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group ${\mathfrak {S}}_n$ acts diagonally on $\Omega _n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq \Omega _n$ be the ideal generated by ${\mathfrak {S}}_n$-invariants with vanishing constant term and study the quotient $SR_n = \Omega _n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an ‘operator theorem’, which characterizes the harmonic space $SH_n \subseteq \Omega _n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

The mathematical physicists Bershadsky–Cecotti–Ooguri–Vafa (BCOV) proposed, in a seminal article from 1994, a conjecture extending genus zero mirror symmetry to higher genera. With a view towards a refined formulation of the Grothendieck–Riemann–Roch theorem, we offer a mathematical description of the BCOV conjecture at genus one. As an application of the arithmetic Riemann–Roch theorem of Gillet–Soulé and our previous results on the BCOV invariant, we establish this conjecture for Calabi–Yau hypersurfaces in projective spaces. Our contribution takes place on the B-side, and together with the work of Zinger on the A-side, it provides the first complete examples of the mirror symmetry program in higher dimensions. The case of quintic threefolds was studied by Fang–Lu–Yoshikawa. Our approach also lends itself to arithmetic considerations of the BCOV invariant, and we study a Chowla–Selberg type theorem expressing it in terms of special $\Gamma $-values for certain Calabi–Yau manifolds with complex multiplication.

Let X be a smooth and projective threefold with a simple normal crossings divisor D. We construct the Donaldson–Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on X relative to D. These moduli spaces are compactified by studying subschemes in expansions of the target geometry, and the moduli space carries a virtual fundamental class leading to numerical invariants with expected properties. We formulate punctual evaluation, rationality and wall-crossing conjectures, in parallel with the standard theory. Our formalism specializes to the Li–Wu theory of relative ideal sheaves when the divisor is smooth and is parallel to recent work on logarithmic Gromov–Witten theory with expansions.

In this paper, we study multiple zeta values (abbreviated as MZV’s) over function fields in positive characteristic. Our main result is to prove Thakur’s basis conjecture, which plays the analogue of Hoffman’s basis conjecture for real MZV’s. As a consequence, we derive Todd’s dimension conjecture, which is the analogue of Zagier’s dimension conjecture for classical real MZV’s.

Building upon the pioneering work of Merle, Raphaël, Rodnianski and Szeftel [67, 68, 69], we construct exact, smooth self-similar imploding solutions to the 3D isentropic compressible Euler equations for ideal gases for all adiabatic exponents $\gamma>1$. For the particular case $\gamma =\frac 75$ (corresponding to a diatomic gas – for example, oxygen, hydrogen, nitrogen), akin to the result [68], we show the existence of a sequence of smooth, self-similar imploding solutions. In addition, we provide simplified proofs of linear stability [67] and nonlinear stability [69], which allow us to construct asymptotically self-similar imploding solutions to the compressible Navier-Stokes equations with density independent viscosity for the case $\gamma =\frac 75$. Moreover, unlike [69], the solutions constructed have density bounded away from zero and converge to a constant at infinity, representing the first example of singularity formation in such a setting.

In this paper, we determine the number of general points through which a Brill–Noether curve of fixed degree and genus in any projective space can be passed.