1 Comment on Hamiltonian formulation for the theory of gravity and canonical transformations in extended phase space by T P Shestakova N Kiriushcheva,...

Author:
Pamela Jocelyn Garrison

1 downloads 14 Views 114KB Size

arXiv:1107.2981v1 [gr-qc] 15 Jul 2011

The Department of Applied Mathematics, The University of Western Ontario, London, Ontario, N6A 5B7, Canada (Dated: July 18, 2011; Received)

Abstract We argue that the conclusion, ‘we cannot consider the Dirac approach as fundamental and undoubted’, made in the paper by Shestakova (Class. Quantum Grav. 28 055009, 2011), is based upon an incomplete and flawed analysis of the simple model presented in section 3 of the article. We re-examine the analysis of this model and find that it does not support the author’s conclusion. For the theory of gravity neither the equivalence of the effective action nor its Hamiltonian formulation is given by the author, therefore, we only provide a brief commentary.

∗ † ‡

Electronic address: [email protected] Electronic address: [email protected] Electronic address: [email protected]

1

We examine the analysis of the simple Lagrangian, which was used in section 3 of [1] to illustrate that ‘[Dirac’s] algorithm fails to produce correct results’ for an arbitrary parametrisation. Two parametrisations (equations (S12) and (S13))1 are discussed: L1 = −

1 aa˙ 2 1 + Na ; 2 N 2

1 aa˙ 2 1 √ L2 = − √ + µa, 2 µ 2

N=

√

µ.

(1)

In [1], Dirac’s algorithm2 is applied to L1 and L2 to build the gauge generators and then to find the corresponding gauge symmetries. For L2 , the generator, (S26), gives δ2 µ = −

1 µθ ˙ 2 + θ˙2 , 2µ

δ2 a =

1 a˙ θ2 ; 2µ

(2)

where θ2 is a gauge parameter. In addition to δ2 µ (see equation (S27)), which was deemed in [1] to be the correct transformation, we used equation (S26) to obtain δ2 a. By applying the same method to L1 , another generator is found, (S32), which leads to the following transformations: δ1 N = θ˙1 ,

δ1 a =

a˙ θ1 , N

(3)

which were not reported in [1]. Instead, it was declared that Dirac’s method does not produce a ‘correct’ result for the L1 parametrisation, and must be abandoned in favour of another method, the Extended Phase Space (EPS) approach. Transformations (2) and (3) are written for different variables; therefore, to compare √ them we shall use N = µ. The transformations of the fields in L2 under δ1 are √ δ1 µ = 2Nδ1 N = 2 µθ˙1 ,

a˙ δ1 a = √ θ1 ; µ

(4)

similarly, the transformations of the fields of L1 under δ2 are

δ2 N = δ2

1 2

√

1 ˙ 1 ˙ 1 θ2 = µ = √ δ2 µ = − 2 Nθ 2 + 2 µ 2N 2N

1 θ2 2N

,0

,

δ2 a =

1 a˙ θ2 . 2 N2

(5)

