HOMOLOGICAL BV-BRST METHODS: FROM QFT TO POISSON REDUCTION

Transcription

1 HOMOLOGICAL BV-BRST METHODS: FROM QFT TO POISSON REDUCTION MATHEMATICAL-PHYSICS SEMINAR - FEB. 2008

2 There are more things in heaven and earth, Horatio, Than are dreamt of in your philosophy... Namely: ghosts, anti-ghosts, ghosts for ghosts,...

3 There are more things in heaven and earth, Horatio, Than are dreamt of in your philosophy... Namely: ghosts, anti-ghosts, ghosts for ghosts,...

4 1 Quantum Field Theoretical preeliminaries Defining data Outputs: Quantum amplitudes Gauge-fixing problem in gauge theories 2 Fadeev-Popov s trick Gauge fixed expressions The materialization of ghosts 3 BRST symmetry A C-DGA structure BRST quantization: Quantum BRST cohomology 4 BV formalism Antifields and Odd Poisson structures From BV to BRST BV quantization: The Q-Master equation

5 Defining data Defining data Wait... (A G, S[χ], G) A G space of fields over space-time Σ(= R 4 ) S[χ] classical action functional on fields χ A G G (gauge) symmetry group acting on A G and leaving S[χ] invariant

6 Defining data Defining data (A G, S[χ], G) A G space of fields over space-time Σ(= R 4 ) S[χ] classical action functional on fields χ A G G (gauge) symmetry group acting on A G and leaving S[χ] invariant Examples: general Lorentz representation valued fields A G = {φ : Σ V } V = R, C, R 4, Dirac s(1/2, 1/2) Spinors,..., finite dimentional representation space of Lorentz group. G finite or infinite dimentional group

7 Defining data Defining data (A G, S[χ], G) A G space of fields over space-time Σ(= R 4 ) S[χ] classical action functional on fields χ A G G (gauge) symmetry group acting on A G and leaving S[χ] invariant Gauge Theories A G = {connections on G Principal bundle P Σ} If P Σ G then A G = Ω 1 (Σ, g) A µ (x)dx µ G Maps {Σ G} gauge transformations (vertical automorphisms of P Σ)

8 Defining data Defining data (A G, S[χ], G) A G space of fields over space-time Σ(= R 4 ) S[χ] classical action functional on fields χ A G G (gauge) symmetry group acting on A G and leaving S[χ] invariant Matter fields in gauge theories A = A G A Matt ψ(x) A Matt = {Σ V [odd]} (Z 2 -grading) entering expressions as anti-commuting (Fermionic) symbols in ΛA = free graded commutative algebra generated by A

9 Outputs: Quantum amplitudes Scattering matrix elements p 1 p 2...p k p A p B = posible intermediate processes (Feynman diagrams) Probability amplitude for the scattering event (quantum amplitudes): p A p B > assymptotically free state of 2 "in" particles p 1 p 2...p k > assymptotically free state of k "out" particles Quantum Field Theory: rules for obtaining the q-amplitudes from the defining data (A G, S[χ], G)

10 Outputs: Quantum amplitudes Scattering matrix elements p 1 p 2...p k p A p B = posible intermediate processes (Feynman diagrams) Probability amplitude for the scattering event (quantum amplitudes): p A p B > assymptotically free state of 2 "in" particles p 1 p 2...p k > assymptotically free state of k "out" particles Quantum Field Theory: rules for obtaining the q-amplitudes from the defining data (A G, S[χ], G)

11 Outputs: Quantum amplitudes Scattering matrix elements p 1 p 2...p k p A p B = posible intermediate processes (Feynman diagrams) Probability amplitude for the scattering event (quantum amplitudes): p A p B > assymptotically free state of 2 "in" particles p 1 p 2...p k > assymptotically free state of k "out" particles Aspects of Quantum Field Theory * Symbolic expressions involving Dφexp(iS[φ]) perturvative series on Feynman diagrams explicit numerical calculations involving integrals

12 Outputs: Quantum amplitudes Vacuum-Vacuum q-amplitudes To get a taste of the symbolic algebra involved... 1 TO[χ] = lim (Πdχ) O[χ] exp (is[χ]) t (1 iɛ) Z S A G Z S = (Πdχ) exp (is[χ]) A G O[χ] is an operator having a polinomial expression in terms of the fields χ A G S[χ] = t t R L[χ], being L[χ] the lagrangian density over 3 Σ R 4 of the field theory.

