Constrained Dynamical Systems and Their Quantization Graduate - PowerPoint PPT Presentation

The rest of the terms can be rewritten in the following way X f ( ω ( Y, X g )) = X f ( Y ( g )) (39) X g ( ω ( Y, X f )) = X g ( Y ( f )) (40) ω ([ Y, X f ] , X g ) = [ Y, X f ] ( g ) (41) ω ([ Y, X g ] , X f ) = [ Y, X g ] ( f ) (42) Combining all the terms, many of the terms cancel and we are left with 0 = ω ( X { g,f } , Y ) − ω ([ X f , X g ] , Y ) = ω ( X { g,f } − [ X f , X g ] , Y ) (43) Since Y is arbitrary and ω is non-degenerate, we must have X { g,f } − [ X f , X g ] = 0 , which proves the assertion. // Exercise: Give a proof in terms of components. constsys-20

1.2 Hamiltonian vector field, gauge symmetry and gauge-fixing ✷ Hamiltonian vector field and the equation of motion : Consider now the Hamiltonian function H ( x ) of a dynamical system. For a conservative system, H ( x ) stays constant, and we can apply the above general consideration with f ( x ) = H ( x ) . Thus, a flow is generated by the associated Hamiltonian vector field X H on the surface Σ H . When talking about a flow generated by X H , we normally use t as the parameter. Using the general formula (8), we obtain the equation of motion for any physical quantity g ( x ) dg dt = X H g = { g, H } (44) constsys-21

✷ Compatibility of H and the constraint : Now consider the situation where we have a constraint φ ( x ) = 0 , which is different from the Hamiltonian constraint. Actually, we must consider the set of functions of the form Φ ≡ { χ ( x ) | χ ( x ) = α ( x ) φ ( x ) } (45) where α ( x ) is an arbitrary function non-vanishing and non-singular on the con- straint surface Σ φ . Then, any member of Φ vanishes on the surface Σ φ and generates essentially the same flow as φ . Now when the system develops according to the Hamiotonian H ( x ) , it should not leave Σ φ . Otherwise, the imposition of the constraint would be incompatible with the Hamiltonian. So for compatibility, we must require that after an infinitesimal time the change constsys-22

of the constraint function should vanish on Σ φ . This is expressed by dφ dt = { φ, H } ∈ Φ (46) When this holds, we say that { φ, H } is weakly zero and denote it by { φ, H } ∼ 0 . Since the surface Σ φ is generated by any member of the set Φ , we must also have ∀ χ ∈ Φ { χ, H } ∼ 0 . (47) Indeed this is guaranteed: Since χ can be written as χ = α ( x ) φ ( x ) , we get { αφ, H } = { α, H } φ + α { φ, H } ∼ 0 . (48) Similarly, it is easy to show that χ 1 ∼ 0 , χ 2 ∼ 0 − → { χ 1 , χ 2 } ∼ 0 (49) constsys-23

(Proof: χ i ∼ 0 ↔ χ i = α i φ . Then, { α 1 χ 1 , α 2 χ 2 } clearly vanishes on Σ φ . ) ✷ Equivalence relation on Σ φ and gauge symmetry : When we impose a constraint φ ( x ) = 0 , the dimension of the phase space drops by 1. However, from the point of view of ( p, q ) conjugate pair, the physical degrees of freedom should drop by 2, not just by 1. Indeed this can happen due to the following mechanism. Let ψ ( x ) ∈ Φ . Then ψ generates a flow on Σ φ given by dx µ = { x µ , ψ } du . (50) The important point is that flows generated by any memeber of Φ are actually the same. Let χ = αψ be another member. Then the flow generated by χ , constsys-24

with a parameter v , is described by the equation dx µ = { x µ , χ } dv = ( { x µ , α } ψ + α { x µ , ψ } ) dv = { x µ , ψ } αdv (51) This shows that, apart from the redefinition of the parameter u , the trajectory is the same. Furthermore, since { ψ, H } ∈ Φ , Φ as a set is invariant under time develop- ment. Thus, the shape of the flow does not change in time t . Thus, all the points on a flow generated by Φ describe the same physi- cal state from the point of view of the Hamiltonian dynamics and they should be identified. Hence, the bonafide physical phase space P is the quotient space P = Σ Φ / ∼ , dim P = 2 n − 2 . (52) where ∼ denotes the equivalence relation just described. Thus Φ generates gauge transformations on the dynamical variable x µ in the manner constsys-25

δ α x µ = α ( x ) { x µ , φ } ✷ Idea of Gauge Fixing : Let us call our constraint φ 1 ( x ) . Each point in P is described by a representative of Σ φ 1 . To pick one out, one may try to intersect Σ φ 1 by another hypersurface generated by an additional constraint φ 2 ( x ) = 0 . To guarantee that this picks out a single point on the flow generated by φ 1 , we must demand that the value of φ 2 ( x ) changes monotonically along the flow constsys-26

F φ 1 . This is condition is expressed by = dφ 2 � φ 2 , φ 1 � du � = 0 never crosses zero (53) This procedure of introducing such an additional constraint φ 2 ( x ) is called gauge fixing . 1.3 Flow in the physical space and the Dirac bracket The Poisson bracket { g, f } describes an infinitesimal flow of g generated by the function f . (In this context, the function f ( x ) need not be a geuine constraint of the dynamical system.) Suppose we have genuine constraints φ a = 0 , ( a = 1 , 2) as above. We may still consider the flow { g, f } generated by f . But in general the flow gets out of the physical space P = Σ Φ / ∼ . We now explain a convenient way of generating a flow in the physical phase space. constsys-27

It would be very nice if we can invent a new bracket which generates a flow that stays in the physical space. This is achieved by the so-called the Dirac bracket , to be deonoted by { g, f } D . � First we have the following property: ⇒ { φ a , f } = 0 , f ( x ) generates a flow on P ⇐ ( a = 1 , 2) . This follows immediately from dφ/du = { φ a , f } . If the flow stays Proof : on P , then cleary the conditions φ a = 0 does not change and we have { φ a , f } = 0 . Conversely, { φ a , f } = 0 means that along the flow dφ a /du = 0 and hence φ a = 0 conditions are preserved. constsys-28

Next, the desired bracket should have the following properties: � 1. For f ( x ) satisfying { φ a , f } = 0 , we want { g, f } D = { g, f } . (54) 2. When { φ a , f } � = 0 , the bracket should automatically drop the part of the movement which gets out of the constraint surface. Specifically, we want { φ a , f } D = 0 . (55) 3. The bracket should satisfy all the basic properties of the Poisson bracket. The bracket satisfying all these requirements is given by constsys-29

