arxiv: v2 [hep-th] 26 Oct 2009

Transcription

1 Ring of physical states in the M(3) Minimal Liouville gravity O Alekseev a M Bershtein ab a Landau Institute for Theoretical Physics 443 Chernogolovka of Moscow Region Russia b Independent University of Moscow Bolshoy Vlasyevsky pereulok 900 Moscow Russia alekseev@itpacru mbersht@gmailcom Abstract arxiv: v [hep-th] 6 Oct 009 We consider the M( 3) Minimal Liouville gravity whose states in the gravity sector are represented by irreducible modules of the Virasoro algebra We present a recursive construction for BRST cohomology classes This construction is based on using an explicit form of singular vectors in irreducible modules of the Virasoro algebra We construct an algebra of operators acting on the BRST cohomology space The operator algebra of physical states is established by use of these operators Introduction The Liouville gravity is a dynamic theory of the metric on certain two-dimensional manifold whose action is induced by a critical matter ie matter described by a conformal field theory (CFT) Simple reaction of conformal theories to the scaling of the metric leads to the universal form of the effective action of the generated gravity called Liouville gravity [] In the David and Distler-Kawai (DDK) approach [] the Liouville gravity can be represented as a tensor product of a conformal matter theory the Liouville theory and a ghost system Schematically the action for the Liouville gravity can be written in the form S = S M + S L + S gh () The consistency condition by David and Distler-Kawai impose a restriction on the central charges of these theories The restriction reads that the total central charge of the critical matter the Liouville theory and the ghosts system vanishes c L + c M + c gh = 0 () Thus in the critical gravity these three field theories are formally decoupled and only interact due to the conformal anomaly cancellation condition () In this paper we consider the particular case of the Liouville gravity namely a Minimal Liouville gravity where the conformal matter is a Minimal CFT [3] In this case it is possible to investigate a space of physical states in detail The simplest states the ghost number are the matter highest weight vectors dressed by an appropriate Liouville highest weight vectors such that the total conformal dimension of the state (including ghosts) is equal to 0 The simple structure of these states make it possible to study the corresponding operators in detail In particular their three- and four-point functions and an operator algebra have been found explicitly [45] Lian and Zuckerman [6] have realized that for a given matter highest weight state there exists infinitely many additional states with arbitrary ghost numbers It is an interesting problem to consider additional states in more detail and investigate the operator algebra of the corresponding operators Note that there are two versions of the Liouville gravity In the first version the gravity sector is realized by a theory of free scalar field From the mathematical point of view it may be said that the space of states in gravity sector is direct sum of the Feigin-Fuchs modules [7] In this case the operator algebra has been investigated by Kanno and Sarmadi [8] See section for the definition of the ghost number

2 In the second version of the Liouville gravity the space of states in the gravity sector is represented by irreducible modules [9] In has been shown [6] that these two versions of the Liouville gravity possess different spaces of physical states In this paper we consider the second formulation of the Liouville gravity It is an interesting problem to consider the additional states The natural way to construct physical states is the BRST procedure In the BRST quantization procedure physical states are identified with BRST cohomology classes Generally relative cohomology classes are called physical In this paper we present a recursive procedure to construct relative cohomology classes This generalizes construction of [0] However we show that the definition of physical states as relative cohomology classes is not completely suitable The problem is that the operator algebra of relative cohomology classes is not associative In order to avoid this problem we extend the space of states and consider absolute cohomology classes It is convenient to start from relative cohomology classes and construct the absolute cohomology classes using certain procedure We define certain operators that acts on the cohomology space These operators allow us to the calculate absolute cohomology and investigate the operator algebra of absolute cohomology classes Notation The natural way to quantize the theory () with the constraint () is the BRST procedure Let (b c) be the conformal ghost system of weights ( ) The ghost fields b and c admit the following Laurent expansions b(z) = n= b n z n+ c(z) = n= c n z n where the coefficients b n and c n form an algebra with the only nonzero anticommutation relation {b m c n } = δ m+n0 We denote the Fock representation of the ghost system by Λ bc Define a vacuum state 0 g in Λ bc by the conditions b m 0 g = 0 m c n 0 g = 0 n This vacuum is an SL( C) invariant with the conformal dimension 0 We assign a ghost number 0 to this vacuum The ghost field b decreases the ghost number by while c increases the ghost number by It is convenient to define a vacuum v g = c 0 g of the conformal dimension and the ghost number Let us consider a conformal field theory (CFT) with the central charge c = 6 In this paper we consider only chiral part of the CFT Let T(z) denote stress tensor The modes L n of the stress tensor are given by the Laurent expansion L n T(z) = z n+ n= It was shown in [3] that operators L n satisfy commutation relations n 3 n [L n L m ] = (n m)l n+m + δ n+m0 c and generate the Virasoro algebra (Vir) Then the space of states in a conformal field theory is representation of Vir Let M be any representation of the CFT Introduce a Hilbert space C abs (M) = M Λ bc Denote by Ck abs (M) the subspace of states of the definite ghost number k The superscript abs stresses the fact that the space C abs (M) forms an absolute BRST complex with respect to the BRST operator: ( Q = : T(z) + ) T gh (z) c(z) : c 0 = = L n c n (m n) : c m c n b n+m : c 0 n= mn=

