We introduce a new notion of "regularity structure" that provides an algebraic framework allowing to describe functions and / or distributions via a kind of "jet" or local Taylor expansion around each point. The main novel idea is to replace the classical polynomial model which is suitable for describing smooth functions by arbitrary models that are purpose-built for the problem at hand. In particular, this allows to describe the local behaviour not only of functions but also of large classes of distributions.We then build a calculus allowing to perform the various operations (multiplication, composition with smooth functions, integration against singular kernels) necessary to formulate fixed point equations for a very large class of semilinear PDEs driven by some very singular (typically random) input. This allows, for the first time, to give a mathematically rigorous meaning to many interesting stochastic PDEs arising in physics. The theory comes with convergence results that allow to interpret the solutions obtained in this way as limits of classical solutions to regularised problems, possibly modified by the addition of diverging counterterms. These counterterms arise naturally through the action of a "renormalisation group" which is defined canonically in terms of the regularity structure associated to the given class of PDEs.Our theory also allows to easily recover many existing results on singular stochastic PDEs (KPZ equation, stochastic quantisation equations, Burgers-type equations) and to understand them as particular instances of a unified framework. One surprising insight is that in all of these instances local solutions are actually "smooth" in the sense that they can be approximated locally to arbitrarily high degree as linear combinations of a fixed family of random functions / distributions that play the role of "polynomials" in the theory.As an example of a novel application, we solve the long-standing problem of building a natural Markov process that is symmetric with respect to the (finite volume) measure describing the Φ 4 3 Euclidean quantum field theory. It is natural to conjecture that the Markov process built in this way describes the Glauber dynamic of 3-dimensional ferromagnets near their critical temperature.

The stochastic 2D Navier-Stokes equations on the torus driven by degenerate noise are studied. We characterize the smallest closed invariant subspace for this model and show that the dynamics restricted to that subspace is ergodic. In particular, our results yield a purely geometric characterization of a class of noises for which the equation is ergodic in L 2 0 (T 2 ). Unlike previous works, this class is independent of the viscosity and the strength of the noise. The two main tools of our analysis are the asymptotic strong Feller property, introduced in this work, and an approximate integration by parts formula. The first, when combined with a weak type of irreducibility, is shown to ensure that the dynamics is ergodic. The second is used to show that the first holds under a Hörmander-type condition. This requires some interesting nonadapted stochastic analysis.

We introduce a new concept of solution to the KPZ equation which is shown to extend the classical Cole-Hopf solution. This notion provides a factorisation of the Cole-Hopf solution map into a “universal” measurable map from the probability space into an explicitly described auxiliary metric space, composed with a new solution map that has very good continuity properties. The advantage of such a formulation is that it essentially provides a pathwise notion of a solution, together with a very detailed approximation theory. In particular, our construction completely bypasses the Cole-Hopf transform, thus laying the groundwork for proving that the KPZ equation describes the fluctuations of systems in the KPZ universality class. As a corollary of our construction, we obtain very detailed new regularity results about the solution, as well as its derivative with respect to the initial condition. Other byproducts of the proof include an explicit approximation to the stationary solution of the KPZ equation, a well-posedness result for the Fokker-Planck equation associated to a particle diffusing in a rough space-time dependent potential, and a new periodic homogenisation result for the heat equation with a space-time periodic potential. One ingredient in our construction is an example of a non-Gaussian rough path such that the area process of its natural approximations needs to be renormalised by a diverging term for the approximations to converge