We consider a two-dimensional analog of Jacobi theta functions and prove that, among all lattices $\Lambda \subset \mathbb {R}^2$ with fixed density, the minimal value is maximized by the hexagonal lattice. This result can be seen as the inhomogeneous counterpart to Montgomery’s 1988 result, which proved that the hexagonal lattice minimizes the maximum.

In this paper, we present a novel approach for computing the large genus asymptotics of intersection numbers. Our strategy is based on a resurgent analysis of the n-point functions of such intersection numbers, which are computed via determinantal formulae, and relies on the presence of a quantum curve. With this approach, we are able to extend the recent results of Aggarwal for Witten–Kontsevich intersection numbers with the computation of all subleading corrections, proving a conjecture of Guo–Yang, and to obtain new results on r-spin and Theta-class intersection numbers.

We prove nonperturbative Anderson localization and almost localization for a family of quasi-periodic operators on the strip. As an application, we establish Avila’s almost reducibility conjecture for Schrödinger operators with trigonometric potentials and all Diophantine frequencies. As part of our analysis, we derive a nonselfadjoint version of Haro and Puig’s formula connecting the Lyapunov exponents of the dual model to those of the original operator.

Suppose $J = (f_1, \dots , f_n)$ is an n-generated ideal in any ring R. We prove a general Briançon-Skoda-type containment relating the integral closure $\overline {J^{n+k-1}}$ with ordinary powers $J^k$. We prove that our result implies the full Briançon-Skoda containment $\overline {J^{n+k-1}} \subseteq J^k$ for pseudo-rational singularities (for instance regular rings), and even for the weaker condition of birational derived splinters. Our methods also yield the containment $\overline {J^{n+k}} \subseteq J^k$ for Du Bois singularities and even for a characteristic-free generalization. Our Briançon-Skoda-type theorem also implies well-known closure-based Briançon-Skoda results $\overline {J^{n+k-1}} \subseteq (J^k)^{\mathrm {cl}}$ where, for instance, $\mathrm {cl}$ is tight or plus closure in characteristic $p> 0$, or $\mathrm {ep}$ closure or extension and contraction from $\widehat {R^+}$ in mixed characteristic. Our proof relies on a study of the tensor product of the derived image of the structure sheaf of a partially normalized blowup of J with the Buchsbaum-Eisenbud complex (equivalently the Eagon-Northcott complex) associated to $(f_1,\dots ,f_n)^k$.

As an application of our results and methods above, we prove the uniform Artin-Rees theorem and the uniform Briançon-Skoda theorem for quasi-excellent, respectively quasi-excellent reduced, rings of finite dimension, answering conjectures of Huneke.

We develop the geometric theory of equivariant quasisymmetry via a new “quasisymmetric flag variety.” This is a toric complex in the flag variety whose fixed point set is the set of (algebraic) noncrossing partitions, and whose cohomology ring is the ring of quasisymmetric coinvariants.

We prove that Grothendieck-Witt spaces of Poincaré categories are, in many cases, group completions of certain moduli spaces of hermitian forms. This, in particular, identifies Karoubi’s classical hermitian and quadratic $\mathrm K$-groups with the genuine Grothendieck-Witt groups from our joint work with Calmès, Dotto, Harpaz, Land, Moi, Nardin and Nikolaus, and thereby completes our solution of several conjectures in hermitian K-theory.

The method of proof is abstracted from work of Galatius and Randal-Williams on cobordism categories of manifolds using the identification of the Grothendieck-Witt space of a Poincaré category as the homotopy type of the associated cobordism category. In memory of Bruce Williams.

We improve the Bend-and-Break result of Miyaoka and Mori by establishing the optimal degree bound. Our result also yields optimal bounds on lengths of extremal rays of log canonical pairs.

We study deformation theory of mod p Galois representations of p-adic fields with values in generalised reductive group schemes, such as L-groups and C-groups. We show that the corresponding deformation rings are complete intersections of expected dimension. We determine their irreducible components in many cases and show that they and their special fibres are normal and complete intersection.

We construct integral models of Shimura varieties of abelian type with parahoric level structure over odd primes. These models are étale locally isomorphic to corresponding local models.

In this work, we establish the convergence of 2D, stationary Navier-Stokes flows with viscosity $\varepsilon> 0$, $(u^\varepsilon , v^\varepsilon )$ to the classical Prandtl boundary layer, $(\bar {u}_p, \bar {v}_p)$, posed on the domain $(0, \infty ) \times (0, \infty )$:

