IASSNS-HEP-92/41 MIT-CTP-2102 hep-th/9206084 June 1992 CLOSED STRING FIELD THEORY: QUANTUM ACTION AND THE B-V MASTER EQUATION ⋆ Barton Zwiebach School of Natural Sciences Institute for Advanced Study Olden Lane Princeton, NJ 08540 ABSTRACT The complete quantum theory of covariant closed strings is constructed in detail. The nonpolynomial action is defined by elementary vertices satisfying recursion relations that give rise to Jacobi-like identities for an infinite chain of string field products. The genus zero arXiv:hep-th/9206084v1 23 Jun 1992 string field algebra is the homotopy Lie algebra L∞ encoding the gauge symmetry of the classical theory. The higher genus algebraic structure implies the Batalin-Vilkovisky (BV) master equation and thus consistent BRST quantization of the quantum action. From the L∞ algebra, and the BV equation on the off-shell state space we derive the L∞ algebra, and the BV equation on physical states that were recently constructed in d = 2 string theory. The string diagrams are surfaces with minimal area metrics, foliated by closed geodesics of length 2π. These metrics generalize quadratic differentials in that foliation bands can cross. The string vertices are succinctly characterized; they include the surfaces whose foliation bands are all of height smaller than 2π. ⋆ Permanent address: Center for Theoretical Physics, MIT, Cambridge, Mass. 02139. Supported in part by D.O.E. contract DE-AC02-76ER03069 and NSF grant PHY91-06210. 1. Introduction and Summary of Results One can hardly overstate the need for a complete formulation of string theory. This necessity arises both at a conceptual level and at a computational level. At the conceptual level we do not yet know the underlying principles of string theory. Such understanding appears to be a prerequisite for addressing deep issues of quantum gravity in the context of string theory. At the computational level we do not have yet the ability to calculate nonperturbative effects. Such effects seem to be needed in order to obtain realistic string models. The subject of this paper is the covariant theory of closed string fields [1–8] This theory, I believe, represents concrete progress in the construction of a complete formulation of string theory. The current formulation of closed string field theory is based in the BRST approach, which originated in the work of Siegel [9]. The theory appears to be the natural closed string analog of the interacting open string field theory constructed by Witten [10]. As we will discuss, it succeeds in generating the perturbative definition of the theory starting from an action based on a gauge principle. It also makes conceptually manifest the factorization and unitarity of the string amplitudes. The closed string field theory is apparently the first field theory for which the most sophisticated machinery for quantization, the Batalin-Vilkovisky (BV) field-antifield formalism [11–13], is necessary and useful in its full form. At present, however, the closed string field theory is not yet a complete formulation of string theory. Its most glaring shortcoming is that its formulation requires making a choice of a conformal background. In a complete formulation, this background should arise as a classical solution. Therefore, the question whether string field theory is the ‘right’ approach to string theory, is at present the question whether string field theory can be formulated without having to choose a conformal background. We may be encouraged by the fact that despite initial difficulties the construction of covariant closed string field theory was possible. The resulting theory, as will be elaborated here, has an interesting and novel algebraic structure arising from subtle properties of moduli spaces of Riemann surfaces. Moreover, as recent work of Sen indicates, the string field theory, while not manifestly independent of the conformal background chosen to formulate it, does incorporate such background independence to some degree [14]. There is therefore little evidence that we face difficulties that cannot altogether be solved in the framework of string field theory by extensions or modifications of the current formulations. The real obstruction to the construction of closed string field theory was, all along, the absence of a decomposition of the moduli spaces of Riemann surfaces compatible with covariant Feynman rules. A decomposition suitable for the classical theory (genus zero surfaces) was found in Refs.[1,2] by incorporating and generalizing the closed string extension of the open string vertex [10] and the tetrahedron of Ref. [4]. The mathematically precise proof that this was a correct decomposition revealed that the string diagrams were given by minimal area metrics [8], and this suggested a natural way to generalize the construction for higher genus surfaces. The decomposition of moduli space for the quantum theory was addressed in Ref.[5] using minimal area metrics and the ideas of [7], and the algebraic structure of the resulting theory was sketched in Refs.[5,6]. The assumptions used in these works regarding plumbing 2 properties of minimal area metrics have now been established to a large degree in recent works by Ranganathan, Wolf, and the author [15,16]. Even though the main difficulty was geometrical, working out the algebraic implications of the geometrical constructions is both instructive and necessary. This amounts to giving the explicit construction of the string field vertices, with due care of technical issues like antighost insertions, and proving the set of identities they satisfy. These properties must also be shown to guarantee the consistency of the quantum theory constructed with the string field vertices. This is one of the main purposes of the present paper, it amounts to giving the detailed derivation and construction of the quantum closed string field theory sketched in Refs.[5,6]. Essentially we do for the full quantum theory what Kugo and Suehiro, in their important work, did for the classical theory [3]. We will also present new results involving an improved understanding of the algebraic structure of the theory, as well as new results on the concrete specification of the string vertices and the characteristics of minimal area metrics. Furthermore, we will show how to derive the algebraic structures on physical states recently discovered [17,18] in the context of two-dimensional string theory from the corresponding generalized structures of closed string field theory that are defined on the full off-shell state space. Let us consider some of the main points in the present paper. Algebraic Structure of Closed String Field Theory. The algebraic ingredients of the classical closed string field theory, as emphasized in [19], are a set of multilinear, graded-commutative string products m , with n 2, (n is the number of string fields to be multiplied) satisfying n ≥ a set of Jacobi-type identities involving the BRST operator Q. This structure was seen to correspond to a homotopy Lie algebra [20]. This homotopy Lie algebra will be denoted as L∞, in analogy to the homotopy associative A∞ algebras [21], which are relavant to open string field theory and Chern-Simons theory [22,23]. We identify the closed string L∞ structure precisely by choosing a set of conventions that eliminates the need for ghost insertions in the identities ⋆ relating the string products. This allows to interpret the BRST operator as generating the first product m of the homotopy Lie algebra ( B QB where B is a string field), which 1 ≡ streamlines the proof of gauge invariance. We compute the algebra of gauge transformations, and determine the field dependent structure constants and the extra terms that vanish upon use of the equations of motion. At the quantum level we have string products labeled by genus. The identity satisfied by all the products is given. This structure is not anymore an L∞ structure due to the appearance of new terms involving a ‘trace’ over two of the entries of the string products. This new structure is shown to guarantee that the master action satisfies the quantum BV master equation. To this end, following the earlier work in open strings [24–26], we give a convenient assignment of fields and antifields in closed string field theory. Extending a result of Sen [27], we show that upon shifting the string field by a term that does not satisfy the classical field equations, the L∞ algebra of the classical theory involving products mn with m 1, acquires the zeroth order product m , this product being just a special state vector. ≥ 0 Despite the indirect construction, this is the algebraic structure of closed string field theory ⋆ I thank E. Witten for suggesting such change of conventions. 3 formulated around a background that is not conformal. If we denote the special state by F , then the lowest identities of the resulting L∞ algebra imply that the generalized Q satisfies QF = 0, and Q2B = [F, B] for all string fields B. The new Q also fails to be a derivation − with respect to the product, the failure being related to F being nonzero. We suggest the possible relevance of these structures to the problem of formulating string field theory without use of conformal backgrounds. Algebraic Structures on Physical States. The L∞ structure and the BV structure of the closed string field theory is defined on the complete off-shell state space of the theory. On the other hand in recent works similar structures were obtained on the physical states of two-dimensional string theory [17,18]. The homotopy Lie algebra on physical states has m0 = m1 = 0, and the first nonvanishing product is m2. Here we show that, as conjectured in these works, the algebraic structures on physical states can be derived from those on the off-shell state space. This is general, and not peculiar to D = 2 string theory.