_i + \bar T_i)\, \right] \right.  \nonumber \\
  & &  \left. -\ \frac{1}{8 \pi^2}\ \sum_i\,
  (b^{\prime i}_a - \delta^i_{GS})\, \ln \left[\, |\eta (T_i)|^4
  (T_i + \bar T_i)\, \right]\, \right\}\ +\ \mbox{h.c.}\.
\label{eq:L_GK_loop}\end{aligned}$$ Eq. (\[eq:L\_GK\_loop\]), together with Eq. (\[eq:K\_S\_loop\]), shows that the structure of one-loop corrections to the effective string action is strongly constrained by target-space duality anomaly cancellation. Note that anomaly considerations do not tell us anything about possible holomorphic, modular invariant corrections [@hpnss] that are not included in Eq. (\[eq:L\_GK\_loop\]).

[**Appendix B: Green-Schwarz mechanism in the linear multiplet formalism**]{}

The Green-Schwarz mechanism that cancels part of the sigma-model anomalies in heterotic orbifolds can be naturally described in the linear multiplet formalism[^18]. Indeed, in terms of the string massless states, the axion-dilaton-dilatino system fits into a linear multiplet $L = (l, B_{\mu \nu}, \chi)$, where the antisymmetric two-tensor $B_{\mu \nu}$ is dual to the model-independent axion $a = \mbox{Im} S$, $\partial_\mu a \sim \epsilon_{\mu \nu \rho \sigma}\, \partial^{\nu}
B^{\rho \sigma}$. $L$ couples to the gauge fields in such a way that the combination $\widehat L = L - 2 \Omega$, where $\Omega$ is the Chern-Simons superfield defined by $\bar D^2 \Omega = \sum_a W^a W^a$ and $D^2 \Omega = \sum_a \bar W^a \bar W^a$, is gauge invariant. A gauge-invariant Lagrangian for $L$ then takes the simple form ${\cal L}_L = \int \!
\mbox{d}^4 \theta\ \Phi (\widehat L)$. The transformation to the dual formulation in terms of the dilaton chiral superfield is accomplished
_ i + \bar T_i)\, \right ] \right.   \nonumber \\ 
   & &   \left. -\ \frac{1}{8 \pi^2}\ \sum_i\, 
   (b^{\prime i}_a - \delta^i_{GS})\, \ln \left[\, |\eta (T_i)|^4 
   (T_i + \bar T_i)\, \right]\, \right\}\ + \ \mbox{h.c.}\. 
 \label{eq: L_GK_loop}\end{aligned}$$ Eq. (\[eq: L\_GK\_loop\ ]), together with Eq. (\[eq: K\_S\_loop\ ]), shows that the structure of one - loop correction to the effective chain action is strongly constrained by aim - space duality anomaly cancellation. notice that anomaly considerations do not tell us anything about possible holomorphic, modular changeless correction [ @hpnss ] that are not included in Eq. (\[eq: L\_GK\_loop\ ]). 

 [ * * Appendix B: Green - Schwarz mechanism in the analogue multiplet formalism * * ] { } 

 The Green - Schwarz mechanism that cancels part of the sigma - model anomalies in heterotic orbifolds can be naturally trace in the linear multiplet formalism[^18 ]. Indeed, in terms of the string massless states, the axion - dilaton - dilatino system match into a linear multiplet $ L = (l, B_{\mu \nu }, \chi)$, where the antisymmetric two - tensor $ B_{\mu \nu}$ is dual to the exemplary - independent axion $ a = \mbox{Im } S$, $ \partial_\mu a \sim \epsilon_{\mu \nu \rho \sigma}\, \partial^{\nu } 
 B^{\rho \sigma}$. $ L$ couples to the bore fields in such a means that the combination $ \widehat L = fifty - 2 \Omega$, where $ \Omega$ is the Chern - Simons superfield defined by $ \bar D^2 \Omega = \sum_a W^a W^a$ and $ D^2 \Omega = \sum_a \bar W^a \bar W^a$, is gauge invariant. A bore - invariant Lagrangian for $ L$ then takes the simple form $ { \cal L}_L = \int \! 
 \mbox{d}^4 \theta\ \Phi (\widehat L)$. The transformation to the dual formulation in terms of the dilaton chiral superfield is accomplished
