ebook img

Quantum Strings and Superstrings PDF

0.46 MB·
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Quantum Strings and Superstrings

Quantum Strings and Superstrings D. R. Grigore 1 6 Dept. of Theor. Phys., Inst. Atomic Phys. 0 Bucharest-M˘agurele, P. O. Box MG 6, ROMAˆNIA 0 2 n a J 6 1 2 Abstract v 0 In the first sections of this paper we give an elementary but rigorous approach to the 0 construction of the quantum Bosonic and supersymmetric string system continuing the 1 6 analysis of Dimock. This includes the construction of the DDF operators without using 0 the vertex algebras. Next we give a rigorous proof of the equivalence between the light- 5 0 cone and the covariant quantization methods. Finally, we provide a new and simple proof / of the BRST quantization for these string models. h t - p e h : v i X r a 1e-mail: [email protected],grigore@ifin.nipne.ro 1 Introduction We follow the analysis of Dimock [2], [3] concerning the construction of the quantum Hilbert space of the Bosonic string and of the superstring the purpose being of presenting the facts as elementary as possible and in the same time rigorous. To be able to do that we start with a very simple method of constructing representations of the Virasoro and Kac-Moody algebras acting in Bosonic and Fermionic Fock spaces. We present a different way of computing things based on Wick theorem. Then we remind the main ingredients of the light-cone formalism and we prove the Poincar´e invariance of the string and superstring systems. Most of the results obtained in this paper are known in the standard literature[9], [10], [11], [12], [8]butweoffersomenewsimpleproofs. Therearevariousattempts to clarify the main mathematical aspects of this topics (see the references) but we are closest to the spirit of [17], [15], [19] and [2],[3]. To establish the equivalence between the light-cone and the covariant formalism one needs the so-called DDF operators. Usually DDF operators are introduced using formal series which are elements of the so-called vertex algebras [5]. We present here an elementary derivation in the Bosonic case without using vertex algebras. Next we show that the covariant construction is equivalent (in the sense of group representation theory) with the light-cone construction; we are using the Hilbert space fiber-bundle formalism [24]. Finally we give an elementary proof of the BRST quantization procedure for all the string models considered previously. In particular we are able to find very explicit formulas for the cohomology of the BRST operator. 2 Quadratic Hamiltonians in Fock spaces 2.1 Bose systems of oscillators We consider the Hilbert space with the scalar product < , > generated by N Bose oscilla- H · · tors; the creation and annihilation operators are a ,a+, m = 1,...,N and verify m m [a ,a+] = δ I [a ,a ] = 0, [a+,a+] = 0, m,n = 1,...,N. (2.1) m n mn · m n m n ∀ If Ω is the vacuum state we have a Ω = 0, m > 0. As usual [12] it is more convenient m ∈ H to introduce the operators α ,m = 1,..., N according to: m {± ± } α = √m a , m > 0 α = a+ , m < 0 (2.2) m m ∀ m m ∀ − Then the canonical commutation relation from above can be compactly written as follows: [α ,α ] = m δ I, m,n = 0 (2.3) m n m+n · ∀ 6 where δ = δ and we also have m m,0 α Ω = 0, m > 0 m α+ = α m. (2.4) m −m ∀ 1 To apply Wick theorem we will also need the 2-point function; we easily derive < Ω,α α Ω >= θ(m) m δ , m,n = 0 (2.5) m n m+n ∀ 6 where θ is the usual Heaviside function. The main result is the following Theorem 2.1 Let us consider operators of the form 1 H(A) A : α α : (2.6) mn m n ≡ 2 where A is a symmetric matrix AT = A and the double dots give the Wick ordering. Then: [H(A),H(B)] = H([A,B])+ω (A,B) I (2.7) α · where the commutator [A,B] = A B B A is computed using the following matrix product · − · (A B) m A B (2.8) pq pm m,q · ≡ − m=0 X6 and we have defined 1 ω (A,B) mn A B (A B). (2.9) α mn n, m ≡ 2 − − − ↔ m,n>0 X Proof: Is elementary and relies on computing the expression H(A)H(B) using Wick theo- rem: H(A)H(B) =: H(A)H(B) : 1 + A B [< Ω,α α Ω >: α α : +(m n)+(p q)+(m n,p q)] mn pq m p n q 4 ↔ ↔ ↔ ↔ + < Ω,α α Ω >< Ω,α α Ω > I+ < Ω,α α Ω >< Ω,α α Ω > I] (2.10) m p n q m q n p · · (cid:4) If we use the 2-point function we easily arrive at the formula from the statement. Nowweextend thepreviousresult tothecasewhenwehaveaninfinitenumber ofoscillators. We consider that m Z and the matrix A is semi-finite i.e. there exists N > 0 such that ∗ ∈ A = 0 for m+n > N. (2.11) mn | | We note that if A and B are semi-finite then A B is also semi-finite. We will need the · algebraic Fock space which is the subspace with finite number of particles. The 0 D ⊂ H elements of are, by definition, finite linear combinations of vectors of the type a+ ...a+ Ω; D0 m1 mk the subspace is dense in . Then one canprove easily that the operatorH(A) is well defined 0 D H on , leaves invariant and formula (2.7) remains true in . 0 0 0 D D D We will need an extension of this result namely we want to consider the case when the index m takes the value m = 0 also i.e. m Z and we preserve the commutation relation (2.3). We ∈ note that the relation (2.5) is not valid if one (or both) of the indices are null so the previous proof does not work. It can be proved, however, directly that the statement of the theorem remains true if we extend accordingly the definition of the matrix product including the value 0 also i.e in (2.8) we leave aside the restriction m = 0. In general, the Hilbert space of this case will not be entirely of Fock type: the operators α m = 0 will live in a Fock space tensored m 6 with another Hilbert space where live the operators α . 0 2 2.2 A Systems of Fermi Oscillators We consider the Hilbert space with the scalar product < , > generated by N Fermi H · · oscillators; the creation and annihilation operators are b ,b+, m = 1,...,N and verify m m b ,b+ = δ I b ,b = 0, b+,b+ = 0, m,n = 0. (2.12) { m n} mn · { m n} { m n} ∀ 6 If Ω is the vacuum state we have b Ω = 0, m > 0. As above it is more convenient to m ∈ H introduce the operators b ,m = 1,..., N according to: m {± ± } b = b , m > 0 b = b+ , m < 0 (2.13) m m ∀ m −m ∀ and the canonical anti-commutation relation from above can be compactly rewritten as follows: b ,b = δ I, m,n = 0. (2.14) m n m+n { } · ∀ 6 We also have b Ω = 0, m > 0 m b+ = b . (2.15) m m − The 2-point function is in this case: < Ω,b b Ω >= θ(m)δ , m,n = 0. (2.16) m n m+n ∀ 6 The main result is the following Theorem 2.2 Let us consider operators of the form 1 H(A) A : b b : (2.17) mn m n ≡ 2 where A is a antisymmetric matrix AT = A and the double dots give the Wick ordering. Then: − [H(A),H(B)] = H([A,B])+ω (A,B) I (2.18) b · where the commutator [A,B] = A B B A is computed using the following matrix product · − · (A B) A B (2.19) pq pm m,q · ≡ − m=0 X6 and we have defined 1 ω (A,B) A B (A B). (2.20) b mn n, m ≡ 2 − − − ↔ m,n>0 X The proof is similar to the preceding theorem. The previous result can be extended to the case when we have an infinite number of oscillators i.e. m Z and the matrix A is semi-finite: ∗ ∈ theoperatorH(A)iswell definedonthecorresponding algebraicFockspace , leaves invariant 0 D this subspace and the previous theorem remains true. 3 2.3 Another System of Fermi Oscillators We extend the previous results to the case when the value m = 0 is allowed i.e. the Hilbert space is generated by the operators d , m = N,...,N and verify m H − d ,d = δ I m,n m n mn { } · ∀ d = d m †m −m ∀ d Ω = 0 m > 0 (2.21) m ∀ where Ω is the vacuum state. One can realize this construction if one takes = s ∈ H H F ⊗ C where is the Fock space from the preceding Section, is the Clifford algebra generated by F C the element b0 verifying b†0 = b0 b20 = 1/2 and the skew tensor product ⊗s is chosen such that the operators d b s I m = 0 d I s b (2.22) n n 2 0 1 0 ≡ ⊗ ∀ 6 ≡ ⊗ verify (2.21). Another more explicit construction is to consider the Hilbert space is generated by the creation and annihilation operators b ,b+, m = 0,...,N such that we have b Ω = m m m 0, m 0 and to define the operators d ,m = N,...,N according to: m ≥ {− } b , for m > 0 m dm =  √12(b0 +b+0), for m = 0 (2.23) b+ , for m < 0  m − The 2-point function is in thiscase: < Ω,d d Ω >= θ (m)δ , m,n (2.24) m n + m+n ∀ where we have introduced the modified Heaviside function 1, for m > 0 θ (m) = 1, for m = 0 . (2.25) + 2 (0, for m < 0 It follows that the main result is similar to the previous one: Theorem 2.3 Let us consider operators of the form 1 H(A) A : d d : (2.26) mn m n ≡ 2 where A is a antisymmetric matrix AT = A and the double dots give the Wick ordering. Then: − [H(A),H(B)] = H([A,B])+ω (A,B) I (2.27) d · where the commutator [A,B] = A B B A is computed using the following matrix product · − · N (A B) A B (2.28) pq pm m,q · ≡ − m= N X− 4 and we have defined 1 ω (A,B) θ (m)θ (n)A B (A B). (2.29) d + + mn n, m ≡ 2 − − − ↔ m,n 0 X≥ The proof is similar to the preceding Section. The previous result can be extended to the case when we have an infinite number of oscillators i.e. m Z and the matrix A is semi-finite: ∈ theoperatorH(A)iswell definedonthecorresponding algebraicFockspace , leaves invariant 0 D this subspace and the previous theorem remains true. Remark 2.4 It follows easily that the expressions ω ,ω ,ω are 2-cocyles. They are quantum α b d obstructions (or anomalies) because they do not appear if we work in classical field theory replacing the commutators by Poisson brackets. 3 Virasoro Algebras in Fock Spaces We have constructed some Fock spaces for which we have a nice commutation relation of the bilinear operators. In all these cases we will be able to construct representations of the Virasoro algebra taking convenient expressions for the matrix A. We give the details corresponding to the structure of the closed strings. 3.1 Bose Case Theorem 3.1 In the conditions of theorem 2.1 the operators given by the formulas 1 L : α α : (3.1) m m n n ≡ 2 − n=0,m X6 are well defined on the algebraic Fock subspace, leave invariant this subspace and verify the following relations: m(m2 1) [L ,L ] = (m n)L + − δ I m n m+n m+n − 12 · L+ = L m Z m −m ∀ ∈ L Ω = 0. (3.2) 0 Proof: We consider the matrices A given by (A ) δ and we are in the conditions m m pq p+q m ≡ − of theorem 2.1: the matrices A are symmetric and semi-finite. It remains to prove that m [Am,An] = (m − n)Am+n and to compute the 2-cocy(cid:4)cle ωα(Am,An) = m(m122−1)δm+n and we obtain the commutation relation from the statement. One can express everything in terms of the original creation and annihilation operators a#; m if we use the holomorphic representation for the harmonic oscillator operators a+ = z a = m m m ∂ we obtain the formula (7.2.10) from [19]. ∂zm 5 It is important that we can extend the previous results to the case when α = 0 (see the 0 6 end of Subsection 2.1.) To preserve (2.3) we impose [α ,α ] = 0 m Z (3.3) 0 m ∗ ∀ ∈ and we keep the relation (3.1) without the restrictions n = 0,m; explicitly: 6 1 L = ...+α α m = 0, L = ...+ α2 (3.4) m m 0 ∀ 6 0 2 0 where by ... we mean the expressions from the preceding theorem corresponding to α 0. 0 ≡ Eventually we have to consider a larger Hilbert space containing as a subspace the Fock space generatedbytheoperatorsα n = 0. Bydirect computationswe canprove thatthestatement n 6 of the theorem remains true; also we have [L ,α ] = n α . (3.5) m n m+n − In the following we will use only the case when α = 0. 0 6 3.2 First Fermi Case We have a similar result for the Fermi operators of type b: we will consider that these operators are b indexed by r 1 +Z and they verify: r ∈ 2 1 b ,b = δ I, r,s +Z r s r+s { } · ∀ ∈ 2 b Ω = 0, r > 0 r b+ = b . (3.6) r r − Then: Theorem 3.2 In the conditions of theorem 2.2 the operators given by the formulas 1 m 1 L r + : b b := r : b b : (3.7) m r m+r r m+r ≡ 2 2 − 2 − r∈X1/2+Z (cid:16) (cid:17) r∈X1/2+Z are well defined on the algebraic Fock subspace, leave invariant this subspace and verify the following relations: m(m2 1) [L ,L ] = (m n)L + − δ I. m n m+n m+n − 24 · m [L ,b ] = r + b m r m+r − 2 (cid:16) L+(cid:17)= L m m − L Ω = 0. (3.8) 0 Proof: We consider the matrices A given by (A ) 1(s r)δ and we are in the m m rs ≡ 2 − r+s−m conditions of theorem 2.2: the matrices A are anti-symmetric and semi-finite. It remains to m compute the 2-cocycle ω to obtain the commutation relation from the statement. (cid:4) b If we use the representation in terms of Grassmann variables b+ = ξ b = ∂ for these r r r ∂ξr operators we obtain the formulas from [19] pg. 225. 6 3.3 Second Fermi Case Finally we have a similar result for the Fermi operators of type d. Theorem 3.3 In the conditions of theorem 2.3 the operators given by the formulas 1 m 1 L n+ : d d := n : d d : (3.9) m n m+n n m+n ≡ 2 2 − 2 − Xn∈Z (cid:16) (cid:17) Xn∈Z are well defined on the algebraic Fock subspace, leave invariant this subspace and verify the following relations: m(m2 +2) [L ,L ] = (m n)L + δ I. m n m+n m+n − 24 · m [L ,d ] = n+ b m n m+n − 2 (cid:16) L+(cid:17)= L m m − L Ω = 0. (3.10) 0 Proof: We consider the matrices A given by (A ) 1(q p)δ and we are in the m m pq ≡ 2 − p+q−m conditions of theorem 2.3: the matrices A are anti-symmetric and semi-finite. It remains to m compute the 2-cocycle ω to obtain the commutation relation from the statement. (cid:4) d We observe that in the commutation relation of the preceding theorem the expression of the cocycle is different from the usual form c m(m2−1); we can fix this inconvenience immediately if 12 we define: 1 L˜ L m = 0 L˜ L + I; (3.11) m m 0 0 ≡ ∀ 6 ≡ 16 · we obtain in this case: m(m2 1) ˜ ˜ ˜ [L ,L ] = (m n)L + − δ I. (3.12) m n m+n m+n − 24 · and 1 L˜ Ω = I. (3.13) 0 16 · 3.4 Multi-Dimensional Cases In the preceding Subsections we have obtained three representations of the Virasoro algebra corresponding to (c,h) = (1,0), 1,0 , 1, 1 . 2 2 16 The previous results can be easily extended to a more general case. Let ηjk = η , j,k = jk (cid:0) (cid:1) (cid:0) (cid:1) 1,...,D be a diagonal matrix with the diagonal elements ǫ ,...,ǫ = 1. 1 D ± In the Bose case we can consider that we have the family of operators: αj ,m Z,j = m ∈ 1,...,D acting in the Hilbert space (α) such that: F [αj ,αk] = m η δ I, m,n m n jk m+n · ∀ αj Ω = 0, m > 0 m (αj )+ = αj m. (3.14) m −m ∀ 7 We can define 1 L(α) η : αj αk : (3.15) m ≡ 2 jk m−n n n Z X∈ and we have: m(m2 1) [L(α),L(α)] = (m n)L(α) +D − δ I. (3.16) m n − m+n 12 m+n · In the first Fermi case we have the operators: bj,r 1 + Z,j = 1,...,D acting in the r ∈ 2 Hilbert space (b) such that: F bj,bk = η δ I, r,s { r s} jk r+s · ∀ bjΩ = 0, r > 0 r (bj)+ = bj r. (3.17) r −r ∀ We define 1 m L(b) r+ η : bj bk : (3.18) m ≡ 2 2 jk −r m+r r∈X1/2+Z (cid:16) (cid:17) are well defined and verify the following relations: m(m2 1) [L(b),L(b)] = (m n)L(b) +D − δ I. (3.19) m n − m+n 24 m+n · Finally, in the second Fermi case we have the operators dj ,m Z,j = 1,...,D acting in m ∈ the Hilbert space d such that F dj ,dk = η δ I { m n} jk m+n · dj Ω = 0, m > 0 m (dj )+ = dj m. (3.20) m −m ∀ We can define 1 m L(d) n+ η : dj dk : (3.21) m ≡ 2 2 jk −n m+n Xn∈Z (cid:16) (cid:17) and we have the following relations: m(m2 +2) [L(d),L(d)] = (m n)L(d) +D δ I. (3.22) m n − m+n 24 m+n · We redefine D L˜(d) L(d) m = 0 L˜(d) L(d) + I; (3.23) m ≡ m ∀ 6 0 ≡ 0 16 · we obtain in this case: m(m2 1) [L˜(d),L˜(d)] = (m n)L˜(d) +D − δ I. (3.24) m n − m+n 24 m+n · D ˜(d) L Ω = I. (3.25) 0 16 · 8 In all these cases the 2-cocycle gets multiplied by D. The Hilbert space has a positively defined scalar product only in the case ǫ = = ǫ = 1. 1 D ··· We can combine the Bose and Fermi cases as follows. We consider the Hilbert spaces (NS) (α) (b) and (R) (α) (d) respectively; the Virasoro operators are F ≡ F ⊗F F ≡ F ⊗F L(NS) L(α) I +I L(b) m ≡ ⊗ 2 1 ⊗ L(R) L(α) I +I L˜(d) (3.26) m ≡ ⊗ 2 1 ⊗ and we have in both cases: m(m2 1) [L(NS,R),L(NS,R)] = (m n)L(NS,R) +D − δ I. (3.27) m n − m+n 8 m+n · These two constructions are called Neveau-Schwartz (and Ramond) respectively. In these cases one can extend the Virasoro algebra to a super-Virasoro algebra [12]. We conclude this Subsection with some simple propositions. First we have a natural repre- sentation of the rotation group in the Fock space: Proposition 3.4 Suppose that the signature of η is (r,s); then we can define in the corre- sponding Hilbert spaces a representation of the Lie algebra so(r,s) according to: 1 J(α)jk i αj αk (j k) ≡ − m −m m − ↔ m>0 X J(b)jk i bj bk (j k) ≡ − −r r − ↔ r>0 X J(d)jk i dj dk (j k) (3.28) ≡ − −m m − ↔ m>0 X respectively. Indeed, we can obtain directly from the (anti)commutation relations in all the cases: [Jkl,Jpq] = i (ηlp Jjq +ηjq Jlp ηkp Jlq +ηlq Jkp). (3.29) − − We also note that the Virasoro operators are rotational invariant: in all cases [Jkl,L ] = 0. (3.30) m Next, we have a proposition which will be important for proving the Poincar´e invariance: Proposition 3.5 If Ψ is an arbitrary vector from the algebraic Hilbert space then we 0 ∈ D have in all cases L Ψ = 0 (3.31) m for sufficiently large m > 0. 9

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.