# CCNV Space-Times as Potential Supergravity Solutions.

1. IntroductionSupersymmetric supergravity solutions have been studied in the context of the AdS/CFT conjecture, the microscopic properties of black hole entropy, and the interconnection of string theory dualities. For example, in five dimensions, solutions preserving various fractions of supersymmetry of N = 2 gauged supergravity have been studied. The Killing spinor equations imply that supersymmetric solutions preserve 2, 4, 6, or 8 of the supersymmetries. The AdS5 solution with vanishing gauge field strengths and constant scalars preserves all of the supersymmetries. Half supersymmetric solutions in gauged five-dimensional supergravity with vector multiplets possess two Dirac Killing spinors and hence two time-like or null Killing vector fields. These solutions have been fully classified, using the spinorial geometry method, in [1-3]. Indeed, in a number of supergravity theories [4, 5], in order to preserve some supersymmetry, it is necessary that the space-time admits a Killing spinor which then yields a null or time-like Killing vector field (isometry) from its Dirac current. Therefore, a necessary (but not sufficient) condition for supersymmetry to be preserved is that the space-time admits a null or time-like Killing vector field.

In this short communication we study supergravity solutions preserving a nonminimal fraction of supersymmetries by determining the existence of additional non-space-like isometries in the class of higher-dimensional Kundt space-time admitting a covariantly constant null vector field (CCNV) [6, 7]. CCNV space-time belongs to the Kundt class because it contains a null Killing vector field which is geodesic, nonexpanding, shear-free, and nontwisting. The existence of an additional isometry puts constraints on the metric functions and the vector field components. Killing vector fields that are null or time-like locally or globally (for all values of the coordinate v) are of particular importance. As an illustration we present two explicit examples in this paper.

A constant scalar invariant (CSI) space-time is a space-time such that all of the polynomial scalar invariants constructed from the Riemann tensor and its covariant derivatives are constant. In three and four dimensions, it has been proven that all CSI space-times are either locally homogeneous or belongs to the degenerate Kundt class [8-10]; it is conjectured that this is true in higher dimensions as well. The VSI space-times are CSI space-times for which all of these polynomial scalar invariants vanish. The subset of CCNV space-times which are also VSI are of interest. Indeed, it has been shown previously that the higher-dimensional VSI space-time with fluxes and dilaton is solutions of type IIB supergravity [11-13]. The higher-dimensional Weyl type N pp-wave space-times (Weyl and Ricci type are defined in terms of the alignment classification [14]) are known to be solutions in type IIB supergravity for an appropriate choice of an R-R five-form or an NS-NS form field [15-19].

In fact, all Ricci type N VSI space-times are solutions to supergravity and, moreover, there are VSI space-time solutions of type IIB supergravity which are of Ricci type III, including the string gyratons, assuming that appropriate source fields are provided [11-13]. It has been argued that the VSI supergravity space-time is exact string solutions to all orders in the string tension. Those VSI space-time in which supersymmetry is preserved admits a CCNV. Higher-dimensional VSI space-time solutions to type IIB supergravity preserving some supersymmetry are of Ricci type N, Weyl type III(a), or N [11-13].

It is also known that [AdS.sub.d] x [S.sup.(N-d)] space-time is super symmetric CSI solutions of IIB supergravity. There is an amount of another CSI space-time known to be solution of supergravity admitting supersymmetries [8-10], including generalizations of AdS x S [20], the chiral null models [15], and the string gyratons [21]. Some explicit examples of CSI CCNV Ricci type N supergravity space-time have been constructed [11-13]. The CSI space-times also contain the universal space-times [22]; a space-time is universal if every symmetric conserved rank 2 tensor which can be constructed from the metric, the Riemann tensor, and its covariant derivatives is proportional to the metric. This ensures that any quantum correction to such a classical solution is proportional to the metric and hence is a solution to all quantum gravity theories defined in terms of a gravitational Lagrangian. Therefore, a subset of the CSI space-time will be solutions to all quantum gravity theories defined in this manner. This suggests that the CSI CCNV space-times presented in this paper will contain supergravity solutions.