13 Gauge-fixing problem in gauge theories Factorization problem Physical gauge-invariance princliple Physical magnitudes shall depend only on [χ] A G /G and not on χ itself. BUT we have (for example) Z S = (Πdχ) exp (is[χ]) A G if we could A G G A G /G, then problem solved: Z S Vol(G) (Πd([χ])) exp (is[χ]) A G /G

14 Gauge-fixing problem in gauge theories Factorization problem Physical gauge-invariance princliple Physical magnitudes shall depend only on [χ] A G /G and not on χ itself. BUT we have (for example) Z S = (Πdχ) exp (is[χ]) A G if we could A G G A G /G, then problem solved: Z S Vol(G) (Πd([χ])) exp (is[χ]) A G /G

15 Gauge-fixing problem in gauge theories Factorization problem Physical gauge-invariance princliple Physical magnitudes shall depend only on [χ] A G /G and not on χ itself. BUT we have (for example) Z S = (Πdχ) exp (is[χ]) A G if we could A G G A G /G, then problem solved: Z S Vol(G) (Πd([χ])) exp (is[χ]) A G /G

16 Gauge-fixing problem in gauge theories Factorization problem II: gauge fixing How to factorize A G G A G /G?!? Gauge fixing restrict to a gauge-fixed surface {g a (χ) = 0} A G transversal to the G-orbits, a = 1,..., dim(g) Example: Lorentz gauge fixing in QED G = U(1), g 1 (A µ ) = µ A µ = 0 "covariant gauge" Physical gauge-fixing independence principle Physical magnitudes shall not depend on the choice of gauge fixing g a s

17 Gauge-fixing problem in gauge theories Factorization problem II: gauge fixing How to factorize A G G A G /G?!? Gauge fixing restrict to a gauge-fixed surface {g a (χ) = 0} A G transversal to the G-orbits, a = 1,..., dim(g) Example: Lorentz gauge fixing in QED G = U(1), g 1 (A µ ) = µ A µ = 0 "covariant gauge" Physical gauge-fixing independence principle Physical magnitudes shall not depend on the choice of gauge fixing g a s

18 Gauge-fixing problem in gauge theories Factorization problem II: gauge fixing How to factorize A G G A G /G?!? Gauge fixing restrict to a gauge-fixed surface {g a (χ) = 0} A G transversal to the G-orbits, a = 1,..., dim(g) Example: Lorentz gauge fixing in QED G = U(1), g 1 (A µ ) = µ A µ = 0 "covariant gauge" Physical gauge-fixing independence principle Physical magnitudes shall not depend on the choice of gauge fixing g a s

19 Gauge fixed expressions By means of Fadeev-Popov s trick, one can get ( g Z S = Vol(G) (Πdχ) exp (is[χ]) δ (g a a (χ α ) ) (χ)) det A G α Fadeev-Popov-De Witt Theorem The rhs of the above expression is gauge fixing independent, i.e., it does not depend on the choice of g a s Operator q-amplitudes The same holds for TO[χ] as long as O[χ] is a gauge-invariant (G-invariant) expression

20 Gauge fixed expressions By means of Fadeev-Popov s trick, one can get ( g Z S = Vol(G) (Πdχ) exp (is[χ]) δ (g a a (χ α ) ) (χ)) det A G α Fadeev-Popov-De Witt Theorem The rhs of the above expression is gauge fixing independent, i.e., it does not depend on the choice of g a s Operator q-amplitudes The same holds for TO[χ] as long as O[χ] is a gauge-invariant (G-invariant) expression

21 Gauge fixed expressions By means of Fadeev-Popov s trick, one can get ( g Z S = Vol(G) (Πdχ) exp (is[χ]) δ (g a a (χ α ) ) (χ)) det A G α Features of the F-P expression: BUT it singles out the physical contribution of A G /G it is explicitly Lorentz invariant we only know how to (Feynman-diagramatically) handle expressions of the form Dφexp(iS[φ])...

