arxiv:hep-th/ v1 9 Apr 2001 a Laboratoire de Physique Théorique et des Hautes Energies,

Transcription

1 LPTHE 0-6 hep-th/ pril 00 Quaternionic Extension of the Double Taub-NUT Metric Pierre-Yves Casteill a,, Evgeny Ivanov b,a,, Galliano Valent a,3 arxiv:hep-th/004078v 9 pr 00 a Laboratoire de Physique Théorique et des Hautes Energies, Unité associée au CNRS UR 80, Université Paris 7 Place Jussieu, 755 Paris Cedex 05, France b Bogoliubov Laboratory of Theoretical Physics, JINR, Dubna, Moscow region, Russia bstract Starting from the generic harmonic superspace action of the quaternion-kähler sigma models and using the quotient approach we present, in an explicit form, a quaternion-kähler extension of the double Taub-NUT metric. It possesses U() U() isometry and supplies a new example of non-homogeneous Einstein metric with self-dual Weyl tensor. ) casteill@lpthe.jussieu.fr ) eivanov@thsun.jinr.ru, eivanov@lpthe.jussieu.fr 3) valent@lpthe.jussieu.fr

2 . Introduction. In view of the distinguished role of hyper-kähler (HK) and quaternion- Kähler (QK) manifolds in string theory (see, e.g., []-[3]), it is important to know the explicit form of the corresponding metrics. One of the approaches to this problem proceeds from the generic actions of bosonic nonlinear sigma models with the HK or QK targets. generic action for the bosonic QK sigma models was constructed in [4], based upon the well-known one-to-one correspondence [5] between the QK manifolds and local N =, d = 4 supersymmetry. This relationship was made manifest in [6, 7], where the most general off-shell action for the hypermultiplet N = sigma models coupled to N = supergravity was constructed in the framework of N = harmonic superspace (HSS) [8]. The generic QK sigma model bosonic action was derived in [4] by discarding the fermionic fields and part of the bosonic ones in the general HSS sigma model action. The action of physical bosons parametrizing the target QK manifold arises, like in the HK case [9], after elimination of infinite sets of auxilairy fields present in the off-shell hypermultiplet superfields. This amounts to solving some differential equations on the internal sphere S of the SU() harmonic variables. It is a difficult problem in general to solve such equations. s was shown in [4], in the case of metrics with isometries the computations can be greatly simplified by using the HSS version of the QK quotient construction [0, ]. n attractive feature of the HSS quotient is that the isometries of the corresponding metric come out as manifest internal symmetries of the HSS sigma model action. In [4], using these techniques, we explicitly constructed QK extensions of the Taub- NUT and Eguchi-Hanson (EH) HK metrics []. In this note we apply the HSS quotient approach to construct a QK extension of the 4-dimensional double Taub-NUT HK metric. The latter was derived from the HSS approach in [3] by directly solving the corresponding harmonic differential equations. It turns out that the HSS quotient allows one to reproduce the same answer much easier, and it remarkably works in the QK case as well. We gauge two commuting U() symmetries of the system of three free hypermultiplets and, after solving two algebraic constraints and fully fixing gauges, are left with a 4-dimensional QK metric having two U() isometries and going onto the double Taub-NUT in the HK limit. It is a new explicit example of non-homogeneous QK metrics. Based on the results of Przanowski [4], Tod [5] and Flaherty [6], this metric gives also a new explicit solution of the coupled Einstein-Maxwell system with self-dual Weyl tensor.. The gauged HSS action of the QK double Taub-NUT. Details of the general construction can be found in [4]. Here we apply the HSS quotient approach to explicitly construct a sigma model giving rise to a QK generalization of the double Taub-NUT HK metric. The latter belongs to the class of two-center LF metrics with the U() U() isometry (one U() is triholomorphic) and was treated in the HSS approach in [3]. We start with the action of three hypermultiplet superfields, Q +a (ζ), g+r (ζ), a =, ; r =, ; =,, () possessing no any self-interaction. So, by reasoning of [7, 4], this action corresponds to the flat QK manifold HH 3 Sp(, 3)/Sp() Sp(3). In (), the indices a and r are the doublet indices of two Pauli-Gürsey-type SU() s realized on Q +a and g+r, the index is an extra SO() index. These superfields are given on the harmonic analytic N =

