JHEP04(2002)051 . y .pdf tal the and 2002 2002 2002 with y trop theory , 24, 26, 14, en oundary using b trop ciated oson /jhep042002051 April April en fundamen SISSA/ISAS en b 51 ebruary 20 asso F giv or the Geometry 200 oundary f free is 04 e b algebra. Virasoro 1 ep on and jh Revised: ccepted: oundary = eyl s/ b A c algebra ago er W these utativ t Received: pap infinite e acting orbifold the e/ the Chic e iv v Publishing ch of of ar ha states utativ t/ quotien .i construct orbifold ssa e Non-Comm the states ry calculate , W Physics radius asymmetric . University shift that of noncomm the further http://jhep.si oundary find the ounda of e b e Symmetry b irrational Physics, W w symmetry W of at u tains USA Institute er, asymmetric ro v ed U(1) con and by . go. radius. conformal states description the 60637, artment ca Moreo simple e rbifolds state the hi IL a o Dep Viraso y Theory on b string t ago, self-dual 1 Conformal and oundary Published preserv b en oundary Field = Chic shift the op b not radius c at construction. do ve., commen tal tum Institute A h e D-branes, Virasoro 2002 on W lis onding generic Quan ermi states whic [email protected] El Tseng the F a algebra ct: S. o t ords: at corresp circle that note a 5640 E-mail: Enric SISSA/ISAS non-fundamen oundary c quotien Keyw a The ! find Boundary b asymmetric states on A Abstra Li-Sheng JHEP04(2002)051 5 8 5 6 1 2 4 to 11 12 14 10 for for the the the The with with Vira- in of radius, addition Virasoro marginal the expressed onding states conformal D0-branes circle the es similarly the a theories to The D0-brane, to y direction of presence on self-dual references). simply corresp (and ond the under e oundary trop preserv 2 the non-U(1) b the b and / en action. theory states for alues line. is Z spatial of of v - states still not ∈ corresp one j string ]. details reducible can but t 3 states dulus Wilson taking oundary in is , oundary conformal orldsheet for only b ) b ultiples) [2 oundary z mo ] w ( where m algebra b the ond [9 2 and conditions r algebra ipX of of j constructions the eyl theory e Quotien t oundary = state radius conditions (see = W teger of b R alue e in 4 classical corresp conformal v additional / states oson 2 – a classes Considering b er to curren CFT p explicit v oundary 1 String the primary 1 the o b utativ – They = wn t oundary has oundary en exist states in = oundary free b irrational c=1 b en h non-U(1) b U(1) r one ts. giv R oundary eigh b = Op w the all w c=1 and the ell-kno brane (or there terest ] R w conditions. no in as of states h in [2 noncomm D1-brane, curren on from oundary orbifold conformal the o e to b v w ed that extended conformal Eac t or dimension the the highest orbifold ha tial F . U(1) ultiples these t wn are the for m oundary ]. the ely and the rational renew oten b 2 primaries orks orbifold These oundary Orbifold Virasoro p orbifold y orbifold kno righ of w ]–[4 b = ork, and ]. een ectiv an t construction with of there [1 r on teger b , breaks conformal y state and een radius in ]–[8 h for string R b state State resp , the [5 has c=1 the left tac tial Recen framew Neumann 1 M cation, tation to / lo also 1 = Virasoro the states oten " duction discrete radius there duction Constructing Closed Consistency Geometry Example: Generic and 1 ts p harge or α its , when tral c has theory √ = tro of tly tro only on represen M algebra. ten hlet marginal D1-branes, It Cen = y 3.2 3.1 3.3 3.4 4.1 4.2 Boundary Boundary Discussion R In In tral h a = sd (1) oundary . . . . . alue 3 4 5 2 string v Diric cen and Recen 1. 1 Con arbitrary tac using soro b of R U R non-U(1) algebra JHEP04(2002)051 1 y ts of at to b all (2) not and = t left- bulk This then (2.1) alues ) string string These t SU R v signif- radius gener- . e ¯ z call ( are . × some e e oundary the W self-dual presence Virasoro Virasoro Virasoro obtained conclude R en Ishibashi ortan v b condition b the 1 1 theories e e X (2) will of a op ha for constructed , on notation b descendan w theory that constructing the = closed ), = ) imp + e construction. ] on 1 differen can the SU , generic form z 1 ) radii. R ( 5 ose R W or is the tly 11 z = our a t can L mR ( to F the = to , symmetry of U(1) it note ]. L states 1 and in X R in geometrical Virasoro − the [8 at R to e X prop theory These action bination i∂ within %= [10 algebra er, in w at duce are 1 ≡ t and = differen section n/R the R ev differen ) (see , ta and com ) tro = using ¯ w z sector). z in at eration , 1 In at in together ( orbifold oundary z R t found z Ho enhanced mR there ( e b op organized = orbifold radius, J situated ed , w + X quotien acting orbifolded construction connection linear p condition are primaries. momen the (2) R branes shift e 1, states are algebraic a states the t b of presen the in of , the n/R SU at the , %= states. ( group algebra. shift y ) zero × generic where righ ely orbifold z b constructed e t are Virasoro theories R can = then ( their a b )) (2) ) e L Cardy’s alues 1 that the ¯ z en ti-holomorphic b ( v R states spin primaries X for the states and at oundary oundary for are p R = SU w 2 field primaries state an , b b giv X – states then L asymmetric reviewing Effectiv R quotien the Ishibashi is een p left )+ sho sin 2 only With the y ( z teger satisfy the w ( at construction b in y – states = states L the states can in et b the of ta discrete in the ) to X will b 3 can ( oundary Ishibashi z ts j oundary ( oundary in e Virasoro en b 2 Virasoro all Virasoro for conditions y b i b , w Ishibashi e J Virasoro that theory giv Z states that all the orbifold w hosen orbifold. us, momen terested notation een of oundary the ∈ c oundary oundary ts en ultiplets prescription section in e, w b b b construction. similarly e Th n us, v m ts , the algebra the et Virasoro Belo our o in states ) Giv string descendan connection Virasoro sets b shift oundary Th m, states t z t of to Virasoro . ab b t ( a 1. connecting curren eyl (and states. state out in L e for duce mainly W describ = and b eigh X oundary fficien e ) their orbifold 2 Virasoro e e w closed y b sector). analogous R tro non-U(1) presen co m theory w are jects radius. tioned ossible in e SU(2) differen − sector , the r cos ma e oundary at p and U(1) the the 4 e n primaries. the e generalizing W b connection w D0-brane pro oundary The oundary = = v w utativ men with asymmetric the all b a b organized , discreteness ) m, R ha highest other 2 the z ers, construction there ( + v As those an and y x Here, n are the analyze ( that with section J Virasoro the the wn states states. states, an to of states states. radii to Virasoro that primaries = 1 to t-mo D1- do 1 in In t generating and at ork. orbifold discussion ) section noncomm conformal holomorphic ti-holomorphic Virasoro t = R orbifold %= a from are 1 that righ p Due In an the details). ceed establishing , R the R the the is L = ultiplets oundary oundary oundary or y p that the ( theory discrete differen Ishibashi Ishibashi suggests emphasize states b b c presen r state at b theory and of icance. framew pro the in F for theories. 2. Before writing with b m ated JHEP04(2002)051 , ) e h h z 0 of at b (2) ˜ the for de, J the 0 2 eac (2.5) (2.2) (2.2 (2.3) (2.4) SU in x ecomes whic mo t can oundary b = of in in + , b that Virasoro oundary: Ishibashi ) ) 1 t primaries D0-brane primaries R R expressed ¯ z R b . ˆ p ˆ relations zero p absen , , X e This er ¯ z = z ) − b v righ − = factors ( is the ˆ p the L erators o expression the z zero U(1) ˆ ' ( p | insure R ! the ( and m ) = n × op y j k j m,n at ¯ er − z D0-brane can the b 2 π z y j to + 0 L ( v the φ m i satisfies phase. = k b z for cycle ) o J utation ts for spin sum 1) e − c ˜ X ) a 2 to J j R ) the − )) ˆ 0 co " p a ( $ p ¯ z ( − k ( (2.5 to = R that the k ulas , sum ˆ R p = n, c = as k half-plane, hed comm 2 π king X needed L a curren ), also ( up i ) 0 ˆ = % ¯ p z e form out ) z factor )+ er x ( ) hec as ultiplied generated ( ¯ z primaries z L c the t ( (2) = − are , z w 0 p and attac ( m condition ˜ L z | ) J J at state the ( erator L upp es ˆ X p oin SU the ( is ' X ( and X j p 2 op k conditions m,n j 2 ) m i ) c i states φ e and that erators, standard the R − ) cycles the − of written e ˆ factor , p ˜ ) e k α cated e W of L n ¯ so z (2.4 op co z The , k b i preserv cycle, use es m ( − lo oundary for = + ]. j − . !! π z ) oundary − in − b '' 0 | ˆ ) co dw p $ L ˆ to 2 n p to b ¯ ) z α ( ˆ p ]. J ( L ( ! m ativ ¯ The [12 z oundary C tum ˆ p R k k 1 R ( us m, 15 m – # k ypically b . 2 c c π ; y the ( Ishibashi t X , hlet ) i " es ) j m, ˜ the 3 4 | π J definition R ! R ; ws ! − R of =1 i 14 is ∞ k deriv j k e – ik − e % )! )! | , the m ) R L primaries D0-brane allo ¯ n n k erators , the k w conditions m Diric )+ momen & in = ( [13 normalization = z − − orldsheet − ( a !! R + − ) t =0 j ! L op ! L state hoice ) L w n 0 Besides k z k X j j c ˆ p see ( x exp 1) themselv X 2 written L R Virasoro ( normalize y i 1 k L m, k k '' )!( righ )!( ( − ( hanges ; e − J ], ( c ik 1 2 0 c j 4 Virasoro π v e −∞ | m general m ering e Our i ∞ [6 oundary the D % = 1) i e string | w j,m ha ¯ cycles, of b n % + − w and π in − de oundary lo and d el = 2 j j ( olynomials 4 4 the 1 1 e cycle , b 1 1 ( ( on appropriate algebra. particular, ) p 2 2 the amongst ¯ o-co z C factor w " co mo = (1) t lab w # left = k ! wing t z ) U , = = of In unique. | with the ˆ − p )! are ) from ute k . ( j on " ( line 1 ¯ example z ! definition . the zero % will ( =0 follo cycle aking k '' acting the (2 not 0 × R x c T n curren x ) ˜ for e p co and J " on D0-brane is Our arise 3 = '' the k comm , W 2 Acting as m, 0 presence with details hing 2 = = ) (2) cycle j ). ; . + included ¯ z ) second j D . . The | | hlet L , ˆ z p e erators . R = SU the ( z p ( (2.4 v matc , y factor ( . o-co x k 1 b ˜ op h × as c nX the of w J , implies ha states. erators erator in 2 endence t ) ely authors, Diric 2 i that j m,n e 0 ¯ = t z / + As in op additional tations. (2) op φ with , conditions w 1 line cycle L = z dep h , . the ( or The 0 ectiv SU 0 explicitly ¯ co z F Note Some e e ortan mX 1 2 3 x v v 2 = = j m,n ertex ertex i These with z where j are v at ha φ resp imp ha the v the where e second Ishibashi expressed represen conditions. states JHEP04(2002)051 ) 1 g N ( / tial and = and tain that with (2.9) (2.8) (2.6) (2.7) Vira- M 0 ound- (2.10) . , j R m,n jection ¯ consider z b con oten satisfies = D parame- = oundary = strength , p at z b finds | λ pro not ) . R theory those =0 tly ¯ z the theory , 0 and ( '' x state z one at - will n of ˜ the '' J , gauge out states their e when 0 )- enien t − Neumann m, W 1 0 v =0 D ; . | ˜ 0 φ x SU(2) alue j ate orldsheet = x | ). v orbifold states ) + the con w C ∈ = ) '' g , , i oundary 0 z deform jecting ( 0 2 g and ( an b + oundary φ constan z D 4 motiv 2 , the will | deformation, i 2 to b . 0 j J m,n SL(2 pro y φ 2 1 π Here, for e 0 iφ b the * D the to iφ including − . for W , will the n = = oundary 2 e − = 2 ) of − used most b φ e e then / λ i j λ =0 e elled π ( λ r W at = 0 states renormalized 1) onds b (2.5 g x Virasoro sin e 2 , , , − alue = = and lab radius, b i Under '' ( φ cos v condition, . tation. in ! the 0 = λ 1 − e R is 2 parameters can α R the 1. v 0 D / can as | % ˜ , x = Virasoro the at with j,m,n π . = radius. 2 corresp 1 = hlet ha to '' the oundary 1 4 ) 1 0 '' R iφ here. 1 ≤ 1 – e ) = n b 2 R ˜ e 1 x iφ fields the 2 states a w represen − self-dual λ D e 4 ysically on tial with at ˜ And | R φ y λ finally J Diric 0 of = = at , , – b satisfies λ g th ≤ ph . ¯ z 1 at states + j = 1 the R sin = 0 φ =0 rational oten '' is of φ en z π i the 0 , cos | conditions These g p And '' x x short, 0 2 | at ) and λ − states g the / = ¯ z | iJ giv '' ]. space the oundary and ( π * In 0 − 1 z n b in [6 e ˜ '' from . π oundary φ a D J − at a or = ) n | ¯ ˜ constructed 2 g z b state conditions duli J 0 R gauge fields. J 0 ) t states endence tal ] = φ satisfies x 2 π tial = construction of in t oundary + tal ˆ x mo n ) 0 = [2 %= φ · length) oundary b t z = z a , 0 n iJ " 0 ( λ 1 b J parameter J e 1 i in z ( dic the of oten x the ) φ indep at e ( φ g presen i state J p | , · 0 oundary λ, orbifold oundary at 0 = oundary ˜ ( oundary erio x The constan g b b that elemen the on g fundamen b fundamen b p not from . = '' units explicit y + a g of h knagel tal | λ of Ad( R ely states Virasoro tal ( are (in g the state as X found tac | oundary → 2 Rec noted with b states n condition, situated matrix φ = the as = ectiv e arising space =0 space w v out additional 0 0 L marginal x x and as the it the X ha and y resp '' '' the oundary fundamen with teger ], e b is 0 0 fundamen 1 duli 0, b D1-brane 2, in w φ marginal ) g D ossible D [11 truly / | | orking = out p Ishibashi mo π condition All The erdiel D0-brane Neumann the w all In Boundary the λ the (2.7 4 ysically = the λ on these ary 3. of three Gab where condition the for starting are The in map at soro By ph terize where JHEP04(2002)051 ) e r y w 1) to to at in at at to ta /r de → b w the the π = and and new no + (3.1) (3.1 2 Γ those y us 1, wing, mo X 2 string R closed closed of b is / ecomes ∈ + that in orbifold " max | = π oundary required b bination orbifold. radius ˜ ws h theory momen Γ follo b X ts: the m | the tum + it t t ( The R en theory considering sectors the the com of , states, allo L → the closed is “orbifold” expansion parameter . ≡ y the , giv at dicities ]. r a X | b righ single ˜ (Recall that string X des Γ ∞ y de elemen In | ts a . = the the [16 that generated b elemen momen → that erio is orbifold space” mo wisted y o = and p 1 t mo ysical R as b L reduce . w theory t winding are tify = find X ph closed binations The ercome starting /r to en theory left the " bulk the e the elemen " max v ts R lator group ering , radius. n o ordinate r as w n the v orbifold iden giv in M the the π example a or com , orbifold radius e at wing cedure / co 2 = r of zero is b = difference π “co el oscil with reset orbifold + 2 for R pro first follo tum jection. + ˜ tifies e lab + that shift X dual half e can the σ " max recalling with obtain +1) only Explicitly the ak w descendan The n X the R arbitrary radius generic wisted” 1 action m pro it generate → explicitly the T t iden to ! max . will the out y a By at . + ˜ y from → n = state y y X asymmetric y ( e N momen The ). ) b an b of “un R states and Z ¯ 2 z and at ¯ R Z z t W x generators ( . first , ( ject an group 2). states, ) at r y y × R en R / at setting R − b .) rational the written , consider 1 orbifold of – infinit righ X X shift X " pro π only asymmetric the that conformal giv L one the e 2 T-dualit 2 5 − +1) required x + a to − m + , b obtained us, that to L – a r the of oundary to ) ) n an of e ust its and y e X ! max radius π = z z again , Then b b generated Th to b ( ( 1 2 T-dualit theory m . 2 m en Here, lik oundary ) fields that ( can L L / state, r ¯ z b . +1)( a and is left + . 1 Z example = arbitrary ( and ! X r X tak order m ysically to can the = R under ,n Γ ) the X ! of + acts. (2 R = ≡ to ould ≡ i r dicities the the t X Ph " theory m R e theory ) n Γ w orbifold the ) → obtained h ( on " max Γ ¯ z at call m ¯ orbifold − z . irrational orbifold e e , all n orbifold simple , erio to radius e ) z oundary X w w = radius − z v /r p arian y ( z a orbifolds ( action b and constructed , ( form v π space ) will ordinate e y ˜ X ha with string L an 0 2 /r the X is tain orbifold : , v and in R er, action presence is " e action 0 co action p ! X e theory n + the it w , ev h desired ha to , ,n shift w con ! L r orbifolding w the are = ˜ " the is " max group ˜ of p X field m rational X orbifold ( N Virasoro the us, irrational with ) dual t m closed h orbifold ciated m Ho group to is orbifold The T-dualit y Z σ will ) th group → " 1 , orbifold, . + orbifold . a τ an n the an and the dual 2; ( des, N , asso ˜ applied = the oth particular, " X erator theory / /r / ˜ " , at b at X e X the π elemen string together, m orbifold r R n shift 1 mo op M b ( In the ( and description, y After theory ceeding − orbifold = obstacle and for M = function generalizing = . orbifold oth 2 = All R tit connecting of the 1). 2. sector Z that with R r b pro symmetric fact tum R w ) R R M X the theory = theory π t ertex a . + / = R 2 o v 1, at only 1 iden h in p Closed Constructing indices The No → R r w ease , constructing the t + = = o " max ordinate L R n p w wisted string of The ( can orbifold infinite t apply in X Before X asymmetric whic string co R R orbifold for the theory 3.1 for ( partition The In eviden orbifolding radius that t with 3.2 momen radius JHEP04(2002)051 " . , t 1 = 1) in as as m , 3.4 φ the are are the the r D1- t + also The r bulk (3.2) '' π 1 states arian In or 2 of n tuition or v hanism F " max = are 5 F example + in arian in Ishibashi expression. m, theory expressed m These v y 1 single parameter ; R Therefore, w. ( . mec is r j φ in | . subsection λ construction expressed dicities. or elo at are D0-brane, Γ normalization = images → e the in b There D0-brane trop oundary of tial +$ ) simple with b 1 " is erio b R . , therein). t r φ en D0- n all D0-brane p the the strings. Virasoro theory jection the (3.2 π the oten ely y found states 1 Here 2 of the er b p then geometrical orbifold e 2, ws: state in v pro or the new b = + / . theory enden o single of F a 0 r single on 2 ectiv R discussed 2 1 of R closed the can y φ sum π follo Virasoro can = h the , h some 2 R/ " = references cation wn oundary π out. resp indep osed as uc the R oundary state m b lo + tac the satisfy , only R the r b +2 oundary m state is 0 +11 of π radius sector at and vide w b X " x e 2 of " max summing r prop ] the the n b the '' ell-kno no the and n , jected + pro 0 → π y 18 and w of 2 R 1 concerning b in T-dualizing , D also r | not φ states ust to oundary dividing X consists pro states y t + and wisted b b that the t oundary [17 arbitrary m y + 2 λ, parameters b b , resulting has φ 0 space. states ely * at will 2 , and x " max ] space " ceed g radius the φ – state × '' the [1 note " D0-brane. m strength presen m action the remarks 0 6 prescription n r to utilize e pro and state oundary − obtained oundary to D – the on π conditions. j | w b j tial, m,n the example b 2 Virasoro e ffectiv e / ering action orbifold , b 1) that orbifold D v shift 2 ond + of riedan 1 that − then zero √ for oundary acts co 2 oten × 1 ( F are space oundary already 0 jection determined general can b p coupling φ ) Z b the oundary x y b group is theory b will hanging λ, oundary pro (see the % c ork, orbifold from on Virasoro j,m,n | (3.1 the r b * states corresp the e ensures state ! Virasoro expresses Γ states some en is | g states 1 ,n of In y W , , , , gauge = in ! " the ! e orbifold it cation b % ! t n m giv . = ,n from bulk eing ). R ! lo states they r | The ,n orbifold resulting D0-brane ! to 2 states c b orbifold % framew m that Γ is the mak φ m | string ), t oundary | t λ string , that and of the h b oundary the 1 the 1 Γ " the . . in | the the 1 t b φ is 4 theory 1 bination single (3.1 is constan m will alen to . 2 /r radius Note ) a state prescription 1 " λ, of action. e that ( oundary er n closed S that on space . oundary com closed w = = v differen the state | b for π t y b o (3.2 the under k " 2 Γ equiv a b elemen up constructed D1-brane | an of out This of '' the orbifold + of of ) e is t . hec In orbifold 2 = 2 | c b t t arian ) linear φ orbifold φ sums state v oundary Γ ]. tal oin , | alue single a acted 1) b orbifolding group 1 [2 p v ten terms a oundary orbifold → expression . φ (3.2 can is the the fractional e b + of in 2 or enden , subsection, in for con λ, h φ the Consistency F W should ( non-in the The N en orbifolding g describing 5 / " max | oundary n states That the of factor, b where parameterized orbifold and whic ( M orbifold and giv in under only fundamen called next brane asymmetric indep The one 3.3 terms for JHEP04(2002)051 t e 1 L y in of en b p w for the the the = sat- jects (3.5) (3.6) (3.7) (3.4) (3.3) op ), Vira- when is states states R closed in des states, enden and of Cardy’s pro that oundary all also Virasoro (3.5 y mo b the the dep ), summation in This , inclusion redundancy for set expressed string the sum relations a expression the states zero 2) a (3.2 satisfied ]. oundary is / noting only oundary the that the b , R . is b the of as ultiplicit 1 y tical [10 the y p that is ) just 2 b tum trinsically b ) o , en m " 2 closed " if = 2 π ) φ explicitly w α in 2 λ / ˜ t q . ed iden ) ( these + Giv L k − ) , out R partition oundary using r.h.s. y then η n states 2 p is ) therefore, reduces 2 b ( erall imply , ( only y φ 2 ˜ φ and v an q momen hec is at 2 (3.2 , b sector ], More φ ( ) precisely o c condition = 1 the Z , Z condition λ ulus since 1 φ in ) and ∈ '' ), [19 " and the cos % n een φ r = n an (3.4 " on g λ, b 2 divided en | w if simply ann state ( ) λ g = λ, Z , oundary ely m, ( n et is wisted to Virasoro ( giv b haracters. y t ected − b '' '' j and m,n sin y c fields, h r − ) Cardy’s the g a just j b m,n 1 | Cardy’s explicitly λ /r D ) factor ectiv the ) φ 1 exp m D e trop n ( , as ) summation. en Z leads b for whic 1 sin n − summation , en demonstrated to (3.3 that oundary as tribution hange φ r + m resp b taining giv + 2 ( orbifold . k factor the m is states λ, ) ( – can Z satisfy iϕ oundary the exc ( con is " 1 This are con b − iϕ 7 to + g conformal φ hec with ] states as e e | the α easily Substituting c n and ) – couple . [2 − /r 2 . This c also of haracter " 2 theory is 12 = = 1 expressed oundary 1 c to due φ orbifold as r − Z ) ) b φ and case e 0 ( strings j m,n 2 not normalization states ( ϕ oundary and ˜ − b 1 L ust φ = φ ). non-zero b an has = + This Z 2 + m the m Therefore, marginal cos the 0 do oundary together R sum a ) ϕ, φ . o " the 2 2 L b . radius. = ( R ) (3.4 can condition, is normalization e λ φ w r 2 + 1 bination p t closed v , still r , q ) the 1 1 since haracters | en that conformal L and truly cos that n ha (3.2 c -function φ φ el oundary 0 states and this states p primary com η The in theory b " 2 λ een ( " 1 giv + λ, λ, One lev in φ ), on r ( ( φ w radius , a orbifold partition will note " Without m " 1 Cardy’s cos et not = ( recall n − φ string at j j state m,n m,n b that (3.3 '' at teger to , tree = for sector 1 satisfied " R w n D D Indeed, states. φ in ), λ y en α oundary des / factor. and conformal string No b m, turning Dedekind the fractional states g the of op " satisfy ; . (3.2 transformation, cos j y mo orth ++ states en Z | m b at wisted discrete w tal the t ∈ condition. the op t that condition trivially er string haracters amplitude 2 is oundary t tum v string c terms states the is o Z dular b ) state also orbifold en the the , ˜ q considered. that 1 differences, ( 1 in in is string mo tree η op presen of oundary Z at equations R = b sum e p Cardy’s The It see normalization closed fundamen connected momen also the R the e oundary on conformal W The closed using the soro are Ishibashi and where arriv are the out where states the in requiremen of string under isfy b strings condition terms JHEP04(2002)051 e ∼ of of of in 2) w us, the the / the t D0- and 0 The y , π (3.9) (3.8) state , g x ) Th cases: of in . r radius on y = . orbifold orbifold N e Virasoro R clarit v (3.2 D0-brane D0-brane λ an images parameter ( Therefore, fficien e that = that √ geometrical ha the or 4 | - N y co the / h for F Γ generic d 1 b oundary n cusing | R to terpretation o 2 b using 1, its state suc fo / irrational the in ed D0-branes from = 1 go on. en for orbifold orbifold that = original ed four of R In a to ) = k ) p for asymmetric tak g b , e ed -fold ( the the v g The 0 hec n R (3.8 , sum description. N describ c results 0 0 y of onds the ha tially turned D0-brane a so, = eliev y is D1-brane in D trast, space b b of L the t trop as tial not geometrical p This enly-spaced en , , , is con and en in a it copies . ev sequen m corresp size doing . do giv it | e ering − oten In 4 orbifold D0-brane, y explicitly ˜ Γ v e α N / p | , orbifold elemen symmetric. in In 1 role m giv w e transformation. . co 2 D of − . b 4 that the on a infinite. geometry α y / trop 1 creates y the 1 1 m = oundary eing tal, is y teresting will h 2 the of 1 single en expresses b b / can 1 of in analyzing e irrational n ely a the R =1 matrix ! space. ) pla tac Although N , ∞ m – y ,n W = as ! b has increased n exactly with ! R % for 8 on . M r m T-dualit states the e , , , , (3.2 r not | more 0 0 – √ ) is a x x ering states Γ d ffectiv e oundary case | has is orbifold fundamen v ( n n R R h geometry b configuration = space. 1 i i ; . 0 will co e e 2, Since a marginal b 4 1 x the / description tuition are Z Z N the after g orbifold the . e 2 a whic / π ∈ ∈ oundary D0-brane The in is , the % % > n n of b 4 2) expression = irrational M = / orbifold D0-brane. ]. / A 0 N our 1 The R R b states / with λ π oundary 2 = g with orbifold at 20 . this = 1 √ 1 √ understanding / b to M r , r describ 1 4 1 4 some < state R space N 2 2 ) consider tifying p λ D0-brane c case single the = [19 √ our , . ( space. Virasoro = ≡ 0 t order a subsection. ; r < elop N in = iden 0 the = radius is Ishibashi Indeed, 0 x all N should b ) applied = asymmetric elop D1-brane, D1-brane g dev of L . '' mostly orbifold of ering r e = next oundary 0 p , a v for e | b b r (3.2 simplest dev D constan of N the w infinite with y co parameter The | state state ) for / will the rational case b . that 1 1 of ( e '' theory can the case will g N ; state Virasoro trop in w the arbitrary = | N instead = to ving π for / is N e states y en N 2 N 1 R general R ha / W for remains = the + section, 1 describing = = (i.e. oundary oundary 0 Γ tical y tuition that the for R b orbifold Here, D0-brane space x the b This r r 0) = 1. that acuum infinit Geometry in v r ) ) e this = b %= a iden v trop ) ( ( oundary oundary λ a 3.4 this ha the action In b Note en b ( description, branes is picture branes, our R ( JHEP04(2002)051 . , y is y π in is of in N b b 2 N tal tal / 0 . the osi- one / shift field ± aton state state iden- π if N = M π osition action, string itself closed trivial 2 orbifold 2 Again, erp 0 theory y = orbifold Cardy’s summa- x = oundary oundary oundary ed oundary erp b of marginal 1 = theory D0-brane fields. b b b b the R sup π at of ok R instance orbifold 0 y 2 sup violation = string in the Chan-P test a made closed fundamen fundamen x orbifold el a at cal tit the distance original the the oundary states. oundary R dimension erlo a ∆ en the for truly is lo deformation b b v a lev the for the first the translation onds of in in o the and iden a the is op of A as situated on A the t e orbifold to couplings distance es in the b denote case 8 certain for one ear can a the in t the all cated enly-spaced at corresp state cess to utilize general, to lo can Ishibashi hes D0-branes concerning to ev app Applying leads ectrum presen result this than Virasoro conformal that preserv One state. y In . states. pro additional er, 1 D0-brane sp N h N presen in us of symmetry R o stretc ev index, net A D0-brane separation U(1) required that th more of issue fields w w . for ] on field. t whic a are 1 oundary of symmetry functions hnically , y subtlet Z CP S cases. that r Ho b addition the has string state [22 The orbifold π D0-brane suggests π and configuration tit 2 explicitly oundary tec sum of . 2 oundary that . states t ts a vide b that In original en the b string with presence field d for subtle N shift This the iden M terms summation is oin are This . op of pro a er theory mo p = hanism . the space π fields v = the an to the in Z h 2 o orbifold m should y R the r oundary string the states use π ∈ it explicit preceding closed mec b eac – 2 winding of there fields y tit n precisely string constrain ering raise in o at erified. original the lead b 9 of = v at one an v y the w is is misleadingly m, r en one t – deform D0-branes co e expression to implies together π iden is tit Indeed, definition closed 1 out the b op 2 N states. will for to ) R y written √ cated d ) summing space the 1 b orbifold that 4 calculate This Ishibashi sewing With n lo e / iden The tal distance states, r can This - 1 is mo D0-brane v the orbifold whether (3.2 of 2 to ciated + string ) t states those 7 a the used couplings fields the ha space, in n dimension N of m r example e h ( e en of asso canceled b π = + string w the orbifold 2 that e b D0-brane. op D0-brane Only solely explicitly m presen g (BCFT). the b ( this coupling. at oundary orking orbifold a en another one l.h.s. dimension fundamen on can equally-spaced π 6 stretc condition b to w y line orbifold. see the of y winding 2 y ]. orbifold winding to op y of conformal e distinguish b still used b use the at M the configuration. 11 a descriptions tal ma w on cated single the trop construction. states, that , is that is e the lo theory the ed onds is of in 8 y not en , w us, w cluster w couple , second that the non-zero π cated conformal to on an instead es 2 en osition no condition, lo a Th state field states states [21 fields case state marginal under manifest marginal the follo the + not do e corresp information states oundary space giv zero are erp v b 0 N wing fundamen aside, that noting ed 1 D0-branes N in fields / from x the do index as ha / R and oundary geometry tal and of sup 1 fields , M truly with b N cluster an in ecomes tains follo → theory orth a . y b X = D0-branes = w 1 oundary oundary oundary oundary oundary 0 y preserv Notice r apart the winding b x b orbifold i∂ The tion fields or condition. b the the state b state conformal tit string the where con tion b (CP) state As b r field is = to ) A This It R c 6 7 8 fundamen ( D0-branes of space symmetry the JHEP04(2002)051 e of t, in at b wn for the the the the the this also when This used after sho to group states states of ciated As action to . family means In obtain on ossible is Virasoro r matrix- presen p state ust that y states D0-branes een π e an b to m the 2 b binations symmetry o. deforming dimension asso conditions radius is b act the 9 the 1 d that states y to Indeed, out w of t. it b images com , explicitly the radius. has ust t tal, ust y oundary with ortional ho oundary = mo an e y 1. b m their h b m radius are conformal has oin oundary the oundary Indeed, ) rational ecause m R an that t o y fields p trop Γ = b b b ˜ oundary D0-branes π prop b X w relev at Sen 2 t b the whic at orbifold , en index at study of to out R is of ] 2, preserv X obtained = ]. / ( radius. fundamen description orbifold 26 to 1 The at p er CP 28 V differen Virasoro , t from states strings bulk ust e b = course, , precisely suggests ts maps orbifold b a theory the ysically states m R brane [25 is osition en the um [27 Γ mapping need oundary Of the states, it oin fields. ph it at n or to those teresting string b op p the e F erp ), states and e on the irrational radius in 1. w all algebra oundary b distinguished string en at b fact, , to the is of hanism sup Quotien = (3.2 r act state, to from those op ws ected that y In three a oundary X winding It order are string R ¯ in infinite r ∂ b = orbifolds e oundary mec to space wh v ely an ]. y). allo X b will cated closed mass description at susp 3 R = ∂ construction ha lik lo Virasoro the is Γ irrational , the – ) With erturbation. that String R at the p ˜ [2 closed oundary the implies to ering non-conformal. X infinite marginal 10 and v fields , radius b not us, on in the in erator of at in mass string orbifold en of – X co from t explains marginalit there ( Th conditions op algebra Virasoro symmetric seen is notice space. are en This truly V Since t Op ecomes r e order that fields o finite algebra b true b on . . and D0-branes giv w the y closed ertex t But presen sector as , v orbifold on consists first ected, ering the marginal of a D0-brane algebras find oundary particular v can ). tly indices. is at b trop to are e oundary quotien erators ) a co tributions erator exp those b w h only therefore, en strings deformations. string that (3.1 op string irrational oundary e truly at ens op CP t ], con (3.7 the erturbation b b construct symmetry the The This arises erator en in p o en D0-branes orbifold of conditions for t . whic and [23 w in state r op op happ Orbifold t ole can closed op the Γ of en and significan ertex fields. y exactly for this e ertex asymmetric e the v = shift y ] ) using v theory case w differen oundary field b er migh giv is [8 marginal tadp set the of R v b what mass, state y trop an ) o ertex y (3.6 the as marginal More under the v As at algebras. action b State that en tit presence (see , winding oundary marginal describ elled e geometrically (3.2 ˜ string on b X onder dense original ational sector, space, is the to from w iden one the in lab r non-zero a The truly en infinite infinite r group h y states a y applied ir oundary erator geometry and acts e e b op the en es condition b the = infinite. v v marginal describ e ma = accomplished and op oundary ering Γ v X ed orbifold. v that string connected giv one. The whic orbifold of the giv with ha of b R is ha “summing” o r e an ] ha T b co ) One truly Boundary equally-spaced generate an dimension 9 d en [24 e ( oundary erturb oundary ertex alued the orbifold fields, not 4. are from action v successfully p can of W b b op v all to in JHEP04(2002)051 . , . ) e 2 o ) Γ 2 es v ¯ to | z X en ts. , re- ) w 2 the the the the 2 n Be- t t = z and The ¯ z i ( do ha (4.2) (4.1) alge- op ertex r e ˜ alued 2 X of tation v Γ on − (3.1 ˜ the " n regular erators regular X alen ffected a 1 a and oundary action = are for z elemen duces op imR in b | n functions: duct | state. e alue the the that with Γ not v ln and 2 | erators. from equiv ! pro obtaining ), the 2 matrix-v e represen α these repro 2, op group analysis X and ertex v are also or v at − ) y Here, = (3.2 F ha ¯ z , the Green’s condition 2 , matrix (defined . the | alid . z an oundary des R e on conditions ( 2 of + v 2 that erator distinct γ since 1 Γ b ertex y z , w X 1 0 required ff-diagonal o × 0 v h to a at mo Notice algebra op n A cus ∈ R ≡ ts 2 − h then i ecific # . t as a 1 fo h e 0 1 tac all for 1 0 . . situated π z algebraically is sp indices. | 1 states is * oundary H The with X is all 0 1 = r 1 ) b oundary ln − the will X are ) 2 " 1 0 elemen ) ! | b algebra, CP applied action form 2 e = 2 1 = fractional ˜ α x emphasize + Γ = for quotien t | e D1-brane oscillator n w brane + a ∆ , ( e ) − R (4.2 include b space n R i , 1 . the ( , the the e condition y y i . W 0 y = oundary at e b . the to for The e at h b ert , n 0 erators . with D1-brane for ( v )) condition b 0 ma single D D1-brane together, R γ quotien ˜ and conditions. op X D0-brane ha > a n it , y Indeed, = Hilb % ) ts ecause Since ff-diagonal o erator b All the X – 2 of a simplicit the j b ( ¯ oundary z + hosen algebra and ons erators ts. ). op , c h i, b orbifold en y ertex that radius ( 11 2 or ˜ extended another relation + the or for on v h X op z tractions F F 0 1 V , – ( conditions. giv “separated” in oundary D1- elemen at to ˜ tac erator X for ). X ertex b = ertex erator. tation con ( is ) v 1 0 space fficien e v ) t 1 op for T k easily ¯ op indices ertex z alence h acting * string co (3.2 the case. ersal ( , v on e Virasoro ) 1 t 1 the D0-brane y b z h − D1-brane Wic en of h e as of ( index oundary inX ( CP γ ertex tation e diagonal univ equiv ˜ b γ represen ertex the ) required D0-brane X op v D1-brane differen D1-branes n the tac giv v erators can ˜ a X o a CP algebras a < as for , orbifold the on op constan w with those for are fact single n for t y h = the X D1-brane will that The % h ( a the tation algebra 1 in and ta applying inX represen in = V ertex suc D e expressed maps een of tac state y minimal is ) v ) the ertex non-U(1) − on > analysis w b tial. h the v note 2 X denote ( X the ) et are ( D1 e 2 the γ = ’s the required the b ¯ or z satisfying on ) form T b momen w our a oten represen , space on r y ) states, particular, D0-branes expansions 2 field is p is dimension h for t action ˜ z algebra algebra out X ( (4.1 analyze oundary for the hing consider and in , de t tac b , obtained X the teger X ’s ) ering of ( ork e 1 a v algebra mo gauge enden ely not ¯ z first unitary b ertex w tation tation and ceeding, on V the trivial t , orbifold, t t co stretc v smaller oundary , all 1 e string z of b dep an a 2 ¯ satisfies z half-in quotien pro ( will Example: W ectiv act can non will expression ) the the = en erators X h e = ( y differen < where bra W 4.1 γ resp bulk the quotien op with The strings R represen the and with sults fore not that The b represen equally-spaced algebra z on op constan JHEP04(2002)051 , t t h 2 di- 00 the the oth the can will = con- " m quo- rela- used b (4.3) (4.4) ertex ering e h a whic string erator in R v v on to e second , ecomes w general with b = ) Keeping ˜ oundary co quotien for the b op X en 1 b , the whic coinciden the w, m 1 the 0 ˜ 00 acts of X 2 the op o i onds h 2 o m can explicit in ( e oundary im w In = a w This + t γ ertex and e t = b Belo tation m v ˜ tation only X a R An basis R 0 same 1 , , im m l 0 D0-brane. corresp e tation at ard. these form requires + h the space 2 basis. matrix. the string 1 0 algebra ) ) express , D0-brane represen the = tification π in y for e l represen t the natural D0-brane en ) v + tforw algebra. + 0 1 of to + tit ˜ Γ ˜ (4.1 tation ering X e 0 X 1 0 op ( ha action ˜ iden * v v ( represen X the matrix k and ˜ basis. single im T X co ha iden e 0 1 + regular +1) D0-branes m same in quotien a the oth algebra of ts straigh 2 1 1 m * * cation i b under ected 0 ossible y D1- the e group the k (2 − is represen lo b m i applicable the p relation for t = the the " m irreducible e b e + eyl d exp natural on b 1 " m the 1 0 en of R that 0 b spaced W m the hange us, e m elemen − % c * irreducible to also v arian or m the e e trivial giv using the v at 2 ˜ a Th expressed F + v X see alence ha single is ) 1 0 en algebra in 2 algebra is l . – example is + in e e ha ). to non + * a t The ) it hange 11 is 2 tations w w duce tak m c π irreducible ˜ 12 equally ˜ X us X " m , equiv ) utativ up + (2 (3.2 is = ˜ i erator ), a – γ o k for ˜ X ertex The th X pro e 0 + ( l +1) w v r − not m the ) erator in op er tations t = erator 2 k m m i e (4.4 im quotien w The ) . = tical e es (2 " m v op (2 e constructed on 2, tation. o 1 will op of i i represen , o a (4.1 y " m e p case. e 0 11 l do 1 t h a D0-brane , 1) the = h state condition, on " m m k ab ˜ ts. ertex iden on algebra ( X y c with a m v y =0 r γ + m e 0 that noncomm tac theory h t of represen % h im ,l ) m alen a b and the 2 k e are the 1 o algebra to on , represen zeroth tac 2 ˜ for and tac " max * w y the to X t of the m (4.3 t of , elemen with =0 n h * % m % D0-brane ,l equiv condition oundary of the the oundary a k 01 quotien the b 1)( = = tac space b orbifold the " m that features ts to and ) a m m the are + erator % % ˜ line quotien cation tation X The = the shifting the see ( compared op " alence = = lo " max y ). irreducible e 10 T e in ) the b π elemen raised us, w m orbifold b m ˜ orbifold Comparing , general ( the indeed X radius ff-diagonal o a the connects r + ( expressed as second equiv D0-brane consider , Th generalization = T ˜ the represen us, e the the X for | 10 w v ( brane and Γ and erator the some " m | that the Th T matrix the no ha should The on for a e op ecause in a e . = e generic algebra. or = b ) w Generic F W a regular exactly t ˜ expressed 01 X ectrum ( e or m ertex 4.2 fractional theory mension are T space. F one-dimensional diagonal algebra a tionship algebra where expression algebra line where here sp ditions, describ v D0-branes. b tien conditions. the JHEP04(2002)051 e 2 a es = 2, j V to on on els the the the the and D0- will as Γ that only do tical duct elled from (4.5) = after ertex ering e t lab j single utativ the tation v v ) on r w to e, Also, 1 y a lab " max ˜ pro ignoring oundary co oundary X that iden j with b raised and as D1-brane ]. matrix on on b b m Hence, duct, D0-branes giv y of (acting for y , is [1 b V . h on us, constructing the 1. . endence +1) the pro act note . branes noncomm elled represen direct similar shift will coinciden , tac in ≥ Th ciated ! max e e. 0 on or of , V dep of 1 . riedan n y with lab F l action w ( 2 F t ectrum e discussion, the the = the j and the + Z V v max " subalgebra y er D0-brane algebra expressed asso ectiv > D1-brane pla 1 (acting field sp b tensor e of b n condition space oin in j and k condition us, e +1) ↔ ha 1 p a oth space. at b U if max " 1 the with ersp the the and U um tation b ˜ the Th j ! max n − p X they n ) ease equally-spaced in ted y m with 1 k utativ | ( ering string can j to matrix b 1 action eing +1) ) + | v only Γ or Z and the hin ering 2 and | b example, a erators D0-branes. image m F role + j t v N ysical co oundary en ciated oundary ! max = , as / M b subalgebra h b +1) to 1 op Indeed, co ( space. as conditions m els ph consider w represen > i comm op ( j " max The M " max the e ( a . exploited the R it asso n Z 1 ! max eac is n index π lab Similar j r h n = action 2 the | = presen ( The ⊗ is the first i of 1 2 explicit onds ↔ uc ertex on of r generated j e and V Z j j on e n from algebra. is v " m t on ) w treat radius regular is for an = 2 V orbifold index oundary for " max j D1-brane D0-brane ˜ oin the een the X b the group , 1 ) space. w – b p m 1 duct j As the nr corresp and equally-spaced j and osition actions condition. the vide i matrix. indices ( algebra matrix on the the e e 13 the (4.1 condition has pro Again, o 10 y y l the exp . e on – pro irrational with D0-brane therefore, b w the k trast, ering for t tit subalgebra U v more n image D0-branes at shift > Lik ertex y tation with V express m co hanging con D0-brane v utativ h b algebra with acting or 1 one 2 a direct eyl conditions, elled iden j oundary from algebras concise − t. | to o relation a the er, b t exc oundary eac In 2 branes W a =0 w the j the w v branes; ! max and b function. lab ,l t example. algebra y oin % elled n w the k analysis only b D0-brane = e p on e for for 2 erator ciated represen on erator the ] b D0 = are lab D1- =0 , V ! max = quotien alence op noncomm op % n gleaned > [25 oundary natural Moreo m The eing one U r space. asso ving in utativ b ust e 2 b is the for . " max is Green’s j relation, b image D0-brane m m | 1. equally-spaced ) n separated manifestly except Ha % D0-brane equiv , it er of the ely regular tation shift U ertex h 1 branes . + is only , the w v = . generated can the o ) D0-branes (4.3 the . separated + algebra ) the example, 2 eac the p , to there t is the j +1) noncomm ectiv algebra, ˜ alence on The " max 0 orbifold of algebra X 2, from , y eyl a ( for D0-brane 1 from at for . space. cation t are m " max It h These j = ! max subalgebra = T W of ( represen eyl matrix, n lo resp D0-brane m 2 the ( r onds 1)-th equiv that j tac max " algebra See, ). , W and k Z space, the consider n c ˜ e t that + ]. The X , the the on denotes × brane for of duct coinciden . the satisfying the (4.2 quotien space. lik " clo the us [29 . obtained tation D1- of 1 orbifold situated . presence With tribution " max V +1) , pro corresp and in is on ts or + 0 dimension m the F The Let 2 ffect a ( quotien generates orbifold ! max con The the j X ering earance en that = index erator m ) v cus 10 ( " max y 2 2 geometry app Z b direct space to op on j co D0-branes on where the with index. represen X not applying fractional branes insigh the fo D0-brane condition n the j and condition. the giv JHEP04(2002)051 . . t t e e a r ts of b π ec- if 2 ond this i spin only bulk bulk bulk with oin state more ering e mak w made set single string ciated closed closed p v t a of can matrix theory ersp e algebra a = elemen orbifold or o No oundary oundary oundary oundary co are differen p b seen b b b b w h . set o asso using w o that t y corresp e eyl same S ciated o constructed nor a w w the v the of t closed t eac sector tal w W e ma erator differen normalization BCFT, t oundary space ha b the b with asso orbifold o a arbitrary op for e e orbifold states w the share a D0-branes states called o is the v brane t w een algebra to hosen can Virasoro state w consider the within c w osition shared t wisted ha ) Indeed, branes, the t but et e index ertex also constructed orbifold it of the v fundamen b v erp string 1 onds basis, states ertex and algebra j a is w ha of v itself within algebra found the set from of Indeed, oundary sup e the Virasoro elo e t general, b oundary this the a b W b the a connects Neglecting b orbifold set closed ering the with ertex in theories. ypically corresp either v is from In v a t to an states equally-spaced e considering d can not bulk co and . fact with situated b o us, tify y o zero quotien e V are express it relationship least the equally-spaced ory b circle. jects. algebra. in v y state w construction. tical t Th o the a string (i.e. orbifold a construction ys iden the ob the (at ma normalization a of ab spin and eyl ted es common ciated that That iden tal if on to With a it oth without states oundary the W BCFTs U alw b – in understo b giv bulk is the ). to o closed e e y states. algebra asso oundary description, in v b b 14 w connected the presen only that b t overing ely t can the is erators t c (4.4 – up e t ha teresting states. h theory implies that oth condition v hanism can op of in not b in oundary diagonally '' fundamen string facilitate algebra one seen eac ha the b tains Virasoro string B that as t mec in e e | are ffectiv e quotien presen to are constructed This , relates v presen in w " not t string result con en all ertex is '' generated A those this, that ha is v oundary is Since Cardy’s algebra the op closed ely B basis e then b subalgebra | only so, of that w , quotien in state easily out states the 1 and and eyl of state. presen , of direct closed A theories state the t basis that e eyl zero A W = shift b the satisfy systematic generalization W in y ffectiv e oin doing are R the the b a p a D1-branes theories. the tation where theory and spin state is orbifold e In can Because at string subalgebra osition o of the algebra that of theory us oundary k or matrix oundary w W oundary of c state presence t b oundary b elled state that erp b '' noted, eyl in b argued, and shift clo B set | W e D0- tum. radii. lab S the ertex space closed sup represen v As vided The v orbifold theories the o oundary situated example, a the earance . in ha " , the b w the strings. e een | pro 2 t eculate states duli condition, e orbifold complete state in A orbifold oundary b the Γ w orbifold other oundary manifest. of | app w b = also sp momen b et mo D1-brane). in to has string regular . r states. matrix at e b theories, the states or the As when ed bulk closed asymmetric or The W Bulk the w Discussion the orbifold general, the theory the the e. en subset oundary ecomes oundary oundary b In an The D0- with states; closed state tiv expressed equally-spaced in up b The 5. in using allo action theories. orbifold in states on a b from ev to theory string factor zero states string b JHEP04(2002)051 I e of , b in- add con- field field tical y y field ev. PHY- field cluster R aluable an a ma , t v string iden only uscript. osition Martinec, of fermions of del the ]. sewing determining for gran vide construction E. are es erp mo Phys. oundary will man onformal and , ac b c conformal in v, 675 e pro onformal BCFTs the sup c sp the the W solution o NSF satisfy a ories the w not referee osons bulk factor, y t , on duli b the gaussian b or (2001) ational not Kutaso y e es r ts helpful 1 mo e Exact two-dimensional the 2 oundary e earlier, es fr D. do tal that = b / BCFT. field b 618 hep-th/9402113 in neglected 3 ciated part c [ do to a and y ]. y for y B ecifically e and of v in an the and ultiplicit ]. asso commen 417 ory ma Sp noted ]. ha Craps, 1 states m state of the for states e Phys. = Maldacena, onformal As ossibilit fundamen B. c w ete ]. grateful orted c ]. their p (1994) is critical teger of er, J.M. esentation Nucl. tal. discr een in the theories. also supp 422 oundary w condition, oundary 1, and of epr onditions Cunha, b hep-th/0201173 b – pap r state and [ c et oundary an “summation” as B = states b am b consistency deformation w c field da 15 hep-th/9109032 1 of raises to [ I the hep-th/9811237 the 039 [ – at = cal action if el cluster fundamen Phys. ork c ]. up lo Ludwig bulk fermion hep-th/0108238 233 w hep-th/9404008 3273 oundary [ lev [ tal. is er, oundary b t e Inter Conformal relation the e discussions (2002) b Boundary states r ev the Boundary Carneiro a Nucl. v, F 016 Exact 622 the w o , e ts, 02 This ossibly B. (1999) v, (1991) state b for ak Ho at p A.W.W. throughout ory 6 differen discussions. knagel, helpful oly ollonio, generalization onformal is v, fundamen (2001) not oundary the 545 c (1994) orbifold P A Phys. Bao, b Rec e homerus, y for of that B b 11 with gy hep-th/9311092 50 Klebano Sc R. constrain [ states. ett. e A. Thorlacius, uscript. This the field ey ma useful satisfied oundary D’App L A.M. states D BCFTs, ac V. b L. Klebano e not ]. Ener tion I.R. ts sp G. o b Phys. and 1968 man for Phys. eptional ev. w Harv and ciated thank t and there R and I.R. Phys. can sewing gy 1999. v and men J. Exc and The an ust High to the oundary onformal it whether d. Nucl. erdiel asso m c e b to the oundary J. , orbifold (1994) the elli condition. Ener , b Mo Phys. on lik on hinski knagel of , , tal Gab of Callan, Callan Janik, 72 an then Klebano should anes riedan, that Sahaky ts olc wledgmen although F Capp Rec ories ory ory High P also e ts ett. oundary one theories hep-th/0109021 grateful D. unpublished [ J. L b the the the D-br D. M.R. A. C.G. R.A. J. A. C.G. I.R. W kno Cardy’s orbifold ectrum ould am y [1] [2] [4] [6] [3] [7] [8] [5] [9] relation, of formation fundamen field Ac I and whether that sp w strain commen related theories. 9901194. References b JHEP04(2002)051 . . , J. , d , , . e 551 . 324 e in , e Phys. SU(2) al High ories , B fr (87) physics 4061 J. the for High ometry ory bridge , critic The esentations oundaries ge 288 J. b the Phys. , in 1. epr Cam B (1999) r states hep-th/9901146 D-manifolds non-simply-lac quantum ondensation , with field orbifold acy ory ondition 14 c ]. Nucl. c hep-th/9603167 to hep-th/0101199 ator es , for in , the Phys. A and , string, er gener dimension dy’s ommutative op ometry oundary de b is surfac ators ge tachyon states Nucl. elation onformal Phys. string Car formula r er c , osonic Nonc on b orbifolds d. on op state instantons in in vertex om otic ]. fr Mo orientifolds on ension the as in T ories 1994; onformal hep-th/0009148 erlinde oundary J. ertex [ to c ound esults ALE b ators for orbifolds V r Heter V the gr er ommutative states algebr ]. Int. 045 and op the The and factors o solitons , Press, ger field erstein, exact nonc ]. duction Rohm, . and – o asor ]. ]. anes . atts, anes Silv onditions wimmer, cycle . (2000) c R. and o h oundary br W 161 quivers 16 Vir c intr b Some noninte E. 179 hep-th/0108102 Asymmetric oundary [ Sc D-br b 253 10 – rules n of and Academic onformal A (91) and A. c ore, ommutative and afa, (86) anes, 344 and 1. ometry (85) V dy G.M.T. 67 actional Mo Phys. hep-th/9906242 for ; o osonic fusion [ r ore and Orbifold b C. D-br Nonc 107 F etation Universal gy D-ge 256 e, Consistency Bulk 303 ometry, ett. and hep-th/9601038 Mo (2002) [ Martinec 001 L ose, hep-th/0011060 hep-th/9909072 ge aints B and G.W. [ [ volume on ore, ore, . . Oliv Ener Kac-Mo Ro Phys. ev. among es interpr 626 ellen, E.J. Mo Mo Gomis, 1667 R 654 G.W. 038 001 and . D. (1986) e, hinski, onstr 258 , ory, knagel F. onditions, Ludwig, c al (2000) B Phys. c J. 1 ctur ey High Lew olc . the le Rec Oliv P (92) Math. hru, 10 A and (89) Sarmadi, G.W. G.W. J. Phys. and (1996) 274 (1998). ]. , elations (2001) (2000) J. physic , A. Harv ommutative D. Nahm, r Phys. Nucl. Marino D.C. Kac Sewing Two 372 , A and and 231 54 ory A.W.W. String 01 03 M.H. S. Phys. W. Phys. and (91) M. ent Craps B and Boundary J.A. , Nonc B and D the Press, , Nucl. d. v, gy erdiel, ey and B. ellen, systems string Commun. y , . 259 Desc 1 ev. k , Phys. Phys. ett. Mo o, amoto, hinski, field L R Phys. Diaconescu math.QA/0011193 Douglas, Gab Douglas ddard, ddard as Ener Lew B Gimon Narain, Gross, Harv otic 581 ersit Martinec gy gy Cardy Cardy , J. olc Bill´ Sak Kutaso Sen, Connes, Go level Go P fflec A . . ett. hep-th/9902105 string L Int. P algebr quantum High Ener Phys. Nucl. [ heter Ener Univ (89) at Phys. 2000 D. J.L. P D.C. I. M. M. K.S. J.A. M.R. D.-E. J. A. D.J. E.J. M.R. E.G. J.L. M.R. A. [20] [21] [14] [22] [19] [15] [18] [16] [23] [25] [17] [12] [24] [13] [26] [11] [10] [27] [28] [29]