The invariant theory for conformal hypersurfaces is studied by treating these as the conformal infinity of a conformally compact manifold: For a given conformal hypersurface embedding, a distinguished ambient metric is found (within its conformal class) by solving a singular version of the Yamabe problem. Using existence results for asymptotic solutions to this problem, we develop the details of how to proliferate conformal hypersurface invariants. In addition we show how to compute the the solution's asymptotics. We also develop a calculus of conformal hypersurface invariant differential operators and in particular, describe how to compute extrinsically coupled analogues of conformal Laplacian powers. Our methods also enable the study of integrated conformal hypersurface invariants and their functional variations. As a main application we develop new higher dimensional analogues of the Willmore energy for embedded surfaces. This complements recent progress on the existence and construction of such functionals.

We develop a universal distributional calculus for regulated volumes of metrics that are singular along hypersurfaces. When the hypersurface is a conformal infinity we give simple integrated distribution expressions for the divergences and anomaly of the regulated volume functional valid for any choice of regulator. For closed hypersurfaces or conformally compact geometries, methods from a previously developed boundary calculus for conformally compact manifolds can be applied to give explicit holographic formulae for the divergences and anomaly expressed as hypersurface integrals over local quantities (the method also extends to non-closed hypersurfaces). The resulting anomaly does not depend on any particular choice of regulator, while the regulator dependence of the divergences is precisely captured by these formulae. Conformal hypersurface invariants can be studied by demanding that the singular metric obey, smoothly and formally to a suitable order, a Yamabe type problem with boundary data along the conformal infinity. We prove that the volume anomaly for these singular Yamabe solutions is a conformally invariant integral of a local Q-curvature that generalizes the Branson Q-curvature by including data of the embedding. In each dimension this canonically defines a higher dimensional generalization of the Willmore energy/rigid string action. Recently Graham proved that the first variation of the volume anomaly recovers the density obstructing smooth solutions to this singular Yamabe problem; we give a new proof of this result employing our boundary calculus. Physical applications of our results include studies of quantum corrections to entanglement entropies.

The Willmore energy, alias bending energy or rigid string action, and its variation-the Willmore invariant-are important surface conformal invariants with applications ranging from cell membranes to the entanglement entropy in quantum gravity. In work of Andersson, Chrusciel, and Friedrich, the same invariant arises as the obstruction to smooth boundary asymptotics to the Yamabe problem of finding a metric in a conformal class with constant scalar curvature. We use conformal geometry tools to describe and compute the asymptotics of the Yamabe problem on a conformally compact manifold and thus produce higher order hypersurface conformal invariants that generalise the Willmore invariant. We give a holographic formula for these as well as variational principles for the lowest lying examples.

We develop a general regulated volume expansion for the volume of a manifold with boundary whose measure is suitably singular along a separating hypersurface. The expansion is shown to have a regulator independent anomaly term and a renormalized volume term given by the primitive of an associated anomaly operator. These results apply to a wide range of structures. We detail applications in the setting of measures derived from a conformally singular metric. In particular, we show that the anomaly generates invariant (Q-curvature, transgression)-type pairs for hypersurfaces with boundary. For the special case of anomalies coming from the volume enclosed by a minimal hypersurface ending on the boundary of a Poincare--Einstein structure, this result recovers Branson's Q-curvature and corresponding transgression. When the singular metric solves a boundary version of the constant scalar curvature Yamabe problem, the anomaly gives generalized Willmore energy functionals for hypersurfaces with boundary. Our approach yields computational algorithms for all the above quantities, and we give explicit results for surfaces embedded in 3-manifolds.

We develop a new approach to the conformal geometry of embedded hypersurfaces by treating them as conformal infinities of conformally compact manifolds. This involves the Loewner--Nirenberg-type problem of finding on the interior a metric that is both conformally compact and of constant scalar curvature. Our first result is an asymptotic solution to all orders. This involves log terms. We show that the coefficient of the first of these is a new hypersurface conformal invariant which generalises to higher dimensions the important Willmore invariant of embedded surfaces. We call this the obstruction density. For even dimensional hypersurfaces it is a fundamental curvature invariant. We make the latter notion precise and show that the obstruction density and the trace-free second fundamental form are, in a suitable sense, the only such invariants. We also show that this obstruction to smoothness is a scalar density analog of the Fefferman-Graham obstruction tensor for Poincare-Einstein metrics; in part this is achieved by exploiting Bernstein-Gel'fand-Gel'fand machinery. The solution to the constant scalar curvature problem provides a smooth hypersurface defining density determined canonically by the embedding up to the order of the obstruction. We give two key applications: the construction of conformal hypersurface invariants and the construction of conformal differential operators. In particular we present an infinite family of conformal powers of the Laplacian determined canonically by the conformal embedding. In general these depend non-trivially on the embedding and, in contrast to Graham-Jennes-Mason-Sparling operators intrinsic to even dimensional hypersurfaces, exist to all orders. These extrinsic conformal Laplacian powers determine an explicit holographic formula for the obstruction density.

We study higher form Proca equations on Einstein manifolds with boundary data along conformal infinity. We solve these Laplace-type boundary problems formally, and to all orders, by constructing an operator which projects arbitrary forms to solutions. We also develop a product formula for solving these asymptotic problems in general. The central tools of our approach are (i) the conformal geometry of differential forms and the associated exterior tractor calculus, and (ii) a generalised notion of scale which encodes the connection between the underlying geometry and its boundary. The latter also controls the breaking of conformal invariance in a very strict way by coupling conformally invariant equations to the scale tractor associated with the generalised scale. From this, we obtain a map from existing solutions to new ones that exchanges Dirichlet and Neumann boundary conditions. Together, the scale tractor and exterior structure extend the solution generating algebra of [31] to a conformally invariant, Poincare--Einstein calculus on (tractor) differential forms. This calculus leads to explicit holographic formulae for all the higher order conformal operators on weighted differential forms, differential complexes, and Q-operators of [9]. This complements the results of Aubry and Guillarmou [3] where associated conformal harmonic spaces parametrise smooth solutions.

We develop the calculus for hypersurface variations based on variation of the hypersurface defining function. This is used to show that the functional gradient of a new Willmore-like, conformal hypersurface energy agrees exactly with the obstruction to smoothly solving the singular Yamabe problem for conformally compact four-manifolds. We give explicit hypersurface formulae for both the energy functional and the obstruction.