Showing 1–50 of 101 results for author: Gover, R

Boundary Curvature Scalars on Conformally Compact Manifolds

Authors: A. Rod Gover, Jarosław Kopiński, Andrew Waldron

Abstract: We introduce a sequence of conformally invariant scalar curvature quantities, defined along the conformal infinity of a conformally compact (CC) manifold, that measure the failure of a CC metric to have constant negative scalar curvature in the interior, i.e. its failure to solve the singular Yamabe problem. Indeed, these "CC boundary curvature scalars" compute canonical expansion coefficients for… ▽ More We introduce a sequence of conformally invariant scalar curvature quantities, defined along the conformal infinity of a conformally compact (CC) manifold, that measure the failure of a CC metric to have constant negative scalar curvature in the interior, i.e. its failure to solve the singular Yamabe problem. Indeed, these "CC boundary curvature scalars" compute canonical expansion coefficients for singular Yamabe metrics. Residues of their poles yield obstructions to smooth solutions to the singular Yamabe problem and thus, in particular, give an alternate derivation of generalized Willmore invariants. Moreover, in a given dimension, the critical CC boundary scalar characterizes the image of a Dirichlet-to-Neumann map for the singular Yamabe problem. We give explicit formulae for the first five CC boundary curvature scalars required for a global study of four dimensional singular Yamabe metrics, as well as asymptotically de Sitter spacetimes. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: Submission to Special issue on Fields, Gravity, Strings and Beyond: In Memory of Stanley Deser

Higher Willmore Energies from tractor coupled GJMS operators

Authors: Ben F. Allen, Rod Gover

Abstract: We define and construct a conformally invariant energy for closed smoothly immersed submanifolds of even dimension, but of arbitrary codimension, in conformally flat Riemannian manifolds. This is a higher dimensional analogue of the Willmore energy for immersed surfaces and is given directly via a coupling of the tractor connection to the (submanifold critical) GJMS operators. In the case where th… ▽ More We define and construct a conformally invariant energy for closed smoothly immersed submanifolds of even dimension, but of arbitrary codimension, in conformally flat Riemannian manifolds. This is a higher dimensional analogue of the Willmore energy for immersed surfaces and is given directly via a coupling of the tractor connection to the (submanifold critical) GJMS operators. In the case where the submanifold is of dimension 4 we compare this to other energies, including one found using a second simple construction that uses $Q$-operators. △ Less

Submitted 6 January, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: 29 pages

Conformally Kähler structures

Authors: Maciej Dunajski, A. Rod Gover

Abstract: We establish a one-to-one correspondence between Kähler metrics in a given conformal class and parallel sections of a certain vector bundle with conformally invariant connection, where the parallel sections satisfy a set of non--linear algebraic constraints that we describe. The vector bundle captures 2-form prolongations and is isomorphic to $Λ^3(\cT)$, where ${\cT}$ is the tractor bundle of conf… ▽ More We establish a one-to-one correspondence between Kähler metrics in a given conformal class and parallel sections of a certain vector bundle with conformally invariant connection, where the parallel sections satisfy a set of non--linear algebraic constraints that we describe. The vector bundle captures 2-form prolongations and is isomorphic to $Λ^3(\cT)$, where ${\cT}$ is the tractor bundle of conformal geometry, but the resulting connection differs from the normal tractor connection by curvature terms. Our analysis leads to a set of obstructions for a Riemannian metric to be conformal to a Kähler metric. In particular we find an explicit algebraic condition for a Weyl tensor which must hold if there exists a conformal Killing-Yano tensor, which is a necessary condition for a metric to be conformal to Kähler. This gives an invariant characterisation of algebraically special Riemannian metrics of type $D$ in dimensions higher than four. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Renormalized Yang-Mills Energy on Poincaré-Einstein Manifolds

Authors: A. R. Gover, E. Latini, A. Waldron, Y. Zhang

Abstract: We prove that the renormalized Yang-Mills energy on six dimensional Poincaré-Einstein spaces can be expressed as the bulk integral of a local, pointwise conformally invariant integrand. We show that the latter agrees with the corresponding anomaly boundary integrand in the seven dimensional renormalized Yang-Mills energy. Our methods rely on a generalization of the Chang-Qing-Yang method for compu… ▽ More We prove that the renormalized Yang-Mills energy on six dimensional Poincaré-Einstein spaces can be expressed as the bulk integral of a local, pointwise conformally invariant integrand. We show that the latter agrees with the corresponding anomaly boundary integrand in the seven dimensional renormalized Yang-Mills energy. Our methods rely on a generalization of the Chang-Qing-Yang method for computing renormalized volumes of Poincaré-Einstein manifolds, as well as known scattering theory results for Schrödinger operators with short range potentials. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 26 pages LaTeX

MSC Class: 53C07; 30F45; 53C18;

Conformal Killing tensors and their Killing scales

Authors: A. Rod Gover, Jonathan Kress, Thomas Leistner

Abstract: We address the problem of how to characterise when a rank-two conformal Killing tensor is the trace-free part of a Killing tensor for a metric in the conformal class. We call such a metric a Killing scale. Our approach is via differential prolongation using conformally invariant tractor calculus. First, we show that there is a useful partial prolongation of the conformal Killing equation to a simp… ▽ More We address the problem of how to characterise when a rank-two conformal Killing tensor is the trace-free part of a Killing tensor for a metric in the conformal class. We call such a metric a Killing scale. Our approach is via differential prolongation using conformally invariant tractor calculus. First, we show that there is a useful partial prolongation of the conformal Killing equation to a simplified equation for sections of some tractor bundle. We then use this partial prolongation to provide such an invariant characterisation in terms of the scale tractor and this partial prolongation. This captures invariantly the relevant Bertrand--Darboux equation. We show that Einstein Killing scales have a special place in the theory. On conformally flat manifolds, we give the full prolongation of the conformally Killing equation to a conformally invariant connection on a tractor bundle. Using this, we provide a characterisation of (non-scalar flat) Einstein Killing scales by an algebraic equation for the scale tractors corresponding to such metrics. This also provides an algebraic description of the linear subspace of conformal Killing tensors that are compatible with a given Einstein Killing scale. For completeness and to introduce the main ideas, we also study analogous questions for conformal Killing vectors. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 35 pages

MSC Class: 53A30; 53C18; 53A20; 53B15; 70H33; 37K10

CMC Foliations and their conformal aspects

Authors: A. Rod Gover, Valentina-Mira Wheeler

Abstract: On a manifold we term a hypersurface foliation a slicing if it is the level set foliation of a slice function -- meaning some real valued function $f$ satisfying that $df$ is nowhere zero. On Riemannian manifolds we give a non-linear PDE on functions whose solutions are generic constant-mean-curvature (CMC) slice functions. Conversely, to any generic transversely-oriented constant-mean-curvature f… ▽ More On a manifold we term a hypersurface foliation a slicing if it is the level set foliation of a slice function -- meaning some real valued function $f$ satisfying that $df$ is nowhere zero. On Riemannian manifolds we give a non-linear PDE on functions whose solutions are generic constant-mean-curvature (CMC) slice functions. Conversely, to any generic transversely-oriented constant-mean-curvature foliation the equation uniquely associates such a function. In one sense the equation is a scalar analogue of the Einstein equations. Given any slicing we show that, locally, one can conformally prescribe any smooth mean curvature function. We use this to show that, locally on a Riemannian manifold, a slicing is CMC for a conformally related metric. These results admit global versions assuming certain restrictions. Finally, given a conformally compact manifold we study the problem of normalising the defining function so that it is a CMC slice function for a compactifying metric. We show that two cases of this problem are formally solvable to all orders. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 27 pages

Conformally compact and higher conformal Yang-Mills equations

Authors: A. Rod Gover, Emanuele Latini, Andrew Waldron, Yongbing Zhang

Abstract: On conformally compact manifolds we study Yang-Mills equations, their boundary conditions, formal asymptotics, and Dirichlet-to-Neumann maps. We find that smooth solutions with "magnetic" Dirichlet boundary data are obstructed by a conformally invariant, higher order boundary current. We study the asymptotics of the interior Yang-Mills energy functional and show that the obstructing current is the… ▽ More On conformally compact manifolds we study Yang-Mills equations, their boundary conditions, formal asymptotics, and Dirichlet-to-Neumann maps. We find that smooth solutions with "magnetic" Dirichlet boundary data are obstructed by a conformally invariant, higher order boundary current. We study the asymptotics of the interior Yang-Mills energy functional and show that the obstructing current is the variation of the conformally invariant coefficient of the first log term in this expansion which is a higher derivative conformally invariant analog of the Yang-Mills energy. The invariant energy is the anomaly for the renormalized interior Yang-Mills functional and its variation gives higher conformal Yang-Mills equations. Global solutions to the magnetic boundary problem determine higher order "electric" Neumann data. This yields the Dirichlet-to-Neumann map. We also construct conformally invariant, higher transverse derivative boundary operators. Acting on interior connections, they give obstructions to solving the Yang-Mills boundary problem, determine the asymptotics of formal solutions, and yield conformally invariant tensors capturing the (non-local) electric Neumann data. We also characterize a renormalized Yang-Mills action functional that encodes global features analogously to the renormalized volume for Poincaré-Einstein structures. △ Less

