Heterotic warped Eguchi-Hanson spectra with five-branes and line bundles

We consider heterotic strings on a warped Eguchi-Hanson space with five-brane and line bundle gauge fluxes. The heterotic string admits an exact CFT description in terms of an asymmetrically gauged \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ \mathrm{SU}(2)\times \mathrm{SL}\left( {2,\mathbb{R}} \right) $\end{document} WZW model, in a specific double scaling limit in which the blow-up radius and the string scale are sent to zero simultaneously. This allows us to compute the perturbative 6D spectra for these models in two independent fashions: i) Within the supergravity approximation we employ a representation dependent index; ii) In the double scaling limit we determine all marginal vertex operators of the coset CFT. To achieve agreement between the supergravity and the CFT spectra, we conjecture that the untwisted and the twisted CFT states correspond to the same set of hyper multiplets in supergravity. This is in a similar spirit as a conjectured duality between asymptotically linear dilaton CFTs and little string theory living on NS-five-branes. As the five-brane charge is non-vanishing, heterotic (anti-)five-branes have to be added in order to cancel irreducible gauge anomalies. The local spectra can be combined in such a way that supersymmetry is preserved on the compact resolved \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ {{{{T^4}}} \left/ {{{{\mathbb{Z}}_2}}} \right.} $\end{document} orbifold by choosing the local gauge fluxes appropriately.


JHEP10(2013)097
Progress in string theory has often been driven by identifying backgrounds on which strings can be quantized exactly as a Conformal Field Theory (CFT). Flat orbifold CFTs provide some of the most easy examples [1][2][3][4][5]. However, generically in the process of deforming the theory to live on a smooth Calabi-Yau geometry, typically the exact string quantization is lost.
It is therefore quite remarkable that in [6] it was found that heterotic strings on a warped Eguchi-Hanson space in a specific double scaling limit can still be quantized exactly. In this double scaling limit both the blow-up radius and the string scale are send to zero simultaneously while their ratio is kept fixed so that the coupling remains finite everywhere. The resulting CFT builds on Wess-Zumino-Witten (WZW) coset theories based on an asymmetric gauging of SU(2) k × SL(2, R) k ′ . (See e.g. the textbook of [7] and ref. [8] for more concise descriptions.) We implement the line bundle in the coset CFT differently with respect to [6], which allows us to exactly recover the integrated Bianchi identity in supergravity from the anomaly cancellation condition on the worldsheet theory. In contrast, the condition on the first Chern class of the line bundle, guaranteeing its stability, is now stronger than the usual K-theory condition arising heterotic supergravity. This conditions is nonetheless consistent with CFT results for heterotic strings on the non-compact C 2 /Z 2 orbifold [9].
The exact CFT description of heterotic warped Eguchi-Hanson backgrounds involves both continuous and discrete representations of the coset SL(2, R)/U(1): states falling in continuous representations are generically massive non-localized bulk states concentrated away from the blown-up two-cycle of the Eguchi-Hanson geometry, while discrete representations are localized in its vicinity. In particular, the presence of discrete representations brings about the partial breaking of the gauge group. This exact coset CFT description allows us to determine the full partition function for continuous representations for all consistent gauge bundles. In contrast the partition function for discrete representations has to be worked out on a case by case basis, since it partially breaks gauge invariance by involving an SO(32) 1 /U(1) coset, where the gauging of the Abelian factor depends on the line bundle chosen. Nevertheless, we can derive the full spectrum of massless states for an arbitrary line bundle in the asymptotic limit for the radial coordinate of SL(2, R)/U(1) by constructing the corresponding marginal vertex operators in the CFT. In particular, bosonic states giving the CFT description of hyper multiplets in supergravity are shown to be in discrete representations of SL(2, R)/U(1), while massless gauge multiplets are generically non-normalizable. We thus develop a systematic method to compute CFT spectra for the near-horizon limit of heterotic warped Eguchi-Hanson backgrounds in this paper, based on the new way of implementing the line bundle in the partition function. These computations systematize and extend those performed in [6] and [10] for very specific line bundle backgrounds.
A central aim of this paper is to compare the resulting massless CFT spectra with the zero mode spectra determined within the supergravity approximation. To do so, we determine a representation dependent multiplicity operator (index) [11][12][13][14] for unwarped and JHEP10(2013)097 warped Eguchi-Hanson spaces supporting line bundle backgrounds. Consistency of these spectra is confirmed by showing that their irreducible gauge anomalies can be cancelled by (anti-)five-brane contributions [15,16]. As is well known anomaly cancellation in six dimension is extremely restrictive [17][18][19], hence provides a stringent consistency check of the perturbative and five-brane spectra we determined. As the CFT can be formulated as a Z 2 orbifold, the CFT spectra fall into two classes: untwisted and twisted. We show that the untwisted CFT and the supergravity spectra can be matched identically while the twisted states seem to be redundant. By using proposed dualities between asymptotically linear dilaton CFTs to little string theories living on ns five-brane configuration [20], we conjecture that the twisted CFT spectra describe to the same set of hyper multiplets as the untwisted ones. Since the corresponding untwisted and twisted operators generate marginal deformations of the CFT, we argue in particular that the couplings of the latter are not independent so that they must be turned on simultaneously. We also show that the corresponding twisted vertex operators are actually non-perturbative (in α ′ ) and thus can be seen in the supergravity limit as non-perturbative completion for the untwisted states.
The spectra on the warped Eguchi-Hanson space obtained in this paper can be used to describe the spectrum on the blown up T 4 /Z 2 orbifold with different gauge fluxes localized near different resolved orbifold singularities. In a specific model, studied before e.g. in refs. [14,21], the local Bianchi identities are violated near all fixed points; only the global Bianchi identity is fulfilled. Hence locally near all the resolved singularities there are either five-brane or anti-five-brane contributions. We show that they precisely compensate each other leaving only the perturbative spectrum on a compact K3 as expected.

Paper overview
Section 2 describes the Eguchi-Hanson geometry and its warped extension. Subsection 2.1 gives the defining line element and the characteristic two-form it supports. In the next subsection its characteristic topological data is obtained using toric geometry. In subsection 2.3 the five-brane charged is introduce as a measure of the amount of warping the Eguchi-Hanson space experiences. The warped geometry admits two special limits discussed in the final part of this section. One of which, the double scaling limit, is of prime interest in the CFT discussion in this work.
In section 3 we investigate heterotic supergravity on the warped Eguchi-Hanson space. In its first subsection we characterize line bundle backgrounds on this geometry. In subsection 3.2 we determine the charged spectra on the (warped) Eguchi-Hanson space. Using these results we investigate how either five-branes or anti-five-branes are involved in the cancellation of irreducible six-dimensional gauge anomalies. Section 4 discusses a CFT realization of the heterotic string on a warped Eguchi-Hanson geometry in the double scaling limit. Subsection 4.1 shows that the resulting worldsheet theory can be described as a asymmetrically gauged WZW model. In subsection 4.2 we show that in a specific gauge a residual Z 2 orbifold identification remains. This allows us to obtain the partition function for the continuous representations of this CFT. In subsections 4.4 and 4.5 we determine the massless hyper multiplet and gauge multiplet JHEP10(2013)097 spectra, respectively, in the CFT description, by determining the corresponding marginal vertex operators characterized in subsection 4.3.
In section 5 we compare the supergravity and CFT spectra. In order to achieve full agreement we conjecture that the twisted states are related to the untwisted ones, as the latter can be matched one-to-one to the supergravity states. To support this conjecture we review some results on marginal deformations of asymptotically linear dilaton CFTs and the conjectured duality between these CFTs and little string theories on NS five-brane configurations, in subsections 5.2 and 5.4, respectively. Section 6 investigates how the results obtained in the previous sections can be incorporated in a global compact description. Section 7 summarizes our main findings. Some useful trace formulae in the analysis of anomalies in six dimensions are collected in appendix A. In appendix B we give some details of theta-functions and characters used to represent the partition function in section 4.2.

Descriptions of (warped) Eguchi-Hanson backgrounds
In this section we describe the standard Eguchi-Hanson space both by giving its explicit metric as well as using toric geometry. After that we consider its warped generalization. This warped Eguchi-Hanson space, in addition to the conventional orbifold limit, admits a special double scaling limit which zooms in to the near-horizon region of the warped geometry.

Eguchi-Hanson geometry
The metric of the Eguchi-Hanson space M eh can be represented as [22,23] with g(r) = 1 − a 4 r 4 for r > a, in terms of the SU(2) left-invariant one-forms: 2) The original periodicities of the Euler angles parameterizing the SU(2) group manifold read: θ ∈ [0, π], φ ∈ [0, 2π] and ψ ∈ [0, 4π]. In the description of the smooth Eguchi-Hanson space the periodicity of the ψ coordinate is modified and runs over half of its original span ψ ∈ [0, 2π]: the extra Z 2 orbifold action ψ → ψ + 2π is necessary to eliminate the bolt singularity at r = a; ensuring that the Eguchi-Hanson geometry is smooth for any a > 0. The metric defines a self-dual Kähler form: in terms of the associated vielbein one-forms e a with frame indices a = 0, . . . , 3: dr , e a = r 2 σ l a , a = 1, 2 , and e 3 = r 2 g(r) σ l 3 . (2.4)