1.1. Kundt Metrics and CCNV Space-Times. Any N-dimensional space-time possessing a CCNV, l, must necessarily belong to the class of Kundt metrics. Local coordinates (u, v, [x.sup.e]) can be chosen, where l = [[partial derivative].sub.v], so that the metric can be written [6, 7]

[ds.sup.2] = 2du [dv + H(u, [x.sup.e]) du + [[??].sub.e] (u, [x.sup.f]) [dx.sup.e]] + [g.sub.ef] (u, [x.sup.g]) [dx.sup.e][dx.sup.f], (1)

where the metric functions are independent of the light-cone coordinate v.

A Kundt metric admitting a CCNV is CSI if and only if the transverse metric [g.sub.ef] is locally homogeneous [8-10]. Due to the local homogeneity of [g.sub.ef] a coordinate transformation can be performed so that [m.sub.ie] in (2) are independent of w; this implies that the Riemann tensor is of type II or less [14]. If a CSI-CCNV metric satisfies [R.sub.ab][R.sup.ab] = 0, then the metric is VSI, and the Riemann tensor will be of types III, N, or O and the transverse metric is flat (i.e., [g.sub.ef] = [[delta].sub.ef]). The constraints on a CSI CCNV space-time to admit an additional Killing vector field are obtained as subcases of the cases analyzed below where the transverse metric is a locally homogeneous Riemannian manifold.

2. CCNV Space-Time with Additional Isometries

Let us choose the coframe {[m.sup.a]}

[m.sup.1] = n = dv + Hdu + [[??].sub.e][dx.sup.e], [m.sup.2] = l, [m.sup.i] = [m.sup.i][sub.e][dx.sup.e], (2)

where [m.sup.i][sub.u][m.sub.if] = [g.sub.ef] and [m.sub.ie][m.sub.j.sup.e] = [[delta].sub.ij]. The frame derivatives are given by

l = [D.sub.1] = [[partial derivative].sub.v],

n = [D.sub.2] = [[partial derivative].sub.u] - H[[partial derivative].sub.u],

[m.sub.i] = [D.sub.i] = [m.sub.i.sup.e] ([[partial derivative].sub.e] - [[??].sub.e][[partial derivative].sub.v]). (3)

The Killing vector field can be written as X = [X.sub.1]n + [X.sub.2]l + [X.sub.i][m.sup.i]. A coordinate transformation is made to eliminate [[??].sub.3] in (1) and we rotate the frame in order to set [X.sub.3] [not equal to] 0 and [X.sub.m] = 0 [6]. X is now given by

X = [X.sub.1]n + [X.sub.2]l + [chi][m.sup.3]. (4)

Without loss of generality, we assume that the matrix [m.sub.ie] is upper-triangular. As a note, the indices e, f, g, ..., range from 3 to N while the indices m, n, r, p, ... range from 4 to N.

A subset of the Killing equation can then be written as follows:

[X.sub.1,v] = 0,

[X.sub.1,u] + [X.sub.2,v] = 0

[m.sub.3.sup.e][X.sub.1,e] + [X.sub.3,v] = 0,

[m.sub.n.sup.e][X.sub.1,e] = 0, (5)

which imply

[X.sub.1] = [F.sub.1] (u, [x.sup.e]),

[X.sub.2] = -[D.sub.2] ([X.sub.1]) v + [F.sub.2] (u, [x.sup.e]),

[X.sub.3] = -[D.sub.3] ([X.sub.1]) v + [F.sub.3] (u, [x.sup.e]), (6)

and the remaining Killing equations are

[mathematical expression not reproducible] (7)

[mathematical expression not reproducible] (8)

[mathematical expression not reproducible] (9)

where

[mathematical expression not reproducible] (10)