Submitted 15 March, 2024; v1 submitted 19 November, 2023; originally announced November 2023.

Comments: 71 pages LaTeX, improved presentation

Conformal submanifolds, distinguished submanifolds, and integrability

Authors: Sean. N Curry, A. Rod Gover, Daniel Snell

Abstract: For conformal geometries of Riemannian signature, we provide a comprehensive and explicit treatment of the core local theory for embedded submanifolds of arbitrary dimension. This is based in the conformal tractor calculus and includes a conformally invariant Gauss formula leading to conformal versions of the Gauss, Codazzi, and Ricci equations. It provides the tools for proliferating submanifold… ▽ More For conformal geometries of Riemannian signature, we provide a comprehensive and explicit treatment of the core local theory for embedded submanifolds of arbitrary dimension. This is based in the conformal tractor calculus and includes a conformally invariant Gauss formula leading to conformal versions of the Gauss, Codazzi, and Ricci equations. It provides the tools for proliferating submanifold conformal invariants, as well for extending to conformally singular Riemannian manifolds the notions of mean curvature and of minimal and CMC submanifolds. A notion of distinguished submanifold is defined by asking the tractor second fundamental form to vanish. We show that for the case of curves this exactly characterises conformal geodesics (a.k.a. conformal circles) while for hypersurfaces it is the totally umbilic condition. So, for other codimensions, this unifying notion interpolates between these extremes, and we prove that in all dimensions this coincides with the submanifold being weakly conformally circular, meaning that ambient conformal circles remain in the submanifold. Stronger notions of conformal circularity are then characterised similarly and an extensive collection of examples is provided. Next we provide a very general theory and construction of quantities that are necessarily conserved along distinguished submanifolds. This first integral theory vastly generalises the results available for conformal circles in [56]. We prove that any normal solution to an equation from the class of first BGG equations yields such conserved quantities, and show that it is easy to provide explicit formulae for these. Finally we prove that the property of being distinguished is also captured by a type of moving incidence relation and use this to show that, for suitable solutions of conformal Killing-Yano equations, the zero locus of the solution is necessarily a distinguished submanifold. △ Less

Submitted 15 April, 2025; v1 submitted 17 September, 2023; originally announced September 2023.

Comments: A substantial revision. Theorem 1.6 and related statements have been strengthened. A large number of examples of distinguished submanifolds (and related results) have been added. Several lengthy calculations have been shortened to improve the presentation

MSC Class: Primary: 53C18; 53B25; 53A55; Secondary: 37K10; 53B15; 53B21

The Anti-Self-Dual Deformation Complex and a conjecture of Singer

Authors: A. Rod Gover, Matthew J. Gursky

Abstract: Let $(M^4,g)$ be a smooth, closed, oriented anti-self-dual (ASD) four-manifold. $(M^4,g)$ is said to be unobstructed if the cokernel of the linearization of the self-dual Weyl tensor is trivial. This condition can also be characterized as the vanishing of the second cohomology group of the ASD deformation complex, and is central to understanding the local structure of the moduli space of ASD confo… ▽ More Let $(M^4,g)$ be a smooth, closed, oriented anti-self-dual (ASD) four-manifold. $(M^4,g)$ is said to be unobstructed if the cokernel of the linearization of the self-dual Weyl tensor is trivial. This condition can also be characterized as the vanishing of the second cohomology group of the ASD deformation complex, and is central to understanding the local structure of the moduli space of ASD conformal structures. It also arises in construction of ASD manifolds by twistor and gluing methods. In this article we give conformally invariant conditions which imply an ASD manifold of positive Yamabe type is unobstructed. △ Less

Submitted 23 July, 2023; originally announced July 2023.

The Dirichlet-to-Neumann Map for Poincaré-Einstein Fillings

Authors: Samuel Blitz, A. Rod Gover, Jarosław Kopiński, Andrew Waldron

Abstract: We study the non-linear Dirichlet-to-Neumann map for the Poincaré-Einstein filling problem. For even dimensional manifolds we describe the range of this non-local map in terms of a natural rank two tensor along the boundary determined by the Poincaré-Einstein metric. This tensor is proportional to the variation of renormalized volume along a path of Poincaré-Einstein metrics. We show that it has a… ▽ More We study the non-linear Dirichlet-to-Neumann map for the Poincaré-Einstein filling problem. For even dimensional manifolds we describe the range of this non-local map in terms of a natural rank two tensor along the boundary determined by the Poincaré-Einstein metric. This tensor is proportional to the variation of renormalized volume along a path of Poincaré-Einstein metrics. We show that it has an explicit formula and is the unique, natural conformal hypersurface invariant of transverse order equaling the boundary dimension. We also construct such conformally invariant Dirichlet-to-Neumann tensors for Poincaré-Einstein fillings for odd dimensional manifolds with conformally flat boundary. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: 18 pages LaTeX

MSC Class: 53C18; 53A55; 53C21; 58J32

Higher fundamental forms of the conformal boundary of asymptotically de Sitter spacetimes

Authors: A. Rod Gover, Jarosław Kopiński

Abstract: We provide a partial characterization of the conformal infinity of asymptotically de Sitter spacetimes by deriving constraints that relate the asymptotics of the stress-energy tensor with conformal geometric data. The latter is captured using recently defined objects, called higher conformal fundamental forms. For the boundary hypersurface, these generalize to higher order the trace-free part of t… ▽ More We provide a partial characterization of the conformal infinity of asymptotically de Sitter spacetimes by deriving constraints that relate the asymptotics of the stress-energy tensor with conformal geometric data. The latter is captured using recently defined objects, called higher conformal fundamental forms. For the boundary hypersurface, these generalize to higher order the trace-free part of the second form. △ Less

Submitted 19 August, 2022; originally announced August 2022.

Comments: 24 pages

Journal ref: Class. Quantum Grav. 40 015001 2023

Projective geometry of 3-Sasaki structures

Authors: A. Rod Gover, Katharina Neusser, Travis Willse

Abstract: We show that $3$-Sasaki structures admit a natural description in terms of projective differential geometry. This description provides a concrete link between $3$-Sasaki structures and several other geometries and constructions via a single unifying picture. First we establish that a $3$-Sasaki structure may be understood as a projective structure equipped with a certain holonomy reduction to the… ▽ More We show that $3$-Sasaki structures admit a natural description in terms of projective differential geometry. This description provides a concrete link between $3$-Sasaki structures and several other geometries and constructions via a single unifying picture. First we establish that a $3$-Sasaki structure may be understood as a projective structure equipped with a certain holonomy reduction to the (possibly indefinite) unitary quaternionic group $\textrm{Sp}(p,q)$, namely a parallel hyperkähler structure on the projective tractor bundle satisfying a particular genericity condition. For the converse, where one begins with a general parallel hyperkähler structure on the projective tractor bundle, the genericity condition is not automatic. Indeed we prove that generically such a reduction decomposes the underlying manifold into a disjoint union of strata including open manifolds with (indefinite) $3$-Sasaki structures and a closed separating hypersurface at infinity with respect to the $3$-Sasaki metrics. Moreover, it is shown that the latter hypersurface inherits a Biquard-Fefferman conformal structure, which thus (locally) fibres over a quaternionic contact structure, and which in turn compactifies the natural quaternionic Kähler quotients of the $3$-Sasaki structures on the open manifolds. As an application we describe the projective compactification of (suitably) complete, non-compact (indefinite) $3$-Sasaki manifolds and recover Biquard's notion of asymptotically hyperbolic quaternionic Kähler metrics. △ Less

Submitted 18 April, 2022; originally announced April 2022.

Comments: 26 pages

MSC Class: 53A20; 53B10; 53C25; 53C26; 53C29; 53A40

Geometry of solutions to the c-projective metrizability equation

Authors: Keegan J. Flood, A. Rod Gover

