arxiv:math-ph/ v2 29 Nov 2006

Transcription

1 Generalized forms and vector fields arxiv:math-h/ v2 29 Nov Introduction Saikat Chatterjee, Amitabha Lahiri and Partha Guha S. N. Bose National Centre for Basic Sciences, Block JD, Sector III, Salt Lake, Calcutta , INDIA saikat, amitabha, Abstract. The generalized vector is defined on an n dimensional manifold. Interior roduct, Lie derivative acting on generalized -forms, 1 n are introduced. Generalized commutator of two generalized vectors are defined. Adding a correction term to Cartan s formula the generalized Lie derivative s action on a generalized vector field is defined. We exlore various identities of the generalized Lie derivative with resect to generalized vector fields, and discuss an alication. PACS numbers: Hw, Na, Jj The idea of a 1-form, i.e., a form of negative degree, was first introduced by Sarling [1, 2] during an attemt to associate an abstract twistor sace to any real analytic sacetime obeying vacuum Einstein s euations. Sarling obtained these forms from the euation of the twistor surfaces without torsion. There he assumed the existence of a 1-form. Nurowski and Robinson [3, 4] took this idea and used it to develo a structure of generalized differential forms. They studied Cartan s structure euation, Hodge star oerator, codifferential and Lalacian oerators on the sace of generalized differential forms. They found a number of hysical alications to mechanical and hysical field theories like generalized form of Hamiltonian systems, scalar fields, Maxwell and Yang- Mills fields and Einstein s vacuum field euations. Guo et al. [5] later found that Chern Simons theories can be related to gravity using the language of generalized forms. Robinson [6] extended the algebra and calculus of generalized differential forms to tye N, where N is the number of indeendent 1-form fields in the structure. N = 1 reresents the ordered air reresentation of [3, 4]. We also work in N = 1 case. Action of ordinary vector fields on generalized forms are discussed by Nurowski and Robinson [4], i.e. interior roduct, Lie derivative of generalized forms with resect to ordinary vector fields. In this aer we introduce the generalized vector field V as an ordered air of an ordinary vector field v 1 and ordinary scalar field v 0, V = (v 1, v 0 ). In 2 we briefly discuss generalized forms, their roducts and exterior derivative develoed by Sarling and Nurowski-Robinson. In 3 we define the interior roduct

2 Generalized forms and vector fields 2 of a generalized -form with a generalized vector field as a maing from generalized -forms to generalized 1-forms and various identities are discussed. In 4 we define the generalized Lie derivative of a generalized -form using Cartan s formula. It follows that a generalized bracket of two generalized vector fields can be defined and generalized vector fields form a Lie algebra with this generalized bracket. But the Lie derivative of a vector field cannot be defined using Cartan s formula. So in 5 we add a correction term with Cartan s formula and define a new and imroved generalized Lie derivative. This allows us to define the Lie derivative of a generalized vector field. The Lie derivative satisfies Leibniz rule and linearity, while the definition of generalized commutator remains the same. In 6 we give an alternative construction of the generalized vector field assuming the existence of a secial kind of vector field. Its roerties are discussed and the results comared with the relations obtained earlier. Finally, an examle is given in 7, where we discuss the Hamiltonian of the relativistic free article in the language of generalized forms and generalized vector fields. 2. Generalized -forms Let M be a smooth n-dimensional manifold, C (M) the ring of real-valued smooth functions, X(M) the Lie algebra of vector fields and Ω (M) the C (M)-module of differential -forms, 1 n. A generalized -form a on M is defined [3, 4] as an ordered air of an ordinary -form α and an ordinary + 1-form α +1, a = (α, α +1 ). 1 n (1) Since there is no such thing as an ordinary 1-form or an ordinary n+1-form (Sarling s 1-form is by no means ordinary, as we shall discuss later), 1 a = (0, α0 ), n a= (α n, 0). (2) We will denote the sace of generalized -form fields on M by Ω G (M). The wedge roduct of a generalized -form a = (α, α +1 ) and a generalized -form b = (β, β +1 ) is a ma : Ω G (M) Ω G (M) Ω+ G (M) defined as [3] a b= (α β, α β +1 + ( 1) α +1 β ). (3) Here and below, we write α β for the (ordinary) wedge roduct of ordinary forms α and β, without the symbol, so as to kee the euations relatively uncluttered. We will use the symbol only to denote the wedge roduct of generalized forms. Clearly, the wedge roduct as defined above satisfies a b = ( 1) b a, (4) exactly like the wedge roduct of ordinary forms. The generalized exterior derivative d : Ω G Ω+1 G is defined as d a= (dα + ( 1) +1 kα +1, dα +1 ). (5)

