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

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.


Introduction
There are several notions of compactifications of a (pseudo) Riemannian manifold (M, g). In a conformal compactification (M, g) one has that M is a manifold with boundary such that M is the interior of M , and there is a defining function T for the boundary such that the metric g = T 2 g smoothly extends to the boundary ∂M of M (T being a defining function for ∂M means that ∂M = Z(T ) := {p ∈ M : T (p) = 0} and dT is nowhere zero on ∂M.) The geodesics of g do not correspond to geodesics of 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 R 4 is equivalent to the connection extending to a one-point compactificaton R 4 = R 4 ∪ {∞} = S 4 . In this case the round metric on S 4 is conformally equivalent to a flat Euclidean metric on 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 ∂M of the manifold M = M ∪ ∂M (see §2 for definitions). In general this manifold does not carry a metric, but only an affine connection ∇ 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 ∇ the compactifying connection ∇ belongs to the c-projective equivalence class of ∇, i.e. ∇ and ∇ 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 §3 the endomorphism J : T M → T M squares to identity. The boundary ∂M acquires a contact structure, and a conformal metric on the contact distribution.
This paper is organised as follows. In §2 we shall review the notion of the projective compactificatiton, 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 ∇ is the Levi-Civita connection of some metric g on M .
We shall prove (Theorem 2.4) that a metric cone over a (pseudo)-Riemannian manifold admits a metric projective compactification. In §3 and §4 we shall construct a para-cprojective compactification of a neutral signature Einstein metric g defined on a projectivised tractor bundle M of any projective structure (Theorem 4.2 and Theorem 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 RP n .
(such that 2/α ∈ Z) to exist is that near the boundary Z(T ) the metric g can be put in the form for some h which smoothly extends to the boundary 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 α = 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 ∇ is the Levi-Civita connection of some (pseudo)-Riemannian metric g on M .
2.1. Example: Flat space. Consider a flat metric on R n of the form where γ 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 flat in the form (2.2), but the resulting connection (2.1) is not metric 1 . To construct a metric projective-compactification consider a defining function given by The metric g flat takes the form and h reduces to γ S n−1 on the boundary Z(T ). It can now be verified by direct calculation that the connection (2.1) with Υ = T −1 dT is the Levi-Civita connection of the metric (2.4) The metric 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 γ S n−1 . This construction has the following natural geometric interpretation (Figure 2.1). Consider a central projection π from a hemi-sphere S ⊂ S n to R n . If the metric on S n is g S n = dθ 2 + cos θ 2 γ S n−1 and the inverse map π −1 : R n → S is given by cos 2 θ = r 2 (r 2 + 1) −1 then the pull back of (π −1 ) * g S n+1 to R n+1 is given by (2.4).

2.2.
Example: The Eguchi-Hanson manifold. The Eguchi-Hanson metric [14] is given by 2 The apparent singularity at r = a is removed by allowing Setting ρ 2 = r 2 (1 − (a/r) 4 ) and expanding the metric near r = a and fixing (θ, φ) gives g ∼ (dρ 2 + ρ 2 dψ 2 )/4. In the standard spherical polar coordinates ψ has a period 4π on SU(2). In our case the period of ψ is 2π to achieve regularity. Therefore the surfaces of constant r are real projective planes defined by identifying the antipodal points on the sphere, At large values of r the metric looks like R 4 /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) introduce the defining function T = 1 r so that (2.6) takes the form (2.2) with and the topology of the boundary is 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 2 Left invariant one-forms σ i , i = 1, 2, 3 on the group manifold SU (2) satisfy These one-forms can be represented in terms of Euler angles by where to cover SU (2) = S 3 we require the ranges 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.
Proof. One way to establish this Proposition is to observe that Levi-Civita connections of g and g are related by (2.1) with Let (N, γ) be a (pseudo) Riemannian manifold of dimension (n − 1). A metric cone of (N, γ) is a (pseudo) Riemannian manifold M = N × R + with the metric g = dr 2 + r 2 γ (2.7) We shall use Proposition 2.3 to prove the following Proof. Taking the defining function to be The connection ∇ given by (2.1) with Υ = T −1 dT extends to the boundary, and is the Levi-Civita connection of the metric in agreement with Proposition 2.3. The metric g extends to the boundary. This construction leads to global examples of metric projective compactifications. It follows from the general theory [3] that metrics cones over Einstein manifolds with nonzero 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.