$$ \begin{align*} \| u^\varepsilon - \bar{u}_p \|_{L^\infty_y} \lesssim \sqrt{\varepsilon} \langle x \rangle^{- \frac 1 4 + \delta}, \qquad \| v^\varepsilon - \sqrt{\varepsilon} \bar{v}_p \|_{L^\infty_y} \lesssim \sqrt{\varepsilon} \langle x \rangle^{- \frac 1 2}. \end{align*} $$

This validates Prandtl’s boundary layer theory globally in the x-variable for a large class of boundary layers, including the entire one parameter family of the classical Blasius profiles, with sharp decay rates. The result demonstrates asymptotic stability in two senses simultaneously: (1) asymptotic as $\varepsilon \rightarrow 0$ and (2) asymptotic as $x \rightarrow \infty $. In particular, our result provides the first rigorous confirmation for the Navier-Stokes equations that the boundary layer cannot “separate” in these stable regimes, which is very important for physical and engineering applications.

The little n-disks operad is $SO(n)$ and $O(n)$-equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally formal as $\infty $-operads.

We introduce and begin the study of quasi-BPS categories for K3 surfaces, which are a categorical version of the BPS cohomologies for K3 surfaces.

We construct semiorthogonal decompositions of derived categories of coherent sheaves on moduli stacks of semistable objects on K3 surfaces, where each summand is a categorical Hall product of quasi-BPS categories. We also prove the wall-crossing equivalence of quasi-BPS categories, which generalizes Halpern-Leistner’s wall-crossing equivalence of moduli spaces of stable objects for primitive Mukai vectors on K3 surfaces.

We also introduce and study a reduced quasi-BPS category. When the weight is coprime to the Mukai vector, the reduced quasi-BPS category is proper, smooth, and its Serre functor is a shift functor étale locally on the good moduli space. Moreover we prove that its topological K-theory recovers the BPS invariants of K3 surfaces, which are known to be equal to the Euler characteristics of Hilbert schemes of points on K3 surfaces. We regard reduced quasi-BPS categories as noncommutative hyperkähler varieties which are categorical versions of crepant resolutions of singular symplectic moduli spaces of semistable objects on K3 surfaces.

We prove that the Fargues-Scholze construction of elements in the Bernstein center via excursion operators always yields stable distributions. We also prove a strong quantitative compatibility of the Fargues-Scholze construction with transfer across extended pure inner forms. The proofs combine the character formulas from [HKW22], the commutation of Hecke operators with excursion operators, an averaging trick due to Fu [Fu24], and Arthur’s theory of elliptic tempered virtual characters. The arguments work uniformly for all connected reductive groups over p-adic local fields.

Perron and Quinn gave independent proofs in 1986 that every topological pseudo-isotopy of a simply-connected, compact topological 4-manifold is isotopic to the identity. Another result of Quinn is that every smooth pseudo-isotopy of a simply-connected, compact, smooth 4-manifold is smoothly stably isotopic to the identity. From this he deduced that $\pi _4(\operatorname {\mathrm {TOP}}(4)/\operatorname {\mathrm {O}}(4)) = 0$. A replacement criterion is used at a key juncture in Quinn’s proofs, but the justification given for it is incorrect. We provide different arguments that bypass the replacement criterion, thus completing Quinn’s proofs of both the topological and the stable smooth pseudo-isotopy theorems. We discuss the replacement criterion and state it as an open problem.

We prove new large sieve inequalities for the Fourier coefficients $\rho _{j\mathfrak {a}}(n)$ of exceptional Maass forms of a given level, weighted by sequences $(a_n)$ with sparse Fourier transforms – including two key types of sequences that arise in the dispersion method. These give the first savings in the exceptional spectrum for the critical case of sequences as long as the level, and lead to improved bounds for various multilinear forms of Kloosterman sums. As an application, we show that the greatest prime factor of $n^2+1$ is infinitely often greater than $n^{1.3}$, improving Merikoski’s previous threshold of $n^{1.279}$. We also announce applications to the exponents of distribution of primes and smooth numbers in arithmetic progressions.

