d - branes have been studied for many years and used to reveal nonperturbative aspects of string theory .
they are considered to be solitons in string theory . from the viewpoint of open string theory ,
( for example , in the vacuum string field theory @xcite ) , d - branes emerge as soliton - like solutions of the equation of motion . the question we would like to address in this paper is  what are d - branes in closed string field theory ? " .
although several attempts have been made @xcite@xcite , d - branes have not been studied so much in the context of closed string field theories .
actually , a fairly clear answer to the above question is given for noncritical strings .
d - branes in noncritical string theories can be defined as in the critical ones @xcite . in ref.@xcite , fukuma and
yahikozawa showed that the d - branes can be realized as solitonic operators which commute with the virasoro and @xmath3 constraints @xcite for the noncritical string theories . in ref.@xcite
, it was shown that how such solitonic operators are realized in the string field theory of noncritical strings presented in ref.@xcite .
states in which d - branes are excited can be made by acting these solitonic operators on the vacuum .
what we would like to do in this paper is to construct such states in a critical bosonic string field theory .
since the string field hamiltonian given in ref.@xcite consists of the joining - splitting interactions , it seems possible to generalize the construction of the operators given in ref.@xcite to the string field theories with the light - cone gauge type interactions . in this paper
, we take the @xmath0 invariant string field theory @xcite as such a theory .
the @xmath0 invariant string field theory is a covariantized version of the light - cone gauge string field theory @xcite and it was proved that the s - matrix elements coincide with those of the light - cone gauge one @xcite .
what we will do is to construct solitonic operators made from the creation and annihilation operators of second - quantized strings . in order to deal with d - branes , we consider the closed strings whose wave functions are proportional to the boundary states .
such states were shown @xcite to satisfy the idempotency equations .
because of these relations , we expect that three string vertices for such strings look quite like the ones which appear in the noncritical string field theory in ref.@xcite
. we will show that we can construct solitonic operators using such states .
these operators can be considered as creation operators of d - branes ( or ghost d - branes recently proposed in ref.@xcite ) .
acting them on the vacuum , we obtain brst invariant states , which can be regarded as states in which d - branes are excited .
we calculate the vacuum amplitude and show that these operators create two d - branes .
the organization of this paper is as follows . in section [ sec : noncritical ]
, we will briefly explain the construction of the solitonic operators @xcite in the string field theory of noncritical strings @xcite . in section [ sec : ospsft ] , we will review the @xmath0 invariant string field theory @xcite@xcite . in section [ sec :
boundary ] , we will define the boundary states and the creation and annihilation operators for the strings whose wave functions are proportional to such states , in the @xmath0 invariant string field theory . in section [ sec : solitonop ] , we will construct solitonic operators using the operators defined in section [ sec : boundary ] , following the construction in the noncritical case . regarding them as the creation operators for d - branes , we can get brst invariant states in which d - branes are excited .
we compute the vacuum amplitude and find that the operators we construct create two d - branes or ghost d - branes .
section [ sec : discussions ] will be devoted to discussions . in the appendices ,
we present the details of the calculations to derive the brst transformations for component fields of the string field which are proportional to the boundary states .
noncritical strings can be described by the string field theory constructed in @xcite and its generalizations . for simplicity ,
let us consider the @xmath4 case . in this case , the only reparametrization invariant quantity which can specify the state of a closed string is its length @xmath5 .
therefore we define the creation and annihilation operators @xmath6 of the string with length @xmath5 which satisfy @xmath7 = \delta ( l - l^\prime ) ~. \label{noncriticalcanonical}\ ] ] the correlation functions can be calculated using the stochastic hamiltonian @xmath8 where @xmath9 the processes which the first two terms in the hamiltonian represent are exactly the joining - splitting interactions .
the third term corresponds to a tadpole term in which only strings with vanishing length are involved . here
@xmath10 denotes the string coupling constant and @xmath11 denotes the cosmological constant on the worldsheet .    in this formulation ,
the virasoro constraint for @xmath4 string theory can be written as @xmath12 where @xmath13 is a state which can be expressed by using the correlation functions .
solitonic operators corresponding to d - branes can be constructed as operators which commute with @xmath14 @xcite .
if such operators exist , by acting them on @xmath13 which is a solution of eq.([noncriticalvirasoro ] ) , one can generate other solutions .    from the commutation relations @xmath15 & = & { } -\frac{1}{g_s}\int_0^\infty dl^\prime        l^\prime\epsilon ( l^\prime ) \psi ( l+l^\prime )
~ , \nonumber \\ { } \left[\ , \frac{1}{g_s^2}\int^{\infty}_{0 } dl^\prime      l^\prime\epsilon ( l^\prime ) t(l^\prime ) \ , , \ ,     g_s\psi^\dagger ( l ) \ , \right ] & = & g_s\int_0^l dl^\prime l^\prime ( l - l^{\prime } )      \epsilon ( l^\prime ) \psi^\dagger ( l - l^\prime ) \nonumber \\ & & { } + \frac{2}{g_s}\int_0^\infty dl^\prime         ( l+l^\prime ) \epsilon ( l+l^\prime ) \psi ( l^\prime ) ~ , \label{noncriticalcommutation}\end{aligned}\ ] ] it is straightforward to show that @xmath16 satisfies @xmath17 = \partial_\zeta    \left(\partial_\zeta \tilde{\epsilon } ( \zeta )          \mathcal{v}(\zeta ) \right)~ , \label{noncritical1}\ ] ] where @xmath18 therefore @xmath19 commutes with @xmath14 if the limits of the integral are chosen appropriately . in perturbative calculations , the integration over @xmath20 is done by the saddle point method and we do not have to specify these limits . this operator can be identified with the creation operator of the zz - brane .
@xmath21 in the exponent in @xmath22 has the effect of generating boundaries on the worldsheet with exactly the same weight as that for the boundary state of the zz - brane .
moreover one can see that the solitonic operator increases the number of the eigenvalues of the matrix for the matrix model , by one .
the calculations above are quite analogous to the ones in 2d free boson theory .
@xmath23 , @xmath24 and @xmath14 can be compared to the oscillator modes of the boson and its energy - momentum tensor respectively .
@xmath22 should correspond to the vertex operator with conformal weight @xmath25 .
the condition that the right hand side of eq.([noncritical1 ] ) be a total derivative fixes the overall factor in the exponent of @xmath22 . actually , from this condition alone , there exists another choice for @xmath22 which is @xmath26 this operator should correspond to the ghost d - brane .
what we would like to do in this paper is to generalize the above construction to critical strings .
since the solitonic operator @xmath22 generates boundaries on the worldsheet , we should use the creation and annihilation operators of the critical strings whose wave functions are proportional to the boundary states , in place of @xmath24 and @xmath23 in the above construction . in ref.@xcite , it was shown that the boundary states @xmath27 satisfy the idempotency equation @xmath28 where @xmath29 denotes the product corresponding to a light - cone gauge type three string vertex .
this equation implies that in the joining - splitting interaction for the strings whose wave function is proportional to the boundary states , what matter are only their lengths .
therefore the three string vertex for such states is essentially the same as the one in the hamiltonian ( [ eq : stochastic ] ) for noncritical strings .
hence it seems likely that the above construction works also for some string field theory of critical strings .
the string field theory we consider in this paper is the @xmath0 invariant string field theory @xcite@xcite . in order to fix the notations used in this paper ,
let us recapitulate the formulation of this theory .
siegel s procedure @xcite for covariantizing the light - cone gauge string field theory @xcite@xcite@xcite is to replace the @xmath30 transverse vector @xmath31 by the @xmath32 vector @xmath33 , where @xmath34 are grassmann even and the ghost fields @xmath35 and @xmath36 are grassmann odd .
the metric of the @xmath32 vector space is @xmath37 the euclidean action is @xmath38 where @xmath39 denote the coordinates on the cylinder worldsheet . one has the mode expansion @xmath40 the nonvanishing canonical commutation relations are @xmath41 = i\eta^{\mu\nu}~ , \quad    [ \alpha_n^\mu , \alpha_m^\nu ] = n\eta^{\mu\nu}\delta_{n+m,0}~ ,    \quad    [ \tilde{\alpha}_n^\mu , \tilde{\alpha}_m^\nu ]      = n\eta^{\mu\nu}\delta_{n+m,0}~ , \nonumber \\ & & \ { c_0,\bar{\pi}_0\ } = 1~ , \quad \ { \bar{c}_0,\pi_0\ } = 1~ , \quad \ { \gamma_n,\bar{\gamma}_m\ } = in\delta_{n+m,0}~ , \quad \ { \tilde{\gamma}_n,\tilde{\bar{\gamma}}_m\ }          =   in\delta_{n+m,0}\end{aligned}\ ] ] for @xmath42 .
we also use @xmath43    the hilbert space for the string consists of the fock space of the oscillators and the wave function for the zero modes .
we take the wave function to be a function of @xmath44 , i.e.  we take the momentum representation for the zero modes . here
@xmath45 denotes the string length , which is a variable characteristic of the string field theories with the joining - splitting interactions . in the momentum representation
, the vacuum state @xmath46 in the first quantization is defined by @xmath47 the integration measure for the zero modes of the @xmath48-th string is written as @xmath49    the brst charge is defined @xcite@xcite as @xmath50 where @xmath51 and @xmath52 @xmath53 are the virasoro generators defined as @xmath54 here @xmath55 means the normal ordering of the oscillators in which the non - negative modes should be moved to the right of the negative modes . the brst charge ( [ eq : brst - charge ] ) is nilpotent : @xmath56 .
the reflector is defined as @xmath57 where @xmath58 with @xmath59 we also introduce @xmath60    the reflector @xmath61 satisfies @xmath62 this yields @xmath63 @xmath64 satisfies similar identities .
the bpz conjugate @xmath65 of @xmath66 is defined as @xmath67    from the definitions , we have @xmath68 and @xmath69 where @xmath70 denotes the grassmann parity of the string field @xmath71 . thus @xmath61 can be considered as the symplectic form for the string fields and @xmath72 is its inverse .
the three string vertex is given by @xmath73 where @xmath74 denotes the interaction point and @xmath75 here @xmath76 denote the neumann coefficients associated with the joining - splitting type of three string interaction @xcite@xcite@xcite .
invariance on the worldsheet . ]    by using the three string vertex ( [ eq : v3 ] ) , the @xmath77-product @xmath78 of two arbitrary closed string fields @xmath71 and @xmath79 is defined by @xmath80 the @xmath77-product has following properties , @xmath81 the first equation is equivalent to @xmath82 and the second one is known as the jacobi identity .
the action of the @xmath0 invariant string field theory is directly given by the @xmath0 extension from that of the light - cone gauge string field theory .
this takes the form @xmath83~ , \label{eq : actionosp}\end{aligned}\ ] ] where @xmath84 denotes the proper time .
the string field @xmath71 is taken to be grassmann even and subject to the level matching condition @xmath85 .
note that in the interaction term the three string vertex @xmath86 is multiplied by the factor @xmath87 .
this manipulation removes @xmath88 from the vertex @xmath86 , i.e. @xmath89    the action ( [ eq : actionosp ] ) is invariant under the brst transformation @xmath90 where the @xmath77-product is defined in eq.([eq : star - prod ] ) .
the nilpotency of the brst transformation ( [ brs ] ) is assured by the nilpotency of @xmath91 and eqs.([eq : prop - ast ] ) .
one can readily show that the action ( [ eq : actionosp ] ) is invariant under the brst transformation ( [ brs ] ) by using the nilpotency of the brst transformation ( [ brs ] ) and the fact that the action ( [ eq : actionosp ] ) can be expressed as @xmath92~.     \label{eq : brstexact}\ ] ]    in this string field theory , @xmath35 and @xmath36 play the role of the @xmath93 ghost in the usual theory .
indeed with the following identifications @xmath94 with @xmath42 , @xmath95 becomes almost the same as the usual first - quantized brst operator .
perturbative calculations can be done in a way similar to the one for the light - cone gauge string field theory . in the canonical quantization
, we should think of the components of @xmath96 with positive @xmath45 as annihilation operators and those with negative @xmath45 as creation operators .
the prescription for how to treat the physical on - shell states was given by ref.@xcite invariant string field theory as well .
] , and a proof was given to the fact that the s - matrix elements calculated using this theory coincide with those of the light - cone gauge string field theory .    before concluding this section ,
one comment is in order . in refs.@xcite@xcite@xcite@xcite ,
gauge invariant actions were proposed and it was shown that the @xmath0 invariant theory can be obtained from them after gauge fixing . unfortunately the brst transformations which originate from these covariantized light - cone string field theories coincide with eq.([brs ] ) only for on - shell states . in this paper , we should deal with the boundary states which are off - shell , and consider eq.([brs ] ) as the brst transformation .
the origin of this brst transformation eq.([brs ] ) may be understood by considering this system in terms of the bfv formalism . in principle , looking at the brst transformation itself , one can read off the constraints from which the brst transformation is constructed .
in order to construct solitonic operators in the way mentioned at the end of section [ sec : noncritical ] , we should study the boundary states in the @xmath0 invariant theory and identify the creation and annihilation operators corresponding to such states .
a problem is that the boundary states are not normalizable .
we will introduce a brst invariant regularization and define normalizable states proportional to the boundary states .    in
what follows , we consider the toroidally compactified space - time characterized by @xmath97 @xmath98 to regularize the infrared divergence .
in this situation , the zero modes of the matter sector are modified because of the momentum quantization and the windings .
we briefly summarize the notations for the zero - mode part of the toroidally compactified matter sector .
the zero - mode part of @xmath99 takes the form @xmath100 where @xmath101 and @xmath102 are complex coordinates on the cylinder worldsheet defined as @xmath103 and @xmath104 . the center - of - mass momentum @xmath105 is quantized and @xmath106 is related to the winding number @xmath107 as follows : @xmath108 @xmath109 and @xmath110 are defined as @xmath111 they obey the canonical commutation relations : @xmath112= \left [ x^{\mu}_{r}\ , , \ , p^{\nu}_{r } \right]=i \eta^{\mu\nu}$ ] , otherwise vanishing . thus the zero - mode sector consists of two canonical pairs . for later use
, we introduce a new variable @xmath113 and we choose the basis of the zero - mode phase space to be @xmath114 .
they satisfy @xmath115 = \left[y^{\mu}_{0}\ , , \ , q^{\nu}\right]=i\eta^{\mu\nu}$ ] . because of the quantization ( [ eq : wind ] ) of @xmath106 , the range in which @xmath116 ( conjugate to @xmath106 ) varies is finite as well as that of @xmath117 : @xmath118 let @xmath119 and @xmath120 be the eigenstates of the operators @xmath117 and @xmath116 with eigenvalues @xmath121 and @xmath122 .
let @xmath123 and @xmath124 be the eigenstates of the operators @xmath105 and @xmath106 with eigenvalues @xmath125 and @xmath126 .
we normalize these states as follows : @xmath127 it follows from eqs.([eq : range ] ) and ( [ eq : normes ] ) that @xmath128 in accordance with the modification above , the momentum dependent parts of the integration measure for the zero modes , the reflector @xmath129 and the three string vertex @xmath130 are respectively replaced as follows : @xmath131 in the last equation , the cocycle factor @xmath132 is necessary for the jacobi identity to be satisfied @xcite@xcite .
( see also the second paper in ref.@xcite . )
we consider the situation in which the d@xmath133-branes extend in the @xmath121 directions with @xmath134 .
we refer to these directions as the neumann directions and denote them by @xmath121 ( @xmath135 .
we refer to the directions transverse to the d - branes as the dirichlet directions and denote them by @xmath136 ( @xmath137 ) . in the first quantized approach to the closed string , the d - brane is described by the boundary state .
the boundary state in the matter sector @xmath138 is expressed as the direct product of those for the neumann and the dirichlet sectors : @xmath139 where @xmath140 and @xmath141 are respectively the volumes of the neumann and the dirichlet directions , i.e.  @xmath142 and @xmath143 .
we notice that the zero - mode part of the state @xmath144 is @xmath145 and that of the state @xmath146 is @xmath147 , modulo normalization constants . in the following ,
we restrict ourselves to the case in which d@xmath133-branes are located at @xmath148 .
let us turn to the ghost sector .
we require that the dirichlet boundary condition should be satisfied by the ghost fields @xmath149 and @xmath150 at @xmath151 on the boundary state : @xmath152 in terms of the oscillation modes , these conditions read @xmath153 for @xmath154 .
case of eq.([eq : bc2gh ] ) is not derived from eq.([eq : bc1gh ] ) , it holds automatically by definition of @xmath155 and @xmath156 .
] they coincide with the usual boundary conditions for the @xmath93 ghosts assuming eq.([ghostidentification ] ) .
this implies that the boundary state @xmath157 is proportional to the state @xmath158 let us define @xmath159 as @xmath160 where @xmath161 is an arbitrary normalization constant . in what follows
, we refer to this state as a boundary state . since the string field should have @xmath45 dependence , we need an @xmath45 dependent version of the boundary state .
let us define @xmath162 as @xmath163 where the parameter @xmath5 is an eigenvalue of @xmath45 , i.e.  @xmath164 .
the boundary state ( [ eq : b0 ] ) is not normalizable .
we need therefore regularize the divergence of the norm of this state , in order to treat it as a string field in string field theory . for this purpose
we introduce a regularized boundary state @xmath165 by attaching a stub to the state @xmath166 as depicted in fig .
[ fig : stab ] : @xmath167 a similar regularization is necessary even for on - shell physical states@xcite .
this is a brst invariant regularization instead of @xmath168 because @xmath169 this regularization however does not work for our purpose .
see the comment at the end of this subsection . ] because @xmath170 commutes with the brst charge @xmath91 , which can be seen from @xmath171 a subtlety seems to occur at @xmath172 , because @xmath45 appears in the form of the absolute value .
as is usual in a light - cone formalism , we will exclude the modes with @xmath173 with some small @xmath174 from the spectrum .
as we will see , this corresponds to an infrared cut - off on the worldsheet .
we will study the theory perturbatively .
therefore we will keep the most dominant contributions in the limit @xmath175 at each order in @xmath176 , in the following .    .
( b ) the inner product @xmath177 . ]
we regularize the state ( [ eq : bel ] ) accordingly : @xmath178 let us consider the inner product @xmath179 where @xmath180 and @xmath181 denote the integration measures for the zero modes defined in eq.([eq : zeromodemeasure ] ) .
eq.([eq : bb-0 ] ) becomes the cylinder amplitude of a closed string with a fixed circumference @xmath182 propagating through a very short proper time @xmath183 .
after the modular transformation for the non - zero mode part and the poisson resummation for the zero - mode part , we obtain @xmath184^{24 } }       \nonumber\\   & &   \times       \prod_{\mu \in \mathrm{n } }       \left [ \sum_{{\mathtt{w}}^{\mu}\in\mathbb{z } }        e^{-\frac{|l|}{\epsilon }            \frac{\pi^{2}{\alpha'}}{(r^{\mu})^{2 } } { \mathtt{w}}^{\mu 2 } }        \right ]        \times \prod_{i \in \mathrm{d } }          \left [ \sum_{{\mathtt{n}}^{i}\in \mathbb{z } }                e^{-\frac{|l|}{\epsilon}\frac{(\pi r^{i})^{2}}{{\alpha ' } }                    { \mathtt{n}}^{i2 } } \right]~.      \label{eq : overlap2}\end{aligned}\ ] ] the dominant contribution @xmath185 in the limit @xmath186 originates from the propagation of the open string tachyon in the dual channel .
we introduce the state @xmath187 defined as @xmath188 from eq.([eq : overlap2 ] ) , we find that @xmath189 thus the state @xmath187 is normalizable .
a comment is in order . naively speaking @xmath190 because the wave function for @xmath162 lacks factors of @xmath191 and @xmath192 .
however in eq.([eq : bb-0 ] ) , @xmath170 provides these and we get a nonvanishing answer for the inner product .
now let us define the creation and annihilation operators of the closed strings whose wave functions are proportional to the boundary states .
the states @xmath193 with @xmath194 are normalizable as stated above and the inner products ( [ eq : innerprod - n ] ) among them are non - degenerate .
this enables us to choose a complete basis of the hilbert space which consists of these states and their orthogonal complement .
taking also the states @xmath195 into account , we can expand @xmath196 as @xmath197~ ,        \label{eq : sf1}\ ] ] where ` @xmath198 ' denotes the contributions from the other states .
the wave functions @xmath199 , @xmath200 , @xmath201 , @xmath202 etc .
are the fields to be quantized in the second quantization .
etc .  depend on the proper time @xmath84 : @xmath203 .
we suppress the proper time in the arguments for simplicity . ]
@xmath199 and @xmath200 can be considered as the annihilation and creation operators for the closed strings corresponding to the boundary state .
let us divide @xmath196 into the creation and annihilation parts as follows : @xmath204~,\nonumber\\ & & \left| \bar{\psi } \right\rangle = \int^{\infty}_{0 } dl     \big [          \left| n(-l ) \right\rangle \bar{\phi}(l )                + \bar{\pi}_{0 } \left| n(-l ) \right\rangle
\bar{\chi}(l )               + \cdots \big]~.   \label{eq : sf2}\end{aligned}\ ] ]    the string field @xmath196 satisfies the reality condition : @xmath205 where @xmath206 denotes the hermitian conjugate of @xmath207 , and @xmath208 denotes the bpz conjugate of @xmath207 defined in eq.([eq : bpz ] ) , respectively .
since the bpz conjugation flips the sign of the string length @xmath45 , the reality condition ( [ eq : reality1 ] ) implies that @xmath209 combined with the relation @xmath210 eq.([eq : reality2 ] ) leads to @xmath211    the brst transformations @xmath212 and @xmath213 for the component fields @xmath199 and @xmath200 can be calculated from eq.([brs ] ) .
considering the idempotency equations @xcite satisfied by the boundary states , we expect that the nonlinear terms in the transformation takes a very simple form .
indeed we obtain @xmath214        \nonumber\\    & &   { } + \cdots ~ , \nonumber\\ \frac{4c\epsilon^{3}}{g\mathcal{n } } \delta_{\mathrm{b } } \bar{\phi } ( l )    & = & { } -\frac{c}{g\mathcal{n}}\epsilon^{2 }        \left ( \frac{\partial}{\partial l}+\frac{\pi^{2}}{2\epsilon }        \right ) \left ( l\bar{\chi}(l ) \right )    + \int^{l}_{0 } dl_{1}\ ,    l_{1}(l - l_{1 } ) \bar{\chi}(l_{1 } ) \bar{\phi}(l - l_{1 } )   \nonumber\\     & & { }   + \int^{\infty}_{0 } dl_{1}\ ,          l_{1}(l+l_{1 } )         \left [ \bar{\chi}(l+l_{1})\phi(l_{1 } )               + \chi(l_{1})\bar{\phi}(l+l_{1 } ) \right ]               \nonumber\\    & & { } + \cdots ~ ,    \label{eq : brst}\end{aligned}\ ] ] where @xmath215 the derivation of eq.([eq : brst ] ) is presented in appendix [ sec : brst ] . as is intuitively clear , a boundary state split into two makes two boundary states and two boundary states joined together makes a boundary state .
such contributions are written explicitly in eq.([eq : brst ] ) .
however , a boundary state joined to a different state makes a state different from the boundary state .
such contributions are denoted by ` @xmath198 ' .
notice that each term in ` @xmath198 ' should be a product of one annihilation operator other than @xmath216 and one creation operator other than @xmath217 .
in this section , we will construct solitonic operators made from the @xmath218 and @xmath219 and study their properties .
let us canonically quantize the string fields defined in eq.([eq : sf1 ] ) first .
the kinetic term of the action ( [ eq : actionosp ] ) can be written as @xmath220 in the same way as was performed in the light - cone string field theory @xcite@xcite , we obtain the canonical commutation relation @xmath221    = i(r , s )    \qquad \leftrightarrow \qquad    \left [ \left|\psi\right\rangle_{r } ,         \left|\bar{\psi } \right\rangle_{s } \right ]    = \left| r ( r , s ) \right\rangle~ ,    \label{eq : ccc1}\ ] ] where @xmath222 is defined as @xmath223 @xmath222 serves as the identity operator .
in fact , the following relations hold for an arbitrary string field @xmath224 , @xmath225 multiplying the second equation in eq.([eq : ccc1 ] ) by @xmath226 from the left , we have @xmath227   = \frac{1}{\mathcal{n}^{2 } l_{r } } \delta ( l_{r}-l_{s})~.   \label{eq : ccc2}\ ] ] one can also derive this commutation relation directly from the action ( [ eq : osp - kin ] ) expressed in terms of the component fields : @xmath228    the vacuum state @xmath229 in the second quantization is defined by @xmath230 this yields @xmath231 we take the normalization of the vacuum state @xmath229 as @xmath232 .
the right hand sides of eq.([eq : brst ] ) look quite like those of eq.([noncriticalcommutation ] ) . indeed if we replace @xmath233    \
\rightarrow    \
\frac{4c\epsilon^{3}}{g\mathcal{n}}\delta_{\mathrm{b } }      \left ( \ \cdot \ \right)~,&\nonumber\\ & \displaystyle    \frac{\sqrt{2}}{g_s\mathcal{n}l}\psi ( l )     \rightarrow \phi ( l)~ ,    \quad \frac{g_s}{\sqrt{2}\mathcal{n}}\psi^\dagger ( l )     \rightarrow \bar{\phi}(l)~ ,    \quad   \epsilon ( l )     \rightarrow \bar{\chi}(l)~,&\end{aligned}\ ] ] in eq.([noncriticalcommutation ] ) , we get exactly the nonlinear terms involving @xmath202 on the right hand sides of eq.([eq : brst ] ) .
moreover the commutation relation ( [ noncriticalcanonical ] ) becomes eq.([eq : ccc2 ] ) by such replacements .
therefore we expect that operators in the following form can be used to construct brst invariant operators : @xmath234      \,\exp \left [        \mp \sqrt{2}\mathcal{n } \int^{\infty}_{0 } dl '      \ , e^{\zeta l ' } \phi ( l')\right].\ ] ] taking the linear terms on the right hand sides of eq.([eq : brst ] ) into account , we define @xmath235      \,\exp \left [        \mp \sqrt{2}\mathcal{n } \int^{\infty}_{0 } dl '      \ , e^{\zeta l ' } \phi ( l')\right ]      e^{\pm \frac{c\epsilon^{2}}{\sqrt{2}g }          \left(\zeta+\frac{\pi^{2}}{2\epsilon}\right)^{2}}~ , \label{eq : v - cal}\end{aligned}\ ] ] where @xmath236 is a constant
. actually we can not make brst invariant operators from @xmath22 .
rather we will show that we can construct brst invariant states by acting @xmath237 on the vacuum @xmath229 .
as a warm - up , let us show that @xmath238       |0 \rangle \ ! \rangle      \label{eq : d - branestate}\end{aligned}\ ] ] is brst invariant : @xmath239 the brst transformation can be calculated by using eq.([eq : brst ] ) as @xmath240          \,e^{\pm \sqrt{2 } \mathcal{n } \int^{\infty}_{0 } dl\ , e^{-\zeta l }              \bar{\phi}(l ) }     \ ; |0\rangle \!\rangle~.      \label{eq : brstexp1}\end{aligned}\ ] ] here we have used @xmath241 and the fact that ` @xmath198 ' in eq.([eq : brst ] ) does not contribute because it includes annihilation operators other than @xmath218 . it is useful to introduce the laplace transforms @xmath242 and @xmath243 of @xmath200 and @xmath202 defined as @xmath244 the following identities hold , @xmath245 combining these relations with eq.([eq : brstexp1 ] ) , we obtain @xmath246
\right ) |0\rangle\!\rangle    } \nonumber\\ & &   = \frac{\partial}{\partial \zeta }         \left ( \frac{\partial \tilde{\bar{\chi}}(\zeta)}{\partial \zeta }         \exp\left[\pm \sqrt{2 } \mathcal{n }          \int^{\infty}_{0}dl\ , e^{-\zeta l}\bar{\phi}(l )        \pm \frac{c\epsilon^{2}}{\sqrt{2}g }          \left ( \zeta + \frac{\pi^{2}}{2\epsilon } \right)^{2}\right ]          \right)\,|0\rangle\!\rangle~.       \label{eq : brstexp3}\end{aligned}\ ] ] taking eq.([eq : d - branestate ] ) into account , we find that this equation implies the brst invariance ( [ eq : brsinv - dstate-0 ] ) of the state @xmath247 .
@xmath247 can be considered as a state in which d - branes are excited .
actually as we will see in the next subsection , two d - branes are there . in order to have more d - branes
, we just have to operate @xmath237 successively on the vacuum @xmath229 , namely we construct states @xmath248 for @xmath249 .
they are brst invariant , because @xmath237 is brst invariant modulo terms which annihilate the states @xmath250 , @xmath251 .
this can be seen as follows .
under the brst transformation  ( [ eq : brst ] ) , @xmath252 transforms as @xmath253    + \left ( \pm \frac{2\sqrt{2}c\epsilon^{2}}{g }             \zeta \frac{\partial \tilde{\chi}(\zeta)}{\partial \zeta }           + \cdots \right ) \mathcal{v}(\zeta)~ ,         \label{eq : brst - v}\ ] ] where ` @xmath198 ' denotes the terms which includes annihilation operators other than @xmath254 , and @xmath255 and @xmath256 are the laplace transforms of @xmath254 and @xmath201 defined as @xmath257 we can prove eq.([eq : brst - v ] ) with the help of the relation @xmath258 the terms in the parenthesis @xmath259 in the second term on the right hand side of eq.([eq : brst - v ] ) commute with @xmath252 and annihilate @xmath229 . thus we find that the states of the form @xmath250 are brst invariant .      in order to compare our description of d - branes constructed above with the usual one , let us compute the vacuum amplitude in the presence of d - branes in our formalism . since @xmath247 is considered as a state with some d - branes excited , the vacuum amplitude in the presence of d - branes can be given as @xmath260 where @xmath261 is the second - quantized hamiltonian .
notice that the time variable in the @xmath0 invariant string field theory is not the physical time but with  topological " nature because the hamiltonian @xmath261 is brst exact .
this can be seen from the expression ( [ eq : brstexact ] ) .
therefore @xmath262 can be transformed into a form which is independent of the value of @xmath263 . by comparing @xmath262 with the usual vacuum amplitude
, we can see how many d - branes are there in the state @xmath247 . in order to do so ,
let us first perform the integration over @xmath20 in eq.([eq : d - branestate ] ) .
perturbatively the factor @xmath264    \label{eq : gaussian}\ ] ] in the integrand in eq.([eq : d - branestate ] ) is the most dominant .
therefore , through the saddle point approximation we obtain @xmath265 |0\rangle \ ! \rangle~ ,      \label{eq : saddle}\ ] ] where @xmath266
. one can find that @xmath267 plugging this relation into eq.([eq : saddle ] ) , we obtain the expression of the state @xmath268 in terms of the string state @xmath269 and @xmath270 as follows : @xmath271 |0\rangle \ ! \rangle~.     \label{eq : d - branestate2}\ ] ] note that the divergent factor @xmath272 @xmath273 is miraculously canceled by the regularization factor @xmath274 in @xmath275 and we can express @xmath276 in terms of @xmath277 .    now let us evaluate @xmath262 .
perturbatively the lowest order contribution can be obtained by replacing the hamiltonian @xmath261 with its free part @xmath278 .
substituting @xmath279~ , \nonumber\\ \hat{h}_{0 }    & = & \int dr\ , { } _ { r}\!\langle \bar{\psi}|      \ , \frac{l^{(r)}_{0}+\tilde{l}^{(r)}_{0}-2}{\alpha_{r } }      \ ,
\left| \psi \right\rangle_{r}~,\end{aligned}\ ] ] into the expression and using the commutation relation ( [ eq : ccc1 ] ) , we find that @xmath280   |0\rangle\!\rangle    \nonumber\\ & & =   \left| \lambda ' \right|^{2 }     \exp \left [         \frac{2}{\mathcal{n}^{2 } } \int^{\infty}_{0}\frac{dl}{l }                  \int^{\infty}_{0 } \frac{dl'}{l ' }        \int dr \ ;          { } ^{\epsilon}_{r}\ ! \langle b_{0}(-l')|\ ,           e^{-it\frac{l^{(r)}_{0}+\tilde{l}^{(r)}_{0}-2}{\alpha_{r } } }           \ , |b_{0}(l ) \rangle^{\epsilon}_{r }         \right]~.        \label{eq : dd1}\end{aligned}\ ] ] here we have used the relation @xmath281 which follows from eq.([eq : ccc1 ] ) .    the quantity in the exponent of eq.([eq : dd1 ] ) should be compared with the cylinder amplitude in the usual formulation .
after the integrations over @xmath45 , @xmath191 , @xmath192 and @xmath282 , we obtain the integration measure for @xmath5 as @xmath283 since @xmath263 is fixed , this is exactly the integration over the parameter in front of @xmath284 .
therefore the integration over @xmath5 is transformed into the one for the moduli parameter of the cylinder and the result is in a form which is independent of the value of @xmath263 .
the overlap between the boundary states in the exponent on the right hand side of eq.([eq : dd1 ] ) can readily be obtained from eq.([eq : overlap2 ] ) by replacing @xmath285 in eq.([eq : overlap2 ] ) by @xmath286 .
introducing @xmath287 , we obtain @xmath288~.     \label{eq : dd2}\end{aligned}\ ] ] notice that the arbitrary normalization constant @xmath161 does not appear in this final answer .
we can see that the exponent of eq.([eq : dd2 ] ) reproduces four times the annulus amplitude for one d - brane .
this result implies that @xmath247 is the state in which two d - branes or ghost d - branes are excited . since @xmath219 generates boundaries on the worldsheet , depending on which sign in eq.([eq : v - cal ] ) is chosen , d - branes or ghost d - branes are excited .
similar calculations yield that @xmath237 creates two d - branes or ghost d - branes .    in this subsection
, we have shown that the cylinder amplitudes for d - branes are reproduced in our formulation .
what is remarkable is that the integration measure for the moduli of the cylinder appear from the integration over the length of the string .
it would be an intriguing problem to check if the integration measures for the higher genus graphs appear in a similar way .
in this paper , we have constructed solitonic operators which create d - branes . although we started from the nonnormalizable state ( [ eq : b0 ] ) , the divergent factors cancel with each other and the cylinder amplitude is reproduced .
the cancellation occurred because of the factor @xmath289 $ ] in @xmath22 .
it originates from the term @xmath290 in the brst charge  ( [ eq : brst - charge ] ) .
this term is peculiar to the @xmath0 invariant theory and it seems that our construction works only for this theory .
the exponent of the exponential factor we are discussing may be interpreted as the potential for the open string tachyon .
indeed @xmath20 appears in the form of @xmath291 in front of @xmath254 and can be considered as a constant tachyon background .
it will be useful to interpret various quantities in our construction in terms of open string language using for example the methods in ref.@xcite .    in our construction
, we do not describe d - branes as solutions of equations of motion .
rather we construct the solitonic operator @xmath19 , where the form of @xmath22 looks quite like the bosonization formula .
another way to look at our results is as follows .
we may write @xmath292 by introducing the state @xmath293 defined as @xmath294 this yields @xmath295\ ;      |0\rangle\!\rangle~.      \label{eq : d - b - bpsi}\ ] ] the state @xmath296 is regarded as a regularized version of the state @xmath297 .
we find that the states @xmath298 and @xmath299 are annihilated by the brst charge @xmath91 : @xmath300 we can extend eq.([eq : d - b - bpsi ] ) by including the dependence on the annihilation modes @xmath301 into @xmath302 :      |0\rangle\ !
\rangle~ ,    \label{eq : d - branestate3}\ ] ] where @xmath303 means the normal ordering in which the annihilation mode @xmath301 should be moved to the right of the creation mode @xmath304 .
taking account of the relation ( [ eq : qbb ] ) , we notice that the exponent of eq.([eq : d - branestate3 ] ) takes a form quite similar to the interaction term of a closed string with a d - brane introduced by ref.@xcite into the action of the hikko closed string field theory  @xcite
. therefore we can say that d - branes are introduced as a source of closed strings .
as we mentioned , we should introduce a cut - off @xmath174 so that @xmath305 . since @xmath5 works as a moduli , this cut - off will remove the singularity occurring in the limit where a part of the worldsheet becomes a very long cylinder .
therefore every equation in this paper should be understood with such a cut - off being introduced . in the first relation in eq.([eq : fs ] ) , we have ignored the contribution from the boundary term @xmath306 . due to the cut - off
, we should take care of the contribution of the boundary term near @xmath307 , which violates the brst invariance of the state @xmath247 .
we should therefore employ the fischler - susskind mechanism  @xcite , in order to remedy the violation of the brst invariance .
this modifies the equations of motion for light states of closed string .
this is also consistent with the picture of the d - brane as a source of closed strings .
our treatment in section [ sec : solitonop ] is perturbative and ignores such higher order effects .
there are several problems that remain to be studied .
one immediate question is why our solitonic operators create two d - branes or ghost d - branes .
we are not sure if there exist operators which create one d - brane or ghost d - brane
. it will be an intriguing problem to look for such operators . in this paper
, we have not fixed the sign in the exponents of eqs.([eq : v - cal ] ) and ( [ eq : d - branestate ] ) . from the calculation ( [ eq : dd2 ] ) , one can find that if the state @xmath247 with one sign is identified with ordinary d - branes , the state with the other sign should be identified with ghost d - branes @xcite . to determine which sign corresponds to which will be another interesting problem .
of course , our results should be generalized to the superstring case . in order to do so
, we should first construct the @xmath0 invariant theory for superstrings .
we would like to thank k.  araki , n.  hatano , s.  katagiri and t.  saitou for discussions . this work is supported in part by grants - in - aid for scientific research 13135224 .
in this appendix , we provide some details of the calculation to get eq.([eq : brst ] ) from the brst transformation ( [ brs ] ) for the string field @xmath308 given in eq.([eq : sf1 ] ) . for later convenience
, we introduce the notation @xmath309    in order to get @xmath310 and @xmath311 , we consider the inner product of @xmath312 and eq.([brs ] ) . as for the left hand side of the brst transformation
, one can readily find that @xmath313    let us turn to the right hand side of the brst transformation .
first , we consider the linear term @xmath314 . using eq.([eq : reflection2 ] ) , we find that @xmath315 the state @xmath316 is expressed as @xmath317 where @xmath296 is the state introduced in eq.([eq : invbs ] ) . combined with eq.([eq : qbb ] ) , this leads to @xmath318 substituting this equation into eq.([eq : nqb-1 ] ) , we have @xmath319 on the rightest hand side in the above equation , only the @xmath320 component of @xmath196 provides a nonvanishing contribution because of the ghost zero - mode saturation , i.e. @xmath321 it is easy to show @xmath322 plugging eqs.([eq : n - pipi - n ] ) and ( [ eq : nbpiphi ] ) into eq.([eq : nqb-2 ] ) , we obtain @xmath323        \displaystyle        -\frac{\mathcal{n}^{2}}{4\epsilon } l \left (          \frac{\partial}{\partial l } - \frac{\pi^{2}}{2\epsilon } \right )          \left ( l \bar{\chi}(-l ) \right )             & \mbox{for $ l<0 $ }       \end{array }      \right.~.      \label{eq : nqb-3}\end{aligned}\ ] ]    second , we consider the non - linear term @xmath324 . keeping the most dominant terms in the limit @xmath175 , we find that @xmath325\nonumber\\ & & \qquad \quad { } + \cdots~ ,       \label{eq : nphiphi-1}\end{aligned}\ ] ] where @xmath48 of @xmath326 can be any of @xmath327 . in going from the third line to the fourth line in the above equation
, we expand @xmath328 in terms of the complete basis defined in subsection [ sec : expansion ] . in doing so
, we have used the following idempotency equations @xmath329 for @xmath330 , and @xmath331 where @xmath332 and @xmath333 .
these equations hold in the limit @xmath175 and can be proved by using the connection conditions satisfied by @xmath334 . ` @xmath198 ' on the rightest hand side stands for the contributions from the component fields other than @xmath335 and @xmath336 .
one can easily see that these terms include one annihilation operator other than @xmath337 and one creation operator other than @xmath338 .
we will ignore these contributions in the rest of this appendix .
combining the ghost number conservation with the above arguments , we obtain the last equality in eq.([eq : nphiphi-1 ] ) .
since we may choose an arbitrary @xmath48 for @xmath326 on the three string vertex @xmath339 as mentioned above , we set @xmath340 in the first term and set @xmath341 in the second term on the rightest hand side in eq.([eq : nphiphi-1 ] ) . from the definition ( [ eq : n0 - 1 ] ) of the state@xmath275 and the fact that the field @xmath88 satisfy the dirichlet boundary condition on the state @xmath342
, one can find that @xmath343 and thus @xmath344 this implies that in the leading order of @xmath285 , eq.([eq : nphiphi-1 ] ) becomes @xmath345 in the second equality in this equation , we have used the result obtained in appendix  [ sec : liouville ] .
we can further recast eq.([eq : eq : nphiphi-2 ] ) into @xmath346~,\label{eq : rhs - brs2}\end{aligned}\ ] ] where @xmath347 is the step function defined as @xmath348 for @xmath349 and @xmath350 for @xmath351 .
combining eqs.([eq : brs - lhs ] ) , ( [ eq : nqb-3 ] ) and ( [ eq : rhs - brs2 ] ) , we obtain eq.([eq : brst ] ) .
in this appendix , we will prove that the following relation holds in the leading order of @xmath285 : @xmath353 this equation was used in eq.([eq : eq : nphiphi-2 ] ) to derive eq.([eq : brst ] ) .
therefore , by proving eq.([eq : vnnn ] ) , we can complete the derivation of eq.([eq : brst ] ) presented in the last appendix . from the definition ( [ eq : n0 - 1 ] ) , we find that we can prove the above equation by evaluating @xmath354 here we have introduced the integration measure @xmath355 for zero modes defined by removing the @xmath45 dependence from @xmath180 given in eq.([eq : zeromodemeasure ] ) : @xmath356 the amplitude ( [ eq : vbbb ] ) corresponds to the string diagram described in fig .
[ fig : open](a ) .
as was performed in ref.@xcite , we use conformal field theory ( cft ) technique to calculate eq.([eq : vbbb ] ) . in the @xmath0 invariant string theory , the ghost sector @xmath360 is described by the cft with central charge @xmath361 . the full theory , which consists of the matter sector @xmath362 in addition to the ghost sector , is therefore the cft with total central charge @xmath363 . since @xmath364 ,
the amplitudes of this system depend on the metric on the worldsheet .
the cft we are dealing with consists of free bosons and fermions . therefore the metric dependence stems from the determinant of the laplacian on the worldsheet .
it can be given by evaluating the liouville action on the worldsheet @xcite@xcite .
the oscillator independent part of the three string vertex @xmath365 can be considered to be due to the contributions from the liouville action .
@xmath365 corresponds to the diagram depicted in fig .
[ fig : czplane](a ) .
it is useful to pull this diagram ( @xmath366-plane ) back to the complex @xmath357-plane ( fig .
[ fig : czplane](b ) ) through the mandelstam mapping @xcite , @xmath367 we fix the @xmath368 gauge symmetry on the worldsheet by setting @xmath369 , @xmath370 and @xmath371 .
the interaction point is at @xmath372 , where we have @xmath373 . in order to avoid the singularity at the interaction point , we cut out a small circle of radius @xmath374 around the interaction point in the @xmath366-plane .
we also cut the points corresponding to incoming and outgoing strings at @xmath375 by terminating each string at @xmath376 @xmath377 .
these correspond to cutting circles out of the @xmath357-plane centered on @xmath378 with small radii @xmath379 @xmath380 , as represented in fig .
[ fig : czplane](b ) .
let us suppose that the @xmath366-plane is equipped with the flat metric : @xmath381 we will see that @xmath365 is constructed to reproduce the cft amplitudes on the @xmath366-plane with this metric . since the calculations are done on the @xmath357-plane , we should take care of the liouville action for the liouville field @xmath218 in eq.([rho - metric ] ) , because the determinant of the laplacian is expressed as @xmath382~,\ ] ] where @xmath383 denotes the variable parametrizing the boundary of the worldsheet @xmath384 ; @xmath385 denotes the geodesic curvature of the boundary defined as @xmath386 where @xmath387 is the unit vector tangential to the boundary while @xmath388 is normal , and @xmath389 denotes the covariant derivative associated with the metric @xmath390 .
the dependence of @xmath391 on @xmath379 was calculated in appendix 11.a of ref.@xcite : ) is twice eq.(11.a.26 ) in ref.@xcite because we are dealing with the closed string case . ]
@xmath392 where @xmath393 denotes the sum over all the values of @xmath394 and @xmath48 . by exploring the mandelstam mapping ( [ eq : mandelstam ] ) near the cuts , we find that @xmath379 depend on @xmath395 as follows : @xmath396 where @xmath397 using these results , we obtain @xmath398 thus we find that the determinant factor depends on @xmath395 in the following way , @xmath399 this reproduces the factor appearing in the three string vertex @xmath365 given in eq.([v30 ] ) , except for the fact that we should take the absolute value of the factor @xmath400 .
thus we see that roughly speaking , @xmath365 is constructed to reproduce the cft amplitudes on the @xmath366-plane with the metric ( [ rho - metric ] ) . precisely speaking
, @xmath401 corresponds to fig .
[ fig : czplane](a ) .
now we would like to calculate eq.([eq : vbbb ] ) in the limit @xmath402 .
for this purpose , it is convenient to see the string diagram fig .
[ fig : open](a ) from the point of view of the dual open string channel . in this channel
, one can regard the worldsheet as being swept by four open strings interacting via mid - point type interaction fig .
[ fig : open](b ) . in the limit @xmath402
, such open strings propagate through very long proper time and thus the most dominant contribution comes from the propagations of the open string tachyons .
the propagator contributes the factor @xmath403    let us evaluate the determinant of the laplacian on the worldsheet depicted by fig .
[ fig : open](b ) .
the mandelstam mapping from the upper half @xmath357-plane into the open string 4-point @xmath404-plane is @xmath405 for the worldsheet described in fig .
[ fig : open](b ) , we should choose @xmath406 let us choose @xmath407 @xmath408 . here
we should take @xmath409 to treat the worldsheet that we are considering .
the interaction point is @xmath410 which is a solution of @xmath411 .
we introduce the parameter @xmath412 defined by @xmath413 in terms of @xmath412 , the interaction point is described by @xmath414 @xmath415 in our case , but let us treat @xmath412 as a free parameter in order to compare with the results of @xcite . in order to avoid the singularities , we excise small circles around the interaction point and external strings , as shown in fig .  [
fig : open](c ) .
we define @xmath416 accordingly . by using the metric ( [ rho - metric ] )
, we find that the moduli dependence of the determinant of the laplacian becomes @xmath417 + \frac{1}{6}\sum_{r=1}^4\ln\varepsilon_r^{\mathrm{open } } + \frac{1}{3}\ln\varepsilon_i^{\mathrm{open}}\nonumber\\ & \sim &   \frac{1}{4}\ln\left(\alpha \cos\theta \sin\theta\right)~. \label{eq : lndetprime}\end{aligned}\ ] ] here we have used @xmath418 with @xmath419 combining eqs.([eq : leg ] ) and ( [ eq : lndetprime ] ) , we find that the amplitude corresponding to the pants diagram in the limit @xmath175 depends on @xmath395 , @xmath45 and @xmath412 as @xmath420    in ref.@xcite , the authors computed this quantity in the limit @xmath421 , by using the cremmer - gervais identity @xcite . by comparing our result with theirs ,
it is straightforward to determine the overall constant , and we obtain @xmath422 when we substitute eq.([eq : vbbb - result ] ) into eq.([eq : vnnn ] ) , the exponential factor on the right hand side in this equation is canceled by the regularization factors @xmath423 @xmath377 in @xmath424 .
it is because @xmath425 . finally , carrying out the @xmath395 integration , we obtain eq.([eq : vnnn ] ) .
a comment is in order . in eq.([eq : vnnn ] ) , there is a factor @xmath426 .
the absolute value originates from the one in eq.([oscillatorindep ] ) .
taking the absolute value is necessary to be consistent with @xmath427 which can be easily proved .
l.  rastelli , a.  sen and b.  zwiebach , `` string field theory around the tachyon vacuum , '' adv .
theor .  math .
phys .   * 5 * , 353 ( 2002 ) [ arxiv : hep - th/0012251 ] .
+ for reviews and references , see + w.  taylor and b.  zwiebach , `` d - branes , tachyons , and string field theory , '' arxiv : hep - th/0311017
. + a.  sen , `` tachyon dynamics in open string theory , '' int .
j.  mod .
a * 20 * , 5513 ( 2005 ) [ arxiv : hep - th/0410103 ] .
k.  hashimoto and h.  hata , `` d - brane and gauge invariance in closed string field theory , '' phys .
d * 56 * , 5179 ( 1997 ) [ arxiv : hep - th/9704125 ] .
t.  asakawa , s.  kobayashi and s.  matsuura , `` closed string field theory with dynamical d - brane , '' jhep * 0310 * , 023 ( 2003 ) [ arxiv : hep - th/0309074 ] .
v.  fateev , a.  b.  zamolodchikov and a.  b.  zamolodchikov ,  boundary liouville field theory .
i : boundary state and boundary two - point arxiv : hep - th/0001012 .
+ a.  b.  zamolodchikov and a.  b.  zamolodchikov , `` liouville field theory on a pseudosphere , '' arxiv : hep - th/0101152 .
+ j.  teschner , `` remarks on liouville theory with boundary , '' arxiv : hep - th/0009138 .
+ b.  ponsot and j.  teschner ,
`` boundary liouville field theory : boundary three point function , '' nucl .  phys .
b * 622 * , 309 ( 2002 ) [ arxiv : hep - th/0110244 ] .
m.  fukuma and s.  yahikozawa , `` nonperturbative effects in noncritical strings with soliton backgrounds , '' phys .
b * 396 * , 97 ( 1997 ) [ arxiv : hep - th/9609210 ] ; `` combinatorics of solitons in noncritical string theory , '' phys .
b * 393 * , 316 ( 1997 ) [ arxiv : hep - th/9610199 ] .
m.  fukuma , h.  kawai and r.  nakayama , `` continuum schwinger - dyson equations and universal structures in two - dimensional quantum gravity , '' int .
j.  mod .
a * 6 * , 1385 ( 1991 ) .
+ r.  dijkgraaf , h.  l.  verlinde and e.  p.  verlinde , `` loop equations and virasoro constraints in nonperturbative 2-d quantum gravity , '' nucl .
b * 348 * , 435 ( 1991 ) .
m.  hanada , m.  hayakawa , n.  ishibashi , h.  kawai , t.  kuroki , y.  matsuo and t.  tada , `` loops versus matrices : the nonperturbative aspects of noncritical string , '' prog .
phys .   * 112 * , 131 ( 2004 ) [ arxiv : hep - th/0405076 ] .
n.  ishibashi and h.  kawai , `` string field theory of noncritical strings , '' phys .
b * 314 * , 190 ( 1993 ) [ arxiv : hep - th/9307045 ] .
+ a.  jevicki and j.  p.  rodrigues , `` loop space hamiltonians and field theory of noncritical strings , '' nucl .
b * 421 * , 278 ( 1994 ) [ arxiv : hep - th/9312118 ] .
m.  kaku and k.  kikkawa , `` the field theory of relativistic strings , pt . 1 : trees , '' phys .  rev .
d * 10 * , 1110 ( 1974 ) ; `` the field theory of relativistic strings .
2 : loops and pomerons , '' phys .
d * 10 * , 1823 ( 1974 ) .
i.  kishimoto , y.  matsuo and e.  watanabe , `` boundary states as exact solutions of ( vacuum ) closed string field theory , '' phys .
d * 68 * , 126006 ( 2003 ) [ arxiv : hep - th/0306189 ] ; `` a universal nonlinear relation among boundary states in closed string field theory , '' prog .
phys .   *
111 * , 433 ( 2004 ) [ arxiv : hep - th/0312122 ] .
t.  yoneya , `` extended fermion representation of multi - charge 1/2-bps operators in ads / cft : towards field theory of d - branes , '' jhep * 0512 * , 028 ( 2005 ) [ arxiv : hep - th/0510114 ] .
t.  okuda and t.  takayanagi , `` ghost d - branes , '' arxiv : hep - th/0601024 .
w.  siegel and b.  zwiebach , `` gauge string fields from the light cone , '' nucl .
b * 282 * , 125 ( 1987 ) ; `` closed string fields via iosp(1,1/2 ) , '' phys .
b * 184 * , 325 ( 1987 ) ; `` osp(1,1/2 ) string field theory with the world sheet metric , '' nucl .
b * 288 * , 332 ( 1987 ) .
+ l.  baulieu , w.  siegel and b.  zwiebach , `` new coordinates for string fields , '' nucl .
b * 287 * , 93 ( 1987 ) .
t.  kawano , `` dilaton condensation in the covariantized light cone closed string field theory , '' prog .
phys .   * 88 * , 1181 ( 1992 ) .
h.  hata , k.  itoh , t.  kugo , h.  kunitomo and k.  ogawa , `` gauge string field theory for torus compactified closed string , '' prog .
phys .   * 77 * , 443 ( 1987 ) .
m.  maeno and h.  takano , `` derivation of the cocycle factor of vertex in closed bosonic string field theory on torus , '' prog .
phys .   * 82 * , 829 ( 1989 ) .
i.  kishimoto and y.  matsuo , `` cardy states as idempotents of fusion ring in string field theory , '' phys .
b * 590 * , 303 ( 2004 ) [ arxiv : hep - th/0402107 ] ; `` cardy states , factorization and idempotency in closed string field theory , '' nucl .  phys .
b * 707 * , 3 ( 2005 ) [ arxiv : hep - th/0409069 ] .        w.  fischler and l.  susskind , `` dilaton tadpoles , string condensates and scale invariance , '' phys .
b * 171 * , 383 ( 1986 ) ; `` dilaton tadpoles , string condensates and scale invariance . 2 , ''
b * 173 * , 262 ( 1986 ) .