
We develop in this work a general version of paracontrolled calculus that
allows to treat analytically within this paradigm some singular partial
differential equations with the same efficiency as regularity structures. This
work deals with the analytic side of the story and offers a toolkit for the
study of such equations, under the form of a number of continuity results for
some operators. We illustrate the efficiency of this elementary approach on the
examples of the 3dimensional generalised parabolic Anderson model equation and
the generalised KPZ equation driven by a (1+1)dimensional space/time white
noise.

We sharpen in this work the tools of paracontrolled calculus in order to
provide a complete analysis of the parabolic Anderson model equation and
Burgers system with multiplicative noise, in a $3$dimensional Riemannian
setting, in either bounded or unbounded domains. With that aim in mind, we
introduce a pair of intertwined spacetime paraproducts on parabolic H\"older
spaces, with good continuity, that happens to be pivotal and provides one of
the building blocks of higher order paracontrolled calculus.

We provide in this work a semigroup approach to the study of singular PDEs,
in the line of the paracontrolled approach developed recently by Gubinelli,
Imkeller and Perkowski. Starting from a heat semigroup, we develop a functional
calculus and introduce a paraproduct based on the semigroup, for which
commutator estimates and Schauder estimates are proved, together with their
paracontrolled extensions. This machinery allows us to investigate singular
PDEs in potentially unbounded Riemannian manifolds under mild geometric
conditions. As an illustration, we study the generalized parabolic Anderson
model equation and prove, under mild geometric conditions, its wellposed
character in Holders spaces, in small time on a potentially unbounded
2dimensional Riemannian manifold, for an equation driven by a weighted noise,
and for all times for the linear parabolic Anderson model equation in
2dimensional unbounded manifolds. This machinery can be extended to an even
more singular setting and deal with Sobolev scales of spaces rather than Holder
spaces.