-nonzero\]), (\[eq:right-Fock-nonzero\]) or the square root (\[eq:squareroot\]) might not[^21] exist as honest equivariant line bundles. In such a case, the heterotic string on the stack is not well-defined. In an ordinary orbifold, this is the case that the Fock vacua (and hence perturbative states built from them) form a merely projective representation of the orbifold group, instead of an honest representation, and the projection operator built implicitly in the structure of the string one-loop partition function no longer functions. This condition represents a new (to our knowledge) consistency condition, so let us take a few paragraphs to elaborate on this point.

At least morally, this condition is a generalization to stacks of the old requirement that “$c_1 \equiv 0$ mod 2” for bundles embedded in $E_8$ in the standard fashion. That constraint could be understood in two ways:

-   In low-energy supergravity, this is ultimately the statement that the $U(n)$ bundle can be lifted to ${\rm Spin}(16)$, realized by the left GSO projection, whose embeddeding into $E_8$ then factors through Spin$(16)/{\mathbb Z}_2$,

-   On the worldsheet, this is the statement that the Fock vacua are well-defined in a left R sector. The Fock vacua couple to a square root of the gauge bundle; that square root will exist if and only if “$c_1 \equiv 0$ mod 2.”

(For another recent discussion of constraints of this form, see for example [@enstx].)

In toroidal orbifolds, this constraint is very mild, but illustrates an important point: not only the bundle must admit a square root, but also the equivariant structure. For a typical toroidal orbifold, the bundle factors are all trivial, only the equivariant structures are nontrivial. In typical such orbifolds, $K_{\alpha}$ is the trivial line bundle with trivial connection, but although $\det {\cal E}^{\alpha}_0$ is a trivial bundle, the equivariant structure may be nontrivial. In left R sector, ${\cal E}^{\alpha}_0$ describes couples to fermions that are both periodic and invariant under the orbifold group, so the equivariant structure is trivial. In a left NS sector, on the other hand, ${\cal E}^{\alpha}_0$
-nonzero\ ]), (\[eq: right - Fock - nonzero\ ]) or the square root   (\[eq: squareroot\ ]) might not[^21 ] exist as honest equivariant course pile. In such a case, the heterotic string on the stack is not well - define. In an ordinary orbifold, this is the case that the Fock vacuum (and therefore perturbative states built from them) form a merely projective representation of the orbifold group, instead of an good representation, and the projection hustler built implicitly in the structure of the string one - loop partition function no longer function. This condition represents a new (to our cognition) consistency condition, so permit us take a few paragraph to elaborate on this compass point. 

 At least morally, this condition is a generalization to stacks of the previous requirement that “ $ c_1 \equiv 0 $ mod 2 ” for bundles embedded in $ E_8 $ in the standard fashion. That constraint could be understood in two ways: 

 -    In low - energy supergravity, this is ultimately the statement that the $ U(n)$ bundle can be lifted to $ { \rm Spin}(16)$, realized by the left GSO projection, whose embeddeding into $ E_8 $ then factors through Spin$(16)/{\mathbb Z}_2 $, 

 -    On the worldsheet, this is the statement that the Fock vacuum are well - defined in a left radius sector. The Fock vacua couple to a square root of the gauge bundle; that straight root will exist if and only if “ $ c_1 \equiv 0 $ mod 2. ” 

 (For another recent discussion of constraints of this mannequin, see for example [ @enstx ] .) 

 In toroidal orbifolds, this constraint is very mild, but illustrates an important decimal point: not only the bundle must admit a square ancestor, but also the equivariant social organization. For a distinctive toroidal orbifold, the package factors are all trivial, merely the equivariant structures are nontrivial. In typical such orbifolds, $ K_{\alpha}$ is the trivial credit line bundle with trivial connection, but although $ \det { \cal E}^{\alpha}_0 $ is a trivial pile, the equivariant structure may be nontrivial. In leftover R sector, $ { \cal E}^{\alpha}_0 $ describes couples to fermions that are both periodic and invariant under the orbifold group, so the equivariant social organization is trivial. In a left NS sector, on the other bridge player, $ { \cal E}^{\alpha}_0 $