3 where T gh (z) is the stress tensor for the ghost system It is well known that Q = 0 if and only if c M = 6 We denote the cohomology space of C abs (M) by H abs (M) Let us introduce the subcomplex C rel (M) = {w C abs (M) b 0 w = (L 0 + L gh 0 )w = 0} This subcomplex is called the relative BRST complex We denote its cohomology by H rel (M) In this paper we restrict our consideration to the M( 3) Minimal gravity where the conformal matter is a Minimal CFT M 3 with the central charge c M = 0 The only matter primary field possess the conformal dimension M = 0 and the only representation in the Hilbert space is the identity representation I One may say that the matter sector of the model is trivial The gravitational sector is represented by the direct sum of the Virasoro irreducible modules L with the central charge c L = 6 and the highest weights C Thus the case M = C ( I L ) = corresponds to the Minimal Liouville Gravity M( 3) Let L be the highest weight vector in the Vir irreducible module L It is convenient to define a vacuum vector in C (L ) by Ψ = L v g () In the BRST quantization procedure the physical states w are defined to be BRST cohomology classes that is Qw = 0 where the states w are not BRST exact 3 Relative BRST complex 3 Lian Zuckerman theorems First we describe Lian Zuckerman theorem for irreducible Vir representations Let us consider the relative BRST complex C rel (L ) where L is the irreducible Vir module with the highest weight The cohomology H ) depend on the value of the highest weight More precisely H ) is non-trivial for belongs to some countable set E = { b n } of complex numbers This numbers are given in terms of the Kac conformal dimensions C L as rs = 5 (3r + s) 4 = +3(n ) n 0 and b n = +3(n ) n (3) This numbers appear in the study of the structure of Verma modules with c = 6 [] By V denote the Verma module with highest weight and central charge c = 6 The Verma module V ao is irreducible: V a0 = L a0 But the Verma modules V a and V b possess ull vector of the weight It means that both V a and V b contain the module V a0 as a submodule This can be continued: there is an infinite ladder of Verma modules V ak V bk k = that contain the modules V ak and V bk as submodules This can be represented by the following embedding diagram []: a 6 6 a b 6 a 3 b 3 3

4 By the (embedding) level of the modules V ak V bk we shall call the value k An arrow connecting two nodes represents the fact that the module V is a submodule of the module V In this case the highest vector V as a vector in the module V is ull vector of the form D V with the operator D being a linear combination of products of the Virasoro generators L k k > 0 Lian and Zuckerman proved in [6] that the relative cohomology classes H rel (L ) are non-trivial if and only if E For each E the dimension of the cohomology space H ) is given by k = n + n + dimhk rel (L ) = dimhk rel (L b n ) = k = n + 3 n + 5 n (3) 0 otherwise where we assume that n > 0 In the case n = 0 the dimension of the cohomology space is dimhk rel (L ) = δ k Second we will need Lian Zuckerman theorem for Verma modules Consider the BRST complex C rel(v ) In this case Lian and Zuckerman also proved in [6] that the relative cohomology space H rel(v ) is non-trivial if and only if E The dimension of H rel (V ) is the following { k = n + dimhk rel (V an ) = dimhk rel (V bn ) = (33) 0 otherwise For any there is a map V L from Verma module with highest weight to irreducible Vir module with the same highest weight It induces maps C rel(v ) C ) and H rel(v ) H ) Comparing the ghost numbers we see that the image of unique class in H rel(v ) is a cohomology class in H rel (L ) of the highest ghost number The cohomology class of the highest ghost number in space H ) will be called the highest cohomology 3 Recursive Construction of the Basis States We suggest that there exists a relation between expressions for physical states and a form of the corresponding singular vectors This relation leads to an explicit recursive construction of cohomology classes More precisely we show that all cohomology classes can be determined in terms of the highest ones 3 The Highest Cohomology Classes The construction of the highest cohomology classes simplifies due to Proposition All the highest cohomology classes can be obtained by applying operators c c to the vacuum vectors Ψ intoduced in () This proposition easily follows from Proposition in [5] An essential part of the proof of this proposition is the following construction of the highest cohomology classes Let K n be the vector space of all (possibly infinite) linear combinations of antisymmetric monomials c i i n = c i c i c in (34) Let d(c i i n ) = i + i + + i n be the degree of the monomial (34) Let us define a differential δ : K n K n+ as follows δ(c i ) = n (α β)c α β δ(c i i n ) = ( ) j d(c ij )c i î j i n α+β=i As was already mentioned in the introduction in another approach the space of states in gravity sector is represented by free field (Feigin-Fuchs) modules The space of physical states in this theory is H rel (F) where F is a free field module with central charge c L = 6 In the case c 5 the free field module is isomorphic to either a Verma module or a contragradient Verma module (see []) In the first case cohomology H rel (F) = Hrel (V ) and corresponds to highest cohomology of H rel (L ) One can show that in second case cohomology H rel (F) corresponds to lowest cohomology of H rel (L ) This remark allows us to compare our results with those of [8] [3] [4] j= 4

