ABOUT DUALITY AND KILLING TENSORS Dumitru Baleanu 1 2 JINR, Bogoliubov Laboratory of Theoretical Physics 141980 Dubna,Moscow Region, Russia Abstract arxiv:gr-qc/9805052v2 16 Aug 1999 In this paper the isometries of the dual space were investigated.the dual structural equations of a Killing tensor of order two were found. The flat space case was analyzed in details. Keywords : Duality, Killing tensors 1 Permanent Address: Institute for Space Sciences,P.O.BOX, MG-23, R 76900 Magurele-Bucharest, Romania 2 e-mail:baleanu@thsun1.jinr.ru,baleanu@venus.nipne.ro 1
1 Introduction Killing tensors are indispensable tools in the quest for exact solutions in many branches of general relativity as well as classical mechanics [1]. Killing tensors are important for solving the equations of motion in particular space-times. The notable example here is the Kerr metric which admits a second rank Killing tensor [1]. The Killing tensors give rise to new exact solutions in perfect fluid Bianchi and Katowski-Sachs cosmologies as well in inflationary models with a scalar field sources [2]. Recently the Killing tensors of third rank in (1 + 1) dimensional geometry were investigated and classified [3]. In a geometrical setting, symmetries are connected with isometries associated with Killing vectors, and more generally, Killing tensors on the configuration space of the system.an example is the motion of a point particle in a space with isometries [4], which is a physicist s way of studying the geodesic structure of a manifold. Any symmetrical tensor K αβ satisfying the condition K (αβ;γ) = 0, (1) is called a Killing tensor. Here the parenthesis denotes a full symmetrization with all indices and coma denotes a covariant derivative.k αβ will be called redundant if it is equal to some linear combination with constants coefficients of the metric tensor g αβ and of the form S (α B β) where A α and B β are Killing vectors. For any Killing vector K α we have [5] K β;α = ω αβ = ω βα, (2) ω αβ;γ = R αβγδ K δ. (3) The equations (2) and (3) may be regarded as a system of linear homogeneous firstorder equations in the components K αβ and ω αβ. In [5] equations analogous to the above ones for a Killing vector were derived for K αβ. Recently Holten [6] has presented a theorem concerning the reciprocal relation between two local geometries described by metrics which are Killing tensors with respect to one another. In this paper the geometric duality was presented and the structural equations of K αβ were analyzed. The plan of this paper is as follows. In Sec.2 the geometric duality is presented. In Sec.3 the structural equations of K αβ are investigated. Our comments and concluding remarks are presented in Sec. 4. 2 Geometric duality Let us consider that the space with a metric g αβ admits a Killing tensor field K αβ. As it is well known the equation of motion of a particle on a geodesic is derived from the action [7] S = dτ( 1 2 g αβ x α ẋ β ). (4) The Hamiltonian is constructed in the following form H = 1 2 g αβp α p β and the Poisson brackets are {x α, p β } = δ β α. (5) 2
The equation of motion for a phase space function F(x, p) can be computed from the Poisson brackets with the Hamiltonian F = {F, H}, (6) where F = df. From the covariant component K dτ αβ of the Killing tensor we can construct a constant of motion K We can easy verify that K = 1 2 K αβp α p β. (7) {H, K} = 0. (8) The formal similarity between the constants of motion H and K, and the symmetrical nature of the condition implying the existence of the Killing tensor amount to a reciprocal relation between two different models: the model with Hamiltonian H and constant of motion K, and a model with constant of motion H and Hamiltonian K.The relation between the two models has a geometrical interpretation:it implies that if K αβ are the contravariant components of a Killing tensor with respect to the metric g αβ, then g αβ must represent a Killing tsor with respect to the metric defined by K αβ. When K αβ has an inverse we interpret it as the metric of another space and we can define the associated Riemann-Christoffel connection ˆΓ λ αβ as usual through the metric postulate ˆD λ K αβ = 0. Here ˆD represents the covariant derivative with respect to K αβ. The relation between connections ˆΓ µ αβ and Γµ αβ is [8] ˆΓ µ αβ = Γµ αβ Kµδ D δ K αβ. (9) As it is well known for a given metric g αβ the conformal transformation is defined as ĝ αβ = e 2U(x) g αβ and the relation between the corresponding connections is ˆΓ λ αβ = Γλ αβ + 2δλ (α U β) g αβu λ, (10) where U λ = duλ. After some calculations we conclude that the dual transformation dx (9) is not a conformal transformation. For this reason is interesting to investigate when the manifold and its dual have the same isometries. Let us denote by χ α a Killing vector corresponding to g αβ and by ˆχ α a Killing vector corresponding to K αβ. Proposition The manifold and its dual have the same Killing vectors iff Proof. Let us consider χ σ a vector satisfies (D δ K αβ )ˆχ δ = 0. (11) D α χ β + D β χ α = 0. (12) 3
Using (9) the corresponding dual Killing vector s equations are D αˆχ β + D β ˆχ α + 2K δσ (D δ K αβ )ˆχ σ = 0. (13) Let us suppose that ˆχ α = χ α, then using (12) and (13) we obtain (D δ K αβ )ˆχ δ = 0. (14) Conversely if we suppose that (11) holds, then from (13) we can deduce immediately that χ α = ˆχ α. q.e.d. 3 The structural equations The following two vectors play roles analogous to that of a bivector ω αβ L αβγ = K βγ;α K αγ;β, (15) M αβγδ = 1 2 (L αβ[γ;δ] + L γδ[α;β] ). (16) The properties of the tensors L αβγ and M αβγδ were derived in [5].M αβγδ has the same symmetries as the Riemannian tensor and the covariant derivatives of K αβ and L αβγ satisfy relations reminiscent of those satisfied by Killing vectors. From (15) and (16) we found that M αβγδ = 1 2 (K βγ;(αδ) + K αδ;(βγ) K αγ;(βδ) K βδ;(αγ) ) and M αβγδ + M γαβδ + M βγαδ = 0 [5]. We will investigate now the dual structural equations.let us define a tensor H µ αβ as Taking into account (9) we found Using (15) and (18) we obtain H µ αβ = ˆΓ µ αβ Γµ αβ. (17) H δ αβ K δγ = D γ K αβ. (18) L αβγ = H δ αγ K δβ H δ βγ K δα. (19) From (19) we conclude that L αβγ looks like an angular momentum. This result is in agreement with those presented in [5]. Taking into account (16) and (18) the expression of M αβγδ becomes M αβγδ + + = K σα 2 [ D δhβγ σ + D γhβδ σ + Hσ θγ Hθ δβ Hθ γβ Hσ θδ ] K σβ 2 [D δhαγ σ D γhαδ σ + Hθ δα Hσ θγ Hθ γα Hσ θδ ] K σγ 2 [ D βhδα σ + D αhδβ σ Hθ βδ Hσ θα + Hθ αδ Hσ θβ ] 4
+ K σδ 2 [ D αh σ γβ + D β H σ γα + H θ βγh σ θα H θ αγh σ θβ]. (20) The general solution of eq. (1) in the flat space case has the form K βγ = s βγ + 2 3 B α(βγ)x α + 1 3 A αβγδx α x δ. (21) Here s βγ, B αβγ and A αβγδ are constant tensors having the same symmetries as K βγ,l αβγ and M αβγδ respectively. Using (20) and (21) the expression of M αβγδ becomes where M αβδγ = 1 2 (K σαr σ βγδ + K σβ R σ αδγ + K σγ R σ δαβ + K σδ R σ γβα ), (22) R β νρσ = H β νσ,ρ H β νρ,σ + H α νσh β αρ H α νρh β ασ. (23) From (23) we conclude that R β νρσ looks like as the curvature tensor R β νρσ [9]. The next step is to investigate the form of M αβγδ on a curved space. After tedious calculations we found the expression of M αβγδ as M αβγδ = K σα R σ βγδ + K σβ R σ αδγ + K σγ R σ δαβ + K σδ R σ γβα K σχ ( H χ βδ Gσ αγ + H χ αδ Gσ βγ + H χ βγ Gσ αδ HαγG χ σ βδ) + Hβδ σ K αγ,σ + Hαγ σ K βδ,σ Hβγ σ K αδ,σ Hαδ σ K βγ,σ, (24) where G µ αβ = Hµ αβ + Γµ αβ. M αβγδ has the form (22) for any curve γ(τ) belonging to manifold [10]. Using (17) and (18) we found the dual expressions of L αβγδ and M αβγδ as ˆL αβγ ˆM αβγδ = ˆD α g βγ ˆD β g αγ = H δ αγg δβ + H δ βγg δα = 1 2 (ˆL αβ[γ;δ] + ˆL γδ[α;β] ) = g σα R σ βγδ g σβ R σ αδγ g σγ R σ δαβ g σδ R σ γβα g σχ (H χ βδĝσ αγ Hχ αδĝσ βγ + Hχ βγĝσ αδ + Hχ αγĝσ βδ ) Hβδ σ g αγ,σ Hαγ σ g βδ,σ + Hβγ σ g αδ,σ + Hαδ σ g βγ,σ, (25) Here Ĝσ αδ = Hσ αδ +ˆΓ σ αδ and the semicolon denotes the dual covariant derivative. Taking into account (17) we found a new identity for K αβ K σ βd σ K νλ + K σ λd σ K βν + K σ ν D σ K βλ = 0. (26) By duality we get from (26) the following identity for g αβ 4 Conclusions g σ β ˆD σ g νλ + g σ λ ˆD σ g βν + g σ ν ˆD σ g βλ = 0. (27) The geometric duality between local geometry described by g αβ and the local geometry described by Killing tensor K αβ was presented. We found the relation between 5
connections corresponding to g αβ and K αβ respectively and we have shown that the dual transformation is not a conformal transformation. The manifold and its dual have the same isometries if D λ K αβ = 0. We have shown that L αβγ looks like an angular momentum. The dual structural equations were analyzed and the expressions of ˆL αβγ and ˆM αβγδ were calculated.for the flat space case the general forms of (L αβγ, ˆL αβγ ) and (M αβγδ, ˆM αβγδ ) were found. 5 Acknowledgments I would like to thank TUBITAK for financial support and METU for the hospitality during the working stage at Department of Physics. References [1] G.W. Gibbons, R.H.Rietdijk and J.W.van Holten,Nucl.Phys.B404 (1993) 42. [2] K.Rosquist,C.Uggla,J.Math.Phys.32 (1991) 3412. [3] M. Karlovini and K. Rosquist, preprint gr-qc/9807051. [4] R.H.Rietdijk and J.W.van Holten, J.Geom.Phys.11 (1993) 559. [5] I.Hauser and R.J.Malhiot, Jour.Math.Phys.,vol.16,no.1 (1975) 150-152. [6] R.H.Rietdjik and J.W.van Holten Nucl.Phys.B no.1,2 (1996) 42. [7] D.Baleanu, Gen. Rel. and Grav.30,no.2 (1998) 195, D.Baleanu,Hel. Acta Phys. vol 70,no.3 (1998) 341-354. [8] D.Baleanu, S.Codoban,Gen.Rel.Grav. vol 31, (1999) 497-509. [9] P.A.M.Dirac, General Theory of Relativity (Wiley-Interscience) (1975) 21. [10] L.P.Eisenhart,Riemannian Geometry (Princeton U.P., Princeton, N.J.) (1966). 6