Covariant quantization of a relativistic string Paolo Di Vecchia Niels Bohr Instituttet, Copenhagen and Nordita, Stockholm Collège de France, 19.02.10 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 1 / 59
Plan of the talk 1 From Goto-Nambu to Polyakov 2 The bosonic string in the conformal gauge 3 Old covariant quantization 4 The Polyakov path integral 5 Conformal invariance 6 BRST invariance 7 Physical states 8 Conclusions 9 Faddeev-Popov procedure 10 Conformal tensors 11 The ghost number current Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 2 / 59
From Goto-Nambu to Polyakov We have seen that a free string is described by the Nambu-Goto action: S NG (x µ ) = T dτ dσ det ( α x µ β x ν η µν ) where ξ α (τ, σ) and α ξ α. This Lagrangian is very non-linear and not easy to treat if we want to quantize the string using the path integral formalism. On the other hand, there exists an alternative to the Nambu-Goto action that was constructed by [Brink, Deser, DV, Howe and Zumino] in 1976. It was then used by Polyakov in 1982 for quantizing the string with the path integral formalism. For this reason it is called Polyakov action. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 3 / 59
It is given by: S(x µ, g αβ ) = T 2 dτ π 0 dσ gg αβ α x µ β x ν η µν x µ (σ, τ) is the coordinate of the string ([µ, ν = 0, 2,...d 1]). T = 1 2πα is a dimensional (Energy per unit length) parameter called the string tension. g αβ (σ, τ) is the two-dimensional world-sheet metric tensor with g = det(g αβ ). η µν = ( 1, 1...1, 1) is the d-dimensional target space metric. Viewed as a two dimensional field theory, it describes the interaction of a set of d massless fields with an external gravitational field g αβ. From this point of view the d-dimensional Lorentz index plays the role of a flavour index. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 4 / 59
It can be easily shown that the two actions are equivalent. We can immediately write the algebraic equation of motion for the world-sheet metric: where we have used θ αβ α x β x 1 2 g αβg γδ γ x δ x = 0 δ g δg αβ = 1 2 g αβ g From it we get: det ( α x β x) = g 4 ( ) 2 g αβ α x β x Inserting it in the Polyakov action one gets the Nambu-Goto action = the two actions are equivalent!! Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 5 / 59
The bosonic string in the conformal gauge Let us start from the Polyakov action: S(x µ, g αβ ) = T π dτ dσ g g αβ α x µ β x ν η µν 2 It is invariant under an arbitrary reparametrization (ξ ξ (ξ)) of the world-sheet coordinates ξ α (τ, σ): 0 x µ (ξ) = x µ (ξ ), g αβ (ξ) = ξ γ ξ α ξ δ ξ β g γδ (ξ ) The second equation implies: d 2 ξ g = d 2 ξ g For infinitesimal transformations ξ = ξ ɛ we get: δx µ = ɛ α α x µ ; δg αβ = ɛ γ γ g αβ + α ɛ γ g γβ + β ɛ γ g αγ Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 6 / 59
It is also invariant under Weyl rescaling of the metric: g αβ (ξ) Λ 2 (ξ)g αβ (ξ) ; x µ (ξ) x µ (ξ) From the string action we can derive the Euler-Lagrange equations of motion: 2 T δs g δg αβ θ αβ = α x β x 1 2 g αβg γδ γ x δ x = 0 for the two-dimensional world-sheet metric. This equation implies that the two-dimensional world-sheet energy-momentum tensor is identically vanishing. The eq. of motion for the string coordinate is instead It is still non-linear. α ( gg αβ β x µ) = 0 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 7 / 59
In order to solve the previous equations and find the most general classical motion of a string it is convenient to choose a gauge where the previous equation of motion linearizes. A convenient Lorentz covariant gauge is the conformal gauge where the world-sheet metric tensor is taken to be of the form: g αβ = ρ(ξ)η αβ η 11 = η 00 = 1 This gauge choice does not fix completely the gauge. We can still perform conformal transformations that leave the metric in the same form, but with a rotated ρ. They are characterized by the following equation: α ɛ β + β ɛ α η αβ γ ɛ γ = 0 Under the previous infinitesimal transformation we get: g αβ + δg αβ = (ρ + γ (ɛ γ ρ)) η αβ Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 8 / 59
The conditions of the conformal gauge are more transparent if we introduce light-cone coordinates: ξ ± = ξ 0 ± ξ 1, ɛ ± = ɛ 0 ± ɛ 1, ξ ± = 1 ( 2 ξ 0 ± ) ξ 1 In terms of those variables, they reduce to ξ ɛ+ = ξ + ɛ = 0 = ɛ + (ξ + ) ; ɛ (ξ ) In the conformal gauge the equation of motion becomes: ( ) 2 σ 2 2 τ 2 x µ (σ, τ) = 0 Boundary conditions for open string σ x µ (τ, σ) σ=0,π = 0 Boundary condition for closed string: x µ (τ, σ) = x µ (τ, σ + π) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 9 / 59
The most general solution for open string: x µ (τ, σ) = q µ + 2α p µ τ + i 2α n 0 and for closed string x µ (τ, σ) = q µ + 2α p µ τ + i 2 2α n 0 Here α n and α n are just constant parameters. α µ n n e inτ cosnσ [ α µ ] n n e 2in(τ+σ) + αµ n n e 2in(τ σ) We must impose the vanishing of the two independent components of the world-sheet energy-momentum tensor: θ 00 ± θ 01 1 (ẋ ± x ) 2 = 0 2 ẋ τ x ; x σ x Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 10 / 59
Notations The operators α n and α n are related to the harmonic oscillators and the center of mass variables by: na µ α n µ n if n > 0 = 2α ˆp µ if n = 0 n a +µ n if n < 0 for the open string, and by na µ n if n > 0 α n µ = 2α ˆpµ 2 if n = 0 n a +µ n if n < 0 nã µ n if n > 0 ; α n µ = 2α ˆpµ 2 if n = 0 n ã +µ n if n < 0 for the closed string. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 11 / 59
In the case of the open string they give the same condition, namely: L n = 1 π 4πα dσ e in(τ±σ) (ẋ ± x ) 2 = 1 0 2 where α 0 2α p m= In the case of a closed string we get instead: α n m α m = 0 L n = L n = 1 π 4πα 0 1 4πα π 0 dσ e in(τ+σ) (ẋ + x ) 2 = 1 2 2 dσ e in(τ σ) (ẋ x ) 2 = 1 2 2 α µ 0 = αµ 0 = 2α p µ 2 m= m= α m α n m = 0 α m α n m = 0 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 12 / 59
Old covariant quantization The theory is quantized by imposing the following commutation relations: for an open string. [α µ n, α ν m] = n η µν δ n+m;0 ; [ˆq µ, ˆp ν ] = iη µν In the case of a closed string, one must also imposes the commutation relations for the other infinite set of oscillators: [ α µ n, α ν m] = n η µν δ n+m;0 that commute with the oscillators of the previous set. In the quantum theory, the operators L n are defined with the normal ordering: L n = 1 : α n m α m : 2 m= that, however, regards only L 0 = α ˆp 2 + n=1 na n a n. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 13 / 59
In the quantum theory, the vanishing of L n for all n is too restrictive. One can only impose their vanishing between physical states. In other words one can define a physical subspace where: Phys., P (L n α 0 δ n0 ) Phys., P = 0 ; < n < + α 0 is a constant to be determined. They are satisfied if (L 0 α 0 ) Phys., P = L n Phys., P = 0 ; n = 1, 2... Those conditions are exactly those obtained from the analysis of the residues of the poles in the N-point dual amplitude. except that there and in the light-cone gauge α 0 = 1, while here there is no obvious way to compute it. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 14 / 59
In the present covariant way of quantizing the string, we cannot reproduce two properties of the string that we have obtained in the light-cone gauge, namely the fact that the intercept of the Regge trajectory α 0 = 1 and the critical dimension d = 26 that in the light-cone was essential to have a Lorentz invariant theory. On the other hand, one expects that, quantizing the theory in two different gauges, one would get the same result. Here conformal invariance is a gauge symmetry because it comes from the invariance under reparametrizations. Therefore, we expect the energy momentum tensor to transform as a two-index tensor without an anomaly term: [L n, L m ] = (n m)l n+m + d 12 n(n2 1)δ n+m;0 corresponding to the c-number of the Virasoro algebra. What is wrong in our present treatment of the conformal gauge? Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 15 / 59
Before this, let us consider shortly the case of the closed string. In this case we have two sets of Virasoro operators L n and L n. The equations that characterize the on-shell physical states are: (L 0 1) Phys. = ( L 0 1) Phys. = 0 L n Phys. = L n Phys. = 0 ; n = 1, 2... with ( ˆp 2 ( ˆp 2 L 0 = α 2) + na n a n ; L0 = α 2) + nã n ã n n=1 n=1 The mass spectrum is given by (ˆp 2 = m 2 ): α 2 m2 = n=1 ) n (a n a n + ã n ã n 2 ; na n a n = nã n ã n n=1 n=1 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 16 / 59
The lowest state is the ground state 0, P with mass P 2 = m 2 = 4 α = it is a tachyon. The state contributing to the next massless level is the following: a 1µã 1ν 0, P The symmetric and traceless part corresponds to a massless spin 2 = graviton G µν The trace part corresponds to a scalar particle called dilaton φ. The antisymmetric part corresponds to a 2-index antisymmetric tensor B µν. In the open string we have a massless gauge boson, while in the closed string we have a massless graviton together with a massless dilaton and a massless B µν. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 17 / 59
The physical states are a subset of the previous states that satisfy the conditions: L n Phys. = L n Phys. = 0 The analysis at this level proceeds as at the massless level of the open string. In the reference frame where the momentum of the state is P µ = (P,..., P), after the elimination of the zero norm states, the only physical states are: a 1,iã 1,j 0, P ; i, j = 1... (d 2) In conclusion, one gets (d 2)(d 1) 2 1 physical states for the graviton, (d 2)(d 3) 2 physical states for the two-index antisymmetric tensor and one state associated to the dilaton. The total number of physical states at this level is therefore (d 2) 2. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 18 / 59
The Polyakov path integral The most convenient way to find what is lacking in the old covariant quantization is to compute the string partition function using the string path integral formalism: Dx µ Dg αβ e S(x µ,g αβ ) The string action in Euclidean space is equal to S(x µ, g αβ ) T d 2 ξ g g αβ α x β x 2 It is invariant under world-sheet reparametrizations that act on the world-sheet metric and on the string coordinates as follows: x µ (ξ) = (x ) µ (ξ ) ; g αβ (ξ) = ξ γ ξ α ξ δ ξ β g αβ (ξ ) For infinitesimal transformations ((ξ α = ξ α ɛ α (ξ)) they become δx µ = ɛ α α x µ ; δg αβ = ɛ γ γ g αβ + g αγ β ɛ γ + g βγ α ɛ γ = α ɛ β + β ɛ α Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 19 / 59
It is also invariant under Weyl transformations (rescaling of the metric): x µ (ξ) x µ (ξ) ; g αβ (ξ) Λ 2 (ξ)g αβ (ξ) These two invariances involve three arbitrary functions ɛ α (ξ) with α = 1, 2 and Λ(ξ). The metric tensor has also three independent components. Locally, one can always choose a suitable reparametrization and a Weyl transformation that lead to a flat metric or to the one in the conformal gauge where ĝ αβ = δ αβ ; ĝ αβ = ρ(ξ)δ αβ if reparametrization and Weyl invariances are mantained at the quantum level. Because of these two local invariances, the path integral is ill defined being the volume of the reparametrizations and Weyl transformations infinite. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 20 / 59
We can define the functional integral by dividing by the volume of the reparametrizations and Weyl rescalings: Dg αβ Dx µ V rep. V Weyl e S(x,g) In order to extract from Dg the two volumes, we perform the Faddeev and Popov procedure that can be applied to any theory with local gauge invariance. Starting from a fixed fiducial metric ĝ αβ (ξ) we can obtain the most general metric by transforming it by a reparametrization and a Weyl transformation: ĝ ζ αβ (ξ 2ω(ξ) ξγ ξ δ ) = e ξ α ξ β ĝγδ(ξ) ; ζ (ξ (ξ), ω(ξ)) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 21 / 59
In order to extract the volume of the reparametrization and Weyl transformations, we change integration variables from the original g αβ to the parameters of those transformations ω(ξ) and ξ α (ξ). The integral over the parameters of the reparametrization and Weyl transformations gives the volume V rep. V Weyl that cancels the volume in the denominator. One is left with the jacobian of the transformation from g αβ to the parameters of the invariance group, called the determinant of Faddeev-Popov. This procedure is explained in detail in a section at the end of this lecture. Here we only give the final result: Dx µ FP (ĝ) e S(x,ĝ) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 22 / 59
The determinant of the Faddev-Popov can be expressed it terms of a functional integral over the ghost fields b αβ (traceless) and c α obtaining: Z (ĝ) = Dx Db Dc e Sx S gh where S gh = 1 2π d 2 ξ ĝ b αβ ˆ α c β ; S x = 1 2π d 2 ξ ĝ ĝ αβ α x β x We call them ghosts because they anti-commute (they are Grassmann variables), but not Dirac fermions. We have made x dimensionless by dividing it by 2α. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 23 / 59
In the conformal gauge and world-sheet light-cone coordinates z = ξ 1 + iξ 2 and z = ξ 1 iξ 2 where g αβ = ρ(ξ)δ αβ = g z z = g zz = ρ 2 ; g zz = g z z = 0 the ghost action becomes: S gh = 1 d 2 ξ ĝ b αβ ĝ αγ ˆ γ c β = 1 2π 2π d 2 ξ [b cẑ] zz z c z + b z z z In the present derivation we have ignored the possibility of anomalies. It can be shown that, in general, we can have a Weyl anomaly that disappears, however, if the space-time dimension d = 26. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 24 / 59
One can quantize the theory preserving reparametrization invariance. But then, in general, one cannot preserve Weyl invariance. How does a quantum violation of Weyl invariance manifest itself? On the fact that the functional integral over x µ, b, c will depend on ρ = one does not get anymore the volume of the Weyl group. It turns out that the contribution of the functional integral over x µ, b, c gives: e 1 12π ( d 2 13) R d 2 ξ[ 1 2 αϕ α ϕ+µ 2 e ϕ ] ; ρ e ϕ The dependence on ϕ disappears only if d = 26. Only for d = 26 one has a Weyl invariant quantum theory. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 25 / 59
Conformal invariance Introducing the simpler notation: b b zz ; b b z z ; c c z ; c c z ; z ; z the action becomes: S = 1 π d 2 ξ [ 1 2 x x + b c + b c] This action is conformal invariant if we assume that x, b, c transform as conformal fields with dimension respectively equal to 0, 2, 1, namely: δx = ɛ x + ɛ x δb = ɛ b + 2 ɛ b ; δc = ɛ c ɛ c δ b = ɛ b + 2 ɛ b ; δ c = ɛ c ɛ c Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 26 / 59
Each of the three pieces of the previous Lagrangian transforms as a total derivative (it is a conformal tensor with dimension = 1) under the conformal transformations with parameters ɛ and ɛ: ( ) 1 δ 2 x x = δ ( b c ) = ( ɛ b c ) δ ( b c ) = ( ɛ b c ) ( ɛ 1 2 x x ) + ( ɛ 1 2 x x But now the energy-momentum tensor and the corresponding operators L n get also a contribution from the ghosts!! In particular, one get: ( ) L n = dz z n+1 T (z) = dz z n+1 T x (z) + T gh (z) where 0 0 T x (z) = 1 2 2 : ( x z ) : ; T gh (z) =: cb + 2c b : Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 27 / 59 )
It can be shown that the new operators L n satisfy the following algebra: [L n, L m ] = (n m)l n+m + d 26 12 δ n+m;0n(n 2 1) The c-number of the Virasoro algebra is vanishing at the critical dimension D=26. as it must happen in any theory where the conformal symmetry is a gauge symmetry obtained after a partial fixing of the reparametrization invariance. This is the first sign that also in the covariant quantization we need to have d = 26 as in the light-cone gauge. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 28 / 59
Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 29 / 59 Some details of the previous calculation Using the following contraction rules: < x µ (z)x ν (ζ) >= η µν log(z ζ) ; < b(z)c(ζ) >= 1 z ζ it can be shown that the transformation properties of a conformal tensor with dimension are completely equivalent to the following singular terms in the OPE of the energy-momentum tensor with the conformal field: φ w T (z)φ(w) z w + φ(w) (z w) 2 +... In fact, from it we get: δφ [L n, φ(w)] = w dz z n+1 T (z)φ(w) n+1 φ(w) = w w + (n + 1)w n φ(w)
In particular, we can compute the OPE between two energy-momentum tensors (conformal fields with = 2): T (z)t (ζ) = ζ T (ζ) (z ζ) + 2 T (ζ) D 26 (z ζ) 2 + 2 (z ζ) 4 +... and from it we get: [L n, L m ] = (n m)l n+m + d 26 12 δ n+m;0n(n 2 1) Remember: L n = 0 dz z n+1 T (z) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 30 / 59
BRST invariance By fixing the gauge, we have lost the invariance under reparametrizations and Weyl transformations. But we are left with BRST invariance. It is straightforward to show that, under the following transformations: δx = λc x δc = λc c δb = 1 2 λ( x)2 + λ[c b + 2 cb] the gauge fixed Lagrangian transforms as a total derivative: δl = [λcl] λ is a constant Grassmann parameter. It is generated by the following operator: Q = dz : c(z)[t x (z) + 1 2 T gh (z)] : 0 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 31 / 59
Because of its Grassmann character, in the classical theory the product of two BRST transformations is identically vanishing. In the quantum theory the square of the BRST charge is given by: {Q, Q} = 1 (d 26) dζc (ζ)c(ζ) 12 0 The square of the BRST charge is vanishing only if d=26. This is another sign that our covariant quantization is consistent only for the critical dimension d=26. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 32 / 59
Physical states In terms of the oscillators the BRST charge in given by: Q = [c n L x n + c nl x n] + c 0 [L x 0 + Lg 0 ] + Q n=1 where Q = m[c nc mb n+m c n c m b n+m ] 2b 0 nc nc n + n,m=1 n=1 + (n + 2m)[c mc n+m b n + c n+m c mb n ] n,m=1 The ghost fields have the following expansion in terms of the harmonic oscillators: b(z) = b n z n 2 c(z) = c n z n+1 n= n= Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 33 / 59
The oscillators satisfy the algebra: {c n, b m } = δ n+m,0 ; {c n, c m } = {b n, b m } = 0 In the BRST quantization the physical states are defined as those annihilated by the BRST charge: Q Phys. = 0 This is the residual invariance left from having fixed the gauge. The generators of this invariance must annihilate the physical states. What are the states that satisfy this equation? In order to answer this question we have to introduce and discuss the ghost number current. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 34 / 59
The ghost Lagrangian is invariant under a U(1) current that acts on the ghost fields as follows: δb = iαb δc = iαc The generator corresponding to this invariance can be constructed in terms of the the ghost number density: j(z) =: c(z)b(z) : The ghost number is given by q = dz j(z) = 0 n= = c 0 b 0 + c 1 b 1 + c 1 b 1 + : c n b n : (c n b n b n c n ) n=2 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 35 / 59
It turns out that the ghost number current is anomalous and requires the following unconventional normal ordering for the ghost oscillators: { cn b : c n b n := n if n 1 b n c n if n 2 or equivalently b 1, b 0, b 1, b 2... c 2, c 3... are "annihilation operators" b 2, b 3, b 4... c 1, c 0, c 1... are "creation operators". In particular, a state that satisfies the following equations: (... b 2, b 1, b 0, b 1 ) q = 0 = (... c 3, c 2 ) q = 0 = 0 has ghost number zero. It plays the role of the vacuum because it is annihilated by all "annihilation operators". The state with q = 1 is what "one would normally call a vacuum": q = 1 c 1 q = 0 = (... b 2, b 1, b 0 ) q = 1 = (... c 3, c 2, c 1 ) q = 1 = 0 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 36 / 59
A detailed analysis shows that the on-shell physical states must have the following form [Freeman and Olive, 1986]: Phys. = q = 1; ψ a where the state ψ a is constructed only in terms of the oscillators of the string coordinate x. Remembering the form of Q in terms of the oscillators we see that Q q = 1 = 0 and the action of Q on the physical state is then given by: [ ] Q q = 1; ψ a = [c n L x n + c nl x n] + c 0 [L x 0 + Lg 0 ] q = 1; ψ a n=1 [ ] = c nl x n + c 0 (L x 0 1) q = 1; ψ a = 0 n=1 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 37 / 59
We have used the two identities: c n q = 1 = 0 ; n = 1, 2... ; L gh 0 q = 1 = q = 1 The second equation follows from the following expression for L g 0 : L g 0 = n= n : b n c n := n(b n c n + c n b n ) + c 1 b 1 c 1 b 1 n=2 In conclusion, we correctly reproduce the conditions for on physical states: L x n ψ a = (L x 0 1) ψ a = 0 The most general physical state has therefore the following form: where λ is an arbitrary state. Phys. = q = 1, ψ a + Q λ Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 38 / 59
Conclusions Quantizing correctly the bosonic string in a covariant gauge we have obtained the same results as in the light-cone gauge! namely the correct values for the Regge intercept and the critical dimensions: α 0 = 1 d = 26 It turns out the equations characterizing the on-shell physical states are precisely those obtained in 1970 from factorizing the N-point amplitude without knowing that there was an underlying string theory!! The new feature is the presence in the covariant gauge of the reparametrization ghosts b and c. They are, however, in practice not relevant if we limit ourselves to the computation of the spectrum and of tree diagrams. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 39 / 59
They are, instead, essential for computing one-loop and especially multiloop diagrams. If one computes loop diagrams in the light-cone gauge one has only the physical transverse states circulating in the loop. In a covariant formulation one must keep all string oscillators and not just the physical transverse ones. One has then too many states circulating in the loops. The ghost degrees of freedom that are fermions, are there to cancel the contribution of the non-physical states kept in order to have a manifest Lorentz invariant formulation of the string theory. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 40 / 59
The material that follows is for helping those interested in understanding some of the more technical details. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 41 / 59
Faddeev-Popov procedure We define the functional integral by dividing by the volume of the reparametrizations and Weyl rescalings: Dg Dx V rep. V Weyl e S(x,g) In order to extract from Dg the two volumes, we perform the Faddeev and Popov procedure that can be applied to any theory with local gauge invariance. Starting from a fiducial metric ĝ αβ (ξ) we can transform it by a reparametrization and a Weyl transformation: ĝ ζ αβ (ξ 2ω(ξ) ξγ ξ δ ) = e ξ α ξ β ĝγδ(ξ) ; ζ (ɛ, ω) We define the Faddeev-Popov measure by 1 = FP (g) Dζδ(g ĝ ζ ) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 42 / 59
Dζ is the invariant measure of the reparametrizations plus Weyl transformations. We can insert 1 in the functional integral, integrate over h and rename the dummy variable x x ζ : Dζ Dx ζ V rep. V Weyl FP (ĝ ζ ) e S(x ζ,ĝ ζ ) Using the gauge invariance of the action, of the measure and of FP one gets: Dζ Dx V rep. V Weyl FP (ĝ) e S(x,ĝ) Nothing depends on ζ and therefore we can integrate on it producing the volume of the invariance groups that cancels the volume in the denominator: Dx FP (ĝ) e S(x,ĝ) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 43 / 59
FP can be computed for ζ near the identity where: ĝ αβ ĝ ζ αβ 2δωg αβ α ɛ β β ɛ α and = (2δω γ ɛ γ )g αβ 2(P 1 ɛ) αβ (P 1 ɛ) αβ = 1 2 ( αɛ β + β ɛ α g αβ γ ɛ γ ) Near the identity we can compute the Faddeev-Popov determinant: ( ) 1 FP (ĝ) = Dɛ Dδω δ 2(δω ˆ ɛ)ĝ + 2ˆP 1 ɛ = Dɛ DδωD β e 2πi R d 2 ξ ĝβ αβ ( 2(δω ˆ ɛ)ĝ+2ˆp 1 ɛ) αβ The integration over δω forces β αβ to be traceless and one gets: 1 FP (ĝ) = DɛDβ e 4πi R d 2 ξ ĝβ αβ (ˆP 1 ɛ) αβ In this way we have computed the inverse determinant. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 44 / 59
In order to obtain directly the Faddeev-Popov determinant we have to replace any bosonic with a fermionic field: obtaining FP (ĝ) = β αβ b αβ ; ɛ α c α DcDb e 4πi R d 2 ξ ĝb αβ (ˆP 1 c) αβ where b is traceless. We call them ghosts because they are Grassmann, but not Dirac fermions. In conclusion, with a convenient normalization of the two ghost fields we obtain the following gauge fixed partition functiion: Z (ĝ) = Dx Db Dc e Sx S gh where S gh = 1 2π d 2 ξ ĝ b αβ ˆ α c β ; S x = 1 2π d 2 ξ ĝ ĝ αβ α x β x Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 45 / 59
Determinants in the numerator or in denominator If we have a gaussian integral with bosonic complex variables we get: d 2 z i e P i,j z i M ij z j = 1 det M i Instead, if we have a gaussian integral involving fermionic (Grassmann) complex variables we get: d 2 ψ i e P i,j ψ i M ij ψ j = det M i Remember that Grassmann variables anticommute: ψ i ψ j = ψ j ψ i ; ψ i ψ j = ψ j ψ i = ψ 2 i = 0 The determinant is computed using the following integration rules: dψ = 0 ; dψψ = 1 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 46 / 59
We have made x dimensionless by dividing it by 2α. In the conformal gauge and world-sheet light-cone coordinates z = ξ 1 + iξ 2 and z = ξ 1 iξ 2 where g αβ = ρ(ξ)δ αβ = g z z = g zz = ρ 2 ; g zz = g z z = 0 the ghost action becomes: S gh = 1 d 2 ξ ĝ b αβ ĝ αγ ˆ γ c β = 1 2π 2π d 2 ξ [b cẑ] zz z c z + b z z z In the present derivation we have ignored the possibility of anomalies. It can be shown that, in general, we can have a Weyl anomaly that disappears, however, if the space-time dimension d = 26. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 47 / 59
Conformal tensors Consider string theory in the conformal gauge, characterized by the following choice of the Euclidean world-sheet metric tensor: g αβ = ρ(ξ) δ αβ ; ρ = e ϕ(ξ) We have seen that the conformal transformations leave in the conformal gauge. It is convenient to work with light-cone coordinates: z = ξ 1 + iξ 2 ; z = ξ 1 iξ 2 In these coordinates the invariant length is defined by: (ds) 2 = g αβ dξ α dξ β = ρ 2 [dzd z + d zdz] implying the following light-cone coordinates for the metric tensor: g zz = g z z = g zz = g z z = 0 g z z = g zz = 2/ρ g z z = g zz = ρ/2 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 48 / 59
In terms of the light-cone components of a vector: ɛ z = ɛ 1 + iɛ 2 ɛ z = ɛ 1 iɛ 2 ɛ z = 1 2 (ɛ 1 iɛ 2 ) ɛ z = 1 2 (ɛ 1 + iɛ 2 ) one can define the scalar product between two vectors: A α B α = [A z B z + A z B z ] = [A z B z + A z B z ] = A z B z + A z B z where the indices are lowered and raised by means of the metric tensor as follows: A z = g z z A z A z = g z z A z A z = g zz A z A z = g zz A z The covariant derivatives are given by: α ɛ β = α ɛ β + Γ β αγɛ γ, α ɛ β = α ɛ β Γ γ αβ ɛ γ where the Christoffel symbols are given in the conformal gauge by: Γ γ αβ = gγδ [ ] 2 [ αg βδ + β g αδ δ g αβ ] = α δ γ log ρ β + βδ γ α γ δ αβ 2 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 49 / 59
Only two non-vanishing components: Γ z zz = ρ 1 z ρ, Γ z z z = ρ 1 z ρ One gets: z ɛ z = z ɛ z ; z ɛ z = ρ 1 z ρɛ z z ɛ z = z ɛ z ; z ɛ z = ρ 1 z ρɛ z Raising the index of the covariant derivative with the metric tensor one gets: z ɛ z = 2 ρ zɛ z ; z ɛ z = 2 ρ 2 zρɛ z z ɛ z = 2 ρ zɛ z ; z ɛ z = 2 ρ 2 zρɛ z Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 50 / 59
The action of the covariant derivative on a conformal tensor T z z with rank n is given by: n z T z z = z T z z n zt z z = ρ n z ρ n T z z z nt z z = 2 z z zt z ρ nt z z = 2ρ 1 n z ρ n T z z Under a general relativity transformation a vector transforms as follows: ɛ µ (ξ) ξµ ξ ν ɛν (ξ ) In terms of light-cone coordinates one gets: ɛ z (z, z) z w ɛw = 1 w (z) ɛw ɛ z (z, z) z w ɛ w = 1 w ( z) ɛ w We have restricted us to conformal transformations for which: w z = w z = 0 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 51 / 59
A conformal tensor of rank n transforms as follows under a conformal transformation: T z z (z) 1 [w (z)] n T w w (w) ; T z z ( z) 1 [ w ( z)] n T w w ( w) T z z (z) [w (z)] n T w w (z) ; T z z ( z) [ w ( z)] n T w w ( w) We have lowered the indices with the metric tensor and we have used the transformation of ρ under a conformal transformation: ρ(z, z) w (z) w ( z)ρ(w, w) The covariant derivative z n applied to a conformal tensor of rank n gives a conformal tensor of rank n + 1: z nt(n) z...z (z) 2 ρ zt z...z (n) (z) [w (z)] n 1 w T(n) w...w (w) Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 52 / 59
The covariant derivative n z applied to a conformal tensor of rank n gives a conformal tensor with rank n-1: n zt z...z (n) (z) ρ n (z) z ρ n (z)t z...z (n) (z) [w (z)] 1 n w T(n) w...w (w) In conclusion, the action of the covariant derivative on a conformal tensor of rank n gives the following tensors: T (n) T (n) z n (n+1) n+1 z T T (n) n z T (n 1) z n 1 T (n) In terms of the covariant derivatives we can define the following Laplacians: (+) n = n+1 z z n ( ) n = z n 1 n z Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 53 / 59
They satisfy the relation: (+) n ( ) n where R is the scalar curvature: R = 4 ρ 2 ϕ z z = n 2 R Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 54 / 59
The ghost number current The ghost Lagrangian is invariant under a U(1) current that acts on the ghost fields as follows: δb = iαb δc = iαc The generator corresponding to this invariance can be constructed in terms of the the ghost number density: j(z) =: c(z)b(z) : Using the b c contraction one can to compute the following OPE s: 1 j(z)j(ζ) = (z ζ) 2 T g (z)j(ζ) = j(ζ) ζ z ζ + j(z) (z ζ) 2 3 (z ζ) 3 j(z) is a conformal field with dimension = 1, but there is an extra term that makes the analysis more complicated. Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 55 / 59
The ghost coordinates b(z) and c(z) are conformal fields with conformal dimension = 2 and -1 respectively. Their expansion in term of the harmonic oscillators is given by: b(z) = b n z n 2 c(z) = The oscillators satisfy the algebra: c n z n+1 {c n, b m } = δ n+m,0 ; {c n, c m } = {b n, b m } = 0 Introduce the Fourier components of j(z) and T g (z) j n = dzz n j(z) = : c n m b m : 0 m L g n = dzz n+1 T g (z) = (m + n) : b n m c m : 0 m Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 56 / 59
They satisfy the algebra: [j n, j m ] = nδ n+m,0 ; [L g n, j m ] = mj n+m 3 2 n(n + 1)δ n+m,0 [L g n, L g m] = (n m)l g n+m 26 12 n(n2 1)δ n+m,0 It can be reproduced in terms of the oscillators only if the normal ordering is defined in the following non-conventional way: { cn b : c n b n := n if n 1 b n c n if n 2 From the algebra it turns out that j 0 is not anti-hermitian as j n for n 0, but it satisfies the more complicated relation: j 0 + j 0 3 = 0 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 57 / 59
Therefore if q > is an eigenstate of the ghost number j 0 q >= q q > the previous equation implies that < q q > δ q,3 q It can be checked that the state defined by b n q >= 0 if n > q 2 c n q >= 0 if n q + 2 is an eigenstate of the ghost number operator with ghost number equal to q. It satisfies also the equation: L 0 q >= 1 q(q 3) q > 2 Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 58 / 59
Among those eigenstates of j 0 the only one, that is annihilated by the three generators of the projective group is q = 0 >: L 0 q = 0 >= L 1 q = 0 >= L 1 q = 0 >= 0 q = 0 > is therefore projective invariant. The non-anti-hermicity of j 0 implies that, if we compute any matrix element containing objects with a definite ghost number, we will get zero unless the total ghost charge is equal to 3. In particular, in order to compute b c the contraction, we must compute the following matrix element: < q = 3 b(z)c(ζ) q = 0 >= 1 z ζ Paolo Di Vecchia (NBI+NO) Covariant quantization Collège de France, 19.02.10 59 / 59