5 It is easily to prove that δ = 0 We denote the cohomology space of this complex by H (K) This complex is isomorphic to the standard cohomology complex of the Lie algebra V ir >0 = L L and was studied well The Goncharova theorem [6] states that the dimensions of the homology spaces H n (K) is { n = 0 dimh n (K) = n > 0 Each cohomology space H n (K) is generated by two vectors u n v n with the degrees For example d(u n ) = 3n n d(v n ) = 3n + n (35) H (K) = c c and H (K) = c c 4 c c 5 3c 3 c 4 The vectors u n and v n are defined modulo δ exact terms Let us return to the construction of the highest cohomology classes for the Vir irreducible modules L an Consider the vector u n Ψ an = L an u n v g of the ghost number n + and the conformal dimension 0 (since + d(u n ) = 0 where in given in (3) and d(u n ) is given in (35)) It is clear that the vector u n Ψ an is BRST closed ie Q(u n Ψ an ) = 0 Moreover one can show that this vector is not BRST exact Thus the state O an = u n Ψ an is a representative of the relative cohomology H rel n+ (L ) The highest cohomology classes of any Vir irreducible module L bn can be constructed in a similar manner We give an explicit form of several highest cohomology classes O a = H a Ψ a = c Ψ a O a a = H a a Ψ a = c c 4 Ψ a O b = H b Ψ b = c Ψ b O b b = H b b Ψ b = (c c 5 3c 3 c 4 )Ψ b (36) 3 Recursion equations In this subsection we use the following notation Let us introduce the BRST complex C (V ) where V is the Verma module with highest weight Let V be the highest weight vector in this Verma module We define a vacuum vector in this complex by Ψ V = V v g To emphasize the difference between this vacuum vector and the vacuum vector defined in () we denote the latter by Ψ L The cohomology classes except the highest ones possess recursive construction 3 This construction makes it possible to find the expressions for cohomology classes related to the highest weights of the Verma modules in the embedding diagram one by one downwards starting from the top Let us perform several first steps explicitly Then we shall describe the n-th step Embedding level 0 The top node of the embedding diagram corresponds to the highest weight = The dimension of the cohomology space is dim Hk ) = δ k It is straightforward to find a representative of cohomology space But for further references we give an additional construction Let us consider the relative BRST complex C rel(v ) It is easy to check that the state H a0 Ψ V = Ψ V (37) is a representative of the cohomology classes Taking into account our discussion in the last part of Subsection 3 one can check that the state 3 The meaning of this construction is the following We take the resolution of a Vir irreducible module by Verma modules [] and calculate the BRST cohomology with coefficients in this resolution Then the cohomology classes for Vir irreducible modules can be obtained by spectral sequence 5

6 Ψ L = Ψ L (38) is a representative of the cohomology classes H rel (L a0 ) This state is the simplest and was the subject of the most of studies of correlation functions The corresponding operator contains a primary field in the matter sector (in our case it is an identity operator) dressed by an appropriate Liouville primary field Embedding level Nodes at the first level of the embedding diagram corresponds to the highest weights = 0 and = Let us consider the cohomology space H ) associated with the former By Lian Zuckerman results (3) one can realize that non-trivial cohomology classes belong to H0 rel (L a ) and H ) The highest cohomology class Oa a H ) is given in (36) The cohomology class from the space H0 ) can be constructed as follows: Step Let us consider the relative BRST complex C rel (V a ) The Verma module V a contains a singular vector at the first level This singular vector has the form D a0 V a for some operator D a0 Here we have D a0 = L Let us define the state D a0 Ψ V C rel (V ) (39) Note that the Verma modules with the highest weight vectors D a0 V a and V a0 are equivalent since both modules have the same highest weight = Thus one can consider the state (39) as Ha a0 0 Ψ V determined on the previous level (37) Consequently the state (39) is BRST closed since the state (37) is BRST closed Step We will show that the state (39) is also BRST exact Indeed due to Lian-Zuckerman results (33) the only non-trivial cohomology class in the space H rel (V a ) has the ghost number while the state (39) has the ghost number Therefore this state is BRST exact Hence there exists a certain operator Ha a0 such that Q(Ha a0 Ψ V ) = (30) The right side of this equation is completely specified by the unique cohomology class at the previous level and the embedding structure of the Verma modules Therefore in the sequel this equation will be called the recursive equation A solution of the equation (30) namely the operator Ha a0 is used to obtain a representative of the cohomology space H0 ) in the following: Step 3 We assert that the state Oa a0 = Ha a0 Ψ L represents a cohomology class in H0 ) Indeed by (30) and (39) we get 4 Q(Oa a0 ) = Ha a0 0 D a0 L a v g = 0 since D a0 L a = 0 Moreover one can show that the state Oa a0 is not BRST exact Thus it represents a cohomology class We have obtained all cohomology classes in the space H rel (L a ) and show the connection between these classes and singular vectors in the irreducible Vir module L a The cohomology classes in the space H ) can be obtained in a similar manner The highest cohomology class is given in (36) The other part of the construction is the same as we used in the space H0 ) Let us list the results There is a singular vector at the second level in the Verma module V b This vector has the form D a0 V b for some operator D a0 Here we have D a0 = (L +(/3)L ) The recursive equation reads Q(H a0 Ψ V ) = D a0 Ψ V (3) The solution of this equation allows us to specify the operator H a0 Ψ L of the cohomology space H0 rel (L b ) and hence the representative Embedding level Nodes at this level of the embedding diagram corresponds to the highest weights a = 4 and b = 6 We consider the cohomology space H rel (L a ) The dimensions and ghost numbers of the cohomology classes are given by Lian Zuckerman results (3) The highest cohomology class O a a is given in (36) 4 There is a map V a L a from the Verma module to the irreducible Vir module Consequently there exists the map H rel(va ) Hrel (La ) The rhs of (30) is in the kernel of this map while H Ψ V has an image H Ψ L which we denoted by O Under this map the equation (30) takes the form Q(O ) = 0 6