Para-c-projective compactifications of Einstein metrics
In [7] the concept of c-projective compactification was defined. It is based on almost cprojective 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. 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.
Note that the para-c-projective change of connection ∇ L → ∇ L differs from the cprojective 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 M by parallel transport with respect to ∇ L . It thus defines an almost para-CR structure on the hypersurface distribution D defined by D x := T x ∂M ∩ J(T x ∂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 θ = dT • J restricts to a contact form on ∂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 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.

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 [∇] 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 ∇ and ∇ belong to the same projective class if they are related by (2.1) for some one-form Υ on N.
Given a projective structure [∇] 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 Ω, 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 Here Γ i jk denote the Christoffel symbols and P ij is the Schouten tensor of of ∇. In [13] it was shown that the manifold M can be identified with the complement of an RP n−1 sub-bundle in the projectivisation P(T * ) of a certain rank (n + 1) vector bundle (the so called co-tractor bundle) T * over N. In the special case where N = RP n , and [∇] is projectively flat the manifold M = SL(n + 1, R)/GL(n, R) can be identified with the projection of R n+1 × R n+1 \ Z, where Z denotes the set of incident pairs (point, hyperplane). See [20] for other applications of (4.1).
The compactification procedure described in the 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 RP n−1 sub-bundle of P(T * ). The boundary ∂M from Definition 3.1 will play a role of a submanifold manifold separating two open sets in P(T * ) in the sense described in the next sub-Section. Canonically on the projective manifold (N, [∇]) there is the rank (n + 1) cotractor bundle [2] T * → N. This has a composition sequence where the map X ∈ Γ(T (1)) is called the (projective) canonical tractor. Choosing a connection in [∇] determines a splitting of this sequence and so then have T * = E(1) ⊕ T * N(1), and we can represent an element V of T * as a pair (σ, µ) = [V ] ∇ (see e.g. [6]). Any other connection ∇ in [∇] is related to ∇ by (2.1), for some 1-form field Υ on N, and the corresponding transformation The main importance of T * is that it admits a canonical projectively invariant tractor connection ∇ 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.

Compactification by line projectiviation:
On the total space of T * we pullback π : T * → N along π to get π * (T * ) → T * as a vector bundle over the total space T * . By construction this bundle has a tautological section U ∈ Γ(π * (T * )). We also have π * (T (w)) for any weight w, and we shall write simply X ∈ Γ(π * (T (1))) for the pullback to T * of the canonical tractor X on N.
There is a canonical density τ ∈ Γ(π * E(1)) given by τ := X U. by the fibrewise projectivisation, and use also π for the map to N: Note that τ is homogeneous of degree 1 up the fibres of the map T * → M. Thus τ determines, and is equivalent to, a section (that we also denote) τ of a certain density bundle π * (E(1)) ⊗ E T * (1), on M that for simplicity we shall denote E(1, 1). So M is stratified according to whether or not τ is vanishing, and we write Z(τ ) to denote, in particular, the zero locus of τ .
To elaborate on the densities used here, and their generalisation to arbitrary weights: By E T * (w ′ ), for w ′ ∈ R, we mean the line bundle on P(T * ) whose sections correspond to functions f : π * T * → R that are homogeneous of degree w in the fibres of π * T * → P(T * ). Then for any weight w we also have E(w) on N and its pull back to the bundle π * E(w) → P(T * ). Then E(w, w ′ ) := π * E(w) ⊗ E T * (w ′ ).
Using these tools we can recover the metric of [13]: There is a neutral signature metric on M\Z(τ ) determined by the canonical pairing of the horizontal and vertical subspaces of T (T * ). This metric is Einstein, with non-zero Ricci scalar, and agrees with (4.1).
Proof. Considering first the total space T * and then its tangent bundle, note that there is an exact sequence 0 → π * T * → T (T * ) → π * T N → 0, (4.6) where we have identified π * T * as the vertical sub-bundle of T (T * ). A connection on the vector bundle T * → N is equivalent to a splitting of this sequence; a connection identifies π * T N with a distinguished sub-bundle of horizontal subspaces in T (T * ). Thus, in particular, the projective tractor connection on T * → N gives a canonical splitting of the sequence (4.6). So we have We move now to the total space of PT * , and we note that again the tractor (equivalently, Cartan) connection determines a splitting of the tangent bundle T (PT * ), see [8]. From the usual Euler sequence of projective space (or see (4.26) in the last Section) it follows that for T (PT * ) the second term of the display (4.7) is replaced by a quotient of π * T * (0, 1). Indeed, if we work at a point p ∈ P(T * ), observe that π * T * (0, 1) has a filtration where, as usual, U is the canonical section. But away from Z(τ ), we have that U canonically splits the appropriately re-weighted pull back of the sequence (4.2) 0 → π * T * N(1, 1) → π * T * (0, 1) This identifies the quotient in (4.8), and thus we have canonically T (P(T * ) \ Z(τ )) = π * T N ⊕ π * T * N(1, 1).
It follows that on M there is canonically a metric g and symplectic form Ω taking values in E(1, 1), given by and What remains to be done, is to show that (4.9) agrees with the normal form (4.1) once a trivialisation of T * → N has been chosen. Let p ∈ N and let W ⊂ N be an open neighbourhood of p with local coordinates (x 1 , . . . , x n ) such that T p N = span(∂/∂x 1 , . . . , ∂/∂x n ). The connection (4.4) gives a splitting of T (T * ) into the horizontal and vertical sub-bundles as in (4.7). To obtain the explicit form of this splitting, let V α , α = 0, 1, . . . , n be components of a local section of T * in the trivialisation over W. Then and the components of the co-tractor connection γ β iα are given in terms of the connection ∇ on N, and its Schouten tensor, and can be read-off from (4.4):

In terms of these components we can write
Setting , we can compute the push forwards of these spaces to P(T * ) \ Z(τ ): 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].
Next we observe that P(T * ) \ Z(τ ) is an affine bundle modelled on T * N. The point is that given ∇ in the projective class there is a there is a smooth fibre bundle isomorphism (4.10) First, given ∇, we can represent an element U ∈ T * p (p ∈ N) by the pair (τ, µ) ∈ E(1) p ⊕ T * p N(1), or, if we choose coordinates on N, by collection U = (τ, µ i ), i = 1, . . . , n. Thus, given ∇, and from the naturality of all maps, it follows that the total space of T * N can be identified with P(T * ) \ Z(τ ) by (for each p ∈ N) Thus we may view 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 τ is a smoothly embedded hypersurface in M, and from (4.2) it follows at once that this may be identified with the total space of the fibrewise projectivisation 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 Z(τ ) (if n odd) is not orientable, or M (if n even) is not orientable.