Abstract: On an almost complex manifold, a quasi-Kähler metric, with canonical connection in the c-projective class of a given minimal complex connection, is equivalent to a non-degenerate solution of the c-projectively invariant metrizability equation. For this overdetermined equation, replacing this maximal rank condition on solutions with a nondegeneracy condition on the prolonged system yields a strictl… ▽ More On an almost complex manifold, a quasi-Kähler metric, with canonical connection in the c-projective class of a given minimal complex connection, is equivalent to a non-degenerate solution of the c-projectively invariant metrizability equation. For this overdetermined equation, replacing this maximal rank condition on solutions with a nondegeneracy condition on the prolonged system yields a strictly wider class of solutions with non-vanishing (generalized) scalar curvature. We study the geometries induced by this class of solutions. For each solution, the strict point-wise signature partitions the underlying manifold into strata, in a manner that generalizes the model, a certain Lie group orbit decomposition of $\mathbb{CP}^m$. We describe the smooth nature and geometric structure of each strata component, generalizing the geometries of the embedded orbits in the model. This includes a quasi-Kähler metric on the open strata components that becomes singular at the strata boundary. The closed strata inherit almost CR-structures and can be viewed as a c-projective infinity for the given quasi-Kähler metric. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 20 pages

MSC Class: Primary 32J05; 32Q60; 53B15; 53B35; 53C21; 53C55; Secondary 32J27; 53C15; 53A20; 53C25; 53B10; 35N10; 58J60

Generalized Willmore Energies, Q-Curvatures, Extrinsic Paneitz Operators, and Extrinsic Laplacian Powers

Authors: Samuel Blitz, A. Rod Gover, Andrew Waldron

Abstract: Over forty years ago, Paneitz, and independently Fradkin and Tseytlin, discovered a fourth-order conformally-invariant differential operator, intrinsically defined on a conformal manifold, mapping scalars to scalars. This operator is a special case of the so-termed extrinsic Paneitz operator defined in the case when the conformal manifold is itself a conformally embedded hypersurface. In particula… ▽ More Over forty years ago, Paneitz, and independently Fradkin and Tseytlin, discovered a fourth-order conformally-invariant differential operator, intrinsically defined on a conformal manifold, mapping scalars to scalars. This operator is a special case of the so-termed extrinsic Paneitz operator defined in the case when the conformal manifold is itself a conformally embedded hypersurface. In particular, this encodes the obstruction to smoothly solving the five-dimensional scalar Laplace equation, and suitable higher dimensional analogs, on conformally compact structures with constant scalar curvature. Moreover, the extrinsic Paneitz operator can act on tensors of general type by dint of being defined on tractor bundles. Motivated by a host of applications, we explicitly compute the extrinsic Paneitz operator. We apply this formula to obtain: an extrinsically-coupled Q-curvature for embedded four-manifolds, the anomaly in renormalized volumes for conformally compact five-manifolds with negative constant scalar curvature, Willmore energies for embedded four-manifolds, the local obstruction to smoothly solving the five-dimensional singular Yamabe problem, and new extrinsically-coupled fourth and sixth order operators for embedded surfaces and four-manifolds, respectively. △ Less

Submitted 2 March, 2023; v1 submitted 30 October, 2021; originally announced November 2021.

Comments: 36 pages LaTeX, minor updates, ancillary files for FORM code included, corrected table on page 17

MSC Class: 53C18; 53A55; 53C21; 58J32

A relative mass cocycle and the mass of asymptotically hyperbolic manifolds

Authors: Andreas Cap, A. Rod Gover

Abstract: We construct a cocycle that, for a given $n$-manifold, maps pairs of asymptotically locally hyperbolic (ALH) metrics to a tractor-valued $(n-1)$-form field on the conformal infinity. This requires the metrics to be asymptotically related to a given order that depends on the dimension. It then provides a local geometric quantity on the boundary that is naturally associated to the pair and can be in… ▽ More We construct a cocycle that, for a given $n$-manifold, maps pairs of asymptotically locally hyperbolic (ALH) metrics to a tractor-valued $(n-1)$-form field on the conformal infinity. This requires the metrics to be asymptotically related to a given order that depends on the dimension. It then provides a local geometric quantity on the boundary that is naturally associated to the pair and can be interpreted as a relative energy-momentum density. It is distinguished as a geometric object by its property of being invariant under suitable diffeomorphisms fixing the boundary, and that act on (either) one of the argument metrics. Specialising to the case of an ALH metric $h$ that is suitably asymptotically related to a locally hyperbolic conformally compact metric, we show that the cocycle determines an absolute invariant $c(h)$, which still is local in nature. This tractor-valued $(n-1)$-form field on the conformal infinity is canonically associated to $h$ (i.e. is not dependent on other choices) and is equivariant under the appropriate diffeomorphisms. Finally specialising further to the case that the boundary is a sphere and that a metric $h$ is asymptotically related to a hyperbolic metric on the interior, we show that the invariant $c(h)$ can be integrated over the boundary. The result pairs with solutions of the KID (Killing initial data) equation to recover the known description of hyperbolic mass integrals of Wang, and Chruściel--Herzlich. △ Less

Submitted 1 July, 2024; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: v2. 37 pages, final version to appear in Comm. Math. Phys., several substantial changes compared to v.1., comments are welcome

MSC Class: primary: 53A55; secondary: 53C18; 53C25; 53C80; 83C30; 83C60

Journal ref: Comm. Math. Phys. <b>405</b> (2024) article 233

Conformal Fundamental Forms and the Asymptotically Poincaré--Einstein Condition

Authors: Samuel Blitz, A. Rod Gover, Andrew Waldron

Abstract: An important problem is to determine under which circumstances a metric on a conformally compact manifold is conformal to a Poincaré--Einstein metric. Such conformal rescalings are in general obstructed by conformal invariants of the boundary hypersurface embedding, the first of which is the trace-free second fundamental form and then, at the next order, the trace-free Fialkow tensor. We show that… ▽ More An important problem is to determine under which circumstances a metric on a conformally compact manifold is conformal to a Poincaré--Einstein metric. Such conformal rescalings are in general obstructed by conformal invariants of the boundary hypersurface embedding, the first of which is the trace-free second fundamental form and then, at the next order, the trace-free Fialkow tensor. We show that these tensors are the lowest order examples in a sequence of conformally invariant higher fundamental forms determined by the data of a conformal hypersurface embedding. We give a construction of these canonical extrinsic curvatures. Our main result is that the vanishing of these fundamental forms is a necessary and sufficient condition for a conformally compact metric to be conformally related to an asymptotically Poincaré--Einstein metric. More generally, these higher fundamental forms are basic to the study of conformal hypersurface invariants. Because Einstein metrics necessarily have constant scalar curvature, our method employs asymptotic solutions of the singular Yamabe problem to select an asymptotically distinguished conformally compact metric. Our approach relies on conformal tractor calculus as this is key for an extension of the general theory of conformal hypersurface embeddings that we further develop here. In particular, we give in full detail tractor analogs of the classical Gauss Formula and Gauss Theorem for Riemannian hypersurface embeddings. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Comments: 48 pages LaTeX; see ancillary files for FORM documentation and code

MSC Class: 53C18; 53A55; 53C21; 58J32

A conformally invariant Yang-Mills type energy and equation on 6-manifolds

Authors: A. Rod Gover, Lawrence J. Peterson, Callum Sleigh

Abstract: We define a conformally invariant action S on gauge connections on a closed pseudo-Riemannian manifold M of dimension 6. At leading order this is quadratic in the gauge connection. The Euler-Lagrange equations of S, with respect to variation of the gauge connection, provide a higher-order conformally invariant analogue of the (source-free) Yang-Mills equations. For any gauge connection A on M, w… ▽ More We define a conformally invariant action S on gauge connections on a closed pseudo-Riemannian manifold M of dimension 6. At leading order this is quadratic in the gauge connection. The Euler-Lagrange equations of S, with respect to variation of the gauge connection, provide a higher-order conformally invariant analogue of the (source-free) Yang-Mills equations. For any gauge connection A on M, we define S(A) by first defining a Lagrangian density associated to A. This is not conformally invariant but has a conformal transformation analogous to a Q-curvature. Integrating this density provides the conformally invariant action. In the special case that we apply S to the conformal Cartan-tractor connection, the functional gradient recovers the natural conformal curvature invariant called the Fefferman-Graham obstruction tensor. So in this case the Euler-Lagrange equations are exactly the "obstruction-flat" condition for 6-manifolds. This extends known results for 4-dimensional pseudo-Riemannian manifolds where the Bach tensor is recovered in the Yang-Mills equations of the Cartan-tractor connection. △ Less

Submitted 18 July, 2021; originally announced July 2021.