7 Let us consider the cohomology space H rel (L a ) Its two basic cohomology classes can be constructed in a similar manner as on the previous level There are two singular vectors in the Verma module V a The first one D aa V a is at the level 4 and the second one D ba V a is on the level 3 In this case the recursive equations are Q(H a a Ψ V a ) = O a a Q(H b a Ψ V a ) = O b a O a a = H a D aa Ψ V a O b a = H b D ba Ψ V a (3) The operators Ha a and Ha b specify the representatives Oa a = Ha a Ψ L a and Oa b = Ha b Ψ L a of the cohomology classes H a ) The construction of the representative of the cohomology space H (L rel a ) is a little more tricky Step Let us consider the relative BRST complex C rel(v a ) As we discussed there are two singular vectors in the Verma module V a Let us introduce the states a D aa Ψ V a a D ba Ψ V a One can consider these states as H a0 Ψ V and H a0 Ψ V which are specified at the previous level Thus by relations (39) (30) and (3) we obtain Q( a ) D a0 D aa Ψ V a Q( a ) D a0 D ba Ψ V (33) As we discussed above there are a singular vectors of conformal dimension = in the Verma modules V a and V b This modules and therefore the singular vectors are contained in the Verma module V a Since the Verma module V a contains the only singular vector of the highest weight one get an operator identity D a0 D aa = D a0 D ba Thus from (33) we obtain Q( a a ) = 0 The remaining part of the construction is the same as we used on the previous level Thus let us list the results The recursive equation is Q(H a0 a Ψ V a ) = a a (34) and O a a Ψ L a is a cohomology class in the space H rel (L a ) As we can see the equation (34) determine the cohomology class at the second level by cohomology classes at the first level Embedding level n We suggest that one can obtain the recursive equations for cohomology classes of the space H (L an ) The basic cohomology classes and their ghost numbers N g can be represented in the form of the following diagram: O a O a O an O an O b O b O bn N g = n + n + 3 n + 5 n n + Let γ k and δ k be either a k or b k Define the set of operators H γ k by O γ k = H γ k Ψ L These operators are polynomials in Vir algebra generators L n and ghosts c n b n with n < 0 Let us introduce the set of states O γj δ n = H γj δ n D δn Ψ V 7

8 One can consider these state as the states H γj δ n Ψ V δ n ie as a cohomology classes on the previous level n Thus by the assumption of the recursion procedure the set of the operators H γj δ n is supposed to be specified The operators D δn are specified by the embedding structure of singular vectors in the Verma module V an Now we can formulate Proposition For the cohomology classes of the space H rel (L an ) the set of recursive equations reads O γj O γj b j j = 0 n Q(Ha γj n Ψ V ) = O γn γ n j = n 0 j = n and states O γj = H γj Ψ L form a basis in the cohomology space H rel (L an ) One can formulate a similar proposition for the cohomology space H b n ) As a consequence of the Proposition we show that forms for all cohomology classes can be determined from the highest ones and the operators D The explicit expressions for the operators D was found in [7] 33 Operators Acting on the Relative Cohomology Space In the previous subsection we constructed the basis in the cohomology space H ) To investigate the operator algebra it is convenient to choose another set of representatives of the cohomology classes We construct ew basis by introducing certain operators acting on the cohomology space Let us consider two operators X = nc n c n X + = n 3 c n c n n= n= These operators commute with the BRST charge Q Indeed it is easy to check that the operator X is equal to [Q c 0 ] and commutes with the BRST charge due to the property Q = 0 The commutation of the operator X + with the BRST charge can be verified straightforwardly Thus these operators act on the relative cohomology space ie if w represents a BRST cohomology class of the ghost number k then Xw and X + w represent cohomology classes of the ghost numbers k + in the same space The operators X and X + satisfy the relation X X + = 0 on the cohomology space H ) This relation can be verified as follows Let us introduce the operator Ỹ = (i j)(j k)(k i)c i c j c k (35) i+j+k=0 ijk 0 It is straightforward to check that the product X X + is equal to [Ỹ Q] Therefore for any cohomology class w we have XX + w = [Ỹ Q]w = QỸ (w) ie XX +w is equal to 0 in the cohomology space The operators X and X + with relation XX + = 0 generate an algebra acting on the cohomology space H rel (L ) 5 Operators X and X + can be used to construct representatives of the cohomology classes We construct a representatives of the cohomology classes by use of this operators Consider the space H rel (L an ) To simplify notation denote by O an the cohomology class Oa a0 n of the lowest ghost number A basis in the cohomology space can be obtained by means of Theorem Cohomology classes O an XO an X O an X n O an X + O an X +O an X n + O an form a basis in the cohomology space H rel (L an ) 5 From more abstract point of view we study an action of the cohomology of Virasoro algebra on semi-infinite cohomology The operators X and X + form a basis in the two-dimensional space H (V ir V ir 0 C) where V ir 0 = L 0 c The whole algebra H (V ir V ir 0 C) is generated by X and X + with one relation XX + = 0 8

