Nonsingular colliding wave solutions in Einstein-Maxwell-dilaton-axion theory
E. Halilsoy*and M. Halilsoy†Physics Department, Eastern Mediterranean University, G. Magosa, Mersin 10 (N. Cyprus), Turkey 共Received 25 December 2003; published 25 June 2004兲
The local isometry between black holes and colliding plane waves is employed to derive new colliding wave solutions in the Einstein-Maxwell-dilaton-axion theory. The technique is applied to the asymptotically nonflat linear dilaton black holes. We obtain two new metrics which we label共from the language of black holes兲 as Kerr and Newman-Unti-Tamburino共NUT兲 types. The NUT type turns out to be type D while the Kerr type belongs to the general class. Both types share the common feature that, instead of an all encompassing generic singularity, Cauchy horizons develop in the process of collision.
DOI: 10.1103/PhysRevD.69.124021 PACS number共s兲: 04.20.Jb
I. INTRODUCTION
Chandrasekhar and Xanthopoulos共CX兲 first observed that a particular metric of colliding plane waves 共CPWs兲 trans-forms into the trapped region between horizons of the Kerr black hole 共BH兲 关1兴. The reason for this local isometry is simple: in that region the Kerr black hole admits two space-like Killing vectors, the same as required by the space of CPWs. A coordinate transformation maps the one problem into the other provided the boundary conditions are satisfied. By this it is meant that continuous matching of the different wave regions holds, such that no source currents arise at the boundaries. A special case covers naturally the Schwarz-schild BH where for r⬍2m 共i.e., inside the horizon兲 it ad-mits two spacelike Killing vectors and the corresponding CPW spacetime can easily be derived 关2兴. Extension of the Kerr BH to the Kerr-Newman case and the associated CPW metric in Einstein-Maxwell 共EM兲 theory was also given by CX关3兴. The same idea of local isometry has also been used to obtain CPW solutions in Einstein-dilaton-axion 共EDA兲 theory 关4兴. More recently, we have given an example of the CPW metric in the Einstein-Maxwell-dilaton-axion共EMDA兲 theory in the limit of zero dilaton field, which also employs an isometry between the throat region of extremal BHs and CPWs 关5兴. This example suggests that the local isometry in question has a larger scope than envisaged. In a separate work we showed the exact equivalence of the near horizon geometry of extremal BHs and CPWs in the EM theory关6兴. All BH solutions alluded to so far share the common feature that they are asymptotically flat. A new type of BH in the linear dilaton gravity has been introduced, on the other hand, which fails to satisfy asymptotic flatness 关7–11兴. Since the space of CPWs also shares this latter condition, the local isometry between such BHs and CPW spacetimes must be expected in a more natural way. In addition to the linear dilaton, these asymptotically non-flat BHs admit electromag-netic共em兲 and axion fields, which enable us in this paper to obtain new CPW metrics in the EMDA theory. From the physics standpoint our solutions are important since they are free of physical singularities. Singularities, which used
mostly to doom the interaction region of CPWs, are replaced here by extendable Cauchy horizons. By standard solution generation techniques, new solutions in the EMDA theory can be obtained, but singularity-free solutions are not guar-anteed关12,13兴. Finally, we wish to comment that we can add massless scalar fields to the already existing dilaton, axion, and em fields by using a method which we have developed recently 关14,15兴.
The organization of the paper is as follows. In Sec. II we review the linear dilatonic BH and its extension to stationary form. Section III covers the derivation of our CPW metrics whose details are tabulated in Appendixes B and C. We con-clude the paper in Section IV with a conclusion and discus-sion.
II. LINEAR DILATON BLACK HOLES
The field equations in the EMDA theory can be generated from the action
S⫽ 1 16
冕
d 4x兩g兩1/2冋
⫺R⫹2共ⵜ兲2⫹1 2e 4共ⵜ兲2 ⫺e⫺2F F⫺FF˜册
共1兲where is the dilaton, is the 共pseudoscalar兲 axion, and F stands for the em field tensor. The dual field tensor is defined by F˜⫽1
2兩g兩⫺1/2⑀␣F␣ in which we choose
⑀0123⫽⫹1. In addition to the Einstein equations
G⫽⫺8T 共2兲
the remaining EMDA field equations are
关兩g兩1/2共e⫺2F⫹F˜兲兴⫽0, 共3兲
2䊐⫽e4共ⵜ兲2⫹e⫺2F
F, 兩g兩⫺1/2
共兩g兩1/2e4g,兲⫽⫺F␣F˜␣,
in which䊐 stands for the covariant Laplacian. In Appendix A we give the total energy-momentum tensor Tin terms of both the fields and the tetrad scalars. The following diagonal metric solves the EMDA equations without the axion关9兴: *Electronic address: elif.halilsoy@emu.edu.tr
ds2⫽
冉
1⫺r⫹ r冊
dt 2⫺冉
1⫺r⫹ r冊
⫺1 dr2 ⫺r2冉
1⫺r⫺ r冊
共d 2⫹sin2d2兲. 共4兲 The dilaton and Maxwell two-form (F⫽dA) aree2⫽e2⬁
冉
1⫺r⫺ r冊
, F⫽Qe2⬁
r2 drdt, 共5兲
respectively, where⬁is the asymptotic value of the dilaton and the mass共M兲 and electric charge 共Q兲 of the BH are
M⫽1 2r⫹,
Q⫽e⫺⬁
冑
r⫹r⫺2 . 共6兲
In the string frame the dilaton is a linear function of distance, and in the near horizon limit this solution of EMD theory transforms into ds2⫽r⫺b r0 dt2⫺ r0 r⫺bdr 2⫺r 0r共d2⫹sin2d2兲 共7兲 with e2⫽r r0, F⫽ 1
冑
2r0 drdt.The new constants b and r0 that arise in the near horizon geometry are related to the mass (b⫽2M) and the electric charge (Q⫽r0/
冑
2) of the BH. The distinctive feature of this BH, as can be observed easily, is that it fails to satisfy the asymptotic flatness.Stationary generalization of this BH in the EMDA theory is achieved through the sigma model representation 关9–11兴. In this method the metric ansatz is taken as
g⫽
冉
f ⫺ f wi ⫺ f wi ⫺ 1 f hi j⫹ f wiwj冊
. 共8兲The em vector potential A is parametrized by the potentials
v 共electric兲 and u 共magnetic兲 in accordance with
Fio⫽ 1
冑
2 vi, e⫺2Fi j⫹F˜i j⫽ f冑
2h⑀ i jku k, 共9兲in which a subscript implies a partial derivative. Further, a twist potential is introduced through the differential rela-tion 共for details we refer to Ref. 关9兴兲
i⫹vui⫺uvi⫽⫺
f2
冑
hhi j⑀jklw
i,k. 共10兲
Thus the six potentials, namely, f,, u,v, , and param-etrize overall the target space apt for the EMDA theory. The Kerr Newman-Unti-Tamburino共NUT兲 extension of the static metric 共7兲 is obtained accordingly as
ds2⫽⌬˜⫺a 2sin2 ⌫ 共dt⫺wd兲2 ⫺⌫
冉
dr 2 ⌬˜ ⫹d 2⫹ ⌬˜ sin 2 ⌬˜⫺a2sin2d 2冊
共11兲共we note that we put a tilde over ⌬ in order to avoid any
confusion with the⌬ that we shall be using in the next sec-tion兲. The dilaton, axion, and (u,v) potentials are
e2⫽r 2⫹共N⫹a cos兲2 ⌫ , ⫽r0 M N共r⫺M 兲⫺aM cos r2⫹共N⫹a cos兲2 , v⫽r 2⫹共N⫹a cos兲2 ⌫ , u⫽r0 M N共r⫺M 兲⫺aM cos ⌫ , 共12兲
where a and N are the Kerr共rotation兲 and NUT parameters, respectively, while other abbreviations are as follows:
⌬˜⫽r2⫺2Mr⫹a2⫺N2, ⌫⫽r0 M共Mr⫹N 2⫹aN cos兲, w⫽⫺r0 M
N⌬˜ cos⫹a共Mr⫹N2兲sin2
⌬˜⫺a2sin2 .
共13兲
III. CPW SOLUTIONS FROM LINEAR DILATON BH The general metric for CPWs is represented by关1兴
ds2⫽X
冉
d 2⌬ ⫺
d2
␦
冊
⫺共Ydx2⫹Zdy2⫾2Wdxdy兲 共14兲 where ⌬⫽1⫺2, ␦⫽1⫺2, and the metric functions de-pend only on the variables (,). Next, by introducing null coordinates (u,v) through⫽sin共au⫹bv兲,
⫽sin共au⫺bv兲
共a,b⫽const兲, 共15兲
we observe that the line element is cast into the standard form suitable for CPWs. The colliding wave formulation of the problem follows by the substitutions u→u(u), v →v(v), where is the Heaviside unit step function. The problem of local isometry requires that the Kerr-NUT metric
共11兲 and 共12兲 be transformed into the form of CPWs such
that X⬎0, Y⭓0, and Z⭓0 necessarily. Vanishing of metric functions signals singularities of the coordinate type or ge-neric curvature singularities. We observe that the (r,) sec-tor of the BH metric共11兲 can consistently be mapped into the (,) form provided ⌫共r兲
冉
dr 2 N2⫺a2⫹2Mr⫺r2⫺d 2冊
⫽⌫„r共兲…冉
d 2 ⌬ ⫺ d2 ␦冊
共16兲is satisfied. Beside identifying⫽cos this tantamounts to
冕
r dr冑
N2⫺a2⫹2Mr⫺r2⫽⫾sin⫺1 共17兲
or equivalently, by choosing one of the signs,
r⫽M⫹
冑
N2⫹M2⫺a2. 共18兲 We note that an analytic expression of in terms of r may not be available in all problems where we demand identifi-cations such as Eq.共16兲. In a large class of problems, how-ever, including BHs in higher dimensions, de Sitter cosmol-ogy, and quintessence problems, our prescription works perfectly, implying that a corresponding CPW metric can be found. The linear dilaton BH solution 共11兲 now transforms into CPWs by employing the transformation⫽cos,
r⫽M⫹
冑
N2⫹M2⫺a2, x⫽t,y⫽. 共19兲
By imposing appropriate scaling of the coordinates共adapting M⫽r0⫽1) and defining q⫽a 共or q⫽N) with a related pa-rameter p⭓1 such that
p2⫺q2⫽1, 共20兲
we obtain the following metrics of CPWs in the EMDA theory. For completeness we consider also separately as a third class the case of the EMD metric of CPWs correspond-ing to a⫽0⫽N.
共1兲 The Kerr-type CPW metric (N⫽0, q⫽a)
ds2⫽共p⫹兲
冋
d 2 ⌬ ⫺ d2 ␦ ⫺␦冉
dy⫺ q ⫹pdx冊
2册
⫺⫹p⌬ dx2. 共21兲The dilaton, axion, and em potential one-form are e2⫽共⫹p兲 2⫹q22 ⫹p , ⫽ ⫺q 共⫹p兲2⫹q22, A⫽ 1
冑
2冋
共⫹p兲2⫹q22 ⫹p dx⫹q␦dy册
. 共22兲Now substitution of Eq. 共15兲 and insertion of the step func-tions with the null coordinates we obtain the interaction 共col-lision兲 region 共region IV兲 of our metric. The incoming region
共region II兲 for v⬍0 becomes
dsII
2
⫽共p⫹sin au兲
冋
4abdudv⫺cos2au冉
dy⫺ qdx p⫹sin au冊
2册
⫺ cos 2au p⫹sin audx 2 共23兲共and a similar metric with dsIII
2
with au↔bv for region III兲. For u⬍0, v⬍0, we get the flat metric 共region I兲
dsI2⫽4abpdudv⫺1 pdx 2⫺p
冉
dy⫺q pdx冊
2 共24兲expressed in a scaled coordinate system. The dilaton, axion, and em fields can also be easily obtained in the incoming regions. By inverting the problem, this information consti-tutes our initial data which naturally all vanish, as it should in the flat region u⬍0, v⬍0. In Appendix B we give the nonzero curvature and Ricci components of this spacetime. The interesting property is that it is not singular. All Weyl scalars are regular and the singularities at ⫽1(⫽1) are spurious coordinate singularities. Another interesting prop-erty is that in contrast to the Kerr metric our Kerr-type metric
共21兲 is not type D. This becomes evident after we compute ⌿0⌿4⫺9⌿2
2⫽ q 2␦⌬
In the limit q→0 (p→1), which corresponds to the CPW generated from the static dilaton metric 共7兲, it becomes type D.
共2兲 The NUT-type CPW metric (a⫽0,q⫽N⫽0)
ds2⫽共p⫹兲
冋
d 2 ⌬ ⫺ d2 ␦ ⫺␦d y2册
⫺ ⌬ p⫹共dx⫹qd y兲 2. 共26兲The dilaton, axion, and Maxwell potential one-form are as follows: e2⫽p共1⫹ 2兲⫹2 ⫹p , ⫽ q p共1⫹2兲⫹2, A⫽ 1
冑
2 p冋
p共1⫹2兲⫹2 ⫹p dx⫺ pq⌬ ⫹p d y册
. 共27兲In the incoming region (v⬍0) 共region II兲 our metric takes
the form 关with u⫽u(u)]
dsII2⫽共p⫹sin au兲关4abdudv⫺cos2aud y2兴
⫺ cos
2au
p⫹sin au 共dx⫹q sin audy兲
2 共28兲
and a similar form 共by au↔bv) follows for the region III incoming metric. For u⬍0, v⬍0 we obtain the flat metric
ds2⫽p共4abdudv⫺dy2兲⫺1 pdx
2. 共29兲
The initial data for our incoming fields can also easily be found from Eq.共27兲. We present the details of this metric in Appendix C. The Weyl scalars suggest that, similar to the Kerr-type metric共21兲, the NUT-type metric 共26兲 is also regu-lar.⫽1 (⫽1) are coordinate singularities that can be re-moved. The significant difference between the NUT and Kerr types is that the NUT type turns out to be type D. The Weyl curvatures 共Appendix C兲 in the interaction region (u⬎0,v
⬎0) satisfy
9⌿22⫽⌿0⌿4. 共30兲
共3兲 The general static EMD metric was given in Eq. 共4兲.
We wish now to obtain the corresponding CPW in this case as well. For this purpose we identify
dr2 共r⫺r⫺兲共r⫺r⫹兲 ⫺d 2⫽d 2 ⌬ ⫺ d2 ␦ , 共31兲
which leads to the relation
2r⫽r⫹⫹r⫺⫹共r⫹⫺r⫺兲. 共32兲
The coordinate transformation toward our CPW metric is accomplished by this condition and ⫽cos, x⫽t, and y
⫽. The resulting metric is 共up to an overall constant rescaling兲 ds2⫽共1⫹兲共␣0⫹0兲
冋
d2 ⌬ ⫺ d2 ␦ ⫺␦dy2册
⫺␣1⫺ 0⫹0 dx2, 共33兲where␣0⫽r⫹⫹r⫺and0⫽r⫹⫺r⫺. This is the CPW met-ric corresponding to a more general EMD theory without the axion. In the extremal case we choose0⫽0 and 共after res-caling the x coordinate兲 we obtain
ds2⫽共1⫹兲
冋
d 2⌬ ⫺
d2
␦ ⫺␦dy2
册
⫺共1⫺兲dx2. 共34兲 This is precisely the limiting case ( p⫽1,q⫽0) of both the Kerr共21兲 and NUT 共26兲 type (a⫽0⫽N) metrics for CPWs. The metric共33兲 describes collision of waves in EMD theory, which is both regular and type D.IV. CONCLUSION AND DISCUSSION
The local equivalence between the inner horizon region of BHs and the spacetime of CPWs has been fruitful in the generation of physically significant solutions in the colliding EMDA theory. For sample BHs we have chosen Kerr-NUT-type BHs in a linear dilaton background. As expected, the initial data for dilaton, axion, and em fields cannot be arbi-trary but are dictated by the original BH solution. The free-dom to eliminate the axion reduces the metric to diagonal and it leads to a regular CPW solution in the EMD theory. The incoming plane waves 共i.e., a holographic boundary in the string language兲 consisting of a mixture of dilaton, axion, and em waves extend smoothly into the interaction region. We realize once more共as in Ref. 关5兴兲 that the axion survives within the second polarization context of the colliding waves. We add, finally, that our technique applies also in higher dimensional BHs and colliding branes. One signaling problem in higher dimensions, however, is that the plane waves may propagate in lower dimensional backgrounds. It remains to be seen whether this feature may lead to the cre-ation of extra dimensions via colliding waves.
APPENDIX A
The total energy-momentum tensor is given by
In terms of the null tetrad formalism of Newman and Pen-rose共NP兲, the energy-momentum is expressed as follows:
4T⫽00nn⫹22ll⫹02m¯m¯⫹20mm
⫺01nm¯⫺10nm⫺12lm¯⫺21lm
⫹共11⫹3⌳兲共ln⫹nl兲
⫹共11⫺3⌳兲共mm¯⫹m¯m兲. 共A2兲 APPENDIX B
The null tetrad basis one-forms for the Kerr-type metric
共21兲 are
冑
2l⫽冑
p⫹冉
d冑
⌬⫺ d冑
␦冊
,冑
2n⫽冑
p⫹冉
d冑
⌬⫹ d冑
␦冊
,冑
2m⫽i冑
⌬ p⫹dx⫹冑
␦共p⫹兲冉
d y⫺ qdx p⫹冊
. 共B1兲The nonzero NP Ricci and Weyl scalars are
11⫽⫺3⌳⫽ ab共u兲共v兲 16共⫹p兲3 共⌬⫺q 2␦兲,M M 02⫽20⫽ ab共u兲共v兲 4共⫹p兲
冉
1⫹ q22 共⫹p兲2冊
, 22⫽ b2共v兲 8共⫹p兲2冉
⫹3p⫹ q22 共⫹p兲冊
, 00⫽ a2共u兲 8共⫹p兲2冉
⫹3p⫹ q22 共⫹p兲冊
, ⌿2⫹2⌳⫽ ab共u兲共v兲 8共⫹p兲3 共⫹p⫹iq兲 2, ⌿2⫽ ab共u兲共v兲 12 K, ⌿4⫽bG1共u兲␦共v兲⫹ b2共v兲K 4 , ⌿0⫽aF1共v兲␦共u兲⫹ a2共u兲K 4 , 共B2兲 with K⫽ 1 共⫹p兲3关2共1⫹p兲⫹q 2␦⫹共⫹p兲共⫹3iq兲兴and G1⫽v and F1⫽⫺u, where the spin coefficients
and are ⫽ 1 2
冑
2共⫹p兲3/2冋
1⫹p冑
⌬ ⫹ 冑
␦共p⫹兲⫺iq冑
␦册
, ⫽ 1 2冑
2共⫹p兲3/2冋
⫺1⫹p冑
⌬ ⫹ 冑
␦共p⫹兲⫺iq冑
␦册
. 共B3兲 APPENDIX CThe null-tetrad basis one-forms for the NUT-type metric
共26兲 are
冑
2l⫽冑
p⫹冉
d冑
⌬⫺ d冑
␦冊
,冑
2n⫽冑
p⫹冉
d冑
⌬⫹ d冑
␦冊
,冑
2m⫽冑
␦共p⫹兲dy⫹i冑
⌬ p⫹共dx⫹qdy兲. 共C1兲The nonzero NP scalars are
⌿2⫽ ab共u兲共v兲 12共⫹p兲3 关共1⫹p⫹iq兲 2⫹共p⫹1兲共1⫹iq兲兴, ⌿4⫽bG2共u兲␦共v兲⫹ b2共v兲 4共p⫹兲3关⫺p 2⌬⫹3共1⫹p兲共1⫹iq兲兴, ⌿0⫽aF2共v兲␦共u兲⫹ a2共u兲 4共p⫹兲3关⫺p 2⌬⫹3共1⫹p兲共1⫹iq兲兴, 共C2兲
where the impulsive components are
G2⫽v and F2⫽⫺u,
in which the spin coefficients are
⫽ 1 2
冑
2共⫹p兲3/2冋
1⫹p冑
⌬ ⫹ 冑
␦共p⫹兲⫹iq冑
⌬册
, ⫽⫺ 1 2冑
2共⫹p兲3/2冋
1⫹p冑
⌬ ⫺ 冑
␦共p⫹兲⫹iq冑
⌬册
. 共C3兲关1兴 S. Chandrasekhar and B.C. Xanthopoulos, Proc. R. Soc.
Lon-don A408, 175共1986兲.
关2兴 U. Yurtsever, Phys. Rev. D 37, 2790 共1988兲.
关3兴 S. Chandrasekhar and B.C. Xanthopoulos, Proc. R. Soc.
Lon-don A414, 1共1987兲.
关4兴 P. Schwarz, Phys. Rev. D 56, 7833 共1997兲.
关5兴 M. Halilsoy and I. Sakalli, Class. Quantum Grav. 20, 1417 共2003兲.
关6兴 M. Halilsoy, Near Horizon Geometry of Extreme Black Holes
and Colliding Waves,’’ gr-qc/0210055.
关7兴 O. Aharony, M. Berkooz, D. Kurasov, and N. Seiberg, J. High
Energy Phys. 10, 004共1998兲.
关8兴 S.B. Giddings and A. Strominger, Phys. Rev. D 46, 627 共1992兲.
关9兴 G. Clement, D. Gal’tsov, and C. Leygnac, Phys. Rev. D 67,
024012共2003兲.
关10兴 D.V. Gal’tsov, Phys. Rev. Lett. 74, 2863 共1995兲.
关11兴 D.V. Gal’tsov and O.V. Kechlan, Phys. Rev. D 54, 1656 共1996兲.
关12兴 N. Breto´n, T. Matos, and A. Garcia, Phys. Rev. D 53, 1868 共1996兲.
关13兴 A. Garcia and N. Breto´n, Phys. Rev. D 53, 4351 共1996兲. 关14兴 O. Gurtug and M. Halilsoy, Phys. Rev. D 64, 084023
共2001兲.