JHEP10(2013)097
There is a two-cycle with the topology of P 1 located within the Eguchi-Hanson space at r = a. It is given geometrically as a non-vanishing two-sphere Its Poincaré dual two-form on the Eguchi-Hanson geometry has the local description: This gauge field strength can be expressed in terms of the vielbein one-forms as showing that F eh is anti-self-dual and orthogonal to the Kähler form of the Eguchi-Hanson space. This two-form can be interpreted as the field strength associated to an Abelian gauge background supported on the Eguchi-Hanson geometry with the following integral properties: Consequently, the second cohomology H 2 (M eh ) is spanned by a single generator [F eh ]; an unique representative is given by the harmonic and anti-selfdual two-form (2.7).

Eguchi-Hanson geometry as a toric variety
It is also possible to describe the Eguchi-Hanson geometry using toric geometry, see e.g. [12,24]. In the toric description the Eguchi-Hanson background is described in terms of three complex coordinates(z 1 , z 2 , x) defining the toric variety, where λ ∈ * and the exclusion set is given := {z 1 = z 2 = 0}. The ordinary divisors, D 1 := {z 1 = 0}, D 2 := {z 2 = 0}, and exceptional divisor, E := {x = 0}, are subject to the linear equivalence relations The unambiguously defined intersection numbers are since they all involve the compact divisor E. The total Chern class is given via the splitting principle c = (1 + D 1 )(1 + D 2 )(1 + E). Expanding this out using the linear equivalence relations (2.10) we find (2.12) The first relation says that this toric variety is Calabi-Yau. The second Chern class agrees with an explicit computation using the Eguchi-Hanson metric (2.1). Finally, we note that the class [F eh ] ∼ − 1 2 E.

Warped Eguchi-Hanson backgrounds
The Eguchi-Hanson geometry can be warped [6] by including a scalar factor H(r) in the metric with the ds 2 eh given in (2.1). This defines a supergravity background provided that we include a varying dilaton Φ(r) and a non-trivial three-form H given by where volume of the three-sphere Vol( The presence of the three-form H leads to torsional spin-connections where ω a b denotes the spin-connection including warping and a, b are four dimensional frame indices. Computing the second Chern class using the associated curvatures R ± = dΩ ± + Ω 2 ± gives the same answer as in the unwarped case: This background describes an Eguchi-Hanson geometry supporting a non-vanishing three-form flux from the torsion H given by In blow down this can be interpreted as the brane charge of a stack of five-branes located at the orbifold singularity. In blow-up these five-branes are no longer visible as the radial coordinate r starts at r = a > 0, while according to (2.14) the five-branes remain positioned at r = 0, hence only the effects of the torsion can be felt.

Limits of the warped Eguchi-Hanson space
The warped Eguchi-Hanson geometry admits the following two interesting limits: i) In the blow down limit the parameter a is taken to a → 0 and we recover a warped C 2 /Z 2 background with constant three-form H, which indicates the presence of ns five-branes opening a throat at r = 0. Without warping the heterotic string can be exactly quantized in this limit and e.g. its spectrum can be determined. The connection between the exact orbifold CFT and the supergravity in blow-up was studied in [11,14].
ii) The near-horizon limit is defined as the following double scaling limit [6] a → 0 , and g s → 0 keeping λ = g s √ α ′ a fixed . (2.18)

JHEP10(2013)097
In the double-scaling limit the constant piece in the warp-factor (2.13) can be neglected against the 1/r 2 contribution, assuming Q 5 > 0. This will always be our assumption for the resolved geometry. By taking this limit, after scaling out the blow-up parameter a from the new radial variable, i.e. cosh ρ = (r/a) 2 , one zooms into the region near the blown up two-cycle: In addition, the NSNS-three-form and the dilaton are also affected by the double-scaling limit: The Abelian gauge field does not feel this limit; it is only written in terms of the new radial variable ρ. This means that the warped Eguchi-Hanson space stays resolved, but the asymptotical properties of the metric at infinity have changed: the boundary of the warped Eguchi-Hanson space has been decoupled. This is reflected in the fact that the second Chern classes for torsional connections do not agree in the near-horizon limit: The change of 1 2 unit with respect to (2.16) is a consequence of the near-horizon limit which the boundary at infinity has been cut off.

Heterotic supergravity on (warped) Eguchi-Hanson spaces
A heterotic supergravity background is defined by the smooth warped Eguchi-Hanson geometry M eh supporting a gauge field strength F. In this paper we only consider an SO (32) gauge field (the extension to the E 8 × E ′ 8 case is straightforward). For consistency such a background has to satisfy the Bianchi identity [25]: Here the traces tr are defined in the vector representations of the gauge group SO(32) and the Lorentz group SO (1,9), respectively. If the three-form (2.14) is not closed, the Bianchi identity (3.1) requires a non-standard embedding of the Lorentz connection into the gauge connection. For particular local solutions to this identity see e.g. [26,27].

Line bundle embeddings
Since the study of non-standard embedding bundles is rather challenging, we focus here only on line bundle gauge fluxes. These Abelian backgrounds can be studied systematically.

JHEP10(2013)097
In general the embedding of the direct sum of line bundles on the Cartan subalgebra of SO(32) can be described by The two-form F eh , defined in (2.6), is supported on the warped Eguchi-Hanson space. The anti-Hermitean Cartan generators H a ∈ h(SO (32)) are normalized such that tr H I H J = −2δ IJ . The Abelian gauge background is characterized by the line bundle vector Q = (Q 1 , . . . , Q 16 ) and is well-defined when the following conditions are met: i) a Dirac quantization condition on the gauge instanton charge: where e 16 = (1, . . . , 1) is the vector with sixteen entries equal to one. It has been shown that the two possible choices of integral or half-integral line bundle vectors correspond to the distinction between models characterized by gauge bundles V without or without vector structure [28].
ii) A stability condition for the gauge bundle V requires that the first Chern class of the line bundle L to be in the second even integral cohomology class of the Eguchi-Hanson space [29][30][31]: This allows for spinorial representations of V to appear at the massive level.
The metric (2.13), the NSNS-three-form (2.14), the dilaton (2.20a) and the line bundle background (3.2) satisfy the Bianchi identity (3.1) in cohomology only in the large Q 5 limit, in which c 2 (R − ) can be neglected with respect to the line bundle contribution. For finite values of the five-brane charge, the conformal factor H(r) and the dilaton generically receive corrections in 1/Q 5 (see for instance [32,33]). Consistent heterotic backgrounds nevertheless only correspond to tadpole free models, for which the defining line bundle solves the integrated Bianchi identity (3.1).

Perturbative charged spectrum computation
We compute the perturbative charged spectrum, i.e. part of the spectrum that in heterotic supergravity can be obtained as zero modes of the Dirac operator of the gaugino. This spectrum can be computed by employing the following multiplicity operator [14] This operator can be thought of as a generalization of a representation dependent index. The integrals can be evaluated using the results of section 2.

JHEP10(2013)097
Given that the second Chern class in the near-horizon limit is different from that of the non-warped Eguchi-Hanson space and depends on which torsion connection is employed, it is useful to rewrite the multplicity operator (3.5) in a form which does not explicitly depend on c 2 . Integrating the Bianchi identity (3.1) leads to a relation between the second Chern class c 2 , the five-brane charge Q 5 and the line bundle vector Q: By using this and computing the integrals in (3.5) we obtain an explicit formula for the multiplicity operator To evaluate the multiplicity operator on the states that an SO(32) gaugino consists of, we represent the SO(32) roots as sixteen component vectors with two entries ±1 and the rest zero, i.e. P = (±1 2 , 0 14 ). (Here the powers denote the number of times an entry appears and the underline means all possible permutations.) Consequently we have [H Q , E P ] = Q·P E P for the SO(32) generators E P associated with the roots P. The normalization of the multiplicity operator (3.5) is chosen such that it counts the number of hyper multiplets in a complex representation. This means that a half-hyper multiplet, i.e. a hyper multiplet on which an reality condition is enforced, gets half the multiplicity of that of a full hyper multiplet. Moreover, the sign of the multiplicity operator distinguishes between hyper multiplets and vector multiplets. However, given that the vector multiplets take values in the adjoint representation, we need to include an additional factor of a half for them in the spectrum.
As usual it is rather difficult to make statements about spectra in general, unless one uses a specific ansatz. An ansatz which can describe a large class of models is defined by a line bundle vector of the form Q = p N 1 1 , . . . , p Nn n ; 0 N , Since a line bundle is actually determined by an equivalence class of such vectors under a shift by any element of the Narain lattice of SO(32), we can take, without loss of generality: p 1 > . . . > p n > 0 with p i non-vanishing integers (or half integers when N = 0). This line bundle background induces the gauge symmetry breaking This means that the gauge group contains n Abelian U(1) factors. The U(1) Q gauge field associated to the Cartan direction set by Q becomes massive via the generalized Green-Schwarz mechanism, while the other perpendicular combinations remain massless.
In table 1 we have listed the full perturbative spectrum computed using the multiplicity operator (3.7). We classify the states according to their U(N i ), U(N j ) (with the indices 1 ≤ i < j ≤ n) and SO(2N ) representations. The charges of these states are determined by H Q . In this table we only indicate the N Q multiplicities of the various states. The first four rows of the table give the gaugino states in the adjoints of the unbroken gauge groups; the states below that denote the six-dimensional hyper multiplet matter. To emphasize the systematics we do not make the breaking of U(1) Q explicit in this table.