22 The materialization of ghosts Using formal expressions (Fourier transform and Grassmann integration) ( ) δ (g a ξ ) (Πdb a ) exp i Σ 2 b ab a + b a g a det( ga (χ α ( [ ) g ) (Πdc a ) (Πd c b ) exp i c a (χ α ] ) ) a α α b c b a = 1,..., dim(g) b a (x) are commuting scalar fields on Σ named auxiliary fields c a : Σ R[1] ghosts c a : Σ R[ 1] anti-ghosts Σ

23 The materialization of ghosts The extended Action over the extended field space with ghosts Then, finally Z S (Πdχ) (Πdb a ) (Πdc a ) (Πd c b ) exp(is FP [χ, b a, c a, c b ]) where the extended Fadeev-Popov action functional is [ ξ g S FP [χ, b a, c a, c b ] = S[χ] + 2 b ab a + b a g a + c a (χ α ] ) a α b c b Σ The above expression has the desired form The extended (ghost-graded, vector) field space is F FP = A G c a, c b, b c S FP [χ, b a, c a, c b ] defines a polynomial (symbolic) expression in ΛF FP

24 The materialization of ghosts The extended Action over the extended field space with ghosts Then, finally Z S (Πdχ) (Πdb a ) (Πdc a ) (Πd c b ) exp(is FP [χ, b a, c a, c b ]) where the extended Fadeev-Popov action functional is [ ξ g S FP [χ, b a, c a, c b ] = S[χ] + 2 b ab a + b a g a + c a (χ α ] ) a α b c b Σ The above expression has the desired form The extended (ghost-graded, vector) field space is F FP = A G c a, c b, b c S FP [χ, b a, c a, c b ] defines a polynomial (symbolic) expression in ΛF FP

25 The materialization of ghosts The extended Action over the extended field space with ghosts Then, finally Z S (Πdχ) (Πdb a ) (Πdc a ) (Πd c b ) exp(is FP [χ, b a, c a, c b ]) where the extended Fadeev-Popov action functional is [ ξ g S FP [χ, b a, c a, c b ] = S[χ] + 2 b ab a + b a g a + c a (χ α ] ) a α b c b Σ The above expression has the desired form The extended (ghost-graded, vector) field space is F FP = A G c a, c b, b c S FP [χ, b a, c a, c b ] defines a polynomial (symbolic) expression in ΛF FP

26 The materialization of ghosts Why isn t the story over? Explicit gauge-invariance of the original action S[χ] was a fundamental tool for proving renormalizability Now, in the F-P expressions, S FP is not gauge symmetric (not G-ivariant)... how to prove renormalizability then? A generalized symmetry involving ghosts! S FP has another symmetry: BRST symmetry.

27 The materialization of ghosts Why isn t the story over? Explicit gauge-invariance of the original action S[χ] was a fundamental tool for proving renormalizability Now, in the F-P expressions, S FP is not gauge symmetric (not G-ivariant)... how to prove renormalizability then? A generalized symmetry involving ghosts! S FP has another symmetry: BRST symmetry.

28 The materialization of ghosts Why isn t the story over? Explicit gauge-invariance of the original action S[χ] was a fundamental tool for proving renormalizability Now, in the F-P expressions, S FP is not gauge symmetric (not G-ivariant)... how to prove renormalizability then? A generalized symmetry involving ghosts! S FP has another symmetry: BRST symmetry.

29 A C-DGA structure Ghost grading and differential ΛF FP = χ, c, c, b, I χ, I c,... Free commutative graded algebra Total ghost number tgn grading: tgn(χ, b) = 0, tgn(c) = 1 tgn( c) = 1 S FP [χ, b a, c a, c b ] is a polynomial expression defines a tgn = 0 element in ΛF FP s : ΛF FP ΛF FP of tgn(s) = +1 such that (ΛF FP, s) is a commutative differential graded algebra. s 2 = 0

30 A C-DGA structure Ghost grading and differential ΛF FP = χ, c, c, b, I χ, I c,... Free commutative graded algebra Total ghost number tgn grading: tgn(χ, b) = 0, tgn(c) = 1 tgn( c) = 1 S FP [χ, b a, c a, c b ] is a polynomial expression defines a tgn = 0 element in ΛF FP s : ΛF FP ΛF FP of tgn(s) = +1 such that (ΛF FP, s) is a commutative differential graded algebra. s 2 = 0