Comments: 24 pages. Uses tensor.sty

MSC Class: 53C18; 53C07 (Primary) 58E15; 81T13; 53A55 (Secondary)

Distinguished curves and first integrals on Poincaré-Einstein and other conformally singular geometries

Authors: A. Rod Gover, Daniel Snell

Abstract: We treat the problem of defining, and characterising in a practical way, an appropriate class of distinguished curves for Poincaré-Einstein manifolds, and other conformally singular geometries. These "generalised geodesics" agree with geodesics away from the conformal singularity set and are shown to satisfy natural "boundary conditions" at points where they meet or cross the metric singularity se… ▽ More We treat the problem of defining, and characterising in a practical way, an appropriate class of distinguished curves for Poincaré-Einstein manifolds, and other conformally singular geometries. These "generalised geodesics" agree with geodesics away from the conformal singularity set and are shown to satisfy natural "boundary conditions" at points where they meet or cross the metric singularity set. We also characterise when they coincide with conformal circles. In the case of (Poincaré-)Einstein manifolds, we are able to provide a very general theory of first integrals for these distinguished curves. As well as the general procedure outlined, a specific example is given. △ Less

Submitted 8 January, 2020; originally announced January 2020.

Singular Yamabe and Obata Problems

Authors: A. Rod Gover, Andrew Waldron

Abstract: A conformal geometry determines a distinguished, potentially singular, variant of the usual Yamabe problem, where the conformal factor can change sign. When a smooth solution does change sign, its zero locus is a smoothly embedded separating hypersurface that, in dimension three, is necessarily a Willmore energy minimiser or, in higher dimensions, satisfies a conformally invariant analog of the Wi… ▽ More A conformal geometry determines a distinguished, potentially singular, variant of the usual Yamabe problem, where the conformal factor can change sign. When a smooth solution does change sign, its zero locus is a smoothly embedded separating hypersurface that, in dimension three, is necessarily a Willmore energy minimiser or, in higher dimensions, satisfies a conformally invariant analog of the Willmore equation. In any case the zero locus is critical for a conformal functional that generalises the total Q-curvature by including extrinsic data. These observations lead to some interesting global problems that include natural singular variants of a classical problem solved by Obata. △ Less

Submitted 30 December, 2019; originally announced December 2019.

Comments: 17 pages LaTeX

Non-holonomic equations for the normal extremals in geometric control theory

Authors: A. Rod Gover, Jan Slovak

Abstract: We provide a new and simple system of equations for the normal sub-Riemannian geodesics. These use a partial connection that we show is canonically available, given a choice of complement to the distribution. We also describe conditions which, if satisfied, mean that even this choice of complement is determined canonically, and that this determines a distinguished connection on the tangent bundle.… ▽ More We provide a new and simple system of equations for the normal sub-Riemannian geodesics. These use a partial connection that we show is canonically available, given a choice of complement to the distribution. We also describe conditions which, if satisfied, mean that even this choice of complement is determined canonically, and that this determines a distinguished connection on the tangent bundle. Our approach applies to sub-Riemannian geometry the point of view of non-holonomic mechanics. The geodesic equations obtained split into mutually driving horizontal and complementary parts, and the method allows for particular choices of nice coframes. We illustrate this feature on examples of contact models with non-constant symbols. △ Less

Submitted 14 September, 2019; originally announced September 2019.

Comments: the Maple worksheet, promised on page 15, is available at www.math.muni.cz/~slovak/5dim_gen_contact.mw

MSC Class: Primary 53A20; 53B10; 53C21; Secondary 35N10; 53A30; 58J60

Conformal Geometry of Embedded Manifolds with Boundary from Universal Holographic Formulae

Authors: Cesar Arias, A. Rod Gover, Andrew Waldron

Abstract: For an embedded conformal hypersurface with boundary, we construct critical order local invariants and their canonically associated differential operators. These are obtained holographically in a construction that uses a singular Yamabe problem and a corresponding minimal hypersurface with boundary. They include an extrinsic Q-curvature for the boundary of the embedded conformal manifold and, for… ▽ More For an embedded conformal hypersurface with boundary, we construct critical order local invariants and their canonically associated differential operators. These are obtained holographically in a construction that uses a singular Yamabe problem and a corresponding minimal hypersurface with boundary. They include an extrinsic Q-curvature for the boundary of the embedded conformal manifold and, for its interior, the Q-curvature and accompanying boundary transgression curvatures. This gives universal formulae for extrinsic analogs of Branson Q-curvatures that simultaneously generalize the Willmore energy density, including the boundary transgression terms required for conformal invariance. It also gives extrinsic conformal Laplacian power type operators associated with all these curvatures. The construction also gives formulae for the divergent terms and anomalies in the volume and hyper-area asymptotics determined by minimal hypersurfaces having boundary at the conformal infinity. A main feature is the development of a universal, distribution-based, boundary calculus for the treatment of these and related problems. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: 59 pages, LaTeX

MSC Class: 53A30; 53A55; 53B25; 53C21; 53A10; 53B50; 53C80

Some examples of projective and $c$--projective compactifications of Einstein metrics

Authors: Maciej Dunajski, A. Rod Gover, Alice Waterhouse

Abstract: We construct several examples of compactifications of Einstein metrics. We show that the Eguchi--Hanson instanton admits a projective compactification which is non--metric, and that a metric cone over any (pseudo)--Riemannian manifolds admits a metric projective compactification. We construct a para--$c$--projective compactification of neutral signature Einstein metrics canonically defined on cert… ▽ More We construct several examples of compactifications of Einstein metrics. We show that the Eguchi--Hanson instanton admits a projective compactification which is non--metric, and that a metric cone over any (pseudo)--Riemannian manifolds admits a metric projective compactification. We construct a para--$c$--projective compactification of neutral signature Einstein metrics canonically defined on certain rank--$n$ affine bundles $M$ over $n$-dimensional manifolds endowed with projective structures. △ Less

Submitted 11 February, 2020; v1 submitted 18 August, 2018; originally announced August 2018.

Comments: 20 pages, 1 figure. To appear in Annales Henri Poincare

Report number: DAMTP-2018-29

Parabolic Compactification of Homogeneous Spaces

Authors: Andreas Cap, A. Rod Gover, Matthias Hammerl

Abstract: In this article, we study compactifications of homogeneous spaces coming from equivariant, open embeddings into a generalized flag manifold $G/P$. The key to this approach is that in each case $G/P$ is the homogeneous model for a parabolic geometry; the theory of such geometries provides a large supply of geometric tools and invariant differential operators that can be used for this study. A class… ▽ More In this article, we study compactifications of homogeneous spaces coming from equivariant, open embeddings into a generalized flag manifold $G/P$. The key to this approach is that in each case $G/P$ is the homogeneous model for a parabolic geometry; the theory of such geometries provides a large supply of geometric tools and invariant differential operators that can be used for this study. A classical theorem of J.~Wolf shows that any involutive automorphism of a semisimple Lie group $G$ with fixed point group $H$ gives rise to a large family of such compactifications of homogeneous spaces of $H$. Most examples of (classical) Riemannian symmetric spaces as well as many non--symmetric examples arise in this way. A specific feature of the approach is that any compactification of that type comes with the notion of "curved analog" to which the tools we develop also apply. The model example of this is a general Poincaré--Einstein manifold forming the curved analog of the conformal compactification of hyperbolic space. In the first part of the article, we derive general tools for the analysis of such compactifications. In the second part, we analyze two families of examples in detail, which in particular contain compactifications of the symmetric spaces $SL(n,\Bbb R)/SO(p,n-p)$ and $SO(n,\Bbb C)/SO(n)$. We describe the decomposition of the compactification into orbits, show how orbit closures can be described as the zero sets of smooth solutions to certain invariant differential operators and prove a local slice theorem around each orbit in these examples. △ Less

Submitted 12 July, 2018; originally announced July 2018.

Comments: 38 pages, comments are welcome

MSC Class: 22F30; 53C15; 53C30; 53C35 (Primary); 53A40 (Secondary)

Journal ref: J. Inst. Math. Jussieu 20, no. 4 (2021) 1371-1408

Distinguished curves and integrability in Riemannian, conformal, and projective geometry

Authors: A. Rod Gover, Daniel Snell, Arman Taghavi-Chabert