3 superspace ( ζ ) = ( x m, θ +µ, θ + µ, u +i, u k ), () the coordinates u +i, u k, u +i u i =, i, k =,, being the SU()/U() harmonic variables, and they satisfy the pseudo-reality conditions (a) Q +a (Q + a ) = ǫab Q + b, (b) g+r (g + r ) = ǫ rs g + s, (3) where ǫ ab ǫ bc = δ a c, ǫ =. The generalized conjugation is the product of the ordinary complex conjugation and a Weyl reflection of the sphere S SU()/U() parametrized by u ±i. In the QK sigma model action below we shall need only the bosonic components in the θ-expansion of the above superfields: Q +a +a (ζ) = F (x, u) + i(θ+ σ m θ+ )B a m (x, u) + (θ+ ) ( θ + ) G ( 3a) (x, u), g +r (ζ) = g 0 +r (x, u) + i(θ + σ m θ+ )gm r (x, u) + (θ + ) ( θ + ) g ( 3 r) (x, u) (4) (possible terms (θ + ) and ( θ + ) can be shown not to contribute to the final action). The component fields still have a general harmonic expansion off shell. The physical bosonic components F ai(x), gri (x) are defined as the first components in the harmonic expansions of F +a (x, u) and g+r 0 (x, u) F +a ai (x, u) = F (x)u+ i +, g 0 +r (x, u) = gri (x)u + i +, (F ai(x)) = ǫ abǫ ik F bk (x), (g ri (x)) = ǫ rs ǫ ik g sk (x). (5) The selection of two commuting U() symmetries to be gauged and the form of the final gauge-invariant HSS action are uniquely determined by the natural requirement that the resulting action have two different limits corresponding to the earlier considered HSS quotient actions of the QK extensions of Taub-NUT and EH metrics [4]. The full action S dtn has the following form S dtn = dζ ( 4) L +4 dtn d 4 x [ D(x) + V m(ij) (x)v κ m(ij) (x) ], (6) L +4 dtn = q+ a D++ q +a + κ (u q + ) [ Q + a D++ Q +a + g+ r D++ g +r + W ( ++ Q +a Q+ ab ǫ B κ c (ij) g + i g+ j + c(ij) v + i v+ j + V ( ++ (v + g + ) a (ab) Q + a b)] Q+. (7) Here, dζ ( 4) = d 4 xd θ + d θ+ du is the measure of integration over (), (a b) a i b i, the covariant harmonic derivative D ++ is defined by D ++ = D ++ + (θ + ) ( θ + ) { D(x) + 6 V m(ij) (x)u i u j m }, (8) with D ++ = ++ iθ + σ m θ+ m, ±± = u ±i / u i, the non-propagating fields D, V m(ij) are inherited from the N = supergravity Weyl multiplet, κ is the Einstein constant (or, from the geometric point of view, the parameter of contraction to the HK case) and the new harmonic v +i is defined by v +a = q+a (u q + ) = u+a (u+ q + ) (u q + ) u a. )

4 The superfield q +a = f +a (x, u) + = f ai (x)u + i + is an extra compensating hypermultiplet, with the θ expansion and reality properties entirely analogous to (3), (4). Like in [4], we fully fix the local SU() c symmetry of (6) (which is present in any QK sigma model action) by the gauge condition f i a(x) = δ i a ω(x). (9) The objects defined so far are necessary ingredients of the generic QK sigma model action. The specificity of the given case is revealed in the particular form of L +4 in (7). It includes two analytic gauge abelian superfields V ++ (ζ) and W ++ (ζ) and two sets of SU() breaking parameters c (ij) and a (ab) satisfying the pseudo-reality condition c (ij) = ǫ ik ǫ jl c (kl) (0) (and the same for a (ab) ). The Lagrangian (7) can be checked to be invariant under the following two commuting gauge U() transformations, with the parameters ε(ζ) and ϕ(ζ): δq +a = ε [ ǫ B Q +a B ] κ c + Q +a, δg +r = εκ [ c (rn) g n + c + g +r], δq +a = εκ c (ab) q + b, δw ++ = D ++ ε, ( c + c (ik) v + i u k ) () δq +a = ϕ [ a (ab) Q + b ] κ (u g + )Q +a, δg +r = ϕ [ v +r κ (u g + )g +r], δq +a = ϕκ (u q + )g +a, δv ++ = D ++ ϕ. () This gauge freedom will be fully fixed at the end. The only surviving global symmetries are two commuting U(). One of them comes from the Pauli-Gürsey SU() acting on Q +a and broken by the constant triplet a(bc). nother U() is the result of breaking of the SU() which uniformly rotates the doublet indices of harmonics and those of q +a and g +r. It does not commute with supersymmetry and forms the diagonal subgroup in the product of three independent SU() s realized on these quantities in the free case; this product gets broken down to the diagonal SU() and further to U() due to the presence of explicit harmonics and constants c (ik) in the interaction terms in (7). These two U() symmetries will be isometries of the final QK metric, the first one becoming triholomorphic in the HK limit. The fields D(x) and V m (ik) (x) are inert under any isometry (modulo some rotations in the indices i, j), and so are D ++ and the D, V part of (6). It can be shown that the action (6), (7) is a generalization of both the HSS quotient actions describing the QK extensions of the EH and Taub-NUT sigma models: putting g +r = a (ab) = 0 yields the EH action as it was given in [7, 4], putting Q +a = (Q+a = ) = c (ik) = 0 yields the Taub-NUT action [4]. lso, fixing the gauge with respect to the λ transformations by the condition (u g + ) = 0, varying with repect to the non-propagating superfield V ++ and eliminating altogether (v + g + ) by the resulting algebraic constraint, we arrive at the form of the action which in the HK limit κ 0 exactly coincides with the HSS action describing the double Taub-NUT manifold [8, 3]. Thus (6), (7) is the natural QK generalization of the action of [8, 3] and therefore the relevant metric is expected to be a QK generalization of the double Taub-NUT HK metric. 3. Towards the target metric. We are going to profit from the opportunity to choose a WZ gauge for W ++ and V ++, in which harmonic differential equations for f +a (x, u), F +b (x, u) and g+r (x, u) are drastically simplified. 3