JHEP10(2013)097
Gauge group: Table 1. Perturbative spectrum: the first two rows give the gauge multiplet representations while the rows below that give the representations and the multiplicities N Q of the hyper multiplets.
To shorten the notation we write . . . 1 for 1, . . . , 1, etc. and with underlined entries we mean this set of entries and all possible permutations.
[N] 2 denotes the anti-symmetric rank-two tensor representation of SU(N ).

Eguchi-Hanson models without five-brane charge
In general the perturbative spectrum suffers from irreducible pure gauge SU(N 1 ) 4 , . . . , SU(N 2 ) 4 and SO(2N ) 4 -anomalies. Indeed, the resulting anomaly polynomial is proportional to taking into account the additional factor of 1 2 for the gauge multiplets mentioned above and using the trace identities given in appendix A. The traces are evaluated in the fundamental representations of the respective gauge groups.
When Q 5 vanishes, i.e. when Q 2 = 4 c 2 , the perturbative spectrum is free of irreducible anomalies. Such models are sometimes referred to as perturbative models [15]. For the non-warped Eguchi-Hanson background the perturbative models were classified in [14] and are for completeness given in table 2. As was confirmed in refs. [11,14] these spectra are compatible with that of heterotic 2 / 2 orbifold models (for a classification is e.g. [15]) in blow-up.
In detail the interpretation of the multiplicities is as follows: the states with a positive factor of 1 16 are untwisted, i.e. ten-dimensional bulk states, given that c 2 = 3 2 in this case. Since they are just the internal parts of the gauge fields they have an internal complex space index, hence always come in pairs. In total these bulk untwisted matter thus have a multiplicity 2 16 . Localized twisted states have an integral multiplicity. Finally, the orbifold models often have an enhanced symmetry group, which is higgsed to gauge group in blow-

JHEP10(2013)097
up. In this process the massive gauginos pair up with a part of the twisted hyper multiplets, this "eating of the Goldstone modes" is reflected in table 2 by the contributions 1 − 2 16 .

Non-perturbative (anti-)five-brane states
The models that involve non-vanishing five-brane charge, i.e. Q 5 = 0, are called nonperturbative models. Since the (warped) Eguchi-Hanson space is non-compact, it is possible there is some anomaly inflow from infinity to ensure consistency. Hence in principle warped Eguchi-Hanson models with Q 5 = 0 can be tolerated.
In blow down the Eguchi-Hanson geometry degenerates to an orbifold with five-branes located at r = 0. The five-brane charge Q 5 is then associated to this stack of five-branes: −Q 5 is equal to twice the number of five-branes in the stack denoted byÑ . On the five-branes one expects an Sp( N ) gauge group to be present [34]. The non-perturbative spectrum is suggested by a conjectured S-duality with Type II orientifolds to be: Here 2 N and [2 N] 2 denote the fundamental and the anti-symmetric tensor representations of Sp( N ), respectively. Using the trace identities given in appendix A it is not difficult to check that the irreducible anomalies (3.10) of the perturbative spectrum are cancelled by the (anti-)five-brane (anti-)hyper multiplet states in (3.11). In addition, the pure irreducible Sp( N ) anomalies vanish as well. These findings are in agreement with the results reported in [16]. The sign of Q 5 is significant: when Q 5 > 0 then the five-branes are actually anti-five-branes that preserve supersymmetries with the opposite chirality as the perturbative heterotic supergravity in six dimensions and five-branes do. This means that if Q 5 is negative (positive), the spectrum (3.11) is the spectrum of (anti-)hyper multiplets with the same (opposite) chirality as the hyper multiplets of the perturbative sector. When anti-hyper multiplets are required, this signals that six-dimensional supersymmetry is broken by the presence of anti-five-branes. However, in blow-up, and therefore in particular in the near-horizon limit, we have seen that the five-branes are not part of the physical space, hence the anomaly inflow from infinity is the only way that the model can become consistent. Therefore, because in the orbifold point with Q 5 > 0 supersymmetry is broken, it seems that this gives a dynamical mechanism that drives the system in blow-up.

Heterotic CFT for warped Eguchi-Hanson in the double scaling limit
The warped Eguchi-Hanson resolution with a line bundle background can be described as a certain gauged WZW model [6]. The starting point is an SU (2) Table 2. The non-warped Eguchi-Hanson models without five-brane charge have been listed before in [14] for the sake of completeness and facilitate comparisons we repeat them here. The H Q charge is indicated as the subscript. In the text the explanation for the fractional multiplicities is given.
one constructs left-and right-moving (super-)currents: we have the following left-moving super-currents, forming the super-affine su(2) k and super-conformal sl(2, R) k ′ algebras, respectively. The bosonic currents, define the affine conformal algebras su(2) k−2 and sl(2, R) k ′ +2 , respectively, on the rightmoving side. In addition, we have an (1, 0)-SCFT for the six-dimensional flat space-time part, with superfields (X µ , ψ µ L ), with µ = 0, . . . , 5, regrouping the flat coordinate fields X µ and their super partners ψ µ L . Furthermore, we have a system of 32 right-moving Majorana-Weyl free fermions, ξ I R , I = 1, . . . , 16, generating the target SO(32) gauge and matter degrees of freedom. Finally, we have to include a (1, 0)-super-reparametrisation ghost system (ϕ L , ψ ϕ L ). The worldsheet theory for the near-horizon limit of the warped Eguchi-Hanson heterotic background presented in section 2.4 was derived in [6] as a WZW model for the asymmetric gauging: The group action on the fermions is given in terms of a vector Q = (Q 1 , . . . , Q 16 ), which is for notational simplicity denoted by the same symbol as the vector of magnetic charges defining the line bundle (3.2) in the heterotic supergravity discussion. As the U(1) factors are gauged in a chiral way, the resulting model will be anomalous, unless the following conditions,

JHEP10(2013)097
are satisfied by the levels of the left-and right-moving (super-)conformal algebras. The calculation of the anomalous terms for the gauged WZW model (4.4) is similar to the derivation in [35]. Next we identify the geometrical background that this CFT describes. The asymmetric gauging (4.4) defines the coupling of the currents, to the non-dynamical gauge fields (A L , A L ) and (A R , A R ). Implementing this in the SU(2) k × SL(2, R) k ′ action yields: Here S Ferm is the corresponding fermion action induced by the worldsheet supersymmetry, with simple derivatives, since we have grouped the torsion part of the covariant derivative for fermions in the gauge field contribution: When the anomalies are cancelled, one can simply integrate out the gauge fields over their algebraic equations of motion. After gauge fixing the SL(2, R) fields ψ ′ = φ ′ = 0 and for large level k, 1 we obtain the following action for the bosonic sector: This is precisely the worldsheet action one obtains when taking the background (2.19) and (2.20) in the double scaling limit (2.18) (normalized by a factor of 1/2πα ′ ), provided one identifies the five-brane charges: with the level k of the WZW model, as can be established from the background solution (2.19). With this identification, the anomaly conditions (4.5) yields the relation: which precisely reproduces the integrated Bianchi identity (3.6) for c 2 = 1, i.e. for the double-scaling limit of the generalized spin-connection Ω − . In particular, models with JHEP10(2013)097 Q 2 = 4 with vanishing five-brane charge and hence no-throat opening in the geometry consistently correspond to the flat k = 0 case. Moreover, from integrating the gauge fields we infer the existence of a non-constant dilaton: Finally, from the action for the fermions we extract the gauge field background: with the generators H I defining the directions in the Cartan subalgebra h(SO (32)).
Notice at this point that we have not yet implemented in the WZW model the Z 2 orbifold eliminating the bolt singularity in the Eguchi-Hanson geometry (2.1). This can best be understood from the blowdown limit of the theory, as we will see subsequently.