3 Generalized forms and vector fields 3 Here d is the ordinary exterior derivative acting on ordinary -forms and k is a nonvanishing constant. It is easy to check that the generalized exterior derivative satisfies the Leibniz rule on generalized forms, d( a b) = (d a) b +( 1) a (d b). (6) We make a small digression here to note that there is an alternative definition of the generalized -formas we mentioned at the beginning. In this we start by assuming, following Sarling[1], the existence of a ( 1)-form field, i.e., a form of degree 1. Denoting this form by ζ, and using d 2 = 0, we find that we should have dζ = k, with k a constant. Then a generalized -form is defined in terms of an ordinary -form α and an ordinary ( + 1)-form α +1 as a = α + α +1 ζ. (7) Note that ζ is not a differential form in the usual sense, i.e., given an ordinary oneform α 1, the wedge roduct α 1 ζ is not a function on the manifold. However, if we nevertheless treat the object of E. (7) as an ordinary -form, we find using ζ ζ = 0 that the wedge roduct of two such forms is a b = α β + (α β +1 + ( 1) α +1 β ) ζ, (8) while the exterior derivative of such a -form works out to be d a= dα + ( 1) +1 kα +1 + dα +1 ζ. (9) The two definitions in E.s (1) and (7) are clearly euivalent. We will emloy the first definition in all calculations. 3. Generalized vectors and contraction In order to go beyond forms and define generalized tensor fields, we will need to define a generalized vector field. We could define a generalized vector as an ordered air of a vector and a bivector, dual to a generalized one-form, referring either to the ring of real functions, or to the ring of generalized zero-forms. Both these definitions uickly run into roblems. The interior roduct with generalized forms is ill-defined in one case, and fails to satisfy Leibniz rule in the other. In this aer we roose a new definition of the generalized vector field Generalized vector fields We define a generalized vector field V to be an ordered air of an ordinary vector field v 1 and an ordinary scalar field v 0, V := (v 1, v 0 ), v 1 X(M), v 0 C (M). (10) Clearly, the submodule v 0 = 0 of generalized vector fields can be identified with the module of ordinary vector fields on the manifold. We will write X G (M) for the sace of

4 Generalized forms and vector fields 4 generalized vector fields on M. On this sace, ordinary scalar multilication is defined by λv = (λv 1, λv 0 ), (11) as exected. On the other hand, we can define generalized scalar multilication, by a generalized zero-form 0 a = (α 0, α 1 ), by 0 a V = (α 0 v 1, α 0 v 0 + i v1 α 1 ) X G (M), (12) where i is the usual contraction oerator. Note that on the submodule v 0 = 0, i.e., on ordinary vector fields, the generalized scalar multilication is different from the ordinary scalar multilication given in E. (11). The generalized scalar multilication is linear, and satisfies 3.2. Generalized contraction 0 a ( 0 b V ) = ( 0 a 0 b)v. (13) Next we define the generalized contraction, or interior roduct I V, with resect to a generalized vector V = (v 1, v 0 ), as a ma from generalized -forms to generalized ( 1)-forms. We will define this maing in such a way that, given a generalized -form a= (α, α +1 ), setting v 0 = 0 and α +1 = 0 gives the contraction formula of an ordinary vector with an ordinary -form. Then we can define the most general contraction formula I V : Ω G Ω 1 G as I V a = (iv1 α, λ() i v1 α +1 + τ() v 0 α ), (14) where λ() and τ() are unknown functions. Now we imose Leibniz rule on the contraction formula, so that I V is a -antiderivation, I V ( a b) = (I V a) b +( 1) a (I V b). (15) We find from this condition, using Es. (3) and (14), that and λ() = 1, (16) ( 1) τ() + ( 1) τ() = τ( + ). (17) The non-trivial solution of this is τ() = ( 1) 1, u to an arbitrary constant, which we will set to unity. Thus the formula for contraction of a generalized vector field with a generalized -form is I V a = (iv1 α, i v1 α +1 + ( 1) 1 v 0 α ). (18) The interior roduct is linear under ordinary scalar multilication, I V +µw = I V + µi W, (19)