5 In this gauge W ++ and V ++ have the following short expansion W ++ = iθ + σ m θ+ W m (x) + (θ + ) ( θ + ) P (ik) (x)u i u k, V ++ = iθ + σ m θ+ V m (x) + (θ + ) ( θ + ) T (ik) (x)u i u k (3) (once again, possible terms proportional to (θ + ) and ( θ + ) can be omitted). The hypermultiplet superfields have the same expansions as in (4). t the intermediate step it is convenient to redefine these superfields as follows ( ( ) Q +a, g+r) = κ(u q + ) Q+a, ĝ+r. (4) Due to the structure of the WZ-gauge superfields (3), the highest components in the θ expansions of the redefined HM superfields appear only in the kinetic part of (7). This results in the linear harmonic equations for f +a +b (x, u), F (x, u), ĝ+r (x, u): ++ f +a = 0 f +a = u +a ω(x), ++ +a ai F a = 0 = F (x)u + i, ++ ĝ +r = 0 ĝ +r = ĝ ri (x)u + i, (5) where we have simultaneously fixed the gauge (9). Next steps are technical and quite similar to those explained in detail in [4] on the examples of the QK extensions of the Taub-NUT and EH metrics. One substitutes the solution (5) back into the action (with the θ and u integrals performed), varies with respect to the rest of non-propagating fields and also substitutes the resulting relations back into the action. t the final stages it proves appropriate to redefine the basic fields once again F ai = κω F ai, ĝri = κω gri (6) and to fully fix the residual gauge freedom of the WZ gauge for the ϕ transformations (with the singlet gauge parameter ϕ(x)), so as to gauge away the singlet part of g ri (x): F +a g ri (x) = g (ri) (x) (7) (the residual SO() gauge freedom, with the parameter ε(x), will be kept for the moment). In particular, in terms of the thus defined fields we have the following expressions for the fields ω and V m (ij) which are obtained by varying the full action (6) with respect to D and V m (ij) : κ ω = [, V (ij) λ g λf m = 6λ ω F a(i mf j) a + ] 4 gr(i m gr j), (8) where F F ai F ai, g g ri g ri, λ κ 4. (9) The final form of the sigma model Lagrangian in terms of the fields F ai(x) and g(rk) (x) is as follows (we replaced altogether m by d, thus passing to the distance in the target QK space instead of its x-space pullback) { ( D X + Z + Y D 4 ) 4 ( + λ g Y )} 8 + T (0)

