We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties: • We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu’s Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes. • We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs—in contrast, in the case of the Gromov monster expanders are not even coarsely embedded. We present further applications.

An irreducible integrable connection (E,∇) on a smooth projective complex variety X is called rigid if it gives rise to an isolated point of the corresponding moduli space M_{dR}(X). According to Simpson’s motivicity conjecture, irreducible rigid flat connections are of geometric origin, that is, arise as subquotients of a Gauss-Manin connection of a family of smooth projective varieties defined on an open dense subvariety of X. In this article we study mod-p reductions of irreducible rigid connections and establish results which confirm Simpson’s prediction. In particular, for large p, we prove that p-curvatures of mod-p reductions of irreducible rigid flat connections are nilpotent, and building on this result, we construct an F-isocrystalline realization for irreducible rigid flat connections. More precisely, we prove that there exist smooth models X_R and (E_R,∇_R) of X and (E,∇), over a finite-type ring R, such that for every Witt ring W(k) of a finite field k and every homomorphism R→W(k), the p-adic completion of the base change (\hat E_{W(k)}, \hat ∇_{W(k)}) on \hat X_{W(k)} represents an F-isocrystal. Subsequently, we show that irreducible rigid flat connections with vanishing p-curvatures are unitary. This allows us to prove new cases of the Grothendieck–Katz p-curvature conjecture. We also prove the existence of a complete companion correspondence for F-isocrystals stemming from irreducible cohomologically rigid connections.

It follows from work of Perelman that any finite-time singularity of the Ricci flow on a compact 3-manifold is modeled on an ancient ϰ-solution. We prove that every non-compact ancient ϰ-solution in dimension 3 is isometric to a family of shrinking cylinders (or a quotient thereof), or to the Bryant soliton. This confirms a conjecture of Perelman.

In this paper, we show that there is a Cantor set of initial conditions in the planar 4‑body problem such that all four bodies escape to infinity in a finite time, avoiding collisions. This proves the Painlevé conjecture for the 4‑body case, and thus settles the last open case of the conjecture.

In this paper we prove the following long-standing conjecture: stable solutions to semi-linear elliptic equations are bounded (and thus smooth) in dimension n⩽9. This result, that was only known to be true for n⩽4, is optimal: log(1/|x|^2) is a W^{1,2} singular stable solution for n⩾10. The proof of this conjecture is a consequence of a new universal estimate: we prove that, in dimension n⩽9, stable solutions are bounded in terms only of their L^1 norm, independently of the non-linearity. In addition, in every dimension we establish a higher integrability result for the gradient and optimal integrability results for the solution in Morrey spaces. As one can see by a series of classical examples, all our results are sharp. Furthermore, as a corollary, we obtain that extremal solutions of Gelfand problems are W^{1,2} in every dimension and they are smooth in dimension n⩽9. This answers to two famous open problems posed by Brezis and Brezis–Vázquez.