Let $\mathbb {k}$ be a field, and let $\mathcal {C}$ be a Cauchy complete $\mathbb {k}$-linear braided category with finite-dimensional morphism spaces and . We call an indecomposable object X of $\mathcal C$ non-negligible if there exists $Y\in \mathcal {C}$ such that is a direct summand of $Y\otimes X$. We prove that every non-negligible object $X\in \mathcal {C}$ such that $\dim \operatorname {End}(X^{\otimes n})<n!$ for some n is automatically rigid. In particular, if $\mathcal {C}$ is semisimple of moderate growth and weakly rigid, then $\mathcal {C}$ is rigid. As applications, we simplify Huang’s proof of rigidity of representation categories of certain vertex operator algebras, and we get that for a finite semisimple monoidal category $\mathcal {C}$, the data of a $\mathcal {C}$-modular functor is equivalent to a modular fusion category structure on $\mathcal {C}$, answering a question of Bakalov and Kirillov. Furthermore, we show that if $\mathcal {C}$ is rigid and has moderate growth, then the quantum trace of any nilpotent endomorphism in $\mathcal {C}$ is zero. Hence $\mathcal {C}$ admits a semisimplification, which is a semisimple braided tensor category of moderate growth. Finally, we discuss rigidity in braided r-categories which are not semisimple, which arise in logarithmic conformal field theory. These results allow us to simplify a number of arguments of Kazhdan and Lusztig.

In [24, 26] Guichard and Wienhard introduced the notion of $\Theta $-positivity, a generalization of Lusztig’s total positivity to real Lie groups that are not necessarily split.

Based on this notion, we introduce in this paper $\Theta $-positive representations of surface groups. We prove that $\Theta $-positive representations of closed surface groups are $\Theta $-Anosov. This implies that $\Theta $-positive representations are discrete and faithful and that the set of $\Theta $-positive representations is open in the representation variety.

We further establish important properties on limits of $\Theta $-positive representations, proving that the set of $\Theta $-positive representations is closed in the set of representations containing a $\Theta $-proximal element. This is used in [3] to prove the closedness of the set of $\Theta $-positive representations.

In 1994, Shor introduced his famous quantum algorithm to factor integers and compute discrete logarithms in polynomial time. In 2023, Regev proposed a multidimensional version of Shor’s algorithm that requires far fewer quantum gates. His algorithm relies on a number-theoretic conjecture on the elements in $(\mathbb {Z}/N\mathbb {Z})^{\times }$ that can be written as short products of very small prime numbers. We prove a version of this conjecture using tools from analytic number theory such as zero-density estimates. As a result, we obtain an unconditional proof of correctness of this improved quantum algorithm and of subsequent variants.

For each integer $d\geq 2$, let $\mathrm {M}_d$ denote the moduli space of maps $f: \mathbb {P}^1\to \mathbb {P}^1$ of degree d. We study the geometric configurations of subsets of postcritically finite (or PCF) maps in $\mathrm {M}_d$. A complex-algebraic subvariety $Y \subset \mathrm {M}_d$ is said to be PCF-special if it contains a Zariski-dense set of PCF maps. Here we prove that there are only finitely many positive-dimensional irreducible PCF-special subvarieties in $\mathrm {M}_d$ with degree $\leq D$. In addition, there exist constants $N = N(D,d)$ and $B = B(D,d)$ so that for any complex algebraic subvariety $X \subset \mathrm {M}_d$ of degree $\leq D$, the Zariski closure $\overline {X \cap \mathrm {PCF}_d}$ has at most N irreducible components, each with degree $\leq B$. We also prove generalizations of these results for points with small critical height in $\mathrm {M}_d(\overline {\mathbb {Q}})$.

In this paper, we prove the codimension-one nonlinear asymptotic stability of the extremal Reissner–Nordström family of black holes in the spherically symmetric Einstein–Maxwell-neutral scalar field model, up to and including the event horizon. More precisely, we show that there exists a teleologically defined, codimension-one “submanifold” ${\mathfrak{M}}_{\mathrm{stab}}$ of the moduli space of spherically symmetric characteristic data for the Einstein–Maxwell-scalar field system lying close to the extremal Reissner–Nordström family, such that any data in ${\mathfrak{M}}_{\mathrm{stab}}$ evolve into a solution with the following properties as time goes to infinity: (i) the metric decays to a member of the extremal Reissner–Nordström family uniformly up to the event horizon, (ii) the scalar field decays to zero pointwise and in an appropriate energy norm, (iii) the first translation-invariant ingoing null derivative of the scalar field is approximately constant on the event horizon $\mathcal H^+$, (iv) for “generic” data, the second translation-invariant ingoing null derivative of the scalar field grows linearly along the event horizon. Due to the coupling of the scalar field to the geometry via the Einstein equations, suitable components of the Ricci tensor exhibit nondecay and growth phenomena along the event horizon. Points (i) and (ii) above reflect the “stability” of the extremal Reissner–Nordström family and points (iii) and (iv) verify the presence of the celebrated Aretakis instability [11] for the linear wave equation on extremal Reissner–Nordström black holes in the full nonlinear Einstein–Maxwell-scalar field model.