9 The Theorem can be illustrated as follows X O an 7 X + XO an X + O an X X + X O an X +O an X X + X X + X n O an X 7 Xn O an X + X+ n O an N g = n + n + 3 n + 5 n n + The similar theorem holds for the cohomology space H rel (L bn ) Proof of this theorems will be published elsewhere 6 Let us check the Theorem in the first nontrivial example H a ) By explicit form of the cohomology classes (see Appendix) we obtain X( a ) = 5 3 Ob a O a a X ( a ) = 40O a a X + (Oa a0 ) = 7 3 Ob a Oa a (36) X+(O a a0 ) = 3696Oa a This implies that the cohomology classes O a XO a X O a X + O a form a basis in the cohomology space H rel (L a ) Also it follows from (36) that the basis introduced in Theorem differs from that of Proposition From Theorem follows that Oa an n = λx n Oa an 0 where λ 0 ie the highest cohomology class can be obtained from lowest one by use of operator X This fact concerns only highest and lowest cohomology classes therefore it should have analogue in free field approach due to remark Indeed this formula is equivalent to the equation () in [4] Let us recall that all cohomology classes except highest ones can be obtained from the previous level cohomology classes by the recursive construction On the other hand it follows from the Theorem that all the cohomology classes (including the highest one) in the space H rel (L an ) can be obtained from the cohomology class with the lowest ghost number O an by applying the operators X X + Therefore all cohomology classes can be found from the simplest cohomology Oa a0 0 H ) (see 38) 34 Operator Algebra One can construct physical operators from the states in the Hilbert space using state-operator correspondence Every state in the Hilbert space has an image in the space of local operators For example any Liouville highest weight vector corresponds to a Liouville primary field of the same conformal dimension For any cohomology class O we can consider a unique local operator O(z) commuting with the BRST charge Q This operator doesn t depend on point z modulo BRST exact terms Indeed O(z) = L O(z) L O = [Q b ]O = Qb O It is well known that any nontrivial BRST cohomology class O has zero conformal dimension The prove is simple Suppose that L 0 O = O and 0 Hence we have O = L 0 O = [Q b 0 ]O = Q ( b 0 O ) The general form of the operator product expansion (OPE) of any two local operators O (z) and O (0) reads O (z)o (0) = A n (0)z n n= 6 The idea of the proof is the following (this idea is due to B Feigin) The algebra generated by X X + with relation XX + = 0 is the cohomology algebra H (V ir V ir 0 C) The homology space H (V ir V ir 0 C) is a cofree module over this algebra The irreducible Vir module C is dual to some infinite complex K by means of duality between c = 0 and c = 6 Virasoro modules Hence the H /+ (V ir V ir 0 K) is free module over the algebra H (V ir V ir 0 C) The irreducible Liouville module L an is quasi-isomorphic to the truncation of the complex K Therefore the space H rel (L an ) = H /+ (V ir V ir 0 L an ) is cyclic module over algebra H (V ir V ir 0 C) 9

10 where the expansion coefficients A n (0) are some operators of the conformal dimension n Since the operators the O (z) and O (0) commute with BRST charge Q the expansion coefficients A n (z) commute with it as well Since there is no BRST cohomology classes of non-zero conformal dimension only A 0 (z) may give a BRST nontrivial cohomology class Let us denote A 0 (z) by O 3 (z) We obtain a ring structure defined by the operator product expansion modulo BRST exact terms which will be denoted by O (z)o (0) = O 3 (0) + [Q ] O O = O 3 (37) We assert that the operator algebra on the relative cohomology space is not associative Let us consider the simplest non-trivial example and show that (O a O a ) a O a (O a a ) (38) The lhs of (38) is equal to 0 in the cohomology space Indeed from Liouville fusion rules and ghost number conservation follows that Oa a Oa a belongs to H ) and has ghost number 4 Due to Lian-Zuckerman results (3) H4 rel (L a ) = 0 Therefore Oa a Oa a is equal to 0 then lhs of (38) is equal to 0 The rhs of (38) can be evaluated using the explicit form of the operators given in Appendix The rhs can be shown to be equal to 40Oa a This calculation proves that the operator algebra of relative cohomology classes is not associative The absence of the associativity of the operator algebra is quite undesirable Let us investigate this problem in more detail Up to now we discussed the relative BRST cohomology classes w modulo Qw where both elements w and w are annihilated by b 0 Note that there exist states of the form Q w such that b 0 w 0 For example the state Oa a is of this kind O a = Q (c 0 b Ψ a ) Any correlation function that contains the such states vanishes One can say that these states are not physical Thus we need to exclude such states from the physical spectrum In order to exclude undesirable states we consider the absolute BRST complex in the next section 4 Absolute cohomology 4 Basic cohomology classes In this section we consider the absolute BRST complex C abs (L ) Lian and Zuckerman proved that the cohomology classes H abs (L ) are nontrivial if and only if E Recall that E is the set of the highest weights appearing in the embedding diagram of Verma modules (3) It is possible to extend Lian and Zuckerman consideration and formulate Theorem If E the dimension of the cohomology space H abs (L ) are given by k = n + n + 3 n dimhk abs (L an ) = dimhk abs (L bn ) = k = n + 4 n + 6 n + 0 otherwise where we assume that n > 0 In the case n = 0 the dimension of the cohomology space is dimhk rel (L a0 ) = δ k + δ k Proof We prove the theorem for Hk abs (L an ) (the other case can be done in similar manner) Following [5] [6] one has a long exact sequence containing relative and absolute cohomology spaces γ k Hk rel α k H rel k β k H abs k γ k H rel k 0 α k H rel β k+ k+ H abs γ k+ k+ (4)

