arxiv: v1 [hep-th] 10 Oct 2008

Transcription

1 The boundary tate from open tring field arxiv: MIT-CTP-3990 UT-Komaba/08-14 IPMU arxiv: v1 [hep-th] 10 Oct 2008 Michael Kiermaier 1,2, Yuji Okawa 3 and Barton Zwiebach 1 1 Center for Theoretical Phyic Maachuett Intitute of Technology Cambridge, MA 02139, USA mkiermai@mit.edu, zwiebach@mit.edu 2 Intitute for the Phyic and Mathematic of the Univere Univerity of Tokyo Kahiwa, Chiba , Japan 3 Intitute of Phyic, Univerity of Tokyo Komaba, Meguro-ku, Tokyo , Japan okawa@hep1.c.u-tokyo.ac.jp Abtract We contruct a cla of BRST-invariant cloed tring tate for any claical olution of open tring field theory. The cloed tring tate i a nonlinear functional of the open tring field and change by a BRST-exact term under a gauge tranformation of the olution. A a reult, it contraction with an on-hell cloed tring tate provide a gauge-invariant obervable of open tring field theory. Unlike previouly known obervable, however, the contraction with off-hell cloed tring tate in the Fock pace i well defined and regular. Moreover, we claim that the BRST-invariant cloed tring tate coincide, up to a poible BRST-exact term, with the boundary tate of the boundary conformal field theory which the olution i expected to decribe. Our contruction require a choice of a propagator trip. If we chooe the Schnabl propagator trip, the BRST-invariant tate become explicitly calculable. We calculate it for variou known analytic olution of open tring field theory and, remarkably, we find that it preciely coincide with the boundary tate without any additional BRST-exact term. Our reult imply, in particular, that the wildly ocillatory rolling tachyon olution of open tring field theory actually decribe the regular cloed tring phyic tudied by Sen uing the boundary tate.

2 Content 1 Introduction 2 2 Half-propagator trip and cloed tring tate Half-propagator trip for regular linear b-gauge Star multiplication of half-propagator trip Cloed tring tate from half-propagator trip Contruction of BRST-invariant cloed tring tate The boundary tate from the half-propagator trip Contruction of the cloed tring tate B (Ψ) BRST invariance of B (Ψ) Variation of B (Ψ) under open tring gauge tranformation Dependence on the choice of the propagator trip Variation of the propagator Change of the trip length and the action of L 0 + L Variation of The 0 limit The boundary tate and open-cloed vertice Open-cloed tring field theory and background independence Recovering the gauge-invariant obervable W(Ψ, V) Generalized open-cloed vertice from B (Ψ) Regular and calculable boundary tate Simplification for the Schnabl propagator and wedge-baed olution The 0 limit reviited The BCFT boundary tate from analytic olution Schnabl olution for tachyon condenation Factorization of B (Ψ) into matter and ghot ector Marginal deformation with regular operator product The leading term Regular marginal deformation in Schnabl gauge Other olution for regular marginal deformation Dicuion 62 1

3 A Marginal deformation in Schnabl gauge 64 A.1 The matter ector to all order A.2 Recovering the BCFT boundary tate B The olution Ψ L 73 B.1 Ghot ector B.2 Meaure B.3 Proof of (7.81) Introduction The current formulation of open tring field theory [1] require a choice of a conitent open tring background decribed by a boundary conformal field theory (BCFT). 1 Other boundary conformal field theorie are expected to be decribed by claical olution to the equation of motion of the open tring field theory baed on the original BCFT. There have been remarkable development in open tring field theory ince Schnabl dicovery of an analytic olution for tachyon condenation [6], and variou analytic olution have been contructed and tudied [7] [36]. It till remain difficult, however, to extract information on the BCFT repreented by a olution of open tring field theory. A ueful object that contain information on a BCFT i the boundary tate B. The onepoint function of a cloed tring vertex operator φ c inerted at the origin of a unit dik can be written uing the boundary tate B a (c 0 c 0 ) φ c (0) dik = B (c 0 c 0 ) φ c, (1.1) where φ c i the tate correponding to φ c and the operator c 0 c 0 i aociated with a conformal Killing vector on the dik. A claical olution Ψ of open tring field theory i expected to decribe a conitent open tring background and thu a boundary conformal field theory, which we denote by BCFT. If we can contruct the boundary tate B for BCFT from the olution Ψ, we can extract all information contained in bulk one-point function in the new background. Intereting progre in that direction wa recently reported by Ellwood [37]. It wa argued that for on-hell cloed tring vertex operator V, the one-point function on the dik with BCFT boundary condition can be calculated from the gauge-invariant obervable W(V, Ψ) introduced in [38, 39] a follow: 1 See [2, 3, 4, 5] for review. B (c 0 c 0 ) V B (c 0 c 0 ) V = 4πi W(V, Ψ). (1.2) 2

4 Thi remarkable obervation mean that the on-hell part of the information encoded in the BCFT boundary tate B can be extracted from the correponding olution of open tring field theory. The retriction to on-hell cloed tring tate arie becaue the operator V in W(V, Ψ) i inerted at a point with a conical ingularity on a Riemann urface. Therefore W(V, Ψ) i not well defined when V i not a primary field of weight (0, 0). Unfortunately, there are few on-hell vertex operator with nonvanihing one-point function on a dik. On the other hand, the boundary tate i well defined when it i contracted with an arbitrary off-hell cloed tring tate and contain more information on the BCFT. If we can relax the on-hell retriction on the cloed tring tate in W(V, Ψ), we will be able to extract much more information on the BCFT from the olution Ψ. Thi i our motivation. In thi paper we contruct, for any open tring field theory olution Ψ, a cla of cloed tring tate B (Ψ) of ghot number three. Their contraction with arbitrary off-hell cloed tring tate i regular. The tate B (Ψ) are BRST invariant, namely, Q B (Ψ) = 0. (1.3) Under a gauge tranformation δ χ Ψ of the olution Ψ, the tate B (Ψ) change at mot by a BRST-exact term: B (Ψ + δ χ Ψ) = B (Ψ) + ( Q exact ). (1.4) Therefore, a gauge-invariant obervable can be contructed from B (Ψ) by it contraction with an on-hell cloed tring tate V: V (c 0 c 0 ) B (Ψ + δ χ Ψ) = V (c 0 c 0 ) B (Ψ). (1.5) The novelty in the contruction of thee obervable i that they admit a perfectly regular off-hell extenion and, a we will how, the tate B (Ψ) i explicitly calculable in certain cae. We claim that the tate B (Ψ) coincide with the boundary tate B up to a poible BRST-exact term. In fact, they preciely coincide in all calculable example that we examined. Our contruction of B (Ψ) wa inpired by Ellwood paper [37] and by recent development in the calculation of Feynman diagram in Schnabl gauge [40, 41] and in a cla of gauge called linear b-gauge [42]. 2 In the contruction of B (Ψ), we firt chooe a propagator trip aociated with a linear b-gauge. The hape of the trip i determined by the operator B ued in the gauge-fixing condition on the open tring field of ghot number one. The length of the trip i determined by a choice of a Schwinger parameter > 0. Then the choen propagator trip can be repreented a the urface generated by the operator e L, where L, defined by L = {Q, B}, i the BRST tranformation of B. 2 For progre related to other gauge choice, ee [43, 44, 45]. 3

