Heterotic string field theory with cyclic L-infinity structure

We construct a complete heterotic string field theory that includes both the Neveu-Schwarz and Ramond sectors. We give a construction of general string products, which realizes a cyclic L-infinity structure and thus provides with a gauge-invariant action in the homotopy algebraic formulation. Through a map of the string fields, we also give the Wess-Zumino-Witten-like action in the large Hilbert space, and verify its gauge invariance independently.


Introduction
There are three main formulations of superstring field theories: the formulation based on a homotopy algebraic structure in the small Hilbert space [1,2], the Wess-Zumino-Witten(WZW)like formulation in the large Hilbert space [3,4], and Sen's formulation with an extra free string field [5,6], each of which has both advantages and disadvantages. They are complementary and worth studying independently. In this paper we focus on the former two formulations since they are not yet fully established for all the superstring field theories, while Sen's formulation is.
In these formulations important progress has recently been made: a complete gauge-invariant action for the open superstring field theory including both the Neveu-Schwarz (NS) and Ramond (R) sectors was constructed first in the WZW-like formulation [7] and soon afterwards in the homotopy algebraic formulation based on the A ∞ structure [8]. In spite of these successes and several related developments [9][10][11][12][13][14][15][16], these two formulations are not yet fully satisfactory. Gauge-invariant actions are only constructed for the NS sector in the heterotic string field theory and for the NS-NS sector in the type II superstring field theory. The purpose of this paper is to fill in some of these missing pieces by constructing a complete gauge-invariant action for the heterotic string field theory in both the homotopy algebraic and the WZW-like formulations.
In string field theory interaction of strings is described by means of string products. The way to construct their basic part, which defines how strings connect, is well established in bosonic string field theory [17][18][19]. The problem in superstring field theories is to find a general prescription to insert appropriate operators for saturating the picture number and to construct the proper string products required for the gauge-invariant action.
In the homotopy algebraic formulation, such a prescription is given by taking homotopy algebraic structures, an A ∞ structure for the open superstring and an L ∞ structure for the heterotic and type II superstring, as a guiding principle. Proper string products for the NS sector of the open and heterotic string and for the NS-NS sector of the type II superstring have been constructed as a solution of differential equations for its generating function [1,2]. Although this was successfully extended to the structure including the Ramond sector in the open superstring [8], similar extension in the heterotic and type II superstring is not sufficient to construct gauge-invariant actions because of the lack of cyclicity [10]. In this paper we propose a similar but slightly different prescription to construct string products realizing a cyclic L ∞ algebra, and construct a complete gauge-invariant action for the heterotic string field theory in the homotopy algebraic formulation. Then, after confirming that it reproduce the first-quantized four-point amplitudes, we rewrite the action in the WZW-like form and also construct a complete WZW-like action through a field redefinition.
The paper is organized as follows. In section 2 we review the homotopy algebraic formulation for the heterotic string field theory. A gauge-invariant action and gauge transformation are constructed on the assumption that the proper string products realizing a cyclic L ∞ structure are given for any combination of the NS and Ramond string fields. Section 3 is devoted to a concrete construction of such proper string products realizing a cyclic L ∞ structure in two steps. First we consider an L ∞ algebra, which we call a combined L ∞ algebra in this paper, respecting (not the Ramond number but) the cyclic Ramond number. It naturally decomposes two L ∞ algebras, which can be called the dynamical and constraint L ∞ algebras [11]. Although these two are neither cyclic nor closed in the small Hilbert space, the combined L ∞ algebra can be cyclic with respect to the simple symmetric symplectic form. We give in the second step a similarity transformation which transforms two decomposed algebras to a desired cyclic L ∞ algebra and the constraint restricting the products in the small Hilbert space. Then, a concrete prescription to construct the proper string products realizing the combined L ∞ algebra is given. After decomposing the commutator of coderivations into two operations projecting onto the definite cyclic Ramond number, we propose equations for the generating function of (slightly generalized) string products generalizing the L ∞ relation and the closedness condition in the small Hilbert space. Introducing another kind of string products, gauge products, we show that the solution of these equations can be obtained by solving some differential equations of generating functions of string and gauge products iteratively. We confirm, in section 4, that the heterotic string field theory we constructed reproduces the well-known first-quantized four-point amplitudes including those with the Ramond external states. In section 5 we give a field redefinition which maps the string fields to those in the WZW-like formulation. After rewriting the action in the WZW-like form, we can obtain a complete WZW-like action through this field redefinition. The gauge invariance of the WZW-like action is verified independently without referring to the L ∞ structure. After a summary and discussion in section 6, we add four appendices for details which could not be included in the text. For the reader unfamiliar with the coalgebraic representation of L ∞ algebra, we briefly summarize it in Appendix A. Appendix B is devoted to discussing the ways to distinguish string products according to the number of Ramond states. In Appendix C we prove the cyclicity of the string products constructed in the text. The identity used in section 5 is proved in Appendix D.
2 Heterotic string field theory in the homotopy algebraic formulation Let us first summarize several basics of heterotic string field theory in the homotopy algebraic formulation. The heterotic string field Φ has two components: The first component Φ N S is a Grassmann even NS string field in the small Hilbert space H N S at ghost number 2 and picture number −1. The second component Φ R is a Grassmann even R string field in the small Hilbert space H R at ghost number 2 and picture number −1/2. Since the heterotic string is a closed string, the string field Φ is restricted by the closed string constraints: Additionally the R string field Φ R satisfies the condition where X and Y are defined by The operator X is the picture-changing operator acting on states with picture number −1/2 and Y is its inverse in the following sense acting on those with picture number −3/2. They are BPZ even and satisfy where Φ 1 | is the BPZ conjugate state of |Φ 1 . The symbol |Φ| denotes the Grassmann property of the string field Φ : |Φ| = 0 (1) if the string field Φ is Grassmann even (odd). The symplectic form ω s is graded anti-symmetric: The BRST charge satisfies The symplectic form Ω of the restricted Hilbert space is then defined by for restricted fields Φ 1 and Φ 2 . We also define here a symplectic form of the large Hilbert space ω l by for later use, where ϕ 1 and ϕ 2 are some string fields in the large Hilbert space H l : ϕ 1 , ϕ 2 ∈ H l . The η satisfies If one of the arguments, suppose ϕ 2 ≡ Φ 2 , is in the small Hilbert space, we can relate ω l to ω s as 1 In the large Hilbert space, X can be written as the BRST exact form X = {Q, Ξ} with where P n is the projector onto the states with picture number n . The kinetic term of the action is written by using these symplectic forms as The other fundamental ingredients of heterotic string field theory are multi-(closed)string products, which make a string field from n string fields Φ 1 , · · · , Φ n . They are graded symmetric under interchange of the n string fields. If each string product carries proper ghost and picture numbers, as explained in detail in the next section, the heterotic string interaction is described by using such string products with n ≥ 2 . In addition, since the heterotic string field in this formulation is in the restricted small Hilbert space, the string products have also to be closed in the restricted space: The R component of Eq. (2.16) has also to be in the restricted Hilbert space. The action of heterotic string field theory is written as where the one-string product is identified as the BRST charge: L 1 = Q . This is invariant under the gauge transformation Here we assume that the BPZ inner products in the large and small Hilbert spaces are related as ξΦ 1 , Φ 2 l = Φ 1 , Φ 2 . We denote the zero mode ξ 0 as ξ in this paper.
if the string products L n satisfy the L ∞ relations σ n m=1 (1) , · · · , Φ σ(m) ), Φ σ(m+1) , · · · , Φ σ(n) ) = 0 (2.19) and the cyclicity condition Here σ in Eq. (2.19) denotes the permutation from {1, · · · , n} to {σ(1), · · · , σ(n)} and the factor (σ) is the sign factor of permutation of string fields from {Φ 1 , · · · , Φ n } to {Φ σ(1) , · · · , Φ σ(n) } . If the set of string products satisfies these conditions it is called a cyclic L ∞ algebra. The problem of constructing the heterotic string field theory reduces to the problem of constructing a set of string products realizing a cyclic L ∞ algebra. 2 However, the asymmetry of the symplectic form Ω between the NS and the R sectors complicates the construction of string products cyclic across both sectors [10]. In the next section we propose a way to construct them in two steps.
3 Constructing string products with cyclic L ∞ structure Now let us construct a set of string products realizing a cyclic L ∞ algebra. We use a coalgebraic representation which is convenient to discuss an infinite number of multi-string products collectively. Its basic definitions and properties are summarized in Appendix A to make the paper self-contained.