5 Generalized forms and vector fields 5 where µ is an ordinary scalar field, but it fails to satisfy linearity under generalized scalar multilication, I0 av b 0 a (IV b) I V ( 0 a b). (20) The generalized interior roduct, when restricted to the ordinary subsace of vector fields, i.e., to generalized vector fields of the tye V = (v, 0), is identical to the interior roduct of ordinary differential geometry, acting indeendently on the two ordinary forms which make u a generalized form. However, several relations which hold for the ordinary interior roduct are not satisfied by the generalized one; we list a few here. (i) The generalized interior roduct does not anticommute; for two generalized vector fields V = (v 1, v 0 ) and W = (w 1, w 0 ) and any generalized -form a= (α, α +1 ), (I V I W + I W I V ) a= ( 1) 1 (w 0 i v1 + v 0 i w1 )(0, α ) 0. (21) (ii) Contraction of the generalized zero-form does not vanish, I V 0 a= (0, iv1 α 1 ). (22) (iii) Contraction of a generalized one-form is a generalized scalar, I V 1 a= (iv1 α 1, v 0 α 1 + i v1 α 2 ). (23) It follows that the sace of generalized vector fields X G (M) is not the dual sace of generalized 1-form fields Ω 1 G (M). 4. Lie derivative: first attemt Euied with the generalized exterior derivative and generalized inner derivative we can define a generalization of the Lie derivative. In his book [7], Cartan introduces a combination of the exterior derivative and the interior roduct which was coined as the Lie derivative by Sledbodzinsky. Marsden calls this Cartan s magic formula. The Lie derivative with resect to a vector field v acts on exterior differential forms according to Cartan s magic formula: L v α = i v dα + d(i v α). (24) This formula does not deend on the metric imosed uon the base sace of indeendent variables, and has been called the homotoy formula by Arnold. We will take as our starting oint Cartan s formula for the Lie derivative of a - form with resect to a vector, and generalize that. However in 5 we will find that the resulting derivative is roblematic when alied on a generalized vector field and we have to add an extra correction term. For the moment, let us define the generalized Lie derivative L V with resect to the generalized vector field V, L V : Ω G (M) Ω G (M), as L V a= IV d a +di V a, (25)