5 (a) (b) Figure 1: (a) An annulu contructed from a half-propagator trip. The boundary condition of the original BCFT are impoed on the outer boundary. The grey line in the figure repreent the identified half-tring edge of the half-propagator trip. The path integral over thi annulu define a cloed tring tate at the inner boundary depicted a a dahed line in the figure. (b) An annulu with four lit. The claical olution Ψ i glued to each lit. The path integral over thi annulu after gluing claical olution define a cloed tring tate at the inner boundary. The main ingredient for the contruction of B (Ψ) i a half-propagator trip. We cut the choen propagator trip in half along the line traced by the open tring midpoint. We then take one of the reulting half-propagator trip and form an annulu by identifying it initial and final half-tring edge. Impoing the original BCFT boundary condition at the open tring boundary of thi annulu, the path integral over the annulu define a cloed tring tate at the other boundary where we originally cut the propagator trip. See Figure 1(a). It i clear that thi cloed tring tate, after an appropriate exponential action of L 0 + L 0, reproduce the boundary tate B of the original BCFT. We can thu contruct the boundary tate B for any choice of B and. It hould be pointed out, however, that the propagator for non-bpz-even gauge (B B) i a complicated object, while our contruction i baed on e L which in thee cae i not the full propagator urface. Let u now repeat the contruction with the above half-propagator trip replaced by the one for the background aociated with Ψ. The modified half-propagator trip can be contructed by gluing the olution Ψ to lit which are inerted at variou poition along the annulu. See Figure 1(b). The hape of the lit i correlated with the hape of the half-propagator trip before the identification of the half-tring edge and i determined by the operator B. The lit are accompanied by appropriate b-ghot line integral, and the poition of the lit are integrated over. A cloed tring tate i again defined by the path integral over thi annulu. After an appropriate exponential action of L 0 + L 0 and umming over the number of olution 4

6 inertion, thi define the tate B (Ψ). The reulting tate B (Ψ) depend on B and, but the gauge-invariant obervable V (c 0 c 0 ) B (Ψ) are independent of B and. Indeed, we can how that a we vary B and, the cloed tring tate B (Ψ) change at mot by a poible BRST-exact term. While it i difficult to calculate the tate B (Ψ) for generic choice of B, it i explicitly calculable for olution baed on the familiar wedge urface [46, 47] if we chooe Schnabl propagator trip. In fact, in thi cae the method developed in [41] to map Riemann urface for one-loop amplitude in Schnabl gauge to an annulu can be ued to contruct the Riemann urface which define B (Ψ). We explicitly calculate B (Ψ) baed on the Schnabl propagator trip of arbitrary length for variou known olution of tring field theory uch a Schnabl tachyon vacuum olution and the olution for marginal deformation with regular operator product contructed in [16, 17] and in [25]. We find that B (Ψ) vanihe identically for the tachyon vacuum olution, which i conitent with Sen conjecture that the D-brane diappear at the tachyon vacuum. For the marginal deformation, B (Ψ) preciely reproduce the BCFT boundary tate B. Both reult hold independent of the length of the propagator trip ued in the contruction. At leat for thee example the exact BCFT boundary tate can be obtained from the correponding open tring field olution! Our reult imply, in particular, that the boundary tate B (Ψ) calculated from the known rolling tachyon olution of open tring field theory coincide with the BCFT boundary tate dicued in [48, 49, 50, 51, 52, 53]. Thi boundary tate decribe a regular behavior of D- brane decay in the far future. For example, the preure decreae monotonically and vanihe in the far future. The rolling tachyon olution Ψ, on the other hand, exhibit ever-growing ocillation for the component field of the open tring [16, 17]. It ha been a long-tanding puzzle whether uch wildly ocillatory olution decribe a regular time-dependent proce in the far future [54, 55, 56]. Our explicit contruction of the boundary tate from the rolling tachyon olution confirm that the olution repreent the expected regular phyic. Our interpretation i that the wild ocillatory behavior i due to the decription of the regular phyic in the cloed tring channel in term of the open tring degree of freedom. The paper i organized a follow. In ection 2 we introduce the half-propagator trip and explain the contruction of cloed tring tate uing half-propagator trip. In ection 3 we define the cloed tring tate B (Ψ). We how it BRST invariance and prove that it change at mot by a BRST-exact term under a gauge tranformation of Ψ. We how in ection 4 that a we vary B and, the tate B (Ψ) change at mot by a BRST-exact term. In ection 5, we dicu the relation of our work with an earlier approach to boundary tate baed on open-cloed tring field theory [57, 58, 59]. Indeed, a et of open-cloed vertice can be ued to contruct an alternative BRST-invariant cloed tring tate B oc (Ψ) aociated with a olution Ψ. Thi tate, jut like B (Ψ), change at mot by a BRST-exact term under an 5

7 open tring gauge tranformation. We how that for choice of B that are invariant under BPZ conjugation, B (Ψ) encode a et of conitent open-cloed vertice. Curiouly, for general choice of B, the open-cloed vertice encoded by B (Ψ) do not atify the reality condition. Even o, the tate B (Ψ) can be real for ome claical olution, and we indeed find that it i the cae for all the explicit example we dicu in ection 7. If we aume the background independence of a certain verion of open-cloed tring field theory, we can argue that B (Ψ) and B coincide up to a BRST-exact term. In ection 6 and 7 we demontrate that the tate B (Ψ) i calculable for olution baed on wedge tate if we chooe Schnabl propagator trip. We then explicitly calculate B (Ψ) for variou known olution and find that it coincide with the BCFT boundary tate for arbitrary. In thee cae, the tate B (Ψ) factorize into matter and ghot ector, and the ghot ector coincide with the boundary tate of the bc CFT. It i important to undertand when thi factorization hold becaue the tate B (Ψ) factorized in thi way can be a conitent BCFT boundary tate without any BRST-exact term. In ection 7.2 we dicu thi factorization and how that for olution baed on wedge tate with a certain cla of ghot inertion and arbitrary matter inertion, the tate B (Ψ) contructed from the Schnabl propagator alway factorize in thi way. In ection 8 we end with concluding remark. 2 Half-propagator trip and cloed tring tate We begin thi ection by reviewing the contruction of propagator trip in linear b-gauge [42]. We then introduce half-propagator trip by cutting the full trip along the line traced by the open tring midpoint. We further introduce variou ingredient to be ued in ection 3 for the contruction of B (Ψ), uch a the tar multiplication of half-propagator trip and operator inertion on the trip. Finally, we contruct cloed tring tate from half-propagator trip by identifying the half-tring edge. The coordinate curve of the cloed tring i the curve traced by the open tring midpoint. 2.1 Half-propagator trip for regular linear b-gauge A large cla of gauge choice for tring perturbation theory wa dicued in [42]. Thee o-called linear b-gauge impoe a gauge condition B ψ cl = 0 (2.1) 6

