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 certain rank-n affine bundles M over n-dimensional manifolds endowed with projective structures.
Similar content being viewed by others
1 Introduction
There are several notions of compactifications of a (pseudo) Riemannian manifold (M, g). In a conformal compactification \((\overline{M},\overline{g})\), one has that \(\overline{M}\) is a manifold with boundary such that M is the interior of \(\overline{M}\), and there is a defining function T for the boundary such that the metric \(\overline{g}=T^2g\) smoothly extends to the boundary \(\partial M\) of \(\overline{M}\) (T being a defining function for \(\partial M\) means that \(\partial M=\mathcal {Z}(T):=\{p\in \overline{M}~:~T(p)=0\}\) and \(\mathrm{d}T\) is nowhere zero on \(\partial M\).) The geodesics of g do not correspond to geodesics of \(\overline{g}\), but the angles are preserved. This kind of compactification has proven to be useful in studying the causal structure of space times in general relativity [21], and quantum field theory [23]. It also underlies formulating the boundary conditions [22] of conformally invariant field equations like the Yang–Mills theory where the curvature decay rate on \(\mathbb {R}^4\) is equivalent to the connection extending to a one-point compactification \(\overline{\mathbb {R}}^4=\mathbb {R}^4\cup \{\infty \}=S^4\). In this case, the round metric on \(S^4\) is conformally equivalent to a flat Euclidean metric on \(\mathbb {R}^4\).
The conformal compactification is not available or not natural for many complete metrics that one may want to compactify, which motivates a search for other compactification mechanisms. In a projective compactification of a pseudo-Riemannian manifold [6], the unparametrised geodesics of (M, g) smoothly extend to a boundary \(\partial M\) of the manifold \(\overline{M}=M\cup \partial M\) (see Sect. 2 for definitions). In general, this manifold does not carry a metric, but only an affine connection \(\overline{\nabla }\) belonging to the projective equivalence class containing the Levi–Civita connection of g. This kind of compactification is naturally applicable to scattering problems [19].
There are two related concepts of compactifications: In a c-projective compactification [7] of an almost complex manifold (M, J) with complex connection \(\nabla \), the compactifying connection \(\overline{\nabla }\) belongs to the c-projective equivalence class of \(\nabla \), i.e. \(\nabla \) and \(\overline{\nabla }\) preserve J, have the same torsion, and share the same J-planar curves (see §3 for definitions). In the para-c-projective compactification which we shall introduce in Sect. 3, the endomorphism \(J:TM\rightarrow TM\) squares to identity. The boundary \(\partial M\) acquires a contact structure, and a conformal metric on the contact distribution.
This paper is organised as follows. In Sect. 2, we shall review the notion of the projective compactification and show that the Eguchi–Hanson gravitational instanton can be projectively compactified. We shall then introduce the notion of a metric projective compactification, where the connection \(\overline{\nabla }\) is the Levi–Civita connection of some metric \(\overline{g}\) on \(\overline{M}\). We shall prove (Theorem 2.4) that a metric cone over a (pseudo)-Riemannian manifold admits a metric projective compactification. In Sects. 3 and 4, we shall construct a para-c-projective compactification of a neutral signature Einstein metric g defined on a projectivised tractor bundle M of any projective structure (Theorems 4.2 and 4.3). The model for this construction will be the compactification of \(M=SL(n+1)/GL(n)\) which corresponds to the flat projective structure on \({\mathbb {RP}}^n\).
2 Metric and non-metric projective compactifications
In this section, we shall introduce the concept of a metric projective compactification of a manifold M with an affine connection \(\nabla \) and give some examples of metric and non-metric projective compactifications.
Definition 2.1
An affine connection \(\nabla \) on M admits a projective compactification of order \(\alpha \) to a manifold with boundary \(\overline{M}=M\cup \partial M\) if there exists a function \(T:\overline{M}\rightarrow \mathbb {R}\) such that \(T=0\) is the boundary \(\partial M\subset \overline{M}\), the differential \(\mathrm{d}T\) does not vanish on \(\partial M\), and a projectively equivalent connection \(\overline{\nabla }\) on M defined by
with
extends smoothly to \(\partial M\).
In [6], it was shown that if \(\nabla \) is the Levi–Civita connection of a (pseudo)-Riemannian metric g on M, then a sufficient condition for a projective compactification of order \(\alpha >0\) (such that \(2/\alpha \in \mathbb {Z}\)) to exist is that near the boundary \(\mathcal {Z}(T)\) the metric g can be put in the form
for some h which smoothly extends to the boundary \(\mathcal {Z}(T)\) and restricts to a pseudo-Riemannian metric there, and some constant C. Moreover if g is Ricci-flat, and a projective compactification exists, then necessarily \(\alpha =1\).
In the examples below, we shall make use of a stronger notion of metric projective compactifications
Definition 2.2
A projective compactification from Definition 2.1 is metric if \(\overline{\nabla }\) is the Levi–Civita connection of some (pseudo)-Riemannian metric \(\overline{g}\) on \(\overline{M}\).
2.1 Example: Flat Space
Consider a flat metric on \(\mathbb {R}^n\) of the form
where \(\gamma _{S^{n-1}}\) is the round metric on a sphere \(S^{n-1}\) with Ricci scalar equal to \((n-1)(n-2)\). Setting \(T=r^{-1}\) puts \(g_{\text{ flat }}\) in the form (2.2), but the resulting connection (2.1) is not metricFootnote 1. To construct a metric projective-compactification consider a defining function given by
The metric \(g_{\text{ flat }}\) takes the form
and h reduces to \(\gamma _{S^{n-1}}\) on the boundary \(\mathcal {Z}(T)\). It can now be verified by direct calculation that the connection (2.1) with \(\Upsilon =T^{-1}\mathrm{d}T\) is the Levi–Civita connection of the metric
The metric \(\overline{g}\) has constant positive curvature, is defined on an open set of a round sphere \(S^{n}\), and extends to the boundary \(T=0\) where it induces the metric \(\gamma _{S^{n-1}}\).
This construction has the following natural geometric interpretation (Figure 2.1). Consider a central projection \(\pi \) from a hemisphere \({\mathcal {S}}\subset S^{n}\) to \(\mathbb {R}^n\). If the metric on \(S^n\) is
and the inverse map \(\pi ^{-1}:\mathbb {R}^n\rightarrow {\mathcal {S}}\) is given by \( \cos ^2{\theta }={r^2}{(r^2+1)}^{-1} \) then the pull back of \((\pi ^{-1})^*g_{S^{n+1}}\) to \(\mathbb {R}^{n+1}\) is given by (2.4).
2.2 Example: The Eguchi–Hanson Manifold
The Eguchi–Hanson metric [14] is given byFootnote 2
The apparent singularity at \(r=a\) is removed by allowing
Setting \(\rho ^2=r^2(1-(a/r)^4)\) and expanding the metric near \(r=a\) and fixing \((\theta , \phi )\) gives \( g\sim (d\rho ^2+\rho ^2 d\psi ^2)/4. \) In the standard spherical polar coordinates, \(\psi \) has a period \(4\pi \) on SU(2). In our case, the period of \(\psi \) is \(2\pi \) to achieve regularity. Therefore, the surfaces of constant r are real projective planes defined by identifying the antipodal points on the sphere, \({\mathbb {RP}}^3=S^3/\mathbb {Z}^2\). At large values of r, the metric looks like \(\mathbb {R}^4/\mathbb {Z}^2\) rather than Euclidean space. Thus the Eguchi–Hanson metric is an example of the asymptotically locally Euclidean manifold (see e.g. [1] for a discussion of this class of manifolds in the context of twistor theory).
To projectively compactify (2.6) and introduce the defining function
so that (2.6) takes the form (2.2) with
and the topology of the boundary is \({\mathbb {RP}}^3\). The resulting connection (2.1) is non-metric. One can ask whether there exists another choice of the defining function which leads to a metric projective compactification. The answer to that question is negative, as Eguchi–Hanson is geodesically rigid: up to a constant non-zero multiple there exists only one metric in its projective class. This follows from a combination of the following two facts: (A) Two Ricci-flat metrics in dimension four are projectively equivalent iff they are affinely equivalent (i.e. they share the same Levi–Civita connection). (B) In the positive signature, two affine equivalent Ricci–flat metrics are flat. See [18] for proofs of these facts.
2.3 Metric Cones
The projective equivalence of (2.4) and (2.3) is an example of the following result of Levi–Civita [17].
Proposition 2.3
The metrics
are projectively equivalent for any constant \(\kappa \). Here f is an arbitrary function of r, and \(\gamma \) is an arbitrary r-independent metric.
Proof
One way to establish this proposition is to observe that Levi–Civita connections of g and \(\overline{g}\) are related by (2.1) with
\(\square \)
Let \((N, \gamma )\) be a (pseudo) Riemannian manifold of dimension \((n-1)\). A metric cone of \((N, \gamma )\) is a (pseudo) Riemannian manifold \(M=N\times \mathbb {R}^+\) with the metric
We shall use Proposition 2.3 to prove the following
Theorem 2.4
The metric cone (M, g) given by (2.7) of a (pseudo)-Riemannian manifold \((N, \gamma )\) admits a metric projective compactification of order 1.
Proof
Taking the defining function to be
leads to
The connection \(\overline{\nabla }\) given by (2.1) with \(\Upsilon =T^{-1}\mathrm{d}T\) extends to the boundary, and is the Levi–Civita connection of the metric
in agreement with Proposition 2.3. The metric \(\overline{g}\) extends to the boundary. \(\square \)
This construction leads to global examples of metric projective compactifications. It follows from the general theory [3] that metrics cones over Einstein manifolds with non-zero Ricci scalar which admit Killing spinors are manifolds with special holonomy. In fact the first examples of non-compact manifolds with exceptional holonomies \(G_2\) and Spin(7) were constructed by Bryant [4] as metric cones over the nearly Kähler manifold \(SU(3)/T^2\) and the weak \(G_2\) holonomy manifold SO(5)/SO(3), respectively. In view of Theorem 2.4, these metric cones admit metric projective compactifications.
3 Para-c-Projective Compactifications of Einstein Metrics
In [7], the concept of c-projective compactification was defined. It is based on almost c-projective geometry [10], an analogue of projective geometry defined for almost complex manifolds (M, J) in which the equivalence class of connections defining the c-projective structure must be complex and minimal.Footnote 3 Here we review the definition of c-projective compactification, modifying to the “para” case where the para-almost-complex structure squares to Id rather than \(-Id\). We then introduce a class of 2n-dimensional, neutral signature Einstein metrics arising from projective structures in dimension n and show that these admit a compactification which we call para-c-projective.
Although c-projective compactification is defined for any almost complex manifold, the definition can be applied to pseudo-Riemannian metrics g which are Hermitian with respect to the almost complex structure so long as there exists a connection which preserves both g and J and has minimal torsion. Such Hermitian metrics are said to be admissible. Note that such a connection, if it exists, is uniquely defined, since the conditions that it be complex and minimal determine its torsion. It is thus given by the Levi–Civita connection of g plus a constant multiple of the Nijenhuis tensor of J.
We make the following definition in the para-c-projective case.
Definition 3.1
Let (M, g, J) be a para-Hermitian manifold, and let \(\nabla ^L\) be a connection which preserves both g and J and has minimal torsion. The structure (M, g, J) admits a para-c-projective compactification to a manifold with boundary \(\overline{M}=M\cup \partial M\), if there exists a function \(T:\overline{M}\rightarrow \mathbb {R}\) such that \(\mathcal {Z}(T)\) (the set where \(T=0\) on \(\overline{M}\)) is the boundary \(\partial M\subset \overline{M}\), the differential \(\mathrm{d}T\) does not vanish on \(\partial M\), and the connection
extends to \(\overline{M}\).
Note that the para-c-projective change of connection \(\nabla ^L\rightarrow \overline{\nabla ^L}\) differs from the c-projective case in the signs of some of the terms, to account for the fact that J squares to the Id rather than \(-Id\).
It follows easily from this definition that the endomorphism J on M naturally extends to all of \(\overline{M}\) by parallel transport with respect to \(\overline{\nabla ^L}\). It thus defines an almost para-CR structure on the hypersurface distribution \(\mathcal {D}\) defined by \(\mathcal {D}_x:=T_x\partial M \cap J(T_x \partial M)\). It can be shown (see Lemma 5 of [7] and modify to the case \(J^2=Id\)) that this almost para-CR structure is non-degenerate if and only if for any local defining function T the one-form \(\theta =\mathrm{d}T\circ J\) restricts to a contact form on \(\partial M\).
The first main result of [7] is Theorem 8 in this reference, which gives a local form for an admissible Hermitian metric which is sufficient for the corresponding c-projective structure to be c-projectively compact. The theorem is stated below, adapted to the para-c-projective case. Note that this includes an assumption that the Nijenhuis tensor \(\mathcal {N}\) of J takes so-called asymptotically tangential values. This is equivalent to the following statement in index notation:
The following result arises by a trivial adaption of the arguments in [7] for the almost complex case, and so further details may be obtained from that source.
Theorem 3.2
[7]. Let \(\overline{M}\) be a smooth manifold with boundary \(\partial M\) and interior M. Let J be an almost para-complex structure on \(\overline{M}\), such that \(\partial M\) is non-degenerate and the Nijenhuis tensor \(\mathcal {N}\) of J has asymptotically tangential values. Let g be an admissible pseudo-Riemannian Hermitian metric on M. For a local defining function T for the boundary defined on an open subset \({\mathcal {U}}\subset \overline{M}\), put \(\theta =\mathrm{d}T\circ J\) and, given a non-zero real constant C, define a Hermitian \(\big ({\begin{matrix} 0 \\ 2 \end{matrix}}\big )\)-tensor field \(h_{T,C}\) on \({\mathcal {U}}\cap M\) by
Suppose that for each \(x\in \partial M\) there is an open neighbourhood \({\mathcal {U}}\) of x in \(\overline{M}\), a local defining function T defined on \({\mathcal {U}}\), and a non-zero constant C such that
\(h_{T,C}\) admits a smooth extension to all of \(\mathcal {U}\)
for all vector fields X, Y on U with \(\mathrm{d}T(Y)=\theta (Y)=0\), the function \(h_{T,C}(X,JY)\) approaches \(C\mathrm{d}\theta (X,Y)\) at the boundary.
Then g is c-projectively compact.
The statement in Theorem 3.2 does not depend on the choice of T. Different choices of T result in rescalings of the contact form \(\theta \) on the boundary by a nowhere vanishing function.
4 Example: A Class of Neutral Signature Einstein Metrics
In this section, we shall introduce a class of para-Hermitian metrics, which we will show to be para-c-projectively compact by virtue of Theorem 3.2.
Definition 4.1
A projective structure \([\nabla ]\) on an n-dimensional manifold N is an equivalence class of torsion-free affine connection on N which share the same unparametrised geodesics. Two connections \(\overline{\nabla }\) and \(\nabla \) belong to the same projective class if they are related by (2.1) for some one-form \(\Upsilon \) on N.
Given a projective structure \([\nabla ]\) on an n-dimensional manifold N, there exists a canonical neutral signature Einstein metric g with non-zero scalar curvature, as well as a symplectic form \(\Omega \), on the total space M of a certain rank n affine bundle over N. The general construction of this metric and the proof of the projective invariance has been presented in [13] in dimension four, and in [12] in general dimension. Here we shall give an explicit coordinate description from [13]. In Theorem 4.2, we shall show how to recover the metric and the symplectic form (4.1) from the natural pairing on the co-tractor bundle.
The sections of the affine bundle \(M \rightarrow N\) are in one-to-one correspondence with the \([\nabla ]\) representative connections (see §2.4 and §3.4 in [13]), and hence the choice of a representative connection \(\nabla \in [\nabla ]\) provides a diffeomorphism \(T^*N \rightarrow M\). Pulling back the pair \((g,\Omega )\) with this diffeomorphism gives a pair \((g_{\nabla },\Omega _{\nabla })\) on \(T^*N\) which—in local coordinates \((x^i,\xi _i)\) on the cotangent bundle \(\nu : T^*N \rightarrow N\)—takes the form
Here \(\Gamma ^i_{jk}\) denote the Christoffel symbols and \(\mathrm {P}_{ij}\) is the Schouten tensor of \(\nabla \).
In [13] it was shown that the manifold M can be identified with the complement of an \({\mathbb {RP}}^{n-1}\) sub-bundle in the projectivisation \(\mathbb {P}(\mathcal {T}^*)\) of a certain rank \((n+1)\) vector bundle (the so-called co-tractor bundle) \(\mathcal {T}^*\) over N. In the special case where \(N={\mathbb {RP}}^n\), and \([\nabla ]\) is projectively flat the manifold \(M=SL(n+1, \mathbb {R})/GL(n, \mathbb {R})\) can be identified with the projection of \(\mathbb {R}^{n+1}\times \mathbb {R}_{n+1}{\setminus } {\mathcal {Z}}\), where \({\mathcal {Z}}\) denotes the set of incident pairs (point, hyperplane). See [20] for other applications of (4.1).
The compactification procedure described in Theorem 4.3 will, for the model, attach these incident pairs back to M, and more generally (in case of a curved projective structure on N) will attach the \({\mathbb {RP}}^{n-1}\) sub-bundle of \(\mathbb {P}(\mathcal {T}^*)\). The boundary \(\partial M\) from Definition 3.1 will play a role of a submanifold manifold separating two open sets in \(\mathbb {P}(\mathcal {T}^*)\) in the sense described in the next subsection.
4.1 The Constructions in Tractor Terms
Let the projective structure \((N, [\nabla ])\), be represented by some torsion-free affine connection \(\nabla \) on N, where the latter has dimension at least 2. Let \(\mathcal {E}(1)\rightarrow N\) be the line bundle which is the standard \(-2(n+1)\)th root of the square of the canonical bundle of N (which, note, is canonically oriented). For any vector bundle \(\mathcal {B}\) and line bundle \(\mathcal {E}(w)\) we write \(\mathcal {B}(w)\) as a shorthand for \(\mathcal {B}\otimes \mathcal {E}(w) \).
Canonically on the projective manifold \((N, [\nabla ])\), there is the rank \((n+1)\) co-tractor bundle [2]
This has a composition sequence
where the map \(X\in \Gamma (\mathcal {T}(1))\) is called the (projective) canonical tractor. Choosing a connection in \([\nabla ]\) determines a splitting of this sequence and so then have \(\mathcal {T}^*= \mathcal {E}(1) \oplus T^*N(1)\), and we can represent an element V of \(\mathcal {T}^*\) as a pair \((\sigma , \mu )=[V]_\nabla \) (see e.g. [6]). Any other connection \(\overline{\nabla }\) in \([\nabla ]\) is related to \(\nabla \) by (2.1), for some 1-form field \(\Upsilon \) on N, and the corresponding transformation
The main importance of \(\mathcal {T}^*\) is that it admits a canonical projectively invariant tractor connection\(\nabla ^{\mathcal {T}^*}\) given by
We shall now present two variants of the construction of [13], and then its compactification (to be made precise in Theorem 4.3). We begin with compactification of the construction in [13]. For simplicity, let us assume that N is orientable.
4.1.1 Compactification by Line Projectiviation
On the total space of \(\mathcal {T}^*\), we pullback \(\pi :\mathcal {T}^*\rightarrow N\) along \(\pi \) to get \(\pi ^*(\mathcal {T}^*)\rightarrow \mathcal {T}^*\) as a vector bundle over the total space \(\mathcal {T}^*\). By construction, this bundle has a tautological section \(U\in \Gamma (\pi ^*(\mathcal {T}^*))\). We also have \(\pi ^*(\mathcal {T}(w))\) for any weight w, and we shall write simply \(X\in \Gamma (\pi ^*(\mathcal {T}(1)))\) for the pullback to \(\mathcal {T}^*\) of the canonical tractor X on N.
There is a canonical density \(\tau \in \Gamma (\pi ^*\mathcal {E}(1))\) given by
Now define
by the fibrewise projectivisation, and use also \(\pi \) for the map to N:
Note that \(\tau \) is homogeneous of degree 1 up the fibres of the map \(\mathcal {T}^*\rightarrow \mathcal {M}\). Thus \(\tau \) determines, and is equivalent to, a section (that we also denote) \(\tau \) of a certain density bundle \(\pi ^*(\mathcal {E}(1))\otimes \mathcal {E}_{\mathcal {T}^*}(1)\), on \(\mathcal {M}\) that for simplicity we shall denote \(\mathcal {E}(1,1)\). So \(\mathcal {M}\) is stratified according to whether or not \(\tau \) is vanishing, and we write \(\mathcal {Z}(\tau )\) to denote, in particular, the zero locus of \(\tau \).
To elaborate on the densities used here, and their generalisation to arbitrary weights: By \(\mathcal {E}_{\mathcal {T}^*}(w')\), for \(w'\in \mathbb {R}\), we mean the line bundle on \(\mathbb {P}(\mathcal {T}^*)\) whose sections correspond to functions \(f: \pi ^*\mathcal {T}^* \rightarrow \mathbb {R} \) that are homogeneous of degree w in the fibres of \(\pi ^*\mathcal {T}^*\rightarrow \mathbb {P}(\mathcal {T}^*)\). Then for any weight w we also have \(\mathcal {E}(w)\) on N and its pull back to the bundle \(\pi ^*\mathcal {E}(w)\rightarrow \mathbb {P}(\mathcal {T}^*)\). Then
Using these tools, we can recover the metric of [13]:
Theorem 4.2
There is a neutral signature metric on \(\mathcal {M}{\setminus } \mathcal {Z}(\tau )\) determined by the canonical pairing of the horizontal and vertical subspaces of \(T(\mathcal {T}^*)\). This metric is Einstein, with non-zero Ricci scalar, and agrees with (4.1).
Proof
Considering first the total space \(\mathcal {T}^*\) and then its tangent bundle, note that there is an exact sequence
where we have identified \(\pi ^* \mathcal {T}^*\) as the vertical sub-bundle of \(T(\mathcal {T}^*)\). A connection on the vector bundle \(\mathcal {T}^*\rightarrow N\) is equivalent to a splitting of this sequence; a connection identifies \(\pi ^*TN\) with a distinguished sub-bundle of horizontal subspaces in \( T(\mathcal {T}^*)\). Thus, in particular, the projective tractor connection on \(\mathcal {T}^*\rightarrow N\) gives a canonical splitting of the sequence (4.6). So we have
We move now to the total space of \(\mathbb {P} {\mathcal {T}^*}\), and we note that again the tractor (equivalently, Cartan) connection determines a splitting of the tangent bundle \(T(\mathbb {P} {\mathcal {T}^*})\), see [8]. From the usual Euler sequence of projective space (or see (4.26) in the last section), it follows that for \(T(\mathbb {P} {\mathcal {T}^*})\) the second term of the display (4.7) is replaced by a quotient of \(\pi ^* \mathcal {T}^*(0,1)\). Indeed, if we work at a point \(p\in \mathbb {P}(\mathcal {T}^*)\), observe that \(\pi ^* \mathcal {T}^*(0,1)\) has a filtration
where, as usual, U is the canonical section. But away from \(\mathcal {Z}(\tau )\), we have that U canonically splits the appropriately re-weighted pull back of the sequence (4.2)
This identifies the quotient in (4.8), and thus we have canonically
It follows that on \(\mathcal {M}\) there is canonically a metric \(\varvec{g}\) and symplectic form \(\varvec{\Omega }\) taking values in \(\mathcal {E}(1,1)\), given by
where
are the projections. Then we obtain the metric and symplectic form by
What remains to be done is to show that (4.9) agrees with the normal form (4.1) once a trivialisation of \(\mathcal {T}^*\rightarrow N\) has been chosen.
Let \(p\in N\) and let \({\mathcal {W}}\subset N\) be an open neighbourhood of p with local coordinates \((x^1, \ldots , x^n)\) such that \(T_pN=\text{ span }(\partial /\partial x^1, \ldots , \partial /\partial x^n)\). The connection (4.4) gives a splitting of \(T(\mathcal {T}^*)\) into the horizontal and vertical sub-bundles
as in (4.7). To obtain the explicit form of this splitting, let \(V_\alpha , \alpha =0, 1, \ldots , n\) be components of a local section of \(\mathcal {T}^*\) in the trivialisation over \({\mathcal {W}}\). Then
where \(\gamma _{\alpha }^\beta = \gamma _{i\alpha }^\beta \mathrm{d}x^i\), and the components of the co-tractor connection \(\gamma _{i\alpha }^\beta \) are given in terms of the connection \(\nabla \) on N, and its Schouten tensor, and can be read-off from (4.4):
In terms of these components, we can write
Setting \(\xi _i=V_i/V_0\), where \(\tau =V_0\ne 0\) on the complement of \(\mathcal {Z}(\tau )\), we can compute the push forwards of these spaces to \(\mathbb {P}(\mathcal {T}^*){\setminus } {\mathcal {Z}(\tau )}\):
The non-zero components of the metric (4.9) are given by
which indeed agrees with (4.1) which is known to be Einstein [13]. \(\square \)
Next we observe that \(\mathbb {P}(\mathcal {T}^*){\setminus } \mathcal {Z}(\tau )\) is an affine bundle modelled on \(T^* N\). The point is that given \(\nabla \) in the projective class there is a smooth fibre bundle isomorphism
First, given \(\nabla \), we can represent an element \(U\in \mathcal {T}^*_p\) (\(p\in N\)) by the pair \((\tau , \mu ) \in \mathcal {E}(1)_p\oplus T_p^*N(1)\), or, if we choose coordinates on N, by collection
Then, dropping the choice \(\nabla \in [\nabla ]\), \(U\in \mathcal {T}^*_p\) is an equivalence class of such pairs by the equivalence relation (4.3) that covers the equivalence relation between elements of \([\nabla ]\).
Thus, given \(\nabla \), and from the naturality of all maps, it follows that the total space of \(T^*N\) can be identified with \(\mathbb {P}(\mathcal {T}^*){\setminus } \mathcal {Z}(\tau )\) by (for each \(p\in N\))
Thus we may view \(\mathcal {M}\) as a compactification of \(T^*N\) and, by construction, this is a closed manifold iff N is closed.
Note that by this construction, it is easily verified that the zero locus of \(\tau \) is a smoothly embedded hypersurface in \(\mathcal {M}\), and from (4.2) it follows at once that this may be identified with the total space of the fibrewise projectivisation \(\mathbb {P}(T^*N)\) (which is well known to have a para-CR structure).
A feature of this construction is that in each dimension n (of N) either the hypersurface \(\mathcal {Z}(\tau )\) (if n odd) is not orientable, or \(\mathcal {M}\) (if n even) is not orientable.
4.1.2 Compactification by Ray-Projectiviation
Instead we may follow the construction above but instead define \(\mathcal {M}:= \pi ^*(\mathbb {P}_+(\mathcal {T}^*))\), where \(\mathbb {P}_+(\mathcal {T}^*)\) is the ray-projectivisation of \(\mathcal {T}^*\) (i.e. the fibres of \(\mathcal {T}^*\rightarrow \mathbb {P}_+(\mathcal {T}^*)\) are isomorphic to \(\mathbb {R}_+\)). Then the bundles \(\mathcal {E}(w,w')\) should also be defined via ray homogeneity. In this case, for N orientable, both \(\mathcal {Z}(\tau )\) and \(\mathcal {M}\) are orientable, and again \(\mathcal {M}\) is closed iff N is. Now from (4.2) we have that \(\mathcal {Z}(\tau )\) may be identified with the fibrewise ray-projectivisation \(\mathbb {P}_+(T^*N)\). In this variant of the construction, there are two copies \(M_{\pm }\) of \(T^*N\) in \(\mathcal {M}\) according to the sign of \(\tau \). Moreover, each of \(\mathcal {M}{\setminus } M_{\mp }\) is a manifold that is globally a para-c-projective compactification of \(M_{\pm }\) in sense of Theorem 3.2.
4.1.3 Remark on Continuing the Tractor Approach
It would be possible to achieve our main aims by continuing the tractor approach. We will not pursue this here as we want to emphasise that with little effort the main result now follows directly form the properties of the metric. However, we sketch just the basic idea: By our construction above, it follows that \(\mathcal {M}\) has a canonical para-c-projective geometry. In the notation as above, \(\pi ^*{\mathcal {T}}\oplus \pi ^*{\mathcal {T}^*}\) is the corresponding para-c-projective tractor bundle and this has a canonical tractor connection that trivially extends (in fibre directions) the pull back of the projective connection (that is available in horizontal directions). The dual-pairing between \(\pi ^*{\mathcal {T}}\) and \(\pi ^*{\mathcal {T}^*}\) determines a fibre metric and compatible symplectic form on the bundle \(\pi ^*{\mathcal {T}}\oplus \pi ^*{\mathcal {T}^*}\) and this is obviously preserved by the connection. What remains is to show that the tractor connection so constructed satisfies properties that mean that it is normal in the sense defined in e.g. [9]. With this established then the main results then follow from the general holonomy theory in [8].
4.2 The Main Theorem
In the previous Sect. 4.1.2, we have presented a candidate \(\overline{M}\equiv \mathcal {M}{\setminus } M_{\mp }\) for a para-c-projective compactification of the Einstein para-Kahler manifold \((M, g, \Omega )\) given by (4.1). What remains to be done is to show that near the boundary \({\mathcal {Z}}(\tau )=0\) of \(\overline{M}\) the metric (4.1) can be put in the local normal form of Theorem 3.2.
The endomorphism \(J:TM\rightarrow TM\) defined by \(\Omega (X, Y)=g(JX, Y)\) satisfies \(J^2=Id\), and the associated Libermann connection \(\nabla ^{L}\) [16] is given by
and \(\nabla ^\mathbf{g}\) is the Levi–Civita connection of g. This connection is metric, has minimal torsion, and preserves the almost para-complex structure J. It thus belongs to a para-c-projective equivalence class which we will show to be compactifiable in the sense of Theorem 3.2.
Theorem 4.3
The Einstein almost para-Kähler metric \((M, g, \Omega )\) given by (4.1) admits a para-c-projective compactification \(\overline{M}\). The structure on the \((2n-1)\)-dimensional boundary \(\partial M\cong \mathbb {P}(T^* N)\) of \(\overline{M}\) includes a contact structure together with a conformal structure and a para-CR structure defined on the contact distribution.
Proof
In the proof below, we shall explicitly construct the boundary \(\partial M\) together with the contact structure and the associated conformal structure on the contact distribution. We shall first deal with the model \(M=SL(n+1)/GL(n)\) and then explain how the curvature of \((N, [\nabla ])\) modifies the compactification.
In the model case, we can define coordinates \(x^i\) on \(N=\mathbb {RP}^n\) by taking \(X=(1,x^1,\ldots ,x^n)\), where \((X^0,\ldots ,X^n)\) are homogeneous coordinates and we are working in an open set where \(X^0\ne 0\). The \({x^i}\) are flat coordinates, so the connection components (and hence the Schouten tensor) vanish and (4.1) reduces to
We can relate [13] the affine coordinates \(\xi _i\) on the fibres of \(T^*N\) to the tractor coordinates (4.11) by setting \(\xi _i=\mu _i/\tau \) on the complement of the zero locus \({\mathcal {Z}}(\tau )\) of \(\tau \).
Now consider an open set \({\mathcal {U}}\subset M\) given by \(\xi _ix^i>0\), and define the function T on \({\mathcal {U}}\) by
We shall attach a boundary \(\partial \mathcal {U}\) to the open set \(\mathcal {U}\) such that T extends to a function \(\overline{T}\) on \(\mathcal {U}\cup \partial \mathcal {U}\), and \(\overline{T}\) is the defining function for this boundary. We then investigate the geometry on M in the limit \(T\rightarrow 0\). It is clear from above that the zero locus of \(\overline{T}\) will be contained in the zero locus \(\mathcal {Z}(\tau )\) of \(\tau \), and therefore belongs to the boundary of \(\overline{M}\). We will use \(\overline{T}\) as a defining function for \(\overline{M}\) in an open set \(\overline{\mathcal {U}}\subset \overline{M}\). The strategy of the proof is to extend T to a coordinate system on \(\mathcal {U}\), such that near the boundary the metric g takes a form as in Theorem 3.2.
First define \(\theta \in \Lambda ^1(\overline{M})\) by
where J is the para-complex structure of \((g, \Omega )\). Using (4.14) this gives
We need n open sets \(U_1, \ldots , U_n\) such that \(\xi _k\ne 0\) on \(U_k\) to cover the zero locus of T. Here we chose \(k=n\), and adapt a coordinate system (which we will prove to be Pfaff) given by
where T is given by (4.15) and
We compute
and substitute
into (4.14). This gives
where
is regular at the boundary \(T=0\). This is in agreement with the asymptotic form in Theorem 3.2 (see [7] for further details).
The restriction h to \(\partial M\) gives a metric on a distribution \({\mathcal {D}}=\text{ Ker } (\theta |_{T=0})\)
Note that T is only defined up to multiplication by a positive function. Changing the defining function in this way results in a conformal rescalling of \(\theta |_{T=0}\), thus the metric on the contact distribution is also defined up to an overall conformal scale. We shall choose the scale so that the contact form is given by \(\theta _0\equiv K\theta |_{T=0}\) on \(T(\partial M)\), with the metric on \({\mathcal {D}}\) given by
We now move on to deal with the curved case where the metric on M is given by (4.1). The coordinate system \((T, Z_A, X^A, Y)\) is as above, and the one-form \(\theta \) in (4.16) is given by
or in the \((T, Z_A, X^A, Y)\) coordinates,
Guided by the formula (4.17), we define
which we find to be
This is smooth as \(T\rightarrow 0\).
Restricting h to \(T=0\) yields a metric which differs from (4.18) by the curved contribution given by the components of the connection, but not the Schouten tensor. Substituting \(\mathrm{d}Y=K\theta |_{T=0}/2-Z_A\mathrm{d}X^A\), disregarding the terms involving \(\theta |_{T=0}\) in h, and conformally rescalling by K yields the metric
defined on the contact distribution \({\mathcal {D}}=\text{ Ker }(\theta _0)\), where \(\theta _0=2(\mathrm{d}Y+Z_A\mathrm{d}X^A)\).
We now invoke Theorem 3.2, verifying by explicit computation that the remaining two conditions are satisfied. The first of these conditions is that the metric \(h_{\mathcal {D}}\) is compatible with the Levi-form of the almost para-CR structure induced on \(\partial M\) by J, i.e.
The second is that the Nijenhuis tensor takes asymptotically tangential values, i.e. that (3.1) is satisfied.
Both of these follow from computing the para-complex structure J in the \((T, Z_A, X^A, Y)\) coordinates. We find
Restricting to vectors in \(\mathcal {D}\) amounts to substituting \(\mathrm{d}Y=\theta _0/2-Z_A\mathrm{d}X^A\) and disregarding the terms involving \(\theta _0\) as above, so that
and (4.22) is satisfied.
For the Nijenhuis condition, we use the formula
Note that we need only consider components of this with \(a=T\), and thus only need to work with the \(\partial /\partial T\) components of J to find the terms which look like \(\partial J\). This is a one-form which we shall call \(J^{(T)}\) and find to be
Note that this agrees with (4.23) when \(T=0\). We use it to calculate \({\mathcal {N}^{a}}_{bc}\nabla _a T\), dropping terms which vanish when \(T=0\) to verify (3.1). \(\square \)
4.3 Two-Dimensional Projective Structures
In the case if \(n=2\) the coordinates on \(\partial M\) are (X, Y, Z), and (4.21) yields
which is transparently invariant under the projective changes
of \(\nabla \). In the two-dimensional case, the projective structures \((N, [\nabla ])\) are equivalent to second-order ODEs which are cubic in the first derivatives (see, e.g. [5])
where the integral curves of (4.24) are the unparametrised geodesics of \(\nabla \). The integral curves C of (4.24) are integral submanifolds of a differential ideal \({\mathcal I}=<\theta _0, \theta _1>\), where
are one-forms on a three-dimensional manifold \(B=\mathbb {P}(T^*N)\) with local coordinates (X, Y, Z). If \(f:C\rightarrow B\) is an immersion, then \(f^*(\theta _0)=0, f^*(\theta _1)=0\) is equivalent to (4.24) as long as \(\theta _2\equiv \mathrm{d}X\) does not vanish. In terms of these three one-forms the contact structure, and the metric on the contact distribution are given by \( \theta _0, h_{\mathcal {D}}=\theta _1\odot \theta _2. \)
4.4 The Model via an Orbit Decomposition
In this section, we describe here the flat (in the sense of parabolic geometries) model [11, 13] of our construction in tractor terms.
The flat projective structure on \(N={\mathbb {RP}}^n\) gives rise to the neutral signature para–Kähler Einstein metric on \(M=SL(n+1)/GL(n)\)
In [13], §7.1 it was explained how this homogeneous model corresponds to the projectivised co-tractor bundle of \({\mathbb {RP}}^n\), with an \({\mathbb {RP}}_{n-1}\) removed from each \({\mathbb {RP}}_n\) fibre. This \({\mathbb {RP}}_{n-1}\) corresponds to incident pairs of points and hyperplanes in \(\mathbb {R}^{n+1}\times \mathbb {R}_{n+1}\).
Here we shall instead take N to be the sphere \(S^n\) with its standard projective structure as this is orientable in all dimensions and, more importantly, on this (double cover of \(\mathbb {R}\mathbb {P}^n\)) the tractor bundle is trivial, and this simplifies the discussion. The underlying space of the (compactified) model of dimension 2n is \(S^n\times S_n\) where both \(S_n\) and \(S^n\) denote spheres that are dual as we shall explain.
Consider first two vector spaces each isomorphic to \(\mathbb {R}^{n+1}\):
and view each as a representation space for an \(SL(n+1,\mathbb {R})\) action. So \(G:= SL(V)\times SL(W)\) acts on \(V\times W\). (Note that we may wlog consider V and W as, respectively, the \(\pm 1\) eigenspaces of the single vector space \(\mathbb {V}:=V\oplus W\) equipped with a \(\mathbb {J}\) s.t. \(\mathbb {J}^2=1\).)
Now the action of SL(V) descends to a transitive action on the ray projectivisation \(\mathbb {P}_+(V)\) and similarly SL(W) acts transitively on \(\mathbb {P}_+(W)\). Thus \(G:= SL(V)\times SL(W)\) acts transitively on the manifold
We can represent an element of \(\mathcal {M}\) in terms of pairs of homogeneous coordinates ([Y], [Z]) where \(0\ne Y\in V\) and \(0\ne Z\in W\).
Note that as a smooth manifold \(\mathcal {M}=S^n\times S^n\), but as a homogeneous manifold it is
where \(P_X\) (resp. \(P_U\)) is the parabolic subgroup in SL(V) that stabilises a point [X] in \(\mathbb {P}_+(V)\) (resp. \([U] \in \mathbb {P}_+(W)\) ), and P is the group product \(P_X\times P_W\) which itself is a parabolic subgroup of the semisimple group G.
Now introduce an additional structure which breaks the G symmetry. Namely we fix an isomorphism
where \(V^*\) denotes the dual space to V. The subgroup \(H\cong SL(n+1,\mathbb {R})\) of G that fixes this may be identified with SL(V) which acts on a pair \((Y,Z)\in V\times V^*\) by the defining representation and on the first factor and by the dual representation on the second factor.
Given this structure we may now (suppress I and) view \({\mathcal {M}}\) as consisting of pairs ([X], [U]) where \(0\ne X\in V\) and \(0\ne U\in V^*\). That is
This is useful as follows: Each element [U] in \(\mathbb {P}_+(V^*)\) determines an oriented hyperplane in V and each \([X]\in \mathbb {P}_+(V)\) an oriented line in V. So now we consider the H action on M. This has two open orbits and a closed orbit. The last is the incidence space
which sits as smooth orientable separating hypersurface in \(\mathcal {M}\). Then there are the open orbits
We may think of \(\mathcal {Z}\) as the ‘boundary’ (at infinity) for the open orbits \(M_\pm \).
We now describe the geometries on the orbits. The claim is that there are Einstein metrics in \(M_\pm \), while \(\mathcal {Z}\) is well known as the model for so-called contact Langrangian (or sometimes called para-CR) geometry, this is a real analogue of hypersurface-type CR geometry.
First observe that \(N_V:=\mathbb {P}_+(V)\) is the flat model of projective geometry. So in particular we have
where \(\mathcal {T}_V\) is the projective tractor bundle on \(N_V\) and X is the tautological section of \(\mathcal {T}(1)\), which coincides with the canonical tractor. Similarly there is a sequence on \(N^W:= \mathbb {P}_+(V^*)\)
There is a natural tractor bundle \(\mathcal {T}:=\mathcal {T}_V\oplus \mathcal {T}^W \) on M, where X and U are not incident this induces a metric on M as follows. Observe that, at a point ([X], [U]) where , the tractor field U splits the first sequence by \(\nu \in \Gamma (\mathcal {E}(-1,0))\) defined by
with (and where we have used an obvious weight notation). This follows as . Similarly
splits the second short exact sequence because . Thus we obtain a neutral signature metric on \(TN_V\oplus TN^W\) by these two steps: First, using these splittings yields a bundle monomorphism
Second, this gives a symmetric form \(\varvec{g}\) and symplectic form \(\varvec{\Omega }\) on \(TN_V(-1,0)\oplus TN^W(0,-1)\) by then using the canonical metric and symplectic form on \(\mathcal {T}_V\oplus \mathcal {T}^W \) given by the duality of \(\mathcal {T}_V\) and \( \mathcal {T}^W\). Thus \(\varvec{g}\in \Gamma (S^2T^*M(1,1))\) and \(\varvec{\Omega }\in \Gamma (\Lambda ^2T^*M(1,1))\). Then set
The metric g is easily seen to have neutral signature. It is Einstein because the tractor metric on \(\mathcal {T}\) is parallel for the tractor connection (see [8] for the analogous c-projective case). The tractor connection arises from the usual parallel transport on the vector space \(V\oplus V^*\) viewed as an affine manifold.
Notes
To show this, compute the Ricci tensor \(\overline{R}\) of (2.1). If (2.1) was metric for some metric \(\overline{g}\) then \(\overline{R}\) would be a Ricci tensor of \(\overline{g}\), and so (as \(\overline{g}\) is projectively flat) it would have to be a constant multiple of \(\overline{g}\) by the Beltrami theorem. Computing the Ricci tensor of the metric given by \(\overline{R}\) shows that it is impossible for any \(\alpha \).
Left invariant one-forms \(\sigma _i, i=1, 2, 3\) on the group manifold SU(2) satisfy
$$\begin{aligned} d\sigma _1+\sigma _2\wedge \sigma _3=0, \quad d\sigma _2+\sigma _3\wedge \sigma _1=0, \quad d\sigma _3+\sigma _1\wedge \sigma _2=0. \end{aligned}$$(2.6)These one-forms can be represented in terms of Euler angles by
$$\begin{aligned} \sigma _1+i\sigma _2=e^{-i\psi }(\mathrm{d}\theta +i\sin {\theta } \mathrm{d\phi }), \qquad \sigma _3=d\psi +\cos {\theta }\mathrm{d\phi }, \end{aligned}$$where to cover \(SU(2)=S^3\) we require the ranges
$$\begin{aligned} 0\le \theta \le \pi , \quad 0\le \phi \le 2\pi , \quad 0\le \psi \le 4\pi . \end{aligned}$$Recall that a connection on an almost complex manifold (M, J) is called complex if it preserves J and minimal if the torsion is just the Nijenhuis tensor of J up to a constant factor.
References
Atiyah, M., Dunajski, M., Mason, L.: Twistor theory at fifty: from contour integrals to twistor strings. In: Proceedings of the Royal Society, vol. 473 (2017). arXiv:1704.07464
Bailey, T.N., Eastwood, M.G., Gover, A.R.: Thomas’s structure bundle for conformal, projective and related structures. Rocky Mt. J. Math. 24, 1–27 (1994)
Bar, C.: Real killing spinors and holonomy. Commun. Math. Phys. 154, 509–521 (1993)
Bryant, R.L.: Metrics with exceptional holonomy. Ann. Math. 126, 525–576 (1987)
Bryant, R.L., Dunajski, M., Eastwood, M.G.: Metrisability of two-dimensional projective structures. J. Differ. Geom. 83, 465–499 (2009)
Čap, A., Gover, A.R.: Projective compactifications and Einstein metrics. J. Reine Angew. Math. 717, 47–75 (2016)
Čap, A., Gover, A.R.: C-projective compactification; (quasi–)Kaehler metrics and CR boundaries. Am J Math (2016) arXiv:1603.07039
Čap, A., Gover, A.R., Hammerl, M.: Holonomy reductions of Cartan geometries and curved orbit decompositions. Duke Math J 163(5), 1035–1070 (2014). arXiv:1103.4497
Čap, A., Slovák, J.: Parabolic geometries I: background and general theory 2009. American Mathematical Society, Providence (2009)
Calderbank, D.M.J., Eastwood, M.G., Matveev, V.S., Neusser, K.: C-projective geometry (2016). arXiv:1512.04516
Casey, S., Dunajski, M., Tod, K.P.: Twistor geometry of a pair of second order ODEs Comm. Math. Phys. 321, 681–701 (2013)
Dunajski, M., Waterhouse, A.: Einstein metrics, projective structures and the \(SU(\infty )\) Toda equation. J. Geom. Phys. 147, 103523 (2020). arXiv:1906.11570
Dunajski, M., Mettler, T.: Gauge theory on projective surfaces and anti-self-dual Einstein metrics in dimension four. J. Geom. Anal. 1–32 (2017). arXiv:1509.04276
Eguchi, T., Hanson, A.J.: Asymptotically flat self-dual solutions to Euclidean gravity. Phys. Lett. B 74, 249–251 (1978)
Gray, A., Hervella, L.M.: The sixteen classes of almost Hermitian manifolds and their linear invariants. Ann. Mat. Pura Appl. 123, 35–58 (1980)
Libermann, P.: Sur le probleme d’equivalence de certaines structures infinitesimales. Ann. Mat. Pura Appl. 36, 27–120 (1954)
Levi-Civita, T.: On the transformations of the dynamical equations. Ann. Math. 24, 255–300 (1896)
Matveev, V.S., Rosemann, S.: The degree of mobility of Einstein metrics (2015). arXiv:1503.00968
Melrose, R.B.: Geometric Scattering Theory. Stanford Lectures. Cambridge University Press, Cambridge (1995)
Mettler, T.: Extremal conformal structures on projective surfaces (2015). arXiv:1510.01043
Penrose, R.: Zero rest-mass fields including gravitation: asymptotic behaviour. Proc. R. Soc. Lond. Ser. A284, 159–203 (1965)
Uhlenbeck, K.: Removable singularities in Yang–Mills fields. Commun. Math. Phys. 83, 11–29 (1982)
Witten, E.: Anti de Sitter space and holography. Adv. Theor. Math. Phys. 2, 253–291 (1998)
Acknowledgements
The work of MD has been partially supported by STFC consolidated grant no. ST/P000681/1. ARG gratefully acknowledges support from the Royal Society of New Zealand via Marsden Grants 13-UOA-113 and 16-UOA-051. AW is grateful for support from the Sims Fund. MD acknowledges the hospitality of the University of Auckland where this work has started, and ARG acknowledges the hospitality of the University of Cambridge where it has finished. MD is grateful to Dmitri Alekseevsky and Vladimir Matveev for useful correspondence.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mihalis Dafermos.
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., Gover, A.R. & Waterhouse, A. Some Examples of Projective and c-projective Compactifications of Einstein Metrics. Ann. Henri Poincaré 21, 1113–1133 (2020). https://doi.org/10.1007/s00023-020-00903-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-020-00903-7