� � { g, f } D ≡ { g, f } − { g, φ a } C ab φ b , f , (56) C ab ≡ � φ a , φ b � anti-symmeric, non-degenerate C ab = inverse of C ab (57) The second term subtracts precisely the portion which gets out of the physical space. We will see this more explicitly in the next section. In the meantime, let us check that the properties 1,2,3 are met. • Property 1 is obvious. constsys-30

• Property 2: � φ a , φ b � { φ a , f } D ≡ { φ a , f } − C bc { φ c , f } � �� � C ab = { φ a , f } − { φ a , f } = 0 (58) Excercise: Check the property 3 Since { φ a , f } D = 0 for any function f ( x ) , we can set φ a strongly � (identically) to zero when we use the Dirac bracket. constsys-31

✷ Meaning of the Dirac bracket and the physical Hamiltonian H P : We now wish to make the meaning of the Dirac bracket clearer and construct the physical Hamiltonian which directly acts on the physical phase space P . This is achieved by employing a convenient coordinate system, to be described below. First we recall that the Poisson bracket is basis independent as seen from the expression { f, g } = ω ( X g , X f ) . So we may take a special coordinate system y µ ( x ) where two of the new coordinates coincide with the constraints : x µ − → y µ ( x ) , (59) � a a = 1 , 2 µ = (60) i i = 3 , 4 , . . . , 2 n y a ( x ) φ a ( x ) = (61) constsys-32

� y a , y i � � φ a , y i � Further, we choose y i such that ω ai y = = = 0 . This should be possible since this condition simply says that y i ( x ) generates a flow on the physical space P . � y a , y i � y � = 0 , then redefine y i as = ω ia Indeed if y i ≡ y i − ω ib y C bc y c ˜ (62) Then, (omitting the subscript y on ω ia ) = ω ia − ω ib C bc C ca = 0 � y i , y a � ˜ (63) In this coordinate system ω µν takes the form � ω ab � 0 ω µν = (64) ω ij 0 Now we call U = unphysical space spanned by { y a } P = physical spaces spanned by { y i } constsys-33

Because of the block diagonal form of ω µν , we have { g, f } = { g, f } U + { g, f } P . (65) It is easy to prove the identity { g, f } = { g, y µ } ω µν { y ν , f } (66) � � � g, y i � � � = { g, φ a } C ab φ b , f y j , f + ω ij (67) Thus we can identify � g, y i � � � y j , f { g, f } P = ω ij (68) � � { g, f } U = { g, φ a } C ab φ b , f (69) Setting g = φ a in this identity, we find � φ a , y i � � � { φ a , f } P = y j , f ω ij � � = ω ai ω ij y j , f = 0 (70) � φ a , φ b � { φ a , f } U = ω bc { φ c , f } � φ a , φ b � C bc { φ c , f } � = 0 = (71) constsys-34

So { φ a , f } P has precisely the property of the Dirac bracket. In other words, the Dirac bracket is nothing but the bracket in the physical space. Namely { g, f } D = { g, f } − { g, f } U � � = { g, f } − { g, φ a } C ab φ b , f (72) which is exactly the definition introduced before. � If we adopt this special coordinate system, it is clear that the physical Hamil- tonian is H P = H ( y 1 = y 2 = 0 , y i ) . (73) and the symplectic structure to be used is ω P ≡ 1 2 ω ij dy i dy j (74) We then get dy i � � ω P y i , H P dt = (75) constsys-35

But the same result can be obtained in any coordinate system if we use the Dirac bracket and set φ a = 0 strongly. Indeed dy a = { y a , H } D = { φ a , H } D = 0 (76) dt dy i � � � y i , y j � � � y i , H y j , H dt = D | y a =0 = ω ij | y a =0 � � ω P y i , H P = (77) Thus we always get correct equations of motion by using the Dirac bracket. constsys-36

2 Systems with multiple constraints 2.1 Multiple constraints and their algebra From now on, we fix the symplectic structure and take the basis x µ = ( q i , p i ) , i = 1 , 2 , . . . , n such that ω is of the standard form ω = � n i =1 dp i ∧ dq i . � Suppose we have m independent bosonic constraints 2 T α ( x ) = 0 , α = 1 , 2 , . . . , m (78) The constrained surface will then be 2 n − m dimensional. • In order for any flow generated by these constraints to remain on this surface, all the Poisson bracket among them must be weakly zero. • Also, for these constraints to be consistent with the time evolution, theirPoisson 2 The case where fermionic constraints are present can also be handled, but for simplicity, we shall not do that here. In what follows, we use the BFV convention and use subscripts for the constraint indices. constsys-37

bracket with the Hamiltonian, which we write H 0 , must vanish weakly as well. In other words, T α ’s and H 0 must satisfy an involutive algebra of the form { T α , T β } = T γ U γ αβ , (79) { H 0 , T α } = T β V β α , (80) • U γ αβ and V β α are in general functions of ( q i , p i ) • Hence the above need not be a Lie algebra . (In fact for gravity this situation occurs.) We shall call this algebra the algebra of constraints . In Dirac’s terminology T α ’s are called the first class constraints . constsys-38

2.2 Analysis using the Action Integral ✷ Invariance of the action under the transformations generated by the constraints : The action for the constrained system defined above can be written in two ways: �� � � � q i − H 0 ( i ) S [ q, p ] = dt p i ˙ (81) � � T =0 � q i − H 0 + λ α T α � � ( ii ) S [ q, p, λ ] = dt p i ˙ (82) where in the second expression λ α are the Lagrange multipliers. (1) First let us check that the action (i) is invariant under the gauge trans- formations generated by the constraints . Denoting by ǫ α ( p, q ) the infinitesimal local parameters, the transformations are constsys-39

expressed as δq i = ǫ α , � � q i , T α (83) δp i = { p i , T α } ǫ α . (84) If the point ( p i , q i ) is on the constrained surface, it stays on the surface un- der these variations because they are generated by the constraints. The action changes by �� � � � q i + p i δ ˙ q i − δH 0 δS = dt δp i ˙ . (85) � � T =0 Now for the last term, δH 0 = { H 0 , T α } ǫ α ∼ 0 ( on the T = 0 surface) (86) constsys-40

due to the constraint algebra. As for the first and the second terms, q i = − ∂T α q i = { p i , T α } ǫ α ˙ q i ǫ α δp i ˙ ∂q i ˙ (87) ǫ α = − ∂T α q i = − ˙ � � p i ǫ α , q i , T α p i δ ˙ p i ˙ (88) ∂p i T α ǫ α = − d q i + p i δ ˙ q i = − ˙ dt ( T α ǫ α ) + T α ǫ α δp i ˙ ˙ (89) s s s ���� 0 � (In the second equation above, we used the integration by parts under dt . ) So for the variations that vanish at the initial and the final time this vanishes upon integration on the T = 0 surface. Thus S is invariant. Since the classical trajectories are obtained by extremizing the action, this shows that various trajectories which differ by the variations generated by the constraints all satisfy the equations of motion . (2) Next consider the variation of S [ q, p, λ ] . This time, we cannot use the equations T α = 0 . constsys-41