Abstract: We give a new characterisation of the unparametrised geodesics, or distinguished curves, for affine, pseudo-Riemannian, conformal, and projective geometry. This is a type of moving incidence relation. The characterisation is used to provide a very general theory and construction of quantities that are necessarily conserved along the curves. The formalism immediately yields explicit formulae for th… ▽ More We give a new characterisation of the unparametrised geodesics, or distinguished curves, for affine, pseudo-Riemannian, conformal, and projective geometry. This is a type of moving incidence relation. The characterisation is used to provide a very general theory and construction of quantities that are necessarily conserved along the curves. The formalism immediately yields explicit formulae for these curve first integrals. The usual role of Killing tensors and conformal Killing tensors is recovered as a special case, but the construction shows that a significantly larger class of equation solutions also yield curve first integrals. In particular any normal solution to an equation from the class of first BGG equations can yield such a conserved quantity. For some equations the condition of normality is not required. For nowhere-null curves in pseudo-Riemannian and conformal geometry additional results are available. We provide a fundamental tractor-valued invariant of such curves and this quantity is parallel if and only if the curve is an unparametrised conformal circle. △ Less

Submitted 7 January, 2020; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: v1: 48 pages, v2: 51 pages, section 6 on conserved quantities expanded, one reference added, abstract and introduction changed accordingly

Projective geometry of Sasaki-Einstein structures and their compactification

Authors: A. Rod Gover, Katharina Neusser, Travis Willse

Abstract: We show that the standard definitions of Sasaki structures have elegant and simplifying interpretations in terms of projective differential geometry. For Sasaki-Einstein structures we use projective geometry to provide a resolution of such structures into geometrically less rigid components; the latter elemental components are separately, complex, orthogonal, and symplectic holonomy reductions of… ▽ More We show that the standard definitions of Sasaki structures have elegant and simplifying interpretations in terms of projective differential geometry. For Sasaki-Einstein structures we use projective geometry to provide a resolution of such structures into geometrically less rigid components; the latter elemental components are separately, complex, orthogonal, and symplectic holonomy reductions of the canonical projective tractor/Cartan connection. This leads to a characterisation of Sasaki-Einstein structures as projective structures with certain unitary holonomy reductions. As an immediate application, this is used to describe the projective compactification of indefinite (suitably) complete non-compact Sasaki-Einstein structures and to prove that the boundary at infinity is a Fefferman conformal manifold that thus fibres over a nondegenerate CR manifold (of hypersurface type). We prove that this CR manifold coincides with the boundary at infinity for the c-projective compactification of the Kähler-Einstein manifold that arises, in the usual way, as a leaf space for the defining Killing field of the given Sasaki-Einstein manifold. A procedure for constructing examples is given. The discussion of symplectic holonomy reductions of projective structures leads us moreover to a new and simplifying approach to contact projective geometry. This is of independent interest and is treated in some detail. △ Less

Submitted 10 August, 2019; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: 55 pages; minor modifications: references updated, citations added and typos corrected. To appear in Dissertationes Mathematicae

MSC Class: 53A20; 53B10; 53C25; 53C29 (Primary); 35Q76; 53A30; 53A40; 53C55 (Secondary)

Journal ref: Dissertationes Mathematicae 546 (2019), 1-64

Conformal boundary operators, T-curvatures, and conformal fractional Laplacians of odd order

Authors: A. Rod Gover, Lawrence J. Peterson

Abstract: We construct continuously parametrised families of conformally invariant boundary operators on densities. These may also be viewed as conformally covariant boundary operators on functions and generalise to higher orders the first-order conformal Robin operator and an analogous third-order operator of Chang-Qing. Our families include operators of critical order on odd-dimensional boundaries. Combin… ▽ More We construct continuously parametrised families of conformally invariant boundary operators on densities. These may also be viewed as conformally covariant boundary operators on functions and generalise to higher orders the first-order conformal Robin operator and an analogous third-order operator of Chang-Qing. Our families include operators of critical order on odd-dimensional boundaries. Combined with the (conformal Laplacian power) GJMS operators, a suitable selection of the boundary operators yields formally self-adjoint elliptic conformal boundary problems. Working on a conformal manifold with boundary, we show that the operators yield odd-order conformally invariant fractional Laplacian pseudo-differential operators. To do this, we use higher-order conformally invariant Dirichlet-to-Neumann constructions. We also find and construct new curvature quantities associated to our new operator families. These have links to the Branson Q-curvature and include higher-order generalisations of the mean curvature and the T-curvature of Chang-Qing. In the case of the standard conformal hemisphere, the boundary operator construction is particularly simple; the resulting operators provide an elementary construction of families of symmetry breaking intertwinors between the spherical principal series representations of the conformal group of the equator, as studied by Juhl and others. We use our constructions to shed light on some conjectures of Juhl. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Comments: 58 pages

MSC Class: 53A30 (Primary) 53A55; 34B05; 35S05; 53B25; 53B50 (Secondary)

Journal ref: Pacific J. Math. 311 (2021) 277-328

Metrics in projective differential geometry: the geometry of solutions to the metrizability equation

Authors: Keegan J. Flood, A. Rod Gover

Abstract: Pseudo-Riemannian metrics with Levi-Civita connection in the projective class of a given torsion free affine connection can be obtained from (and are equivalent to) the maximal rank solutions of a certain overdetermined projectively invariant differential equation often called the metrizability equation. Dropping this rank assumption we study the solutions to this equation given less restrictive g… ▽ More Pseudo-Riemannian metrics with Levi-Civita connection in the projective class of a given torsion free affine connection can be obtained from (and are equivalent to) the maximal rank solutions of a certain overdetermined projectively invariant differential equation often called the metrizability equation. Dropping this rank assumption we study the solutions to this equation given less restrictive generic conditions on its prolonged system. In this setting we find that the solution stratifies the manifold according to the strict signature (pointwise) of the solution and does this in way that locally generalizes the stratification of a model, where the model is, in each case, a corresponding Lie group orbit decomposition of the sphere. Thus the solutions give curved generalizations of such embedded orbit structures. We describe the smooth nature of the strata and determine the geometries of each of the different strata types; this includes a metric on the open strata that becomes singular at the strata boundary, with the latter a type of projective infinity for the given metric. The approach reveals and exploits interesting highly non-linear relationships between different linear geometric partial differential equations. Apart from their direct significance, the results show that, for the metrizability equation, strong results arising for so-called normal BGG solutions, and the corresponding projective holonomy reduction, extend to a far wider class of solutions. The work also provides new results for the projective compactification of scalar-flat metrics. △ Less

Submitted 1 March, 2018; v1 submitted 17 February, 2018; originally announced February 2018.

Comments: 27 pages. Minor typographical corrections

MSC Class: Primary 53A20; 53B10; 53C21; Secondary 35N10; 53A30; 58J60

Invariant prolongation of the Killing tensor equation

Authors: A. Rod Gover, Thomas Leistner

Abstract: The Killing tensor equation is a first order differential equation on symmetric covariant tensors that generalises to higher rank the usual Killing vector equation on Riemannian manifolds. We view this more generally as an equation on any manifold equipped with an affine connection, and in this setting derive its prolongation to a linear connection. This connection has the property that parallel s… ▽ More The Killing tensor equation is a first order differential equation on symmetric covariant tensors that generalises to higher rank the usual Killing vector equation on Riemannian manifolds. We view this more generally as an equation on any manifold equipped with an affine connection, and in this setting derive its prolongation to a linear connection. This connection has the property that parallel sections are in 1-1 correspondence with solutions of the Killing equation. Moreover this connection is projectively invariant and is derived entirely using the projectively invariant tractor calculus which reveals also further invariant structures linked to the prolongation. △ Less

Submitted 16 February, 2018; originally announced February 2018.

Comments: 24 pages

MSC Class: 53B10 (Primary); 53A20 (Secondary)

Journal ref: Annali di Matematica Pura ed Applicata (1923 -) volume 198, pages 307-334 (2019)

The $P^\prime$-operator, the $Q^\prime$-curvature, and the CR tractor calculus

Authors: Jeffrey S. Case, A. Rod Gover

Abstract: We establish an algorithm which computes formulae for the CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature in terms of CR tractors. When applied to torsion-free pseudo-Einstein contact forms, this algorithm both gives an explicit factorisation of the CR GJMS operators and the $P^\prime$-operator, and shows that the $Q^\prime$-curvature is constant, with the constant explici… ▽ More We establish an algorithm which computes formulae for the CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature in terms of CR tractors. When applied to torsion-free pseudo-Einstein contact forms, this algorithm both gives an explicit factorisation of the CR GJMS operators and the $P^\prime$-operator, and shows that the $Q^\prime$-curvature is constant, with the constant explicitly given in terms of the Webster scalar curvature. We also use our algorithm to derive local formulae for the $P^\prime$-operator and $Q^\prime$-curvature of a five-dimensional pseudo-Einstein manifold. Comparison with Marugame's formulation of the Burns--Epstein invariant as the integral of a pseudohermitian invariant yields new insights into the class of local pseudohermitian invariants for which the total integral is independent of the choice of pseudo-Einstein contact form. △ Less