11 It follows from the exactness of this sequence that dimhk abs (L an ) = dimim(γ k ) + dimim(β k ) = dimker(α k ) + dimhk rel (L ) dim im(α k ) Since the dimension of the cohomology space dimhk ) are known (3) it is sufficient to study the maps α k The map α :H rel H + rel is defined by the action of the ghost operator c 0 and then the action of the BRST charge Q Note that [Q c 0 ] = X Therefore the map α is equivalent to the action of the operator X Thus from Theorem we conclude that the kernel of the map α is spanned on the cohomology classes of the form X+O j an ( j < n) and X n O an The image of this map is spanned on the cohomology classes X j O an ( j n) From this consideration the dimension of cohomology spaces can be easily obtained The meaning of the long exact sequence (4) is the following Any absolute cohomology class can be either a class from H ) or represented by a state of the form c 0 w + w where w H ) and w C rel (L ) Some relative cohomology classes are not absolute cohomology classes Indeed one can consider the action of the BRST operator on state of the form c 0 w + w and obtain Q(c 0 w + w ) = Xw + Qw (4) Thus every relative cohomology class of the form Xw is BRST exact in the absolute cohomology space From the Theorem it follows that the relative cohomology classes O an X + O an X +O an X n + O (43) aren t of the form Xw and therefore form a basis in the space H ) H abs (L an ) In order to extend the set (43) to basis we need to add some states in form c 0 w + w where w H rel (L an ) and w C ) It follows from (4) that if Q(c 0 w + w ) = 0 then Xw = 0 in H ) By Theorem such w is a linear of combination of cohomology classes X + O an X+ O X+ n O X n O an Then all additional basic states have form c 0 X + O an c 0 X+O an c 0 X+ n O c 0 X n O an modulo C rel (L an ) Let us introduce ew operator Y = (i j)(j k)(k i)c i c j c k i+j+k=0 with the ghost number 3 It is easy to check that this operator commutes with the BRST charge Q and thus acts on the cohomology space Moreover if w H rel (L an ) then Y w = c 0 X + w + w with w C rel (L an ) It follows from previous consideration that the set (43) can be expanded to form a basis in the absolute cohomology space H abs (L an ) by adding the following cohomology classes Y O an Y X + O an Y X + O Y X n + O Indeed Y O an = c 0 X + O an Y X + O an = c 0 X+O an Y X+ n O an = c 0 X+ n O an modulo C rel (L an ) It remains to prove that Y X+ n O 0 in cohomology space H abs (L an ) This can be proven by duality arguments similar to remark 6 Our discussion of the cohomology classes of the absolute BRST complex C abs (L an ) can be summarized by the following diagram N g = n + n + 3 n + 5 n O an X + X + X + O X + an X+ O X + X n + O Y 7 Y O an X + X + Y X + O an X + Y X n + O an N g = n + 4 n + 6 n +

12 Let γ n be either or b n It is convenient to denote the basic cohomology classes in the following form O i γ n = (n i )!X i + O γ n N i γ n = (n i )!Y X i + O γ n where 0 i < n (44) We will see that this notation simplify the structure constants of the operator algebra We clearly have X + O i γ n = (n i )O i+ γ n X + N i γ n = (n i )O i+ γ n (45) Ghost numbers for these cohomology classes are given by 4 Operator Algebra N g (O i γ n ) = i n + N g (N i γ n ) = i n + 4 The operator product expansion provides the ring structure (37) on the absolute cohomology space By the basic assumptions this ring is associative and commutative There is an unit element in the ring namely the identity operator O (z) = I(z) As we will show an operator algebra in the absolute cohomology space is almost determined by the operators X + and Y Thus it is useful to consider this operators first Due to operator-state correspondence any operator that acts on the Hilbert space of states has an image acting in the space of local operators One can show that the image of the operator X + is given by the contour integral X + = dzc(z) 3 c(z) (46) where we omit BRST exact terms As a consequence of this representation we conclude that the operator X + differentiates the product of any two local operators that is X + (O O ) = (X + O ) O + O (X + O ) (47) Now consider the operator Y It is straightforward to check that on the space of local operators the application of the Y is equivalent to the zero mode of the operator product with :c c c: ie Y O(0) = ( :c(z) c(x) ) Res c(z):o(0) z=0 z modulo BRST exact terms Note that :c c c: is local operator corresponding to the cohomology class N 0 : Therefore on the cohomology space we have N 0 = :c c c: Y O = N 0 O (48) The study of the operator algebra is simplified due to fusion rules First we consider the case when operators are of the form Oa i n The corresponding states form a basis in H ) H abs (L an ) Taking into account the fusion rules for degenerate Virasoro representations [3] and the ghost number conservation we have i+j Oa i k+ Oa j l+ = λ n Oa i+j n k+l+ n (49) n=0 with some structure constants λ n depending on all indexes i j k l The operators X + and Y almost determine structure constants of the operator algebra due to the next two propositions Proposition 3 Suppose that O 0 a k+ O 0 a l+ = O 0 a k+l+ (40) Then the subring H ) H abs (L an ) is isomorphic to the polynomial ring in two generators O and O Moreover we have Oa i n+ = (O ) n i (O ) i (4)