Further information can be found by taking the Killing equations and applying the commutation relations. This produces two cases: (1) [D.sub.3][X.sub.1] = 0 or (2) [[GAMMA].sub.3n2] = [[GAMMA].sub.3n3] = [[GAMMA].sub.3nm] = 0.

Case 1 ([D.sub.3][X.sub.1] = 0). Using (7) and the definition of [F.sub.2] from (6), we have the fact that [X.sub.1] = [c.sub.1]u + [c.sub.2]. If [c.sub.1] [not equal to] 0 we may always choose coordinates to set [X.sub.1] = u; while if [c.sub.1] = 0 we may choose [c.sub.2] = 1.

Subcase 1 ([F.sub.3] = 0). (i) [c.sub.1] [not equal to] 0, [X.sub.1] = u; [F.sub.2] must be of the form

[F.sub.2] = [f.sub.2] ([x.sup.e])/u + [g.sub.2] (u)/u. (11)

H and [W.sub.m] are given in terms of these two functions (where g [equivalent to] dg/du)

H = [f.sub.2] ([x.sup.e])/[u.sup.2] - [g'.sub.2] (u)/u + [g.sub.2] (u)/[u.sup.2],

[W.sub.m] = [B.sub.m] ([x.sup.e])/u. (12)

(ii) [c.sub.1] = 0, [X.sub.1] = 1; [F.sub.2,u] = 0, and H and [W.sub.n] are

H = [F.sub.2] ([x.sup.e]) + [A.sub.0] (u, [x.sup.r]),

[W.sub.n] = [integral] [D.sub.n][A.sub.0]du + [C.sub.n] ([x.sup.e]). (13)

In either case, the only requirement on the transverse metric is that it has to be independent of u. The arbitrary functions in this case are [F.sub.2] and the functions arising from integration.

Subcase 2 ([F.sub.3] [not equal to] 0). The transverse metric is now determined by

[m.sub.33] = -[integral] 1/[X.sub.1] [F.sub.3,3]du + [A.sub.1] ([x.sup.3], [x.sup.r]), (14)

[m.sub.nr,u] = -[m.sub.nr,3] [F.sub.3]/[m.sub.33][X.sub.1],

[m.sub.3r,u] = -[F.sub.3,r]/[X.sub.1] - [m.sub.3[r,3]][m.sub.3.sup.3][F.sub.3]/[X.sub.1]. (15)

(i) [c.sub.1] [not equal to] 0, [X.sub.1] = u; [F.sub.i](u, [x.sup.e]) (i = 1, 2) are arbitrary functions, H is given by

H = -[D.sub.2][F.sub.2] - [D.sub.2]([F.sup.2.sub.3])/2u - [F.sub.3][D.sub.3][F.sub.2]/u - [F.sub.3][D.sub.3]([F.sup.2.sub.3])/[2u.sup.2], (16)

and [W.sub.n] is determined by

[D.sub.2] ([uW.sub.n]) + [F.sub.3][D.sub.3][W.sub.n] + [D.sub.n] ([F.sub.2] - uH) = 0. (17)

(ii) [c.sub.1] = 0, [c.sub.2] [not equal to] 0, and [X.sub.1] = 1; [F.sub.2] and F.sub.3] satisfy

[D.sub.2][F.sub.2] + [F.sub.3][D.sub.3][F.sub.2] + 1/2 [D.sub.2] ([F.sup.2.sub.3]) + 1/2 [F.sub.3][D.sub.3] ([F.sup.2.sub.3]) = 0. (18)

H may be written as

H = [integral] [m.sub.33][D.sub.2][F.sub.3][dx.sup.3] + [F.sub.2] + 1/2 [F.sup.2.sub.3] + [A.sub.2] (u, [x.sup.r]). (19)

The only equation for [W.sub.n] is

[F.sub.3][D.sub.3][W.sub.n] + [D.sub.2][W.sub.n] = [D.sub.n] (H). (20)