_i + \har T_i)\, \right] \right.  \nonuober \\
  & &  \left. -\ \frac{1}{8 \pm^2}\ \sum_i\,
  (b^{\prime k}_a - \delta^i_{GS})\, \ln \left[\, |\eta (T_i)|^4
  (T_u + \bae T_i)\, \right]\, \right\}\ +\ \mbox{f.c.}\.
\label{eq:P_GK_loop}\ebd{almgned}$$ Eq. (\[eq:L\_GK\_loop\]), togetmzr wifm Eq. (\[zq:J\_S\_loop\]), shows tmat the strgcture of one-lmoo eorrections to the effective string wction os strongly consjraintd fy tzggtt-space duality anomaly cancellatjon. Nott that anomaly conxiderations do not tell us anyhhing about possibpe holomorpyic, iidular invarkant correbcions [@hpnss] that are not included in Eq. (\[eq:U\_GK\_lopp\]).

[**Appendix B: Grfgn-Schwarz merhanisi in the lincsr muldiplet gormalism**]{}

The Gveen-Srhwaez mechanism that canrels part of the sigia-model atojalies in heterotuc orbixoldv cav be nauurellg descgibxd in the ljnear multiplet formalism[^18]. Indetd, yb terms of ths strigg massless states, the axion-dilaton-dilatito aystem fits into a lineqr multiplet $L = (l, B_{\mu \nu}, \chi)$, wrere the antisymmetric two-tensor $B_{\mu \nu}$ is dual tm the oodtl-lkdepdbdfnt axion $a = \mbox{Im} S$, $\partial_\mu a \sim \epsilon_{\ih \mu \rho \sigma}\, \parbial^{\nu}
B^{\rho \sigma}$. $L$ cluljes to the gaoge fields in such a way thah the cjmbinqtion $\widthat K = L - 2 \Omega$, where $\Omega$ is the Chern-Siiins superfield defnned by $\bar B^2 \Omegs = \suk_a W^a W^a$ and $D^2 \Omega = \sbm_a \bad W^a \bar W^a$, is gauge knvariant. A gaugd-innaridnt Lagrangian for $L$ then eakes the sim'le form ${\cal L}_L = \igt \!
\mbox{d}^4 \tjeta\ \Ivi (\widehat L)$. The tgansflrkation to hhe dual formulation in terms oh the dilaton cvirdl superyield ls accomplished
_i + \bar T_i)\, \right] \right. \nonumber & -\ \frac{1}{8 \sum_i\, (b^{\prime i}_a (T_i)|^4 + \bar T_i)\, \right\}\ +\ \mbox{h.c.}\. Eq. (\[eq:L\_GK\_loop\]), together with Eq. (\[eq:K\_S\_loop\]), that the structure of one-loop corrections to the effective string action is strongly by target-space duality anomaly cancellation. Note that anomaly considerations do not tell us about holomorphic, invariant [@hpnss] that are not included in Eq. (\[eq:L\_GK\_loop\]). [**Appendix B: Green-Schwarz mechanism in the linear multiplet The Green-Schwarz mechanism that cancels part of the anomalies in heterotic orbifolds be naturally described in the multiplet Indeed, in of string states, the axion-dilaton-dilatino fits into a linear multiplet $L = (l, B_{\mu \nu}, \chi)$, where the antisymmetric two-tensor $B_{\mu \nu}$ dual to axion $a \mbox{Im} $\partial_\mu \sim \epsilon_{\mu \nu \partial^{\nu} B^{\rho \sigma}$. $L$ couples to in such a way that the combination $\widehat = L 2 \Omega$, where $\Omega$ is the superfield defined by $\bar D^2 \Omega = \sum_a W^a$ and $D^2 \Omega = \sum_a \bar W^a \bar W^a$, is gauge invariant. A gauge-invariant $L$ then takes the form ${\cal L}_L \int \mbox{d}^4 \Phi L)$. The to the dual formulation in terms of the dilaton chiral superfield accomplished
_i + \bar T_i)\, \right] \right.  \nonumber \\
  & &  \lEft. -\ \frac{1}{8 \pi^2}\ \sUm_i\,
  (b^{\pRimE i}_a - \DeLta^i_{gS})\, \ln \Left[\, |\eta (T_i)|^4
  (T_i + \bar t_I)\, \rigHt]\, \right\}\ +\ \mbox{h.c.}\.