The WZW Z 2 orbifold
The use of the radial coordinate cosh ρ = (r/a) 2 in the near-horizon limit (see section 2.4), where the blow-up modulus a is scaled away, does not allow to perform the blow down in the WZW model by taking a continuous limit. Starting from the background (2.1) for a = 0, the worldsheet theory can be constructed in this case from a linear (1, 0)-super-dilaton theory together with an N = (1, 0) SU(2) k WZW model. Gauged fixed WZW model. To understand the worldsheet origin of the Z 2 orbifold, we go back to the gauge fixing procedure we performed to obtain the action (4.8), where after integrating the gauge fields classically, use has been made of the U(1) L and U(1) R gaugings in (4.4) to choose the gauge for g ′ generically given in (4.1). This gauge fixing does not fix the U(1) L and U(1) R transformations in (4.4) completely: taking α = β = π s, s = 0, 1 leaves g ′ fixed inert. This Z 2 group acts as g → −g on the SU(2) k group elements in (4.4) and leaves the current algebra invariant. Since it results from imposing the reduced periodicity on the S 3 coordinate: ψ ∼ ψ + 2π, to avoid a bolt singularity in the Eguchi-Hanson, as explained in section 2.1, this orbifold is in fact non-chiral. In order to preserve (1, 0) supersymmetry in six dimensions, we let the orbifold act on the right-moving sector of the SU(2) CFT, i.e. on representations of the bosonic su(2) k−2 affine algebra.
Hence in this gauge, the CFT reproduces a Z 2 orbifold of the Callan-Harvey-Strominger (CHS) background [36] corresponding to a stack of k heterotic five-branes on a C 2 /Z 2 singularity: 14)

JHEP10(2013)097
where R Q is the super-linear-dilaton theory (̺, ψ ̺ L ) with the non-compact direction ̺ canonically normalized, i.e. with background charge Q = 2/α ′ k, and the (1, 0)-supersymmetric SU(2) k WZW model corresponds to the three-sphere of radius √ α ′ k . In light of this it is not surprising that the two seemingly very different partition functions for (4.4) and (4.26) of ref. [6] are in fact the same: they are the partition functions corresponding to the same background once described as a gauge theory and once in the gauge fixed version of an SU(2) k × SL(2, R) k WZW model. As can be see in (4.14) on the right-moving fermion ξ I R the residual orbifold action acts via the shift embedding defined by Q.
This analysis sheds new light on the appearance of the Z 2 orbifold in the blow down limit: in ref. [6] the presence of the orbifold in the CFT was justified by requiring the existence of a Liouville potential in the twisted sector of the discrete representation spectrum. The discussion here gives an understanding of the Z 2 orbifold from the viewpoint of the continuous representations.
The partition function for continuous representations. The full partition function of the CFT describing the warped Eguchi-Hanson background in the double scaling limit receives contributions from both discrete and continuous SL(2, R)/U(1) representations: continous representations of (bosonic) SL(2, R) k ′ +2 /U(1) are labelled by a complex spin J = 1 2 +ip, given in terms of the continuous momentum p ∈ R + . They have eigenvalue M ∈ Z 2k under the current k 3 R . In the warped Eguchi-Hanson, these states correspond to massive modes extending in the bulk of the space but which are still (delta-function) normalizable and are concentrated away from the resolved P 1 . In contrast, discrete (bosonic) representations have half integral spin values 1 2 correspond to boundary representations. Their k 3 eigenvalue is related to the spin through M = J +r, r ∈ Z. These representations correspond to states localized in the vicinity of the resolved P 1 .
The partition function for continuous SL(2, R)/U(1) representations can be written down for a generic line bundle of the type (3.4), while for discrete representations it has to be determined case by case. As shown in [6], for a generic bundle vector Q the SU(2) × SL(2, R) coset WZW model (4.8) can be realized as CFT with enhanced (4, 0) worldsheet supersymmetry, leading for the present implementation of the line bundle to the following partition function for continuous representations: Let us briefly explain to which field the various factors in this partition function belong to: the first factors proportional to 1/(τ 2 2 (|η| 2 )) 2 correspond to the free CFT of the coordinate fields X µ in light-cone-gauge. The integral of (|q| 2 ) p 2 /k /|η| 2 is due to the linear dilation ρ, and can alternatively be expressed in terms of continuous SL(2, R)/U(1) characters. The affine su(2) k−2 characters χ j (τ ) depend on the (half-)integral spin 0 ≤ j ≤ k−2 2 and are JHEP10(2013)097 explicitly given in (B.5) and (B.6). Since the Z 2 orbifold neither acts on the currents nor on the left-moving fermions ψ µ L , ψ α L , ψ ρ L , the corresponding contribution in (4.15) result in the free partition function, defined in terms of the genus-4 theta functions (B.3), with the sum over the spin-structures labeled by a, b = 0, 1. Finally, the last factor involving the genus-16 theta functions results from the right-moving fermions ξ I R all with the same spin-structure. In comparison to the partition function written in [6] here we use a bundle vector Q in (4.15) which in the normalization of that paper would be written as 1 2 Q. This requires an extra e − πi 4 Q 2 γδ phase in the second line of (4.15) to ensure that the twisting by 1 2 Q of the SO(32) 1 partition function results in a Z 2 automorphism of the SO(32) 1 lattice and modular invariance (see e.g. [9,[37][38][39]).
As argued before the partition function also represents the partition function for the warped C 2 /Z 2 geometry by virtue of the gauging procedure (4.13). Mathematically, this equivalence can be shown by using the identity (B.7). Physically, this blowdown limit corresponds to a stack of k heterotic five-branes at r = 0 in the coordinate system of (2.1). Their back-reaction on the geometry opens an infinite throat, which microscopically does not allow for the presence of localized modes in the spectrum. It is also worthwhile noting that because of the of the presence of an infinite throat at r = 0, the Z 2 orbifold has no fixed point in the warped albeit singular geometry. This is mirrored by the form the Z 2 orbifold takes in the right-moving SU(2) k−2 , where it acts as shift orbifold on the SU(2) spins.
Line bundle vector conditions. To determine the massless spectra we are primarily interested in the discrete representations of the CFT corresponding to the warped Eguchi-Hanson space in the double scaling limit. The partition function for such discrete representations, completing (4.15) into the full partition function for the resolved geometry can in principle be derived but turns out to be rather complicated. For the class of models with Q = (2, 2q, 0 14 ), q ∈ N, the explicit form as been determined in [6].
Nevertheless, the partition function (4.15) for the continuous representations still proofs quite useful in order to derive some consistency conditions on the input parameters k and Q that hold for discrete representations as well. In particular, in order for (4.15) to encode the standard GSO R projection we need to require that 1 4 e 16 · Q = 1 4 I Q I = 0 mod 1 . This condition is more restrictive than the condition on c 1 (L) in supergravity (3.4). It is nevertheless compatible with the consistency condition for gauge shifts in heterotic CFTs on C 2 /Z 2 found in [9]. The other condition bears on the compatibility between the 1 2 Q twist and the Z 2 orbifold, which, in particular, requires that the Ramond sector of (4.15) is modular invariant under the transformation τ → τ +2. This is ensured if the following condition is met [40,41]: (4.17) In particular, from this condition we deduce that consistency with the Z 2 orbifold requires the level of the affine algebras, and subsequently the five-brane charge, to be even in the JHEP10(2013)097 CFT: Finally, by looking at the fermionic sector of the partition function (4.15), we can give a microscopic characterization of the distinction between gauge bundles with or without vector structure arising in supergravity because of the Dirac quantization condition (3.3): • models with Q ∈ Z 16 support a gauge bundle with vector structure: when Q has m odd entries, the ground state in the twisted NS-sector is equivalent to an R-groundstate for m complex fermions. Otherwise, for even integral Q the twist by Q factorizes in (4.15), so that twisted and untwisted sector NS-grounds states are equivalent.
• Models with Q ∈ Z 16 + 1 2 e 16 support a gauge bundle without vector structure: on the CFT side the twisted sector groundstate is described by operators exp( i 2 S · X r ), with S ∈ Z 16 + 1 2 e 16 , which are not spin fields.
In the following we will mainly concentrate on models with integral bundle vectors, due to their simpler groundstates.

Marginal operators in the heterotic warped Eguchi-Hanson CFT
The spectrum of massless states of the CFT in the double-scaling limit of the warped Eguchi-Hanson compactification can most easily be computed by determining its set of marginal vertex operators. A target-space state in six dimensions, such as a hyper multiplet or gauge multiplet, is thus described in the CFT by a specific vertex operator V 6D . This operator contains free worldsheet (1, 0)-superfields (X µ , ψ µ L ), µ = 0, . . . , 5, and the reparameterization super-ghost system (ϕ, ψ ϕ L ), whose SCFTs factorize. The contribution from the internal CFT is packaged in a vertex operator we denote by V. It decomposes in the tensor product of a left-moving operator V L , which encodes the contribution of the (SU(2) k /U(1)) × (SL(2, R) k ′ /U(1)) SCFT and the right-moving vertex operator V R of the SU(2) k−2 × SL(2, R) k ′ +2 /U(1) × SO(32) 1 /U(1) CFT.
Vertex operators for massless 6D states. Since we are looking for massless states in six dimensions, we require the momenta p µ associated to the space-time target fields to be light-like: p µ p µ = 0 and V to be marginal, i.e. with left-/ right-conformal weights (∆,∆) = (1, 1). The hyper / vector multiplets are then described in the CFT by the following vertex operators: The marginality condition for V R can then be satisfied by tensoring (anti-)chiral primaries of SU(2) k /U(1) and SL(2, R) k ′ /U(1), and for V L primary operators of SU(2) k−2 and JHEP10(2013)097 Table 3. In this table we give the primary operators of interest for discrete representations of the warped Eguchi-Hanson CFT in the asymptotic limit along with their conformal weights. The right-moving primaries correspond to SL(2, R) k ′ +2 /U(1) representations (J, M ) with M = J + r, r ∈ N, and M = J − 1 respectively. The AdS 3 radial direction ̺ is canonically normalized. As a zero-mode it is non-chiral, but for simplicity has been grouped together with the right-moving fields.
The shifted right-moving momentum P sh and spin j sh are given in (4.23) and (4.24), respectively. SL(2, R) k ′ +2 /U(1) × SO(32) 1 /U(1). In the asymptotic limit ̺ → ∞, the corresponding vertex operators acquire a particularly simple form, as the SO(32) 1 part becomes a free field theory. We give the operators relevant for the computation of the spectrum of massless states in table 3, along with their conformal weights.
Vertex operators for discrete representations. The marginality condition for normalizable states in (4.19) can only be satisfied by operators corresponding to discrete SL(2, R)/U(1) representations, thus by states which are localized in the vicinity of blownup P 1 . We now describe the properties of the vertex operators for discrete representations in detail. The U(1) R which is gauged in (4.4) has direction in the Cartan subalgebra of SO(32) 1 corresponding to the level k + 2 current (4.6): where we have bosonized the right-moving fermions ξ I R via : For a general bundle vector Q the SL(2, R) contribution to the partition function for discrete representations is given in terms of bosonic SL(2, R) k ′ +2 /U(1) characters. As mentioned before, in addition to their (half-)integral spin J, such discrete representations are further characterized by their eigenvalue M under k 3 . Given expression (4.20) we have: 22) in terms of the sixteen dimensional charge vector P sh of the gauge fermions (4.23).