Using the previous results and the integration by parts, we get q i + p i δ ˙ q i = − ˙ T α ǫ α = T α ˙ ǫ α , δp i ˙ (90) − δH 0 = − { H 0 , T α } ǫ α = − T α V α β ǫ β , (91) δ ( λ α T α ) = δλ α T α + λ α { T α , T β } ǫ β αβ ǫ β . = δλ α T α + λ α T γ U γ (92) So δS [ q, p, λ ] vanishes if we define the variation of λ α as δλ α = − ˙ ǫ α + V α ν ǫ ν − λ β U α βγ ǫ γ . (93) It should be noted that in the case of the usual gauge theory this is precisely of the form of the familiar gauge transformation . (for λ α ∼ A a 0 with V α ν = 0 ) . constsys-42

✷ Gauge Fixing : Just like in the case of a single constraint, we add m additional constraints to pick out the true physical phase space: Θ α ( p i , q i ) = 0 α = 1 , 2 , . . . , m . (94) Since the new surface must intersect the original constraint sufrace we need to require δ Θ α = { Θ α , T β } ǫ β � = 0 ∀ α, ∀ ǫ β . (95) so that on any tranjectory the value of Θ α must be changing. In other words, the matrix { Θ α , T β } need not have zero eigenvalue. Thus we demand det { Θ α , T β } � = 0 (96) Note that Θ α ’s do not form any involutive algebra. constsys-43

Let us collect all the 2 m constraints and define � T α � T a = , (97) Θ β C ab = {T a , T b } . (98) Then by looking at the structure of C ab one can show that det C � = 0 . Excercise Prove this fact. To enforce the additional constraints, we introduce m Lagrange multipliers ¯ λ β for Θ β . The action can be written as � � � � q i − H 0 + λ α T α + ¯ λ α Θ α � q, p, λ, ¯ S λ = dt p i ˙ (99) � � q i − H 0 + ξ a T a � = dt p i ˙ , (100) � λ α � ξ a = where (101) ¯ λ β constsys-44

The dimension of the physical space is 2( n − m ) . ✷ Equations of motion and emergence of the Dirac bracket : Variations with respect to q, p and ξ lead to the following equations of motion: q i − ∂H 0 + ∂ T a ξ a , δp i : 0 = ˙ (102) ∂p i ∂p i p i − ∂H 0 ∂q i + ∂ T a δq i : ∂q i ξ a , 0 = − ˙ (103) δξ a : 0 = T a ( p, q ) . (104) Since the last condition should not change in time, we have 0 = d T a ∂ T a q i ∂ T a dt = ˙ p i + ˙ ∂q i . (105) ∂p i constsys-45

q i , this becomes Substituting the expressions for ˙ p i and ˙ � ∂ T a � ∂ T a � � ∂H 0 − ∂H 0 ∂q i + ∂ T b − ∂ T b ∂q i ξ b ξ b 0 = + ∂q i ∂p i ∂p i ∂p i = − { H 0 , T a } − {T a , T b } ξ b = − { H 0 , T a } − C ab ξ b . (106) Since the matrix C ab is invertible we can solve for ξ a uniquely and get ξ a = C ab {T b , H 0 } . (107) Putting this back into the equations of motion, we find q i = � � � � C ab {T b , H 0 } q i , H 0 q i , T a ˙ − � � q i , H 0 = D , (108) p i = { p i , H 0 } − { p i , T a } C ab {T b , H 0 } ˙ = { p i , H 0 } D . (109) Therefore, the equations of motion are generated precisely by the Dirac bracket . constsys-46

3 Dirac’s theory of constrained systems Up until now we have been considering constrained Hamiltonian systems. We now study how constraints arise in Lagrangian formulation. Questions : � When do we get constraints? � How to find constraints systematically? Dirac’s theory gives the answer. 3.1 Singular Lagrangian and primary constraints ✷ Singular Lagrangian : constsys-47

Consider a Lagrangian of the form q j + ˙ L = 1 q i a ij ( q ) ˙ q i b i ( q ) − V ( q ) 2 ˙ (110) a ij = a ji symmetric (111) The momentum conjugate to q i is q j + b i ( q ) , p i = a ij ( q ) ˙ (112) q j = p i − b i ( q ) . or a ij ( q ) ˙ (113) When the matrix a ij ( q ) is singular, then ˙ q cannot be solved in terms of p uniquely. Such a Lagrangian is called singular . In this case, a ij ( q ) has zero eigenvalues. Let v i a ( a = 1 , 2 , . . . , m 1 ) be zero eigenvectors. Then, 0 = v i a a ij ( q ) = v i a ( p i − b i ( q )) ≡ φ a ( p, q ) , (114) and we have so called the primary constraints . � They arise entirely from the definition of the momenta and therefore may not be compatible with the equations of motion. constsys-48

Special but important case of a singular Lagrangian: First order system: It may sometimes happen that a ij = 0 so that there are no quadratic kinetic term. In this case, we get the primary constraints of the form p i − b i ( q ) = 0 (115) This occurs for the Dirac equation, which therefore is a constrained system. We will describe how it should be properly quantized later. ✷ Canonical Hamiltonian : Lte us construct the Hamiltonian in the usual way: q i − L ( q, ˙ H can = p i ˙ q ) (116) It is called the canonical Hamiltonian . As is well known, H can is a function constsys-49

only of p and q and does not depend on ˙ q . To check this, take the variation: q i − ∂L ∂q i δq i − ∂L q i + p i δ ˙ q i δH can = δp i ˙ q i δ ˙ ∂ ˙ q i δp i − ∂L ∂q i δq i . = ˙ (117) q i does not appear in δH can and we have ∂H can /∂ ˙ q i = 0 . Hence δ ˙ 3.2 Compatibility of the primary constraints and the Hamiltonian Previously, we assumed the compatibility of the constraints φ a with the Hamil- tonian H , which is expressed as { φ a , H } ∼ 0 . (118) If it is not automatically met, we have to impose these conditions for a consis- tent theory. This in general produces further constraints . constsys-50