6 with D = λ g λ F, X = df ai df ai, Y = dg ij dg ij, Z = {γ (J K) α (J J) β (K K)}, 4 α β γ ( T = Fa i aj B dfb F ai df j a + ) g ir dg r j. () Here and J = aab F i a df bi, α = ( ) F 4 λ ĉ + λ ĉ g K = ǫ B F ai df ai B λ c ij g i s dgsj, (), β = 4 ( + â 4 F λ ) g, where γ = 4 aab F i a F bi B ǫ B λ(c g), (3) ĉ c ik c ik, â = a ab a ab. (4) On top of this, there are two algebraic constraints on the involved fields F a(i F j) a B ǫ B λ g (li) g (rj) c (lr) + c (ij) = 0, (5) g ij = a ab Fa i B F j b B, (6) which come out by varying the action with respect to the auxiliary fields P (ik) (x) and T (ik) (x) in the WZ gauge (3). Keeping in mind these 6 constraints and one residual gauge (SO()) invariance, we are left with just four independent bosonic target coordinates as compared with such coordinates in (0). The problem is now to explicitly solve (5), (6). But before turning to this issue, let us notice that the sought metric includes three parameters. These are the Einstein constant, related to λ, and two breaking parameters : the triplet c (ij), which breaks the SU() SUSY to U(), and the triplet a (ab), which breaks the Pauli-Gürsey SU() to U(). The final isometry group is therefore U() U(). For convenience we choose the following frame with respect to the broken SU() groups c = ic, c = c = 0, a = ia, a = a = 0, with real parameters a and c, and we shift λ in which, in particular, the squares (4) become λ a. Hereafter we shall use this frame, ĉ = c, â = a. 4. Solving the constraints. We need to find true coordinates to compute the metric. This step is non-trivial, due to the fact that (5) becomes quartic after substitution of (6). 5