JHEP10(2013)097
By exploiting the non-compactness of the group SL(2, R) it is possible to define a limit in which one can obtain rather explicit forms for these vertex operators [20]. For SL(2, R) k ′ /U(1) operators it is standard to use the non-compact radial direction ̺ of AdS 3 , with the canonical normalization ̺ = √ α ′ k ′ ρ/2 with respect to the non-compact SL(2, R) k ′ coordinate in (4.1). Then, in the asymptotic limit ̺ → ∞ and using the gauge (4.13) the right-moving SL(2, R) k ′ /U(1) primary operators assume a free field expression, as given in the second line of table 3, where the bosonized vertex operators associated to the fermions ξ I R are given in terms of so-called shifted momenta: These shifted momenta encode NS (u = 0) or R (u = 1) boundary conditions of the corresponding string state and whether the state belongs to the untwisted (γ = 0) or twisted sector (γ = 1) of the Z 2 orbifold. In analogy to P sh we denote the right-moving SU(2) spin by: which takes into account the twisted and untwisted sector simultaneously. Not all marginal vertex operators V correspond to physical target space states. Since the vertex operator has to be inert under the asymmetric gauging (4.4), this enforces that the SU(2) and SL(2, R) levels have to be identified. This corresponds to the first anomaly condition (4.5) for the coset CFT, i.e. k ′ = k . (4.25) In addition, the left-and right-moving vertex operators, V L , V R , have to satisfy their respective GSO projections. Finally, the vertex operator V as a whole has to be orbifold invariant.
Right-moving SL(2, R)/U(1) representations and conformal weights. In table 3 the asymptotic limit ̺ → ∞ gives rise to operators where the dilaton and SO(32) torus field dependences factorize. However, not all such operators are in the CFT defined in (4.4). Only those that fall in representations of the right-moving SL(2, R) k ′ +2 /U(1) × SO(32) 1 /U(1) conformal algebra are. This in particular restricts the charge vector P sh to lie in the weight lattice of the unbroken gauge groups (3.9). To better understand the conformal weights of right-movers in table 3, let us recall that bosonic primaries of SL(2, R) k ′ +2 /U(1) for discrete representation of spin J and k 3 eigenvalue M = J + r, r ∈ Z have different expressions depending on whether r is positive or negative, namely: generator k − −1 = k 1 −1 − ik 2 −1 and thus have vacuum state (k − −1 ) −r |J, J (see [8,42,43] for the N = 2 SL(2, R)/U(1) coset and [44] for the bosonic one). These affine descendants correspond to vertex operators containing derivatives of target space fields. One should note in particular that taking similarly descendants of primaries with M > J does not give a primary state.
Since right-moving fermions from the SO(32) 1 /U(1) coset theory have conformal weights given by:∆ where the second equality is obtained by using the anomaly condition (4.5) and expression (4.22). Consequently, the total conformal weight of a vertex operator composed of the product of a right-moving SL(2, R) k ′ +2 /U(1) primary and a SO(32) 1 /U(1) state sums up to: The operators e which contain only simple derivatives of target-space fields, correspond to primary states k − −1 |J, J with r = −1 and thus with fixed k 3 eigenvalues M = J − 1. Along this line we could in principle also consider bosonic SL(2, R) k ′ +2 /U(1) primaries with r < −1. However, in this case the contribution J − M to the conformal weight (4.28) can be shown to always lead to∆ tot > 1 for the whole SU(2) k × SL(2, R) k ′ operator, once the marginality condition ∆ tot = 1 is satisfied for left-movers.

Hyper multiplets
In order to construct vertex operators corresponding to massless hypermultiplets in supergravity, we now construct the internal V operator in (4.19) by looking for marginal operators in the CFT obtained by tensoring superconfromal chiral or anti-chiral primaries of SU (2) Left-moving vertex operator. The left-moving part of such operators can easily be realized by exploiting the super-conformal symmetry on the left. The idea is to start from a primary of SU(2) k /U(1) × SL(2, R) k ′ /U(1) with ∆ = 1 2 and subsequently take a descendant thereof by applying the supercharge G −1/2 = G su + −1/2 + G su − −1/2 + G sl + −1/2 + G sl − −1/2 of the (1, 0) subalgebra of the total (4, 0) left-moving super-conformal algebra. Table 3 provides us with two possibilities to combine operators of the supersymmetric SU(2) k /U(1) and SL(2, R) k ′ /U(1) to form the scalars of the hyper multiplet: either one tensors two chiral primaries C L j ⊗ C ′ L J , or two anti-chiral primaries A L j ⊗ A ′ L J . Note that (anti-)chiral primaries of SU(2) k /U(1) have fixed m = 2(j + 1) (m = 2j) and odd (even) JHEP10(2013)097 fermion number, while (anti-)chiral primaries of SL(2, R) k ′ /U(1) have bosonic charge M = J (M = J − 1) and even (odd) fermion number. For simplicity, we deliberately omit the m, M and fermion number labels in our notation for (anti-)chiral primaries. For more details on SU(2)/U(1) and SL(2, R)/U(1) characters and representations, see appendix A in [10], for instance.
Using the anomaly condition, k = k ′ , in (4.25) and the conformal weights listed in table 3, we may obtain ∆ = 1 2 by identifying J = j + 1. Since the vertex operator thus constructed are complex fields, we can combine them to obtain the two left-moving complex scalars expected from the lowest component of a hyper multiplet in 6 dimensions. The left-moving part of the vertex operator (4.19) thus reads: i) Type V (1) R operators: The first type of vertex operators reads in the asymptotic limit: with SL(2, R) k ′ +2 /U(1) charge (4.22) with r ∈ N. For the reason mentioned above only representations with r ≥ 0 may lead to massless states. The marginality condition∆ simplifies, by using condition (4.5), the definition of j sh (4.24), together with the marginality condition on left-movers J = j + 1: R operators: The second type of vertex operators we can construct from table 3 are: (4.33) Their SL(2, R) k ′ +2 /U(1) charge is fixed by the spin: since their vacuum state is k − −1 |J, J . Finally, we readily obtain from table 3 and the same algebra as before the marginality condition in this case:  Table 4. This table gives a compact summary of the conditions satisfied by the full massless CFT spectrum for the warped Eguchi-Hanson geometry in the double scaling limit.
GSO and orbifold projections. In addition to the conditions discussed above the massless states undergo GSO R and orbifold projections. Although we are considering discrete SL(2, R) k ′ /U(1) representations, they can be determined from the partition function (4.15), as these projections are the same for continuous and discrete representations Counting the fermionic number of (4.30) and (4.33) gives us the following GSO R projection for the corresponding operators: where we have in particular used (4.16) and (4.21). For V (1) R the same GSO R projection can alternatively be retrieved by extracting the v dependent phases from the partition function (4.15).
Finally, we have to ensure that the states constructed here are invariant under the Z 2 orbifold action (4.14) which acts as on the constituents of the vertex operators. Hence for the vertex operators (4.30) and (4.33) to be invariant, we require that The contribution 1 8 γ Q 2 results from the so-called vacuum phase in the twisted sector. As it is universal, it can be read off from the partition function (4.15) for the continuous representations by identifying its δ-dependent phases. Notice that upon using the anomaly condition (4.10) and the definition of the charge M (4.25), condition (4.38) simplifies to: Given the identification of left-moving spins J = j + 1, this condition is trivially satisfied by right-moving SL(2, R) k ′ +2 /U(1) discrete representations, which have M = J + r, r ∈ Z.