To perform this analysis, we must note that because of the existence of the primary constraints the following Hamiltonian, called the total Hamiltonian , is as good as the canonical one: H T = H can + λ a ( p, q ) φ a ( p, q ) (119) In fact, its variation δH T is identical to δH can because φ a = δφ a = 0 3 and the solutions of the equations of motions derived from H T for any λ a extremize the action. The equations of motion read, after setting φ a = 0 , q i = ∂H can + λ a ∂φ a ˙ , (120) ∂p i ∂p i p i = − ∂H can − λ a ∂φ a ˙ ∂q i . (121) ∂q i Remembering that Poisson brackets are computed without enforcing constraints, 3 Since φ a = 0 should be enforced, its variation must also be zero. In other words, the variation must be such that δφ a = 0 must hold. constsys-51

we can write this as q i = � � + λ a � � q i , H can q i , φ a ˙ , (122) p i = { p i , H can } + λ a { p i , φ a } . ˙ (123) In the sense of weak equality, this can be written also as q i ∼ � � q i , H T ˙ , (124) p i ∼ { p i , H T } . ˙ (125) Compatibility with H T : Now we check the compatibility, i.e. , the invariance of the constraint surface, call it Σ 1 , as the system evolves according to H T . This reads 0 ∼ { φ a , H T } = { φ a , H can } + λ b { φ a , φ b } . ( ∗ ) (126) Let the rank of { φ a , φ b } on Σ 1 be r 1 . Then by forming appropriate linear constsys-52

combinations of { φ a } , we can bring it to the form � C αβ 0 � { φ a , φ b } = , (127) 0 0 φ a = ( φ α , φ A ) , (128) α = 1 , 2 , . . . , r 1 , A = r 1 + 1 , . . . , m 1 (129) (i) For the subspace corresponding to the subscript α , we can use the inverse of C αβ to solve for the mulitiplier from ( ∗ ) : λ α = − C αβ { φ β , H can } (130) ( C αβ = ( C − 1 ) αβ ) (131) (ii) For the subspace corresponding to the subscript A , ( ∗ ) demands the com- patibility { φ A , H can } ∼ 0 . (132) LHS can contain parts which cannot be written as a linear combination of pri- mary constraints. constsys-53

Then we must impose certain number, m 2 of secondary constraints . Con- straint surface now becomes a more restricted one Σ 1+2 . At this stage, primary and the secondary constraints must be re- garded on the same footing and we re-set φ a = all the constraints a = 1 , 2 , . . . , m 1 + m 2 , (133) and repeat the analysis again with of course new H T . Continue until no new constraints are generated . � For a system with a finite degrees of freedom, this process obviously terminates after a finite number of steps. � In the case of field theory, where we have infinite degrees of freedom, it may require infinite steps. However, we only need finite steps if the Poisson brackets always contain δ ( � x − � y ) so that we only get local constraints. constsys-54

� We then end up with m constraints φ a : a + 1 , 2 , . . . , m (134) m = m 1 + m 2 + · · · ≤ 2 n (135) (2 n = dim. of the original phase space ) r = r 1 + r 2 + · · · ≤ m . (136) Using (130), the total Hamiltonian will be of the form H T = H can − φ α C αβ { φ β , H can } + φ A λ A (137) It is easy to check that for all the constraints, Poisson bracket with H T produces a linear combination of constraints and hence weakly vanish: { φ a , H T } = φ b V b a ∼ 0 . (138) constsys-55

3.3 1st and 2nd class functions and quantization procedure It is important to introduce the notion of the first and the second class functions (constraints) . A function R ( q, p ) is classified as either 1st class or 2nd class according to: 1st class ⇐ ⇒ { R, φ a } ∼ 0 for all constraints φ a ⇒ { R, φ a } = φ b r b ⇐ (139) a 2nd class ⇐ ⇒ otherwise (140) Then we have Theorem : R, S : 1st class = ⇒ { R, S } : 1st class (141) Proof is easy using the Jacobi identity for Poisson bracket. Thus the 1st class constraints form a closed (involutive) algebra under Poisson bracket oper- ation. constsys-56

✷ Quantization with the second class constraints : There are several methods: � (1) Solve the second class constraints explicitly and eliminate unphysical coordinates. However, in general this is difficult and spoils manifest symmetries. � (2) Use the Dirac bracket (as discussed in Chapter 2) and replace it with the quantum bracket in the following way: � � � � q i , p j q i , p j quantum bracket = ≡ i � (142) D � (3) Use path-integral formalism as already discussed. ✷ Quantization with the first class constraints : Since 1st class constraints generate gauge transformations, we must either fix the gauge or select gauge invariant physical states by imposing these constraints. constsys-57

More explicitly, 1. Add gauge-fixing constraints to make them second class and then use the methods above. 2. Replace the usual Poisson bracket with quantum bracket (with appropriate i � factor) and then impose them on physical states. φ A | Ψ � = 0 (143) In this approach, operator ordering is an important problem. For compatibility, we must have [ φ a , φ b ] | Ψ � = 0 (144) and for this purpose, one must find an ordering such that [ φ a , φ b ] = U c ab φ c (145) holds i.e. φ c appears to the right of U c ab . constsys-58

When there does not exist any such ordering, then the system becoms incon- sistent and it is said to possess quantum commutator anomaly . 3.4 Application to abelian gauge theory We now apply the Dirac’s theory to the Maxwell field and see how it works. ✷ Analysis of constraints : Lagrangian: � L = − 1 d 3 xF µν F µν (146) 4 F µν = ∂ µ A ν − ∂ ν A µ (147) Momentum Π µ conjugate to A µ : constsys-59

Vary with respect to ˙ A µ : � δL = − 1 d 3 xF µν δF µν 2 � � d 3 xF µ 0 δ ˙ d 3 xF µ 0 δF µ 0 ∋ ∋ − A µ (148) Therefore we get Π µ = F µ 0 ( ⋆ ) (149) Equal time Poisson bracket: { A µ ( x ) , Π ν ( y ) } = δ ν µ δ ( x − y ) (150) where x means � x and the δ -function is the 3-dimensional one. Now from ( ⋆ ) above, we get the following primary constraint since F 00 = 0 : Π 0 = 0 (151) constsys-60

Form of H can : � d 3 x Π µ A µ, 0 − L H can =   � +1 4 F ij F ij + 1 d 3 x  F i 0 A i, 0 2 F i 0 F i 0 = (152)  � �� � ( ∗ ) Rewrite ( ∗ ) : ( ∗ ) = F i 0 ( A i, 0 − A 0 ,i ) + F i 0 A 0 ,i = − F i 0 F i 0 + F i 0 A 0 ,i (153) Putting this back in and using the definition of the momentum we get � 1 � � 2 Π i Π i − A 0 ∂ i Π i d 3 x 4 F ij F ij + 1 H can = (154) Compatibility of Π 0 = 0 with H can : � � Π 0 , H can We must demand ∼ 0 . This immediately gives the Gauss law constraint as a secondary constraint : constsys-61