Submitted 23 September, 2017; originally announced September 2017.

Comments: 50 pages

Volume growth and puncture repair in conformal geometry

Authors: Michael G. Eastwood, A. Rod Gover

Abstract: Suppose $M$ is a compact Riemannian manifold and $p\in M$ an arbitrary point. We employ estimates on the volume growth around $p$ to prove that the only conformal compactification of $M\setminus\{p\}$ is $M$ itself. Suppose $M$ is a compact Riemannian manifold and $p\in M$ an arbitrary point. We employ estimates on the volume growth around $p$ to prove that the only conformal compactification of $M\setminus\{p\}$ is $M$ itself. △ Less

Submitted 10 July, 2017; originally announced July 2017.

Comments: 7 pages

MSC Class: 53A30

Renormalized Volumes with Boundary

Authors: A. Rod Gover, Andrew Waldron

Abstract: 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 set… ▽ More 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. △ Less

Submitted 24 November, 2016; originally announced November 2016.

Comments: 27 pages, LaTeX, 6 figures

MSC Class: 53A30; 53C40; 53C21; 53A55; 53B50

A Calculus for Conformal Hypersurfaces and new higher Willmore energy functionals

Authors: A. Rod Gover, Andrew Waldron

Abstract: 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 h… ▽ More 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. △ Less

Submitted 12 November, 2016; originally announced November 2016.

Comments: 39 pages, LaTeX, 1 figure, extended and improved treatment of material from older manuscript, overlaps with version 1 of arXiv:1506.02723

Renormalized Volume

Authors: A. Rod Gover, Andrew Waldron

Abstract: 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 previou… ▽ More 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. △ Less

Submitted 18 October, 2016; v1 submitted 23 March, 2016; originally announced March 2016.

Comments: 31 pages, LaTeX, 5 figures, anomaly formula generalized to any bulk geometry, improved discussion of hypersurfaces with boundary

Journal ref: Communications in Mathematical Physics, volume 354, issue 3, pages 1205-1244, 2017

C-Projective Compactification; (quasi--)Kaehler Metrics and CR boundaries

Authors: Andreas Cap, A. Rod Gover

Abstract: For complete complex connections on almost complex manifolds we introduce a natural definition of compactification. This is based on almost c--projective geometry, which is the almost complex analogue of projective differential geometry. The boundary at infinity is a (possibly non-integrable) CR structure. The theory applies to almost Hermitean manifolds which admit a complex metric connection of… ▽ More For complete complex connections on almost complex manifolds we introduce a natural definition of compactification. This is based on almost c--projective geometry, which is the almost complex analogue of projective differential geometry. The boundary at infinity is a (possibly non-integrable) CR structure. The theory applies to almost Hermitean manifolds which admit a complex metric connection of minimal torsion, which means that they are quasi--Kaehler in the sense of Gray--Hervella; in particular it applies to Kaehler and nearly Kaehler manifolds. Via this canonical connection, we obtain a notion of c-projective compactification for quasi--Kaehler metrics of any signature. We describe an asymptotic form for metrics that is necessary and sufficient for c--projective compactness. This metric form provides local examples and, in particular, shows that the usual complete Kaehler metrics associated to smoothly bounded, strictly pseudoconvex domains in C^n are c--projectively compact. For a smooth manifold with boundary and a complete quasi-Kaehler metric $g$ on the interior, we show that if its almost c--projective structure extends smoothly to the boundary then so does its scalar curvature. We prove that $g$ is almost c--projectively compact if and only if this scalar curvature is non-zero on an open dense set of the boundary, in which case it is, along the boundary, locally constant and hence nowhere zero there. Finally we describe the asymptotics of the curvature, showing, in particular, that the canonical connection satisfies an asymptotic Einstein condition. Key to much of the development is a certain real tractor calculus for almost c--projective geometry, and this is developed in the article. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Comments: 39 PAGES

MSC Class: Primary 32J05; 32Q60; 53B10; 53B15; 53B35; 53C55; Secondary 32J27; 53A20; 53C15; 53C25

Journal ref: Amer. J. Math., 141, no. 3 (2019) 813-856

Zero and negative eigenvalues of the conformal Laplacian

Authors: A. Rod Gover, Asma Hassannezhad, Dmitry Jakobson, Michael Levitin

Abstract: We show that zero is not an eigenvalue of the conformal Laplacian for generic Riemannian metrics. We also discuss non-compactness for sequences of metrics with growing number of negative eigenvalues of the conformal Laplacian. We show that zero is not an eigenvalue of the conformal Laplacian for generic Riemannian metrics. We also discuss non-compactness for sequences of metrics with growing number of negative eigenvalues of the conformal Laplacian. △ Less

Submitted 27 April, 2016; v1 submitted 26 November, 2015; originally announced November 2015.

CR embedded submanifolds of CR manifolds

Authors: Sean N. Curry, A. Rod Gover

Abstract: We develop a complete local theory for CR embedded submanifolds of CR manifolds in a way which parallels the Ricci calculus for Riemannian submanifold theory. In particular, we establish the subtle relationship between the submanifold and ambient standard tractor bundles, allowing us to relate the respective normal Cartan (or tractor) connections via a CR Gauss formula. The CR invariant tractor ca… ▽ More We develop a complete local theory for CR embedded submanifolds of CR manifolds in a way which parallels the Ricci calculus for Riemannian submanifold theory. In particular, we establish the subtle relationship between the submanifold and ambient standard tractor bundles, allowing us to relate the respective normal Cartan (or tractor) connections via a CR Gauss formula. The CR invariant tractor calculus of CR embeddings is developed concretely in terms of the Tanaka-Webster calculus of an arbitrary (suitably adapted) ambient contact form. This enables straightforward and explicit calculation of the pseudohermitian invariants of the embedding which are also CR invariant. These are extremely difficult to find and compute by more naïve methods. We conclude by establishing a CR analogue of the classical Bonnet theorem in Riemannian submanifold theory. △ Less

Submitted 13 September, 2016; v1 submitted 24 November, 2015; originally announced November 2015.

Comments: Final version. 90 pages. To appear in Memoirs of the AMS

MSC Class: 32V05; 53B15 (Primary); 32V30; 53B25; 53A30 (Secondary)

Singular Yamabe Problem Willmore Energies

Authors: Michael Glaros, A. Rod Gover, Matthew Halbasch, Andrew Waldron

Abstract: 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 fun… ▽ More 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. △ Less

Submitted 7 August, 2015; originally announced August 2015.

Comments: 36 pages, LaTeX

MSC Class: 53A30 (primary); 58E30; 53A55; 53B15; 83C99

Projectively related metrics, Weyl nullity, and metric projectively invariant equations

Authors: A. Rod Gover, Vladimir S. Matveev

Abstract: A metric projective structure is a manifold equipped with the unparametrised geodesics of some pseudo-Riemannian metric. We make acomprehensive treatment of such structures in the case that there is a projective Weyl curvature nullity condition. The analysis is simplified by a fundamental and canonical 2-tensor invariant that we discover. It leads to a new canonical tractor connection for these ge… ▽ More A metric projective structure is a manifold equipped with the unparametrised geodesics of some pseudo-Riemannian metric. We make acomprehensive treatment of such structures in the case that there is a projective Weyl curvature nullity condition. The analysis is simplified by a fundamental and canonical 2-tensor invariant that we discover. It leads to a new canonical tractor connection for these geometries which is defined on a rank $(n+1)$-bundle. We show this connection is linked to the metrisability equations that govern the existence of metrics compatible with the structure. The fundamental 2-tensor also leads to a new class of invariant linear differential operators that are canonically associated to these geometries; included is a third equation studied by Gallot et al. We apply the results to study the metrisability equation, in the nullity setting described. We obtain strong local and global results on the nature of solutions and also on the nature of the geometries admitting such solutions, obtaining classification results in some cases. We show that closed Sasakian and Kähler manifold do not admit nontrivial solutions. We also prove that, on a closed manifold, two nontrivially projectively equivalent metrics cannot have the same tracefree Ricci tensor. We show that on a closed manifold a metric having a nontrivial solution of the metrisablity equation cannot have two-dimensional nullity space at every point. In these statements the meaning of trivial solution is dependent on the context. There is a function $B$ naturally appearing if a metric projective structure has nullity. We analyse in detail the case when this is not a constant, and describe all nontrivially projectively equivalent Riemannian metrics on closed manifolds with nonconstant $B$. △ Less