JHEP10(2013)097
The hyper multiplet spectrum. By solving the algebraic system in table 4 subject to constraints (4.16) and (4.17), we are now in the position to compute in general the hyper multiplet spectrum for the heterotic warped Eguchi-Hanson CFT. We restrict our analysis to integer valued bundle vectors defined as in (3.8) (leaving the half-integer case for future analysis). These vectors are subject to the GSO R and Z 2 orbifold conditions, (4.16) and (4.17), the first one corresponding to a more stronger version of the K-theory condition (3.4) in supergravity, guaranteeing stability of the Abelian gauge bundle. For the given choice of models, these conditions translate to: Also, the level of the affine algebras and the range of SU(2) and discrete SL(2, R) left spins are in this case given by: The hyper multiplet spectra are determined by the following vertex operators: R operators: we first consider vertex operators built on the right-moving V (1) R (4.30). The marginality condition (4.32) for these operators leads to the massshell equation: Untwisted sector (γ = 0): all solutions to equation (4.42) which are GSO R and orbifold invariant are in the untwisted NS sector and therefore characterized by a momentum P sh = N ∈ Z 16 . Since in the untwisted sector we have j = j sh , the multiplicity operators for such massless states simply counts the internal −j ≤ m ≤ j degeneracy within given right-moving SU(2) k−2 representation of spin j. Given the marginality condition j = J − 1 for left-movers, the multiplicity sums over degeneracies for all spins j satisfying relation (4.22):

JHEP10(2013)097
Twisted sector (γ = 1): all massless states are in the twisted NS sector, in accordance with what we found for the untwisted spectrum. In particular, if Q has m entries p i which are odd, these operators correspond to untwisted r ground states for m of the complex fermions. In this case however, since the relation between the shifted momentum and the spin j is fixed by the mass-shell condition, all SU(2) spins j which are solution to equation (4.40) are in one-to-one correspondence with representations of the unbroken gauge group, determined by P sh . In the twisted sector the multiplicity therefore takes the form: In particular, the twisted singlet in table 6 corresponds to the Liouville operator giving the CFT description of the blow-up mode in the Eguchi-Hanson.
As was shown in [6], requiring the presence of the Liouville operator in the spectrum accounts for the necessity of having a Z 2 orbifold in the coset CFT (4.4) for the resolved space, since this operator is in the twisted sector generated by the orbifold. As a byproduct, the GSO R invariance condition for the Liouville operator precisely gives the gauge bundle stability condition (4.16). The marginal deformation of the CFT generated by this operator is called the Liouville potential, and encodes non-perturbative worldsheet instanton effects. Thus, from the perspective of discrete representations, both the presence the Z 2 orbifold and the gauge bundle stability condition depend on the existence of the Liouville potential and hence of a non-perturbative (in α ′ ) completion of the theory.

ii) Type V (2)
R operators: the marginality condition for these operators reads: Requiring the right-moving SL(2, R) k ′ +2 /U(1) states to be primaries fixes M = J − 1 = j. Untwisted sector (γ = 0): in the untwisted sector, the only GSO R and orbifold invariant massless state is the gauge group singlet with zero shift momentum and therefore n Q = 1. It corresponds to the asymmetric current-current operator which gives rise to the dynamical deformation resolving the singular background geometry in (4.14). As such, it gives the CFT description of the volume modulus of the blown-up P 1 and is always turned on together with the Liouville operator in table 6. This state is given in the last line of table 5. Twisted sector (γ = 1): in the twisted sector, only SO(2N ) singlet representations appear with multiplicities given by: In this case, there are no massless twisted states in the 2N of SO(2N ). The fundamental of SO(2N ) can be fermionized to give a state ξ a R −1/2 |0 ns , where ξ a R n+1/2 are oscillators from the free gauge sector SO(2N ). Combining this with the Q ·∂X R always leads to massive states in any U(N i ) representation.

JHEP10(2013)097
The full massless spectra for untwisted and twisted V (1) R and V (2) R operators are given in tables 5 and 6. In table 5 we observe that for a marginal operator with half integral spin values, the overall multiplicity of massless states n Q for a particular representation of the unbroken gauge group is reduced by a factor 1 4 with respect to the integral spin case. This phenomenon is related to the absence of SL(2, R)/U(1) discrete boundary representations in the spectrum. These discrete representations appear as a branching of the continuous representations in the limit where their momentum p → 0 + and have SL(2, R)/U(1) spins J = { 1 2 , 1 2 (k + 1)} (see for instance [8]). However, one can check that these representations are projected out of the partition function (4.15), as they would lead to states with an SU(2) spin outside the allowed range 0 ≤ j ≤ 1 2 (k − 2).
With this in mind, one can verify that the marginality condition for right-movers can only be solved in the untwisted NS sector, leaving again no other choice but the identity representation for SU(2) k+2 with (j, m) = (0, 0). The complete vertex operators corresponding to massless gauge multiplets take the form: with the untwisted momenta P sh satisfying the mass-shell condition: Since the SL(2, R) k ′ +2 /U(1) charge has value M = 0, the only solutions to (4.48) are untwisted NS ground states carrying the adjoint representations of the massless unbroken gauge group, as can be seen from table 7. In particular, by fermionizing the P sh -dependent constituent of the operator (4.47) for solutions in table 7, we observe that in the CFT description the string states associated to massless gauge bosons are consistently constructed by tensoring the identity representations in SU(2) k−2 × (SL(2, R) k ′ +2 /U(1)) with states ξ I R −1/2 ξ J R −1/2 |0 ns , which is what we expect. As mentioned, the identity representation corresponds to a non-normalizable string state. As a consequence the wave-functions of the unbroken gauge group bosons do not have support on the resolved two-cycle of the warped Eguchi-Hanson space and thus correspond to a global symmetry of the interacting theory localized on the blown-up P 1 . In table 7 JHEP10(2013)097  we give the relevant representations for gauge multiplets as determined from the CFT for models defined by the line bundle vector (3.8).
The massive U(1) Q gauge field. As we recalled in subsection 3.2, turning on a line bundle gauge background in six-dimensional heterotic compactifications generically entails the appearance of massive U(1) factors, whose masses originate from the generalized Green-Schwarz mechanism. In the worldsheet CFT description, we have a single massive U(1) Q factor, determined by the affine Abelian current J R (4.20). In analogy to how massless gauge multiplet operators (4.47) are constructed, we can build the vertex operator associated the massive U(1) Q gauge field in the following way: we tensor on the left-moving side the space-time contribution ψ µ L −1/2 |0 ns with the descendent of the tensor product of an anti-chiral primary of SU(2) k /U(1) with a chiral primary of SL(2, R) k ′ /U(1), with spins identified j = J. Such left-moving states have total conformal weight: The right-moving part of the U(1) Q vertex operator is identical to the operator V R (4.33) seen previously. Upon identifying j = J, its total conformal weight is: Level matching then leads to the equation: We require the SL(2, R) spin to be identified as J = j and to satisfy condition (4.22) and moreover the SU(2) spin j to lie in the allowed range. It can then be shown that the only state corresponding to an Abelian gauge field must be in the untwisted NS sector,

Comparison between CFT and supergravity results
In this section we compare the spectra computed in the supergravity approximation of section 3 with that of the CFT computations in section 4. We will see that the spectra indeed agree provided we conjecture a correspondence between the untwisted and twisted sectors of the warped Eguchi-Hanson CFT.

Matching the charge supergravity and untwisted CFT spectra
Although we are dealing with local heterotic models and not full-fledged compactifications, the spectra of massless states should for consistency be gauge anomaly free. For noncompact warped backgrounds, as the ones under scrutiny in this paper, we have shown in section 3.4 that the presence of five-brane charge Q 5 induces the right content of extra (anti-)five-brane (anti-)hyper multiplet states to cancel all irreducible gauge anomalies. We thus expect the spectrum of massless states computed in the CFT to concur with the supergravity results of table 1. We observe that we have a precise matching between the untwisted localized CFT spectra of table 5 and the hyper multiplet spectra in table 1 up to two minor caveats: in the untwisted CFT spectra an extra − 1 4 correction to multiplicities has to be taken into account for vector bundles with some odd entries, see section 4.4. Secondly, there is a single universal correction − 1 12 c 2 in the supergravity spectra of section 3.2. For Eguchi-Hanson models without warping, i.e. Q 5 = 0, we recall that in section 3.3 this − 1 12 c 2 correction could be interpreted as a Higgsing process: upon blowing up the C 2 /Z 2 singularity two bulk gauginos acquire mass by pairing up with twisted hyper multiplet states. It is not unreasonable to assume the same interpretation of the correction − 1 12 c 2 for warped Eguchi-Hanson models with non-vanishing five-brane charge. However, as stressed in section 4.5, because of the non-compactness of the SL(2, R)/U(1) factor the six dimensional gauge fields correspond to non-normalizable vertex operators and hence are not part of the spectrum. Consequently, the CFT multiplicities for hyper multiplets, determined by the indices in (4.43), (4.44) and (4.46), are simply blind to such fractional corrections due to non-normalizable states.