G ≡ ∂ i Π i = 0 (155) Compatibility of G = 0 with H can : Prepare some formulas { A 0 ( x ) , G ( y ) } = 0 (156) � � Π 0 ( x ) , G ( y ) = 0 (157) δ δ Π i ( x ) G ( y ) = ∂ y { A i ( x ) , G ( y ) } = i δ ( x − y ) (158) δ � � Π i ( x ) , G ( y ) = − δA i ( x ) G ( y ) = 0 (159) {G ( x ) , G ( y ) } = 0 (160) � Note that the second equation tells us that the multiplier λ in the term λ G in H T is not determined. constsys-62

H T is given by H T = H can + λ G (161) Taking the Poisson bracket with Π 0 , we get + λ ր � � � � � � Π 0 , H T Π 0 , H can Π 0 , G = (162) so that λ is not determined. � The 3rd equation expresses the gauge transformation of A i . Indeed, intro- ducing the gauge parameter Λ( y ) , we have � � � � dy Λ( y ) ∂ y A i ( x ) , G ( y )Λ( y ) = i δ ( x − y ) � = − dy∂ i Λ( y ) δ ( x − y ) = − ∂ i Λ( x ) (163) constsys-63

Now let us compute { H can , G ( y ) } making use of these formulas. � 1 � � d 3 x 4 F jk F jk ( x ) + 1 2 Π i Π i ( x ) , G ( y ) { H can , G ( y ) } = � d 3 x 1 2 F jk ( x ) { F jk ( x ) , G ( y ) } = (164) But { F jk ( x ) , G ( y ) } = { ∂ j A k ( x ) − ∂ k A j ( x ) , G ( y ) } = ∂ x j { A k ( x ) , G ( y ) } − ∂ x k { A j ( x ) , G ( y ) } j ∂ y k ∂ y = ∂ x k δ ( x − y ) − ∂ x j δ ( x − y ) j ∂ y = − ∂ x k δ ( x − y ) + ∂ x k ∂ x j δ ( x − y ) = 0 (165) Thus we have { H can , G ( y ) } = 0 identically and no new constraints are gen- erated. So actually H can is already H T . constsys-64

✷ Coulomb gauge-fixing and the Dirac bracket : Let us denote the two 1st class constraints by φ 1 ( x ) = Π 0 ( x ) = 0 (166) φ 3 ( x ) = G ( x ) = 0 (167) Let us take the Coulomb gauge by adding the following two additional con- straints: φ 2 ( x ) = A 0 ( x ) = 0 (168) φ 4 ( x ) = ∂ i A i ( x ) = 0 (169) Non-vanishing Poisson brackets among them are { φ 1 ( x ) , φ 2 ( x ) } = − δ ( x − y ) (170) � � ∂ i Π i ( x ) , ∂ j A j ( y ) { φ 3 ( x ) , φ 4 ( x ) } = � � i ∂ y i ∂ y = ∂ x Π i ( x ) , A j ( y ) = ∂ x j ( − δ ( x − y )) j = ∂ 2 x δ ( x − y ) (171) constsys-65

Therefore � A 0 � C ab ( x, y ) = { φ a ( x ) , φ b ( y ) } = (172) 0 B � � 0 − δ ( x − y ) where A = (173) δ ( x − y ) 0 � � ∂ 2 0 x δ ( x − y ) B = (174) − ∂ 2 x δ ( x − y ) 0 It’s inverse is given by � A − 1 � 0 C ab ( x, y ) = B − 1 0 � � 0 δ ( x − y ) A − 1 = = − A (175) − δ ( x − y ) 0 � � 0 − D ( x − y ) B − 1 = (176) D ( x − y ) 0 ∂ 2 where x D ( x − y ) = δ ( x − y ) (177) constsys-66

Now we can compute the basic Dirac bracket: � � A i ( x ) , Π j ( y ) D = δ i j δ ( x − y ) � � � d 3 ud 3 v A i ( x ) , φ a ( u ) C ab ( u, v ) { φ b ( v ) , Π j ( y ) } − = δ i j δ ( x − y ) � � � d 3 ud 3 v A i ( x ) , φ 3 ( u ) C 34 ( u, v ) { φ 4 ( v ) , Π j ( y ) } − = δ i j δ ( x − y ) � � � � � − ∂ y d 3 ud 3 v − ∂ i − x δ ( x − u ) ( − D ( u − v )) j δ ( v − y ) = δ i j δ ( x − y ) − δ i x δ x j D ( x − y ) � � j − ∂ i ∂ j δ i = δ ( x − y ) = transverse δ -function ∂ 2 (178) We can check that the gauge condition and the Gauss law are satisfied due to constsys-67

the transversality of the δ -function: � � ∂ x A i ( x ) , Π j ( y ) D = 0 (179) i � � ∂ j A i ( x ) , Π j ( y ) D = 0 (180) y 4 More general formulation of Batalin, Fradkin and Vilko- visky 4.1 General gauge fixing, including relativistic gauges A big problem with the formulation using the Dirac bracket: One cannot handle relativistic gauge fixing. Lorentz gauge in QED . The constraint is Example : Θ = ∂ µ A µ = ˙ A 0 + ∂ i A i = 0 . (181) This involves a time derivative of a mulitiplier A 0 . constsys-68

( Recall that no time derivative of A 0 appears in the Lagrangian and, when the Hamiltonian is formed, A 0 appears as the Lagrange multiplier for the Gauss law constraint.) Thus, in a relativistic formulation, we want to consider a general gauge fixing function of the form Θ α = Θ α ( q, p, λ, ˙ λ, ¯ λ ) , (182) where λ corresponds to A 0 and we may want to take ¯ λ α to be the mulitiplier for Θ α itself . So one writes down the action � � � � � q i − H 0 + λ α T α ( q, p ) + ¯ q, p, λ, ¯ λ α Θ α ( q, p, λ, ˙ λ, ¯ S λ = dt p i ˙ λ ) . (183) But in this form, in general ¯ λ α is no longer a multiplier since it may appear also in Θ α . constsys-69

More crucially, λ α and ¯ λ α ( α = 1 ∼ m ) can become conjugate to each other. In such a case, the dimension of the phase space becomes 2( n + m ) and not the correct value 2( n − m ) . ( 2 n = the original dim. of the phase space. ) We must consider a mechanism to kill 4 m excess degrees of freedom. 4.2 Introduction of the ghost system For definiteness, we shall deal with the gauge fixing constraint of the form Θ α = ˙ λ α + F α ( q, p, λ, ¯ λ ) . (184) The action then becomes � � λ α F α � � � q i + ¯ λ α − H 0 + λ α T α + ¯ q, p, λ, ¯ λ α ˙ S λ = dt p i ˙ (185) constsys-70