Submitted 1 August, 2015; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: Minor adjustments and typographical corrections. 50 pages

MSC Class: 58B20; 53A20; 53B10; 35N10; 53C20; 53C22; 53C29

Journal ref: Proc. Lond. Math. Soc. (3) 114 (2017), no. 2, 242-292

Conformal hypersurface geometry via a boundary Loewner-Nirenberg-Yamabe problem

Authors: A. Rod Gover, Andrew Waldron

Abstract: 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 tha… ▽ More 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. △ Less

Submitted 12 November, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: 37 pages, LaTeX, abridged version, functionals and explicit invariants from previous version treated in greater detail in another posting

MSC Class: 53A30; 53C21; 53A55; 53B50; 53B15

Conformal Holonomy Equals Ambient Holonomy

Authors: Andreas Čap, A. Rod Gover, C. Robin Graham, Matthias Hammerl

Abstract: This paper studies the relation between two notions of holonomy on a conformal manifold. The first is the conformal holonomy, defined to be the holonomy of the normal tractor connection. The second is the holonomy of the Fefferman-Graham ambient metric of the conformal manifold. It is shown that the infinitesimal conformal holonomy and the infinitesimal ambient holonomy always agree up to the orde… ▽ More This paper studies the relation between two notions of holonomy on a conformal manifold. The first is the conformal holonomy, defined to be the holonomy of the normal tractor connection. The second is the holonomy of the Fefferman-Graham ambient metric of the conformal manifold. It is shown that the infinitesimal conformal holonomy and the infinitesimal ambient holonomy always agree up to the order that the ambient metric is defined. △ Less

Submitted 3 April, 2015; originally announced April 2015.

Comments: 13 pages

MSC Class: 53A30 (Primary); 53C29 (Secondary)

Journal ref: Pacific J. Math. 285 (2016) 303-318

An introduction to conformal geometry and tractor calculus, with a view to applications in general relativity

Authors: Sean Curry, A. Rod Gover

Abstract: The following are expanded lecture notes for the course of eight one hour lectures given by the second author at the 2014 summer school Asymptotic Analysis in General Relativity held in Grenoble by the Institut Fourier. The first four lectures deal with conformal geometry and the conformal tractor calculus, taking as primary motivation the search for conformally invariant tensors and diffrerential… ▽ More The following are expanded lecture notes for the course of eight one hour lectures given by the second author at the 2014 summer school Asymptotic Analysis in General Relativity held in Grenoble by the Institut Fourier. The first four lectures deal with conformal geometry and the conformal tractor calculus, taking as primary motivation the search for conformally invariant tensors and diffrerential operators. The final four lectures apply the conformal tractor calculus to the study of conformally compactified geometries, motivated by the conformal treatment of infinity in general relativity. △ Less

Submitted 1 August, 2015; v1 submitted 23 December, 2014; originally announced December 2014.

Comments: Minor typographical corrections. 74 pages; 5 figures

MSC Class: Primary 53A30; 35Q75; 53B15; 53C25; Secondary 83C05; 35Q76; 53C29

Tractor calculus, BGG complexes, and the cohomology of Kleinian groups

Authors: A. Rod Gover, Callum Sleigh

Abstract: For a compact, oriented, hyperbolic $n$-manifold $(M,g)$, realised as $M= Γ\backslash \mathbb{H}^{n}$ where $Γ$ is a torsion-free cocompact subgroup of $SO(n,1)$, we establish and study a relationship between differential geometric cohomology on $M$ and algebraic invariants of the group $Γ$. In particular for $\mathbb{F}$ an irreducible $SO(n,1)$-module, we show that the group cohomology with coef… ▽ More For a compact, oriented, hyperbolic $n$-manifold $(M,g)$, realised as $M= Γ\backslash \mathbb{H}^{n}$ where $Γ$ is a torsion-free cocompact subgroup of $SO(n,1)$, we establish and study a relationship between differential geometric cohomology on $M$ and algebraic invariants of the group $Γ$. In particular for $\mathbb{F}$ an irreducible $SO(n,1)$-module, we show that the group cohomology with coefficients $H^{\bullet}(Γ, \mathbb{F})$ is isomorphic to the cohomology of an appropriate projective BGG complex on $M$. This yields the geometric interpretation that $H^{\bullet}(Γ, \mathbb{F})$ parameterises solutions to certain distinguished natural PDEs of Riemannian geometry, modulo the range of suitable differential coboundary operators. Viewed in another direction, the construction shows one way that non-trivial cohomology can arise in a BGG complex, and sheds considerable light on its geometric meaning. We also use the tools developed to give a new proof that $H^{1} (Γ, S_{0}^{k} \mathbb{R}^{n+1}) \neq 0$ whenever $M$ contains a compact, orientable, totally geodesic hypersurface. All constructions use another result that we establish, namely that the canonical flat connection on a hyperbolic manifold coincides with the tractor connection of projective differential geometry. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: 24 pages

MSC Class: Primary 53A20; 22E40; 58J10; 30F40; Secondary 53C29; 35N10; 11F75; 53A30

Metric projective geometry, BGG detour complexes and partially massless gauge theories

Authors: A. R. Gover, E. Latini, A. Waldron

Abstract: A projective geometry is an equivalence class of torsion free connections sharing the same unparametrised geodesics; this is a basic structure for understanding physical systems. Metric projective geometry is concerned with the interaction of projective and pseudo-Riemannian geometry. We show that the BGG machinery of projective geometry combines with structures known as Yang-Mills detour complexe… ▽ More A projective geometry is an equivalence class of torsion free connections sharing the same unparametrised geodesics; this is a basic structure for understanding physical systems. Metric projective geometry is concerned with the interaction of projective and pseudo-Riemannian geometry. We show that the BGG machinery of projective geometry combines with structures known as Yang-Mills detour complexes to produce a general tool for generating invariant pseudo-Riemannian gauge theories. This produces (detour) complexes of differential operators corresponding to gauge invariances and dynamics. We show, as an application, that curved versions of these sequences give geometric characterizations of the obstructions to propagation of higher spins in Einstein spaces. Further, we show that projective BGG detour complexes generate both gauge invariances and gauge invariant constraint systems for partially massless models: the input for this machinery is a projectively invariant gauge operator corresponding to the first operator of a certain BGG sequence. We also connect this technology to the log-radial reduction method and extend the latter to Einstein backgrounds. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 30 pages, LaTeX

Scalar Curvature and Projective Compactness

Authors: Andreas Cap, A. Rod Gover

Abstract: Consider a manifold with boundary, and such that the interior is equipped with a pseudo-Riemannian metric. We prove that, under mild asymptotic non-vanishing conditions on the scalar curvature, if the Levi-Civita connection of the interior does not extend to the boundary (because for example the interior is complete) whereas its projective structure does, then the metric is projectively compact of… ▽ More Consider a manifold with boundary, and such that the interior is equipped with a pseudo-Riemannian metric. We prove that, under mild asymptotic non-vanishing conditions on the scalar curvature, if the Levi-Civita connection of the interior does not extend to the boundary (because for example the interior is complete) whereas its projective structure does, then the metric is projectively compact of order 2; this order is a measure of volume growth toward infinity. The result implies a host of results including that the metric satisfies asymptotic Einstein conditions, and induces a canonical conformal structure on the boundary. Underpinning this work is a new interpretation of scalar curvature in terms of projective geometry. This enables us to show that if the projective structure of a metric extends to the boundary then its scalar curvature also naturally and smoothly extends. △ Less

Submitted 1 September, 2015; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: Final version to be published in J. Geom. Phys. Includes minor typo corrections and a new summarising corollary. 10 pages

MSC Class: Primary 53A20; 53B21; 53B10; Secondary 35N10; 53A30; 58J60

Journal ref: J. Geom. Phys. 98 (2015) 475-481

Generalising the Willmore equation: submanifold conformal invariants from a boundary Yamabe problem

Authors: A. Rod Gover, Andrew Waldron

Abstract: 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… ▽ More 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. △ Less

Submitted 24 July, 2014; originally announced July 2014.

Comments: 5 pages LaTeX

Projective Compactness and Conformal Boundaries

Authors: Andreas Cap, A. Rod Gover