JHEP10(2013)097
The situation of the matching between the spectra of the supergravity and the CFT, obtained so far, can be summarized as follows: we have seen that the untwisted states of the CFT given in table 5 correctly reproduce the anomaly free heterotic supergravity spectra of table 1, taking the universal − 1 12 c 2 correction into account. Hence, either the twisted states of table 6 are all massive or they are somehow related to the untwisted sector. Based on [20,45] we have reasons to believe that marginal deformations of the worldsheet Lagrangian (4.8) by vertex operators listed in table 5 and 6 have couplings which are not independent.
In the next subsection we recall the results of [45] on two singlet marginal deformations of SL(2, R)/U(1) to show that the corresponding twisted and untwisted states in the CFT represent the same uncharged hyper multiplet in supergravity. In subsection 5.3 we observe that untwisted and twisted operators correspond to perturbative versus non-perturbative states in the α ′ -expansion in the supergravity limit. Finally, in subsection 5.4 we generalize the argument of subsection 5.2 to an SU(2)×SL(2, R) coset theory. In particular, we use the holographic correspondence in [20] to give arguments in favor of how the relation between couplings of marginal operators should apply to all twisted and untwisted states of the warped Eguchi-Hanson CFT in the double scaling limit.

Cigar and Liouville CFT deformations
Consider the asymmetric current-current deformation and the (2, 0) Liouville interaction generated by the untwisted (table 5) and twisted (table 6) operators in the singlet representation of the unbroken gauge group, respectively. 2 The relation between the right-moving SU(2) k supercurrent and the chiral boson Y L is given by: 3) The first operator corresponds to the volume of the resolved two-cycle of the Eguchi-Hanson space, while the second operator gives the SCFT description of the blow-up mode. Consequently, the two deformations (5.1) and (5.2) cannot be turned on independently; their couplings are related. The exact relation between these two coulings has been determined by [45] for the SL(2, R) k /U(1) CFT with (2, 2)-worldsheet supersymmetry, which underlies the cigar background geometry. This CFT gives therefore a microscopic description of a two-dimensional Euclidean black hole in type-II string theory. By looking at the conformal weights of chiral primaries of the SL(2, R) k /U(1) SCFT in table 3 we see that the only JHEP10(2013)097 marginal deformations in this case are the cigar and the (2, 2) Liouville deformations, corresponding to (5.1) and (5.2), respectively. These now read: where X = X L + X R is the SL(2, R) k /U(1) compact boson parametrizing the circle coordinate of the cigar. A two-point function calculation shows that the couplings of these two interactions are related through [45]: This result, although only established for the SL(2, R) k /U(1) model, holds for (5.1) and (5.2) as well. This confirms that in the heterotic warped Eguchi-Hanson theory the two singlet operators leading to (5.1) and (5.2) do not correspond to different massless bosons in the low-energy theory. Thus, the untwisted singlet in table 5 gives the CFT description of the blow-up modulus in supergravity, the relation being the following (see [46]): Since the Liouville potential encodes worldsheet instanton corrections to the resolved background geometry, the twisted singlet state in table 6 gives in contrast an expression for its non-perturbative α ′ -completion. This will be study in more detail in the next subsection.

Twisted and untwisted vertex operators as perturbative or nonperturbative states
Here, we comment on the behaviour in the supergravity limit of twisted and untwisted vertex operators corresponding to the spectra of tables 5 and 6: in section 3.1 we recalled that the conformal factor (2.13) and dilaton (2.14) receive 1/Q 5 corrections in the finite five-brane charge limit. This translates on the CFT side to 1/k corrections to the background metric (4.8) and dilaton (4.11), which can be computed by a method similar to the one used in [35] for light-like asymmetric gaugings of WZW models. As the CFT at level k is related to the curvature of the background geometry, this 1/k expansion corresponds to a (higher derivative) α ′ -expansion in supergravity. As can be seen from the multiplicities in tables 5 combined with 6 and spin values (4.41) we have: sector dynamical marginal deformation scaling of J for large k Hence, the normalizable marginal deformations involving the vertex operators (4.30) and (4.33) can be classified as perturbative or non-perturbative depending on their JHEP10(2013)097 SL(2, R)/U(1) spin: as all these operators are in discrete SL(2, R)/U(1) representations, they are localized and therefore generically contain a factor exp(− 2/α ′ kJ̺). Consequently, the vertex operators with J ∼ k are exponentially suppressed in the supergravity limit, k → ∞, while for J ∼ √ k the factors of √ k in the exponential cancel and the corresponding operators are not suppressed.
Thus all massless bosonic states of table 5, which correspond to untwisted marginal vertex operators, are perturbative, while all the twisted states of table 6, which are suppressed in the large k limit, are non-perturbative in the supergravity limit.