8 on the claical open tring field ψ cl of ghot number one, 3 where the operator B i a linear combination of even-moded b-ghot ocillator: B = dξ v 2j b 2j = 2πi v(ξ) b(ξ) with v(ξ) = v 2j ξ 2j+1, v 2j R. (2.2) j Z j Z If the aociated vector field v(ξ) i analytic in a neighborhood of the unit circle ξ = 1 and furthermore atifie the condition R ( ξv(ξ) ) > 0 for ξ = 1, (2.3) the gauge choice i called regular. It wa hown in [42] that regular linear b-gauge correctly reproduce open tring on-hell amplitude and that pure-gauge external tate decouple. The propagator of a regular linear b-gauge i characterized by the trip urface generated by e L, where L = {Q, B}. (2.4) In a certain conformal frame w, thi trip urface i generated by horizontal tranlation. See Figure 2(a). The w frame i obtained from the vector field v(ξ) through dw(ξ) dξ = 1, w(1) = 0. (2.5) v(ξ) Normalizing v(ξ) appropriately, we can impoe the additional condition 4 w( 1) = iπ. (2.6) The horizontal boundarie of the trip are then located at I(w) = 0 and I(w) = π. The left boundary i the parameterized curve γ(θ) = w(e iθ ) for 0 θ π. It follow from (2.5) and (2.6) that γ(0) = 0, I ( γ( π)) = π, γ(π) = iπ, (2.7) 2 2 where the middle equation hold becaue of (2.2). When e L act on an open tring tate A, the parameterization on γ i ued to glue the trip aociated with e L to the coordinate curve of A. In the w frame, the right boundary of the trip e L i a horizontal tranlation by of it left boundary. It i therefore parameterized by the curve + γ(θ) with 0 θ π. Thi fixe the horizontal poition of the trip urface e L in the w frame. We will now conider the urface which arie when we cut the trip e L along the line I(w) = π 2. Thi line i generated by horizontal tranlation of γ(π 2 ) and 3 String field of different ghot number are introduced in the proce of gauge fixing. See [42] for detailed dicuion about gauge condition on uch quantum tring field. 4 Thi definition of the w frame differ from the convention of [41]. They are related by w here = w there +iπ. 7

9 (a) (b) Figure 2: (a) Illutration of the urface aociated with e L. It i generated by horizontal tranlation in the w frame. The half-propagator trip P(0, ) i obtained by cutting the urface e L along the line I(w) = π. (b) The urface P( 2 a, b ) i a horizontal tranlation of the urface P(0, b a ) by a. i thu aociated with the open tring midpoint. The reulting urface from thi particular cut are of interet for a number of reaon. In the annulu amplitude, we cut the propagator urface along a cloed tring curve to read off the boundary tate along the boundary generated by the cut. Chooing the open tring midpoint for thi cut i natural becaue of the pecial role of the midpoint in open tring field theory. Furthermore, if one chooe thi cut for the trip e L in Schnabl gauge, the reulting urface are the o-called lanted wedge introduced in [41]. The remarkable algebraic propertie of thee lanted wedge under gluing allowed the explicit map of one-loop Riemann urface to an annulu frame, which i expected to facilitate the explicit calculation of off-hell amplitude. Our analyi will experience a imilarly dratic implification in the Schnabl gauge limit. The cutting of the trip e L along the line I(w) = π yield two urface. We will denote 2 the bottom one, located in the region 0 I(w) π, by P(0, ). See Figure 2(a). The 2 argument 0 and remind u that the open tring boundary of P(0, ) i located on the real axi between w = 0 and w =. More generally, we ue the notation P( a, b ) with b a for the urface P(0, b a ) hifted horizontally by a in the w frame. See Figure 2(b). The left and right boundarie of P( a, b ) are parameterized by a + γ(θ) and b + γ(θ), repectively, where the range of θ i now retricted to 0 θ π. Finally, P( 2 a, b ) ha a boundary induced by the cut. Thi boundary i neither an open tring boundary nor the coordinate line of an open tring tate. For reaon that will become apparent later, we will refer to thi boundary a the cloed tring boundary. 5 5 For the particular cae of Schnabl gauge, thi boundary i the o-called hidden boundary introduced in [41]. 8

10 Naively, the urface P(0, ) i generated by the operator e L R, where L R i the right half of L. Thi notation, however, i mileading. It ugget, incorrectly, that the urface P(0, ) with L R inerted at the left edge i the ame a P(0, ) with L R inerted at the right edge becaue [ L R, e L R ] = 0. Thi i not the cae becaue the line integral L R ha an endpoint on the cloed tring boundary and thi endpoint cannot be moved by contour deformation. Let u denote by L R (t) the line integral L R along the contour t + γ(θ) with 0 θ π. A L 2 R generate tranlation in the w frame, we have γ( π 2 )+t [ ] dw d w L R (t) T(w) + 2πi 2πi T( w). (2.8) t The urface P( a, b ) can then be properly expreed a the path-ordered exponential: [ b ] P( a, b ) = Pexp dt L R (t). (2.9) Our convention for the path-ordering i L R (t 1 ) L R (t 2 ) for t 1 < t 2. It i now clear that a L R ( a ) P( a, b ) P( a, b ) L R ( b ) 0 (2.10) becaue the left-hand ide repreent a urface with two diconnected contour integral. It i therefore natural to introduce an operator that upplement the remaining line integral on P( a, b ) along the cloed tring boundary. We thu define L = γ( π 2 )+ b γ( π 2 )+a for L acting on P( a, b ). We then have the identity [ dw d w T(w) + 2πi 2πi T( w) ] (2.11) L R ( a ) P( a, b ) P( a, b ) L R ( b ) + L P( a, b ) = 0, (2.12) which follow from firt connecting the three line integral in (2.12) and then hrinking the reulting integral contour to zero ize. Furthermore, we have b P( a, b ) = P( a, b ) L R ( b ), a P( a, b ) = L R ( a ) P( a, b ), (2.13) which follow from the definition (2.9). Following the definition (2.8) and (2.11) of the line integral of the energy-momentum tenor, we define the correponding b-ghot line integral a follow: γ( π 2 )+t [ ] dw B R (t) = B = t γ( π 2 )+ b γ( π 2 )+a b(w) + d w 2πi b( w) 2πi [ dw d w b(w) + 2πi 2πi b( w) 9, ] (2.14)

11 for B acting on P( a, b ). We alo define the correponding line integral of the BRST current γ( π 2 )+t [ dw Q R (t) = t 2πi j B(w) d w ] 2πi j B( w), γ( π 2 )+ [ b dw Q = 2πi j B(w) d w ] (2.15) 2πi j B( w) γ( π 2 )+a for Q acting on P( a, b ). Jut a in (2.12), we connect line integral of the BRST current and the b ghot to find B R ( a )P( a, b ) P( a, b )B R ( b ) + B P( a, b ) = 0, Q R ( a )P( a, b ) P( a, b )Q R ( b ) + Q P( a, b ) = 0. (2.16) 2.2 Star multiplication of half-propagator trip The urface P( a, b ) i equipped with two parameterized boundarie which can be glued to open tring tate A or to other urface P( a, b ). For the latter, we require that the glued boundarie in the w frame match. A for regular tar multiplication of open tring tate, we ue the ymbol to denote thi gluing. 6 For the pecial cae of Schnabl gauge, thi type of gluing operation wa dicued extenively in [41]. From the definition of P( a, b ) it immediately follow that P( a, b ) P( b, c ) = P( a, c ). (2.17) Open tring tate A do not carry a cloed tring boundary. Therefore the gluing operation P( a, b ) A P( b, c ) (2.18) i well defined and yield a urface with one connected cloed tring boundary between γ( π 2 )+ a and γ( π 2 )+ c. It can be thought of a the urface P( a, c ) with a lit along the curve b +γ(θ), where the open tring tate A i to be inerted. See Figure 3. It follow from (2.13) that a change in b on the urface (2.18) i generated by b [ P(a, b ) A P( b, c ) ] = P( a, b ) L R ( b ) A P( b, c ) + P( a, b ) A L R ( b ) P( b, c ) P( a, b ) [ L R ( b ), A ] P( b, c ). (2.19) Note the location of the tar ymbol in the econd line, which i implicit in the commutator defined in the lat line. Thi definition applie to any commutator or anticommutator of a line integral up to the cloed tring boundary with an open tring tate. For example, P( a, b ) { B R ( b ), A } P( b, c ) P( a, b ) B R ( b ) A P( b, c ) + P( a, b ) A B R ( b ) P( b, c ). 6 We will uppre explicit ymbol in later ection. (2.20) 10