(iii) [X.sub.1] = 0.

We have the following constraints on the functions [m.sup.i.sub.e]:

[F.sub.3,3] = 0,

[m.sub.nr,3] = 0

[D.sub.2] log ([m.sub.33]) = -[D.sub.3][F.sub.2]/[F.sub.3] - [D.sub.2] log ([F.sub.3]), (21)

while the metric functions must be of the form

[mathematical expression not reproducible] (22)

There are two further subcases depending upon whether [m.sub.33,r] = 0 or not; whence we may further integrate to determine the transverse metric.

Case 2 ([[GAMMA].sub.3ia] = 0). This implies that the upper-triangular matrix [m.sub.ie] takes the form

[m.sub.33] = [M.sub.,3] {u, [x.sup.3]),

[m.sub.3r] = 0,

[m.sub.nr] = [m.sub.nr] (u, [x.sup.r]), (23)

while [W.sub.n] must satisfy [D.sub.3]([W.sub.n]) = 0. The remaining Killing equations simplify; in particular, [B.sub.(mn)][X.sub.1] = 0, which leads to two subcases: (1) [X.sub.1] = 0 or (2) [B.sub.(mn)] = 0.

Subcase 1 ([X.sub.1] = 0, [B.sub.(mn)] [not equal to] 0). [F.sub.2,r] = 0, [F.sub.3,e] = 0, with [m.sub.ie], H, and [W.sub.n] given by (21) and (22).

Subcase 2 ([B.sub.(mn)] = 0, [X.sub.1] [not equal to] 0). This case is similar to the subcases dealt with in Subcase 1 (see (11)-(14), (20)-(22)). For n < p, the vanishing of [B.sub.(np)] implies that [m.sub.nr,u] = 0, the special form of [m.sub.ie] implies that [m.sub.r.sup.3] = 0, and the only nonzero component of the tensor B is [B.sub.33].

If we assume that [F.sub.1,3] [not equal to] 0 and [F.sub.1] is independent of [x.sup.r]

[m.sub.33,3]/[m.sub.33] = [F.sub.1,33]/[F.sub.1,3],

[m.sub.33,u]/[m.sub.33] = [F.sub.1,3u]/[F.sub.1,3], (24)

thus [m.sub.33](u, [x.sup.3]) is entirely defined by [F.sub.1]. We may now solve for H and [W.sub.n]

[mathematical expression not reproducible] (25)

[F.sub.3] is of the form

[F.sub.3] = [integral] [m.sub.33][F.sub.1][D.sub.3][D.sub.2][F.sub.1]/[D.sub.3][F.sub.1] [dx.sup.3] + [A.sub.6] (u, [x.sup.r]). (26)

There are differential equations for [F.sub.2] in terms of the arbitrary functions [F.sub.1] (u, [x.sup.3]) and [A.sub.6](u, [x.sup.r]). These solutions are summarized in Table 5.2 in [7].

3. Killing Lie Algebras

There are three particular forms for the Killing vector fields in CCNV space-times admitting an additional isometry:

(A) [X.sub.A] = cn + [F.sub.2](u, [x.sup.e])l + [F.sub.3](u, [x.sup.e])[m.sup.3]

(B) [X.sub.B] = un + [[F.sub.2](u, [x.sup.e]) - v]l + [F.sub.3](u, [x.sup.e])[m.sup.3]

(C) [X.sub.C] = [F.sub.1](u, [x.sup.3])n + [[F.sub.2](u, [x.sup.e]) - [D.sub.2][F.sub.1]v]l + [[F.sub.3](u, [x.sup.e]) - [D.sub.3][F.sub.1]v][m.sup.3].

To determine if this space-time admits even more isometries we examine the commutator of X with l in each case. In case (A) [[X.sub.A], l] = 0 and in case (B) [[X.sub.B], l] = -l, implying that there are no additional Killing vector fields.