13 In the assumption of this proposition we suppose that the operator product is non-degenerate while the corresponding coefficient (see 49) can be removed by certain normalization of the lowest cohomology classes O an Proof of Proposition 3 It is enough to prove (4) For n = 0 the equation (4) is equivalent to the fact that O 0 is a unit element For n = the equation (4) is obvious From the assumption (40) follows that O 0 + = O 0 O 0 a = O 0 O 0 a O 0 a = = (O 0 a ) n (4) Applying X + to both sides and using (47) (45) we get no + = n(o 0 a ) n O a O + = (O 0 a ) n O a Applying X + to both sides again and using (47) (45) we get (n )O + = (n )(O 0 a ) n O a O a O + = (O 0 a ) n (O a ) Similarly applying X + i times to both sides of (4) we get (4) It is interesting to compare our results with those of Kanno and Sarmadi [8] where irreducible modules in the Liouville sector are replaced by free field (or Feigin-Fuchs) modules As was mentioned in remark the cohomology classes from [8] correspond to our relative cohomology classes with the highest and the lowest ghost numbers For example w n in their notation corresponds to O n+ with n 0 The results of [8] confirm that the products of the cohomology classes of the form O n+ are non-degenerate and the assumption of Proposition 3 is satisfied The structure constants of the operator algebra on the space n>0 H abs (L an ) are given in Proposition 4 Proposition 4 Under the assumption of Proposition 3 we have O k i a k+ O l j a l+ = O k+l i j a k+l+ N k i a k+ O l j a l+ = N k+l i j a k+l+ N k i a k+ N l j a l+ = 0 (43) Proof of Proposition 4 The first equality evidently follows from (4) Let us multiply the first equality by N 0 By (48) and (44) we obtain Na k i k+ Oa l j l+ = N Oa k i k+ Oa l j l+ = N Oa k+l i j k+l+ = Na k+l i j k+l+ The last statement in (43) easily follows from the equalities Na k i k+ = Y Oa k i k+ = N Oa k i k+ and N N = Y N (z) = 0 Note that we consider an operator algebra for the states from the subspace n>0 H abs is sufficient because there is an isomorphism between the cohomology spaces H abs This isomorphism is realized by the operator product with O 0 (z) = ( + 3 : bc :)Φ (z) (L an ) only It (L an ) and H abs (L bn ) where Φ b (z) = Φ (z) is a Liouville primary field corresponding to the state L b from the Hilbert space Indeed by the fusion rules for degenerate Virasoro representations [3] and the ghost number conservation we have O 0 O i + = λ i + O i b n+ O i O i b n+ = λ i b n+ O i + (44) where λ i + and λ i b n+ are the structure constants To show that these constants are not equal to 0 we multiply both sides of the first equation in (44) by the operator O 0 Taking into account the associativity of the operator algebra we have (O 0 ) O i + = λ i + O 0 O i b n+ = λ i + λ i b n+ O i + 3

14 Since (Ob 0 ) = 4/9C () ()() I(z) (45) where C () ()() is the Liouville structure constant ( [8] [9]) we conclude that λ i + λ i b n+ = 4/9C () ()() 0 It is possible to renormalise local operators O 0 b n such that Applying operators X + and Y to both sides we get O 0 O 0 + = O 0 b n+ O 0 O i + = O i b n+ O 0 N i + = N i b n+ (46) Using Proposition 4 and formulae (45) (46) one can easily calculate operator product of any two local fields 5 Discussion One of the main aims of this paper is to clarify the difference between absolute and relative cohomology classes For mathematical reasons it is convenient to compute relative cohomology first and then pass to absolute cohomology In some cases (for example in the case of free field modules in the Liouville sector [8]) there is am isomorphism Hk abs = Hk rel + c 0Hk rel In particular any relative cohomology class is also an absolute cohomology class In our case the relation between absolute and relative cohomology classes is more complicated It was proved in Proposition 3 that the structure of the operator algebra in the space H ) (L an ) is isomorphic to the algebra of polynomials in two variables C[a b] and the isomorphism is H abs realized by O i + i b i It is well known that sl acts on C[a b] Thus one can expect that sl acts in the space H rel (L an ) It is easy to check that the operator X + corresponds to the sl increasing generator H abs X + b a We may expect that there exists an operator X corresponding to the sl decreasing generator X a b (L ) A construction of this operator is an open problem It seems that there is no decreasing operator X such that [Q X ] = 0 and X acts nonzero on the cohomology space It is expected that there exists operator X such that [Q X ] 0 but X acts on certain representatives of H rel (L an ) H abs (L an ) This is similar to sl action on the space of harmonic forms on a Kahler manifold [9] In ref [0] Lian and Zuckerman have recognized that absolute cohomology has a structure of Gerstenhaber algebra In other words they define a bracket {u v} This bracket differentiates an operator product and provides the structure of a Lie algebra on the absolute cohomology space It would be interesting to calculate this bracket in our case The simplest example is {N O} = X + O This equality is equivalent to (46) and explains the fact that X + differentiates operator product 6 Acknowledgments We are grateful to A Belavin for posing the problem and constant attention to our work We are also grateful to O Bershtein B Feigin M Lashkevich A Losev D Polyakov and Y Pugai for useful discussions The work was supported in part by the Russian Foundation of Basic Research under the grant RFBR and initiative interdisciplinary project grant ofi m and by the Russian Ministry of Science and Technology under the Scientific Schools grant This research was held within the bounds of Federal Program Scientific and Scientific-Pedagogical personnel of innovational Russia on y goskontrakt N P339 4

