Fermion Currents on Asymmetric Orbifolds

  • 格式:pdf
  • 大小:106.49 KB
  • 文档页数:14

arXiv:hep-th/9312066v1 9 Dec 1993KOBE-TH-93-11December1993

FermionCurrentsonAsymmetricOrbifolds

ToshihiroSasadaDepartmentofPhysics,KobeUniversityRokkodai,Nada,Kobe657,Japan

AbstractWestudywhetherorbifoldmodelsareequivalentlyrewrittenintotorusmodelsinthecaseoffermionicstringtheories.Itispointedoutthatsymmetricorbifoldmodelscannotberewrittenintotorusmodelsinthecaseoffermionicstringtheoriesbecauseoftheabsenceoftwist-untwistintertwiningcurrentsontheorbifoldmodels.WepresentalistofcurrentalgebrasonasymmetricZN-orbifoldmodelsoftypeIIsuperstringtheorieswithinnerautomorphismsofLiealgebralatticesoftheAnseries.Itturnsoutthatwhetheranasymmetricorbifoldmodelisrewrittenintoatorusmodeldependsonthespecificchoiceofamomentumlatticeandaninnerautomorphismofthelattice.Variousmethodshavebeenusedtoconstructfour-dimensionalstringmodels.How-ever,therelationshipbetweendifferentmethodshasnotbeensofullyunderstood.Oneoftheexamplesshowingsuchrelationshipbetweendifferentconstructionsisthetorus-orbifoldequivalence[1]–[7]inbosonicstringtheories.IftheZN-transformationofanorbifoldmodelisaninnerautomorphismofthemomentumlattice,thentheZN-transformationisequivalenttoashiftonthelattice.Theorbifoldmodelassociatedwithashiftisequivalenttoatorusmodelinthecaseofbosonicstringtheories1.Inthispaper,weshallinvestigatewhetherorbifoldmodelsareequivalentlyrewrittenintotorusmodelsinthecaseoffermionic(i.e.heteroticortypeII)stringtheories,whichhasnotbeenstudiedindetailbefore.WeshalldefinethefermioncurrentsonanorbifoldmodelasthecurrentsoftheKaˇc-MoodyalgebrageneratedbytheNSRfermionsontheorbifoldmodel.SuchfermioncurrentswillgenerateaKaˇc-MoodyalgebrawhichcontaintheSO(2)Kaˇc-Moodyalge-brageneratedbythetransversespace-timeNSRfermionsinthelight-conegauge.Ontheotherhand,fermionsonatorusmodelareallNSRfermionsandwillgenerateanSO(8)Kaˇc-Moodyalgebrainthelight-conegauge.Thus,thenecessaryconditionfortheorbifoldmodeltoberewrittenintoatorusmodelisthatthefermioncurrentsontheorbifoldmodelshouldgenerateanSO(8)Kaˇc-Moodyalgebraanditturnsoutthatthisisalsothesufficientconditionfortheorbifoldmodelwithaninnerautomorphismofthemomentumlatticetoberewrittenintoatorusmodel.Itshouldbenotedthat,inorderforthefermioncurrentsonanorbifoldmodeltogenerateanSO(8)Kaˇc-Moodyalgebra,itisnecessarytoexistthetwist-untwistintertwiningcurrents[7]–[9]whichconvertuntwistedstringstatestotwistedonesintheorbifoldmodel.Thereasonforthisisthat,ineachtwistedoruntwistedsector,theunbrokenKaˇc-MoodyalgebrageneratedbythefermionsontheorbifoldmodelisalwayssmallerthantheSO(8)algebrageneratedbythefermionsonatorusmodel.Therefore,symmetricorbifoldmodelscannotberewrittenintotorusmodelsinthecaseoffermionicstringtheoriessincethereisnotwist-untwistintertwiningcurrentonsymmetricorbifoldmodels.Inthefollowing,wewillconstructasymmetricZN-orbifoldmodelsoftypeIIsuperstringtheorieswithinnerautomorphismsofLiealgebralatticesoftheAnseriesandinvestigatewhethersuchasymmetricorbifoldmodelscouldequivalentlyberewrittenintotorusmodels.Intheconstructionofanorbifoldmodel,westartwitha6-dimensionaltoruscom-pactificationoftypeIIsuperstringtheorieswhichisspecifiedbya(6+6)-dimensionalevenself-duallatticeΓ6,6[10].Theleft-andright-movingmomentum(piL,piR)(i=1,...,6)liesonthelatticeΓ6,6.LetgbeagroupelementwhichgeneratesacyclicgroupZN.Thegisdefinedtoactontheleft-andright-movingstringcoordinate(XiL,XiR)(i=1,...,6)byg:(XiL,XiR)→(UijLXjL,UijRXjR),(1)

whereULandURarerotationmatriceswhichsatisfyUNL=UNR=1.Thegactsontheleft-moversandtheright-moversdifferently.TheZN-transformationmustbeanautomorphismofthelatticeΓ6,6,i.e.,

(UijLpjL,UijRpjR)∈Γ6,6forall(piL,piR)∈Γ6,6.(2)Theactionoftheoperatorgontheleft-andright-movingfermionsontheorbifoldisgivenbyULandURrotations,respectively.Letusconsiderthegℓ-twistedsectorinwhichstringscloseuptothegℓ-action.Wede-notetheeigenvaluesofUℓLandUℓRby{ei2πraL,e−i2πraL;a=1,2,3}and{ei2πraR,e−i2πraR;a=1,2,3},respectively.LetNℓbetheminimumpositiveintegersuchthat(gℓ)Nℓ=1.Thenecessaryconditionsforone-loopmodularinvarianceareforNℓeven

Nℓ3󰀁a=1raL=0mod2,(3)

Nℓ3󰀁a=1raR=0mod2,(4)piL(UNℓ

2R)ijpjR=0mod2(5)

forall(piL,piR)∈Γ6,6;forNℓodd,thereisnoconditionforone-loopmodularinvariance[3].Thesearecalledtheleft-rightlevelmatchingconditionsandithasbeenprovedthatthesearealsosufficientconditionsforone-loopmodularinvariance[11,12].

2