Equations indicated as (S##) are from [1]. When we refer to Dirac’s algorithm, we mean that all steps are performed: from introducing momenta for all variables, to finding gauge invariance using, for example, Castellani’s algorithm [2], based on the Dirac conjecture that all of the first class constraints are needed to derive gauge transformations [3].

2

Hence transformations (2) and (3) are different for both sets of fields (compare (2) with (4) and (3) with (5)). If transformation (2) (the ‘correct’ one) is applied to N, we obtain (5); this variation differs from equation (S33), which is reported in [1] to be the expected result. Let us designate equation (S33) as the ‘second correct’ result, and associate it with a transformation δ3 . What is the meaning of these various transformations? For a Lagrangian with a gauge symmetry, according to Noether’s second theorem [4], there is a corresponding combination of Euler-Lagrange derivatives (ELD) – a differential identity (DI). If a transformation is known, the corresponding DI can always be restored [5]. For example, a DI for L2 can be found from Z Z h i (2) (2) E(µ) δ2 µ + E(a) δ2 a dt = I (2) θ2 dt , (2)

where E(µ) =

δL2 δµ

(2)

and E(a) =

δL2 δa

(6)

are ELDs of L2 . Substituting the known gauge transfor-

mations (2) and performing simple rearrangements, we obtain I (2) = −

1 a˙ (2) 1 (2) (2) µE ˙ (µ) − E˙ (µ) + E ≡ 0. 2µ 2 µ (a)

(7)

Similarly, for L1 the DI is a˙ (1) (1) (8) I (1) = −E˙ (N ) + E(a) ≡ 0. N These results can be directly verified by substituting the corresponding ELDs or by per aa˙ 2 1 forming transformations of the Lagrangian (e.g. δ1 L1 = ∂0 − 2N θ + aθ 2 1 1 ); thus confirm2

ing that Dirac’s algorithm correctly finds a symmetry of the Lagrangian. In the Lagrangian approach, if one DI is found (e.g. using Dirac’s algorithm), we can build more DIs and find new gauge symmetries by repeating steps (6)-(7) in inverse order. For example, let us modify DI (7) √ a˙ (2) √ (2) I˜(2) = 2 µI (2) = −∂0 2 µE(µ) + √ E(a) ≡ 0; µ

(9)

the transformations that this DI produces are the same as (4), so this is also symmetry of L2 . Similarly, considering a˙ 1 ˙ (1) 1 (1) (1) E(N ) + I =− E ≡ 0, I˜(1) = 2N 2N 2N 2 (a) 3

(10)

we obtain transformations (5). So, symmetries (2) and (5) for the ‘correct’ expressions and those for the ‘incorrect’ expressions, (3) and (4), are symmetries for both Lagrangians. More symmetries can be found by further modification of the DIs; and many parametrisations of a Lagrangian can be explored. For any symmetry specified, we can find a parametrisation for which Dirac’s algorithm will lead to this same symmetry; e.g. for the ‘second correct’ symmetry the parametrisation is: 1 1 L3 = − eκ aa˙ 2 + e−κ a . 2 2

N = e−κ ,

(11)

Repeating Dirac’s analysis, as was done in [1] for (1), one obtains:

δ3 κ = −κθ ˙ 3 + θ˙3 ,

δ3 a = −aθ ˙ 3

and δ3 N = −N˙ θ3 − N θ˙3 ,

δ3 a = −aθ ˙ 3.

(12)

So, the parametrisation of L3 (not L2 ) leads to equation (S33) – the ‘second correct’ symmetry. The justification to call transformations (2), from the application of Dirac’s method to L2 , ‘correct’ is based on an ‘interpretation’ of the field µ as the component g00 of the metric tensor and on its invariance under diffeomorphism (see (S28), (S29)), which is known from the Einstein-Hilbert (EH) (not L2 ) action; the components of the vector gauge parameter θλ must be carefully crafted: θ0 =

θ2 2µ

and θk = 0.

This approximation must be applied

to all fields of a given model if one expects this ‘diffeomorphism’ to be a symmetry of L2 . The transformation of a scalar under diffeomorphism is known; and the same approximation leads to µ

δdiff a = −a∂µ θ =⇒ δa = −a∂0

θ2 2µ

=

aµ˙ a ˙ θ2 . θ2 − 2 2µ 2µ

(13)

For a, there are no time derivatives of the gauge parameters in (2), (3), or in (12); therefore, the rationale for choosing this ‘correct’ transformation is based on a questionable ‘interpretation’ and ‘approximation’, which is not internally consistent. The three examples considered here illustrate the equivalence of the Lagrangian and Hamiltonian methods for systems with gauge invariance, and show that all Lagrangian symmetries can also be derived using the Hamiltonian approach. The failure to find a parametrisation (as L3 ) to derive a particular symmetry in the Hamiltonian approach is not 4

a failure of Dirac’s method, and it is not a strong enough justification to advocate the use of a new approach: EPS or any other. For these examples, all symmetries can be derived in both approaches (Lagrangian and Hamiltonian). The question of which symmetry is ‘correct’, is beyond the realm of Lagrangian and Hamiltonian equivalence; it cannot be answered by performing a ‘canonization’ of a symmetry one expects3 ; a mathematical criterion is required. In the case of the EH action we analysed the group properties of various symmetries [6]. Let us do the same for this model by calculating the commutators of different transformations. For δ1 , the transformations which were not included in [1] (perhaps because they were deemed incorrect), we obtain [δ1′′ , δ1′ ] = (δ1′′ δ1′ − δ1′ δ1′′ ) ((N, a) , (µ, a) , (κ, a)) = 0.

(14)

This is the simplest possible result (as in the Maxwell theory). For δ2 , the ‘correct’ transformations, the result is [δ2′′ , δ2′ ] (µ, a) = δ2′′′ (µ, a) ,

′′′

θ2 =

i 1 h ′′ ˙′ θ2 θ2 − θ2′ θ˙2′′ , 2µ

(15)

which has a field-dependent ‘soft algebra’ structure4 . In such a case it might be possible that the Jacobi identity is not satisfied (i.e. failure to form a group); to check this, the evaluation of double commutators is needed, as was performed for the ADM transformations in [6]. Group properties notwithstanding, this ‘correct’ symmetry (15) is more complicated than the ‘incorrect’ one (14). For δ3 , the ‘second correct’ symmetry, the commutator is

[δ3′′ , δ3′ ] ((N, a) , (µ, a) , (κ, a)) = δ3′′′ ((N, a) , (µ, a) , (κ, a)) ,

θ3′′′ = θ˙3′′ θ3′ − θ˙3′ θ3′′ ,

(16)

which is simpler than (15), but not as simple as the ‘incorrect’ (14). The EPS approach, designed to fix the ‘failure’ of Dirac’s method, was applied to this simple model in section 4 of [1] to illustrate its advantages. Long calculations were performed 3

4

There may be a specific exception. In covariant theories one should expect a covariant result and expect that a covariant parametrisation would be preferable for the Hamiltonian, or as in the example considered, due to the simplicity of its Lagrangian. For the other two pairs, the field dependence is different, but consistent with field redefinitions (N, a) and 1 . (κ, a) : 2N1 2 and 12 e2κ in (15), instead of 2µ

5

and ‘for the original variable N one gets the transformation [(S33)]’ – the ‘second correct’ transformation. This outcome demonstrates that the author’s approach is not a reliable algorithm. It focuses on an a priori ‘canonization’ of one symmetry (δ2 ); yet the author’s method is insensitive to this choice of symmetry; instead, it successfully produces δ3 without contradiction. A second advantage of the proposed method, emphasized by the author of [1], is that it supports the canonical structure of Poisson Brackets (PBs) in the extended phase space. For the three parametrisations considered, (N, πN ), (µ, πµ ), (κ, πκ ) (the second pair, (a, p), is decoupled), all PBs are canonical without EPS because of the following relations: N=

√

√ µ, πN = 2 µπµ and N = e−κ , πN = −eκ πκ .

The canonicity of the PBs is a necessary, but not sufficient condition for there to be an equivalence of constrained Hamiltonians (see [7, 8]). The EPS approach is based on the choice of a ‘correct’ symmetry. And if it is known, then there is no need to use Dirac’s method to confirm it. But if a symmetry is unknown, then Dirac’s method (because it is parametrisation-dependent) allows one to find different symmetries of a Lagrangian and, at the same time, find the simplest, ‘canonical’, symmetry (not necessarily the ‘canonized’ one) and the unique ‘canonical parametrisation’ for which the Hamiltonian gives this symmetry. For example, if one were to apply Dirac’s approach to L2 or L3 to find the simplest parametrisation, one would uniquely obtain L1 . Of course, for this simple model, this outcome is obvious from the inspection of the fields in the Lagrangian; the presence of fields √ in combinations µ or e−κ naturally suggests calling them N. Such a redefinition gives the natural parametrisation for this model; and the Hamiltonian will lead to the simplest symmetry, the symmetry that was rejected in [1]. For more complicated theories the simplest reparametrisation is not obvious, and a search can be difficult. Consider the ADM Lagrangian without any a priori knowledge of gauge symmetry (‘correct’ or ‘incorrect’). Application of Dirac’s method leads to transformations that do not form a group, making it necessary to find other parametrisations. This procedure can be formulated as an algorithm (we did not guess L3 ). We have not applied it to the ADM Lagrangian; but we conjecture it will lead to a unique symmetry and a unique parametrisation: diffeomorphism invariance, and the metric tensor in which the EH action was originally written. Of these variables, which is more ‘preferable because of its 6

geometrical interpretation’ [1]: Einstein’s metric or the ADM variables? In the author’s article the application of the EPS approach to GR is incomplete (the equivalence of the effective and EH actions is not demonstrated, and the Hamiltonian not given); and the only result that was obtained is a proof of the canonical relations of PBs for the class of parametrisations (S9) and (S73). Again, this does not require EPS variables; and for the case of ADM variables, this result was given in [7] to illustrate that having canonical PBs is not sufficient for two Hamiltonians to be equivalent.

I.

ACKNOWLEDGMENT

We would like to thanks A.M. Frolov, L.A. Komorowski, D.G.C. McKeon, and A.V. Zvelindovsky for discussions.

[1] Shestakova T P 2011 Class. Quantum Grav. 28 055009 [2] Castellani L 1982 Ann. Phys. 143 357-371 [3] Dirac P A M 1964 Lectures on Quantum Mechanics (Belfer Graduate School of Sciences Yeshiva university, New York) [4] Noether E 1918 Nachrichten von der K¨ onig. Gesellsch. der Wiss. zu G¨ ottingen, Math.-Phys. Klasse 2 235; English translation by Tavel M A: arXiv:physics/0503066 [5] Schwinger J 1963 Phys. Rev. 130 1253-1258 [6] Kiriushcheva N, Komorowski P G, Kuzmin S V 2011: arXiv:1107.2449 [gr-qc] [7] Kiriushcheva N, Kuzmin S V 2011 Central Eur. J. Phys. 9, 576-615 [8] Frolov A M, Kiriushcheva N, Kuzmin S V 2008: arXiv:0809.1198 [gr-qc]

7

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & Close