New moduli spaces from string background independence consistency conditions

In string field theory an infinitesimal background deformation is implemented as a canonical transformation whose hamiltonian function is defined by moduli spaces of punctured Riemann surfaces having one special puncture. We show that the consistency conditions associated to the commutator of two deformations are implemented by virtue of the existence of moduli spaces of punctured surfaces with two special punctures. The spaces are antisymmetric under the exchange of the special punctures, and satisfy recursion relations relating them to moduli spaces with one special puncture and to string vertices. We develop the theory of moduli spaces of surfaces with arbitrary number of special punctures and indicate their relevance to the construction of a string field theory that makes no reference to a conformal background. Our results also imply a partial antibracket cohomology theorem for the string action.     

Homotopy algebra morphism and geometry of classical string field theories

We discuss general properties of classical string field theories with symmetric vertices in the context of deformation theory. For a given conformal background, there are many string field theories corresponding to different decomposition of moduli space of Riemann surfaces. It is shown that any classical open string field theories on a fixed conformal background are A_∞-quasi-isomorphic to each other. This indicates that they have isomorphic moduli space of classical solutions. The minimal model theorem in A_∞-algebras plays a key role in these results. Its natural and geometric realization on formal supermanifolds is also given. The same results hold for classical closed string field theories, whose algebraic structures are governed by L_∞-algebras.     

Introduction to string theory and conformal field theory

A concise survey of noncritical string theory and two-dimensional conformal field theory is presented. A detailed derivation of a conformal anomaly and the definition and general properties of conformal field theory are given. Minimal string theory, which is a special version of the theory, is considered. Expressions for the string susceptibility and gravitational dimensions are derived.     

Homotopy Classification of Bosonic String Field Theory

We prove the decomposition theorem for the loop homotopy Lie algebra of quantum closed string field theory and use it to show that closed string field theory is unique up to gauge transformations on a given string background and given S-matrix. For the theory of open and closed strings we use results in open-closed homotopy algebra to show that the space of inequivalent open string field theories is isomorphic to the space of classical closed string backgrounds. As a further application of the open-closed homotopy algebra, we show that string field theory is background independent and locally unique in a very precise sense. Finally, we discuss topological string theory in the framework of homotopy algebras and find a generalized correspondence between closed strings and open string field theories.     

Two-dimensional Lorentz-Weyl anomaly and gravitational Chern-Simons theory

Two-dimensional chiral fermions and bosons, more generally conformal blocks of two-dimensional conformal field theories, exhibit Weyl-, Lorentz- and mixed Lorentz-Weyl anomalies. A novel way of computing these anomalies for a system of chiral bosons of arbitrary conformal spinj is sketched. It is shown that the Lorentz- and mixed Lorentz-Weyl anomalies of these theories can be cancelled by the anomalies of a three-dimensional classical Chern-Simons action for the spin connection, expressed in terms of the dreibein field. Some tentative applications of this result to string theory are indicated.     

Gauge fields and interactions in matrix string theory

It is shown that all possible N sheeted coverings of the cylinder are contained in type IIA matrix string theory as non-trivial gauge field configurations. Using these gauge field configurations as backgrounds the large N limit is shown to lead to the type IIA conformal field theory defined on the corresponding Riemann surfaces. The sum over string diagrams is identified as the sum over non-trivial gauge backgrounds of the SYM theory.     

The string spectrum on the horizon of a non-extremal black hole

We investigate the conformal string σ-model corresponding to a general five-dimensional non-extremal black hole solution. In the horizon region the theory reduces to an exactly solvable conformal field theory. We determine the modular invariant spectrum of physical string states, which expresses the Rindler momentum operator in terms of three charges and string oscillators. For black holes with winding and Kaluza-Klein charges, we find that states made with only right-moving excitations have ADM mass equal to the black hole ADM mass, and thus they can be used as sources of the gravitational field. A discussion on statistical entropy is included.     

Instanton strings and hyper-Kähler geometry

We discuss two-dimensional sigma models on moduli spaces of instantons on K3 surfaces. These N = (4, 4) superconformal field theories describe the near-horizon dynamics of the D1-D5-brane system and are dual to string theory on AdS³. We derive a precise map relating the moduli of the K3 type 1113 string compactification to the moduli of these conformal field theories and the corresponding classical hyper-Kahler geometry. We conclude that in the absence of background gauge fields, the metric on the instanton moduli spaces degenerates exactly to the orbifold symmetric product of K3. Turning on a self-dual NS B-field deforms this symmetric product to a manifold that is diffeomorphic to the Hilbert scheme. We also comment on the mathematical applications of string duality to the global issues of deformations of hyper-Kähler manifolds.     

Conformal field theory representation and background-independent action for superstring field theory

