本文将 Sen 提出的杂化与 II 型超弦场论作用量表述为扭曲 $L_\infty$ 代数，并证明其 Wilsonian 有效作用量可由同伦转移获得且保持同一代数结构。
摘要：
Sen 最近为杂化和 II 型超弦场论提出了一个自洽作用量。我们用某种扭曲的 $L_\infty$ 代数给出该作用量的代数表述。我们进一步表明，Sen 的 Wilsonian 有效超弦场作用量可通过同伦转移得到，且该有效理论也具有扭曲 $L_\infty$ 代数的代数结构。
英文摘要：
A consistent action for heterotic and type II superstring field theory was recently proposed by Sen. We give an algebraic formulation of this action in terms of certain twisted $L_\infty$-algebra. We further show that Sen's Wilsonian effective superstring field action can be obtained using homotopy transfer and the effective theory also possesses the algebraic structure of a twisted $L_\infty$-algebra.
We construct open-closed superstring interactions based on the open-closed homotopy algebra structure. It provides a classical open superstring field theory on general closed-superstring-field backgrounds described by classical solutions of the nonlinear equation of motion of the closed superstring field theory. We also give the corresponding WZW-like action through the map connecting the homotopy-based and WZW-like formulations.
We show that the tree-level S-matrices of the superstring field theories based on the homotopy-algebra structure agree with those obtained in the first-quantized formulation. The proof is given in detail for the heterotic string field theory. The extensions to the type II and open superstring field theories are straightforward.
We construct a class of nilpotent operators using the BRST current and ghost fields in superstring theory. The operator can be realized in cubic superstring field theory as a kinetic operator in the background of an identity-based solution. For a particular type of the deformed BRST operators, we find a homotopy operator and discuss its relationship to the cohomology in a similar way to the bosonic case, which has been elaborated by the authors.
We propose a method for computing the energy level spacing around classical string solutions in AdS(5)xS(5). This method is based on the integrable structure of the string and can be applied to an arbitrary classical configuration. Our approach treats in equal footing the bosonic and fermionic excitations and provides an unambiguous prescription for the labeling of the fluctuation frequencies. Finally we revisit the computation of these frequencies for the SU(2) and SL(2) circular strings and compare our results to the existing ones.
We outline the construction of type II superstring field theory leading to a geometric and algebraic BV master equation, analogous to Zwiebach's construction for the bosonic string. The construction uses the small Hilbert space. Elementary vertices of the non-polynomial action are described with the help of a properly formulated minimal area problem. They give rise to an infinite tower of superstring field products defining a $\mathcal{N}=1$ generalization of a loop homotopy Lie algebra, the genus zero part generalizing a homotopy Lie algebra. Finally, we give an operadic interpretation of the…
A novel Lie-superalgebraic description of the superstring in the super-Minkowskian background is extracted from the Cartan-Eilenberg super-1-gerbe geometrising the higher gauge field (the Green-Schwarz super-3-cocycle) that couples to the supercharge carried by the superstring. The description assumes the form of a hierarchy of Lie superalgebras integrable to a hierarchy of Lie supergroups and provides a manifestly supersymmetric model of a family of supermanifolds defining a trivialisation of the super-1-gerbe over the embedded superstring worldsheet. The trivialisation, obtained in a purely …
This talk deals with the old problem of formulatingn a covariant quantum theory of superstrings, ``covariant'' here meaning having manifest Lorentz symmetry and supersymmetry. The advantages and disadvantages of several quantization methods are reviewed. Special emphasis is put on the approaches using twistorial variables, and the algebraic structures of these. Some unsolved problems are identified.
We consider the algebraic effective couplings for open superstring massless modes in the framework of the $A_\infty$ theory in the small Hilbert space. Focusing on quartic algebraic couplings, we reduce the effective action of the $A_\infty$ theory to the Berkovits one where we have already shown that such couplings are fully computed from contributions at the boundary of moduli space, when the massless fields under consideration are appropriately charged under an ${\cal N}\!=\!2$ $R$-symmetry. Here we offer a proof of localization which is in the small Hilbert space. We also discuss the flat …
We apply the algebraic Bethe ansatz technique to compute the eigenvalues of the transfer matrix constructed from the general bound state S-matrix of the light-cone AdS5 x S5 superstring. This allows us to verify certain conjectures on the quantum characteristic function, and to extend them to the general case.
We consider the construction of the algebraic part of D-branes tree-level effective action from Berkovits open superstring field theory. Applying this construction to the quartic potential of massless fields carrying a specific worldsheet charge, we show that the full contribution to the potential localizes at the boundary of moduli space, reducing to elementary two-point functions. As examples of this general mechanism, we show how the Yang-Mills quartic potential and the instanton effective action of a $Dp/D(p-4)$ system are reproduced
We construct a complete type II superstring field theory that includes all the NS-NS, R-NS, NS-R and R-R sectors. As in the open and heterotic superstring cases, the R-NS, NS-R and R-R string fields are constrained by using the picture-changing operators. In particular, we use a non-local inverse picture-changing operator for the constraint on the R-R string field, which seems to be inevitable due to the compatibility of the extra constraint with the closed string constraints. The natural symplectic form in the restricted Hilbert space gives a non-local kinetic action for the R-R sector, but i…
We investigate the monodromy of the Lax connection for classical IIB superstrings on AdS_5xS^5. For any solution of the equations of motion we derive a spectral curve of degree 4+4. The curve consists purely of conserved quantities, all gauge degrees of freedom have been eliminated in this form. The most relevant quantities of the solution, such as its energy, can be expressed through certain holomorphic integrals on the curve. This allows for a classification of finite gap solutions analogous to the general solution of strings in flat space. The role of fermions in the context of the algebrai…
We lift the dynamical field of the $A_\infty$ superstring field theory to the large Hilbert space by introducing a gauge invariance associated with the eta zero mode. We then provide a field redefinition which relates the lifted field to the dynamical field of Berkovits' superstring field theory in the large Hilbert space. This generalizes the field redefinition in the small Hilbert space described in earlier works, and gives some understanding of the relation between the gauge symmetries of the theories. It also provides a new perspective on the algebraic structure underlying gauge invariance…
This paper investigates the algebraic structure that exists on perturbative BPS-states in the superstring, compactified on the product of a circle and a Calabi-Yau fourfold. This structure was defined in a recent article by Harvey and Moore. It shown that for a toroidal compactification this algebra is related to a generalized Kac-Moody algebra. The BPS-algebra itself is not a Lie-algebra. However, it turns out to be possible to construct a Lie-algebra with the same graded dimensions, in terms of a half-twisted model. The dimensions of these algebras are related to the elliptic genus of the tr…
A string field theory of (p,q) minimal superstrings is constructed with the free-fermion realization of 2-component KP (2cKP) hierarchy, starting from 2-cut ansatz of two-matrix models. Differential operators of 2cKP hierarchy are identified with operators in super Liouville theory, and we obtain algebraic curves for the disk amplitudes of η=-1 FZZT-branes and the partition functions of neutral/charged η=-1 ZZ branes, which correctly reproduce those of type 0B (p,q) minimal superstrings in conformal backgrounds. In the course of study, some subtle points are clarified, including a difference o…
In this paper we find the Yangian algebra responsible for the integrability of the AdS2 X S2 X T^6 superstring in the planar limit. We demonstrate the symmetry of the corresponding exact S-matrix in the massive sector, including the presence of the secret symmetry. We give two alternative presentations of the Hopf algebra, along with related discussions on the issue of evaluation representations. We study the classical r-matrix, and re-discover the need for a secret symmetry also in this context. Finally, taking the simplifying zero-coupling limit of the S-matrix as a generating R-matrix for t…
Based on the extended BRST formalism of Batalin, Fradkin and Vilkovisky, we perform a general algebraic analysis of the BRST anomalies in superstring theory of Neveu-Schwarz-Ramond. Consistency conditions on the BRST anomalies are completely solved. The genuine super-Virasoro anomaly is identified with the essentially unique solution to the consistency condition without any reference to a particular gauge for the 2D supergravity fields. In a configuration space where metric and gravitino fields are properly constructed, general form of the super-Weyl anomaly is obtained from the super-Virasoro…
We revisit the tree-level closed superstring amplitude and identify its alpha'-expansion as series with single-valued multiple zeta values as coefficients. The latter represent a subclass of multiple zeta values originating from single-valued multiple polylogarithms at unity. Moreover, the alpha'-expansion of the closed superstring amplitude can be cast into the same algebraic form as the open superstring amplitude: the closed superstring amplitude essentially is the single-valued version of the open superstring amplitude. This fact points into a deeper connection between gauge and gravity amp…
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application we provide a derived version of Fredenhagen's universal algebra construction, which is relevant e.g. for the BRST/BV formalism. We further develop a homotopy theoretical generalization of algebraic quantum field theory with a particu…
This is the first installment of a series of papers whose aim is to lay a foundation for homotopy probability theory by establishing its basic principles and practices. The notion of a homotopy probability space is an enrichment of the notion of an algebraic probability space with ideas from algebraic homotopy theory. This enrichment uses a characterization of the laws of random variables in a probability space in terms of symmetries of the expectation. The laws of random variables are reinterpreted as invariants of the homotopy types of infinity morphisms between certain homotopy algebras. Th…
String backgrounds are described as purely geometric objects related to moduli spaces of Riemann surfaces, in the spirit of Segal's definition of a conformal field theory. Relations with conformal field theory, topological field theory and topological gravity are studied. For each field theory, an algebraic counterpart, the (homotopy) algebra satisfied by the tree level correlators, is constructed.
Blackett Laboratory, Imperial College London（帝国理工学院布莱克特实验室）；Department of Physics, Astronomy and Mathematics, University of Hertfordshire（赫特福德大学物理、天文与数学系）；Aros Kapital（阿罗斯资本）
We show explicitly how BV Yang-Mills action emerges as a homotopy generalization of Chern-Simons theory from the algebraic constructions arising from String Field Theory.
In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological quantization of local pre-quantum field theory; and show that quantum anomaly cancellation amounts to realizing this as the boundary of a field theory that is given by genuine (primary) integral transforms, hence by linear polynomial functors. Recalling that traditional linear logic has semantics in symmetric monoidal categories and serves to formalize quantu…