31 A C-DGA structure Ghost grading and differential ΛF FP = χ, c, c, b, I χ, I c,... Free commutative graded algebra Total ghost number tgn grading: tgn(χ, b) = 0, tgn(c) = 1 tgn( c) = 1 S FP [χ, b a, c a, c b ] is a polynomial expression defines a tgn = 0 element in ΛF FP s : ΛF FP ΛF FP of tgn(s) = +1 such that (ΛF FP, s) is a commutative differential graded algebra. s 2 = 0

32 A C-DGA structure Ghost grading and differential ΛF FP = χ, c, c, b, I χ, I c,... Free commutative graded algebra Total ghost number tgn grading: tgn(χ, b) = 0, tgn(c) = 1 tgn( c) = 1 S FP [χ, b a, c a, c b ] is a polynomial expression defines a tgn = 0 element in ΛF FP s : ΛF FP ΛF FP of tgn(s) = +1 such that (ΛF FP, s) is a commutative differential graded algebra. s 2 = 0

33 A C-DGA structure Ghost grading and differential II s(χ a µ) = µ c a + f a bc χb µc c s(c a ) = 1 2 f a bc cb c c s( c a ) = b a s(b a ) = 0 fbc a denote the structure constants of g = Lie(G) s is extended as a super derivation and is called the BRST operator.

34 A C-DGA structure Ghost grading and differential II s(χ a µ) = µ c a + f a bc χb µc c s(c a ) = 1 2 f a bc cb c c s( c a ) = b a s(b a ) = 0 fbc a denote the structure constants of g = Lie(G) s is extended as a super derivation and is called the BRST operator.

35 A C-DGA structure Properties of BRST operator Props: Relation to gauge transformation expression δ ɛ χ a µ = θs(χ a µ) θ parameter anti-commuting with ghosts (Z 2 -module structure) with ɛ a (x) = θc a (x) infinitesimal gauge parameter If H[χ] ΛF FP is gauge invariant s(h) = 0

36 A C-DGA structure Properties of BRST operator Props: Relation to gauge transformation expression δ ɛ χ a µ = θs(χ a µ) θ parameter anti-commuting with ghosts (Z 2 -module structure) with ɛ a (x) = θc a (x) infinitesimal gauge parameter If H[χ] ΛF FP is gauge invariant s(h) = 0

37 A C-DGA structure Classical BRST cohomology Gauge invariance of S[χ] s zero cocycle s(s[χ]) = s(s FP [χ, b a, c a, c b ]) = 0 Gauge fixing choices (ghost terms in S FP ) s zero coboundaries S FP [χ, b a, c a, c b ] = S[χ] + s(ψ[χ, b a, c b ]) Ψ[b a, c a, c b ] = c b g b [χ] + ξ 2 c bb a tgn(ψ) = 1 known as "gauge fixing fermion". Σ Classical observables = 0th BRST cohomology H 0 s (ΛF FP ) Funct(A G /G) are observables that can be quantized through gauge-fixing and yield the same result for any gauge-fixing choice.

38 A C-DGA structure Classical BRST cohomology Gauge invariance of S[χ] s zero cocycle s(s[χ]) = s(s FP [χ, b a, c a, c b ]) = 0 Gauge fixing choices (ghost terms in S FP ) s zero coboundaries S FP [χ, b a, c a, c b ] = S[χ] + s(ψ[χ, b a, c b ]) Ψ[b a, c a, c b ] = c b g b [χ] + ξ 2 c bb a tgn(ψ) = 1 known as "gauge fixing fermion". Σ Classical observables = 0th BRST cohomology H 0 s (ΛF FP ) Funct(A G /G) are observables that can be quantized through gauge-fixing and yield the same result for any gauge-fixing choice.

39 A C-DGA structure Classical BRST cohomology Gauge invariance of S[χ] s zero cocycle s(s[χ]) = s(s FP [χ, b a, c a, c b ]) = 0 Gauge fixing choices (ghost terms in S FP ) s zero coboundaries S FP [χ, b a, c a, c b ] = S[χ] + s(ψ[χ, b a, c b ]) Ψ[b a, c a, c b ] = c b g b [χ] + ξ 2 c bb a tgn(ψ) = 1 known as "gauge fixing fermion". Classical observables = 0th BRST cohomology H 0 s (ΛF FP ) Funct(A G /G) are observables that can be quantized through gauge-fixing and yield the same result for any gauge-fixing choice. Σ