Note that clearly the ¯ λ α are momenta conjugate to λ α . Now group various functions in the following way: q A = ( q i , λ α ) , A = 1 , 2 , . . . , n + m (186) p A = ( p i , ¯ λ α ) , (187) G a = ( T α , i ¯ λ α ) , (188) χ a = ( iλ α , F α ) . (189) Then the action can be written more compactly as � � � � q A − H 0 − iG a χ a � q A , p A S = dt p A ˙ (190) To kill the unwanted degrees of freedom, we introduce 2 m fermionic ghost- anti-ghost conjugate pairs : constsys-71

( η a , ℘ a ) , a = 1 , 2 , . . . , 2 m , (191) � η a , η b � { η a , ℘ b } = δ a b , = { ℘ a , ℘ b } = 0 (192) Later, we will often use the further decomposition of ( η a , ℘ a ) , η a = ( η α , ˜ η α ) , α = 1 ∼ m ℘ a = ( ℘ α , ˜ ℘ α ) ✷ Graded Poisson bracket : To deal with the fermionic degrees of freedom, we need to generalize the concept of Poisson bracket. The general definition of graded-Poisson bracket is { F, G } ≡ ( ∂F/∂Q A )( ∂/∂P A ) G − ( − 1) | F || G | ( ∂G/∂Q A )( ∂/∂P A ) F , � 0 F is bosonic | F | = F is fermionic , (193) 1 constsys-72

← − ∂ where ( ∂F/∂Q A ) represents the right-derivative F ∂Q A . So more explicit representation is ← − − → ← − − → ∂ ∂ ∂ ∂ G − ( − 1) | F || G | G { F, G } ≡ F F (194) ∂Q A ∂Q A ∂P A ∂P A ( Q A , P A ) denotes all the conjugate pairs including ghosts, λ α and λ α . This definition is consistent with the Poisson brackets for η a and ℘ b given ¯ above. An important property of the graded Poisson bracket is the graded Jacobi identity . It can be written as { A, { B, C }} = {{ A, B } , C } + ( − 1) | A || B | { B, { A, C }} . (195) Exercise: Check this property. (It is rather non-trivial.) constsys-73

