We show that a very general hypersurface of degree $d \geq 4$ and dimension $N \leq (d+1)2^{d-4}$ over a field of characteristic $\neq 2$ does not admit a decomposition of the diagonal; hence, it is neither stably nor retract rational, nor $\mathbb {A}^1$-connected. Similar results hold in characteristic $2$ under a slightly weaker degree bound. This improves earlier results in [44] and [33].

We study Kähler-Einstein metrics on singular projective varieties. We show that under an approximation property with constant scalar curvature metrics, the metric completion of the smooth part is a noncollapsed RCD space, and is homeomorphic to the original variety.

We prove two results concerning percolation on general graphs.

• • We establish the converse of the classical Peierls argument: if the critical parameter for (uniform) percolation satisfies $p_c<1$, then the number of minimal cutsets of size n separating a given vertex from infinity is bounded above exponentially in n. This resolves a conjecture of Babson and Benjamini from 1999.

• • We prove that $p_c<1$ for every uniformly transient graph. This solves a problem raised by Duminil-Copin, Goswami, Raoufi, Severo, and Yadin, and provides a new proof that $p_c<1$ for every transitive graph of superlinear growth.

We prove that every irreducible component of the coarse Kollár-Shepherd-Barron and Alexeev (KSBA) moduli space of stable log Calabi–Yau surfaces admits a finite cover by a projective toric variety. This verifies a conjecture of Hacking–Keel–Yu. The proof combines tools from log smooth deformation theory, the minimal model program, punctured log Gromov–Witten theory, and mirror symmetry.

We prove an extension theorem for local solutions of the 3d incompressible Euler equations. More precisely, we show that if a smooth vector field satisfies the Euler equations in a spacetime region $\Omega \times (0,T)$, one can choose an admissible weak solution on $\mathbb R^3\times (0,T)$ of class $C^\beta $ for any $\beta <1/3$ such that both fields coincide on $\Omega \times (0,T)$. Moreover, one controls the spatial support of the global solution. Our proof makes use of a new extension theorem for local subsolutions of the incompressible Euler equations and a $C^{1/3}$ convex integration scheme implemented in the context of weak solutions with compact support in space. We present two nontrivial applications of these ideas. First, we construct infinitely many admissible weak solutions of class $C^\beta _{\text {loc}}$ with the same vortex sheet initial data, which coincide with it at each time t outside a turbulent region of width $O(t)$. Second, given any smooth solution v of the Euler equation on $\mathbb {T}^3\times (0,T)$ and any open set $U\subset \mathbb {T}^3$, we construct admissible weak solutions which coincide with v outside U and are uniformly close to it everywhere at time $0$, yet blow up dramatically on a subset of $U\times (0,T)$ of full Hausdorff dimension. These solutions are of class $C^\beta $ outside their singular set.

We prove existence of flips for log canonical foliated pairs of rank one on a ${\mathbb Q}$-factorial projective klt threefold. This, in particular, provides a proof of the existence of a minimal model for a rank one foliation on a threefold for a wider range of singularities, after McQuillan.

We determine the average size of the $3$-torsion in class groups of G-extensions of a number field when G is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen–Lenstra–Martinet heuristics that the average size of the p-torsion in class groups of G-extensions of a number field is conjecturally finite for any G and most p (including $p\nmid |G|$). Previously this conjecture had only been proven in the cases of $G=S_2$ with $p=3$ and $G=S_3$ with $p=2$. We also show that the average $3$-torsion in a certain relative class group for these G-extensions is as conjectured, proving new cases of the Cohen–Lenstra–Martinet heuristics. Our new method also works for many other permutation groups G that are not $2$-groups.

We consider the Kähler-Ricci flow on compact Kähler manifolds with semiample canonical bundle and intermediate Kodaira dimension, and show that the flow collapses to a canonical metric on the base of the Iitaka fibration in the locally smooth topology and with bounded Ricci curvature away from the singular fibers. This follows from an asymptotic expansion for the evolving metrics, in the spirit of recent work of the first and third-named authors on collapsing Calabi-Yau metrics, and proves two conjectures of Song and Tian.