12 Figure 3: Illutration of the urface Σ( a, b ) for k = 2. It i obtained from the urface P( a, b ) by inerting k open tring tate along the parameterized lit i + γ(θ). In the cae of Q R (t), we have P( a, b ) { Q R ( b ), A } P( b, c ) P( a, b ) Q R ( b ) A P( b, c ) + P( a, b ) A Q R ( b ) P( b, c ) = P( a, b ) (QA) P( b, c ) (2.21) for any Gramann-odd tate A becaue the BRST current i a primary field of weight one o that it integral in the w frame can be deformed and eaily mapped to the frame for A. Similar relation do not hold for L R (t) and B R (t) becaue the energy-momentum tenor and the b ghot are not primary field of weight one: P( a, b ) [ L R ( b ), A ] P( b, c ) P( a, b ) (LA) P( b, c ), P( a, b ) { B R ( b ), A } P( b, c ) P( a, b ) (BA) P( b, c ). (2.22) More generally, we will conider urface Σ( a, b ) reulting from multiple inertion of open tring tate A 1, A 2,...,A k into P( a, b ) in the following form: Σ( a, b ) = P( a, 1 ) A 1... P( i 1, i ) A i P( i, i+1 )... A k P( k, b ) (2.23) with a 1, i i+1, and k b. The urface Σ( a, b ) i illutrated in Figure 3 for k = 2. The urface Σ( a, b ) i P( a, b ) with k parameterized lit along the curve i + γ(θ) where the tate A i are to be glued. We denote the Gramann property of Σ by ( ) Σ : ( ) Σ = k ( ) A i. (2.24) i=1 11

13 The operator L, B, and Q are derivation when acting on product of the form (2.23). For example, we have L [ P( a, b ) A P( b, c ) ] = [ LP( a, b ) ] A P( b, c ) + P( a, b ) [ LA ] P( b, c ) + P( a, b ) A [ LP( b, c ) ] = [ LP( a, b ) ] A P( b, c ) + P( a, b ) A [ LP( b, c ) ]. (2.25) Here we ued the fact that an open tring tate A doe not have a cloed tring boundary and it i therefore annihilated by L, B, and Q: LA = 0, BA = 0, QA = 0. (2.26) We define the BRST operator Q acting on a urface Σ( a, b ) of the form (2.23) by Q Σ( a, b ) ( ) Σ Σ( a, b ) Q R ( b ) Q Σ( a, b ) Q R ( a ) Σ( a, b ). (2.27) Note that the three integral contour can be connected. We have {Q, B R (t)} = L R (t), {Q, B } = L. (2.28) From (2.16) we know that P( a, b ) i annihilated by thi operator: Q P( a, b ) = 0. (2.29) On an open tring tate A, inerted along a lit a + γ(θ) in the w frame, the definition of Q in (2.27) reduce to the uual BRST tranformation Q: Q A = ( ) A A Q R ( a ) QA Q R ( a ) A = Q A. (2.30) Here we have ued QA = 0. Combining (2.29), (2.30), and the fact that the BRST current i a primary field of weight one, we find that the BRST tranformation of a product Σ( a, b ) of the form (2.23) reduce to BRST tranformation of the Fock-pace tate A i. We have Q Σ( a, b ) = k ( ) P i 1 j=1 A j P( a, 1 ) A 1... P( i 1, i ) (QA i ) P( i, i+1 )... A k P( k, b ). i=1 Similarly, the propertie (2.12), (2.25) and (2.26) can be ued to how (2.31) L R ( a ) Σ( a, b ) Σ( a, b ) L R ( b ) + L Σ( a, b ) k = P( a, 1 ) A 1... P( i 1, i ) [L R ( i ), A i ] P( i, i+1 )... A k P( k, b ) i=1 = k i Σ( a, b ), i=1 (2.32) 12

14 where we ued (2.19) in the lat tep. The correponding identity for b-ghot line integral i B R ( a ) Σ( a, b ) ( ) Σ Σ( a, b ) B R ( b ) + B Σ( a, b ) k = ( ) P i 1 j=1 A j P( a, 1 ) A 1... ( B R ( i )A i ( ) A i A i B R ( i ) )... A k P( k, b ). i=1 (2.33) 2.3 Cloed tring tate from half-propagator trip A urface Σ( a, b ) of the form (2.23) can be ued to contruct a cloed tring urface tate. To do thi, we firt introduce the identification w w + ( b a ) in the w frame. Thi identifie the left boundary a + γ(θ) with the right boundary b + γ(θ) of Σ( a, b ). We are left with the cloed tring boundary at I(w) = π, whoe name we are now doing jutice by gluing it to the 2 coordinate line 0 σ 2π of a cloed tring coordinate patch. The map from σ to the cloed tring boundary I(w) = π of Σ( 2 a, b ) i given by σ w = i π 2 + ( b a ) σ 2π. (2.34) Thi map i conitent with the identification w w +( b a ) and σ σ +2π. The reulting urface i a cloed tring urface tate with it coordinate line at I(w) = π 2 parameterized by (2.34). We denote thi cloed tring urface tate by b a Σ( b, a ). (2.35) We have repreented the operation that turn the urface Σ( b, a ) into a cloed tring urface tate by the ymbol b a. Thi notation i omewhat reminicent of the notation A, often ued in open tring field theory, which glue the left and right part of the open tring tate A. The ubcript b a i a reminder that the width b a of the trip Σ( a, b ) explicitly enter the gluing precription (2.34). A natural repreentation of b a Σ( a, b ) can be obtained in the ζ frame defined by ( 2πi ) ζ = exp w. (2.36) b a Thi map the urface Σ to an annulu with the open tring boundary placed at ζ = 1 and the cloed tring coordinate line located at ζ = e b a. The urface tate b a Σ( a, b ) i then defined through inner product with arbitrary cloed tring tate φ c in the Fock pace by φc, Σ( a, b ) = d b a φ c (0) [...], (2.37) dik b a π 2 13

15 where the operator φ c (0) correponding to φ c i mapped from it canonical coordinate patch ξ 1 to the hrunk coordinate patch ζ e π 2 b a by the retraction π 2 d b a (ξ) = e b a ξ. (2.38) The dot [...] in (2.37) repreent the lit where the open tring tate A i are inerted. They are alo mapped from the w frame to the ζ frame via (2.36). For the cae of k = 4 lit, the ζ-frame repreentation of the cloed tring urface tate b a Σ( a, b ) wa illutrated in Figure 1(b). The identification w w +( b a ) allow u to move line integral cyclically in b a. We have L R ( a ) Σ( a, b ) = Σ( a, b ) L R ( b ), b a b a B R ( a ) Σ( a, b ) = ( ) Σ Σ( a, b ) B R ( b ), (2.39) b a b a Q R ( a ) Σ( a, b ) = ( ) Σ Σ( a, b ) Q R ( b ). b a b a Let u examine how operator acting on the cloed tring tate b a Σ( a, b ) tranlate into line integral on Σ( a, b ). The BRST operator i invariant under conformal tranformation, and we find Q Σ( a, b ) = Q Σ( a, b ) b a b a ( Q = Σ(a, b ) + Q R ( a ) Σ( a, b ) ( ) Σ Σ( a, b ) Q R ( b )) (2.40) b a = Q Σ( a, b ), b a where we ued (2.39) in the econd tep and (2.27) in the lat tep. Let u now conider the action of L 0 L 0 on b a Σ( a, b ). A L 0 L 0 generate rotation in the ζ frame, we expect it to generate horizontal tranlation in the w frame. A a firt tep we note that L 0 L 0 = [ dζ 2πi ζ =exp( π2 b a ) γ( π 2 )+ b = b a 2πi γ( π 2 )+a d ζ ζ T(ζ) ζ T( ζ) 2πi [ dw d w T(w) + 2πi 2πi T( w) ] ], (2.41) and therefore (L 0 L 0 ) Σ( a, b ) = b a b a 2πi b a L Σ( a, b ). (2.42) 14