Prescription
Denote a coderivation corresponding to an n + 2 string product (n ≥ 0) with picture number p ≥ 0 as B (p) n+2 . As mentioned in the previous section, string products have to have proper ghost and picture numbers to describe interactions of heterotic strings. Here we only need to consider the picture number since the heterotic string field Φ has the same ghost number as the bosonic closed string field.
To describe the heterotic string interaction the output string state has to have the same picture number as the heterotic string field: the picture number of its NS (R) component has to be equal to −1 (−1/2). In order to discuss this kind of picture number counting it is useful to introduce the Ramond number and the cyclic Ramond number [10,15] by Ramond cyclic Ramond number = # of Ramond inputs ∓ # of Ramond outputs . Let us first suppose that 2r of n + 2 inputs are the R states. Since the R (NS) states represent the space-time fermions (bosons), the output is an NS state. Such a string product is characterized by the Ramond number 2r and the cyclic Ramond number 2r . From picture number conservation we have If 2r + 1 of the inputs are the R states, the output is the R state and we have This is the case characterized by the Ramond number 2r and the cyclic Ramond number 2r + 2 . Both of these equations (3.2) can be solved as n = p + r − 1 . A candidate coderivation is therefore with B 1 | 0 ≡ 0 . However, the cyclicity cannot be transparent in this form since the Ramond number is not invariant under the "cyclic permutation" as in Eq. (2.20). Instead we consider the string products 3 respecting the cyclic Ramond number which is invariant under the permutation, which makes it possible to construct the cyclic coderivation, at the cost, however, that the string products of Eq. (3.4) do not satisfy the condition in Eq. (3.2b). The picture number deficit of the string products in the second term is equal to 1 : the output of the second term is the R state with picture number −1/2 − 1 = −3/2 . This combination of string products appears naturally as the difference of two coderivations D and C with picture number deficit 0 and 1 respectively: with Here, π 0 1 (π 1 1 ) is the projection operator onto H N S (H R ) introduced in Appendix A. This combination of string products can be cyclic with respect to the symmetric symplectic form ω s .
Note that if we suppose that the coderivation D − C satisfies the L ∞ relation it is not closed in the small Hilbert space since [η, D − C] = 0 . As the first step, we construct an L ∞ algebra D − C cyclic with respect to the symplectic form ω l , which is comparatively easy due to the symmetry of ω l between the NS and R sectors. We denote this cyclic L ∞ algebra as (H l , ω l , D − C) . By decomposing Eq. (3.8) with the picture number deficit, we can find that it is equivalent to the set of conditions These two mutually commutative L ∞ algebras D and C are the heterotic string analogs of the dynamical and constraint L ∞ algebras in Ref. [11], respectively. They are neither cyclic nor closed in the small Hilbert space. We denote them as (H l , D) , (H l , C) . Once the cyclic L ∞ algebra (H l , ω l , D − C) is constructed, a desired cyclic L ∞ algebra (H res , Ω , L) can be obtained in a similar manner to Ref. [11]. Let us consider, in the second step, a simultaneous similarity transformation of D and C generated by an invertible cohomo-morphismF . Since a similarity transformation preserves L ∞ structure, they are still mutually commutative L ∞ algebras after transformation. Suppose thatF transforms C toF −1 CF = η . Then L ≡F −1 DF is commutative to η and hence an L ∞ algebra in the small Hilbert space (H, L) . In order that L is further an L ∞ algebra in the restricted space H res , the Ramond component of the output π 1 1 L must be in the restricted Hilbert space. So we assume here that L has the form for Φ 1 , · · · , Φ n+1 ∈ H res , and hence the cyclicity of L with respect to Ω is translated to simpler cyclicity of b with respect to ω s . We need two steps since b itself cannot be string products of an L ∞ algebra since it does not have a definite picture number deficit. Next, let us show that the desired cohomomorphismF is concretely given by ActingF from the right of both sides, we have By decomposing (3.12) we have Similarly from [C, D] = 0 and π 1 1 D = π 1 1 Q , we find that and then we can show that which provides an expected form of L as Finally, we can also show, as proved in Appendix C, that if B is cyclic with respect to ω l , then π 1 b = π 1 BF is cyclic with respect to ω s . In this way we can obtain the desired cyclic L ∞ algebra (H res , Ω, L) from a cyclic L ∞ algebra (H l , ω l , D − C) .