Relating twisted and untwisted massless states through holography: a conjecture
In this final subsection we propose a conjecture that relates massless CFT states in the twisted sector (  (4.4), namely the symmetric gauging of SL(2, R) k × SU(2) k giving the (4, 4) CFT: studied in [20]. This CFT was shown to provide a T-dual description of the near-horizon geometry of k NS-five-branes evenly distributed on a circle of radius a.
It has been proposed in [20] that in the double-scaling limit there exists a holographic correspondence between the string theory describing the background (5.9) and the little string theory (LST), i.e. the non-gravitational theory, living on the world-volume of the five-branes. In particular, in the asymptotic limit where ̺ → ∞, these authors have conjectured a duality, similar to the AdS/CFT correspondence, between vertex operators in the CFT and multi-trace operators in the dual LST.
In the asymptotic limit the CFT operators for the asymmetrically gauged WZW model (5.9) can be expressed in terms of vertex operators of the CHS theory R 5,1 × R Q × SU(2) k modded out by a discrete symmetry. On the LST side the operators of the low-energy gauge theory are built from scalars in the adjoint representation of SU(k), denoted by Φ i , i = 6, . . . , 9, which result from promoting the four transverse coordinates of the k NS-five-brane to SU(k) matrices.
The holographic dictionary established in [20] thus relates normalizable vertex operators corresponding to discrete SL(2, R)/U(1) representations to multi-trace operators in the LST in a similar spirit as the AdS/CFT correspondence: where tr denotes multi-traces that are symmetric and traceless in the (i 1 , . . . , i 2j+2 ) indices. In addition, ϕ L,R denote the left-and right-moving bosonized super-conformal ghost system. Also ψ a L,R , a = 3, ± represent the left-and right-moving fermions of the supersymmetric JHEP10(2013)097 SU(2) k , which combine with a bosonic SU(2) k−2 affine primary V j into a supersymmetric primary ψ L ψ R V j j+1;m,m of total spin and charges (j + 1; m,m).
Perturbing the worldsheet action S 0 of the CFT defined in (5.9) by a marginal deformation involving a primary operator (5.10), as results in a displacement of the five-branes away from their initial circular configuration in some particular direction, and thus corresponds to turning on a VEV for the gauge theory operator in (5.10). In particular, this breaks the SU(k) gauge symmetry to U(1) k−1 . Since the moduli space of the six-dimensional LST is determined by the position of the k ns five-branes in the four transverse dimensions, the VEVs tr(Φ (i 1 Φ i 2 · · · Φ i 2j+2 ) are in general related to one another through the moduli of the LST. Using the dictionary (5.10) then shows that the couplings µ j;m,m in (5.11) are related likewise, with (5.7) being a particular case of this dependence between couplings of marginal deformations. Since the holographic dictonary (5.10) involves multi-trace operators in the LST, for general couplings µ j;m,m the correspondence is not necessarily one-to-one. Even though the LST dual to the warped Eguchi-Hanson heterotic CFT (4.4) is unknown, we believe that a holographic correspondence similar to (5.10) should exist: ref. [20] gives evidence that such a duality can be verified for various known examples of CFTs underlying NS-five-brane backgrounds that asymptote to a linear dilaton theory, which is the case for (4.4). In this perspective, we propose that the untwisted and the twisted massless states of section 4.3 are related to one another through the moduli of the dual low-energy gauge theory in the fashion just explained. As emphasized, this correspondence need not be one-to-one, which could account for the mismatch between the multiplicities of the untwisted and twisted states in tables 5 and 6, respectively. Furthermore, in light of subsection 5.3 we propose that the hyper multiplets in table 1 are described in the CFT  and their multiplicities given by the untwisted states in table 5, while the twisted states in  table 6 represent their non-perturbative in α ′ completion.
Verifying this conjecture using holography is unfortunately beyond the scope of this paper, since this would require uncovering first the gauge theory dual to the CFT given in (4.4). Alternatively, one might be able to prove this conjecture by computing and comparing n-point functions with insertions of the relevant marginal vertex operators, and thus understand the relations between the multiplicities of twisted and untwisted states. That however would be a formidable task for the CFT under consideration, with its large and complicated set of marginal deformations.

Compact T 4 /Z 2 resolution models
In this section we apply our analysis of non-compact warped Eguchi-Hanson spaces to the compact orbifold T 4 /Z 2 and its smooth resolution. To this end we first give a description of the intersection ring of the Divisors of the resolved T 4 /Z 2 . Using this topological data we compute the spectrum on such K3 resolutions.

JHEP10(2013)097
6.1 Global description of the compact T 4 / 2 orbifold resolution Following the methods described in the works [47,48] (see also [49,50]) we can extend the description of the local resolution of a single 2 / 2 singularity to a global description of the resolution of the compact orbifold T 4 /Z 2 . Since this orbifold has 16 C 2 /Z 2 singularities, one introduces 4 + 4 ordinary divisors D 1,n 1 and D 2,n 2 with n 1 , n 2 = 1, 2, 3, 4. Each pair of (D 1,n 1 , D 2,n 2 ) intersects at one of these 16 fixed points. In blow-up each of them is replaced by an exceptional divisor E n 1 n 2 . They intersect with the ordinary divisors dictated by the local C 2 /Z 2 resolution description, i.e.
In addition the four-torus has two-torus subspaces. In blow-up they lead to so-called inherited divisors R 1 and R 2 subject to the linear equivalence relations Their non-vanishing basic intersections are The linear equivalence tell us that a basis of H 2 is provided by R 1 , R 2 and E n 1 n 2 . Given the intersection numbers given above their non-vanishing (self-)intersection read Using the splitting principle and the linear equivalences one finds that for the resolution of T 4 /Z 2 we get Inserting the self-intersection numbers we find that c 2 = − 3 4 * 16 * (−2) = 24, as expected for a K3 surface [51].

Model building on compact resolutions
In addition to describe models on the resolution of T 4 /Z 2 we also have to specify the gauge background. Just like the non-compact case we take a combination of line bundles: in terms of a set of line bundle vectors Q n 1 n 2 labeled by the fixed point indices (n 1 , n 2 ). In this case we find for the non-integrated Bianchi identity 1 4π 2 α ′ ∂H = n 1 ,n 2

JHEP10(2013)097
When we insert the self-intersections we can express this as −Q 5 = 24 − 1 2 n 1 ,n 2 Q 2 n 1 n 2 . (6.8) Since we here describe a compact model, Q 5 > 0 means we need anti-five-branes and consequently six-dimensional supersymmetry is broken. In the case that N = −Q 5 /2 > 0 we know that we need N NS five-branes to cancel the anomalies. It is also possible that Q 5 = 0, while the non-integrate Bianchi identity (6.7) is non-vanishing. This means that locally near each of the resolved singularities one would infer that there are either five-branes or anti-five-branes, but their charges in total precisely compensate. A concrete example of such a configuration was presented in [14,21]: in this model one has the bundle vectors Hence, at each of the 12 fixed points, (n 1 , n 2 ) with n 1 = 1, 2, 3 and n 2 = 1, 2, 3, 4, one needs a single five-brane. While at each of the four remaining fixed points, (4, n 2 ) with n 2 = 1, 2, 3, 4, there are three anti-five branes present. Clearly their contributions exactly cancel out: this means that the anti-hyper multiplets from the anti-five-branes have paired up with corresponding hyper multiplet states and decouple from the massless spectrum. Consequently, the combined perturbative spectrum, given by 10 · (2, 28) + 46 · (1, 1) (6.10) w.r.t. the unbroken gauge group SU(2) × SO (28), is anomaly free. Up to one additional singlet (1, 1) this is the spectrum of the model using the standard embedding, i.e. where the gauge connection is set equal to the spin connection (see e.g. [14]).

Conclusions
We considered the heterotic string on the warped Eguchi-Hanson space in the presence of line bundle gauge backgrounds. We reviewed and compared two alternative descriptions of such heterotic backgrounds: in the leading order α ′ -expansion we employed supergravity techniques. In the double scaling limit, in which both the blow-up radius a and the string coupling g s tend to zero simultaneously, we exploited an exact CFT description. The underlying worldsheet description was built on an asymmetric U(1) L × U(1) R gauging of the WZW model on the group space SU(2) k × SL(2, R) k ′ . In particular, by studying the residual gauge invariance in the blow down limit we were able to identify the origin of the Z 2 orbifold of the Eguchi-Hanson space from the perspective of continuous SL(2, R)/U(1) representations in the CFT. This completes an argument in [6] which relied on the existence of a Liouville potential in the spectrum of discrete representations. For both regimes there are methods at our disposal to compute the massless spectrum of the heterotic string on these backgrounds: in the supergravity approximation we used a multiplicity operator (which may be thought of as a representation dependent index) to JHEP10(2013)097 determine the spectra. In the double scaling limit we determined the massless states by classifying all the marginal operators that the CFT admits. In either regime we computed the spectra in a systematic way for a large class of models simultaneously, by concentrating on a general line bundle vector Q = (p N 1 1 , . . . , p Nn n , 0 N ) with N 1 + . . . + N n + N = 16 where p i are some different positive integers.
The spectra in the supergravity approximation can be read off from table 1. As this table shows the multiplicities are not necessarily integral, which is an artifact due to the non-compactness of the (warped) Eguchi-Hanson space. This effect has been observed for various other non-compact resolutions in the literature [12,14,24].
The second way to determine the spectra on the warped Eguchi-Hanson space takes the full (anti-)five-brane backreacted geometry into account. Given that the CFT in the double scaling limit contains a Z 2 orbifold acting on its SU(2) k contribution, the CFT spectra fall into two classes. The corresponding untwisted and twisted massless states are collected in tables 5 and 6, respectively. By comparing the results for supergravity and CFT spectra, it follows immediately that untwisted spectra in table 5 is essentially identical to the supergravity spectra collected in table 1. There is a difference in the fine print of the spectra calculated in either regime: the untwisted CFT and the supergravity spectra differ up to a universal fractional correction, which is due to a Higgsing process. The CFT multiplicity index appears to be blind to this effect.
Furthermore, to interpret the apparent redundancy of the twisted and untwisted CFT spectra as compared to the supergravity results, we propose that the couplings of the corresponding marginal deformations of the coset CFT are related: the untwisted and twisted massless CFT states provide perturbative and non-perturbative α ′ -descriptions of the same hyper multiplets in the supergravity regime. To support our conjecture, we rely on the proposed duality of ref. [20] relating an asymptotically linear dilaton CFT to a little string theory living on a configuration of NS-five-branes.
Proving this conjecture is unfortunately beyond the scope of this work because the low-energy gauge theory dual to the warped Eguchi-Hanson CFT is unknown. Of course, the perspective of uncovering a heterotic AdS/CFT type correspondence for the warped Eguchi-Hanson with line bundle and five-brane flux is extremely interesting. In this case the dual low-energy gauge theory would likely be given by a type of little string theory. However, in the absence of such a low-energy description one could verify this proposal by computing and comparing the n-point functions of the appropriate marginal operator insertions. This would not only be instrumental in reconciling the difference between the combined twisted/untwisted CFT and supergravity spectra, but would also improve the understanding of the apparent mismatch between the multiplicities of untwisted and twisted CFT states.
When the five-brane charge is non-vanishing, these untwisted CFT or supergravity spectra appear to be anomalous. However, following the logic of refs. [15,16] we showed that these spectra are free of irreducible gauge anomalies provided that five-brane states are included. Given that the chirality in six dimensions of gauginos and hyperinos is fixed by supersymmetry, it turns out that it is simply impossible to cancel the anomalies without breaking supersymmetry in most cases: the only way to construct models free JHEP10(2013)097 of irreducible anomalies is to allow for anti-hyper multiplets (i.e. hyper multiplets with the opposite chirality as that in the perturbative string sector) to live on anti-five-branes. Hence, possibly at the price of supersymmetry breaking, the anomalous perturbative string spectra can be completed by non-perturbative five-brane states to become anomaly free.
Since the (warped) Eguchi-Hanson space is non-compact, it is a bit premature to conclude from this analysis that supersymmetry is indeed broken. To see what happens when various locally (warped) Eguchi-Hanson spaces are glued together, we investigate the resolution of the T 4 /Z 2 orbifold in which the local Bianchi identities are never satisfied near the resolved singularities; only the global Bianchi identity is fulfilled. We find that the local five-branes and anti-five-branes precisely compensate each other and the full model is free of anomalies while supersymmetry is preserved.

A Some trace identities
This appendix summarizes some trace identities relevant for anomaly investigations in six dimensions.
The adjoint representation Ad of SU(N ) is obtained as N⊗N⊖1 with N the fundamental and N the anti-fundamental representation and he anti-symmetric tensor representation is defined as [N] 2 = 1 2 N(N − 1). Consequently we have the following trace identities: The genus-n theta function with vector valued characteristics α = (α 1 , . . . , α n ) and β = (β 1 , . . . , β n ) is obtained as a product of n genus