40 A C-DGA structure Classical BRST cohomology Gauge invariance of S[χ] s zero cocycle s(s[χ]) = s(s FP [χ, b a, c a, c b ]) = 0 Gauge fixing choices (ghost terms in S FP ) s zero coboundaries S FP [χ, b a, c a, c b ] = S[χ] + s(ψ[χ, b a, c b ]) Ψ[b a, c a, c b ] = c b g b [χ] + ξ 2 c bb a tgn(ψ) = 1 known as "gauge fixing fermion". Higher H i>0 s (ΛF FP ) without physical meaning... but (finite dim examples) geometrical meaning. Σ

41 BRST quantization: Quantum BRST cohomology Quantization I BRST quantization: Start with classical data (ΛF FP, s, S[χ]) choose gauge-fixing fermion Ψ[χ, b a, c a, c b ] of tgn = 1 define q-vacuum-amplitudes TO[χ] through F-P expression F-P-dW Theorem revisited These TO[χ] are well defined regardeless the choice of Ψ q-vacuum-amplitudes depend on [χ] A G /G as desired

42 BRST quantization: Quantum BRST cohomology Quantization I BRST quantization: Start with classical data (ΛF FP, s, S[χ]) choose gauge-fixing fermion Ψ[χ, b a, c a, c b ] of tgn = 1 define q-vacuum-amplitudes TO[χ] through F-P expression F-P-dW Theorem revisited These TO[χ] are well defined regardeless the choice of Ψ q-vacuum-amplitudes depend on [χ] A G /G as desired

43 BRST quantization: Quantum BRST cohomology Scattering matrix elements and Quantum BRST cohomology S-Matrix elements: p 1 p 2...p k p A p B = posible intermediate processes (Feynman diagrams) involve k-particles states p 1 p 2...p k > in a Hilbert space H on which the quantized fields ˇχ act. Vacuum state Ω > H is one of these states, the one corresponding to no particles at all... i.e. vacuum state. How is gauge-fixing operation represented in particle state space H?

44 BRST quantization: Quantum BRST cohomology Scattering matrix elements and Quantum BRST cohomology S-Matrix elements: p 1 p 2...p k p A p B = posible intermediate processes (Feynman diagrams) involve k-particles states p 1 p 2...p k > in a Hilbert space H on which the quantized fields ˇχ act. Vacuum state Ω > H is one of these states, the one corresponding to no particles at all... i.e. vacuum state. How is gauge-fixing operation represented in particle state space H?

45 BRST quantization: Quantum BRST cohomology Scattering matrix elements and Quantum BRST cohomology S-Matrix elements: p 1 p 2...p k p A p B = posible intermediate processes (Feynman diagrams) involve k-particles states p 1 p 2...p k > in a Hilbert space H on which the quantized fields ˇχ act. Vacuum state Ω > H is one of these states, the one corresponding to no particles at all... i.e. vacuum state. How is gauge-fixing operation represented in particle state space H?

46 BRST quantization: Quantum BRST cohomology Scattering matrix elements and Quantum BRST cohomology II Quantum representation of BRST differential algebra (H, ˇQ) [ ˇQ, ˇΦ] ± = i(sφ) [ ˇQ, ˇQ] ± = 2 ˇQ 2 = 0 H is also ghost graded (ghost particles) Quantum BRST cohomology HQ 0 (H) physical quantum particle states (with no ghosts, gauge-fixing independent)

47 BRST quantization: Quantum BRST cohomology Scattering matrix elements and Quantum BRST cohomology II Quantum representation of BRST differential algebra (H, ˇQ) [ ˇQ, ˇΦ] ± = i(sφ) [ ˇQ, ˇQ] ± = 2 ˇQ 2 = 0 H is also ghost graded (ghost particles) Quantum BRST cohomology HQ 0 (H) physical quantum particle states (with no ghosts, gauge-fixing independent)

48 BRST quantization: Quantum BRST cohomology Well behaved QFT states When is it "well behaved" No-ghost theorem for H 0 Q (H) compatibility with inner product in H I: restricted S-matrix unitary compatibility with inner product in H II: physical states with positive definite norm Gauge theories There exists a well behaved quantum representation (H, ˇQ) of the classical BRST cohomology for gauge theories (A G, S[χ], G)