In the most general case [Y.sub.C] = [[X.sub.C], l] can yield a new Killing vector field; [Y.sub.C] = [D.sub.2][F.sub.1]l + [D.sub.3][F.sub.1][m.sub.3]. However, this will always be space-like since [([D.sub.3][F.sub.1]).sup.2] > 0. Note that [[Y.sub.C], l] = 0, while, in general, [[Y.sub.C], [X.sub.C]] [not equal to] 0.

3.1. Globally Non-Space-Like Killing Vector Fields. Let us consider the set of CCNV space-times admitting an additional non-space-like isometry. Equation (6) implies that the norm of this vector field must satisfy

[D.sub.3] [([X.sub.1]).sup.2] [v.sup.2] + 2 ([D.sub.2]([X.sub.1]) [X.sub.1] - [D.sub.3] ([X.sub.1])[F.sub.3]) v + [F.sub.3.sup.2] -2[X.sub.1][F.sub.2] [less than or equal to] 0. (27)

If the Killing vector field is non-space-like for all values of V, then [D.sub.3]([X.sub.1]) must vanish and [X.sub.1] is constant. Therefore, those subcases with [X.sub.1] nonconstant are excluded.

We need only consider the Killing vector field of the form [X.sub.A]. In the time-like case, the subcases with [X.sub.1] = 0 are no longer valid as this would imply that [F.sub.3.sup.2] < 0.

In the case that XA is null, if c = 0, [F.sub.3] must vanish and [F.sub.2] must be constant, implying that X is a scalar multiple of l. If c [not equal to] 0 we can rescale n so that 2[F.sub.2] = [F.sub.3.sup.2]; we can then integrate out the various cases:

(i) If [F.sub.3] = 0, [F.sub.2] must vanish as well and the Killing vector field, X, is proportional to n. The remaining metric functions are now H = [A.sub.0](u, [x.sup.r]) and [W.sub.n] = [integral] [D.sub.n]([A.sub.0])du + [C.sub.n]([x.sup.e]). The transverse metric is unaffected.

(ii) If [F.sub.3] = 0, the metric functions must satisfy

H = [A.sub.2] (u, [x.sup.r]),

[D.sub.2] ([W.sub.n]) + [D.sub.3] ([W.sub.n]) [F.sub.3] = [D.sub.n] ([A.sub.2]),

[(log [m.sub.33]).sub.,u] = [D.sub.2] (log [F.sub.3]). (28)

In this section we have shown that if we require that the Killing vector field is non-space-like for all values of v, this puts strong conditions on the permitted form of the Killing vector field. If we only require that the Killing vector field is non-space-like in a subset of the space-time there is greater diversity in the choice of Killing vector fields permitted. We present two explicit examples in the following subsections, one which is non-space-like in a region of the space-time and the other which is globally non-space-like. The CSI CCNV space-times, admitting globally non-space-like Killing vector fields, are the above cases where the transverse space is locally homogeneous.

3.2. Example 1. We first present an explicit example for the case where [X.sub.1] = u and [F.sub.3] [not equal to] 0. Assuming that [F.sub.3] (u, [x.sup.i]) = [epsilon][um.sub.33] and [epsilon] is a nonzero constant, we obtain