4.1.2.
Compactification by ray-projectiviation: Instead we may follow the construction above but instead define M := π * (P + (T * )), where P + (T * ) is the ray-projectivisation of T * (i.e. the fibres of T * → P + (T * ) are isomorphic to R + ). Then the bundles E(w, w ′ ) should also be defined via ray homogeneity. In this case, for N orientable, both Z(τ ) and M are orientable, and again M is closed iff N is. Now from (4.2) we have that Z(τ ) may be identified with the fibrewise ray-projectivisation P + (T * N). In this variant of the construction there are two copies M ± of T * N in M according to the sign of τ . Moreover each of M \ M ∓ is a manifold that is globally a para-c-projective compactification of M ± 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 M has a canonical para-c-projective geometry. In the notation as above, π * T ⊕ π * 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 π * T and π * T * determines a fibre metric and compatible symplectic form on the bundle π * T ⊕ π * 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 subsection 4.1.2 we have presented a candidate M ≡ M \ M ∓ for a para-c-projective compactification of the Einstein para-Kahler manifold (M, g, Ω) given by (4.1). What remains to be done is to show that near the boundary Z(τ ) = 0 of M the metric (4.1) can be put in the local normal form of Theorem 3.2.
The endomorphism J : T M → T M defined by Ω(X, Y ) = g(JX, Y ) satisfies J 2 = Id, and the associated Libermann connection ∇ L [16] is given by and ∇ 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 parac-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, Ω) given by (4.1) admits a para-c-projective compactification M . The structure on the (2n − 1)-dimensional boundary ∂M ∼ = P(T * N) of 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 ∂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, [∇]) modifies the compactification.
In the model case we can define coordinates x i on N = RP n by taking X = (1, x 1 , . . . , x n ), where (X 0 , . . . , X n ) are homogeneous coordinates and we are working in an open set where X 0 = 0. The x i are flat coordinates, so the connection components (and hence the Schouten tensor) vanish and (4.1) reduces to (4.14) We can relate [13] the affine coordinates ξ i on the fibres of T * N to the tractor coordinates (4.11) by setting ξ i = µ i /τ on the complement of the zero locus Z(τ ) of τ . Now consider an open set U ⊂ M given by ξ i x i > 0, and define the function T on U by We shall attach a boundary ∂U to the open set U such that T extends to a function T on U ∪ ∂U, and T is the defining function for this boundary. We then investigate the geometry on M in the limit T → 0. It is clear from above that the zero locus of T will be contained in the zero locus Z(τ ) of τ , and therefore belongs to the boundary of M. We will use T as a defining function for M in an open set U ⊂ M . The strategy of the proof is to extend T to a coordinate system on U, such that near the boundary the metric g takes a form as in Theorem 3.2. First define θ ∈ Λ 1 (M ) by where J is the para-complex structure of (g, Ω). Using (4.14) this gives We need n open sets U 1 , . . . , U n such that ξ k = 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 (T, Z 1 , . . . , Z n−1 , X 1 , . . . , X n−1 , Y ), where T is given by (4.15) and We compute and substitute into (4.14). This gives 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 ∂M gives a metric on a distribution D = Ker(θ| T =0 ) (4.18) 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 θ| 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 θ 0 ≡ Kθ| T =0 on T (∂M), with the metric on 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 θ 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 (4.20) This is smooth as T → 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 dY = Kθ| T =0 /2 − Z A dX A , disregarding the terms involving θ| T =0 in h, and conformally rescalling by K yields the metric 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 D is compatible with the Levi-form of the almost para-CR structure induced on ∂M by J, i.e. h D (X, Y ) = dθ 0 (JX, Y ), for X ∈ D. (4.22) The second is that the Nijenhuis tensor takes asymptotically tangential values, i.e. that (3.1) is satisfied.
of ∇. In the two-dimensional case the projective structures (N, [∇]) 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 ∇. The integral curves C of (4.24) are integral submanifolds of a differential ideal I =< θ 0 , θ 1 >, where are one-forms on a three-dimensional manifold B = P(T * N) with local coordinates (X, Y, Z). If f : C → B is an immersion, then f * (θ 0 ) = 0, f * (θ 1 ) = 0 is equivalent to (4.24) as long as θ 2 ≡ dX does not vanish. In terms of these three one-forms the contact structure, and the metric on the contact distribution are given by θ 0 , h D = θ 1 ⊙ θ 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 = RP n gives rise to the neutral signature para-Kähler Einstein metric on M = SL(n + 1)/GL(n) (4.25) In [13], §7.1 it was explained how this homogeneous model corresponds to the projectivised co-tractor bundle of RP n , with an RP n−1 removed from each RP n fiber. This RP n−1 corresponds to incident pairs of points and hyperplanes in R n+1 × 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 RP n ) the tractor bundle is trivial, and this simplifies the discussion. The underlying space of the (compactified) model of dimension 2n is S n × 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 R n+1 : and view each as a representation space for an SL(n + 1, R) action. So Note that as a smooth manifold M = S n × S n , but as a homogeneous manifold it is G/P = SL(V )/P X × SL(W )/P U where P X (resp. P U ) is the parabolic subgroup in SL(V ) that stabilises a point [X] in P + (V ) (resp. [U] ∈ P + (W ) ), and P is the group product P X × 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 I : W → V * where V * denotes the dual space to V . The subgroup H ∼ = SL(n + 1, R) of G that fixes this may be identified with SL(V ) which acts on a pair (Y, Z) ∈ V × 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 We may think of Z as the 'boundary' (at infinity) for the open orbits M ± . We now describe the geometries on the orbits. The claim is that there are Einstein metrics in M ± , while 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 := P + (V ) is the flat model of projective geometry. So in particular we have 0 → E V (−1) There is a natural tractor bundle T := T V ⊕ 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 X U = 0, the tractor field U splits the first sequence by ν ∈ Γ(E(−1, 0)) defined by ν := U/τ with τ := X U (and where we have used an obvious weight notation). This follows as X ν = 1. Similarly x := X/τ ∈ Γ(E(0, −1)) splits the second short exact sequence because x U = 1. Thus we obtain a neutral signature metric on T N V ⊕ T N W by these two steps: First, using these splittings yields a bundle monomorphism Second, this gives a symmetric form g and symplectic form Ω on T N V (−1, 0)⊕T N W (0, −1) by then using the canonical metric and symplectic form on T V ⊕ T W given by the duality of T V and T W . Thus g ∈ Γ(S 2 T * M(1, 1)) and Ω ∈ Γ(Λ 2 T * M(1, 1)). Then set g := 1 τ g and Ω := 1 τ Ω.
The metric g is easily seen to have neutral signature. It is Einstein because the tractor metric on T is parallel for the tractor connection (see [8] for the analogous c-projective case). The tractor connecction arises from the usual parallel transport on the vector space V ⊕ V * viewed as an affine manifold.