A classical solution is called universal if the quantum correction is a multiple of the metric. Therefore, universal solutions play an important role in the quantum theory. We show that in a spacetime which is universal all scalar curvature invariants are constant (i.e., the spacetime is CSI).

1. Universality

In [1, 2], metrics of holonomy Sim(š‘›āˆ’2) were investigated, and it was found that all 4-dimensional Sim(2) metrics (which belong to the subclass of Kundt-š¶š‘†š¼ spacetimes) are universal and consequently can be interpreted as metrics with vanishing quantum corrections and are automatically solutions to the quantum theory. A classical solution is called universal if the quantum correction is a multiple of the metric and therefore plays an important role in the quantum theory regardless of what the exact form of this theory might be.

That is, if the spacetime is universal, then every symmetric conserved rank-2 tensor, š‘‡š‘Žš‘, which is constructed from the metric, Riemann tensor and its covariant derivatives, is of the form š‘‡š‘Žš‘=šœ‡š‘”š‘Žš‘,(1.1) where šœ‡ is a constant. Now, for every scalar š‘† that appears in the action (gravitational Lagrangian) we obtain by variation (since these geometrical tensors are automatically conserved due to the invariance of the actions under spacetime diffeomorphisms) a symmetric conserved rank-2 tensor š‘†š‘Žš‘. For each such tensor, we have from the condition of universality that š‘†š‘Žš‘=īšœ‡š‘”š‘Žš‘. By using an appropriate set of such scalars, we will show that the resulting spacetime is CSI. Since the resulting spacetime is automatically an Einstein space, in effect we must show that all scalar contractions of the Weyl tensor and its derivatives are constants [3ā€“5]. We utilize the results of FKWC [6ā€“8] to obtain all conserved rank-2 tensors obtained from variations (by Noether's theorem) of an elemental scalar Riemann polynomial.

There are a number of related results we would like to investigate in this paper. We will state these in terms of a conjecture and will corroborate this conjecture by proving a number of subresults.

Conjecture 1.1. A Universal n-dimensional Lorentzian spacetime, (š‘€,š‘”), has the following properties. (1) It is CSI. (2) It is a degenerate Kundt spacetime.(3) There exists a spacetime, (ī‚‹š‘€,Ģƒš‘”), of Riemann type D having identical scalar polynomial invariants; consequently (ī‚‹š‘€,Ģƒš‘”) is spacetime homogeneous.(4) There exists a homogeneous isotropy-irreducible Riemannian spacetime (ī‚Šš‘€,Ģ‚š‘”) having identical scalar polynomial invariants as (š‘€,š‘”); that is, (ī‚Šš‘€,Ģ‚š‘”) is universal as a Riemannian space.

In low dimensions, this conjecture can be proven; in particular, dimension 2 is trivial as there is only one independent component, namely, the Ricci scalar R. In dimension 3, there are only Ricci invariants and the conjecture can be proven by brute force using symmetric conserved tensors. Most of our investigation will focus on dimension 4, and unless stated otherwise, we will assume that there is a 4 dimensional manifold.

We will use different methods to substantiate the above conjecture. This will consist of partial proofs and other arguments.

2. The CSI Case

Let us first provide with results substantiating the claim that universal spacetimes are CSI. This is clearly the case in the Riemannian case where Bleecker [9] showed that the critical manifolds are homogeneous, hence, CSI.

2.1. The Direct Method

Field theoretic calculations on curved spacetimes are nontrivial due to the systematic occurrence, in the expressions involved, of Riemann polynomials. These polynomials are formed from the Riemann tensor by covariant differentiation, multiplication, and contraction. The results of these calculations are complicated because of the nonuniqueness of their final forms, since the symmetries of the Riemann tensor as well as Bianchi identities can not be used in a uniform manner and monomials formed from the Riemann tensor may be linearly dependent in nontrivial ways. In [6], Fulling, King, Wybourne, and Cummings (FKWC) systematically expanded the Riemann polynomials encountered in calculations on standard bases constructed from group theoretical considerations. They displayed such bases for scalar Riemann polynomials of order eight or less in the derivatives of the metric tensor and for tensorial Riemann polynomials of order six or less. We adopt the FKWC-notations ā„›š‘Ÿš‘ ,š‘ž and ā„›š‘Ÿ{šœ†1ā‹Æ} to denote, respectively, the space of Riemann polynomials of rank š‘Ÿ (number of free indices), order š‘  (number of differentiations of the metric tensor), degree š‘ž (number of factors āˆ‡š‘š‘…ā€¦ā€¦), and the space of Riemann polynomials of rank š‘Ÿ spanned by contractions of products of the type āˆ‡šœ†1š‘…ā€¦ā€¦ [6]. The geometrical identities utilized to eliminate ā€œspuriousā€ Riemann monomials include (i) the commutation of covariant derivatives, (ii) the ā€œsymmetryā€ properties of the Ricci and the Riemann tensors (pair symmetry, antisymmetry, cyclic symmetry), and (iii) the Bianchi identity and its consequences obtained by contraction of index pairs.

In this paper, we actually use a slightly modified version of the FKWC-bases [7, 8], which are independent of the dimension of spacetime and provide irreducible expressions for all of our results. In addition, the results of [8] provide irreducible expressions for the metric variations (i.e., for the functional derivatives with respect to the metric tensor) of the action terms associated with the 17 basis elements for the scalar Riemann polynomials of order six in derivatives of the metric tensor (the so-called curvature invariants of order six).

2.1.1. Riemann Polynomials of Rank 0 (Scalars)

The most general expression for a scalar of order six or less in derivatives of the metric tensor is obtained by expanding it on the FKWC-basis for Riemann polynomials of rank 0 and order 6 or less [6].

The subbasis for Riemann polynomials of rank 0 and order 2 consists of a single element: š‘…[ā„›02,1].

Choosing š‘† to be the Ricci scalar, š‘…, we find that the Einstein tensor is conserved and š‘…š‘Žš‘=šœ†š‘”š‘Žš‘, where šœ† is a constant, and the spacetime is necessarily an Einstein space: š‘…pš‘ž=šœ†š‘”š‘š‘ž;š‘…š‘š‘ž;š‘Ÿ=0.(2.1) Every scalar contraction of the Ricci tensor (or its covariant derivatives, which are in fact zero) will thus necessarily be constant. Every scalar contraction of the Riemann tensor and its derivatives with the Ricci tensor or its covariant derivatives will be constant. For example, for š‘†=š‘…š‘Žš‘š‘…š‘Žš‘ for an Einstein space we have that š‘†š‘Žš‘=2(š‘…š‘Žš‘š‘š‘‘āˆ’(1/4)š‘”š‘Žš‘š‘…š‘š‘‘)š‘…š‘š‘‘=ī‚šœ‡š‘”š‘Žš‘ (where ī‚šœ‡ā‰ˆšœ†2). Every mixed invariant (containing both the Ricci tensor and the Weyl tensor and their derivatives, will be constant or can be written entirely as a contraction of scalars involving just the Weyl tensor and its derivatives (up to an additive constant term).

Thus to prove that the resulting spacetimes are CSI, we must show that all scalar contractions of the Weyl tensor and its derivatives are constants.

The subbasis for Riemann polynomials of rank 0 and order 4 has 4 elements: ā–”š‘…[ā„›04,1]: š‘…2, š‘…š‘š‘žš‘…š‘š‘ž, š‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘Ÿš‘ [ā„›04,2].

From (2.1), there is only one rank 0/order 4 independent scalar, š¶2ā‰”š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘Ÿš‘ . By varying š‘†=š¶2, we obtain a symmetric conserved rank-2 tensor which depends on polynomial contractions of the Weyl tensor quadratically, which by universality is proportional to the metric: š¶š‘Žlmnš¶lmnš‘+š¶š‘lmnš¶lmnš‘ŽĢ‚=2šœ†š‘”š‘Žš‘.(2.2) Hence we have that š¶2=Ģ‚šœ†.(2.3)

Indeed, by choosing š‘† to be a polynomial contraction of the Weyl tensor alone (higher than quadratic), we find that by varying š‘† we obtain symmetric conserved rank-2 tensors which depend on polynomial contractions of the Weyl tensor which by universality are proportional to the metric, and hence all zeroth-order invariants constructed form the Weyl tensor are constant (and the spacetime is said to be CSI0). We note that in higher dimensions, all Lovelock tensors are divergence free and consequently (by universality) proportional to the metric. However, we will not proceed in this way here.

The most general expression for a gravitational Lagrangian of order six in derivatives of the metric tensor is obtained by expanding it on the FKWC-basis for Riemann polynomials of order 6 and rank 0. This subbasis consists of the 17 following elements [6]: ā–”ā–”š‘…[ā„›06,1]: š‘…ā–”š‘…, š‘…;š‘š‘žš‘…š‘š‘ž, š‘…š‘š‘žā–”š‘…š‘š‘ž, š‘…š‘š‘ž;š‘Ÿš‘ š‘…š‘š‘Ÿš‘žš‘ [ā„›0{2,0}]: š‘…;š‘š‘…;š‘, š‘…š‘š‘ž;š‘Ÿš‘…š‘š‘ž;š‘Ÿ, š‘…š‘š‘ž;š‘Ÿš‘…š‘š‘Ÿ;š‘ž, š‘…š‘š‘žš‘Ÿš‘ ;š‘”š‘…š‘š‘žš‘Ÿš‘ ;š‘”[ā„›0{1,1}]: š‘…3, š‘…š‘…š‘š‘žš‘…š‘š‘ž, š‘…š‘š‘žš‘…š‘š‘Ÿš‘…š‘žš‘Ÿ, š‘…š‘š‘žš‘…š‘Ÿš‘ š‘…š‘š‘Ÿš‘žš‘ , š‘…š‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘Ÿš‘ , š‘…š‘š‘žš‘…š‘š‘Ÿš‘ š‘”š‘…š‘žš‘Ÿš‘ š‘”, š‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘¢š‘£, š‘…š‘Ÿš‘ š‘¢š‘£, and š‘…š‘š‘Ÿš‘žš‘ š‘…š‘š‘¢š‘žš‘£š‘…š‘Ÿš‘¢š‘ š‘£[ā„›06,3].

In general, only 10 of these give rise to independent variations. The other 7 depend on these via total divergences (and Stokes theorem); the functional derivatives (i.e., conserved tensors) with respect to the metric tensor of the 7 remaining action terms can then be obtained in a straightforward manner.

In the case of an Einstein space satisfying the conditions (2.1), (2.2), and (2.3), there are only three independent rank 0/order 6 scalars:(āˆ‡š¶)2ā‰”š¶š‘š‘žš‘Ÿš‘ ;š‘”š¶š‘š‘žš‘Ÿš‘ ;š‘”,š¶31ā‰”š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘¢š‘£š¶š‘Ÿš‘ š‘¢š‘£,š¶32ā‰”š¶š‘š‘Ÿš‘žš‘ š¶š‘š‘¢š‘žš‘£š¶š‘Ÿš‘¢š‘ š‘£,(2.4) (where, for example, (āˆ‡š¶)2ā‰”š‘…š‘š‘žš‘Ÿš‘ ;š‘”š‘…š‘š‘žš‘Ÿš‘ ;š‘”=š¶š‘š‘žš‘Ÿš‘ ;š‘”š¶š‘š‘žš‘Ÿš‘ ;š‘”).

Variations of the last four scalars in the list above give rise to 4 independent conserved rank-2 tensors (although š‘…š‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘Ÿš‘  and š‘…š‘š‘žš‘…š‘š‘Ÿš‘ š‘”š‘…š‘žš‘Ÿš‘ š‘” are equivalent to šœ†Ģ‚šœ†, their variations are nontrivial). Note that š‘…š‘š‘žš‘Ÿš‘ ;š‘”š‘…š‘š‘žš‘Ÿš‘ ;š‘” depends on the other 4 scalars via a total divergence (and Stokes theorem).

2.1.2. Conserved Rank 2 Tensors of Order Six

The functional derivatives of the ten independent action terms on the FKWC basis were expanded in [7]: for an Einstein space satisfying the conditions (2.1), (2.2), and (2.3), we obtain the following 4 independent explicit irreducible expressions for the metric variations of the action terms constructed from the 17 scalar Riemann monomials of order six:š»(6,3)(7)š‘Žš‘ā‰”1āˆšš›æāˆ’š‘”š›æš‘”š‘Žš‘ī€œā„³š‘‘š·š‘„āˆšāˆ’š‘”š‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘¢š‘£š‘…š‘Ÿš‘ š‘¢š‘£=24š‘…š‘(š‘Ž;š‘žš‘Ÿš‘…|š‘š‘žš‘Ÿ|š‘)āˆ’12š‘…š‘š‘Ž;š‘žš‘…š‘š‘;š‘ž+12š‘…š‘š‘Ž;š‘žš‘…š‘žš‘;š‘+3š‘…š‘š‘žš‘Ÿš‘ ;š‘Žš‘…š‘š‘žš‘Ÿš‘ ;š‘āˆ’6š‘…š‘š‘žš‘Ÿš‘Ž;š‘ š‘…š‘š‘žš‘Ÿš‘;š‘ āˆ’6š‘…š‘š‘žš‘…š‘Ÿš‘ š‘š‘Žš‘…š‘Ÿš‘ š‘žš‘+12š‘…š‘š‘Ÿš‘žš‘ š‘…š‘”š‘š‘žš‘Žš‘…š‘”š‘Ÿš‘ š‘+12š‘”š‘Žš‘ī€ŗš‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘¢š‘£š‘…š‘Ÿš‘ š‘¢š‘£ī€»,(2.5) which implies that (using (2.1), (2.2)-(2.3))3š¶š‘š‘žš‘Ÿš‘ ;š‘Žš¶š‘š‘žš‘Ÿš‘ ;š‘āˆ’6š¶š‘š‘žš‘Ÿš‘Ž;š‘ š¶š‘š‘žš‘Ÿš‘;š‘ +12š¶š‘š‘Ÿš‘žš‘ š¶š‘”š‘š‘žš‘Žš¶š‘”š‘Ÿš‘ š‘+12š‘”š‘Žš‘ī€ŗš¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘¢š‘£š¶š‘Ÿš‘ š‘¢š‘£ī€»=šœ†1š‘”š‘Žš‘.(2.6) In addition,š»(6,3)(5)š‘Žš‘ā‰”1āˆšš›æāˆ’š‘”š›æš‘”š‘Žš‘ī€œā„³š‘‘š·š‘„āˆšāˆ’š‘”š‘…š‘…š‘š‘žš‘Ÿš‘ š‘…š‘š‘žš‘Ÿš‘ ,š»(6,3)(6)š‘Žš‘ā‰”1āˆšš›æāˆ’š‘”š›æš‘”š‘Žš‘ī€œā„³š‘‘š·š‘„āˆšāˆ’š‘”š‘…š‘š‘žš‘…š‘š‘Ÿš‘ š‘”š‘…š‘žš‘Ÿš‘ š‘”,š»(6,3)(8)š‘Žš‘ā‰”1āˆšš›æāˆ’š‘”š›æš‘”š‘Žš‘ī€œā„³š‘‘š·š‘„āˆšāˆ’š‘”š‘…š‘š‘Ÿš‘žš‘ š‘…š‘š‘¢š‘žš‘£š‘…š‘Ÿš‘¢š‘ š‘£(2.7) yield (respectively)2š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘Ÿš‘ ;(š‘Žš‘)+2š¶š‘š‘žš‘Ÿš‘ ;š‘Žš¶š‘š‘žš‘Ÿš‘ ;š‘+š‘”š‘Žš‘ī€ŗāˆ’2š¶š‘š‘žš‘Ÿš‘ ;š‘”š¶š‘š‘žš‘Ÿš‘ ;š‘”+2š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘¢š‘£š¶š‘Ÿš‘ š‘¢š‘£+8š¶š‘rš‘žš‘ š¶š‘š‘¢š‘žš‘£š¶š‘Ÿš‘¢š‘ š‘£ī€»=šœ†2š‘”š‘Žš‘,12š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘Ÿš‘ ;(š‘Žš‘)+12š¶š‘š‘žš‘Ÿš‘ ;š‘Žš¶š‘š‘žš‘Ÿš‘ ;š‘āˆ’š¶š‘š‘žš‘Ÿš‘Ž;š‘ š¶š‘š‘žš‘Ÿš‘;š‘ +š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘”š‘Žš¶š‘”š‘š‘Ÿš‘ +4š¶š‘š‘Ÿš‘žš‘ š¶š‘”š‘š‘žš‘Žš¶š‘”š‘Ÿš‘ š‘āˆ’š¶š‘ š‘š‘žš‘Ÿš¶š‘š‘žrš‘”š¶š‘ š‘Žš‘”š‘+14š‘”š‘Žš‘ī€ŗāˆ’š¶š‘š‘žš‘Ÿš‘ ;š‘”š¶š‘š‘žš‘Ÿš‘ ;š‘”+š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘¢š‘£š¶š‘Ÿš‘ š‘¢š‘£+4š¶š‘š‘Ÿš‘žš‘ š¶š‘š‘¢š‘žš‘£š¶š‘Ÿš‘¢š‘ š‘£ī€»=šœ†3š‘”š‘Žš‘,āˆ’34š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘Ÿš‘ ;(š‘Žš‘)+34š¶š‘š‘žš‘Ÿš‘ ;š‘Žš¶š‘š‘žš‘Ÿš‘ ;š‘āˆ’32š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘žš‘”š‘Žš¶š‘”š‘š‘Ÿš‘ āˆ’9š¶š‘š‘Ÿš‘žš‘ š¶š‘”š‘š‘žš‘Žš¶š‘”š‘Ÿš‘ š‘+32š¶š‘ š‘š‘žš‘Ÿš¶š‘š‘žš‘Ÿš‘”š¶š‘ š‘Žš‘”š‘+12š‘”š‘Žš‘ī€ŗš¶š‘š‘Ÿš‘žš‘ š¶š‘š‘¢š‘žš‘£š¶š‘Ÿš‘¢š‘ š‘£ī€»=šœ†4š‘”š‘Žš‘.(2.8)

Contracting (2.6), (2.8), and using š¶š‘š‘žš‘Ÿš‘ ā–”š¶š‘š‘žš‘Ÿš‘ =āˆ’š¶31āˆ’4š¶32Ģ‚šœ†+2šœ† (etc.) [7], we then obtain āˆ’3(āˆ‡š¶)2+2š¶31+12š¶32=4šœ†1,āˆ’3(āˆ‡š¶)2+3š¶31+4š¶32=2šœ†2Ģ‚āˆ’2šœ†šœ†,āˆ’3(āˆ‡š¶)2+3š¶31+12š¶32=8šœ†3Ģ‚āˆ’2šœ†šœ†,āˆ’3(āˆ‡š¶)2+3š¶31+16š¶32=āˆ’16šœ†4Ģ‚āˆ’6šœ†šœ†,(2.9) and hence the 3 independent scalars of order 6 are all constant:(āˆ‡š¶)2=šœ‡1,š¶31=šœ‡2,š¶32=šœ‡3.(2.10) Since all of the basis scalars of order six are constant, then all scalars of order six are constant.

We now proceed with the higher-order scalars: orders (8,10,12) were considered in [6]. In particular, there is a subbasis of scalar (rank-0) order 8 polynomials consisting of 92 elements given in [6, Appendix B] from which, by variation, we can obtain a set of independent conserved rank-2 tensors of order 8. For an Einstein space satisfying (2.1), (2.2)-(2.3) and (2.10), there are only 11 independent scalars: š¶š‘š‘žš‘Ÿš‘ ;š‘”š‘¢š¶š‘š‘žš‘Ÿš‘ ;š‘”š‘¢ and š¶š‘š‘žš‘Ÿš‘ š¶š‘š‘”š‘¢š‘£š¶š‘žš‘”š‘Ÿš‘¢;š‘ š‘£, 3 scalars (involving squares of the first covariant derivative) of the form š¶š‘š‘Ÿš‘žš‘ š¶š‘”š‘¢š‘£š‘;š‘žš¶š‘”š‘¢š‘£š‘Ÿ;š‘ , and 6 algebraic fourth-order polynomials of the form š¶š‘š‘žš‘Ÿš‘ š¶š‘”š‘š‘žš‘Ÿš¶š‘ š‘¢š‘£š‘¤š¶š‘¢š‘£š‘¤š‘”. By obtaining the set of (more that 12) independent conserved rank-2 tensors of order 8, it follows that all of these 11 independent scalars are constant. In particular, the 3 scalars involving the first covariant derivative of the Weyl tensor are constant, and we are well on our way to show that the spacetime is š¶š‘†š¼1. Indeed, in four dimensions, this is sufficient to show that the resulting spacetime is š¶š‘†š¼ [3ā€“5]. Continuing in this way, we obtain the result that in a universal spacetime all scalar curvature invariants are constant.

2.2. The Slice Theorem

Let š¼š‘– be all possible curvature invariants. Then we can generate a corresponding set of conserved symmetric tensors, š‘‡š‘–,šœ‡šœˆ, by considering the variation of š‘†[š¼š‘–āˆ«š¼]=š‘–āˆšāˆ’š‘”š‘‘š‘š‘„.

Assume that the spacetime under consideration is universal. If the spacetime is strongly universal, then all of these symmetric tensors are zero: š‘‡š‘–,šœ‡šœˆ=0. If there is a š‘‡š‘–,šœ‡šœˆ which is nonzero, then the spacetime is weakly universal, and, assuming that š‘‡1,šœ‡šœˆ=šœ†1š‘”šœ‡šœˆā‰ 0, then we can define the equivalent set of invariants:ī‚š¼1=š¼1+2šœ†1,ī‚š¼š‘–=š¼š‘–āˆ’šœ†š‘–šœ†1š¼1.(2.11) We notice that for this new set of invariants, the corresponding conserved tensors are all zero: ī‚š‘‡š‘–,šœ‡šœˆ=0.

This means that we have a full set of invariants all of which has a zero variation: š›æš‘†/š›æš‘”šœ‡šœˆ=0. This is a signal that the universal metric has degeneracy in their curvature structure. In particular, consider a metric variation š›æš‘”šœ‡šœˆ=šœ–ā„Žšœ‡šœˆ where ā„Žšœ‡šœˆš‘”šœ‡šœˆ=0 (traceless). Then this implies that the variation with respect to the metric is zero implying that the variation of all the invariants in the direction of ā„Žšœ‡šœˆ is zero. The metric is therefore a fixed point of all possible actions.

For the degenerate Kundt metrics, there exists a one-parameter family of metrics š‘”šœ such that š¼š‘–[š‘”]=š¼š‘–[š‘”šœ]. Clearly, this implies that limšœā†’0((š‘†[š‘”]āˆ’š‘†[š‘”šœ]))/šœ)=0; that is, š›æš‘†/š›æš‘”šœ‡šœˆ valishes along ā„Žšœ‡šœˆā‰”limšœā†’0((š‘”šœ‡šœˆāˆ’š‘”šœ,šœ‡šœˆ)/šœ). We note that for the Kundt spacetimes this metric deformation can always be chosen to be traceless (indeed, nilpotent). The universality condition puts additional conditions since all variations of the metric are required to be zero. However, degenerate Kundt metrics are particularly promising candidates for universal metrics [10].

In the Riemannian case, the slice theorem was used by Bleecker [9] to show many results regarding critical metrics. The slice theorem considers the manifold of metrics modulo the diffeomorphism group. Ebin [11] proved the slice theorem for compact Riemannian case. The Lorentzian case is a bit more problematic, and its validity is questionable for the general case but Isenberg and Marsden [12] showed a slice theorem for solutions to the Einstein equations given some assumptions (essentially, gobal hyperbolicity and compact spatial sections). In its infinitesimal version, it states that a symmetric tensor can be split as follows: š‘†šœ‡šœˆ=Ā£š‘‹š‘”šœ‡šœˆ+š‘‡šœ‡šœˆ,(2.12) for a vector field š‘‹, and š‘‡ is conserved: āˆ‡šœ‡š‘‡šœˆšœ‡=0. The vector field š‘‹ can be interpreted as the generator of the diffeomorphism group and thus is a ā€œgauge freedomā€.

Consider the case when the slice theorem is valid. One can now show that universality implies CSI (following parts of Bleecker's argument). Assume therefore that the spacetime is not CSI. Then there must exist a nonconstant invariant š¼. In particular, there must exists a nontrivial interval [š‘Ž,š‘] onto which the invariant š¼ is onto. Choose therefore a sufficiently small and smooth function š‘“(š¼). The space of such functions is clearly infinite dimensional. Construct then the tensor deformation Ģƒš‘”šœ‡šœˆ=(1+š‘“(š¼))š‘”šœ‡šœˆ. By the slice theorem, there exists a diffeomorphism šœ™ such that šœ™āˆ—Ģƒš‘”šœ‡šœˆ is conserved. Clearly, šœ™āˆ—Ģƒš‘”šœ‡šœˆ is an invariant tensor and thus, by universality, šœ™āˆ—Ģƒš‘”šœ‡šœˆ=šœ†š‘”šœ‡šœˆ. This implies that the metric deformation is a conformal transformation. However, the space of conformal transformations is finite, thus, it must be possible to choose an š‘“(š¼) such that šœ™āˆ—Ģƒš‘”šœ‡šœˆā‰ šœ†š‘”šœ‡šœˆ. Consequently, the space is not universal. To summarise, not CSI implies not universal, thus universality implies CSI.

Note that in the compact Riemannian case the slice theorem holds thus universality implies CSI. In the Riemannian case, CSI implies locally homogeneous, and thus this provides a slightly alternate proof to that of Bleecker [9].

This result depends crucially on the validity of the slice theorem and it is unclear to the authors for which Lorentzian spaces it holds. However, the result is important as one can see that there is a clear link between universality and CSI spaces and thus supports our conjecture.

3. Kundt CSI Metrics

In [5], we proved that if a 4D spacetime is š¶š‘†š¼, then either the spacetime is locally homogeneous or the spacetime is a Kundt spacetime. The Kundt-š¶š‘†š¼ spacetimes are of particular interest since they are solutions of supergravity or superstring theory when supported by appropriate bosonic fields [13]. It is plausible that a wide class of š¶š‘†š¼ solutions are exact solutions to string theory nonperturbatively [14]. In the context of string theory, it is of considerable interest to study higher-dimensional Lorentzian š¶š‘†š¼ spacetimes. In particular, a number of higher-dimensional š¶š‘†š¼ spacetimes are also known to be solutions of supergravity theory [13]. The supersymmetric properties of š¶š‘†š¼ spacetimes have also been studied, particularly those that admit a null covariantly constant vector (CCNV).

A Kundt š¶š‘†š¼ can be written in the form [15] š‘‘š‘ 2ī€ŗī€·=2š‘‘š‘¢š‘‘š‘£+š»š‘£,š‘¢,š‘„š‘˜ī€øš‘‘š‘¢+š‘Šš‘–ī€·š‘£,š‘¢,š‘„š‘˜ī€øš‘‘š‘„š‘–ī€»+š‘”āŸ‚š‘–š‘—ī€·š‘„š‘˜ī€øš‘‘š‘„š‘–š‘‘š‘„š‘—,(3.1) where the metric functions š» and š‘Šš‘–, requiring š¶š‘†š¼0, are given by š‘Šš‘–ī€·š‘£,š‘¢,š‘„š‘˜ī€ø=š‘£š‘Šš‘–(1)ī€·š‘¢,š‘„š‘˜ī€ø+š‘Šš‘–(0)ī€·š‘¢,š‘„š‘˜ī€ø,š»ī€·š‘£,š‘¢,š‘„š‘˜ī€ø=š‘£2ī‚šœŽ+š‘£š»(1)ī€·š‘¢,š‘„š‘˜ī€ø+š»(0)ī€·š‘¢,š‘„š‘˜ī€ø,1ī‚šœŽ=8ī‚€4šœŽ+š‘Š(1)š‘–š‘Šš‘–(1)ī‚,(3.2) where šœŽ is a constant. The remaining equations for š¶š‘†š¼0 that need to be solved are (hatted indices refer to an orthonormal frame in the transverse space): š‘Šī‚ƒ(1)Ģ‚š‘–;Ģ‚š‘—ī‚„Ģ‚š‘–Ģ‚š‘—,š‘Š=ššŠī‚€(1)Ģ‚š‘–;Ģ‚š‘—ī‚āˆ’12ī‚€š‘Š(1)Ģ‚š‘–ī‚ī‚µš‘Š(1)Ģ‚š‘—ī‚¶Ģ‚š‘–Ģ‚š‘—,=ššœ(3.3) and the components š‘…āŸ‚Ģ‚š‘–Ģ‚š‘—īš‘šĢ‚š‘› are all constants (i.e., š‘‘š‘†2š»=š‘”āŸ‚š‘–š‘—(š‘„š‘˜)š‘‘š‘„š‘–š‘‘š‘„š‘— is curvature homogeneous). In four dimensions, š‘”āŸ‚š‘–š‘—(š‘„š‘˜)š‘‘š‘„š‘–š‘‘š‘„š‘— is 2 dimensional, which immediately implies š‘”āŸ‚š‘–š‘—(š‘„š‘˜)š‘‘š‘„š‘–š‘‘š‘„š‘— is a 2-dimensional locally homogeneous space and, in fact, maximally symmetric space. Up to scaling, there are (locally) only 3 such, namely, the sphere, š‘†2; the flat plane, š”¼2; and the hyperbolic plane, ā„2.

Equation (3.3) now gives a set of differential equations for š‘Š(1)Ģ‚š‘–. These equations determine uniquely š‘Š(1)Ģ‚š‘– up to initial conditions (which may be free functions in š‘¢). Also, requiring š¶š‘†š¼1 gives an additional set of constraints: š›¼Ģ‚š‘–=šœŽš‘Š(1)Ģ‚š‘–āˆ’12ī‚€ššœĢ‚š‘—Ģ‚š‘–Ģ‚š‘—Ģ‚š‘–ī‚š‘Š+ššŠ(1)Ģ‚š‘—,š›½Ģ‚š‘–Ģ‚š‘—Ģ‚š‘˜=š‘Š(1)š‘…Ģ‚š‘›āŸ‚Ģ‚š‘–Ģ‚š‘—Ģ‚š‘˜Ģ‚š‘›āˆ’š‘Š(1)Ģ‚š‘–ššŠĢ‚š‘—Ģ‚š‘˜+ī‚€ššœĢ‚š‘–[Ģ‚š‘—Ģ‚š‘–+ššŠ[Ģ‚š‘—ī‚š‘Š(1)Ģ‚š‘˜],(3.4) where š›¼š‘– and š›½Ģ‚š‘–Ģ‚š‘—Ģ‚š‘˜ are constants determined from the curvature invariants. We note that for a four-dimensional Kundt spacetime, š¶š‘†š¼1 implies š¶š‘†š¼ [5].

The relation between CSI spacetimes and those that are universal is strong.

Theorem 3.1. A universal spacetime of Petrov type D, II, or III, is Kundt CSI.

Proof. Consider type D first. Here, assuming the spacetime is Einstein, we have that the spacetime is necessarily CSI0 (which follows from previous discussion). This implies that the b.w. 0 components are constants also in the canonical frame. Using the Bianchi identities, it immediately follows that it is Kundt also. Since the previous analysis also implies that it is CSI1, then we have that the spacetime is Kundt-CSI.
For type II, the analysis is almost identical to the type D analysis. For type III, it requires to calculate some conserved tensors. Using the Weyl type III canonical form, the Bianchi identities imply that šœ…=šœŽ=0 (and šœŒ=šœ–, š›½=šœ, š›¼=āˆ’2šœ‹, š›¾=āˆ’2šœ‡). Requiring also that š»(6,3)(8)š‘Žš‘=šœ†š‘”š‘Žš‘, say, gives the additional equation: šœŒ2=0. Clearly, šœŒ=0 and the spacetime is Kundt. Since CSI1 implies CSI for Kundt spacetimes, the theorem follows.

Although the theorem does not include Weyl type N and I, it is believed that these are Kundt. For type I, the expressions are so messy for the conserved tensors to be manageable, and for type N it is necessary to compute a partricular order 16 conserved tensor.

Thus proves the first two statements in the Conjecture 1.1 for Petrov types D, II and III in 4 dimensions. However, we can also see that the last two statements are true.

Proposition 3.2. Given a 4D Kundt CSI spacetime (š‘€,š‘”). If (š‘€,š‘”) is universal then Conjecture 1.1 is true.

Proof. The proof utilises the results from [5]. Assuming Einstein and Kundt CSI reduces to the cases where the corresponding homogeneous spacetime (ī‚‹š‘€,Ģƒš‘”) is locally one of the following: Minkowski, de Sitter, anti-de Sitter, š‘‘š‘†2Ɨš‘†2, or š“š‘‘š‘†2Ɨš»2. These again have the corresponding Riemannian counterparts, (ī‚Šš‘€,Ģ‚š‘”), with identical invariants: flat space, š‘†4, š»4, š‘†2Ɨš‘†2, š»2Ɨš»2.

Note 3. The opposite is not true namely, that for every Riemannian universal spacetime there is a Lorentzian spacetime with the same invariants. For example, the symmetric spaces š¶š‘ƒ2 and š»2ā„‚ (with the corresponding Fubini-Study and Bargmann metrics, respectively) do not have Lorentzian counterparts. Thus the Conjecture 1.1 is signature dependent.


The authors would like to thank Gary W. Gibbons for helpful comments on the current paper. This work was supported in part by NSERC of Canada.