arXiv subjects

Rod Gover

Publications and source records attributed to Rod Gover.

4 recordsLinked to original sources

arXiv2024

Higher Willmore Energies from tractor coupled GJMS operators

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.

math.DG↗

arXiv2014

Nearly K\"ahler Geometry and $(2,3,5)$-Distributions via Projective Holonomy

We show that any dimension $6$ nearly K\"ahler (or nearly para-K\"ahler) 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\"ahler 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\"ahler and nearly para-K\"ahler 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\"ahler 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\"ahler manifolds, including how the almost (para\nobreakdash-)complex structure and metric smoothly degenerate along the singular hypersurface to give the distribution there.

math.DG↗

arXiv2012

Conformal invariants from nodal sets. I. Negative Eigenvalues and Curvature Prescription

In this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators; more specifically, the GJMS operators, which include the Yamabe and Paneitz operators. We give several applications to curvature prescription problems. We establish a version in conformal geometry of Courant's Nodal Domain Theorem. We also show that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We prove that the Yamabe operator can have an arbitrarily large number of negative eigenvalues on any manifold of dimension $n\geq 3$. We obtain similar results for some higher order GJMS operators on some Einstein and Heisenberg manifolds. We describe the invariants arising from the Yamabe and Paneitz operators associated to left-invariant metrics on Heisenberg manifolds. Finally, in the appendix, the 2nd named author and Andrea Malchiodi study the $Q$-curvature prescription problems for non-critical $Q$-curvatures.

math.DG↗

arXiv2005

Prolongations of Geometric Overdetermined Systems

We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on the dimension of the solution space.

math.DG↗