Anti-self-dual conformal structures with null Killing vectors from projective structures
Maciej Dunajski, Simon West
备注：
43 pages, 4 figures. Theorem 2 has been improved: ASD metrics are given in terms of general projective structures without needing to choose special representatives of the projective connection. More examples (primary Kodaira surface, neutral Fefferman structure) have been included. Algebraic type of the Weyl tensor has been clarified. Final version, to appear in Commun Math Phys
Using twistor methods, we explicitly construct all local forms of four--dimensional real analytic neutral signature anti--self--dual conformal structures $(M,[g])$ with a null conformal Killing vector. We show that $M$ is foliated by anti-self-dual null surfaces, and the two-dimensional leaf space inherits a natural projective structure. The twistor space of this projective structure is the quotient of the twistor space of $(M,[g])$ by the group action induced by the conformal Killing vector.
We obtain a local classification which branches according to whether or not the conformal Killing vector is hyper-surface orthogonal in $(M, [g])$. We give examples of conformal classes which contain Ricci--flat metrics on compact complex surfaces and discuss other conformal classes with no Ricci--flat metrics.
We study the relation between the existence of null conformal Killing vector fields and existence of compatible complex and para-hypercomplex structures on a pseudo-Riemannian manifold with metric of signature (2,2). We establish first the topological types of pseudo-Hermitian surfaces admitting a nowhere vanishing null vector field. Then we show that a pair of orthogonal, pointwise linearly independent, null, conformal Killing vector fields defines a para-hyperhermitian structure and use this fact for a classification of the smooth compact four-manifolds admitting such a pair of vector fields…
We prove that a compact quaternionic-Kähler manifold of dimension $4n\geq 8$ admitting a conformal-Killing 2-form which is not Killing, is isomorphic to the quaternionic projective space, with its standard quaternionic-Kähler structure.
The complex projective space $\mathbb C P^2$ of complex dimension $2$ has a Spin$^c$ structure carrying Kählerian Killing spinors. The restriction of one of these Kählerian Killing spinors to a surface $M^2$ characterizes the isometric immersion of $M^2$ into $\mathbb C P^2$ if the immersion is either Lagrangian or complex.
We study the existence of a non-spacelike isometry, ζ, in higher dimensional Kundt spacetimes with constant scalar curvature invariants (CSI). We present the particular forms for the null or timelike Killing vectors and a set of constraints for the metric functions in each case. Within the class of N dimensional CSI Kundt spacetimes, admitting a non-spacelike isometry, we determine which of these can admit a covariantly constant null vector that also satisfy ζ_{[a;b]} = 0.
We use the general theory developed in our article arXiv:1208.5510 in the setting of parabolic geometries to reprove known results on special infinitesimal automorphisms of projective and conformal geometries.
It is of interest to study supergravity solutions preserving a non-minimal fraction of supersymmetries. A necessary condition for supersymmetry to be preserved is that the spacetime admits a Killing spinor and hence a null or timelike Killing vector field. Any spacetime admitting a covariantly constant null vector field ($CCNV$) belongs to the Kundt class of metrics, and more importantly admits a null Killing vector field. We investigate the existence of additional non-spacelike isometries in the class of higher-dimensional $CCNV$ Kundt metrics in order to produce potential solutions that pres…
In this paper we report on a local classification of four dimensional Ricci solitons which have a $2$-dimensional Abelian Killing algebra $\mathcal{G}_{2}$, whose Killing leaves are non-null and orthogonally intransitive. The classification is obtained under the following additional assumptions: (i) the curvature vector field, of the submersion defined by $\mathcal{G}_{2}$, is a null vector field; (ii) $\mathcal{G}_{2}$ has a null vector; (iii) the vector field of the Ricci soliton is tangent to the Killing leaves and a symmetry of the orthogonal distribution. Since there are only few examples…
We give a detailed account of the geometric correspondence between a smooth complex projective quadric hypersurface $\mathcal{Q}^n$ of dimension $n \geq 3$, and its twistor space $\mathbb{PT}$, defined to be the space of all linear subspaces of maximal dimension of $\mathcal{Q}^n$. Viewing complex Euclidean space $\mathbb{CE}^n$ as a dense open subset of $\mathcal{Q}^n$, we show how local foliations tangent to certain integrable holomorphic totally null distributions of maximal rank on $\mathbb{CE}^n$ can be constructed in terms of complex submanifolds of $\mathbb{PT}$. The construction is ill…
We present a definition of null G-structures on Lorentzian manifolds and investigate their geometric properties. This definition includes the Robinson structure on 4-dimensional black holes as well as the null structures that appear in all supersymmetric solutions of supergravity theories. We also identify the induced geometry on some null hypersurfaces and that on the orbit spaces of null geodesic congruences in such Lorentzian manifolds. We give the algebra of diffeomorphisms that preserves a null G-structure and demonstrate that in some cases it interpolates between the BMS algebra of an as…
The Einstein Equation on 4-dimensional Lorentzian manifolds admitting recurrent null vector fields is discussed. Several examples of a special form are constructed. The holonomy algebras, Petrov types and the Lie algebras of Killing vector fields of the obtained metrics are found.
We prove that the Cauchy problem for parallel null vector fields on smooth Lorentzian manifolds is well posed. The proof is based on the derivation and analysis of suitable hyperbolic evolution equations given in terms of the Ricci tensor and other geometric objects. Moreover, we classify Riemannian manifolds satisfying the constraint conditions for this Cauchy problem. It is then possible to characterise certain holonomy reductions of globally hyperbolic manifolds with parallel null vector in terms of flow equations for Riemannian special holonomy metrics. For exceptional holonomy groups thes…
The first half of the thesis concerns Abelian vortices and Yang-Mills (YM) theory. It is proved that the 5 types of vortices recently proposed by Manton are symmetry reductions of (A)SDYM equations with suitable gauge groups and symmetry groups acting as isometries in a 4-manifold. As a consequence, the twistor integrability results of such vortices can be derived. It is presented a natural definition of their kinetic energy and thus the metric of the moduli space was calculated by the Samols' localisation method. Then, a modified version of the Abelian-Higgs model is proposed in such a way th…
We determine the geometry of supersymmetric heterotic string backgrounds for which all parallel spinors with respect to the connection $\hat\nabla$ with torsion $H$, the NS$\otimes$NS three-form field strength, are Killing. We find that there are two classes of such backgrounds, the null and the timelike. The Killing spinors of the null backgrounds have stability subgroups $K\ltimes\bR^8$ in $Spin(9,1)$, for $K=Spin(7)$, SU(4), $Sp(2)$, $SU(2)\times SU(2)$ and $\{1\}$, and the Killing spinors of the timelike backgrounds have stability subgroups $G_2$, SU(3), SU(2) and $\{1\}$. The former admit…
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 solu…
We determine the space of commuting symmetries of the Laplace operator on pseudo-Riemannian manifolds of constant curvature, and derive its algebra structure. Our construction is based on the Riemannian tractor calculus, allowing to construct a prolongation of the differential system for symmetric Killing tensors. We also discuss some aspects of its relation to projective differential geometry.
The simple structure of doubly torqued vectors allows for a natural characterization of doubly twisted down to warped spacetimes, as well as Kundt spacetimes down to PP waves. For the first ones the vectors are timelike, for the others they are null. We also discuss some properties, and their connection to hypersurface orthogonal conformal Killing vectors, and null Killing vectors.
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…
These are notes on some algebraic geometry of complex projective curves, together with an application to studying the contact curves in CP^3 and the null curves in the complex quadric Q^3 in CP^4, related by the well-known Klein correspondence. Most of this note consists of recounting the classical background. The main application is the explicit classification of rational null curves of low degree in Q^3. I have recently received a number of requests for these notes, so I am posting them to make them generally available.
Let $Σ$ be a closed minimal surface immersed in a Riemannian 3-manifold carrying an orthonormal Killing frame. This class of ambient spaces includes Lie groups with a bi-invariant metric. In this paper, we prove that the sum of the Morse index and the nullity of $Σ$ is bounded from below by a constant times its genus.
In the first part of this paper, we give a global description of simply connected maximal Lorentzian surfaces whose group of isometries is of dimension 1 (i.e. with a complete Killing field), in terms of a 1-dimensional generally non-Hausdorff manifold (the space of Killing orbits) and a smooth function defined there. In the second part, we study the completeness of such surfaces and prove in particular that under the hypothesis of bounded curvature, completeness is equivalent to null completeness. We also give completeness criterions involving the topological structure of the space of Killing…
In the present paper, we consider the Hodge-de Rham Laplacian that acts on conformal Killing and projective Killing one-forms of a compact Riemannian manifold.
We propose a way to classify all supersymmetric configurations of D=11 supergravity using the G-structures defined by the Killing spinors. We show that the most general bosonic geometries admitting a Killing spinor have at least a local SU(5) or an (Spin(7)\ltimes R^8)x R structure, depending on whether the Killing vector constructed from the Killing spinor is timelike or null, respectively. In the former case we determine what kind of local SU(5) structure is present and show that almost all of the form of the geometry is determined by the structure. We also deduce what further conditions mus…
Integrable Killing tensors are used to classify orthogonal coordinates in which the classical Hamilton-Jacobi equation can be solved by a separation of variables. We completely solve the Nijenhuis integrability conditions for Killing tensors on the sphere $S^3$ and give a set of isometry invariants for the integrability of a Killing tensor. We describe explicitly the space of solutions as well as its quotient under isometries as projective varieties and interpret their algebro-geometric properties in terms of Killing tensors. Furthermore, we identify all Stäckel systems in these varieties. Thi…
We show that the Euclidean Kerr-NUT-(A)dS metric in $2m$ dimensions locally admits $2^m$ hermitian complex structures. These are derived from the existence of a non-degenerate closed conformal Killing-Yano tensor with distinct eigenvalues. More generally, a conformal Killing-Yano tensor, provided its exterior derivative satisfies a certain condition, algebraically determines $2^m$ almost complex structures that turn out to be integrable as a consequence of the conformal Killing-Yano equations. In the complexification, these lead to $2^m$ maximal isotropic foliations of the manifold and, in Lor…
We establish an upper estimate for the small eigenvalues of the twisted Dirac operator on Kahler submanifolds in Kahler manifolds carrying Kahlerian Killing spinors. We then compute the spectrum of the twisted Dirac operator of the canonical embedding \CP^d \rightarrow \CP^n in order to test the sharpness of the upper bounds
We revisit the problem of extension of a Killing vector field in a spacetime which is solution to the Einstein-Maxwell equation. This extension has been proved to be unique in the case of a Killing vector field which is normal to a bifurcate horizon by Yu. Here we generalize the extension of the vector field to a strong null convex domain in an electrovacuum spacetime, inspired by the same technique used by Ionescu-Klainerman in the setting of Ricci flat manifolds. We also prove a result concerning non-extendibility: we show that one can find local, stationary electrovacuum extension of a Kerr…
We prove that holomorphic normal projective connections on compact complex surfaces are flat. We show that a holomorphic torsion-free affine connection $\nabla$ on a compact complex surface is locally modelled on a translations-invariant affine connection on $\C^2$, except if $\nabla$ is a generic connection on a principal elliptic bundle over a Riemann surface of genus $g \geq 2$, with odd first Betti number. In the last case, the local Killing Lie algebra is of dimension one, generated by the fundamental vector field of the principal fibration.
We wish to attack the problems that H.~Anciaux and K.~Panagiotidou posed in [1], for non-degenerate real hypersurfaces in indefinite complex projective space. We will slightly change these authors' point of view, obtaining cleaner equations for the almost contact metric structure. To make the theory meaningful, we construct new families of non-degenerate Hopf real hypersurfaces whose shape operator is diagonalisable, and one Hopf example with degenerate metric and non-diagonalisable shape operator. Next, we obtain a rigidity result. We classify those real hypersurfaces which are $η$-umbilical.…