We state and prove an extension of the global Gan-Gross-Prasad conjecture and the Ichino-Ikeda conjecture to the case of some Eisenstein series on unitary groups $U_n\times U_{n+1}$. Our theorems are based on a comparison of the Jacquet-Rallis trace formulas. A new point is the expression of some interesting spectral contributions in these formulas in terms of integrals of relative characters. As an application of our main theorems, we prove the global Gan-Gross-Prasad and the Ichino-Ikeda conjecture for Bessel periods of unitary groups.

We determine the density of integral binary forms of given degree that have squarefree discriminant, proving for the first time that the lower density is positive. Furthermore, we determine the density of integral binary forms that cut out maximal orders in number fields. The latter proves, in particular, an ‘arithmetic Bertini theorem’ conjectured by Poonen for ${\mathbb {P}}^1_{\mathbb {Z}}$.

Our methods also allow us to prove that there are $\gg X^{1/2+1/(n-1)}$ number fields of degree n having associated Galois group $S_n$ and absolute discriminant less than X, improving the best previously known lower bound of $\gg X^{1/2+1/n}$.

Finally, our methods correct an error in and thus resurrect earlier (retracted) results of Nakagawa on lower bounds for the number of totally unramified $A_n$-extensions of quadratic number fields of bounded discriminant.

In this paper, we consider the defocusing nonlinear wave equation $-\partial _t^2u+\Delta u=|u|^{p-1}u$ in $\mathbb {R}\times \mathbb {R}^d$. Building on our companion work (Self-similar imploding solutions of the relativistic Euler equations, arXiv:2403.11471), we prove that for $d=4, p\geq 29$ and $d\geq 5, p\geq 17$, there exists a smooth complex-valued solution that blows up in finite time.

In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group G that moreover admits an integer n satisfying that for every uncountable $X\subseteq G$, every element of G may be written as a group word of length n in the elements of X. The former is called a Jónsson group, and the latter is called a Shelah group.

In this paper, we construct a Shelah group on the grounds of $\textsf {{ZFC}}$ alone – that is, without assuming the continuum hypothesis. More generally, we identify a combinatorial condition (coming from the theories of negative square-bracket partition relations and strongly unbounded subadditive maps) sufficient for the construction of a Shelah group of size $\kappa $, and we prove that the condition holds true for all successors of regular cardinals (such as $\kappa =\aleph _1,\aleph _2,\aleph _3,\ldots $). This also yields the first consistent example of a Shelah group of size a limit cardinal.

A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty $, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten p-classes of Schur idempotents in terms of a lax notion of boundary flatness. We prove in particular that all Schur idempotents are modeled on a single fundamental example: the triangular projection. As an application, we fully characterize the local $L_p$-boundedness of smooth Fourier idempotents on connected Lie groups. They are all modeled on one of three fundamental examples: the classical Hilbert transform and two new examples of Hilbert transforms that we call affine and projective. Our results in this paper are vast noncommutative generalizations of Fefferman’s celebrated ball multiplier theorem. They confirm the intuition that Schur multipliers share profound similarities with Euclidean Fourier multipliers – even in the lack of a Fourier transform connection – and complete, for Lie groups, a longstanding search of Fourier $L_p$-idempotents.

We develop a theory of quasimaps to a moduli space of sheaves M on a surface S. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic to moduli spaces of sheaves on threefolds $S\times C$, where C is a nodal curve. Using Zhou’s theory of entangled tails, we establish a wall-crossing formula which therefore relates the Gromov–Witten theory of M and the Donaldson–Thomas theory of $S\times C$ with relative insertions. We evaluate the wall-crossing formula for Hilbert schemes of points $S^{[n]}$, if S is a del Pezzo surface.