7 Instead of solving this quartic equation, it proves more fruitful to take as independent coordinates just the components of the triplet g (ri) g = g iah, h = h, g g, g = g, and one angular variable from F ai. Then, relabelling the components of the latter fields as follows a= i= F= = a= i= (F + K), F= = (P + V), a= i= F= = a= i= (F K), F= = (P V), i i a= i= F a= i= a= i= = F, F = F a= i=, we substitute this into (5), (6), and find the following general solution (it amounts to solving a quadratic equation and we choose the solution which is regular in the limit g = ḡ = h = 0) and P = im e i(φ+α/ρ +µρ + ), F = R e i(φ+µρ ), K = is e i(φ α/ρ µρ + ), V = L e i(φ µρ ), ρ ± = ± 4 λc a (7) g = at e i(α/ρ +8λc/a µ). (8) The various functions involved are L = ( + B ), R = ( + + B + ), M = ( + B + ), S = ( B ), with ± = ± λc h, B ± = c( + λr ) ± h, ± = B ± + t, r = h + t, gḡ = a t. The true coordinates are (φ, α, h, t). n extra angle µ parametrizes the local SO() transformations (they act as shifts of µ by the parameter ε(x)). In view of the gauge invariance of (0), the final form of the metric should not depend on µ and we can choose the latter at will. For instance, we can change the precise dependence of phases in (7), (8) on φ and α. In what follows we shall stick just to the above parametrization. 5. The resulting metric. To get the full metric is fairly involved and Mathematica was intensively used! The final result is g = P (dφ + Q4P ) 4D dα + D ) (dh + dt + t P ( + λr ) dα. (9) 6

8 It depends on 4 functions where D,, P, Q, = a 4 + ( 8 ( 4λc )( λ r ) + ) + ( λ c h ) + λc 4λ t ( + λ r ), + a + ( P = ( + λ r ) λ c ( h + c( λ r ) h c( λ )) r ) a + + 4λ c t a 4 ( λ r 4λ c h + ( h + c( λ r Q = ( + λ r ) ) + h c( λ ) r ) + +4λ c t ( λ r 4λc h + λ r + 4λ c h ), λ ) r + 4λc h, and D = λ r λ a ( + + ). To simplify matter we first rescale c c/. The relations suggest the following change of coordinates T = ± = ( + λ c ) t + (h ± c/( λ r )) t h λ r, H = λ r, ρ = T + H, (30) which has the virtue of reducing the quartic non-linearities according to ± = ( λ r ) 4 δ ±, δ ± = ( + λ c ) T + (H ± c). Further, to get rid of the square roots we use spheroidal coordinates (s, x) defined by + λ c T = (s c )( x ), H = s x, s c, x [, +]. For convenience reasons we scale the angles φ and α according to φ + λ c φ, α + λ c α, and to have a smooth limit for a 0 we come back to the original λ, λ λ a. 7

9 Putting these changes together, we get the final form of the metric (4l ) g = ( + λ a s ) P with ( dφ + Q 4P dα ) + P (s c )( x )( + λ a c x ) (dα) ( + ds (s c )( + λ a s ) + dx ( x )( + λ a c x ) l = λ s, Q = ( + λ a c )(s c ) x, 4 = ( + a s)(s λ c ) a c l x, P = c ( x )( + λ a c x ) l + (s c ) [ + λ a c x 4λ c ( x ) ]. The isometry group U() U() acts as translations of φ and α. 6. Geometric structure of the metric. We know that this metric is QK by construction, but in view of the many steps involved, it is a good self-consistency check to verify that it is Einstein with self-dual Weyl tensor. The details will be presented in [9], let us describe the main result. We take for the vierbein e 0 = a(s, x) (dφ + Q4P ) dα, e 3 = b(s, x) dα, e = χ ds, e = ν dx, ), (3) with a(s, x) = l + λs P, b(s, x) = l (s c )B P, χ = l ν = l The spin connection being defined as usual by C, C = (s c )( + λ s ), B, B = ( x )( + λ c x ). de a + ω ab e b = 0, a, b = 0,,, 3, one has to compute the anti-self-dual spin connection and curvature ωi = ω 0i ǫ ijk ω jk, Ri R 0i ǫ ijk R jk = dωi + ǫ ijk ωj ω k, i, j, k =,, 3. One gets the crucial relation R i = 6λ which shows at the same time that the metric is Einstein, with (e 0 e i ǫ ijk e j e k ), (3) Ric = Λ g, Λ 3 = 6λ = 4κ, 8

10 and that the Weyl tensor is self-dual, i.e. W i = 0. Let us now consider a few limiting cases. The quaternionic Taub-NUT limit. Let us show that in the limit c 0 we get the quaternionic Taub-NUT. We first write the metric (9) in the form { g(c 0) = ( + λ r ) (dψ + hr ) } 4D dα + 0 γ 0, with 0 ψ = φ, 0 = a + r λr, D = λ r 4 λr a, γ 0 = dh + dt + t dα, r = h + t. Switching to the spherical coordinates r, θ, α for which t = r sin θ, h = r cosθ allows one to get the final form with g(c 0) = ( + λ r ) 4D { } σ r (σ 0 ( + λ r ) (dr + σ)), (33) σ 3 = dψ + cos θ dα, σ + σ = dθ + sin θ dα. The derivation of the quaternionic Taub-NUT metric from harmonic superspace was given in [0]. It contains parameters λ, R, and in the limit R 0 it reduces to Taub-NUT. One can see that, upon the identifications s = r, a = 4 λ, λ = R λ, the metric g(c 0) is nothing but the quaternionic Taub-NUT. The quaternionic Eguchi-Hanson limit. This metric was derived using harmonic superspace in [4], and can be written as ( ) 4C g = ( s c ) d s σ 3 sb + sb s c + σ + σ, (34) where sb = s κ c, C = κ s, σ 3 = dφ + cosθ dψ, σ + σ = dθ + sin θ dψ. The writing (34) is adapted to the Killing φ ; if we switch to the Killing ψ we can write the metric as D 4 sbc (dψ + B) + sb ( ) d s 4C s c + dθ + s c D sin θ dφ, (35) with D = ( s c ) cos θ + ( sb) sin θ, B = s c 9 D cosθ dφ.

11 If we now take, in the metric (3), the limit a 0 it becomes proportional to the metric (35) upon the following identifications s = s, c = c, λ = κ 4, φ ψ, α φ, x cosθ. The hyper-kähler limit. Relation (3) makes it clear that in the limit λ 0 we recover a Riemann self-dual geometry, which is therefore hyper-kähler. t the level of the metric, it is most convenient to discuss it using the co-ordinates (30). Indeed, we obtain the multicentre structure [,, 3] with the flat 3-metric 4 [ ] V (dφ + ) + V γ 0, γ 0 = dh + dt + T dα. The potential V and the connection are, respectively, { } { } V = a + +, = H + c + H c dα, (36) 4 δ+ δ 4 δ+ δ δ ± = T + (H ± c). The potential shows two centres and V ( ) = a /4. n easy computation gives dv = γ0 d, which is the fundamental relation of the multicentre metrics. For a 0 we have the double Taub-NUT metric, while for a = 0 we are back to the EH metric. Comparison with other known QK metrics. The QK metric considered here is Einstein with self-dual Weyl tensor. From a general result due to Przanowski [4] and Tod [5], this class of metrics is conformally related to a subclass of Kähler scalar-flat ones. From a result of Flaherty [6], any Kähler scalar-flat metric is a solution of the coupled Einstein- Maxwell equations, with the restriction that the Weyl tensor be self-dual. The explicit solutions of the coupled Einstein-Maxwell equations known so far fall in two classes: the Perjés-Israel-Wilson metrics [5, 4] and the Plebanski-Demianski [6] metrics. In general they are not Weyl-self-dual. For the first class we have checked (details will be given in [9]), that the Weyl-selfdual metrics are conformal to the multicentre metrics. For the metrics in the second class, imposing Weyl self-duality indeed gives rise to a QK metric. In the HK limit, with the same coordinates as in (36), we have found its potential to be V = δ+ + m δ. For m = 0 we recover flat space while for m it describes a deformation of Eguchi- Hanson with two unequal masses. Thus our metric is also outside the Plebanski-Demianski 0

12 ansatz, since their HK limits are different. We conclude that it supplies a novel explicit example of the Einstein metrics with the self-dual Weyl tensor and, simultaneously, of the solution of the coupled Einstein-Maxwell system. cknowledgments. G.V. thanks Gary Gibbons for useful discussions and for bringing to his attention the references [5, 6]. Work of E.I. was partially supported by grants RFBR- CNRS , RFBR-DFG , RFBR and NTO grant PST. CLG He thanks the Directorate of LPTHE for the hospitality extended to him within the Project PST-RI 99/0. References [] S. Cecotti, S. Ferrara, L. Girardello, Int. J. Mod. Phys. 4 (989) 475. [] J.P. Gauntlett, G.W. Gibbons, G. Papadopoulos, P.K. Townsend, Nucl. Phys. B 500 (997) 33. [3] P.S. spinwall, JHEP 9804 (998) 09. [4] E. Ivanov, G. Valent, Nucl. Phys. B 576 (000) 543. [5] J. Bagger, E. Witten, Nucl. Phys. B (983). [6]. Galperin, E. Ivanov, V. Ogievetsky, E. Sokatchev, Class. Quantum Grav. 4 (987) 55. [7]. Galperin, E. Ivanov, O. Ogievetsky, nnals Phys. 30 (994) 0. [8]. Galperin, E. Ivanov, S. Kalitzin, V. Ogievetsky, E. Sokatchev, Class. Quantum Grav. (984) 469. [9]. Galperin, E. Ivanov, V. Ogievetsky, E. Sokatchev, nnals Phys. 85 (988). [0] B. de Wit, J.W. van Holten,. Van Proeyen, Nucl. Phys. B 67 (980) 86; B. de Wit, P. Lauwers,. Van Proeyen, Nucl. Phys. B 55 (985) 569. [] K. Galicki, Nucl. Phys. B 7 (986) 40; ibid B 89 (987) 573; Commun. Math. Phys. 08 (987) 7; Class. Quantum Grav. 8 (99) 59. [] T. Eguchi, P.B. Gilkey,.J. Hanson, Phys. Reports 66 (980) 4. [3] G. Gibbons, D. Olivier, P. Ruback, G. Valent, Nucl. Phys. B 96 (988) 679. [4] M. Przanowski, J. Math. Phys. 3, (99) 004. [5] K.P. Tod, in Geometry and Physics (arhus 995), pp , Lecture Notes in Pure and ppl. Math., 84, Dekker, New-York, 997. [6] E.J. Flaherty, Gen. Rel. Grav. 9 (978) 96.

13 [7] J.. Bagger,.S. Galperin, E.. Ivanov, V.I. Ogievetsky, Nucl. Phys. B 303 (988) 5. [8]. Galperin, E. Ivanov, V. Ogievetsky, P.K. Townsend, Class. Quantum Grav. 7 (986) 65. [9] P.-Y. Casteill, E. Ivanov, G. Valent, in preparation. [0] E. Ivanov, G. Valent, Phys. Lett. B 445 (998) 60; Class. Quantum Grav. 6 (999) 039; ibid, 43E. [] S. Kloster, M. Som,. Das, J. Math. Phys. 5 (974) 096. [] G. Gibbons, S. Hawking, Phys. Lett. B 78 (978) 430. [3] N. Hitchin, Math. Proc. Camb. Phil. Soc. 85 (979) 465. [4] Z. Perjès, Phys. Rev. Let. 7 (97) 668. [5] W. Israel, G.. Wilson, J. Math. Phys. 3 (97) 865. [6] J.F. Plebanski, M. Demianski, nnals Phys. 98 (976) 98.