-nonxero\]), (\[eq:right-Fock-nonzero\]) ur the square root (\[eq:sqnareroof\]) might vot[^21] exist as honest equivarient oine vundles. In such a case, the hetegotic strung ib the stack is not well-dsnined. Mn an ordinary prbifold, tvis is the casa ghct the Fock vacua (and hence perturbaeive ststfs built from jhem) gjrm z merely projective representation of the orbifold groip, instead of an honest reoresfntation, and the pgojection oksraeir built impuicitly in the structute of the string one-loop partitiun fuuction no linter xunctions. Tiis cogdition reprcxents d new (tp our knowledgc) convisrency condition, so lev us take a few paradraphs to emaborate on this pount.

At leavt muealuy, uhix donditlon is a genedalization ro stacks of the olc wvauirement thzt “$c_1 \ezuyv 0$ mod 2” for bundles embedded in $E_8$ in tve atandard fashion. That cinstraint could be unferstood yn two ways:

-   In low-energy supergravity, this is untimaveuy uhc rrahement that the $U(n)$ bundle can be lifted to ${\rm Apon}(16)$, realized by tme left GSO projecyiln, rhose embeddeaing iufo $E_8$ then factors thgough Skin$(16)/{\matybb Z}_2$,

-   Og thr worldsheet, this is the stqtement that rhe Fock vacua are well-defineb in a left R sector. The Fock vacuc coupme to a squwre root kw the gauge bundue; nhat square root will exist if and only if “$e_1 \equiv 0$ mod 2.”

(For agother recfnt dlvcussion of constrwints ox this forl, see for example [@enstx].)

In toroivel orbifolds, jhiv cmnstrainc is vcry mild, but iljustrates an ikportanc poing: not only the buidle must adiit a square slot, but also the equyvaruant structjfe. For a typicsl toroidcj orvifold, the bundle nactots are all triviao, obly the equivaroang serlctnres wse nontrivian. In tyoocal ruch orbifooas, $K_{\slpha}$ is the trivial lins bundle with trivoaj connecjion, but wlthough $\det {\val E}^{\alpha}_0$ is a trlvial buidle, tne gquivariant structure may be nohtrivial. Ln jeft R sectow, ${\cao E}^{\alpha}_0$ deseribes couples to fermions that are both periodic and invaeiant under the orbnfpld group, sp the equivaridnt structure is tricial. In a left NS sector, on the other gand, ${\cdl E}^{\appha}_0$
-nonzero\]), (\[eq:right-Fock-nonzero\]) or the square root (\[eq:squareroot\]) exist honest equivariant bundles. In such on stack is not In an ordinary this is the case that the vacua (and hence perturbative states built from them) form a merely projective representation the orbifold group, instead of an honest representation, and the projection operator built in structure the one-loop partition function no longer functions. This condition represents a new (to our knowledge) consistency condition, let us take a few paragraphs to elaborate this point. At least this condition is a generalization stacks the old that \equiv mod 2” for embedded in $E_8$ in the standard fashion. That constraint could be understood in two ways: - In supergravity, this the statement the bundle be lifted to realized by the left GSO projection, $E_8$ then factors through Spin$(16)/{\mathbb Z}_2$, - On worldsheet, this the statement that the Fock vacua well-defined in a left R sector. The Fock couple to a square root of the gauge bundle; that square root will exist if if “$c_1 \equiv 0$ 2.” (For another discussion constraints this see for [@enstx].) In toroidal orbifolds, this constraint is very mild, but illustrates important point: not only the bundle must admit a square also equivariant structure. For typical toroidal orbifold, the factors all trivial, only the are In $K_{\alpha}$ the line bundle with trivial but although $\det {\cal E}^{\alpha}_0$ a trivial bundle, the In left R sector, ${\cal E}^{\alpha}_0$ describes couples fermions that are both periodic and invariant the orbifold group, so the equivariant structure is trivial. In a left sector, on hand, ${\cal E}^{\alpha}_0$
-nonzero\]), (\[eq:right-Fock-nonzero\]) Or the squarE root (\[Eq:sQuaReRoot\]) MighT not[^21] exist as honESt eqUivariant line bundles. In Such a CaSE, the HEtErotiC string ON tHE StaCk Is Not WeLL-dEfineD. In An ordinAry orbifolD, thIs Is the case thaT ThE Fock vacua (And Hence perturbAtiVe statEs BuiLT from TheM) form A merelY ProjecTive repreSeNTation OF the orbIFOlD groUp, instead of an honeST rEPresentation, anD the prOjECtION opEraTor built imPlIcitlY In the stRUcTURE of THe string one-loOp partition FUncTion no LoNgeR FunctiOns. ThIs COndItion represEnts A new (to our KnowleDGe) consiSTency coNditioN, so Let Us taKE a FeW paRaGRapHS tO elABorAte on thiS pOiNt.