Explicit construction
Now, the remaining task is to construct concretely a cyclic L ∞ algebra (H l , ω l , D − C) . Let us start with considering the string products with picture number zero n+1 . The cyclic L ∞ algebra (H l , ω l , L (0) ) can easily be constructed in the same way as in the bosonic closed string field theory. Hereafter we call it the bosonic L ∞ algebra, which is assumed to be known. We define a generating function counting the picture number deficit, the picture number of its NS component π 0 and is closed in the small Hilbert space for the generating function counting the picture number, We extend Eqs. (3.25) to the equations by introducing the string products with non-zero picture number deficit counted by s in Let us first show that such string products can be obtained by postulating the differential equations by introducing a degree-even coderivation which is an analog of the gauge products in Ref. [2]. Equations (3.29) imply Finally, let us find a concrete expression of the string products. By expanding Eqs. (3.29) in t, we obtain which can be solved iteratively. For n = 0 we have B (s)] = 0 , we can consistently determine the gauge products λ (1) (s) from Eq. (3.35b) as respecting the cyclicity. Then, all the terms on the right-hand side of Eq. (3.35a) are given, which determines B (1) (s) . In order to go to the next step and beyond, we note here that the right-hand side of Eq. (3.34b), In the next step, n = 1 , this becomes since B (0) (s) , B (1) (s) and λ (1) (s) are already determined so as to satisfy This enables us to determine λ (2) (s) consistently from Eq. (3.34b) with n = 1 , and to determine B (2) from Eq. (3.34a) with n = 1 . Similarly, when we solved Eqs. (3.34) iteratively and determined λ (n) (s) and B (n) (s) for n ≤ n 0 , the equations hold for n ≤ n 0 by construction, which provides [ η, K (n 0 ) ] = 0 from Eq. (3.38) and guarantees to go one step forward consistently. Thus we can recursively determine all the B (n) (s) and Figure 1: The flow along which all the B (n) (s) and λ (n) (s) are determined recursively from λ (n) (s) , hence B(s, t) and λ(s, t) , along the flow depicted in Fig.1. The concrete expression can be obtained through the recursive relations starting from the initial condition B (0) (s) = L