The two-dimensional conformal field theory representation of Witten's open superstring field theory is discussed. We argue that the previously suggested cubic action for the superstring is actually dependent on the spacetime background, and suggest a modification which formally removes this dependence. The transformation from the new version of the superstring cubic action to Witten's action for open string states is discussed. A class of linearized solutions to the equations of motion of the open superstring cubic action are exhibited. These solutions are in one-to-one correspondence with the physical excitations (both massless and massive) of the open and closed type I superstrings.     

Two-dimensional percolation and classical string theory

Both two-dimensional percolation and classical string theory are shown to correspond toc=0 in the 2d conformal algebra. Therefore, despite being different theories, they have the same underlying conformal structure.     

Three-point function in perturbed Liouville gravity

Three-point correlation function in perturbed conformal field theory coupled to two-dimensional quantum gravity (perturbed Liouville gravity) is explicitly computed by using the free field approach. The representation considered here is the one recently proposed in [G. Giribet, Nucl. Phys. B 737 (2006) 209] to describe the string theory in AdS₃${\mathit{AdS}}_3$ space. Consequently, this computation extends previous results which presented free field calculations of particular cases of string amplitudes, and confirms that the free field approach leads to the exact result. Remarkably, this representation allows to compute winding violating three-point functions without making use of the spectral flow operator.     

Changing topology and nontrivial homotopy

A method is proposed for extending the path integral to a sum over paths which change topology. This is used to show that topological contributions to a field theory path integral arising from nontrivial homotopy on the background space are completely determined in the free theory. The method is applied to extend (“third quantize”) field theory to backgrounds which change topology (e.g. string theory) and to show that topological contributions from nontrivial homotopy of field histories in the target space are completely determined by the field theory on a fixed background.     

Are (0, 2) models string miracles?

String theory exhibits a number of string miracles. These are “accidental” relations between couplings in the low-energy effective action which cannot be understood in terms of the symmetries of that action. It is shown that the existence of (0, 2) models need not be a string miracle, but can often be understood in terms of a discrete R symmetry. This understanding points to many new (0, 2) models, including some with gauge group SU(3) × SU(2) × U(1). Discrete R symmetries also protect some massless particles from acquiring a mass at special points in the moduli space of the conformal field theory. From a two dimensional point of view, this can be understood in terms of index theorems not only in the R but also in the NS sector. An important tool in the study of string compactification and conformal field theory is the perturbative expansion around a conformal field theory. We prove that the expansion of the space time superpotential around a space-time supersymmetric vacuum does not miss non-perturbative effects (as long as we do not expand around a boundary of moduli space). This shows that certain results which have been obtained to all orders in this expansion are exact. Also, it shows that the construction of the (0, 2) models in perturbation theory around (2, 2) models is exact as well.     

On second-quantized open superstring theory

The SO(32) theory, in the limit where it is an open superstring theory, is completely specified in the light-cone gauge as a second-quantized string theory in terms of a “matrix string” model. The theory is defined by the neighborhood of a 1 + 1-dimensional fixed point theory, characterized by an Abelian gauge theory with type IB Green-Schwarz form. Non-orientability and SO(32) gauge symmetry arise naturally, and the theory effectively constructs an orientifold projection of the (weakly coupled) matrix type IIB theory (also discussed herein). The fixed point theory is a conformal field theory with boundary, defining the free string theory. Interactions involving the interior of open and closed strings are governed by a twist operator in the bulk, while string endpoints are created and destroyed by a boundary twist operator.     

Conformal field theory and the symmetries of string field theory

The two-dimensional conformal field theory representation of Witten's bosonic string field theory is discussed. The basic overlap equations, K_n symmetry and BRST invariance are proved directly, without the usual expansion in oscillators. The conformal field theory approach naturally provides local overlap identities which (when integrated over half the string) can be used to verify properties of the cubic action. In particular, a recently proposed diffeomorphism invariance is shown to be free of anomalies. Finally, a new class of symmetries, including generalizations of the K_n symmetries which are local in spacetime, are presented.     

Heisenberg groups and noncommutative fluxes

We develop a group-theoretical approach to the formulation of generalized abelian gauge theories, such as those appearing in string theory and M-theory. We explore several applications of this approach. First, we show that there is an uncertainty relation which obstructs simultaneous measurement of electric and magnetic flux when torsion fluxes are included. Next, we show how to define the Hilbert space of a self-dual field. The Hilbert space is Z₂-graded and we show that, in general, self-dual theories (including the RR fields of string theory) have fermionic sectors. We indicate how rational conformal field theories associated to the two-dimensional Gaussian model generalize to (4k + 2)-dimensional conformal field theories. When our ideas are applied to the RR fields of string theory we learn that it is impossible to measure the K-theory class of a RR field. Only the reduction modulo torsion can be measured.