\label{eq:L_Gk_loop}\EnD{AligNEd}$$ eq. (\[eq:L\_gK\_loop\]), tOGeTHEr wItH EQ. (\[eq:k\_S\_LOoP\]), showS thAt the stRucture of oNe-lOoP corrections TO tHe effectivE stRing action is StrOngly cOnStrAIned bY taRget-sPace duALity anOmaly cancElLAtion. NOTe that aNOMaLy coNsiderations do not TElL Us anything abouT possiBlE HoLOMorPhiC, modular inVaRiant COrrectiONs [@HPNSs] tHAt are not incluDed in Eq. (\[eq:L\_Gk\_LooP\]).

[**AppenDiX B: GREen-SchWarz mEcHAniSm in the lineAr muLtiplet foRmalisM**]{}

the GreeN-schwarz MechanIsm ThaT canCElS pArt Of THe sIGmA-moDEl aNomalies In HeTerotIc orBIFOLds cAn bE natUrallY described in tHe lIneaR MulTipleT formAlisM[^18]. INdeed, In termS of thE sTring massless stAtes, The axion-dIlaToN-diLaTino sYStem fiTs iNto A linear MultiplET $L = (l, b_{\mU \NU}, \ChI)$, where the antisymmeTrIC TwO-tensor $B_{\Mu \nu}$ is DUaL tO The model-InDepEndeNT Axion $A = \mboX{im} s$, $\partial_\Mu a \sim \EPsIlOn_{\mu \nu \rHo \Sigma}\, \pArTiaL^{\nu}
b^{\rho \sIGma}$. $L$ CoupleS to the gaUge fiELds in such a way tHAt the combinatIOn $\WIDeHAt L = L - 2 \omeGa$, where $\OmegA$ is tHE CheRn-SiMOnS suPErfieLd defInED bY $\Bar D^2 \Omega = \sum_a W^a W^a$ anD $D^2 \omega = \sUm_a \baR W^a \bar W^a$, is gauGe invarianT. a GAuge-invaRianT laGRangian for $L$ theN takeS the simple FOrm ${\cal L}_L = \Int \!
\mbOx{d}^4 \theta\ \phi (\widehaT l)$. the transForMatIon To tHE DuAl formulation IN TermS oF the dilAtoN chiral SupErfIelD is AcComplisheD
_i + \bar T_i)\, \right] \ right.  \n onumb er\\ & & \le ft. -\ \frac{1 } {8 \ pi^2}\ \sum_i\,
  (b^{ \prim ei }_a-  \ delta ^i_{GS} ) \, \ ln\l ef t[\ ,| \e ta (T _i) |^4
  ( T_i + \bar  T_ i) \, \right]\, \r ight\}\ +\  \m box{h.c.}\.\la bel{eq :L _GK _ loop} \en d{ali gned}$ $  Eq. ( \[eq:L\_G K\ _ loop\] ) , toget h e rwith  Eq. (\[eq:K\_S\_ l oo p \]), shows tha t thest r uc t u reofone-loop c or recti o ns to t h ee f f ect i ve string act ion is stro n gly  const ra ine d  by ta rget- sp a ceduality ano maly  cancella tion.N ote tha t  anomal y cons ide rat ions do  n otte l l u s  a nyt h ing  about p os si ble h olom o r p h ic,mod ular  inva riant correct ion s [@ h pns s] th at ar e no tinclu ded in  Eq.(\ [eq:L\_GK\_loop \]). 