Four-point amplitudes
It is interesting how the heterotic string field theory we have constructed reproduces the firstquantized amplitudes. In this section we demonstrate it by focusing on the four-point amplitudes as the simplest example. We concretely calculate three types of four-point amplitudes, four-NS , two-NS-two-R, and four-R, following a similar process to the one given in Ref. [1]. In this section we denote the string fields Φ N S and Φ R as Φ and Ψ , respectively, for notational simplicity. We take the Siegel gauge satisfying the conditions The propagators in this gauge are obtained in the usual way as where P ≡

Four-NS amplitude
To warm up let us first consider the four-NS amplitude, although it can be calculated without using the new results obtained in this paper. The first-quantized four-NS amplitude is expressed, for example, in the form where X 0 = {Q, ξ} and Φ 1 , · · · , Φ 4 are on-shell physical NS vertex operators in the −1 picture: it satisfies QΦ = 0 . The correlator is evaluated in the small Hilbert space on the complex z-plane. We put two X 0 s in front of Φ 1 , which is possible since the physical amplitudes are independent of the position of the picture-changing operators. Since the structure of bosonic moduli is common to the bosonic closed string, we can express this using the bosonic string products L ) . (4.5) The moduli integral b − 0 P is hidden behind the definition of the linear map L n . This can be regarded as a multi-linear map: where H N S Q ⊂ H N S is the subspace of states annihilated by Q . Putting Φ 1 , · · · , Φ 4 out, we can express Eq. (4.5) as Here the ω s | is a bilinear map representation of the symplectic form ω s . We can also write Eq. (4.7) using the coderivations as On the other hand, the four-NS amplitude obtained from the heterotic string field theory is given by The second equality follows from the fact that the string field L 2 (Φ 1 , Φ 2 ) satisfies the closed string constraints in Eq. (2.2). Using the coderivations this can also be written as We show that Eq. (4.10) actually agrees with the first-quantized expression in Eq. (4.8).
First, we note that L| 0 = B| 0 sinceF = I in the pure NS sector. Substituting the relations B following from Eq. (3.34a) into Eq. (4.10), we have Moving to the large Hilbert space using ω s | = ω l |ξ ⊗ I following from Eq. (2.13), one can pull Q out from Eq. (4.12) and obtain using the relations following from Eq. (3.34b), except for the terms vanishing when they hit the states in the small Hilbert space. We can repeat similar steps once more. Again using B we find that it agrees with the first-quantized amplitude in Eq. (4.8):

Two-NS-two-R amplitude
Similarly, let us show the agreement of the two-NS-two-R amplitude. The first quantized amplitude is now expressed as the multi-linear map which can be rewritten using the coderivations as In the heterotic string field theory, on the other hand, the two-NS-two-R amplitude can be calculated as where we used B following from the definition π 1 b = π 1 BF . Again, ΞL 3 | 2 0 , (4.22b) and X = [Q, Ξ] , we find the amplitude obtained from the heterotic string field theory agrees with the first-quantized amplitude:

Four-R amplitude
Finally the four-R amplitude obtained from the heterotic string field theory expressed as a map can be calculated as by using Eq. (4.21). This is nothing but the four-R amplitude in the first-quantized formulation.

Gauge-invariant action in WZW-like formulation
So far we have constructed a complete gauge-invariant action for the heterotic string field theory based on the cyclic L ∞ algebra in the small Hilbert space. In this section we also construct a WZW-like action by using a field redefinition, and show its gauge invariance independently.

Complete action and gauge transformation
First, we note that if we project B(s, t) and λ(s, t) onto the pure NS sector, The differential equations in Eqs. (5.3) and L ∞ relations in Eqs. (5.4) are nothing but those introduced in Ref. [2]. Thus, by construction, the string and gauge products restricted in the pure NS sector, B(s, t)| 0 and λ(s, t)| 0 , reduce to those in Ref. [2]. This implies that the L ∞ algebra restricting Eq. (3.22) in the pure NS sector Q + B [0] | 0 can be written in the form of the similarity transformation, generated by the cohomomorphism [13] Here, P denotes the path-ordered product from left to right. Using this fact we find that the string products L are transformed by (the inverse of) this similarity transformation as By construction, λ [0] (t)| 0 is cyclic with respect to ω l . This implies that the similarity transformation generated byĝ preserves the cyclicity, and thusb is also cyclic with respect to ω l . Next, we rewrite the action in Eq. (2.17) in the WZW-like form by extending the NS string field Φ N S to Φ N S (t) with t ∈ [0, 1] satisfying Φ N S (1) = Φ N S and Φ N S (0) = 0 . Using the cyclicity we find Here, the first term can be mapped to the WZW-like action as follows [13]. Using the similarity transformation in Eq. (5.7) and the identity ω l (π 1ĝ l 1 (e ∧Φ ) , π 1ĝ l 2 (e ∧Φ )) = ω l (π 1 l 1 (e ∧Φ ) , π 1 l 2 (e ∧Φ )) , (5.10) for odd coderivations l 1 and l 2 , which we prove in Appendix D , the first term can be written as where ξ t is the one coderivation derived from ξ∂ t . By this transformation, the constraint ηΦ = 0 restricting Φ in the small Hilbert space is mapped to the constraint where L η ≡ĝ ηĝ −1 . Since this L η is nothing but the dual L ∞ products in Ref. [14], the NS component of Eq. Then the associated fields B d (V (t)) (d = t, δ) are written as under this identification, where ξ δ is the one coderivation ξ δ derived from ξδ [13]. The identities characterizing the associated field, follow from the identifications in Eqs. (5.14) and (5.15) and the relation (A. 19), where we introduced the nilpotent linear operator D η (t) as for a general string field ϕ ∈ H N S large . Eventually the first term of the action in Eq. (5.9) is mapped to (the dual form of) the WZW-like action in the pure NS sector: If we note that π 1 1 b = π 1 1bĝ , the whole action is finally mapped to the complete WZW-like Since the field redefinition in Eq. (5.14) does not uniquely determine the NS string field V , we have an extra gauge invariance in the WZW-like formulation, which keeps G η (V ) invariant. In addition, the gauge transformation in the small Hilbert space formulation,