16 For Σ( a, b ) of the form (2.23) we can ue (2.39) and (2.32) to find (L 0 L 0 ) Σ( a, b ) = b ( ) a [ L R, Σ( a, b ) ] + L Σ( a, b ) b a 2πi b a = [ k ] b a i Σ( a, b ). 2πi b a i=1 (2.43) Thi reult i conitent with the intuition that the generator of rotation in the ζ frame, L 0 L 0, hould generate horizontal tranlation on the poition i of the lit where the open tring tate A i are glued. The tranlation in the w frame i proportional to the total length of the trip b a, a expected. The correponding identity for b 0 b 0 read (b 0 b 0 ) Σ( a, b ) = b a B Σ( a, b ) b a 2πi b a = b a k ( ) P i 1 j=1 A j (2.44) P( a, 1 ) A πi b a i=1 ( B R ( i )A i ( ) A i A i B R ( i ) )... A k P( k, b ). We can move an open tring tate A cyclically within b a jut a we did for line integral in (2.39). We have A Σ( a, b ) = ( ) AΣ Σ( a, b ) A. (2.45) b a b a Similarly, we can cyclically move half-propagator trip in b a, but all urface mut attach to the ame egment of the cloed tring boundary after uing the cyclicity. We conclude that P( a, 1 ) A 1 P( 1, 2 )... A k P( k, b ) b a = A 1 P( 1, 2 )... A k P( k, b ) P( b, 1 + b a ) (2.46) b a = A 1 P( 1, 2 )... A k P( k, 1 + b a ), b a where the poition of P( a, 1 ) wa tranlated by b a, which i conitent with the periodicity w w + ( b a ) in the w frame. 3 Contruction of BRST-invariant cloed tring tate In thi ection we contruct a cla of cloed tring tate from a olution of open tring field theory uing the half-propagator trip we dicued in ection 2. We then how that the cloed tring tate are BRST invariant and change by BRST-exact term under gauge tranformation of the claical olution. 15

17 3.1 The boundary tate from the half-propagator trip The urface P(0, ) i cloely related to the BCFT boundary tate B. Recall from (1.1) that a one-point function of a cloed tring vertex operator at the origin on a unit dik can be expreed in term of B a follow: B (c 0 c 0 ) φ c, (3.1) where φ c i the cloed tring tate correponding to the vertex operator. When we cut the unit dik along a circle of radiu e π2, the one-point function can be thought of a an inner product of B e π2 (L 0+ L 0 ) and e π2 (L 0+ L 0 ) (c 0 c 0 ) φ c : B (c 0 c 0 ) φ c = B e π2 (L 0+ L 0 ) e π2 (L 0+ L 0 ) (c 0 c 0 ) φ c. (3.2) The half-propagator trip of length with the initial and final half-tring boundarie identified can be mapped to the annulu region on the unit dik bounded by the unit circle and the circle of radiu e π2. We therefore have P(0, ) = e π2 (L 0+ L 0 ) B. (3.3) The boundary tate B can thu be expreed in term of the half-propagator trip a follow: B = e π2 (L 0+ L 0 ) P(0, ). (3.4) Thi definition reproduce the BCFT boundary tate for any value of. In particular, we conclude [ ] e π2 (L 0+ L 0 ) P(0, ) = B = 0. (3.5) Later we will confirm thi explicitly in ection Contruction of the cloed tring tate B (Ψ) We now define a cloed tring tate that i expected to be a generalization of B to the background aociated with a olution to the equation of motion of open tring field theory. In (3.4) the boundary tate B wa expreed in term of the urface P(0, ) which i the right half of the propagator trip generated by e L. Since {Q, B} = L, we can write e L = e {Q, B}. (3.6) We generalize e L by replacing Q in thi expreion by the BRST operator aociated with the new background. 16

18 When we expand the open tring field theory action around a olution Ψ of the equation of motion QΨ + Ψ 2 = 0, (3.7) the BRST operator Q aociated with the new background i given by for any tate A. Thu the operator e L hould be modified a Q A QA + ΨA ( ) A A Ψ (3.8) e L e {Q, B}. (3.9) To define a modified half-propagator trip P (0, ), we have to extract the right half of the urface aociated with e {Q, B}. To do thi, we firt examine the action of {Q, B} on an arbitrary tate A. Making ue of (3.8), we readily find {Q, B} A = LA + Ψ (BA) + ( ) A (BA) Ψ + B (ΨA) ( ) A B (AΨ). (3.10) If we write L = L R + L L and B = B R + B L, we find that the action of {Q, B} on A decompoe into right and left piece a [ ] [ ] {Q, B}A = L R A + ( ) A (B R A)Ψ ( ) A B R (AΨ) + L L A + Ψ(B L A) + B L (ΨA), (3.11) where term with a mixed action on both right and left halve of the tate A have canceled a follow: Ψ(B R A) + B R (ΨA) = 0, ( ) A (B L A)Ψ ( ) A B L (AΨ) = 0. (3.12) Therefore the operator L R (t) in the half-propagator trip P( a, b ) defined in (2.9) hould be modified a L R (t) L R (t) + {B R (t), Ψ}. (3.13) The ign factor of ( ) A in (3.11) have diappeared becaue of our path-ordering convention tated after (2.9). We thu define the modified half-propagator trip by [ b [ ] ] P ( a, b ) Pexp dt L R (t) + {B R (t), Ψ}. (3.14) a It i ueful to explicitly expand P ( a, b ) in power of the claical olution. We obtain P ( a, b ) = P( a, b ) b b a d 1 P( a, 1 ) {B R ( 1 ), Ψ} P( 1, b ) b + d 1 d 2 P( a, 1 ) {B R ( 1 ), Ψ} P( 1, 2 ) {B R ( 2 ), Ψ} P( 2, b ) +... a 1 b b b = ( 1) k d 1... d i... d k P( a, 1 ) {B R ( 1 ), Ψ} P( 1, 2 )... a i 1 k 1 k=0... P( i 1, i ) {B R ( i ), Ψ} P( i, i+1 )... P( k 1, k ) {B R ( k ), Ψ} P( k, b ). (3.15) 17

