We establish the full global non-linear stability of the Kerr–de Sitter family of black holes, as solutions of the initial value problem for the Einstein vacuum equations with positive cosmological constant, for small angular momenta, and without any symmetry assumptions on the initial data. We achieve this by extending the linear and non-linear analysis on black hole spacetimes described in a sequence of earlier papers by the authors: we develop a general framework which enables us to deal systematically with the diffeomorphism invariance of Einstein’s equations. In particular, the iteration scheme used to solve Einstein’s equations automatically finds the parameters of the Kerr–de Sitter black hole that the solution is asymptotic to, the exponentially decaying tail of the solution, and the gauge in which we are able to find the solution; the gauge here is a wave map/DeTurck type gauge, modified by source terms which are treated as unknowns, lying in a suitable finite-dimensional space.

We show that each limiting semiclassical measure obtained from a sequence of eigenfunctions of the Laplacian on a compact hyperbolic surface is supported on the entire cosphere bundle. The key new ingredient for the proof is the fractal uncertainty principle, first formulated by Dyatlov-Zahl and proved for porous sets in Bourgain-Dyatlov.

We study groups of automorphisms and birational transformations of quasi-projective varieties. Two methods are combined; the first one is based on p-adic analysis, the second makes use of isoperimetric inequalities and Lang–Weil estimates. For instance, we show that, if SLn(Z) acts faithfully on a complex quasi-projective variety X by birational transformations, then dim(X)⩾n−1 and X is rational if dim(X)=n−1.

Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence.

We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers.

Let M⊂CN be a generic real-analytic submanifold of finite type, M′⊂CN′ be a real-analytic set, and p∈M, where we assume that N,N′⩾2. Let H:(CN,p)→CN′ be a formal holomorphic mapping sending M into M′, and let EM′ denote the set of points in M′ through which there passes a complex-analytic subvariety of positive dimension contained in M′. We show that, if H does not send M into EM′, then H must be convergent. As a consequence, we derive the convergence of all formal holomorphic mappings when M′ does not contain any complex-analytic subvariety of positive dimension, answering by this a long-standing open question in the field. More generally, we establish necessary conditions for the existence of divergent formal maps, even when the target real-analytic set is foliated by complex-analytic subvarieties, allowing us to settle additional convergence problems such as e.g. for transversal formal maps between Levi-non-degenerate hypersurfaces and for formal maps with range in the tube over the light cone.