Summary and discussion
In this paper we have constructed a complete heterotic string field theory in both the homotopy algebraic formulation and the WZW-like formulation. The complete action and gauge transformation in the homotopy algebraic formulation are given by means of string products realizing a cyclic L ∞ algebra. We have found that for constructing such string products it is useful to consider an L ∞ algebra combining two L ∞ algebras, which can easily be cyclic. Although these two, the dynamical and constraint L ∞ algebras, are neither cyclic nor closed in the small Hilbert space, we can transform them by a similarity transformation to the desired cyclic L ∞ algebra, and the constraint L ∞ algebra restricting it in the small Hilbert space. A concrete expression of the string products has been given by recursively solving differential equations for their generating functions. It has been confirmed that this heterotic string field theory reproduces all the physical four-point amplitudes at the tree level. The WZW-like action and gauge transformation have also been constructed from those in the homotopy algebraic formulation through a field redefinition. The remaining missing pieces of the homotopy algebraic and the WZW-like formulations are complete type II superstring field theories. The prescription proposed in this paper can straightforwardly be extended to this case. We can construct string products realizing a cyclic L ∞ algebra and complete gauge-invariant actions in a similar manner. It will be reported in a separate paper [22].
Finally, needless to say that the construction of a complete action is not the end of the story but just the beginning. We hope that the string field theory constructed in this paper provides a useful basic approach for studying various interesting nonperturbative properties of heterotic strings.
by H as Here, H ∧0 is a one-dimensional vector space spanned by the identity I SH of the symmetrized tensor product satisfying for any element V ∈ SH . The coderivation L n is defined as an operator acting on SH by (A.7) Then we can consider an infinite sequence of multi-string products collectively as a general coderivation by adding them as The L ∞ relations in Eq. (2.19) are represented as nilpotency of the coderivation L : where the square bracket denotes the graded commutator, and the coderivation L is assumed to be degree odd. The L ∞ structure is preserved under the L ∞ isomorphism represented by invertible cohomomorphisms. A cohomomorphism is characterized by a sequence of degree-even multi-string products 5 H and defined by a linear operator on SH , where π n is the projection operator onto H ∧n :  13) or equivalently, where σ denotes all the decompositions of {1, · · · , k} to {σ(1) , · · · , σ(p)} and {σ(p+1) , · · · , σ(k)} . The symbol (σ) denotes the sign factor coming from the exchanging of the string fields due to this decomposition. For an invertible cohomomorphism we havê A group-like element is a useful object in the tensor algebra SH , and is defined by for a given Grassmann-even string field Φ . A coderivation l and a cohomomorphismĤ act on the group-like element as l(e ∧Φ ) = e ∧Φ ∧ π 1 l(e ∧Φ ) ,Ĥ(e ∧Φ ) = e H[Φ] , (A. 17) where H[Φ] = π 1Ĥ (e ∧Φ ) . The relation those follow from the definition are useful.

B Counting Ramond states
Let us summarize the ways to count the Ramond states in this appendix. We introduce a projection operator π r in the symmetrized tensor algebra, which projects onto the states containing r Ramond states: (B.1) By multiplying this by the projection operator in Eq. (A.12), we can define a projection operator π r n selecting states containing r Ramond states in H ∧n : π r n = π n π r : Note that a coderivation corresponding to the n-string product l n satisfies π m+1 l n = l n π m+n .

(B.3)
We can decompose the coderivation l n by the Ramond number defined by the number of Ramond inputs minus the number of Ramond outputs, which is denoted as the subscript after a vertical line, like l n | r : π s l n | r = l n | r π r+s .

(B.4)
If we note that the NS and Ramond states represent the space-time bosons and fermions, respectively, the Ramond number must be even. Therefore the range of the Ramond number is where [x] is Gauss' symbol representing the greatest integer that is less than or equal to x . Combining Eqs. (B.3) and (B.4), it is found that a coderivation l n | r satisfies π s m+1 l n | r = l n | r π r+s m+n . (B.6) It is important to note that the Ramond number is additive when taking the (graded) commutator: In order to consider the cyclicity, the cyclic Ramond number is more useful than the Ramond number because it is preserved under the cyclic permutation. The cyclic Ramond number is defined by the sum of the numbers of Ramond inputs and Ramond outputs, which must also be even. The cyclic Ramond number is denoted by a superscript after a vertical line, and a coderivation l n | r satisfies π s m+1 l n | r = l n | r π r−s m+n . (B.8) The range of the cyclic Ramond number is A coderivation with a definite Ramond number or with a definite cyclic Ramond number is decomposed as l n | 2r = π 0 1 l n | 2r 2r + π 1 1 l n | 2r+2 2r , (B.10) l n | 2r = π 0 1 l n | 2r 2r + π 1 1 l n | 2r 2r−2 . (B.11) The cyclic Ramond number, however, is not additive when taking a commutator: the commutator of coderivations with definite cyclic Ramond numbers does not have a definite cyclic number. From the decomposition in Eq. (B.11) we have So, it is useful to introduce operations picking up a part with definite cyclic Ramond numbers as follows. Suppose that there are two coderivations l = r l| 2r and l = s l | 2s . We define two operations which decompose a commutator as (B.14) We can show from Eq. (B.12) that These imply that the operations [ , ] 1 and [ , ] 2 satisfy the Jacobi identities where l = t l | 2t . Due to the Jacobi identity of the commutator and the decomposition in Eq. (B.14), the identity also holds. Note that in the pure NS sector, [l| 0 , l | 0 ] 2 = 0 . (B.20b)