19 The modified half-propagator trip obey the following relation: b P ( a, b ) = P ( a, b ) ( L R ( b ) + {B R ( b ), Ψ} ), a P ( a, b ) = ( L R ( a ) + {B R ( a ), Ψ} ) P ( a, b ). (3.16) The formula (2.19) i generalized a follow: t [ P ( a, t) A P (t, b ) ] = P ( a, t) [ L R (t) + {B R (t), Ψ}, A ] P (t, b ). (3.17) By analogy with the expreion (3.4) of the original boundary tate B, we now introduce the following background-dependent tate: B (Ψ) e π2 (L 0+ L 0 ) For future ue we expand B (Ψ) in power of the olution: P (0, ). (3.18) B (Ψ) = k=0 B (k) (Ψ), (3.19) where B (0) (Ψ) = B, B (1) B (2) B (k) (Ψ) = e π 2 (L 0+ L 0 ) (Ψ) = e π 2 (L 0+ L 0 ). 0 (Ψ) = ( 1)k e π 2 (L 0+ L 0 ) 0 d 1 d 1 P(0, 1 ) {B R ( 1 ), Ψ} P( 1, ), 1 d 2 P(0, 1 ) {B R ( 1 ), Ψ} P( 1, 2 ) {B R ( 2 ), Ψ} P( 2, ), 0 d 1... d i... i 1 d k P(0, 1 ) {B R ( 1 ), Ψ} P( 1, 2 )... k 1... P( i 1, i ) {B R ( i ), Ψ} P( i, i+1 )... P( k 1, k ) {B R ( k ), Ψ} P( k, ). (3.20) We expect that B (Ψ) i related to the boundary tate of the BCFT decribed by the olution Ψ. In the following we tudy variou propertie of B (Ψ) and in ection 7 we explicitly calculate it for analytic olution. 3.3 BRST invariance of B (Ψ) We how that the cloed tring tate B (Ψ) i BRST cloed when Ψ atifie the equation of motion of open tring field theory. The BRST tranformation of {B R (t), Ψ} i 18

20 Q {B R (t), Ψ} = Q (B R (t) Ψ + Ψ B R (t)) = L R (t) Ψ + B R (t) Ψ 2 Ψ 2 B R (t) Ψ L R (t) = [ L R (t), Ψ ] + {B R (t), Ψ} Ψ Ψ {B R (t), Ψ} = [ L R (t) + {B R (t), Ψ}, Ψ ], (3.21) where we have ued the equation of motion QΨ + Ψ 2 = 0. Uing (3.17), we conclude Q P ( a, b ) = = = b b a dt P ( a, t) ( Q {B R (t), Ψ} ) P (t, b ) b a dt P ( a, t) [ L R (t) + {B R (t), Ψ}, Ψ ] P (t, b ) a dt t [ P ( a, t) Ψ P (t, b ) ] = [ Ψ, P ( a, b ) ]. (3.22) It i intructive to derive thi relation explicitly from the expanion (3.15) of the path-ordered exponential which define P ( a, b ). It follow from (3.21) that [ ] Q P( i 1, i ) {B R ( i ), Ψ} P( i, i+1 ) = P( i 1, i ) (Q{B R ( i ), Ψ}) P( i, i+1 ) [ ] (3.23) = i P( i 1, i ) Ψ P( i, i+1 ) + P( i 1, i ) [ {B R ( i ), Ψ}, Ψ ] P( i, i+1 ), where we have ued (2.19) and (2.31). Let u conider the term in the expanion of P ( a, b ) with k inertion of the claical olution. We need to calculate it BRST tranformation ( 1) k Q b b b d 1.. d i.. d k P( a, 1 ).. P( i 1, i ) {B R ( i ), Ψ} P( i, i+1 ).. P( k, b ). a i 1 k 1 (3.24) Uing (3.23) and the formula b b d i d i+1 i f( i 1, i, i+1 ) i 1 i b [ b ] b = d i i d i+1 f( i 1, i, i+1 ) + d i f( i 1, i, i ) i 1 i i 1 b b = d i+1 f( i 1, i, i+1 ) + d i f( i 1, i, i+1 ), i 1 i = i 1 i 1 i+1 = i (3.25) 19

21 we calculate (3.24) a ( 1) k k i=1 b ( 1) k 1 b a d 1.. b i 1 d i.. b k 1 d k P( a, 1 )... P( i 1, i ) [ {B R ( i ), Ψ}, Ψ ] P( i, i+1 )... P( k, b ) a d 1.. [ k 1 b i 1 d i.. b k 2 d k 1 P( a, 1 )... P( i 1, i ) [ {B R ( i ), Ψ}, Ψ ] P( i, i+1 )... P( k 1, b ) i=1 + [ Ψ, P( a, 1 )... P( i 1, i ) {B R ( i ), Ψ} P( i, i+1 )... P( k 1, b ) ] ]. (3.26) Here we relabeled the indice in the lat two term o that the k 1 integration variable are 1,..., k 1. We ee that after umming over all k, the firt term at order k 1 cancel the econd term at order k, and we are left with contribution from the lat term. A in (3.22), we conclude that Q P ( a, b ) = [ Ψ, P ( a, b ) ]. (3.27) Recalling the definition of the modified BRST operator Q in (3.8), thi i in fact a natural modification of (2.29). We then find Q P ( a, b ) = b a Q P ( a, b ) = b a [ Ψ, P ( a, b ) ] = 0, b a (3.28) where we ued (2.40) in the firt tep and (2.45) in the lat tep. Since the BRST operator commute with L 0 + L 0, we obtain Q B (Ψ) = 0. (3.29) We have thu contructed a BRST-invariant cloed tring tate for a given olution Ψ. It i eay to ee that the cloed tring tate B (Ψ) i annihilated by b 0 b 0. It follow from (2.44) and [ B R (t), {B R (t), Ψ} ] = 0 that (b 0 b 0 ) P ( a, b ) = 0. (3.30) b a Since b 0 b 0 commute with L 0 + L 0, we conclude that The tate B (Ψ) i alo annihilated by L 0 L 0 becaue (b 0 b 0 ) B (Ψ) = 0. (3.31) (L 0 L 0 ) B (Ψ) = {Q, b 0 b 0 } B (Ψ) = 0. (3.32) 20

22 In ummary, we have found that the tate B (Ψ) atifie three conitency requirement for it interpretation a a boundary tate, namely, Q B (Ψ) = 0, (b 0 b 0 ) B (Ψ) = 0, (L 0 L 0 ) B (Ψ) = 0. (3.33) 3.4 Variation of B (Ψ) under open tring gauge tranformation Conider an infiniteimal gauge tranformation of the olution: δ χ Ψ = Q χ + [ Ψ, χ ]. (3.34) It follow from the path-ordered expreion of P ( a, b ) that it change under the gauge tranformation a follow: δ χ P ( a, b ) = = b a b a dt P ( a, t) {B R (t), δ χ Ψ} P (t, b ) dt P ( a, t) {B R (t), Qχ} P (t, b ) b a dt P ( a, t) {B R (t), [ Ψ, χ ]} P (t, b ). (3.35) The firt term in the econd line can be written a b = Q a dt P ( a, t) {B R (t), Qχ} P (t, b ) b a b dt P ( a, t) [ B R (t), χ ] P (t, b ) b a dt (Q P ( a, t)) [ B R (t), χ ] P (t, b ) b dt P ( a, t) [ L R (t), χ ] P (t, b ) + dt P ( a, t) [ B R (t), χ ] (Q P (t, b )). a a (3.36) The firt term on the right-hand ide of (3.36) i BRST exact. The econd and fourth term on the right-hand ide can be written uing (3.27) a follow: b b dt (Q P ( a, t)) [ B R (t), χ ] P (t, b ) + dt P ( a, t) [ B R (t), χ ] (Q P (t, b )) a { a b } b = Ψ, dt P ( a, t) [ B R (t), χ ] P (t, b ) dt P ( a, t) { Ψ, [ B R (t), χ ] } P (t, b ). a a (3.37) Since {B R (t), [ Ψ, χ ]} + { Ψ, [ B R (t), χ ] } = [ {B R (t), Ψ }, χ ], (3.38) 21