6 Generalized forms and vector fields 6 which is a generalization of Cartan s formula. Using Es. (5) and (18), we find that L V a= (Lv1 α kv 0 α, L v1 α +1 ( + 1)kv 0 α +1 + ( 1) 1 (dv 0 )α + ( 1) v 0 dα ), (26) where as usual a= (α, α +1 ), V = (v 1, v 0 ), and L v1 is the ordinary Lie derivative with resect to the ordinary vector field v 1. This formula will be modified later on, but let us check the conseuences of this formula here. This generalized Lie derivative is a derivation on the sace of generalized forms, satisfying Leibniz rule and linearity, L V ( a b) = (L V a) b + a (LV b), (27) L λv +W = λl V + L W, (28) where V, W are generalized vector fields and λ is an arbitrary constant Generalized commutator and Jacobi identity We recall that the ordinary Lie derivatives L v1 and L w1 with resect to ordinary vector fields v 1 and w 1 acting on an ordinary -form α satisfy L v1 L w1 α L w1 L v1 α = L [v1,w 1 ]α, (29) where [v 1, w 1 ] is the usual commutator between the ordinary vector fields v 1 and w 1. We will generalize this formula to comute the generalized commutator of two generalized vector fields. We will comute the generalized bracket [L V, L W ] a:= (L V L W L W L V ) a, (30) and see if we can find a vector field {V, W } such that [L V, L W ] = L {V,W }. We will then define {V, W } as generalized commutator of generalized vector fields V, W X G (M). Exanding the right hand side of E. (30), we find that it does have the form of a generalized Lie derivative of a with resect to a generalized vector field. So we can in fact write L V L W a LW L V a= L{V,W } a, (31) where {V, W } is a generalized vector field, the generalized commutator of V and W. For V = (v 1, v 0 ), W = (w 1, w 0 ), the generalized commutator is calculated directly using E. (26) to be ) {V, W } = ([v 1, w 1 ], L v1 w 0 L w1 v 0. (32) We get back ordinary commutation relation for ordinary vector fields by setting v 0, w 0 = 0. This generalized commutation relation can be identified with the Lie algebra of a semidirect roduct X(M) C (M). Generally seaking, let (v 1, w 1 ) be the elements of the Lie algebra of vector fields on M, and (v 0, w 0 ) the elements of C (M), which is an Abelian Lie algebra under addition. The Lie algebra of the semidirect roduct is defined by E. (32).

7 Generalized forms and vector fields 7 We can check from its definition that {V, W } is antisymmetric in V and W and bilinear. And we can also calculate directly that Jacobi identity is satisfied, for U, V, W X G (M), {U, {V, W }} + {V, {W, U}} + {W, {U, V }} = 0. (33) Therefore the sace X G (M) of generalized vector fields together with the generalized commutator {, } form a Lie algebra. 5. Lie derivative: imrovement While we could use Cartan s formula for a definition of the Lie derivative on forms, we have to find another definition for the Lie derivative of a vector field. We will do this by assuming that the generalized Lie derivative is a derivation on generalized vector fields. In other words, we want that the following euality should hold for any two generalized vector fields V, W, and any generalized -form a : L V (I W a) = IW (L V a) + ILV W a, (34) where we have written L V W for the action of L V on W. This is what we would like to define as the Lie derivative of W with resect to V. However, from Es. (18) and (26) we find that L V (I W a) IW L V a= I([v1,w 1 ]+kv 0 w 1,L v1 w 0 L w1 v 0 ) a ( 1) (0, L v0 w 1 α ).(35) We see that L V on generalized vectors cannot be defined if the Lie derivative of a generalized -form is as in E. (26). We can try to resolve this roblem by modifying the formula for the Lie derivative of a generalized -form, by adding an extra term of the form (0, β +1 ) to the right hand side of E. (26). This ordinary +1-form β +1 must be constructed form v 0 and α, such that setting v 0 = 0 imlies β +1 = 0. Also, this β +1 should not deend on α +1 or v 1 since the extra term in E. (35) does not deend on these objects. Then most general exression for β +1 is β +1 = ( 1) (γ()v 0 dα + δ()(dv 0 )α ). (36) With this extra term, we can define the modified Lie derivative ˆL V as ˆL V a= LV a +(0, β+1 ). (37) Now if we calculate ˆL V I W a IW ˆLV a, we find that we must have δ() = and γ() = 1 in order that ˆL V W is well-defined. Therefore we get ˆL V a = LV a +( 1) (0, v 0 dα + dv 0 α ) = (L v1 α kv 0 α, L v1 α +1 ( + 1)kv 0 α +1 ). (38) This is a modification of the formula given in E. (26). It can be checked easily using E. (38) that this new and imroved generalized Lie derivative satisfies the Leibniz rule, ˆL V ( a b) = ( ˆL V a) b + a ( ˆLV b), (39)

8 Generalized forms and vector fields 8 where V X G, a Ω G and b Ω G. We can now write the generalized Lie derivative of a generalized vector field. Using E. (18) and (38) we find ˆL V I W I W ˆLV = I ([v1,w 1 ]+kv 0 w 1,L v1 w 0 ). (40) Therefore we can define the generalized Lie derivative of a generalized vector field as ˆL V W = ([v 1, w 1 ] + kv 0 w 1, L v1 w 0 ), (41) where V = (v 1, v 0 ), W = (w 1, w 0 ), and v 1, w 1 X(M), v 0, w 0 C (M). Note that v 0, w 0 = 0 gives the ordinary Lie derivative of an ordinary vector field. Also, the new generalized Lie derivative on generalized vector fields is not the generalized commutator. It can be checked using the new and imroved definition that the commutator of two generalized Lie derivatives is also a generalized Lie derivative as in E. (31) and definition of generalized commutator of two generalized vectors remains the same as in E. (32), ˆL V ˆLW ˆL W ˆLV = ˆL {V,W }. V, W X G (42) Note that both sides of this euation can be taken to act either on a generalized -form or on a generalized vector. 6. Alternative definition of a generalized vector field In 2 we defined a generalized -form as an ordered air of an ordinary -form and an ordinary + 1-form, and euied the sace of these objects with a generalized wedge roduct and a generalized exterior derivative. All calculations were done using this definition. As was mentioned there, we could have used an alternative definition, assuming the existence of a 1- form ζ such that dζ = k where k is a constant. Then a generalized -form can be defined as a= α +α +1 ζ, and has identical roerties with the generalized -form defined as an ordered air. Coming back to generalized vector fields, we defined these objects as ordered airs in 3 and did all the calculations using this definition. The urose of this section will be to give an alternative definition of the generalized vector field in analogy with the 1-form of Sarling et al. and to show that the results found so far follow from using this definition also. Let us then define a generalized vector field as the sum of an ordinary vector field and a scalar multile of a secial vector field X, V = v 1 + v 0 X. (43) The vector field X is not an ordinary vector field, but may be thought of as the unit generalized vector. It will be defined by its action on ordinary -forms, i Xα = ( 1) 1 α ζ, (44) for any α Ω (M). Note that this formula for i X automatically satisfies the Leibniz rule for contractions, i X(α β ) = (i Xα )β + ( 1) α (i Xβ ). (45)

9 Generalized forms and vector fields 9 Note also that i X a= i Xα, where as usual, a= α + α +1 ζ. We can define the contraction of a generalized -form by an ordinary vector field v 1 X(M) as [4] i v1 a= iv1 α + (i v1 α +1 ) ζ. (46) Using the definitions given in Es.(44) and (46) we can now define the contraction of a generalized form by a generalized vector field V = v 1 + v 0 X as i V a= iv1 α + ( ( 1) 1 v 0 α + i v1 α +1 ) ζ. (47) Clearly, this agrees with the contraction formula defined earlier in E. (18). We can use this contraction formula in conjunction with Cartan s magic formula to calculate the Lie derivative of a generalized form with resect to a generalized vector field. Let us first calculate the Lie derivative of a generalized form with resect to an ordinary vector field v 1. Using Cartan s formula we can write L v1 a= Lv1 α + (L v1 α +1 ) ζ. (48) We can now calculate the Lie derivative of v 0 X with resect to an ordinary vector field w 1. Using the results obtained so far, we get, for any generalized -form a, Therefore, L w1 i v0 X a i v0 XL w1 a = ( 1) +1 (L w1 v 0 ) α ζ = i (Lw1 v 0 ) X a. (49) L w1 (v 0 X) = (Lw1 v 0 ) X, L w1 X = 0. (50) The Lie derivative of a generalized form with resect to the secial vector field X can be calculated using Cartan s formula, ( a= kv 0 α + ( + 1)kv 0 α +1 L v0 X + ( 1) 1 (dv 0 )α + ( 1) v 0 dα ) ζ. (51) Finally, combining the results obtained so far, we get the Lie derivative of a generalized form a= α + α +1 ζ with resect to a generalized vector V = v 1 + v 0 X, L V a (d iv + i V d) a = L v1 α kv 0 α + ( L v1 α +1 ( + 1)kv 0 α +1 + ( 1) 1 (dv 0 )α + ( 1) v 0 dα ) ζ. (52) Let us now try to define the Lie derivative of an ordinary vector field w 1 with resect to v 0 X can be defined. It is straightforward to calculate that L v0 Xi w1 a iw1 L v0 X a= i kv0 w 1 (L w1 v 0 ) X a ( 1) (L v0 w 1 α ) ζ. (53) Because of the last term, the Lie derivative of an ordinary vector with resect to a generalized vector cannot be defined. However, we can correct the situation by modifying the Lie derivative, following a rocedure similar to that used for calculating

10 Generalized forms and vector fields 10 the correction term in 5. Then we find that the Lie derivative with resect to the secial vector field v 0 X needs to be defined as ˆL v0 X a = L v0 X It follows from this definition that a +( 1) ( v 0 dα + (dv 0 )α ) ζ = kv 0 α ( + 1)kv 0 α +1 ζ. (54) ˆL v0 Xi w1 a iw1 ˆLv0 X from which we can write a= i kv0 w 1 a, (55) ˆL v0 Xw 1 = kv 0 w 1. (56) Also, we can calculate from this definition that ˆL v0 Xi w0 X a i w0 X ˆLv0 X a = 0, (57) ˆLv0 Xw 0 X = 0. (58) So the comlete exression for the modified Lie derivative, acting on generalized forms, is ˆL V a = (Lv1 α kv 0 α, L v1 α +1 ( + 1)kv 0 α +1 ). (59) This Lie derivative also satisfies the Leibniz rule on wedge roducts of generalized forms. Now we can directly calculate the generalized Lie derivative of a generalized vector field as ˆL v1 +v 0 X(w 1 + w 0 X) = [v1, w 1 ] + kv 0 w 1 + L v1 w 0 X. (60) We can also calculate the commutator of Lie derivatives to find that ˆL (v1 +v 0 X) ˆL(w1 +w 0 X) ˆL (w1 +w 0 X) ˆL(v1 +v 0 X) = ˆL ([v1,w 1 ]+ X(L v1 w 0 L w1 v 0 )). (61) So the generalized commutator can be defined as [V, W] = [v 1, w 1 ] + X(L v1 w 0 L w1 v 0 ), (62) where V = v 1 + v 0 X, W = w1 + w 0 X. This generalized commutator satisfies Jacobi identity, as can be checked easily. Hence, we obtain all the earlier relations of 3, 4 and 5 using the alternative definition of generalized vector fields. 7. Alication: Relativistic free article Carlo Rovelli analysed the Hamiltonian formalism of the relativistic mechanics of a article [8]. This analysis can be formulated in the language of generalized vector fields and generalized forms. Let a system be described by Hamiltonian H 0 (t, i, i ), where i are the coordinates, i are the conjugate momenta and t is the time. Now we can define an extended coordinate system as a = (t, i ) and corresonding momenta as a = (Π, i ). We

11 Generalized forms and vector fields 11 define a curve in this extended sace as m : τ ( a (τ), i (τ)). Here the constrained Hamiltonian will be H( a, a ) = Π + H 0 (t, i, i ) = 0. (63) Now if we consider the Hamiltonian euation for this constrained Hamiltonian, following Rovelli we can write I V Ω = 0, (64) where V is a generalized vector, V = (v 1, v 0 ), and Ω is a generalized 2-form. Let us also define Ω as Ω = (ω, ωθ). (65) Here θ = a d a is the canonical one-form and ω = dθ. So we get i v1 ω = 0, (66) 2v 0 ω + i v1 (ωθ) = 0. (67) We can identify E. (66) as the same as the one considered by Rovelli and so v 1 is the tangent vector of the curve m v 1 = a + a i, (68) i where a dot denotes the differentiation with resect to τ. Now using E.s (66), (67) and (68), we find v 0 = 1/2( i i H 0 ṫ) = 1/2( i i + Πṫ). (69) The function within the bracket in right hand side is exactly the constrained Lagrangian. So v 0 is rootional to the constrained Lagrangian of the system. References [1] G A J Sarling abstract/virtual/reality/comlexity in Geometry and Physics Eds. L Mason and K P Tod, Oxford University Press, 1997 [2] Z Perjés and G A J Sarling The Abstract Twistor Sace of the Schwarzschild Sace-Time Prerint ESI Vienna no. 520 [3] P Nurowski and D C Robinson Class. Quant. Grav. 18 (2001) L81. [4] P Nurowski and D C Robinson Class. Quant. Grav. 19 (2002) 2425 [5] H. Y. Guo, Y. Ling, R. S. Tung and Y. Z. Zhang, Phys. Rev. D 66 (2002) [6] D C Robinson J. Math. Phys. 44 (2003) 2094 [7] E. Cartan Lecon sur la théorie des esaces à connexion rojective Gauthier-Villars, Paris, 1937 [8] C. Rovelli Covariant Hamiltonian formalism for field theory: Symlectic structure and Hamilton- Jacobi euation on the sace G rerint arxiv:gr-c/