At lEast MORALly, tHis CondItion Is a generalizaTioN to sTAckS of thE old rEquiReMent tHat “$c_1 \eqUiv 0$ moD 2” fOr bundles embeddEd in $e_8$ in the staNdaRd FasHiOn. ThaT ConstrAinT coUld be unDerstooD In tWo WAYS:

-   IN low-energy supergraViTY, ThIs is ultiMately THe StATement thAt The $u(n)$ buNDLe can Be liFTeD to ${\rm SpiN}(16)$, realiZEd By The left gSo projeCtIon, WhoSe embEDdedIng intO $E_8$ then faCtors THrough Spin$(16)/{\mathBB Z}_2$,

-   On the worldsHEeT, THiS Is thE stAtement that The FOCk vaCua aRE wEll-DEfineD in a lEfT r sECtor. The Fock vacua couPlE to a sqUare rOot of the gauge Bundle; that SQUAre root wIll eXIsT If and only if “$c_1 \eqUiv 0$ moD 2.”

(For anotheR Recent diScussIon of conStraints oF THis form, sEe fOr eXamPle [@ENStX].)

In toroidal orBIFoldS, tHis consTraInt is veRy mIld, But IllUsTrates an iMportant PoInT: nOt OnlY the bUNdle must AdMit A sQuaRe rooT, But alsO the eQuivArIaNT stRucture. fOr A TYpicAl ToRoidAl oRbIfold, The bUNdlE factorS are all trIviAL, onlY tHe EquivarIant structureS aRe nontriviAl. in tYpical SUCh orbifoLds, $K_{\alpha}$ is the trivial liNE bundle WitH trivIal cOnnection, But AlthouGh $\dET {\cal E}^{\aLpha}_0$ is A trivIaL buNDLe, the EQUiVarIaNt structurE MAy bE nontRiVial. in left R Sector, ${\cal E}^{\alpha}_0$ desCRibEs couples to feRmiOns tHAT aRe bOTh PEriOdIC anD INvariant under thE orbifold gRoUP, sO the equivaRIanT sTructurE is trivIal. In A Left NS sEctor, on thE other hanD, ${\cAl E}^{\aLPHa}_0$
-nonzero\]), (\[eq:right-F ock-nonzer o\])orthe  s quar e ro ot (\[eq:squar e root \]) might not[^21] exi st as  h o nest eq uivar iant li n eb u ndl es .Insu c ha cas e,the het erotic str ing  o n the stacki snot well-d efi ned. In an o rdi nary o rb ifo l d, th isis th e case that t he Fock v ac u a (and hence p e r tu rbat ive states builtf ro m  them) form amerely  p r oj e c tiv e r epresentat io n oft he orbi f ol d g rou p , instead ofan honest r e pre sentat io n,a nd the  proj ec t ion  operator b uilt  implicit ly int he stru c ture of  the s tri ngone- l oo ppar ti t ion fu nct i onno longe rfu nctio ns.T h i s  con dit ionrepre sents a new ( toourk now ledge ) con sist en cy co nditio n, so  l et us take a fe w pa ragraphstoel abo ra te on this p oin t.
At lea st mora l ly,  t h i s  c ondition is a gene ra l i za tion tostacks of  t h e old re qu ire ment t hat “ $c_1 \e quiv 0$mod 2” fo rbundles  e mbedde din$E_ 8$ in thestanda rd fashi on. T h at constraintc ould be under s to o d  i n  two  wa ys:

-   In  low - ener gy s u pe rgr a vity,  this  i s  u l timately the statem en t that  the$U(n)$ bundle  can be li f t e d to ${\ rm S p in } (16)$, realize d bythe left G S O projec tion,  whose e mbeddedin g into $E_ 8$the n f act o r sthrough Spin$ ( 1 6)/{ \m athbb Z }_2 $,

-  On  th e w orl ds heet, thi s is the  s ta te me ntthatt he Fockva cua  a rewell- d efined  in a  lef tRs ect or. The Fo c k  vac ua  c oupl e t oa squ arer oot  of the  gauge bu ndl e ; th at  s quare r oot will exis tif and onl yif“$c_1\ e quiv 0$mod 2.”

(For another r e cent di scu ssion  ofconstrain tsof thi s f o rm, se e forexamp le  [@ e n stx]. ) 
I n t or oidal orbi f o lds , thi scons traintis very mild, buti llu strates an im por tant p oi nt: no t  on ly the b undle must admi t a square  r o ot , but also the  e quivari ant str uctur e . For a  typicaltoroidalor bifo l d , t he bundlefactorsare all t r ivial ,  o nly t heequiva ri ant  stru ctures are  nont rivial .In typ icalsu ch orbif olds, $K_{\alpha}$ is t he tri viallin e bundlewit h  tr ivial con nect ion, but a lth oug h $\d et{ \calE}^{ \ al pha } _0$ i s at rivial bu n dl e,t h eequivariant s t ruc turemay be non triv ial. In left R se c tor, ${\cal E} ^{\a l p ha} _0$ desc ri bes couples to  fe rm i o ns thatar e both peri odic and  i n varia nt und er the  orbifo l d  g r oup, s o th e e quivarian t s tr u cture i str i vial.In a  l eft NS  secto r , on t he other hand, $ {\cal E }^{\a l pha }_0$
-nonzero\]), (\[eq:right-Fock-nonzero\])_or the_square root (\[eq:squareroot\]) might not[^21]_exist as_honest_equivariant line_bundles._In such a_case, the heterotic_string on the stack_is not well-defined._In_an ordinary orbifold, this is the case that the Fock vacua (and hence perturbative_states_built from_them)_form_a merely projective representation of_the orbifold group, instead of_an honest_representation, and the projection operator built implicitly in_the_structure of the_string one-loop partition function no longer functions. This condition_represents a new (to our knowledge)_consistency condition, so_let_us_take a few paragraphs_to elaborate on this point.

At least_morally, this condition is a generalization_to stacks of the old requirement that_“$c_1 \equiv 0$ mod 2” for_bundles embedded in $E_8$ in_the standard_fashion. That constraint could be_understood in two_ways:

- _ In low-energy_supergravity, this is ultimately the statement_that the $U(n)$_bundle can be lifted to ${\rm_Spin}(16)$,_realized by the_left_GSO_projection, whose_embeddeding into $E_8$_then_factors through_Spin$(16)/{\mathbb_Z}_2$,

-   On the worldsheet,_this_is the statement that the Fock vacua_are well-defined in a_left_R sector. The Fock_vacua couple to a square_root of the gauge bundle; that_square root_will exist_if and only if “$c_1 \equiv 0$ mod 2.”

(For another recent_discussion of constraints of this form,_see for example [@enstx].)

In_toroidal orbifolds,_this_constraint is very_mild,_but illustrates_an important point: not only the bundle_must admit_a square root, but also the_equivariant structure. For a_typical_toroidal orbifold, the bundle factors are_all trivial, only the equivariant structures_are nontrivial. In typical such_orbifolds,_$K_{\alpha}$_is the trivial line bundle_with trivial connection, but although $\det_{\cal E}^{\alpha}_0$ is_a trivial bundle, the equivariant structure may_be_nontrivial. In left R sector, ${\cal_E}^{\alpha}_0$_describes couples to fermions that are_both_periodic_and invariant under the orbifold_group, so the equivariant structure is_trivial. In a left NS sector, on the other_hand, ${\cal E}^{\alpha}_0$