4.3 Batalin-Vilkovisky theorem � η a − ∆ H ) : Now we modify our action by adding dt ( ℘ a ˙ � � q A + ℘ a ˙ η a − H � S = dt p A ˙ , (196) H = H 0 + iG a χ a + ∆ H . (197) The problem is to find the appropriate ∆ H which makes this system equivalent to the canonical system described solely in terms of the physical degrees of freedom. The basic theorem for solving this problem is the following due to Batalin and Vilkovisky: constsys-74

4.3.1 BV Theorem Assume that the set of functions G a are algebraically independent 4 and satisfy the involutive algebra: { G a , G b } = G c U c (198) ab { H 0 , G a } = G b V b (199) a Let Ψ( q A , p A , η a , ℘ a ) be an arbitrary fermionic function , to be called gauge fermion (fermionic gauge-fixing function). Then the following functional integral is independent of the choice of Ψ : 4 It means that � a G a A a = 0 ⇒ A a = 0 . constsys-75

� dq dp dη d℘ e iS Ψ Z Ψ = (200) � q A + ℘ a ˙ η a − H Ψ � � S Ψ = dt p A ˙ (201) b η b + i { Ψ , Ω } , H Ψ = H 0 + ℘ a V a (202) Ω ≡ G a η a + 1 bc η c η b . 2 ( − 1) | a | ℘ a U a (203) Ω is called the BRST operator . (Be careful about the order of the indices of last two η ’s.) The definition above is valid for a mixed system of bosonic and � fermionic constraints G a . | a | is 0 if G a is bosonic and is 1 if G a is fermionic. Accordingly, the ghosts are fermionic for the former and bosonic for the latter. constsys-76

For the case at hand with G a = ( T α , i ¯ Remark: λ α ) , the involutive algebra is extended. This extension however is rather trivial since T α and H 0 are assumed to be functions only of ( q, p ) and hence i ¯ λ α is completely inert. Typical example of Ψ : The often used form of Ψ is Ψ = ℘ a χ a = i℘ α λ α + ˜ ℘ α F α (204) Then by computing { Ψ , Ω } , we get constsys-77

H Ψ = H 0 + iG a χ a + ∆ H = H 0 − T α λ α − ¯ λ α F α + ∆ H (205) � b η b + i ℘ a { χ a , G b } η b + ℘ c χ a U c ∆ H = ℘ a V a ab η b � � � χ a , U b η c η d − ℘ a ℘ b (206) cd Note that in general four-ghost interaction is present . For the usual Yang-Mills theory there are no such terms since the “structure � � constants” U b χ a , U b cd are indeed constant and = 0 . cd constsys-78

4.3.2 Proof of the BV Theorem For simplicity, we will deal only with the case where the constraints are all bosonic and hence η a are all fermionic. To prove the BV theorem, we first derive some crucial identities. We will use the following notations: G = G a η a , V a = V a b η b , (207) bc η c , U a = 1 U a b = U a 2 U a bc η b η c (208) • They are very similar to differential forms , with η a playing the role of dx µ . • Note that the b, c indices in U a are contracted oppositely to the ones in the definition of Ω . (This leads to the minus sign below in Ω .) Then we have constsys-79

Ω = G − ℘ a U a , (209) H Ψ = H 0 + ℘ a V a + i { Ψ , Ω } . (210) ✷ Representation of the gauge algebra : The first set of identities, which follow directly from the definitions above and the constraint algebra, are { G a , G } = G b U b (1) a , (211) { G, G } = 2 G a U a , (2) (212) { H 0 , G } = G a V a . (3) (213) constsys-80

✷ First-level Jacobi identities : Now we prove what we call the first-level Jacobi identities : b U b , { G, U a } = U a ( Ia ) (214) b U b − U a b V b + { H 0 , U a } { G, V a } = V a ( Ib ) (215) These are called the first-level because they follow from the Jacobi identity for the Poisson brackets involving the constraints and H 0 alone. Proof of ( Ia ) : Consider the double Poisson bracket {{ G, G } , G } . Since G is fermionic , the graded Jacobi identity tells us {{ G, G } , G } = { G, { G, G }} − {{ G, G } , G } = {{ G, G } , G } − {{ G, G } , G } = 0 (216) constsys-81

On the other hand, using (2) we get {{ G, G } , G } = 2 { G a U a , G } = 2 { G a , G } U a + 2 G a { U a , G } � b U b + { U a , G } � U a = 2 G a . (217) Since G a ’s are assumed to be algebraically independent, for this to vanish we must have the identity ( Ia ) . // Proof of ( Ib ) : Similarly consider { G, { H 0 , G }} and compute this in two ways. One way is to use the Jacobi identity for the Poisson brackets. The other way is to compute it directly using (3) . Equating them we easily get ( Ib ) . Excercise: Show this explilcitly. constsys-82

✷ Second-level Jacobi identities : Next, we will prove the second-level Jacobi identities : � U a , U b � ( IIa ) = 0 , (218) � U a , V b � ( IIb ) = 0 . (219) These are called the second-level because they are relations between the coefficients of the constraint algebra and are derived using the Poisson bracket Jacobi identities with U or V in one of the slots and the first-level Jacobi identities. Proof of ( IIa ) : We consider the double Poisson bracket {{ G, G } , U a } . By using the Jacobi constsys-83

identity (note U a is bosonic) we can write this as {{ G, G } , U a } = { G, { G, U a }} + {{ G, U a } , G } = 2 { G, { G, U a }} U b − 2 U a � � � G, U b � G, U a = 2 , (220) b b where in the last line we used ( Ia ) . On the other hand, using (2) we get � G b U b , U a � {{ G, G } , U a } = 2 � U b , U a � + 2 { G b , U a } U b . = 2 G b (221) Equating these, we get � � U b − U a � U b , U a � G, U a + { G b , U a } U b ( ∗ ) b { G, U b } = G b b (222) To go further, we consider the Jacobi identity 0 = {{ G, G } , G a } − {{ G, G a } , G } + {{ G a , G } , G } (223) constsys-84

After some calculations, this Jacobi identity becomes ab U b + { U c , G a } − U c � � �� U c b U b U c G c a + a , G = 0 . (224) Using the linear independence of G c , we obtain ab U b + { U c , G a } − U c � � U c b U b U c a + a , G = 0 . (225) Now mulitiply this from right by U a . Then the first term vanishes due to the antisymmetry of U c ab in a ↔ b and the result is { U c , G a } U a − U c a U a + � � U a = 0 . b U b U c a , G (226) � U a , U b � Substituting this into ( ∗ ) , we get = 0 . // Proof of ( IIb ) : It is obtained similarly by considering {{ G, G } , V a } . Excercise: Supply the details. constsys-85

✷ Proof of 3 fundamental relations : We are now ready to prove the following three important relations: ( a ) { Ω , Ω } = 0 , (227) ( b ) {{ Ψ , Ω } , Ω } = 0 , (228) { H 0 + ℘ a V a , Ω } = 0 . ( c ) (229) Proofs of these relations are straightforward using the formulas already developed. We only show how (a) is proved as an example. Proof of (a): Since Ω is fermionic, this is a non-trivial relation. Recalling Ω = G − ℘ a U a , constsys-86

we have � G − ℘ a U a , G − ℘ b U b � { Ω , Ω } = � ℘ a U a , ℘ b U b � = { G, G } − 2 { G, ℘ a U a } + (230) (2) gives { G, G } = 2 G a U a . (231) Using ( Ia ) , the second term of (230) becomes − 2 { G, ℘ a U a } = − 2 { G, ℘ a } U a + 2 ℘ a { G, U a } = − 2 G a U a + 2 ℘ a U a b U b . (232) As for the third term of (230), we use ( IIa ) and get = { ℘ a U a , ℘ b } U b − ℘ b � ℘ a U a , ℘ b U b � � ℘ a U a , U b � = ℘ a { U a , ℘ b } U b − ℘ b � ℘ a , U b � U a = 2 ℘ a { U a , ℘ b } U b b U b . = − 2 ℘ a U a (233) constsys-87

Adding all the contributions, we get { Ω , Ω } = 0 . // ✷ Ψ independence of Z Ψ : Finally we show the Ψ -independence of Z Ψ to finish the proof of the BV theo- rem. Collectively denote all the variables by ϕ = ( q, p, η, ℘ ) and make a change of variables corresponding to the BRST transformation ϕ − → ˜ ϕ = ϕ + { ϕ, Ω } µ (234) � µ is a time-independent fermionic parameter, which nevertheless may depend functionally on the dynamical variables. � It is easy to show that the action is invariant. First � � � η a � � q A + ℘ a ˙ q A − ˙ p A δq A δ dt p A ˙ = dt δp A ˙ ℘ a δη a � η a − ˙ + δ℘ a ˙ , (235) constsys-88

where we used integration by parts. Now insert the change of variables: µ = ∂ Ω δq A = � � q A , Ω µ , (236) ∂p A δp A = { p A , Ω } µ = − ∂ Ω ∂q A µ , (237) δη a = { η a , Ω } µ = ( ∂/∂℘ a )Ω µ ( left derivative ) , (238) δ℘ a = { ℘ a , Ω } µ = ( ∂ Ω /∂η a ) µ ( right derivative ) . (239) Assuming no contributions from the boundary, we get � � � q A + ℘ a ˙ η a δ dt p A ˙ � � � − ∂ Ω ∂ Ω q A − ˙ η a − ˙ µ + ( ∂ Ω /∂η a ) µ ˙ = dt ∂q A µ ˙ p A ℘ a ( ∂/∂℘ a )Ω µ ∂p A � � � q A ∂ Ω ∂ Ω η a + ˙ + ( ∂ Ω /∂η a ) ˙ = − dt ˙ ∂q A + ˙ p A ℘ a ( ∂/∂℘ a )Ω µ ∂p A � dtd Ω = − dt µ = 0 (240) constsys-89

� Next, the Hamiltonian is invariant since δH Ψ = { H Ψ , Ω } µ = 0 . � What remains is the transformation property of the functional measure. The Jacobian is given by d ˜ ϕ = | J | dϕ , (241) ϕ j | J | = det ∂ ˜ ∂ϕ i � �� ∂ �� � ϕ j , Ω = det 1 + µ . (242) ∂ϕ i Since it will suffice to consider small µ , we can expand det (1 + A ) = e Tr ln(1+ A ) = 1 + Tr A + · · · . (243) constsys-90

So we get ∂ ∂ �� � � q A , Ω | J | = 1 + µ + ( { p A , Ω } µ ) + · · · ∂q A ∂p A � ∂ Ω � � � ∂ ∂ − ∂ Ω = 1 + µ + ∂q A µ + · · · ∂q A ∂p A ∂p A = 1 + ∂ Ω ∂q A − ∂ Ω ∂µ ∂µ + · · · ∂q A ∂p A ∂p A � ∂µ � ∂ Ω − ∂µ ∂ Ω = 1 − + · · · ∂q A ∂q A ∂p A ∂p A = 1 − { µ, Ω } ≃ e −{ µ, Ω } = e i ( i { µ, Ω } ) . (244) Now let us choose � dt (Ψ ′ − Ψ) , µ = (245) where Ψ ′ is infinitesimally different from Ψ . Then, we have � dt ( i { Ψ ′ , Ω } − i { Ψ , Ω } ) . ϕ = dϕ e i d ˜ (246) constsys-91

Inserting it into the functional integral, we prove Z Ψ ′ = Z Ψ // (247) constsys-92

4.4 Proof of unitarity: Equivalence with canonical functional Integral Having proved the BV theorem, we now prove the equivalence with the canonical functional integral, i.e. the functional integral involving only the physical degrees of freedom. The proof proceeds in two steps. ✷ First step : The first step is to derive a convenient representation of the physical path integral. Let us make a canonical transformation 5 of the form ( p i , q i ) − → ( p ∗ i , q ∗ i ) , i = 1 ∼ n (248) where the new coordinates ( q ∗ i , p ∗ i ) i =1 ∼ n are split into the 5 Canonical transformation is the one which does not change the standard form of the symplectic struc- ture. Namely, ω = � i dp i ∧ dq i = � i dp ∗ i ∧ dq ∗ i . constsys-93

physical part ( q ∗ u , p ∗ u ) u =1 ∼ n − m and the unphysical part ( q ∗ α , p ∗ α ) α =1 ∼ m . Moreover, we take p ∗ α to be the gauge-fixing constraints themselves, namely β = Θ β , p ∗ β = 1 ∼ m (249) Then, since canonical transformation does not change the Poisson bracket struc- ture, we have (recall T α are the constraints) det ∂T α � � � T α , Θ β � T α , p ∗ ∂q ∗ β = det = det � = 0 (250) β By assumption, Θ β are chosen so that this holds at every point in the phase space. This then guarantees that using the m constraints T α ( p ∗ , q ∗ ) = 0 one can solve for the m variables q ∗ α in terms of the rest. For example, consider the constraints near the point where q ∗ α are very small. constsys-94

Then 0 = T α ( p ∗ , q ∗ u , q ∗ β ) = T α ( p ∗ , q ∗ u , 0) + ∂T α ∂q ∗ β ( p ∗ , q ∗ u , 0) q ∗ β (251) ∂q ∗ β ( p ∗ , q ∗ u , 0) is invertible, we can solve for q ∗ α as Since the matrix M αβ = ∂T α q ∗ α = − ( M − 1 ) αβ T β ( p ∗ , q ∗ u , 0) (252) Since this can be continued away from the origin of q ∗ α , we conclude that we can always solve q ∗ α in terms of the other variables: q ∗ α = q ∗ α ( q ∗ u , p ∗ i ) (253) Now the physical partition function Z ∗ is given by � � q ∗ i − H 0 ) � � Z ∗ = dt ( p ∗ ( dp ∗ i dq ∗ i )e i i ˙ δ ( p ∗ β ) � δ ( q α − q ∗ α ( q ∗ u , p ∗ · u )) (254) constsys-95

Note that because of the presence of the δ -functions � δ ( p ∗ β ) , we can drop the dependence on p ∗ β in the expression of q ∗ α , so that p ∗ i → p ∗ u . Finally, we will make use of the following : • The Liouville measure is invariant. That is � ( dp ∗ i dq ∗ i ) = � ( dp i dq i ) . • The last δ -function can be rewritten as � � δ ( q ∗ α − q ∗ α ( q ∗ u , p ∗ δ ( p ∗ u )) β ) � ∂T α � � � δ ( p ∗ = δ ( T α )det β ) ∂q ∗ β � T α , Θ β � � � δ (Θ β ) = δ ( T α )det (255) We then finally obtain a useful form of the physical partition function constsys-96

� � � � Z ∗ = � � T α , Θ β � q i − H 0 ) ( dp i dq i ) δ (Θ β )det e i dt ( p i ˙ δ ( T α ) Clearly this form is quite natural. ✷ Second Step : We now want to prove that the above form is reproduced from the BV theorem. In the BV theorem, let us take the gauge fixing function to be of the form Θ α = ˙ λ α + F α ( q, p ) (256) It is convenient to divide the ghosts as η a = (˜ η α , η α ) , ℘ a = ( ˜ ℘ α , ℘ α ) (257) constsys-97

Then the BV action takes the form � � � q i + ¯ λ α + ℘ α ˙ η α + ˜ η α − H Ψ λ α ˙ ℘ α ˙ S Ψ = dt p i ˙ ˜ (258) where H Ψ = H 0 − T α λ α − ¯ λ α F α + ∆ H (259) � b η b + i ℘ a { χ a , G b } η b + ℘ c χ a U c ∆ H = ℘ a V a ab η b � � � χ a , U b η c η d − ℘ a ℘ b (260) cd Recalling the extended definitions of G a , χ a (as in (188) and (189)), V a b and U c ab , we can write each term in ∆ H more explicitly: b η b = ℘ α V α ℘ a V a β η β (261) ℘ a { χ a , G b } η b = − ℘ α ˜ η α + ˜ ℘ γ {F γ , T β } η β (262) ab η b = ℘ γ iλ α U γ ℘ c χ a U c αβ η β (263) � � η c η d = ˜ � � F α , U β χ a , U b η γ η δ ℘ a ℘ b ℘ α ℘ β (264) cd γδ constsys-98

We now make the following rescaling by a global parameter ǫ , which will be taken to zero: F α → 1 ǫ F α ( i ) (265) λ α → ǫ ¯ ¯ ( ii ) λ α (266) ( iii ) ℘ α → ǫ ˜ ˜ ℘ α (267) • The functional measure is invariant since (ii) and (iii) are bosonic and fermionic and the factors of ǫ cancel. λ α and • The purpose of this rescaling is to get rid of the terms ¯ λ α ˙ ℘ α ˙ η α , which scale like ǫ and vanish as ǫ → 0 . All the other terms in the action ˜ ˜ remain unchanged. η α has dissappeared, ˜ η α only appears as − ℘ α ˜ η α in (262). • Now since ˙ ˜ η α , we get δ ( ℘ α ) . Thus upon integration over ˜ constsys-99

This in turn allows us to integrate out ℘ α and the action simplifies drastically to � q i − H 0 + T α λ α + ¯ λ α F α − i ˜ � ℘ α {F α , T β } η β � S Ψ = dt p i ˙ (268) � T α , F β � ℘ α and η β , we get det Now upon integration over ˜ . Thus we precisely get the canonical path integral with the gauge-fixing function Θ α replaced by F α ( q, p ) . q.e.d. Remark: In the application to non-abelian gauge theory, to retain the rela- tivistic form, we will not perform the rescaling and simply integrate out ℘ α . The details will be discussed later. 5 Application to non-abelian gauge theory In this chapter, we apply the methods developed previously to the important case of non-abelian gauge theory. constsys-100