23 we find b δ χ P ( a, b ) = Q dt P ( a, t) [ B R (t), χ ] P (t, b ) { a b + Ψ, dt P ( a, t) [ B R (t), χ ] P (t, b ) a b Uing (3.17), we obtain the following final expreion: b a dt P ( a, t) [ L R (t) + {B R (t), Ψ}, χ ] P (t, b ). δ χ P ( a, b ) = Q dt P ( a, t) [ B R (t), χ ] P (t, b ) { a b } + Ψ, dt P ( a, t) [ B R (t), χ ] P (t, b ) [ χ, P ( a, b ) ]. a It follow from thi and (2.45) that δ χ P ( a, b ) = Q b a We thu have and conclude that b a [ δ χ B (Ψ) = Q e π2 (L 0+ L 0 ) b } (3.39) (3.40) a dt P ( a, t) [ B R (t), χ ] P (t, b ). (3.41) 0 ] dt P (0, t) [ B R (t), χ ] P (t, ) (3.42) δ χ B (Ψ) = Q exact. (3.43) The inner product V (c 0 c 0 ) B (Ψ) i then invariant under gauge tranformation of open tring field theory for any cloed tring tate V annihilated by the BRST operator becaue V (c 0 c 0 ) Q Ω = 0 for any cloed tring tate Ω. Thi can be hown in the following way Any cloed tring tate ha to be annihilated by b 0 b 0. Thu Ω can be written a Since V i annihilated by both Q and b 0 b 0, we have Ω = (b 0 b 0 ) Ω. (3.44) V (c 0 c 0 ) Q Ω = V (c 0 c 0 ) Q (b 0 b 0 ) Ω = V {c 0 c 0, Q} (b 0 b 0 ) Ω = V [ {c 0 c 0, Q}, b 0 b 0 ] Ω. Uing the Jacobi identity, we find [ {c 0 c 0, Q}, b 0 b 0 ] = [ {Q, b 0 b 0 }, c 0 c 0 ] [ {b 0 b 0, c 0 c 0 }, Q ] = [ L 0 L 0, c 0 c 0 ] = 0. (3.45) (3.46) Therefore V (c 0 c 0 ) Q Ω vanihe for any cloed tring tate Ω and thu we conclude that V (c 0 c 0 ) B (Ψ) i gauge-invariant for any cloed tring tate V annihilated by the BRST operator. 22

24 4 Dependence on the choice of the propagator trip The cloed tring tate B (Ψ) for a given olution Ψ depend on the total trip length and the operator B for the gauge-fixing condition. In thi ection we tudy the dependence of the tate B (Ψ) on and B. 4.1 Variation of the propagator Let u conider an infiniteimal change of the gauge-fixing condition (2.1) for the propagator. The correponding change of B R and L R are B R (t) B R (t) + δb R (t), L R (t) L R (t) + {Q R (t), δb R (t)}. (4.1) Thu the modified half-propagator trip P ( a, b ) change a follow: δp ( a, b ) = = b = Q a b b a dt P ( a, t) δ[ L R (t) + {B R (t), Ψ} ] P (t, b ) b dt P ( a, t) {Q R (t), δb R (t)} P (t, b ) dt P ( a, t) {δb R (t), Ψ} P (t, b ) { a b } dt P ( a, t) δb R (t) P (t, b ) Ψ, dt P ( a, t) δb R (t) P (t, b ), a a (4.2) where we ued (3.27) in the lat tep. We therefore find that b δ P ( a, b ) = Q dt P ( a, t) δb R (t) P (t, b ). (4.3) b a a b a We conclude that the cloed tring tate B (Ψ) change by a BRST-exact term under a variation (4.1) of the gauge-fixing condition: δ B (Ψ) = Q exact. (4.4) 4.2 Change of the trip length and the action of L 0 + L 0 To undertand the dependence of B (Ψ), let u begin by relating cloed tring tate of the type b a Σ( a, b ) defined in (2.23) with different value for b. Conider an infiniteimal change in b. A change in the trip length b a affect the gluing of the trip to the cloed tring coordinate, a can be een from (2.34). We thu need to reparameterize the cloed tring boundary. Infiniteimally, we account for thi change by inerting a line integral of the energymomentum tenor along the cloed tring boundary. From (2.34) it follow that the vector field 23

25 u which adjut the parameterization of the cloed tring boundary to an infiniteimal change in b i given by u(w) = w ( γ( π) + ) 2 a. (4.5) b a Thi vector field i tangential to the cloed tring boundary I(w) = π 2, vanihe at w = γ(π 2 )+ a, and atifie u ( γ( π 2 ) + b) = 1. (4.6) It thu follow that the correponding line integral of the energy-momentum tenor, L rep = γ( π 2 )+ b γ( π 2 )+a [ dw w γ( π) 2 a T(w) + d w 2πi b a 2πi w γ( π 2 ) a b a ] T( w), (4.7) generate the deired linear tretching of the cloed tring boundary: b Σ( a, b ) = b Σ( a, b ) + L rep Σ( a, b ). (4.8) b a b a iπ Note that the contant part of the vector field u(w) ha an imaginary contribution 2( b a) ariing from γ( π ) and thu we cannot immediately derive a ueful identity analogou to (2.12). 2 Thi contribution to the operator L rep i proportional to L 0 + L 0, which can be written in the w frame a [ ] L 0 + L dζ d ζ 0 = ζ T(ζ) + ζ T( ζ) ζ =exp( π2 b a ) 2πi 2πi = b γ( π a 2 )+ [ ] (4.9) b dw d w T(w) 2πi 2πi 2πi T( w). γ( π 2 )+a b a Therefore, if we define L rep = γ( π 2 )+ b γ( π 2 )+a [ dw w R ( γ( π )) 2 a T(w) + d w 2πi b a 2πi w R ( γ( π 2 )) a b a ] T( w) (4.10) for L rep acting on Σ( a, b ), we have b Σ( a, b ) = b Σ( a, b ) + b a b a b a π 2 L rep Σ( a, b ) + ( b a ) 2(L 0 + L0 ) Σ( a, b ). b a (4.11) We introduce L rep R (t) with the ame integrand a L rep by γ( π L rep R (t) = 2 )+t [ dw w R ( γ( π)) 2 a T(w) + d w 2πi b a 2πi t 24 w R ( γ( π 2 )) a b a ] T( w), (4.12)

26 and we have the following identity analogou to (2.12): L rep R ( a) P( a, b ) P( a, b ) L rep R ( b) + L rep P( a, b ) = 0. (4.13) Note that unlike the line integral L R, B R and Q R, the integrand of L rep R the identification w w + ( b a ). We intead have L rep R b a ( a)σ( a, b ) b a Σ( a, b )L rep R ( b) + i not invariant under b a Σ( a, b )L R ( b ) = 0. (4.14) Adding the left-hand ide of (4.14) to (4.11) allow u to localize the integration contour around the lit where the open tring are inerted. We obtain [ b Σ( a, b ) = b Σ( a, b ) + Σ( a, b )L R ( b ) ] π 2 + b a b a ( b a ) 2(L 0 + L 0 ) Σ( a, b ) b a k + P( a, 1 ) A 1 [L rep R ( i), A i ] A k P( k, b ). b a i=1 (4.15) Let u apply thi reult to the expreion on the right-hand ide of (3.4) for the boundary tate B. The lat term in (4.15) vanihe for thi cae a P(0, ) doe not contain any open tring tate inertion A i. Furthermore, the firt term in (4.15) alo vanihe becaue of (2.13). We find B = [ e π2 (L 0+ L 0 ) ] P(0, ) = π2 (L L 0 ) B + e π 2 (L 0+ L 0 ) P(0, ) = 0. (4.16) We have thu confirmed (3.5), and the right-hand ide of (3.4) reproduce the BCFT boundary tate of the original theory independent of. 4.3 Variation of We now ue the reult of the previou ubection to tudy the dependence of the cloed tring tate B (Ψ). Recalling that P (0, ) = P (0, ) ( L R () + {B R (), Ψ} ), (4.17) we find B (Ψ) = π2 (L L 0 ) e π 2 = e π2 (L 0+ L 0 ) [ (L 0+ L 0 ) P (0, ) + e π2 (L 0+ L 0 ) P (0, ) L rep P (0, ) P (0, ) ( L R () + {B R (), Ψ} )], (4.18) 25