49 BRST quantization: Quantum BRST cohomology Well behaved QFT states When is it "well behaved" No-ghost theorem for H 0 Q (H) compatibility with inner product in H I: restricted S-matrix unitary compatibility with inner product in H II: physical states with positive definite norm Gauge theories There exists a well behaved quantum representation (H, ˇQ) of the classical BRST cohomology for gauge theories (A G, S[χ], G)

50 BRST quantization: Quantum BRST cohomology Final remarks on BRST quantization BRST symmetry is a tool for proving Renormalizability [ ˇQ, ] suggests looking for classical inner representation s = {Q, } How to get (ΛF FP, s, S FP [χ]) for a general (A G, S[χ], G) without F-P trick? How to handle reducible symmetries? (p-form field theories) How to handle open symmetries? (supergravity, TFT) Solution: BV formalism

51 BRST quantization: Quantum BRST cohomology Final remarks on BRST quantization BRST symmetry is a tool for proving Renormalizability [ ˇQ, ] suggests looking for classical inner representation s = {Q, } How to get (ΛF FP, s, S FP [χ]) for a general (A G, S[χ], G) without F-P trick? How to handle reducible symmetries? (p-form field theories) How to handle open symmetries? (supergravity, TFT) Solution: BV formalism

52 Antifields and Odd Poisson structures BV ingredients Enlargement F BV = F FP F FP, by adding an anti-field φ α F FP for each field φ α F FP for gauge theories φ β runs over χ, c, c, b, ghost gradings tgn(φ ) = tgn(φ) 1. commutative graded algebra ΛF BV has an odd Poisson bracket (of tgn +1) defined on generators φ β, φ α F BV by {φ β, φ α} = δ βα {φ β, φ α } = {φ β, φ α} = 0

53 Antifields and Odd Poisson structures BV ingredients Enlargement F BV = F FP F FP, by adding an anti-field φ α F FP for each field φ α F FP for gauge theories φ β runs over χ, c, c, b, ghost gradings tgn(φ ) = tgn(φ) 1. commutative graded algebra ΛF BV has an odd Poisson bracket (of tgn +1) defined on generators φ β, φ α F BV by {φ β, φ α} = δ βα {φ β, φ α } = {φ β, φ α} = 0

54 Antifields and Odd Poisson structures BV ingredients Enlargement F BV = F FP F FP, by adding an anti-field φ α F FP for each field φ α F FP for gauge theories φ β runs over χ, c, c, b, ghost gradings tgn(φ ) = tgn(φ) 1. commutative graded algebra ΛF BV has an odd Poisson bracket (of tgn +1) defined on generators φ β, φ α F BV by {φ β, φ α} = δ βα {φ β, φ α } = {φ β, φ α} = 0

55 Antifields and Odd Poisson structures BV action S BV [φ β, φ α] with tgn = 0, satisfying the classical Master equation {S BV, S BV } = 0 (ΛF BV, D = {S BV, }) is a C-DGA (tgn(d) = +1) 0th BV cohomology "cotangent classical observables" Fun(T [1](A G /G)) S BV [φ β, φ α] = S min [χ, c, χ, c ] b A c A S min = S[χ]+c A f r A [χ]χ r ca c B f C AB [χ]c C +1 2 ca c B f rs AB [χ]χ r χ s+higher ter

56 Antifields and Odd Poisson structures BV action S BV [φ β, φ α] with tgn = 0, satisfying the classical Master equation {S BV, S BV } = 0 (ΛF BV, D = {S BV, }) is a C-DGA (tgn(d) = +1) 0th BV cohomology "cotangent classical observables" Fun(T [1](A G /G)) S BV [φ β, φ α] = S min [χ, c, χ, c ] b A c A S min = S[χ]+c A f r A [χ]χ r ca c B f C AB [χ]c C +1 2 ca c B f rs AB [χ]χ r χ s+higher ter

57 Antifields and Odd Poisson structures BV action S BV [φ β, φ α] with tgn = 0, satisfying the classical Master equation {S BV, S BV } = 0 (ΛF BV, D = {S BV, }) is a C-DGA (tgn(d) = +1) 0th BV cohomology "cotangent classical observables" Fun(T [1](A G /G)) S BV [φ β, φ α] = S min [χ, c, χ, c ] b A c A S min = S[χ]+c A f r A [χ]χ r ca c B f C AB [χ]c C +1 2 ca c B f rs AB [χ]χ r χ s+higher ter

