Abstract
We construct the normal forms of null-Kähler metrics: pseudo-Riemannian metrics admitting a compatible parallel nilpotent endomorphism of the tangent bundle. Such metrics are examples of non-Riemannian holonomy reduction, and (in the complexified setting) appear on the space of Bridgeland stability conditions on a Calabi–Yau threefold. Using twistor methods we show that, in dimension four—where there is a connection with dispersionless integrability—the cohomogeneity-one anti-self-dual null-Kähler metrics are generically characterised by solutions to Painlevé I or Painlevé II ODEs.
Similar content being viewed by others
1 Introduction
A null-Kähler structure on a manifold \({\mathcal {X}}\) of real dimension 4n consists of a pseudo-Riemannian metric g of signature (2n, 2n), together with a rank 2n endomorphism N of \(T{\mathcal {X}}\) which, for all vector fields X, Y, satisfies
and is parallel with respect to the Levi–Civita connection of g.
There are three reasons for considering such structures. Firstly, they provide an example of a pseudo-Riemannian holonomy reduction with no Riemannan analogue [2, 6, 10, 19] (in the sense that a null-Kähler metric can not be analyticaly continued to Riemannian signature). Secondly, there exists a natural fibration of \({\mathcal {X}}\) ovesr a symplectic manifold of dimension 2n, such that the pull-back of the symplectic form to \({\mathcal {X}}\) agrees with the fundamental form \(\Omega \) defined by \(\Omega (X, Y)=g(NX, Y)\). This structure, albeit in the complexified setup and under the additional condition that g is hyper-Kähler, underlies the Bridgeland approach to stability conditions on a three-dimensional Calabi-Yau triangulated category [7,8,9]. Finally, in dimension four and under the additional anti-self-duality assumption, null-Kähler structures are characterised by solutions to a dispersionless integrable system [15].
In the next section we shall introduce null Hermitian structures on vector spaces, and in Sect. 3 we put these structures on manifolds. Our main result in Sect. 3 is the local normal form of the null-Kähler condition
Theorem 1.1
Let \(({\mathcal {X}}, g, N)\) be a 4n-dimensional null-Kähler manifold. There exist a local coordinate system \((x^i, y^i), i=1, \dots , 2n\) and a function \(\Theta :{\mathcal {X}}\rightarrow {\mathbb {R}}\) such that
Conversely, the structure (1.1) is null-Kähler for any function \(\Theta =\Theta (x^i, y^i)\).
Thus, in the real analytic category, a null-Kähler manifold depends on one arbitrary function of 4n variables. In Sects. 3.2 and 3.3 we shall list systems of PDEs satisfied by this function if the metric is Einstein or (complexified) hyper-Kähler together with examples.
In Sect. 4 we focus on oriented four-dimensional null-Kähler structures, with the natural choice of orientation which makes the fundamental form \(\Omega \) self-dual. While null-Kähler metrics with self-dual Weyl tensor can be found explicitly, the anti-self-duality condition on Weyl tensor corresponds to solutions to a 4th order dispersionless integrable system [15]. A problem of finding Ricci-flat null reduces to a non-integrable hyper-heavenly equation of Plebanski and Robinson [30].
In Sect. 5 we establish the main result of the paper. Imposing the invariance under the isometric action of SL(2) on anti-self-dual null-Kähler structures leads to an ODE. By exploring the connection between the twistor distribution and the isomonodromic Lax pair we shall show that this ODE is either completely solvable, or transforms to Painlevé I or Painlevé II.
Theorem 1.2
Let \(({\mathcal {X}}, g, N)\) be an anti-self-dual null-Kähler four-manifold with an isometric action of SL(2) with three-dimensional orbits, and preserving the endomorphism N. Then either the metric g is conformal to a Ricci-flat metric, or it can be put in the form
where the function \(t:{\mathcal {X}}\rightarrow {\mathbb {R}}\) parametrises the orbits of SL(2), and is constant on each orbit, \((\sigma ^1, \sigma ^2, \sigma ^3)\) are left-invariant one-forms on SL(2) which satisfy (5.6), \(\gamma \) is a symmetric 3 by 3 matrix and n is a vector with components given by (5.28), or depending on solutions of Painlevé I or Painlevé II as in (5.27) and (5.25).
Anti-self-dual SL(2) invariant Ricci-flat metrics in neutral signature are all known [17], so the novelty in Theorem 1.2 lies in the apperance of Painlevé equations in the conformal structures with no Ricci-flat representatives. The connection between the first two Painlevé transcendents, and anti-self-dual null-Kähler structures has twistorial origins: the additional structure on the twistor space \({{\mathcal {Y}}}\) of \({\mathcal {X}}\) which corresponds to the endomorophism N is a holomorphic section of \(\kappa ^{-1/4}\), where \(\kappa \) is the holomorphic canonical bundle of \({{\mathcal {Y}}}\). The isometric SL(2) action on \({{\mathcal {Y}}}\) also gives rise to such section if the holomorphic vector fields generating this action are linearly dependent at one point, to order four, on each twistor lines. This corresponds to the isomonodromic problem underlying Painlevé I and II.
2 Algebraic Preliminaries
Let V be a vector space over field \({\mathbb {F}}\), where \({\mathbb {F}}\) is \({\mathbb {R}}\) or \({\mathbb {C}}\).
Definition 2.1
A null structure on an even-dimensional vector space V is an endomorphism N of V such that
and \(\text{ rank }(N)=\frac{1}{2}\text{ dim }(V)\).
For reasons to become clear later (see Sect. 3) we shall chose \(\text{ dim }{(V)}=4n\), where n is an integer. The kernel of N is a 2n-dimensional subspace of V, and any basis of this kernel can be extended to a basis of V. A convenient way to do it is to pick 2n linearly independent vectors \((X_1, X_2, \dots , X_{2n})\) not in \(\text{ Ker }(N)\), and use
as a basis of V. We shall call this basis adapted to N. The matrix of N with respect to an adapted basis is
where \({\mathbb {I}}_{2n}\) is the \(2n\times 2n \) identity matrix.
Let N and \(N'\) be two null structures on vector spaces V and \(V'\) respectively. A linear map \(\phi :V\rightarrow V'\) is called null linear if
The sub-group \({{\mathcal {N}}} (V)\subset GL(V)\) of null-linear maps consists of matrices which commute with the matrix \(N_0\). These matrices are of the form
where A and B is an arbitrary \(2n\times 2n\) matrix over \({\mathbb {F}}\), and A is invertible.
Proposition 2.2
There is a one-to-one correspondence between the set of null structures on V, and the homogeneous space \(GL(V)/ {{\mathcal {N}}}(V)\).
Proof
Consider a GL(V) action of a space of null structures given by
Let N and \(N'\) be two null structures of V with adapted bases \((X_i, N(X_i)\) and \(({X'}_i, N({X'}_i))\) respectively, where \(i=1,\dots , 2n.\) Define the element \(\phi \in GL(V)\) by
Therefore \(N'=\phi N\phi ^{-1}\) and the action (2.3) is transitive. The isotropy subgroup is of this action is \({{\mathcal {N}}}(V)\), as \(N_0=\phi N_0\phi ^{-1}\) iff \(\phi \in {{\mathcal {N}}}(V)\). \(\square \)
Our elementary discussion has so far followed the standard treatment of complex structures [23], except the endomorphism N squares to 0 rather than \(-{\mathbb {I}}_{4n}\). The next step is to introduce the analog of Hermitian inner productsFootnote 1
Definition 2.3
A non-degenerate symmetric bi-linear inner product \(g:V\times V\rightarrow {\mathbb {F}}\) is called null-Hermitian if
for all \(X, Y \in V\), where N is a null structure of V.
If \({\mathbb {F}}={\mathbb {R}}\), then the signature of a null-Hermitian inner product is (2n, 2n), also called split, neutral or Kleinian. The definition 2.3 also implies \( g(X, NX)=0 \) and that \(\text{ Ker }(N)\) is a totally isotropic subspace of V.
To each null-Hermitian inner product we associate a skew-symmetric bi-linear map \(\Omega \in \Lambda ^2(V^*)\) defined by
Therefore \(\Omega \) vanishes on \(\text{ Ker }(N)\), and it equips the 2n-dimensional quotient vector space \(V/\text{Ker }(N)\) with a symplectic structure. In a basis adapted to N the inner product g and the skew-form \(\Omega \) are represented by
Example 2.1
Let W be a 2n-dimensional symplectic vector space with a symplectic form \(\omega \). The 4n-dimensional space \(V=W\oplus W\) carries a null-Hermitian structure defined by
where \((x, y, x', y')\in W\). This inner product has signature (2n, 2n) and it indeed satisfies (2.4) as
Example 2.2
Let V be a 4n-dimensional vector space over \({\mathbb {F}}={\mathbb {R}}\) with two null structures \(N_1, N_2\), such that
where \(\text{ Id }\) is the identity endomorphism on V. Then the endomorphisms
equip V with a pseudo-quaternionic structure. Indeed
If we instead consider V over \({\mathbb {F}}={\mathbb {C}}\) then \(I, J:=iS, K:=-iT\) form a complexified hyper-complex structure on V. Then \(\frac{1}{2}(I\pm iJ)\) are null structures on V.
3 Null Kähler Structures
Let \({\mathcal {X}}\) be a smooth manifold of real dimension 4n. We shall equip \({\mathcal {X}}\) with a null structure by smoothly extending such structure from each tangent space, and imposing integrability conditions.
Definition 3.1
A null structure N on \({\mathcal {X}}\) is an endomorphism \(N: T{\mathcal {X}}\rightarrow T{\mathcal {X}}\) such that \(N^2=0\), and the sub-bundle \({\mathcal {D}}\subset T{\mathcal {X}}\) consisting of vectors fields annihilated by N has rank 2n, and is Frobenius-integrable, i. e. \( [{\mathcal {D}}, {\mathcal {D}}]\subset {\mathcal {D}}. \)
The integrability condition holds if \(N[NX, NY]=0\) or equivalently if \( T(NX, Y)=0 \) for all vector fields X, Y, where
is the Nijenhuis tensor of N.
Null-structures are also called almost-tangent structures [37], and the following example shows why
Example 3.1
Let \({\mathcal {X}}=TM\) be the total space of the tangent bundle to a 2n dimensional manifold M. Let \(U\in \Gamma (TM)\) be a vector field on M. Recall [38] that the vertical lift \(U^V\) of U to TM is a section of T(TM) defined by
where \(f:TM\rightarrow {\mathbb {R}}\) is an arbitrary function, \(m\in M\) and \(u\in T_m M\). The canonical null structure on TM is the endomorphism \(N:T(TM)\rightarrow T(TM)\) defined by
where \(\pi _*\) is the tangent map to the bundle projection \(\pi :TM\rightarrow M\).
Let \((x^1, \dots , x^{2n})\) be local coordinates on M covering a neighbourhood of \(m\in M\), and \((y^1, \dots , y^{2n})\) be the natural coordinates on \(T_mM\) obtained by writing a tangent-vector as \(U=\sum _{i} y^i\frac{\partial }{\partial x^i}\). Then \((x^i, y^i)\) are local coordinates on TM. If
is a general vector field on TM, then (3.1) implies
Thus, in the natural coordinate system \((x^i, y^i)\) on TM the null structure is given by a (1, 1) tensorFootnote 2
Definition 3.2
A signature (2n, 2n) pseudo-Riemannian metric g on a manifold \({\mathcal {X}}\) with a null structure N is called null-Kähler if
where \(\nabla \) is the Levi–Civita connection of g.
The fundamental two-form \(\Omega \in \Lambda ^2(T^*{\mathcal {X}})\) defined by
is covariantly-constant, and therefore closed. It satisfies
This should be contrasted with the Kähler condition, where \(\Omega ^{\wedge 2n}\ne 0\), and justifies the terminology.
Example 3.2
Let \({\mathcal {X}}_{\mathbb {C}}\) be a complexified hyper-Kähler manifold, i.e. a complex manifold of complex dimension 4n with three holomorphic parallel complex structures I, J, K satisfying the algebra of quaternions and Hermitian with respect to a holomorphic metric g on \({\mathcal {X}}_{\mathbb {C}}\). Then \(N=\frac{1}{2}(I+iJ)\) is a (one of many) null-Kähler structure on \({\mathcal {X}}_{\mathbb {C}}\). This example underlies the occurrence of null structures in the geometric approach to Donaldson–Thomas invariants [7, 9].
In the Sect. 3.1 we shall present a canonical normal-form of null-Kähler metrics. In the rest of this section we list properties of such metrics which do not refer to any choices of coordinates.
Proposition 3.3
The Riemann curvature R, the Ricci curvature r and the Ricci scalar S of a null-Kähler metric satisfy
Proof
Formula (3.3a) follows directly from \(\nabla N=0\), and the definition of the curvature
To prove (3.3b) we use the (3.3a) together with the symmetry properties of the Riemannian curvature:
From its definition
The third formula (3.3c) then follows if we take \(V\in {\mathcal {D}}\) as, setting \(V=NU\), we have
Finally, to prove (3.3d) we shall compute \(S=\text{ Tr}_g(r)\) in the basis adapted to N, and regard r and \(g^{-1}\) as linear maps. The property (3.3c) implies that in this basis the matrix of r is of the form
The property (2.4) implies that the matrix of \(g^{-1}\) is of the form
for some block 2n by 2n matrices \(\Theta \) and \(\omega \) such that \(\omega \) is skew and non-degenerate. Therefore \(S=\text{ Tr }(g^{-1}\cdot r)=0\). \(\square \)
The next result relates null-Kähler structures to special holonomy, and manifolds with parallel spinors [2, 10]
Proposition 3.4
A null-Kähler manifold admits a canonical parallel pure spinor.
Proof
This is really a result in linear algebra which builds on a bijection between the set of pure semi-spinors in \(V={\mathbb {R}}^{2n, 2n}\) and the Grasmannian of totally null 2n-dimensional subspaces of V. Let \({{\mathcal {C}}}l(2n, 2n)\) be a real \(2^{4n}\)-dimensional Clifford algebra (see, e. g. [24]) of a null-Hermitian space \((V={\mathbb {R}}^{2n, 2n}, N)\). This algebra is generated by \(2^{2n}\times 2^{2n}\) matrices \(\gamma (X)\) subject to the relations
The multiplicative group \(\text{ Spin }(2n, 2n)\) is generated by all elements \(\gamma (X)\gamma (Y)\), where X, Y are vectors of squared norm \(\pm 1\). The spin space \({\mathbb {S}}\) is a reducible representation space of \(\text{ Spin }(2n, 2n)\). It can be decomposed as
where \({\mathbb {S}}_{\pm }\) are irreducible spaces of semi-spinors. It is a simple algebraic fact that any totally isotropic subspace of V has dimension at most 2n. A semi-spinor \(\iota \) is called pure iff
The system of equations underlying (3.4) is of rank 2n, and defines 2n-dimensional plane. This plane is totally isotropic as
so \(g(X, X)=0\). The space of totally isotropic planes in \({\mathbb {R}}^{2n, 2n}\) has two components defined by a pure element of \({\mathbb {S}}_+\) and \({\mathbb {S}}_-\) respectively. A pure semi-spinor \(\iota \) is annihilated by \(\gamma (X_1)\gamma (X_2)\cdots \gamma (X_{2n})\in {\mathcal Cl}(2n, 2n)\) where \(X_1, \cdots , X_{2n}\) span a totally null plane. Therefore \(\iota \) corresponds to an element of the Grassmann algebra \(\xi \in \Lambda ^{2n}(V^*)\) such that \(\xi \wedge \xi =0\), and the assertion of the Proposition follows because \(\xi \) is defined by a null-Hermitian structure \( \xi =\Omega ^{\wedge n}, \) and therefore is parallel. \(\square \)
If \(n=1\) then all semi-spinors are pure. The first non-trivial case corresponds to 8-dimensional null-Hermitian structures.
3.1 Null Kähler Potential
In this section we shall find a canonical normal form of a null-Kähler metric, and express it in terms of second derivatives of one arbitrary function on \({\mathcal {X}}\).
Proof of Theorem 1.1
Let
be a 2n-dimensional quotient manifold by the kernel of the 2n-dimensional integrable distribution \({\mathcal {D}}\) of vector fields annihilated by N. Locally we regard \({\mathcal {X}}\) is the tangent bundle to M, and in the coordinate system of Example 3.1 the endomorphism N is
where \((x^1, \dots , x^{2n})\) are local coordinates on M, and \((y^1, \dots , y^{2n})\) are linear coordinates on fibres of \(TM\rightarrow M\). The distribution \({\mathcal {D}}=\text{ span }\{\partial /\partial y^1, \dots , \partial /\partial y^{2n}\}\) is totally isotropic, and therefore there exists a collection of functions on \({\mathcal {X}}\)
such that \(\Theta _{ij}=\Theta _{ji}\) and
Evaluating the null-Kähler condition (3.2) on coordinate vector fields shows that
We now impose the parallel condition \(\nabla N=0\), where N is given by (3.5). The \(dy^i\otimes dx^j\) components of \(\nabla N\) vanish iff
so that \(\omega _{ij}=\omega _{ij}(x)\), and
is a symplectic form on M. Locally there exists a diffeomorphism of M to a Darboux coordinate system \({\tilde{x}}={\tilde{x}}(x)\) such that
The transformation of \({\mathcal {X}}=TM\) induced by this diffeomorphism is
and it preserves the form of N, as \(N=\sum _i d\tilde{x}^i\otimes \partial /\partial \tilde{y}^i\). We shall use this Darboux coordinate system from now on, and drop tildes. This has an effect of reducing \(\omega _{ij}\) to a constant symplectic matrix as in (1.1). We now move on the vanishing of \(dx^i\otimes dx^j\) components in \(\nabla N\). This is equivalent to
which gives the integrability conditions for the existence of 2n function \(\Theta _1, \dots , \Theta _{2n}\) on \({\mathcal {X}}\) such that
The symmetry condition \(\Theta _{ij}=\Theta _{ji}\) implies the existence of a single function \(\Theta =\Theta (x, y)\) such that
This puts the metric (3.6) in the canonical form (1.1). \(\square \)
The local normal form (1.1) is not invariant under general diffeomorphisms of \({\mathcal {X}}\). The subgroup of the pseudogroup of all diffeomorphisms changing coordinates \((x^i, y^i)\) as well as \(\Theta \), while preseving (1.1) is a semi-direct product of \(\text{ SDiff(M) }\) and \(\Gamma (M)\), where the symplectomorphisms \(\text{ SDiff }(M)\) of M act on \({\mathcal {X}}=TM\) by a Lie lift, and \(\Gamma (M)\) acts on the fibres of TM by translations. The details are as follows: Let Y be a vector field on \({\mathcal {X}}\) generating a one-parameter group of diffeomorphisms. The conditions
imply
where \(\omega ^{ij}\) is the inverse matrix of \(\omega _{ij}\), i. e. \(\omega ^{ik}\omega _{kj}={\delta ^i}_j\), and \((H, T^1, \dots , T^{2n})\) are arbitrary functions of \((x^1, \dots , x^{2n})\). Set
Using
we find that the action generated by Y preserves the form of g, i. e.
if
where \((Q_1, \dots , Q_{2n}, R)\) are arbitrary functions of \(x^i\).
3.2 Null-Kähler Einstein Metrics
Computing the Ricci tensor of a null-Kähler metric in the form (1.1) we find
where
The Ricci-flat condition on g therefore reduces to a system of fourth order PDEs on \(\Theta \) which can be integrated twice to give a single second orde PDE on \(\Theta \)
where \((G, F_1, \dots , F_{2n})\) are arbitrary functions of \(x^i\). Applying the Cauchy–Kovalevskaya theorem shows that in the real-analytic category the general Ricci-flat null Kähler metric depends on two arbitrary functions of \(4n-1\) variables and some number of functions of 2n variables.
Example 3.3
It can be explicitly verified that for
the linear and non-linear terms in (3.8) vanish separately resulting in \(f=0\). The resulting metric
is therefore null-Kähler, and Ricci-flat. This metric with \(n=1\) is the Sparling-Tod H-space [31].
3.3 Complex Hyper-Kähler Metrics with Affine Symplectic Fibrations
In the complexified setting the coordinates \((x^i, y^i)\) are holomorphic on the complex manifold \({\mathcal {X}}_{\mathbb {C}}\) of complex dimension 4n. If \(\Theta =\Theta (x, y)\) satisfies the system of PDEs
then the metric (1.1) is complexified hyper-Kähler. In [9] it was shown that if \((M_{\mathbb {C}}, \omega )\) is a complexifed symplectic manifold of complex dimension 2n, and g is a complexified hyper-Kähler metric on \({\mathcal {X}}_{\mathbb {C}}=TM_{\mathbb {C}}\) such that the null-Kähler two-form
then g is locally of the form (1.1), where \(\Theta \) satisfies the system (3.11).
The system (3.11) consists of some of the flows of the hyper-Kähler hierarchy [14, 32]. It implies the Frobenius integrability
for the rank-2n distribution spanned by
on \({\mathcal {X}}_{\mathbb {C}}\times \mathbb {CP}^1\), where \(\lambda \) is the affine coordinate on \(\mathbb {CP}^1\).
Vanishing of the Lie brackets (3.12) gives a weaker set of conditionsFootnote 3
for some skew \(C_{ij}\). If \(n=1\) then a transformation \(\Theta \rightarrow \Theta +\sum _{i}y^iQ_i(x)\) can be used to set \(C_{ij}\) to zero. For general n this only seems possible if the two-form \(\sum _{i, j}C_{ij}dx^i\wedge dx^j\) is closed. In [9] it has been argued that for any n the conditions (3.13) together with the additional assumption that the function \(\Theta \) is odd in the fibre variables \((y^1, \dots , y^{2n})\) imply (3.11).
Geometrically, \(\lambda \) labels the 2n-dimensional surfaces (the \(\alpha \)-surfaces in the twistor approach [14]) through each point of \({\mathcal {X}}_{\mathbb {C}}\). The twistor space of \(({\mathcal {X}}_{\mathbb {C}}, g)\) is the space of these \(\alpha \)–surfaces. It is a complex manifold of complex dimension \(2n+1\), which arises as the quotient of \({\mathcal {X}}_{\mathbb {C}}\times \mathbb {CP}^1\) by the distribution spanned by \(l_i\). The points in \({\mathcal {X}}_{\mathbb {C}}\) correspond to rational curves in \({{\mathcal {Y}}}\) with normal bundle \({\mathbb {C}}^{2n}\otimes {\mathcal {O}}(1)\), where \({\mathcal {O}}(1)\) is the line bundle with Chern class 1 on \(\mathbb {CP}^1\). In [14] this twistor correspondence has been extended to the full hyper-Kähler hierarchy.
Example 3.4
A strong Joyce structure has, in [8], been defined to be a solution \(\Theta \) of the system (3.11) subject to three additional conditions:
-
(1)
\(\Theta \) is odd in the variables \(y^i\).
-
(2)
\(Z\equiv \sum _ix^i\frac{\partial }{\partial x^i}\) is a homothetic Killing vector field such that
$$\begin{aligned} {{\mathcal {L}}}_Z g=g, \quad {{\mathcal {L}}}_Z \Theta =-\Theta . \end{aligned}$$ -
(3)
The metric is invariant under the lattice transformations
$$\begin{aligned} y^i\rightarrow y^i+2\pi \sqrt{-1}, \quad i=1, \dots , 2n. \end{aligned}$$
An example of a solution to (3.11) which also satisfies the three conditions above is
The resulting metric is non-flat, and is an example of a Ricci-flat plane wave.
3.4 Conformal invariance
In four dimension the restricted conformal transformations, where the conformal factor is constant along the distribution \({{\mathcal {D}}}=\text{ Ker }(N)\), preserve the null-Kähler condition: If \(F=F(x^1, x^2)\), and
This conformal invariance is not present in other dimensions: for \(F^k\Omega \) to be closed we need \(k=0\), and then \({\hat{\nabla }}\Omega =0\) implies \(F=\text{ const }\).
3.5 Walker structures
Recall that a distribution \({{\mathcal {D}}}\) on a pseudo-Riemannian manifold \({\mathcal {X}}\) is called parallel if \(\nabla _Y X\in \Gamma ({{\mathcal {D}}})\) for all \(X\in \Gamma ({{\mathcal {D}}})\) and \(Y\in \Gamma (T{\mathcal {X}})\). The pseudo-Riemannian manifolds admitting a parallel distribution of rank equal to half of the manifold dimension are called the Walker manifolds [5], and it was shown by Walker [36], that locally a Walker metric is of the form (3.6) for some functions \(\Theta _{ij}\). The null-Kähler manifolds form a subclass of the Walker manifolds, where \(\Theta _{ij}\) is a Hessian of one function. Indeed, any vector field in \({{\mathcal {D}}}\) is of the form N(X) for some \(X\in \Gamma (T{\mathcal {X}})\), and we have
4 Four Dimensions
The author has first came across the null-Kähler structures when investigating twistor theory and integrability of a certain fourth order PDE in four dimensions [15]. In four dimensions the existence of a maximal rank parallel endomorphism N with \(N^2=0\) is equivalent to existence of a parallel semi-spinor, i. e. a parallel section of a rank-two symplectic vector bundle which we chose to be \({\mathbb {S}}_+\rightarrow {\mathcal {X}}\) where
is a canonical bundle isomorphism, and \({\mathbb {S}}_-\) is another rank-2 symplectic vector bundle. This isomorphism is related to the metric on \({\mathcal {X}}\) by
where \(v_1, v_2\in \Gamma ({\mathbb {S}}_+)\) and \(w_1, w_2\in \Gamma ({\mathbb {S}}_-)\), and \(\varepsilon _{\pm }\) are symplectic structures on \({\mathbb {S}}_\pm \) which are parallel with respect to \(\nabla \). The Hodge \(*\) operator is an involution on two-forms, and induces a decomposition
of two-forms into self-dual (SD) and anti-self-dual (ASD) components. Given a parallel section of \({\mathbb {S}}_+\), another isomorphism
implies the existence of a parallel self-dual two-form \(\Omega \) such that \(\Omega \wedge \Omega =0\). This two-form, together with g define the nilpotent endomorphism N by (2.5).
In four dimensions there are three non-linear systems of PDEs, one of them completely solvable, one integrable, and one not-integrable, which can be imposed on the null structure. Before writing these systems down in coordinates of Theorem (1.1) recall [1] that in four dimensions the Riemann tensor of g can be regarded as a map \({\mathcal {R}}: \Lambda ^{2}(T^*{\mathcal {X}}) \rightarrow \Lambda ^{2}(T^*{\mathcal {X}})\) which admits a decomposition under the splitting (4.2):
Here \(C_{\pm }\) are the SD and ASD parts of the Weyl tensor, \(r_0\) is the trace-free Ricci curvature, and S is the scalar curvature which acts by scalar multiplication. We are now ready to present the three systems of PDEs
4.1 Self-dual null-Kähler
The condition \(C_-=0\) is equivalent to
Therefore the most general self-dual null-Kähler metric in four dimensions is of the form (1.1) with
where the functions \(\Gamma _{ijk}\) depend only on \((x^1, x^2)\), as the coordinate freedom (3.7) can be used to remove the quadratic and linear terms from \(\Theta \). The resulting metric is a Walker’s projective extension [17] of a projective structures on the surface \(M={\mathcal {X}}/{\mathcal {D}}\).
4.2 Anti-self-dual null-Kähler
The condition \(C_+=0\) is equivalent to a 4th order PDE for \(\Theta \):
where subscripts denote partial derivatives, i. e. \(\Theta _{x^1}=\partial \Theta /\partial x^1\) etc. Note that \(\Delta _g\) is the Laplace–Beltrami operator of the metric g, and the expression for f agrees with the general formula (3.8). This equation is integrable by twistor transform [15], the dressing method [3], and the Manakov–Santini inverse scattering transform [39]. The general solution depends on 4 functions of 3 variables. It has recently been shown to arise from a second-order integrable Lagrangian [18].
4.3 Null-Kähler Einstein
As the scalar curvature of null-Kähler manifolds always vanishes, the Einstein condition is equivalent to the vanishing of the Ricci tensor of g. The resulting second order PDE (3.9) on \(\Theta \) is the hyper-heavenly equation of Plebański and Robinson [30] for non-expanding metrics with self-dual Weyl tensor \(C_+\) of type \(\mathbf{N}\). (Recall that \(({\mathcal {X}}, g)\) is called hyper-heavenly if the self-dual Weyl tensor is algebraically special, i. e. has a repeated root when regarded as a binary quartic. Type \(\mathbf{N}\) corresponds to a repeated root of order 4).
4.4 Heavenly equation
Imposing the Einstein condition together with the anti-self-duality of the Weyl tensor reduces the 4th order Eq. (4.5) to a second order PDE
This is Plebański’s second heavenly equation [29]. The resulting metric is pseudo-hyper-Kähler.
5 Anti-self-duality and Isomonodromy
In this section we shall assume that \(({\mathcal {X}}, N, g)\) is a null-Kähler four-manifold with anti-self-dual Weyl curvature which is cohomogeneity-one, i. e. there exists an isometry group G acting transitively on three-dimensional surfaces in \({\mathcal {X}}\). The four-dimensional cohomogeneity-one metrics can be classified according to the Bianchi type of the three-dimensional real Lie algebra of G. Locally \({\mathcal {X}}={\mathbb {R}}\times G\) and the ASD cohomogeneity-one null-Kähler condition reduces to solving a system of ODEs. To write this system down, and recognise it as the isomonodromy problem for Painlevé I and II if \(G=SL(2)\), we shall use the twistor methods [15, 28]. We shall therefore work in the holomorphic category, and assume that \({\mathcal {X}}_{\mathbb {C}}\) is a complex oriented four-manifold, and (N, g) are holomorphic.
Definition 5.1
An \(\alpha \)-surface is two-dimensional surface \(\zeta \subset {\mathcal {X}}_{\mathbb {C}}\) such that for all \(p \in {\mathcal {X}}_{\mathbb {C}}\) the tangent space \(T_p\xi \) is a totally null plane with self-dual tangent bi-vector.
The Nonlinear Graviton theorem of Penrose [28] states that there locally exist a three-parameter family of \(\alpha \)-surfaces iff the self-dual part of the Weyl tensor of g vanishes. The twistor space \({{\mathcal {Y}}}\) of an ASD four-manifold is defined to be the space of \(\alpha \)-surfaces. It is a three-dimensional complex manifold with a four-parameter family of rational curves with normal bundle \({\mathcal {O}}(1)\oplus {\mathcal {O}}(1)\). The points of the three-dimensional twistor space \({{\mathcal {Y}}}\) are \(\alpha \)-surfaces in \({\mathcal {X}}_{\mathbb {C}}\): There is a rational curve \(L_p\cong \mathbb {CP}^1\) worth of such surfaces through each point \(p\in {\mathcal {X}}_{\mathbb {C}}\), and therefore points in \({\mathcal {X}}_{\mathbb {C}}\) correspond to rational curves in \({{\mathcal {Y}}}\). The conformal structure on \({\mathcal {X}}_{\mathbb {C}}\) is defined by declaring two points \(p_1, p_2 \in {\mathcal {X}}_{\mathbb {C}}\) to be null-separated iff the corresponding rational curves in \({{\mathcal {Y}}}\) intersect at one point.
The correspondence between \({\mathcal {X}}_{\mathbb {C}}\) and \({{\mathcal {Y}}}\) can be expressed in the the double fibration picture (see e.g. [26]).
where the five-complex-dimensional correspondence is defined by
where \(L_p\) is the rational curve in \({{\mathcal {Y}}}\) that corresponds to \(p\in {X_{\mathbb {C}}}\), and \(\zeta \in {{\mathcal {Y}}}\) lies on \(L_p\). The twistor space arises as a quotient of \({{\mathcal {F}}}\) by a two-dimensional integrable distribution spanned by the vector fields
where \(\lambda \) is an affine coordinate on \(\mathbb {CP}^1\), the functions \(f_1, f_2\) on \({{\mathcal {F}}}\) are cubic in \(\lambda \), and \(E_{ij}\) are four independent holomorphic vector fields on \({\mathcal {X}}_{\mathbb {C}}\) such that the conformal structure defined by the contravariant metric
The Frobenius integrability condition
is equivalent to the anti-self-duality condition \(C_+=0\) on \({\mathcal {X}}_{\mathbb {C}}\). If the integrability condition holds then there is a \(\mathbb {CP}^1\)-worth of \(\alpha \)-surfaces spanned by \(\{ E_{11} - \lambda E_{12}, E_{21} - \lambda E_{22}\}\) through any point in \({\mathcal {X}}_{\mathbb {C}}\). If all vectors \(E_{ij}\) are real then the signature of g is (2, 2), and there exists an \(\mathbb {RP}^1\)-worth of real \(\alpha \)-surfaces through each point of a real four-manifold \({\mathcal {X}}\). The null-Kähler condition on top of anti-self-duality gives rise to an additional structure on the twistor space:
Theorem 5.2
[15] Let \({{\mathcal {Y}}}\) be a three-dimensional complex manifold with
-
(1)
A four-parameter family of rational curves with normal bundle \({\mathcal {O}}(1)\oplus {\mathcal {O}}(1)\).
-
(2)
A preferred section of \(\kappa ^{-1/4}\) where \(\kappa \) is the holomorphic canonical bundle of \({{\mathcal {Y}}}\).
-
(3)
An anti-holomorphic involution \(\rho : {{\mathcal {Y}}}\rightarrow {{\mathcal {Y}}}\) fixing a real equator of each rational curve, and leaving the section of \(\kappa \) above invariant.
Then the real moduli space \({\mathcal {X}}\) of the \(\rho \)-invariant curves is equipped with a restricted conformal class [g] of anti-self-dual null-Kähler metrics: if \(g\in [g]\), and \(\Omega \) is a null-Kähler two-form, then \(({\hat{g}}=F^2g, {\hat{\Omega }}=F^3\Omega )\) is also null-Kähler for any function F such that \(dF\wedge \Omega =0\).
Conversely, given a real analytic ASD null-Kähler metric, there exists a corresponding twistor space \({{\mathcal {Y}}}\) with the above structures.
If one is only interested in the complexified picture, where g and N are holomorphic on \({\mathcal {X}}_{\mathbb {C}}\), then condition (3) in Theorem 5.2 can be dropped.
From now on we shall additionally assume that there exists a three-dimensional complex Lie group G acting on \({\mathcal {X}}_{\mathbb {C}}={\mathbb {C}}\times G\) by isometries with generically three-dimensional orbits. We shall make a choice for G, and take it to be \(SL(2, {\mathbb {C}})\) (or \(SL(2, {\mathbb {R}})\) if \({\mathcal {X}}\) is a real four-manifold with a (2, 2) metric). Its Lie algebra is generated by the left invariant vector fields \(L_1, L_2, L_3\) on G which satisfy
The conformal isometries are generated by the right-invariant vector fields \(R_\alpha , \alpha =1, 2, 3\) on G. The metric on \({\mathcal {X}}_{\mathbb {C}}\) will be expressed in terms of the left-invariant one-forms \(\sigma ^1, \sigma ^2, \sigma ^3\) on SL(2) such that
and
The G-action on \({\mathcal {X}}_{\mathbb {C}}\) maps \(\alpha \)-surfaces to \(\alpha \)-surfaces and thus gives rise to a holomorphic group action of G on the twistor space \({{\mathcal {Y}}}\). Let the \({\widetilde{R}}_\alpha , \alpha =1, 2, 3\) be holomorphic vector fields on \({{\mathcal {Y}}}\) generating this action and corresponding to \(R_\alpha \). Consider a quartic
where \(\text{ vol}_{{\mathcal {Y}}}\) is a holomorphic volume form on the twistor space with values in \({\mathcal {O}}(4)\). This quartic vanishes at each twistor line at four points, where the holomorphic vector fields corresponding to the isometries become linearly dependent. We shall, form now on assume that the four zeros of the quartic coincide, and so s gives a preferred section of \(\kappa ^{-1/4}\). The corresponding conformal structure therefore contains a null-Kähler structure by Theorem 5.2. We shall first need to establish two technical results about the quartic (5.7), as the canonical form of the metric depends on whether s vanishes identically, or not.
Proposition 5.3
If the quartic (5.7) vanishes identically then the conformal class containing g is hyper-complex, or equivalently if there exists a holomorphic fibration of \({{\mathcal {Y}}}\) over \(\mathbb {CP}^1\) such that the twistor curves are sections of this fibration.
Proof
We shall first introduce some notation. Let \(\pi ^i=[\pi ^1, \pi ^2]\) be homogeneous coordinates on \(\mathbb {CP}^1\)-fibres of the bundle \({\mathbb {P}}({\mathbb {S}}_+)\) such that \(\lambda =-\pi ^2/\pi ^1\) in the patch where \(\pi ^1\ne 0\), and let \(\pi _i=\sum _{j}\varepsilon _{ji}\pi ^j\). Assemble the frame in (5.2) into a vector-valued two by two matrix E with components \(E_{ij}\) so that the twistor distribution \({{\mathcal {D}}}_{{\mathcal {Y}}}\equiv {\mathcal {O}}(-1)\otimes {\mathbb {C}}^2\) given by (5.2) takes the form
For this to be homogeneous of degree 1 in \(\pi \) the functions \((f_1, f_2)\) need to be sections of \({\mathcal {O}}(3)\). Let \(e^{ij}\) be a frame of one-forms dual to \(E_{ij}\) so that , and the metric is given by
In the double fibration picture (5.1) the quartic s pulls back to a quartic on \({{\mathcal {F}}}\) given by
where \(\text{ vol }\) is the holomorphic volume form on \({\mathcal {X}}_{\mathbb {C}}\) such that \(\text{ vol }( E_{11}, E_{21}, E_{12}, E_{22})=1\), and we have chosen to work in an invariant frame, where the lifts of \(R_\alpha \)s to the correspondence space \({{\mathcal {F}}}\) are given by \(R_\alpha \)s. Such a frame always exists, as given a cohomogeneity-one metric of the form (5.3) we can choose a frame of one-forms \(e^{ij}\) which are linear combinations of the left invariant one-forms on on G, and dt. Here t is a function on such that the surfaces of constant t are the orbits of SL(2), and so dtis normal to the surfaces of homogeneity. The coefficients of this combination only depend on t, so the self-dual two-forms
constructed from the frame \(e^{ij}\) are also G-invariant. Therefore the lift of the SL(2) action to the bundle \({\mathbb {S}}_+\) is trivial, but the correspondence space is the projectivisation of this bundle.
Define \(T_{ij}\) by
where we have used \(d=\sum _{i, j} e^{ij}\otimes E_{ij}\). Let \(\text{ vol }=dt\wedge \text{ vol}_{SL(2)}\), so that
Therefore, using (5.9),
where \(\varepsilon _-\) is the symplectic structure on \({{\mathbb {S}}_-}^*\). Using \(e^{ij}(l_m, \cdot )={\delta ^i}_m\pi ^j\) gives
If the invariant frame \(E_{ij}\) is also such that \(f_1=f_2=0\), then \(q^*(s)\) given by (5.10) is identically zero. In [13] it was shown that a frame with \(f_1=f_2=0\) (and therefore a holomorphic fibration \({{\mathcal {Y}}}\rightarrow \mathbb {CP}^1\) [4, 11, 21]) exists iff g is hyper-complex. Therefore the hyper-complex condition is necessary for the vanishing of s. \(\square \)
Remarks
6 5.1
A complexified hyper-Hermitian (which in four dimensions is equivalent to complexified hyper-complex) structure on \({\mathcal {X}}_{\mathbb {C}}\) is a triple of holomoprhic Hermitian endomorphisms I, J, K of \(T{\mathcal {X}}_{\mathbb {C}}\) which satisfy the algebra of quaternions. If \(J=iS, K=-iT\), and I, S, T are all real, then they form a pseudo-hyper-Hermitian structure on split-signature real four-manifold \({\mathcal {X}}\). The endomorphism I endows \({\mathcal {X}}\) with the structure of a two-dimensional complex Kähler manifold, and so does every other complex structure \(aI+bS+cT\) parametrised by the points of the hyperboloid
7 5.2
The converse of Proposition 5.3 does not hold: if g is ASD and Ricci-flat (and therefore hyper-complex) but the SL(2) action rotates the covariantly constant self-dual two forms, then s does not vanish. That is to say the covariantly constant frame does not have to be invariant. The basis of two-forms in an invariant frame (which, as we have argued, always exists) is not covariantly constant and so \(f_1\) and \(f_2\) will not vanish. ASD Taub-NUT or the Atiyah-Hitchin metrics are both examples illustrating this phenomenon. We can however say more if the isometric group action preserves the null-Kähler structure:
Lemma 5.4
If \(({\mathcal {X}}_{\mathbb {C}}, g, N)\) is a cohomogeneity-one SL(2) invariant null-Kähler structure which is Ricci flat, and such that N is preserved by the group action, then the quartic s vanishes identically.
Proof
Let \(\iota \in \Gamma ({\mathbb {S}}_+)\) be the covariantly constant spinor defining N. Then \(\iota \) must be in a linear combination of the covariantly constant basis of \({\mathbb {S}}_+\) (which exists for ASD metrics iff they are Ricci flat) with constant coefficients (or it can not be parallel). Therefore the null structure N belongs to the hyperboloid (5.11) of complex structures defined by the covariantly constant basis. The group SL(2) acts on this hyperboloid, and we require that it fixes N. But this implies that it must fix all other points of the hyperboloid (as otherwise the Lie algebra relations would be violated). Therefore the covariantly constant frame is also invariant and \(s=0\). \(\square \)
8 5.3
Proposition 5.3 was established by Hitchin who used representation-theoretic arguments [20] under an additional assumption that the twistor space admits a real structure which singles out a Riemannian real section of \({\mathcal {X}}_{\mathbb {C}}\). In these circumstances the quartic s either vanishes identically, or it admits two repeated roots, or all four roots are distinct. This assumption is not valid in the context of null-Kähler structures and split signature metrics.
Lemma 5.5
If \(({\mathcal {X}}_{\mathbb {C}}, g)\) is hyper-Hermitian, and null-Kähler, then the metric g is conformal to a Ricci-flat metric.
Proof
We shall use the formulation of the hyper-Hermitian condition due to Boyer [4], which is also applicable in the complexified setting [13]: a metric on \({\mathcal {X}}_{\mathbb {C}}\) is hyper-Hermitian if and only if there exists a basis \((\Sigma ^1, \Sigma ^2, \Sigma ^2)\) of \({\Lambda ^2}_+\) such that
for some one-form A. Moreover a hyper-Hermitian g is locally conformal to Ricci-flat iff A closed. The formula (5.12) together with the isomorphism (4.3) imply the existence of a basis \((o, \rho )\) of \(\Gamma ({\mathbb {S}}_+)\) such that
Let \(\iota \in \Gamma ({\mathbb {S}}_+)\) be the covariantly constant spinor defining N. Then \(\iota = h_1 o+h_2 \rho \) for some functions \(h_1, h_2\) on \({\mathcal {X}}_{\mathbb {C}}\). But then
gives \(h_1=\text{ const }\cdot h_2\) and \(A=-d\ln {(h_1)}\) so g is conformal to a Ricci-flat metric. \(\square \)
Proposition 5.6
Let g be an SL(2)-invariant cohomogeneity-one metric with anti-self-dual Weyl tensor on \({\mathcal {X}}_{{\mathbb {C}}}\), such that the quartic (5.7) does not identically vanish. Then the quartic vanishes on each twistor line at one point to order 4 if and only if there exists a null-Kähler structure N (compatible with some metric in the conformal class of g) which is Lie-derived by the SL(2) action.
Proof
First assume that the quartic s vanishes to order 4. Therefore its pull-back (5.8) to \({{\mathcal {F}}}\) factories as
where \([\pi ]\) are homogeneous coordinates on the fibres of \({\mathbb {P}}({\mathbb {S}}_+)\) and \(\iota \) is a section of \({\mathbb {S}}_+\). This is a pull-back from \({{\mathcal {Y}}}\), so it is constant along the twistor distribution (5.2), i. e.
which implies that \(\iota \) satisfies the rank-one conformally invariant twistor equation
where \(\nabla \) is the spin connection on \({\mathbb {S}}_+\) induced by the Levi–Civita connection of g. In [15] it was shown that in this case there exists a conformal rescaling
such that \({\hat{\iota }}\) is parallel with respect to the Levi–Civita connection of \({\hat{g}}\). This section defines the null-Kähler structure via the isomorphism (4.3).
Conversely, let us assume that N is an SL(2)-invariant null-Kähler structure. Then, by Theorem 5.2, N gives rise to a divisor line bundle over \({{\mathcal {Y}}}\) given by a canonical section of \(\kappa ^{-1/4}\). The zero-set of this section pulls back to the hypersurface
in \({{\mathcal {F}}}\), where \(\Omega \) is the fundamental two-form of N given by (2.5), and \(l_1, l_2\) span the twistor distribution. As N is invariant under the SL(2) action, the holomorphic vector fields \({\widetilde{R}}_\alpha , \alpha =1, 2, 3\) on \({{\mathcal {Y}}}\) preserve the canonical section of \(\kappa ^{-1/4}\), and so are tangent to the surface of vanishing (5.15), or equivalently
where \(\iota \) is the section of \({\mathbb {S}}_+\) corresponding, via (4.3), to N. Every twistor line intersects this surface at one point given, in homogeneous coordinates, by \([\pi ]=[\iota ]\). Therefore the quartic s (which by assumption does not vanish identically) vanishes at this point to order 4. \(\square \)
We are now going to use the structure of the twistor distribution (5.2) to establish Theorem 1.2 from the introduction.
Proof of Theorem 1.2
Let \(t:{\mathcal {X}}_{\mathbb {C}}\rightarrow {\mathbb {C}}\) be a function parametrising the orbits of \(G=SL(2)\) in \({\mathcal {X}}_{\mathbb {C}}\) such that
We can choose coordinates on G such thatFootnote 4
where \(\gamma \) is a symmetric 3 by 3 matrix and n is a vector with components depending on t.
We can express the frame \(E_{ij}\) in the distribution (5.2) in terms of the vector field \(\partial _t\), and three linearly independent vector fields P, Q, R tangent to G which are t-dependent and invariant under left translations. A convenient choice which gives rise to the general metric of the form (1.2) is
The invariance condition implies that the functions \(f_1\) and \(f_2\) in (5.2) are constant on G, and so depend only on \(\lambda \) and t. The quartic s is proportional to \((f_1-\lambda f_2)\). By Proposition (5.6) it must have a quadrupole zero which can be moved to \(\lambda =\infty \) by a Möbius transformation. Using the freedom in the frame rotations of the frame we set \((f_1=-1, f_2=0)\) so that
Now consider a pair of linear combinations of \(l_1\) and \(l_2\) (5.2) given by
Since the conformal class is anti-self-dual, the integrability condition (5.4) implies that \([m_1, m_2] =0,\) modulo \(m_1\) and \(m_2.\) As the Lie bracket \([m_1, m_2]\) does not contain \(\partial _\lambda \) or \(\partial _t,\) it must be identically zero which yields
where \({\dot{P}}=dP/dt\) etc.
The system (5.18) underlies the isomonodromic problem with irregular singularity of order four. To make this transparent we shall use the representation of \(\mathfrak {sl}(2)\) by 2 by 2 matrices rather than vector fields, and make the replacements
The associated the Lax pair (5.17) is the isomonodromic Lax pair for Painlevé II if P is diagonalisable, and is gauge equivalent to the isomonodromic Lax pair for Painlevé I or leads to a solvable equation if P is nilpotent. The system (5.18) underlies the isomonodromic problem with irregular singularity of order four. To set this problem up consider a \(2\times 2\) matrix
where \(\lambda \in \mathbb {CP}^1\), and P, Q, R are elements of a matrix Lie algebra \({\mathfrak {g}}=\mathfrak {sl}(2)\) which also depend on a parameter t. When t is allowed to vary on the complex plane, the matrix fundamental solution \(\Psi \) of the ODE
depends on \(\lambda \) and t. The monodromy around the pole of order four at \(\lambda =\infty \) does not depend on t if \(\Psi \) satisfies [22]
The compatibility conditions
for the overdetermined linear system (5.19) reduce to system of nonlinear matrix ODEs (5.18) for (P, Q, R). We shall follow the seminal work of [25, 26]—but make different gauge choices—to reduce this system further to a single ODE. There are three gauge equivalence classes to consider. The first two lead to Painlevé ODEs and the last one is completely solvable.
-
If P is diagonalisable, and \({\mathfrak {g}}=\mathfrak {sl}(2, {\mathbb {C}})\), then without loss of generality we can take [22, 26]
$$\begin{aligned} P=2L_1, \quad R= uL_2-2\frac{z}{u} L_3, \quad Q=(2z+t)L_1-uy L_2 -\frac{2yz+\frac{1}{2}-\alpha }{u} L_3, \end{aligned}$$where u, y and z are functions of t. Equations (5.18) become
$$\begin{aligned} {\dot{u}}=-yu, \quad {\dot{z}}=-2yz+\alpha -\frac{1}{2}, \quad {\dot{y}}=z+y^2+ \frac{t}{2}, \end{aligned}$$which imply
$$\begin{aligned} \ddot{y}=2y^3+ty+\alpha , \end{aligned}$$(5.21)where \(\alpha \) is a constant parameter. This is the Painlevé II equation.
-
If P is nilpotent, then (as it is also constant) we can chose it to be \(L_2\). Assume that \(\text{ Tr }(PR)\ne 0\), and perform a gauge transformation
$$\begin{aligned} {{\mathcal {A}}}\rightarrow \gamma {{\mathcal {A}}}\gamma ^{-1}+\partial _\lambda \gamma \cdot \gamma ^{-1}, \quad {{\mathcal {B}}}\rightarrow \gamma {{\mathcal {B}}} \gamma ^{-1}+\partial _t\gamma \cdot \gamma ^{-1} \end{aligned}$$with the group element \(\gamma =\gamma (t)\) such that
$$\begin{aligned} \partial _t \gamma \cdot \gamma ^{-1}= yP, \quad \text{ where }\quad y\equiv \frac{1}{8}\text{ Tr }(R^2). \end{aligned}$$Then
$$\begin{aligned} P=L_2, \quad R= yL_2+4L_3, \quad Q=-2z L_1+\Big (y^2+\frac{t}{2}\Big )L_2-4yL_3 \end{aligned}$$and
$$\begin{aligned} {{\mathcal {B}}}=\frac{\partial }{\partial t}-\frac{1}{2}(R+yL_2)-\frac{1}{2}\lambda P. \end{aligned}$$The compatibility conditions (5.20) give
$$\begin{aligned} {\dot{y}}=z, \quad {\dot{z}}=6y^2+t\quad \text{ so } \text{ that }\quad \ddot{y}=6y^2+t \end{aligned}$$(5.22)which is the Painlevé I equation.
-
Finally let us consider the case where P is nilpotent, and \(\text{ Tr }(PR)\)=0. We shall set \(P=L_2\), as in the case leading to (5.22), and consider
$$\begin{aligned} R=\sum _{\alpha } r_{\alpha }(t) L_{\alpha }, \quad Q=\sum _{\alpha } q_{\alpha }(t) L_{\alpha }, \quad r_3=\text{ Tr }(PR)=0 \end{aligned}$$for some functions \(r_\alpha , q_\alpha , \alpha =1, 2, 3\) of t. The 3rd equation in (5.18) gives
$$\begin{aligned} q_1=-2{\dot{r}}_2, \quad {\dot{r}}_1=q_3. \end{aligned}$$The 2nd equation in (5.18) gives
$$\begin{aligned} 2\ddot{r}_1+{\dot{r}}_1r_1=0, \quad 2\ddot{r}_2+{\dot{r}}_1r_2=0, \quad 2{\dot{q}}_2-2r_2{\dot{r}}_2-q_2r_1-1=0. \end{aligned}$$(5.23)The first of these equations has a singular solution \(r_1=\text{ const }\) which eventually leads to a degenerate tetrad (5.16). We therefore focus on the regular solution, and absorb two constants of integrations in \(r_1\) into an affine transformation of t which results in a constant rescaling of the metric. The remaining two equations can also be solved:
$$\begin{aligned} r_1= & {} 4\tanh {(t)}, \quad r_2=(a+bt)r_1-4b,\\ q_2= & {} \frac{1}{4}\sinh {(2t)}-\frac{d}{dt}\Big ((a+bt)r_2\Big )+c\cdot \cosh {(t)}^2, \end{aligned}$$where a, b, c are the remaining constants of integration.
Now we shall construct the conformal classes corresponding to Painlevé I and Painlevé II equations, and in each case find a null-Kähler metric in the conformal class. These structures will be expressed in terms of left-invariant one-forms (5.6). Each conformal class is represented by a covariant metric dual to (5.3)
The null-Kähler two-form \(\Omega \) can be read off from the divisor quartic (5.7). In the spinor-form
where \(\iota \in \Gamma ({{\mathbb {S}}_+}^*)\) is the parallel spinor. When regarded as a section of \({\mathbb {P}}({{\mathbb {S}}_+}^*)\) it gives a point on \(\mathbb {CP}^1\) which is the quadruple root of the quartic (5.7). In our case this gives \(\Omega \) proportional to \(e^ {11}\wedge e^{21}\). The proportionality factor will be found together with the conformal factor for the metric which makes \(\Omega \) parallel.
9 5.4
For Painlevé II the one-forms dual to the tetrad (5.16) are
The unique conformal factor which makes the null-Kähler two-from parallel is
so that
and the metric is given by (1.2) with
The Weyl tensor is ASD if Painlevé II holds.
10 5.5
In the case of Painlevé I, we first read-off the tetrad form the form of \({{\mathcal {A}}}\) and \({{\mathcal {B}}}\) to be
Computing the dual tetrad gives
and rescalling the resulting metric and two-form by \(k=16z(t)\) gives
This is the only scaling factor which makes \(\Omega \) closed. Using the same conformal factor for the metric yields and g in the form (1.2) with
The two-form \(\Omega \) is now parallel, as
where we used (5.22). The null-Kähler structure is given by
Computing the self-dual part of the Weyl tensor we find that it vanishes as a consequence of Painlevé I
11 5.6
Computing the dual tetrad in the case (5.23) gives
and rescaling the resulting metric and two-form by \(k=8\sinh {(t)}/\cosh {(t)}^3\) gives
This is the only scaling factor which makes \(\Omega \) closed. Using the same conformal factor for the metric yields g in the form (1.2) with
The two-form \(\Omega \) is parallel and the Weyl tensor is anti-self-dual. The Ricci-tensor is
\(\square \)
Remarks
12 5.7
All solutions to PI are transcendental, and PII admits solutions expressible in terms of know functions only for integer and half-integer values of the parameter \(\alpha \). These will lead to explicit metrics. On the other hand all metrics arising from (5.28) are explicit. The simplest is obtained by setting \(a=b=c=0\). Setting \(\tau =\tanh {(t)}\) gives
13 5.8
The null-Kahler structures arising from PI and and PII can be distinguished by examining the restriction of kernel of the endomorphism N to the orbits of SL(2). In the PI case, this kernel—when regarded as the element of the Lie algebra of SL(2) is nilpotent, but in the PII case it is not. This can be seen directly from (5.26) and (5.24). The kernel of N spans a 2-parameter of \(\alpha \)-surfaces in \({\mathcal {X}}_{\mathbb {C}}\) which, at the twistor level, corresponds to a divisor hypersurface \({{\mathcal {N}}}\subset {{\mathcal {Y}}}\) which meets each twistor line to order 4. This hypersurface is preserved by the \(SL(2, {\mathbb {C}})\) action on the twistor space, so \(\exists \tau \in \mathfrak {sl}(2)\) s. t. \(\phi (\tau )=0\) where \(\phi \) is the vector bundle homomorphism [20]
The element \(\tau \) is nilpotent in the case of Painlevé I and the solvable example, and semisimple in the case of Painlevé II.
14 5.9
The usual form of cohomogeneity-one metrics [20, 33,34,35] is
This arises from a frame of the form
Following the argument above which lead to the Lax pair (5.17) gives the system of ODEs [12]
together with the isomonodromic Lax pair \([m_1, m_2]=0\), where
where now
The gauge transformation
with \(\gamma =\gamma (t)\) such that \(\gamma ^{-1}\cdot {\dot{\gamma }}=\frac{1}{4}R\) brings this Lax pair to the form (5.17), and the system (5.29) to the form (5.18). Indeed, we can verify that \({\widetilde{P}}\equiv \gamma \cdot P\cdot \gamma ^{-1}\) is constant, and the other two equations also hold with \({\widetilde{Q}}\equiv \gamma \cdot Q\cdot \gamma ^{-1}\) and \({\widetilde{R}}\equiv \gamma \cdot R\cdot \gamma ^{-1}\). Thus the two forms of the metric are equivalent by a diffeomorphism.
15 5.10
The isomonodromic Lax pair (5.17) arising as the combination of \((l_1, l_2)\) can be constructed invariantly using the notation from the proof of Proposition 5.3 as follows: Let T be the vector field dual to dt with respect to the isomorphism between tangent and cotangent bundle given by the metric. This vector is normal to the orbits of SL(2), and is given by \(T=\sum _{i, j} T^{ij} E_{ij}\) in the frame \(E_{ij}\). First note that
by symmetry. This implies that
where the second term on the RHS is tangent to the orbits of SL(2), so is in the span of the left-invariant vector fields and does not contain \(\partial /\partial t\). Using (5.10) we identify the multiple of \(\partial /\partial \lambda \) as the quartic s. Assuming that this quartic is not identically zero we define an \({\mathcal {O}}(-2)\)-valued vector field
The second vector field \(m_2\) does not contain the \(\partial /\partial \lambda \) terms, and is defined by
This agrees with (5.17). If the metric is given by (1.2), then
where \(\gamma ^{\alpha \beta }(t)\) is the inverse matrix of \(\gamma _{\alpha \beta }(t)\).
16 5.11
Selecting a one-parameter family of transformations \({\mathbb {R}}^{*}\) in \(SL(2, {\mathbb {R}})\) generated by a non-null Killing vector K reduces the null-Kähler ASD conditions to an Einstein–Weyl structure in 2+1 dimension which additionally admits a parallel weighted null vector field. Such structures correspond to solutions of the dispersionless Kadomtsev-Petviashvili equation, and in [16], such solutions were constructed and shown to be constant on central quadrics and expressed in terms of solutions to Painlevé I or Painlevé II.
17 5.12
If the Lie algebra \({\mathfrak {g}}\) underlying (5.18) is instead the Bianchi II algebra then the isomonodromic condition is the (derivative of ) the Airy equation (see [12], where a class of ASD null-Kähler four manifolds has been constructed). In [20, 27] it was instead assumed that the quartic s has four distinct zeros, and that \(G=SL(2, {\mathbb {C}})\) which lead to the isomonodromic Lax pair [22] for Painlevé VI. If s has two double zeroes then the conformal class contains an Einstein metric [20, 34], and the isomonodromic Lax pair leads to Painlevé III.
Notes
The natural next step in the theory of complex structures is to introduce a complexification, where multiplication by complex numbers is given in terms of the complex structure J by \((a+ib)X=a+b J(X)\), where \(X\in V, a, b \in {\mathbb {R}}\) and \(i^2=-1\). Pursuing this analogy for null structures leads to dual numbers in place of complex numbers. The algebra \({\mathbb {D}}\) of dual numbers consists of elements of the form
$$\begin{aligned} a+\epsilon \; b, \quad \text{ where }\quad a, b\in {\mathbb {R}}\, \quad \text{ and }\quad \epsilon ^2=0. \end{aligned}$$The dual numbers can be added, and multiplied according to
$$\begin{aligned} (a_1+\epsilon \; b_1)(a_2+\epsilon \; b_2)=a_1 a_2+\epsilon \;(a_1b_2+b_1 a_2), \quad (a_1+\epsilon \;b_1)+(a_2+\epsilon \;b_2)=a_1+a_2+\epsilon \; (b_1+b_2), \end{aligned}$$but \({\mathbb {D}}\) is not a division algebra, as elements of the form \(\epsilon \; b\) do not have inverses. The infinitesimal dual number \(\epsilon \) underlies non-standard analysis, as it gives a framework to distinguish between real numbers like 1, and \(0.999\dots \) which are regarded as equal in ordinary analysis.
A real vector space V with a null structure N can be turned into a vector space \(V^{{\mathbb {D}}}\) over \({\mathbb {D}}\) by defining
$$\begin{aligned} (a+\epsilon b) X=aX+b N(X), \quad \text{ where }\quad X\in V\quad \text{ and }\quad a, b \in {\mathbb {R}}. \end{aligned}$$In what follows we shall not explore any further connection between null structures and dual numbers, but will instead focus on null structures on curved manifolds.
There is another, equivalent definition of this canonical null structure which we shall now describe. We have defined vertical lifts of vector fields to the tangent bundle. We can also define vertical lifts of functions: if \(h:M\rightarrow {\mathbb {R}}\), then \(h^V=h\circ \pi \) is a function on TM. Vertical lifts of all tensor fields are defined by \((P\otimes Q)^V=P^V\otimes Q^V\). In particular the vertical lift of the identity endomorphism of TM to T(TM) is given by N.
Note that \(\sum _{i, j}\omega ^{ij}H_{ij}=2f\). Therefore (3.13) implies Ricci-flatness, but the converse is not true.
References
Atiyah, M.F., Hitchin, N.J., Singer, I.M.: Self-duality in four-dimensional Riemannian geometry. Proc. R. Soc. Lond. Ser. A 362, 425–461 (1978)
Baum, H., Kath, I.: Parallel spinors and holonomy groups on pseudo-Riemannian spin manifolds. Ann. Glob. Anal. Geom. 17, 1–17 (1999)
Bogdanov, L.V., Dryuma, V.S., Manakov, S.V.: Dunajski generalization of the second heavenly equation: dressing method and the hierarchy. J. Phys. A Math. Theor. 40, 14383–14393 (2007)
Boyer, C.: A note on hyperhermitian four-manifolds. Proc. Am. Math. Soc. 102, 157–164 (1988)
Brozos-Vazquez, M., Garcia-Rio, E., Gilkey, P., Nikcevic, S., Vazquez-Lorenzo, R.: The Geometry of Walker Manifolds. Synthesis Lectures on Mathematics and Statistics, Morgan and Claypool (2009)
Bérard-Bergery, L., Ikemakhen, A.: Sur l’holonomie des variétés pseudo-Riemanniennes de signature \((n, n)\). Bull. Soc. Math. France 125, 93–114 (1997)
Bridgeland, T.: Geometry from Donaldson–Thomas invariants (2019). arXiv:1912.06504
Bridgeland, T., Masoero, D.: On the monodromy of the deformed cubic oscillator (2020). arXiv:2006.10648
Bridgeland, T., Strachan, I.A.B.: Complex hyperkähler structures defined by Donaldson–Thomas invariants (2020). arXiv:2006.13059
Bryant, R.L.: Pseudo-Riemannian metrics with parallel spinor fields and vanishing Ricci tensor. In: Global Analysis and Harmonic Analysis, Seminar and Congress, vol. 4, pp. 53–94. Soc. Math. France, Paris (2000)
Calderbank, D.: Integrable background geometries. Sigma 10, 34 (2014)
Cole, M., Dunajski, M.: Twistor theory of the airy equation. SIGMA 10, 037 (2014). arXiv:1401.0025
Dunajski, M.: The twisted photon associated to hyper-hermitian four manifolds’. J. Geom. Phys. 30, 266–281 (1999)
Dunajski, M., Mason, L.J.: Twistor theory of hyper-Kähler metrics with hidden symmetries. J. Math. Phys. 44, 3430–3454 (2003)
Dunajski, M.: Anti-self-dual four-manifolds with a parallel real spinor. Proc. R. Soc. Lond. A 458, 1205–1222 (2002)
Dunajski, M., Tod, K.P.: Einstein–Weyl spaces and dispersionless Kadomtsev–Petviashvili equation from Painlevé I and II. Phys. Lett. A303, 253–264 (2002)
Dunajski M., Tod, K. P.: Non-diagonal four-dimensional cohomogeneity-one Einstein metrics in various signatures Diff. Geom. Appl. 54, 11-30 (2017). arXiv:1609.02747
Ferapontov, E., Pavlov, M., Xue, L.: Second-order integrable Lagrangians and WDVV equations (2020). arXiv:2007.03768
Galaev, A., Leistner, T.: Recent developments in pseudo-Riemannian holonomy theory. IRMA Lect. Math. Theor. Phys. 16, 581–627 (2010)
Hitchin, N.J.: Twistor spaces, Einstein metrics and isomonodromic deformations. J. Differ. Geom. 42, 30–112 (1995)
Hitchin, N.J.: Hypercomplex manifolds and the space of framings. In: Hugget, et al. (eds.) The Geometric Universe. OUP (1998)
Jimbo, M., Miwa, T.: Monodromy preserving deformations of linear ordinary differential equations with rational coefficients. II. Physica 2D, 407–448 (1981)
Kobayashi, S., Nomizu, K.: Foundations of Differential Geometry, vol. 2. Interscience Publishers, Geneva (1969)
Lawson, H.B., Michelsohn, M.L.: Spin Geometry. Princeton Math. Series, vol. 38. Princeton University Press, Princeton (1989)
Mason, L.J., Woodhouse, N.M.J.: Self-duality and the Painlevé transcendents. Nonlinearity 6, 569 (1993)
Mason, L.J., Woodhouse, N.M.J.: Integrability. Self-duality and Twistor Theory. LMS Monograph, OUP, Oxford (1996)
Maszczyk, R., Mason, L.J., Woodhouse, N.M.J.: Selfdual Bianchi metrics and the Painlevé transcendents. Class. Quant. Grav. 11, 65–71 (1994)
Penrose, R.: Nonlinear gravitons and curved twistor theory. Gen. Rel. Grav. 7, 31–52 (1976)
Plebański, J.F.: Some solutions of complex Einstein equations. J. Math. Phys. 16, 2395–2402 (1975)
Plebański, J.F., Robinson, I.: Left-degenerate vacuum metrics. Phys. Rev. Lett. 37, 493–495 (1976)
Sparling, G.A., Tod, K.P.: An example of an H-space. J. Math. Phys. 22, 331–332 (1981)
Takasaki, K.: An infinite number of hidden variables in hyper-Kähler metrics. J. Math. Phys. 30, 1515 (1989)
Tod, K.P.: Self-dual Einstein metrics from the Painlevé VI. Phys. Lett. A 190, 221–224 (1994)
Tod, K.P.: Scalar-flat Kähler and hyper-Kähler metrics from Painlevé III. Class. Quantum Grav. 12, 1535–1547 (1995)
Tod, K.P.: Cohomogeneity-one metrics with self-dual Weyl tensor. In: Huggett, S. (ed.) Twistor Theory. Lect. Notes Pure Appl. Math., vol. 169. Marcel Dekker, New York (1995)
Walker, A.G.: Canonical form for a Riemannian space with a parallel field of null planes. Quart. J. Math. Oxf. 1, 69 (1950)
Yano, K., Davies, E.T.: Differential geometry on almost tangent manifolds. Ann. Mat. Pura Appl. 103, 131–160 (1975)
Yano, K., Ishihara, S.: Tangent and Cotangent Bundles: Differential Geometry. Dekker, New York (1973)
Yi, G., Santini, P.M.: The inverse spectral transform for the Dunajski hierarchy and some of its reductions, I: Cauchy problem and longtime behavior of solutions. J. Phys. A Math. Theor. 48, 215203 (2015)
Acknowledgements
I am grateful to Centro de Investigacion y de Estudios Avanzados in Mexico for the hospitality 19 years ago, when most of the results in Sect. 3 were obtained. My interest in the subject has been revived after I came across the works of Bridgeland [7, 8], and Bridgeland and Strachan [9], where a null-Kähler structure implicitly arises on the space of stability conditions on a Calabi-Yau three-fold tirangulated category. My work has been partially supported by STFC consolidated Grants ST/P000681/1, ST/T000694/1.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by S. Gukov.
Dedicated to Jenya Ferapontov on the occasion of his 60th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dunajski, M. Null Kähler Geometry and Isomonodromic Deformations. Commun. Math. Phys. 391, 77–105 (2022). https://doi.org/10.1007/s00220-021-04270-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04270-0