27 where we have ued (4.11). We define the b-ghot line integral B rep a L rep in (4.10) with T(z) and T( z) replaced by b(z) and b( z), repectively. It follow that {Q, B rep } = L rep. Conider now the firt term on the above right-hand ide. We have L rep P (0, ) = {Q, B rep }P (0, ) = Q B rep P (0, ) + B rep [Ψ, P (0, )]. (4.19) The commutator term vanihe uing the cyclicity property (2.45), 7 and we conclude that the firt term in (4.18) i BRST exact: [ ] e π2 (L 0+ L 0 ) L rep P (0, ) = Q e π2 (L 0+ L 0 ) B rep P (0, ). (4.20) The econd term in (4.18) i alo BRST exact. In fact, we again ue the cyclicity property to find P (0, ) ( L R () + {B R (), Ψ} ) = ( P (0, ){Q R (), B R ()} [ Ψ, P (0, ) ] ) B R () = Q P (0, )B R (). (4.21) A both term in (4.18) are BRST exact, we conclude that B (Ψ) change by a BRST exact piece under a variation of : Uing the formula B rep R (0) P (0, ) B (Ψ) = Q exact. (4.22) P (0, ) B rep R () + P (0, ) B R () = 0, (4.23) which can be derived in the ame way a (4.14), the total BRST-exact term in (4.22) can be written a [ ( B (Ψ) = Q e π2 (L 0+ L 0 ) B ) ] rep P (0, ) + B rep R (0) P (0, ) P (0, ) B rep R () (4.24) o that the three b-ghot contour can be connected. 7 The cyclicity property i unaffected by the preence of the line integral boundary. B rep along the cloed tring 26

28 4.4 The 0 limit Let u now conider the limit 0 of the tate B (Ψ). The firt term in the expanion (3.19) i the original boundary tate B. It i independent of and thu the limit 0 i trivial. The next term B (1) (Ψ) can be written a B (1) (Ψ) = e π 2 (L 0+ L 0 ) = e π2 (L 0+ L 0 ) 2πi 0 d 1 P(0, 1 ) {B R ( 1 ), Ψ}P( 1, ) d 1 (b 0 b 0 ) P(0, 1 ) Ψ P( 1, ), 0 (4.25) where we ued (2.44). We can further tranform it uing an integrated verion of (2.43) a follow: B (1) (Ψ) = e π 2 (L 0+ L 0 ) 2πi d 1 (b 0 b 0 ) e 1 2πi (L 0 L 0 ) Ψ P(0, ) 0 2π (4.26) = i e π2 (L 0+ L 0 ) dθ (b 0 b 0 ) e iθ(l 0 L 0 ) Ψ P(0, ), 0 where in the lat tep we defined θ = 2π 1 /. One might have upected that the tate d 1 P(0, 1 ) {B R ( 1 ), Ψ}P( 1, ) (4.27) lim 0 0 vanihe becaue the integration region of 1 collape in the limit 0. We ee from (4.26), however, that the integration over 1 effectively rotate the urface tate once around the cloed tring coordinate. The vanihing integration region over 1 wa only a coordinate effect of our parameterization of the integral over the rotational modulu, and the final expreion in (4.26) i clearly nonvanihing in the limit 0 for generic Ψ. Let u next conider inner product V (c 0 c 0 ) B (k) (Ψ) with k 2, where V i an arbitrary on-hell cloed tring tate: V (c 0 c 0 ) B (k) (Ψ) = ( 1) k V (c 0 c 0 ) 0 d 1 1 d 2... k 1 d k P(0, 1 ) {B R ( 1 ), Ψ} P( 1, 2 )... P( k 1, k ) {B R ( k ), Ψ} P( k, ). (4.28) The factor e π2 (L 0+ L 0 ) did not contribute becaue V i a primary field of weight (0, 0). The limit 0 of thee inner product were eentially dicued in ection 4 of [37], where it wa argued that the term with k 2 vanih for a certain regular cla of olution. Let u review the argument in [37]. 8 8 The analyi in [37] wa baed on the Siegel propagator trip, but thi choice doe not enter the following argument in an eential way. 27

29 A we did in (4.25), one can extract a factor of b 0 b 0 from the expreion in (4.28). It i accompanied by a factor of 2πi/, thu the integrand in (4.28) i ingular in the limit 0. However, the k dimenional integral hould be tranmuted into one integral for the overall rotation and a k 1 dimenional integral, and the Jacobian hould cancel the ingularity of the factor 2πi/ a in (4.26). It wa argued in [37] that the reulting integrand i finite in the limit 0, while the k 1 dimenional integration region vanihe. Then the inner product in (4.28) vanih in the limit 0 for k 2. A wa remarked in one of the footnote of [37], however, it i difficult to identify neceary regularity condition on the olution for the finitene of the reulting integrand in the limit 0 and thu difficult to prove rigorouly that the inner product in (4.28) vanih in the limit 0 for k 2. For example, the open tring midpoint of the olution approache the cloed tring vertex operator in the limit 0, and we may find ingular operator product. In fact, the analytic olution in Schnabl gauge contructed in [6, 16, 17] contain b-ghot integral extending up to the open tring midpoint, and their operator product with V can potentially be ingular. Furthermore, we have to be careful when we judge whether expreion are finite uing the w frame becaue conformal factor aociated with the map to a dik coordinate can potentially be ingular in the limit 0. In fact, we have een that the ingular factor in (4.25) aroe from uch a conformal factor. Similarly, we have P(0, 1 ) {B R ( 1 ), Ψ} P( 1, 2 ) {B R ( 2 ), Ψ} P( 2, ) = 2πi (b 0 b 0 ) P(0, 1 ) Ψ P( 1, 2 ) {B R ( 2 ), Ψ} P( 2, ). (4.29) Thi i alo ingular in the limit 0, but we expect that P(0, 1 ) Ψ P( 1, 2 ) {B R ( 2 ), Ψ} P( 2, ) (4.30) i finite in the limit 0 if the olution Ψ i regular. The difference in the behavior a 0 between (4.29) and (4.30) i not o obviou. We therefore do not make a general claim that the inner product in (4.28) vanih in the limit 0 for k 2. On the other hand, an advantage of our approach i that the tate B (Ψ) i explicitly calculable for olution baed on wedge tate if we chooe the propagator trip of Schnabl gauge, a we demontrate in ection 6. We reviit the limit 0 in ection 6.2, and we examine thi uppreion of higher-order term explicitly in ection 7 for variou known analytic olution. We indeed find that the tate B (k) (Ψ) with k 2 vanih in the limit 0 for all explicit example that we conider. If the inner product V (c 0 c 0 ) B (k) (Ψ) with k 2 vanih in the limit 0 for a given 28