[m.sub.is,u] + [[epsilon][m.sub.is,3] = 0 (29)

and the transverse metric is thus given by

[m.sub.is] = [m.sub.is] ([x.sup.3] - [epsilon]u, [x.sup.n]). (30)

We have the algebraic solution

[[??].sub.3] = -1/[epsilon] (H + [F.sub.2,u]) - [F.sub.2,3] - [epsilon][m.sub.33.sup.2], (31)

where [F.sub.2](u, [x.sup.i]) is an arbitrary function and H is given by

H(u, [x.sup.i]) = 1/u [- [integral] S (z, [x.sup.3] - [epsilon]u + [epsilon]z, [x.sup.n]) dz + A ([x.sup.3] - [epsilon]u, [x.sup.n])], (32)

where A is an arbitrary function and S is given by

S {u, [x.sup.3], [x.sup.n]) = [([uF.sub.2,u]).sub.u] + [epsilon][uF.sub.2,3u] + [[epsilon].sup.2]u [{[m.sub.33.sup.2]).sub.u]. (33)

Furthermore, the solution for [[??].sub.n], n = 4, ..., N, is

[[??].sub.n] {u, [x.sup.i]) = 1/u [- [integral] [T.sub.n] {z, [x.sup.3] - [epsilon]u + [epsilon]z, [x.sup.m]) dz + [B.sub.n] ([x.sup.3] - [epsilon]u, [x.sup.m]), (34)

where [B.sub.n] are arbitrary functions and [T.sub.n] is given by

[T.sub.n] {u, [x.sup.3], [x.sup.m]) = [[[([uF.sub.2]).sub.u] + [epsilon][uF.sub.2,3] + [[epsilon].sup.2][um.sub.33.sup.2]].sub.,n] + [epsilon][m.sub.3n][m.sub.33]. (35)

In this example, the Killing vector field and its magnitude are given by

X = un + (-v + [F.sub.2]) l + [epsilon][um.sub.33][m.sup.3],

[X.sub.a][X.sub.a] = -2uv + 2[uF.sub.2] + [([epsilon][um.sub.33]).sup.2].

Clearly, the causal character of X will depend on the choice of [F.sub.2](u, [x.sup.i]) and for any fixed (u, [x.sup.i]) X is time-like or null for appropriately chosen values of v. Moreover, (36) is an example of case (B); therefore the commutator of X and l gives rise to a constant rescaling of l and, in general, there are no more Killing vector fields.

The additional isometry is only time-like or null locally (for a restricted range of coordinate values). However, the solutions can be extended smoothly so that the vector field is time-like or null on a physically interesting part of space-time. For example, a solution valid on u > 0, v > 0 (with [F.sub.2] < 0), can be smoothly matched across u = v = 0 to a solution valid on u < 0, v < 0 (with [F.sub.2] > 0), so that the Killing vector field is time-like on the resulting coordinate patch.

As an illustration, suppose that [m.sub.3s] are separable as follows:

[mathematical expression not reproducible] (37)

and [F.sub.2] has the form

[mathematical expression not reproducible] (38)

where [p.sub.s] are constants and [h.sub.s] are g arbitrary functions. Thus, from (32)

[mathematical expression not reproducible] (39)

and hence from (31)

[mathematical expression not reproducible] (40)

Lastly, (34) gives

[mathematical expression not reproducible] (41)

3.3. Example 2. A second example belonging to Case 1, that is, with [X.sub.1] = 1, gives the same solutions to (30) for the transverse metric by assuming that [F.sub.3](u, [x.sup.i]) = [epsilon][m.sub.33] (although, in this case, the additional isometry is globally time-like or null). In addition, we have

[[??].sub.3] = [integral] [H.sub.,3]du + [[epsilon].sup.-1] ([F.sub.2] + f), (42)

where (u, [x.sup.i]), [F.sub.2]([x.sup.3] - [epsilon]u, [x.sup.n]), and f([x.sup.i]) are arbitrary functions. Last, the metric functions [[??].sub.n] are

[[??}.sub.n] (u, [x.sup.i])= [[integral].sup.n] [L.sub.n] (z, [x.sup.3] - [epsilon]u + [epsilon]z, [x.sup.m])dz + [E.sub.n]([x.sup.3] - [epsilon]u, [x.sup.m]), (43)

with [E.sub.n] arbitrary and [L.sub.n] given by

[L.sub.n] (u, [x.sup.3], [x.sup.m]) = [H.sub.,n] + [epsilon] [integral] [H.sub.,3n]du + [f.sub.,n]. (44)

The Killing vector field and its magnitude are

X = n + [F.sub.2]l + [epsilon][m.sub.33] [m.sup.3],

[X.sub.a][X.sup.a] = 2[F.sub.2] + [([epsilon][m.sub.33]).sup.2]. (45)

Since [F.sub.2] and [m.sub.33] have the same functional dependence there always exists an [F.sub.2] such that X is everywhere time-like or null. The Killing vector field (45) is an example of case (A) and thus X and l commute and hence no additional isometries arise. For instance, suppose that H = H([x.sup.3] - [epsilon]u, [x.sup.n]) and f is analytic at [x.sup.3] = 0 then (42) and (43) simplify to give

[mathematical expression not reproducible] (46)

This explicit solution is an example of a space-time admitting 2 global null or time-like Killing vector fields, and thus it preserves a nonminimal fraction of supersymmetries.

4. Discussion

The CCNV space-times discussed in this paper will preserve a nonminimal fraction of supersymmetries, if they are solutions of some supergravity theory. To show that there are indeed CCNV space-times that are solutions to a supergravity theory, we note that there exist VSI and CSI space-times which are solutions to supergravity theories [11-13]. The CSI and VSI solutions admit a covariantly constant null vector (i.e., they are CCNV-CSI space-times) or are constructed from the warped product of a CCNV-VSI space-time and a locally homogeneous Riemannian manifold.

The construction of CSI solutions for supergravity theories was motivated by the observation that [AdS.sub.d] x [S.sup.(D-d)] is a supersymmetric exact solution of supergravity (for certain values of (D, d) and for particular ratios of the radii of curvature of the two space forms; in particular, d = 5, D = 10, and [AdS.sub.5] x [S.sup.5]). The more general D-dimensional product space-time [M.sub.d] x [K.sup.(D-d)] (in brief M x K) can be considered as a Freund-Rubin background. For example, for (D, d) = (11,4), (11, 7), and (5,5) it is sufficient that M and K are Einstein. Since M x K is a Freund-Rubin background, if M is any Lorentzian Einstein manifold and K is any Riemannian Einstein manifold (with the same ratio of the radii of curvature as in the AdS x S case), then M x K will be a solution of some supergravity theory without any consideration of preservation of supersymmetry, where the fluxes are given purely in terms of the volume forms of the relevant factor(s). In general, M must have negative scalar curvature and K will have positive scalar curvature in order to satisfy the supergravity equations of motion.

There are many examples of CSI space-times in the Freund-Rubin M x K supergravity set. K could be a homogeneous space or a space of constant curvature. One must ask whether these CSI solutions preserve any supersymmetry. The condition for preservation of supersymmetry demands that M and K admit Killing spinors which imply the existence of Killing vectors. In this paper we have examined the class of space-time that will potentially admit more than one Killing spinor without requiring that it is solution to some supergravity theory. Noting that a CCNV space-time will be CSI if the transverse metric is locally homogeneous we can relate particular instances of the two examples presented in Section 3 to subcases of known CCNV-CSI supergravity solutions.

For example, requiring that the transverse space is flat leads to the condition that [m.sub.33] = 1 and the two CCNV examples in Section 3 will contain the subclass of CCNV-VSI e = 0 space-time admitting two time-like or null Killing vectors [11]. The Ricci type N CCNV-VSI [epsilon] = 0 space-time has been shown to be solution to superstring and heterotic string theory [15]. Similarly, imposing the condition that the transverse metric is locally homogeneous will yield CCNV-CSI space-time admitting two non-space-like Killing vectors which can be related to subcases of known CCNV-CSI solutions of supergravity theories. As a simple example in five dimensions, we may choose the transverse space to be [S.sup.3] with unit radius; then for an appropriate choice of metric functions, the example in Section 3.3 corresponds to the metric given by (10) and (11) in [12] admitting an additional null or time-like Killing vector field. The metric, together with a constant dilaton and appropriate antisymmetric field, is an exact solution of bosonic string theory.

Motivated by the examples of CCNV-CSI space-times given in the literature, it is worthwhile to ask if the CCNV space-time admitting additional Killing vector fields will contain supergravity solutions beyond the CSI or VSI examples. By removing the condition for the transverse space to be locally homogeneous, such a solution would preserve a nonminimal fraction of supersymmetries while reducing the number of space-like symmetries. This will be investigated in future work in the context of five-dimensional bosonic string theory.

https://doi.org/10.1155/2018/5861481

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported by NSERC of Canada (A. Coley) and through the Research Council of Norway, Toppforsk (Grant no. 250367), Pseudo-Riemannian Geometry and Polynomial Curvature Invariants: Classification, Characterisation, and Applications (D. McNutt).

References

[1] J. P. Gauntlett and J. B. Gutowski, "Phys. Rev," 105009, 68, 2003.

[2] J. B. Gutowski and W. A. Sabra, "JHEP," 10, 039, 2005.

[3] J. B. Gutowski and W. A. Sabra, "JHEP," 12, 025, 2007.

[4] J. Figueroa-O'Farrill, P. Meessen, and S. Philip, "Class. Quant. Grav," 22, 207, 2005.

[5] E. Hackett-Jones and D. Smith, "JHEP," 0411, 029, 2004.

[6] D. McNutt, A. Coley, and N. Pelavas, "IJGMMP," 6, 419, 2009.

[7] D. McNutt, PhD thesis, Dalhousie University, 2013.

[8] A. Coley, S. R. Hervik, and N. Pelavas, "Class. Quant. Grav," 23, 3053, 2006.

[9] A. Coley, S. Hervik, and N. Pelavas, "Class. Quant, Grav," 25, 025008, 2007.

[10] A. Coley, S. Hervik, and N. Pelavas, "Class. Quant, Grav," 26, 025013, 2009.

[11] A. Coley, A. Fuster, S. Hervik, and N. Pelavas, "JHEP," 32, 032, 2007.

[12] A. Coley, A. Fuster, and S. Hervik, "IJMP," 24, 1119, 2009.

[13] A. Coley, A. Fuster, S. Hervik, and N. Pelavas, "Class. Quant, Grav," 23, 7431, 2006.

[14] A. Coley, R. Milson, V. Pravda, and A. Pravdova, "Class. Quant. Grav," 21, L35, 2004.

[15] G. T. Horowitz and A. A. Tseytlin, "Phys. Rev," 51, 2896, 1995.

[16] P. Meessen, "Phys. Rev," 65, 087501, 2002.

[17] R. R. Metsaev and A. A. Tseytlin, "Phys. Rev," 65, 126004, 2002.

[18] J. G. Russo and A. A. Tseytlin, "JHEP," 0209, 035, 2002.

[19] M. Blau, "JHEP," 0201, 047, 2002.

[20] J. Gauntlett et al., "Phys. Rev," 74, 106007, 2006.

[21] V. P. Frolov and A. Zelnikov, "Phys. Rev," 72, 104005, 2005.

[22] A. A. Coley and S. Hervik, "ISRN Geometry," 2011.

A. Coley, (1) D. McNutt (iD), (2) and N. Pelavas (1)

(1) Department of Mathematics and Statistics, Dalhousie University, Halifax, NS, Canada B3H 3J5

(2) Faculty of Science and Technology, University of Stavanger, 4036 Stavanger, Norway

Correspondence should be addressed to D. McNutt; ddmcnutt@dal.ca

Received 30 November 2017; Revised 19 February 2018; Accepted 1 March 2018; Published 12 April 2018

Academic Editor: Eugen Radu

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article; covariantly constant null vector field |
---|---|

Author: | Coley, A.; McNutt, D.; Pelavas, N. |

Publication: | Advances in Mathematical Physics |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2018 |

Words: | 4989 |

Previous Article: | Surface Localization in Impurity Band with Random Displacements and Long-Range Interactions. |

Next Article: | Operator of Time and Generalized Schrodinger Equation. |

Topics: |