Abstract: Let $\overline{M}$ be a smooth manifold with boundary $\partial M$ and interior $M$. Consider an affine connection $\nabla$ on $M$ for which the boundary is at infinity. Then $\nabla$ is projectively compact of order $α$ if the projective structure defined by $\nabla$ smoothly extends to all of $\overline{M}$ in a specific way that depends on no particular choice of boundary defining function. Via… ▽ More Let $\overline{M}$ be a smooth manifold with boundary $\partial M$ and interior $M$. Consider an affine connection $\nabla$ on $M$ for which the boundary is at infinity. Then $\nabla$ is projectively compact of order $α$ if the projective structure defined by $\nabla$ smoothly extends to all of $\overline{M}$ in a specific way that depends on no particular choice of boundary defining function. Via the Levi--Civita connection, this concept applies to pseudo--Riemannian metrics on $M$. We study the relation between interior geometry and the possibilities for compactification, and then develop the tools that describe the induced geometry on the boundary. We prove that a pseudo--Riemannian metric on $M$ which is projectively compact of order two admits a certain asymptotic form. This form was known to be sufficient for projective compactness, so the result establishes that it provides an equivalent characterization. From a projectively compact connection on $M$, one obtains a projective structure on $\overline{M}$, which induces a conformal class of (possibly degenerate) bundle metrics on the tangent bundle to the hypersurface $\partial M$. Using the asymptotic form, we prove that in the case of metrics, which are projectively compact of order two, this boundary structure is always non--degenerate. We also prove that in this case the metric is necessarily asymptotically Einstein, in a natural sense. Finally, a non--degenerate boundary geometry gives rise to a (conformal) standard tractor bundle endowed with a canonical linear connection, and we explicitly describe these in terms of the projective data of the interior geometry. △ Less

Submitted 19 March, 2015; v1 submitted 16 June, 2014; originally announced June 2014.

Comments: Substantially revised, including simpler arguments for many of the main results. 32 pages, comments are welcome

MSC Class: Primary 53A20; 53B21; 53B10; Secondary 35N10; 53A30; 58J60

Journal ref: Math. Ann. 366, 3-4 (2016) 1587-1620

Nearly Kähler Geometry and $(2,3,5)$-Distributions via Projective Holonomy

Authors: Rod Gover, Roberto Panai, Travis Willse

Abstract: We show that any dimension $6$ nearly Kähler (or nearly para-Kähler) geometry arises as a projective manifold equipped with a $\textrm{G}_2^{(*)}$ holonomy reduction. In the converse direction we show that if a projective manifold is equipped with a parallel $7$-dimensional cross product on its standard tractor bundle then the manifold is: a Riemannian nearly Kähler manifold, if the cross product… ▽ More We show that any dimension $6$ nearly Kähler (or nearly para-Kähler) geometry arises as a projective manifold equipped with a $\textrm{G}_2^{(*)}$ holonomy reduction. In the converse direction we show that if a projective manifold is equipped with a parallel $7$-dimensional cross product on its standard tractor bundle then the manifold is: a Riemannian nearly Kähler manifold, if the cross product is definite, otherwise, if the cross product has the other algebraic type, the manifold is in general stratified with nearly Kähler and nearly para-Kähler parts separated by a hypersurface which canonically carries a Cartan $(2,3,5)$-distribution. This hypersurface is a projective infinity for the pseudo-Riemannian geometry elsewhere on the manifold, and we establish how the Cartan distribution can be understood explicitly, and also in terms of conformal geometry, as a limit of the ambient nearly (para\nobreakdash-)Kähler structures. Any real-analytic $(2,3,5)$-distribution is seen to arise as such a limit, because we can solve the geometric Dirichlet problem of building a collar structure equipped with the required holonomy-reduced projective structure. A model geometry for these structures is provided by the projectivization of the imaginary (split) octonions. Our approach is to use Cartan/tractor theory to provide a curved version of this geometry, this encodes a curved version of the algebra of imaginary (split) octonions as a flat structure over its projectivization. The perspective is used to establish detailed results concerning the projective compactification of nearly (para\nobreakdash-)Kähler manifolds, including how the almost (para\nobreakdash-)complex structure and metric smoothly degenerate along the singular hypersurface to give the distribution there. △ Less

Submitted 21 August, 2017; v1 submitted 8 March, 2014; originally announced March 2014.

Comments: 48 pages. Theorem 1.2 corrected and simplified. Outlook section and four of six appendices removed. Minor formatting and expository changes made

MSC Class: Primary 53B10; 53A20; 53C29; 53C55; Secondary 53A30; 35Q76

Journal ref: Indiana Univ. Math. J. 66 No. 4 (2017), 1351-1416

Projective Compactifications and Einstein metrics

Authors: Andreas Cap, A. Rod Gover

Abstract: For complete affine manifolds we introduce a definition of compactification based on the projective differential geometry (i.e.\ geodesic path data) of the given connection. The definition of projective compactness involves a real parameter $α$ called the order of projective compactness. For volume preserving connections, this order is captured by a notion of volume asymptotics that we define. The… ▽ More For complete affine manifolds we introduce a definition of compactification based on the projective differential geometry (i.e.\ geodesic path data) of the given connection. The definition of projective compactness involves a real parameter $α$ called the order of projective compactness. For volume preserving connections, this order is captured by a notion of volume asymptotics that we define. These ideas apply to complete pseudo-Riemannian spaces, via the Levi-Civita connection, and thus provide a notion of compactification alternative to conformal compactification. For each order $α$, we provide an asymptotic form of a metric which is sufficient for projective compactness of the given order, thus also providing many local examples. Distinguished classes of projectively compactified geometries of orders one and two are associated with Ricci-flat connections and non--Ricci--flat Einstein metrics, respectively. Conversely, these geometric conditions are shown to force the indicated order of projective compactness. These special compactifications are shown to correspond to normal solutions of classes of natural linear PDE (so-called first BGG equations), or equivalently holonomy reductions of projective Cartan/tractor connections. This enables the application of tools already available to reveal considerable information about the geometry of the boundary at infinity. Finally, we show that metrics admitting such special compactifications always have an asymptotic form as mentioned above. △ Less

Submitted 17 June, 2014; v1 submitted 6 April, 2013; originally announced April 2013.

Comments: 30 Pages. v2: Added a necessary technical assumption in Theorem 2.6. Adapted numbering to version to be published in J. reine angew. math. (Crelle's J.)

MSC Class: 54D35; 53A20; 53B21; 53B10; 53C29; 35N10

Journal ref: J. Reine Angew. Math. 717 (2016) 47-75

Detecting Einstein geodesics: Einstein metrics in projective and conformal geometry

Authors: A. Rod Gover, Heather Macbeth

Abstract: Here we treat the problem: given a torsion-free connection do its geodesics, as unparametrised curves, coincide with the geodesics of an Einstein metric? We find projective invariants such that the vanishing of these is necessary for the existence of such a metric, and in generic settings the vanishing of these is also sufficient. We also obtain results for the problem of metrisability (without th… ▽ More Here we treat the problem: given a torsion-free connection do its geodesics, as unparametrised curves, coincide with the geodesics of an Einstein metric? We find projective invariants such that the vanishing of these is necessary for the existence of such a metric, and in generic settings the vanishing of these is also sufficient. We also obtain results for the problem of metrisability (without the Einstein condition): We show that the odd Chern type invariants of an affine connection are projective invariants that obstruct the existence of a projectively related Levi-Civita connection. In addition we discuss a concrete link between projective and conformal geometry and the application of this to the projective-Einstein problem. △ Less

Submitted 26 December, 2012; originally announced December 2012.

Comments: 29 pages. Dedicated to Mike Eastwood in celebration of his 60th birthday

MSC Class: 53B10; 53A20; 53C29 (Primary) 35Q76; 53A30 (Secondary)

Conformal operators on weighted forms; their decomposition and null space on Einstein manifolds

Authors: A. Rod Gover, Josef Silhan

Abstract: There is a class of Laplacian like conformally invariant differential operators on differential forms $L^\ell_k$ which may be considered the generalisation to differential forms of the conformally invariant powers of the Laplacian known as the Paneitz and GJMS operators. On conformally Einstein manifolds we give explicit formulae for these as explicit factored polynomials in second order different… ▽ More There is a class of Laplacian like conformally invariant differential operators on differential forms $L^\ell_k$ which may be considered the generalisation to differential forms of the conformally invariant powers of the Laplacian known as the Paneitz and GJMS operators. On conformally Einstein manifolds we give explicit formulae for these as explicit factored polynomials in second order differential operators. In the case the manifold is not Ricci flat we use this to provide a direct sum decomposition of the null space of the $L^\ell_k$ in terms of the null spaces of mutually commuting second order factors. △ Less

Submitted 9 April, 2013; v1 submitted 22 November, 2012; originally announced November 2012.

Comments: minor changes; we correct typos, add further explanation and clarify the treatment of the higher order operators in the case of even dimensions; results unchanged

MSC Class: 53A30; 53C25; 53A55