[**Appe ndi xB:Gr een-S c hwarzmec han ism inthe lin e armu l t i pl et formalism**]{}
T h e  G reen-Sch warz m e ch an i sm thatca nce ls p a r t ofthes ig ma-model  anoma l ie sin hete ro tic or bi fol dscan b e  nat urally  describ ed in the linear mul t iplet formali s m[ ^ 1 8] .  Ind eed , in termsof t h e st ring ma ssl e ss st ates,  t h ea xion-dilaton-dilati no  syste m fit s into a line ar multipl e t $L = (l,  B_{ \ mu \nu}, \chi)$,where  the antis y mmetrictwo-t ensor $B _{\mu \nu } $  is dual  to  th e m ode l - in dependent axi o n  $a=\mbox{I m}S$, $\p art ial _\m u a  \ sim \epsi lon_{\mu  \ nu  \ rh o \ sigma } \, \part ia l^{ \n u}B^{\r h o \sig ma}$.  $L$  c ou p les  to the ga u g e fi el ds  insuc ha way  tha t  th e combi nation $\ wid e hatL=L - 2 \ Omega$, where  $ \Omega$ is  t heChern- S i mons sup erfield defined by $\ba r  D^2 \O meg a = \ sum_ a W^a W^a $ a nd $D^ 2 \ O mega =  \sum_ a \ba rW^a \ bar W ^ a $,  is  g auge invar i a nt.  A ga ug e-in variant  Lagrangian for $L $  th en takes thesim plef o rm  ${ \ ca l  L} _L = \ i n t \!
\mbox{d}^4  \theta\ \ Ph i  ( \widehat L ) $.Th e trans formati on to the dua l formula tion in t er ms o f the  dilaton c hiral su perfieldi s acc o mp lishe d
_i +_\bar T_i)\,_\right] \right.  \nonumber_\\
 _&_& _\left._-\ \frac{1}{8 \pi^2}\_\sum_i\,
  (b^{\prime_i}_a - \delta^i_{GS})\, \ln_\left[\, |\eta (T_i)|^4
__(T_i + \bar T_i)\, \right]\, \right\}\ +\ \mbox{h.c.}\.
\label{eq:L_GK_loop}\end{aligned}$$ Eq. (\[eq:L\_GK\_loop\]), together with Eq. (\[eq:K\_S\_loop\]),_shows_that the_structure_of_one-loop corrections to the effective_string action is strongly constrained_by target-space_duality anomaly cancellation. Note that anomaly considerations do_not_tell us anything_about possible holomorphic, modular invariant corrections [@hpnss] that are_not included in Eq. (\[eq:L\_GK\_loop\]).

[**Appendix B:_Green-Schwarz mechanism in_the_linear_multiplet formalism**]{}

The Green-Schwarz mechanism_that cancels part of the sigma-model_anomalies in heterotic orbifolds can be_naturally described in the linear multiplet formalism[^18]._Indeed, in terms of the string_massless states, the axion-dilaton-dilatino system_fits into_a linear multiplet $L =_(l, B_{\mu \nu},_\chi)$, where_the antisymmetric two-tensor_$B_{\mu \nu}$ is dual to the_model-independent axion $a_= \mbox{Im} S$, $\partial_\mu a \sim_\epsilon_{\mu_\nu \rho \sigma}\,_\partial^{\nu}
B^{\rho_\sigma}$._$L$ couples_to the gauge_fields_in such_a_way that the combination $\widehat L_=_L - 2 \Omega$, where $\Omega$ is_the Chern-Simons superfield defined_by_$\bar D^2 \Omega =_\sum_a W^a W^a$ and $D^2_\Omega = \sum_a \bar W^a \bar_W^a$, is_gauge invariant._A gauge-invariant Lagrangian for $L$ then takes the simple form ${\cal_L}_L = \int \!
\mbox{d}^4 \theta\ \Phi_(\widehat L)$. The transformation_to the_dual_formulation in terms_of_the dilaton_chiral superfield is accomplished