We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a k-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers d and t, every $(t \cdot h(d))$-connected graph contains t edge-disjoint d-rigid (in particular, d-connected) spanning subgraphs, where $h(d) = 10d(d+1)$. This also implies a positive answer to the conjecture of Kriesell that every sufficiently highly connected graph G contains a spanning tree T such that $G-E(T)$ is k-connected.

We prove the Ramanujan and Sato–Tate conjectures for Bianchi modular forms of weight at least $2$. More generally, we prove these conjectures for all regular algebraic cuspidal automorphic representations of $\operatorname {\mathrm {GL}}_2(\mathbf {A}_F)$ of parallel weight, where F is any CM field. We deduce these theorems from a new potential automorphy theorem for the symmetric powers of $2$-dimensional compatible systems of Galois representations of parallel weight.

Inspired by work of Szymik and Wahl on the homology of Higman–Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the construction of small permutative categories of compact open bisections. This allows us to analyse homological invariants of topological full groups in terms of homology for ample groupoids.

Applications include complete rational computations, general vanishing and acyclicity results for group homology of topological full groups as well as a proof of Matui’s AH-conjecture for all minimal, ample groupoids with comparison.

This article describes local normal forms of functions in noncommuting variables, up to equivalence generated by isomorphism of noncommutative Jacobi algebras, extending singularity theory in the style of Arnold’s commutative local normal forms into the noncommutative realm. This generalisation unveils many new phenomena, including an ADE classification when the Jacobi ring has dimension zero and, by taking suitable limits, a further ADE classification in dimension one. These are natural generalisations of the simple singularities and those with infinite multiplicity in Arnold’s classification. We obtain normal forms away from some exceptional Type E cases. Remarkably, these normal forms have no continuous parameters, and the key new feature is that the noncommutative world affords larger families.

This theory has a range of immediate consequences to the birational geometry of 3-folds. The normal forms of dimension zero are the analytic classification of smooth 3-fold flops, and one outcome of NC singularity theory is the first list of all Type D flopping germs, generalising Reid’s famous pagoda classification of Type A, with variants covering Type E. The normal forms of dimension one have further applications to divisorial contractions to a curve. In addition, the general techniques also give strong evidence towards new contractibility criteria for rational curves.

In 2002, Fukaya [19] proposed a remarkable explanation of mirror symmetry detailing the Strominger–Yau–Zaslow (SYZ) conjecture [47] by introducing two correspondences: one between the theory of pseudo-holomorphic curves on a Calabi–Yau manifold $\check {X}$ and the multivalued Morse theory on the base $\check {B}$ of an SYZ fibration $\check {p}\colon \check {X}\to \check {B}$, and the other between deformation theory of the mirror X and the same multivalued Morse theory on $\check {B}$. In this paper, we prove a reformulation of the main conjecture in Fukaya’s second correspondence, where multivalued Morse theory on the base $\check {B}$ is replaced by tropical geometry on the Legendre dual B. In the proof, we apply techniques of asymptotic analysis developed in [7, 9] to tropicalize the pre-dgBV algebra which governs smoothing of a maximally degenerate Calabi–Yau log variety introduced in [8]. Then a comparison between this tropicalized algebra with the dgBV algebra associated to the deformation theory of the semiflat part $X_{\mathrm {sf}} \subset X$ allows us to extract consistent scattering diagrams from appropriate Maurer–Cartan solutions.

We address a core partition regularity problem in Ramsey theory by proving that every finite coloring of the positive integers contains monochromatic Pythagorean pairs (i.e., $x,y\in {\mathbb N}$ such that $x^2\pm y^2=z^2$ for some $z\in {\mathbb N}$). We also show that partitions generated by level sets of multiplicative functions taking finitely many values always contain Pythagorean triples. Our proofs combine known Gowers uniformity properties of aperiodic multiplicative functions with a novel and rather flexible approach based on concentration estimates of multiplicative functions.