58 Antifields and Odd Poisson structures BV action S BV [φ β, φ α] with tgn = 0, satisfying the classical Master equation {S BV, S BV } = 0 (ΛF BV, D = {S BV, }) is a C-DGA (tgn(d) = +1) 0th BV cohomology "cotangent classical observables" Fun(T [1](A G /G)) S BV [φ β, φ α] = S min [χ, c, χ, c ] b A c A Master equation for S BV imply compatibility conditions for structure functions fa r [χ], f AB C [χ], f rs AB [χ],...

59 From BV to BRST gauge fixing within BV formalism set anti-fields φ α = Ψ[φ] φ α Cannonical transformation (φ α, φ α) to (φ α, φ α = φ α Ψ[φ] φ α ) s.t. φ α = 0 (generalized) BRST operator on ΛF FP = φ α ΛF BV s(φ α ) = {S BV [φ α, φ α], φ α } φ α = Ψ[φ] φ α

60 From BV to BRST gauge fixing within BV formalism set anti-fields φ α = Ψ[φ] φ α Cannonical transformation (φ α, φ α) to (φ α, φ α = φ α Ψ[φ] φ α ) s.t. φ α = 0 (generalized) BRST operator on ΛF FP = φ α ΛF BV s(φ α ) = {S BV [φ α, φ α], φ α } φ α = Ψ[φ] φ α

61 From BV to BRST gauge fixing within BV formalism II def the Gauge-fixed action [ SFP Ψ [φα ] = S BV φ α, φ α = Ψ[φ] ] φ α It is easy to check that s 2 = 0 and s(s Ψ FP ) = 0 for F BV = F FP F FP coming from ] gauge theory (A G, S[χ], G), setting S BV [φ α, φ α = S[χ] + s(φ α )φ α, then S Ψ FP [φα ] = S[χ] + s(ψ[φ]) moreover, for closed transformation algebras, s coincides with the BRST operator, yielding the early BRST (F FP, s, S Ψ FP ) construction. H0 s (ΛF FP ) gives the classical observables.

62 From BV to BRST gauge fixing within BV formalism II def the Gauge-fixed action [ SFP Ψ [φα ] = S BV φ α, φ α = Ψ[φ] ] φ α It is easy to check that s 2 = 0 and s(s Ψ FP ) = 0 for F BV = F FP F FP coming from ] gauge theory (A G, S[χ], G), setting S BV [φ α, φ α = S[χ] + s(φ α )φ α, then S Ψ FP [φα ] = S[χ] + s(ψ[φ]) moreover, for closed transformation algebras, s coincides with the BRST operator, yielding the early BRST (F FP, s, S Ψ FP ) construction. H0 s (ΛF FP ) gives the classical observables.

63 BV quantization: The Q-Master equation gauge-fixing independence and Quantum master equation vacuum-vacuum amplitud Z S Ψ FP is gauge-fixing (Ψ) independent, if quantum master equation is full-filled where {S BV, S BV } 2iħ S BV = 0 at φ α = Ψ[φ] φ α S BV = R L φ α φ α S BV general quantum amplitudes for operators O[φ α ] is gauge-fixing Ψ independent, when S BV satisfyies the QME and O[φ α ] is s invariant: {S BV, O[φ α ]} φ α = Ψ[φ] φ α = 0

64 BV quantization: The Q-Master equation gauge-fixing independence and Quantum master equation vacuum-vacuum amplitud Z S Ψ FP is gauge-fixing (Ψ) independent, if quantum master equation is full-filled where {S BV, S BV } 2iħ S BV = 0 at φ α = Ψ[φ] φ α S BV = R L φ α φ α S BV general quantum amplitudes for operators O[φ α ] is gauge-fixing Ψ independent, when S BV satisfyies the QME and O[φ α ] is s invariant: {S BV, O[φ α ]} φ α = Ψ[φ] φ α = 0

65 BV quantization: The Q-Master equation Final remarks on BV formalism general framework for (open, reducible) symmetries G = Diff (Σ), End(A Σ),... More powerfull tool for renormalizability of gauge theories (Zinn-Justin) (for sums of diagrams) treatment of anomalies (symmetry loss after quantization)

66 BV quantization: The Q-Master equation We have learned... the moral That ghosts exist! and are usefull... Thank you, see you next monday.