15 7 Appendix In this Appendix we give an explicit form of some states in the relative cohomology space Explicit form of several the highest cohomology classes are given in (36) Here we consider the other states These examples are obtained by recursion procedure described above Let us start from the Embedding level Let us consider the cohomology space H ) It is easy to check that the cohomology class of the ghost number 0 has the following form Ψ L = b Ψ L One can show that Q(Oa a0 ) = L Ψ L = 0 since L V a is a singular vector in the Verma module V a and therefore in the irreducible module L L a = 0 In the space H rel (L b ) the cohomology class of the ghost number 0 is ( Ψ L = b L + ) 3 b Ψ L It is easy to check that Q( ) = (L +(/3)L )Ψ L = 0 since (L +(/3)L ) V b = 0 is a singular vector in the Verma module V b and therefore in the irreducible module (L + (/3)L ) L b = 0 Embedding level Here we only consider the cohomology space H rel (L a ) The highest cohomology class is given in (36) Let us consider the rest of them It is straightforward to check that cohomology classes of the ghost number can be written as follows ( Oa a = Ha a Ψ L a = c b L c b L 4c b L 5 3 c b 3 L + 3c b L c 3b L 76 3 c b 4 + 0c 3 b c 4b )Ψ L a Oa b = Ha b Ψ L a = ( c b L 6c ) b L + 4c 3 b L c b 3 + 6c 4 b Ψ L a Indeed one can check that Q(Oa a ) = D ba Ψ L a = 0 and Q(Oa b ) = D ba Ψ L a = 0 The explicit forms of the operators D aa and D ba can be found in [] The cohomology class with the ghost number - is a = and one can check that ( 3 b b (L + 6L ) + 3 b 3b L 43 b 4b + 4b 3 b ) Ψ L a (7) Q( a ) D aa Ψ L a H a0 D ba Ψ L a = 0 which is in agreement with the result of our recursive construction procedure Due to remark the formula (7) for the lowest cohomology (7) have an analogue is the free field approach Indeed this formula is equivalent to the formula (9) in [4] obtained by the different method References [] A Polyakov Quantum geometry of bosonic strings PhysLett B03 (98) 07 [] J Distler and H Kawai Conformal field theory and -D quantum gravity or who s afraid of Joseph Liouville? Nucl Phys B3 (989) 509 F David Conformal field theories coupled to -D gravity in the conformal gauge Mod Phys Lett A3 (988) 65 [3] A Belavin A Polyakov and A Zamolodchikov Infinite Conformal Symmetry in Two-Dimensional Quantum Field Theory Nucl Phys B4 (984) 333 [4] Al Zamolodchikov Three-point function in the Minimal Liouville Gravity TheorMathPhys 4 (005) 83 hep-th/

16 [5] A Belavin and Al Zamolodchikov Moduli integrals ground ring and four-point function in minimal Liouville gravity TheorMathPhys 47 (006) 79 hep-th/0504 p 6 [6] B Lian and G Zuckerman New Selection Rules And Physical States in D Gravity Phys Lett B54 (99) 47 [7] B Feigin and D Fuchs Representations of the Virasoro algebra Representations of Lie Groups and Related Topics 465 Adv Stud Contemp Math 7 Gordon and Breach New York 990 [8] H Kanno and M Sarmadi BRST cohomology ring in D gravity coupled to minimal models Int J Mod Phys A9 (994) 39 hep-th/ [9] A Zamolodchikov and Al Zamolodchikov Structure Constants and Conformal Bootstrap in Liouville Field Theory Nucl Phys B477 (996) 577 hep-th/ [0] C Imbimbo S Mahapatra and S Mukhi Construction of physical states of non-trivial ghost number in c < string theory NuclPhys B375 (99) 399 [] B Feigin and D Fuchs Verma modules over the Virasoro algebra Lectures Notes in Math 060 Springer Berlin (984) 30 [] E Frenkel Determinant formulas for the free field representations of the Virasoro and Kac-Moody algebras Phys Lett B86 (99) 7 [3] S Govindarajan T Jayaraman V John and P Majumdar States of nonzero ghost number in c < matter coupled to -D gravity ModPhysLett A7 (99) 063 hep-th/9033 [4] S Govindarajan T Jayaraman and V John Chiral rings and physical states in c < string theory NuclPhys B40 (993) 8 hep-th/90709 [5] I Frenkel H Garland and G Zuckerman Semi-infinite cohomology and string theory Proc Natl Acad Sci USA 83 (986) 844 [6] L Goncharova Cohomologies of Lie algebras of formal vector fields on the line Funkts Anal Prilozhen 7: (973) 6 [7] M Bauer P Di Francesco C Itzykson and J-B Zuber Covariant differential equations and singular vectors in Virasoro representations Nucl Phys B36 (99) 55 [8] H Dorn H-J Otto On Correlation Functions for Non-critical Strings with c < but d > Phys Lett B9 (99) 39 hep-th/ H Dorn H-J Otto Two and three-point functions in Liouville theory Nucl Phys B49 (994) 375 hep-th/94034 [9] P Griffits and J Harris Principles of algebraic geometry Wiley-Interscience Publication (994) [0] B Lian and G Zuckerman New perspectives on the BRST-algebraic structure of string theory Comm Math Phys 54:3 (993) 63 hep-th/907 6