Available online at www.sclencedlrect.com

\0 ScienceDirect

Nuclear Physics B 834 (2010) 273-315

www.elsevier.com/locate/nuclphysb

Marginal deformations of vacua with massive boson-fermion degeneracy symmetry *

Ioannis Florakisa'*, Costas Kounnasa, Nicolaos Toumbasb

a Laboratoire de Physique Théorique, Ecole Normale Supérieure, 1 24 rue Lhomond, F-75231 Paris cedex 05, France b Department of Physics, University of Cyprus, Nicosia 1678, Cyprus

Received 26 February 2010; accepted 24 March 2010

Available online 27 March 2010

Abstract

Two-dimensional string vacua with Massive Spectrum boson-fermion Degeneracy Symmetry, [MSDS]d=2, are explicitly constructed in Type II and Heterotic superstring theories. The study of their moduli space indicates the existence of large marginal deformations that connect continuously the initial [MSDS]d=2 vacua to higher-dimensional conventional superstring vacua, where spacetime supersymmetry is spontaneously broken by geometrical fluxes. We find that the maximally symmetric, [Max : MSDS]d=2, Type II vacuum, is in correspondence with the maximal, N = 8, d = 4 "gauged supergravity", where the supergravity gauging is induced by the fluxes. This correspondence is extended to less symmetric cases where the initial MSDS symmetry is reduced by orbifolds:

[Zorb : MSDS]d=2 ^ [N < 8 : SUGRA]d=4, fluxes •

We also exhibit and analyse thermal interpretations of some Euclidean versions of the models and identify classes of MSDS vacua that remain tachyon-free under arbitrary marginal deformations about the extended symmetry point. The connection between the two-dimensional MSDS vacua and the resulting four-dimensional effective supergravities arises naturally within the context of an adiabatic cosmological evolution, where the very early Universe is conjectured to be described by an MSDS vacuum, while at late cosmological times it is described by an effective N = 1 supergravity theory with spontaneously broken supersymmetry.

* Research partially supported by ANR (CNRS-USAR) contract 05-BLAN-0079-02.

* Corresponding author.

E-mail addresses: florakis@lpt.ens.fr (I. Florakis), kounnas@lpt.ens.fr (C. Kounnas), nick@ucy.ac.cy (N. Toumbas).

1 Unité mixte du CNRS et de l'Ecole Normale Supérieure associée à l'Université Pierre et Marie Curie (Paris 6), UMR 8549.

0550-3213/$ - see front matter © 2010 Elsevier B.V. All rights reserved. doi:10.1016/j.nuclphysb.2010.03.020

© 2010 Elsevier B.V. All rights reserved.

1. Introduction

The quest for vacua with spontaneously broken supersymmetry has always been one of the fundamental challenges for string phenomenology as well as for string cosmology. Whereas string models with spacetime supersymmetry arise quite naturally within the framework of su-perstring theory, naive attempts to break supersymmetry are usually plagued with tachyonic instabilities, similar in fact to the Hagedorn instabilities of string theory at finite temperature.

Ideally, one would like to start with a supersymmetric string compactification and induce a spontaneous breaking of supersymmetry by turning on non-trivial "geometrical fluxes" associated to a modulus. Vacua in the viscinity of the supersymmetric point would then acquire arbitrarily small supersymmetry breaking scale(s). However, if such a vacuum exists, it necessarily has to lie at the boundary2 of moduli space, where part (or all) of the internal space decompactifies. A large class of vacua where the spontaneous breaking of supersymmetry arises via geometrical fluxes [1,2] can be used to illustrate the main issues. The geometrical fluxes introduce non-trivial correlations between R-symmetry charges QI and the momentum and winding quantum numbers along non-trivial Sj internal cycles. As a result, the induced supersymmetry breaking scales are inversely proportional to the compactification radii, MI ~ 1/RI, and super-symmetry is recovered in the infinite-radius limit. On the other end, we often encounter tachyonic instabilities whenever R < ls, which signal a non-trivial phase transition towards a new vacuum.

One may also consider vacua where supersymmetry is spontaneously broken via geometrical fluxes at finite temperature T. Choosing, for instance, one supersymmetry breaking cycle with radius R1, the induced supersymmetry breaking scale, M = 1/(2nR1), and the temperature scale, T = 1 /(2nR0), provide a symmetric partition function,

Z(T, M) = Z(M,T), (1.1)

once the R-symmetry charge Q is identified with the spacetime fermion number F. This is the simplest realization of a "temperature/gravitino mass scale" duality, exemplified by the Euclidean partition function Z(T, M) [3]. It also illustrates how the existence of tachyons at small radii is related to the Hagedorn instabilities of string theory at high temperature.

In more general situations, where QI = F, the T ^ M exchange is not a symmetry of the theory but is replaced by other non-trivial duality relations involving the various supersymmetry breaking scales and the temperature. In the context of non-perturbative string/string and M-theory dualities, we expect a further non-perturbative generalization of such "temperature/gravitino mass scale" dualities, beyond the "geometrical flux origin" of supersymmetry breaking. We do not explore this generalization in the present work, even though we believe it to be of fundamental importance.

An important implication of temperature/gravitino mass scale dualities is that there may be several physical interpretations of the same Euclidean partition function in models where super-symmetry is broken spontaneously by geometrical fluxes. For instance, when Euclidean time is

2 This is, of course, related to the well-known fact that the order parameter of the super-Higgs mechanism is fermionic, rather than bosonic. A very interesting exception that arises in theories with non-linear dilaton directions has been studied in [5].

identified with one of the non-compact directions, the model describes a cold string vacuum, with the partition function determining the quantum effective potential, or the energy density of the vacuum. Alternatively, the Euclidean time direction may be identified with one of the compact cycles S}. In this case the description is in terms of a thermal ensemble. The same Euclidean partition function determines the free energy and pressure of the thermal system.

The canonical ensemble corresponds to the case where the Euclidean time circle is completely factorized from the other cycles. The spin/statistics connection requires that the corresponding R-symmetry charge is identified with the spacetime fermion number F. The canonical ensemble may then be deformed by turning on discrete "gravito-magnetic" fluxes associated to the graviphoton, G0K, and axial vector, B0K, gauge fields, as in [4]. Their presence refines the ensemble, and so chemical potentials for the graviphoton and axial vector charges appear. In Ref. [4] thermal-like models of this type were constructed, where the Hagedorn instabilities are lifted for specific values of the chemical potentials. Moreover, the partition function was shown to be characterized by thermal duality symmetry: R0 ^ Pc2/R0 where j3c ~ RH (see also [6-8]).

Recently, significant progress towards the construction of tachyon-free, non supersymmetric string vacua has been accomplished with the discovery of a novel Massive Spectrum boson-fermion Degeneracy Symmetry (MSDS), which is manifested at special points in the bulk of moduli space of a class of Heterotic and Type II orbifold compactifications to two (or even one) dimensions [9,10]. At the MSDS points all radii of the internal T8 torus are at the fermionic point. Thus, the eight compact super-coordinates can be replaced by a set of 24 left-moving and 24 right-moving free fermions [11,12], with each set transforming in the adjoint representation of a semi-simple gauge group H [13]. Whenever the boundary conditions respect the latter world-sheet symmetry group, spacetime gauge symmetry is enhanced to a non-Abelian HL x HR local gauge group. The worldsheet degrees of freedom give rise to a new local superconformal algebra whose spectral-flow operator QMSDS has the property of transforming bosonic into fermionic states at all massive levels, while leaving massless states unpaired [9,10]. Because of the similarity with ordinary supersymmetry, we shall also make use of the term "massive supersymmetry", bearing in mind however, that the MSDS symmetry is realized in terms of a different local algebra than ordinary supersymmetry. The degeneracy of states of mass M is:

f = 0 for M = 0,

hb(M) - HF(M) = (1.2)

10 for M > 0.

Therefore, the MSDS vacua trivially satisfy the condition of asymptotic supersymmetry [14,15], which in turn ensures the absence of (physical) tachyons from the spectrum.

One motivation for studying these exotic vacua is the following. Within a string cosmolog-ical framework, it is quite natural to consider the possibility that the very early Universe arose as a hot compact space with characteristic curvature close to the string scale [9,10,16]. The underlying string dynamics may then drive three spatial directions to decompactify, with a large four-dimensional Universe emerging naturally. In the very early cosmological era, where the resulting description of spacetime is expected to be highly non-geometrical [17,18], the full string theoretic degrees of freedom are relevant and must be properly taken into account. As the MSDS vacua are non-singular, it was conjectured in [9,10] that they are suitable candidates to describe this early stringy, non-geometrical era of the Universe. The high degree of symmetry present in these vacua opens a window in identifying and analysing the relevant string dynamics. Moreover, we will show in this paper that some Euclidean versions of the MSDS models naturally describe thermal ensembles associated to (4, 0) supersymmetric models (or, more generally, Nl , Nr < 4), which are further deformed by discrete gravito-magnetic fluxes and are

very similar to the tachyon-free thermal models of [4]. The applicability of these thermal states in the context of hot string gas cosmology is currently under investigation [19]. Previous work on string cosmology includes [20,21].

As a first step in attacking the difficult problem of incorporating the backreaction due to thermal and quantum effects in MSDS vacua, and in order to support the cosmological scenario outlined above, we analyse tree-level marginal deformations away from the enhanced symmetry points. The validity of such an adiabatic approximation requires the string coupling to be sufficiently small. All marginal deformations are described in terms of worldsheet CFT perturbations of the current-current type MIJ JI (z) x JJ (z), where the MIJ describe the various moduli fields associated with the compactification.3 As we deform away from the extended symmetry point, the MSDS symmetry is broken spontaneously. Our goal is to identify classes of thermal and cold MSDS vacua that remain tachyon-free under arbitrary marginal deformations, establishing tachyon-free trajectories that connect the two-dimensional MSDS vacua to higher-dimensional supersymmetric ones via large marginal deformations.

Below we outline the plan of the paper and a summary of our main results.

In Section 2, we briefly review the construction of the maximally symmetric MSDS vacua [9] and their Z^-orbifolds [10]. We proceed in Section 3 to study marginal deformations of the current-current type. We show the existence of large marginal deformations interpolating between the maximally symmetric MSDS vacua (and their orbifolds), and four-dimensional su-persymmetic models, thus establishing a correspondence between the MSDS space of vacua and four-dimensional gauged supergravities.

In Section 3.3, we exhibit the thermal interpretation of various Euclidean versions of the models. The stability of the maximally symmetric vacua under arbitrary marginal deformations is analysed in Section 3.4. We remark on the existence of marginal deformations of the maximally symmetric MSDS models that can lead to tachyonic instabilities, and we show how the dangerous deformation directions can be projected out by considering asymmetric orbifold twists. Such orbifolds that preserve the MSDS structure and produce vacua that remain tachyon-free under arbitrary marginal deformations are explicitly constructed in Section 5. We also identify conditions for general thermal versions of initially supersymmetric (4, 0) vacua to remain stable under arbitrary deformations of the dynamical moduli.

In Section 4, we present a new class of two-dimensional (4, 0) supersymmetric models, which will be referred to as 'Hybrid' models throughout the paper. In these constructions the right-moving supersymmetries are broken at the string scale and are replaced by the MSDS structure. The left-moving supersymmetries are then broken spontaneously via a further asymmetric (freely acting) orbifold. The thermal partition function of the models exhibits thermal duality symmetry and is free of tachyonic instabilities.

Finally, we present our conclusions and directions for future research.

2. Review of the MSDS vacua

In this section we briefly review the maximally symmetric MSDS vacua and their Z^ orbifold constructions. In their maximally symmetric version, the MSDS vacua are constructed as two-dimensional compactifications M2 x K, where the compact space K is described by a c = 8 superconformal field theory. The 8 compact super-coordinates are described in terms of free

3 These fields are massless at tree-level, but may generically acquire mass from one-loop or higher genus corrections. The backreaction on the initially flat moduli fields due to quantum effects will be left for future investigation.

worldsheet fermions [11-13]. This fermionization is possible at specific ("fermionic") radii Ri = y/a'/2 for the compact worldsheet bosons. Throughout this paper we set a' = 1.

In Type II theories, the left-moving worldsheet degrees of freedom consist of the 2 light-cone super-coordinates, the superconformal ghosts (b,c), (fi,y) and the 8 transverse super-coordinates (dX1 ,xr) (I = 1,..., 8). The right-movers have a similar content in Type II theories, whereas in the Heterotic theory one adds 16 extra complex fermions , A = 1,..., 16, as required by the cancellation of the right-moving conformal anomaly.

Fermionizing (Refs. [11,13]) the compact worldsheet bosons, we can express the Abelian transverse currents dX1 in terms of free worldsheet fermions idX1 (z) = yIrnI (z). The fermions {x1 ,yI ,oI} then realize a global affine algebra based on G = SO(24)k=i. In the Heterotic theories, the right-movers can be fermionized without subtleties. For sectors with local worldsheet supersymmetry, however, as in Type II and the left-moving side of Heterotic theories, there are extra constraints arising from the fact that worldsheet supersymmetry must now be realized non-linearly among the free fermions:

Sfa - fabcfbfc, a = 1,...,24.

Imposing that this be a real supersymmetry gauges the original symmetry G down to a subgroup H, such that G/H is a symmetric space. The free fermions then transform in the adjoint representation of the semi-simple Lie sub-algebra H, with dim H = 24. The local currents Ja = fabc^bfc together with the 2d energy-momentum tensor TB and the N = 1 supercurrent TF close into a worldsheet superconformal algebra. The possible gaugings are:

SU(2f, SU(5), SO(7) x SU(2), G2 x Sp(4),

SU(4) x SU(2)3, SU(3)3.

In the following sections we restrict attention to the gauging of maximal rank H = SU(2)|=2, as this is related to the maximal space of deformations.

Respecting the HL x HR = SU(2)8 x SU(2)8 symmetry in Type II or the HL x HR = SU(2)8 x SO(48) in the Heterotic, leads to very special tachyon-free constructions with left-right holomorphic factorization of the partition function [9]. In the "prototype" maximally symmetric constructions all left-moving fermions are assigned the same boundary conditions. The modular invariant (mass generating) partition functions in Type II and Heterotic theories are given by

1 0^1 !2 9 [a ]12

ZII = ¿2 E (-)a+b-z1r E (-)a+b^ = (V24 - S24)(V24 - S24) = ^

a,b=0,1 a,b=0,1

1 0^112

ZHet = 2 E (-)a+b^rT r[Hr]= 24 x (d[Hr] + jCz) - 744]). (2.1)

a,b=0,1 ^

In the Heterotic case there are various possible choices for HR, corresponding to d [HR] = 1128 for Hr = SO(48) and d[Hr] = 744 for Hr = SO(32) x or Hr = E3. The Klein invariant combination (j(z) - 744) is eliminated after integration over the fundamental domain (or by imposing level-matching).

Both ZII and ZHet are seen to exhibit a remarkable property: the numbers of bosonic and fermionic states are equal at each massive level nB - nF = 0, with the exception of the massless

modes which are unpaired4 (Massive Spectrum Degeneracy Symmetry). One may further show that the partition functions of MSDS models take the generic form:

Z = m + n(j — 744), (2.2)

where m,n e Z, and m = nB — nF counts the massless level degeneracy. The integer n gives the degeneracy of the simple-pole contribution from unphysical tachyons in the right-moving sector.

The MSDS structure has a simple CFT interpretation. Indeed, it is possible to construct a chiral current that ensures the mapping of massive bosonic to massive fermionic representations, while leaving the massless spectrum invariant:

ja(z) = e10 — hH° C24,a(z), (2.3)

where C24,a is the spin-field of SO(24) with positive chirality. This acquires (1, 0) conformal weight once the ghost dressing —5/8 + 1/8 is taken into account. Its zero-mode QMSDS = § j defines a conserved MSDS charge ensuring the mapping of the massive towers of

states level by level. Acting with the MSDS current on the vectorial V = e-0 jr and the spinorial S = e—10—2HoS24,a representations, we find that the MSDS current annihilates the massless vectorial states j(z)V(w) = regular, whereas the first massive descendants of the vectorial family [V](1) = e-0Dj transform into the spinorial S representation and vice-versa. In this notation, jr = jaYa denotes the contraction with the y-matrices of SO(24) and D = d + J is the covariant-like derivative, associated to the gauging of supersymmetry and J = jr jr. Since only the 24 (chiral) massless states ja are unpaired, they contribute to the character difference V24 — S24 = 24.

Despite their attractive uniqueness, the maximally symmetric MSDS vacua are not directly useful for phenomenology. As discussed in [9,10], a direct decompactification of all 8 compact coordinates leads to the conventional ten-dimensional superstrings with N = 8 supersymme-tries (N = 4 in the Heterotic case), which have no hope of describing chiral matter. It was shown in [10] that it is possible to break the HL x HR symmetry by considering orbifolds of the maximally symmetric vacua that preserve the MSDS structure. A complete classification of ZN-constructions was given in [10], where the necessary and sufficient conditions for MSDS symmetry were derived. The result is that whenever the boundary conditions and Generalized GSO-projections (henceforth referred to as GGSO) respect the global, chiral definition of the spectral-flow operator jMSDS and if, in addition to the usual modular invariance conditions, the boundary condition vectors ba:

ja ^—einbafa, with ba e{0,1} satisfy the extra holomorphic constraint:

nL(ba) = 0(mod 8) for all ba,

the resulting vacuum possesses MSDS structure. It is possible to generalize this construction for more general Zk-orbifolds, but this will be considered elsewhere.

Finally, we briefly comment on the moduli space of the maximally symmetric models. The massless spectrum of these models contains dL x dR massless scalars parametrizing the manifold:

4 In fact, in the maximally symmetric MSDS models, the massless spectrum is entirely composed of 576 scalar bosons so that no matching between massless bosonic and fermionic states is possible.

^ = SO(dL,dR) (2.4)

SO(dL) x SO(dR) ' '

where dL,dR are the dimensions of the HL, HR gauge groups, respectively. Not all of these scalars correspond to moduli fields, since the symmetry enhancement at the MSDS point introduces extra massless states into the theory. The marginal deformations (flat directions) are those associated to the Cartan sub-algebra U(1)rL x U(1)rR, with rL and rR being the ranks of HL and HR, respectively. As discussed in [9], the moduli space of these current-current type deformations (modulo dualities) is given by the coset:

^ = SO(rL,rR) . (2.5)

SO(rL) x SO(rR) K ;

3. Marginal deformations of the MSDS vacua

In this section we proceed to study marginal deformations of the MSDS vacua [9,10]. To this extent, we locate these vacua in the moduli space of Type II and Heterotic (a-)symmetric orbifold compactifications [22] to two dimensions, where supersymmetry is spontaneously broken by geometrical fluxes. The MSDS points are special in that they exhibit enhanced gauge symmetry and massive boson/fermion degeneracy symmetry. As we will see, there are lines in moduli space connecting the two-dimensional MSDS vacua with four-dimensional supersymmet-ric string vacua. Our goal is to analyse the stability of the models under marginal deformations along and around these lines, as well as to exhibit various thermal interpretations. The analysis we perform in this work is at the string tree-level (and weak string coupling). The more difficult problem of obtaining the backreaction of the quantum corrections due to the spontaneous breaking of supersymmetry will be left for future investigation.

3.1. Maximally symmetric MSDS vacuum as a half-shifted lattice

We begin by considering the Euclidean version of the maximally symmetric MSDS vacua. In order to obtain the relevant half-shifted lattices [23], we express the partition function of the Type II and Heterotic models as follows:

V2 f d2 t

Z = on?] 40mT)*ZII<Het'

1 flra14 _ 4 - / 12 \

7 1 Y^ V^ ( \g+b°[b] n ra'a 1 lb < \(a+b)x [b] \

Zl1,Het = 22 Z. (-) "nr^'UbJ^br(-)( 'yn^) ' ()

a,b=0,1 a,b=0,1

where the values x = 1, x = 0 correspond to the Type II and Heterotic cases respectively. Here V2 is the volume associated to the two very large, "spectator" directions, which do not couple to any of the ^-symmetry charges. At the MSDS point, the asymmetrically half-shifted r^^' lattice admits holomorphic/anti-holomorphic factorization in terms of 0-functions:

W ll 1=0 [ b 180[ b 18. (3.2)

The Type II and Heterotic moduli spaces are given by

SO(8) x SO(8 + 16(1 - x)) y J

modulo the corresponding discrete duality groups. To facilitate the analysis of the marginal deformations, we express the lattice in the familiar Lagrangian form so that the values of the Glv, Blv moduli at the MSDS point can be extracted.

It is convenient to define h = a — a and g = b — b and write the lattice as

w =° [ am b—h]8- (3.4)

Then by using the identity [24]

a[ a\£[ a \ 1 V^ — n |m+ g +x(n+§ )\2+in[mn — (a — § )m+(b— g )n+ § (b— g)]

0LJ0LbJ = ^2^ 2-, 6 222 , (3.5)

V2T2 m,nsZ

we can express (3.4) in terms of a product of eight F(i,i) shifted lattices

r _ 1 — Ei \mi + g+T(ni + §)\2+in[Y,imtni+(a+§) mi + (b— g) Zi n]

1(8'8) (V2T2 )8 Z 6 '

mi,ni SZ

where the i-summation is over the 8 internal directions. It is clear from this expression that ordinary supersymmetry is spontaneously broken by the couplings of the lattice to the ^-symmetry charges (a,b) and (a,b). In the Type II case, these correspond to the left- and right-moving spacetime fermion numbers, FL and FR, respectively, while in the Heterotic case, the first pair corresponds to the spacetime fermion number F and the latter to right-moving gauge R-charges. Despite the breaking of supersymmetry, the model exhibits massive boson/fermion degeneracy symmetry, which will generically be broken by marginal deformations away from the extended symmetry point.

As is well known, supersymmetry can only be recovered at corners of the moduli space, where certain moduli take infinite values and the R-symmetry charges decouple from the lattice. We would like to identify the precise combinations of Kahler moduli that need to be decompactified in order to recover supersymmetry. For this purpose, we show in Appendix A, that the ^(8,8) lattice (Eq. (3.6)) can be brought to the following Lagrangian form:

n [ a, a\ Vdet GIV ^ — n(G+B)iV(m+rn)ll(m+rn)v+inT ,, ,

^'b^lv^^Z6 2 , (3.7)

v m1,nv SZ

where, for later convenience, we have denoted the lattice directions by Greek indices taking values from 0,1,..., 7. Glv and Blv stand for the metric and parallelized torsion corresponding to the deformed E8 x E8 lattice. Their values are completely fixed by the MSDS symmetry point. The phase T can be written in the form:

Th = [m 0(a + a) + n°(b + b)\ + (m 1n1 + m 1a + n1b>). (3.8)

It describes the couplings of the lattice to the R-symmetry charges (a, b) and (a, b). We see that only two of the eight internal cycles couple to them in this representation. As a result, by decompactifying these two cycles, we recover a four-dimensional supersymmetric vacuum. In the Type II case, the X0 cycle is "thermally" coupled to the total fermion number FL + FR, whereas the X1 direction is "thermally" coupled to the right-moving fermion number FR [24,25]. This particular representation will prove very useful for the subsequent discussions concerning the marginal deformations and the thermal interpretation of the Type II MSDS models. We shall henceforth refer to it as the "thermal" or "temperature" representation.

Alternatively, we can bring the lattice in a left-right symmetric form by a change of basis: (m 1,n1) ^ (m1 ± m°,nl ± n0). The new phase-coupling is given by

This basis exhibits the two independent couplings to the R-charges (a, b) and (a,b). Now it is in the Heterotic case that the X0 cycle is "thermally" coupled to the spacetime fermion number, while the X1 cycle couples to right-moving R-gauge charges. In the Type II case, the couplings are associated to the left- (FL) and right- (FR) moving fermion numbers. This basis will be henceforth referred to as the "symmetric" representation. The metric and antisymmetric tensor in the symmetric representation are given in Eqs. (A.12) and (A.13) of Appendix A.

In either form, the original (8, 8)-lattice is separated into a (2,2) sub-lattice coupled to the R-symmetry charges and an "internal" (6, 6) sub-lattice. It is interesting to note that the (2, 2) sub-lattice in the symmetric representation takes the form of the thermal r(2,2) lattice used in [4] to construct tachyon-free thermal models in Type II theories. The difference here is the nontrivial mixing with the (6, 6) sub-lattice via the off-diagonal Glv, Blv elements, as dictated by the MSDS point in moduli space. This "decomposed" form is in fact the most general possible form of an (8, 8) lattice "thermally" coupled to the left- and right-moving fermion numbers FL, Fr . It is the starting point for the discussions that follow.

3.2. The creation ofspacetime and the MSDS/4d gauged supergravity correspondence

The physical interpretation of the Euclidean model depends on the choice of the time direction. We first consider two-dimensional cold MSDS vacua, where the Euclidean time is taken along one of the non-compact, spectator directions. Upon rotation to Lorentzian signature, these two directions analytically continue to the longitudinal lightcone directions X±. The Euclidean partition function determines the energy density of the vacuum, which is induced at the one-loop (and higher genus) level by the spontaneous breaking of supersymmetry.

In the previous section, the r^^) lattice corresponding to the maximally symmetric MSDS vacuum was expressed in its fully "decomposed" form (3.8), where only a (2,2) sub-lattice couples to the R-symmetry charges (a + a,b + b) and (a, b). In that notation, the (2, 2) sub-lattice is spanned by the quantum numbers [(m°,n°); (m1 ,n1)]. We denote the associated compact directions by X0 and X1 respectively. In Type II theories, the R-symmetry charges correspond to the total and right-moving spacetime fermion numbers, FL + FR and FR. Their coupling to the lattice breaks the initial (4,4) supersymmetries to (0,0) spontaneously. In the infinite-radius limit, R0,R1 ^ to, where the X0 and X1 cycles decompactify, only the (m°,n°) = (0, 0) and (m 1,n1) = (0, 0) orbits survive, and the R-symmetry charges effectively decouple from the lattice. In this limit we recover a four-dimensional maximally supersymmetric, N = 8, Type II vacuum. As we will show in Section 3.4, this particular decompactification limit can be described in terms of adiabatic motion along a tachyon-free trajectory in moduli space, which interpolates continuously between the two-dimensional MSDS vacua and the four-dimensional supersymmet-ric ones.

The decompactification limit can be achieved via large marginal deformations of the current-current type. Specifically, one perturbs the sigma-model action by adding marginal operators of the form

Tsym. = (m °n° + m 0a + n°b) + (m 1n1 + m 1a + nlb).

X0J0 x J0 + X1J1 x J1 - X0dT'dX0 + X1dX1dX1,

(3.10)

and then takes the A.o,A.i ^^ limit adiabatically. Of course, we would like to identify more trajectories along which we do not encounter tachyonic instabilities as we deform from the non-singular MSDS vacuum to the supersymmetric one. This problem will be investigated in Section 3.4.

Near the extended symmetry point, the corresponding T2 sub-manifold is threaded by nontrivial "gravito-magnetic" fluxes, as indicated by the non-vanishing values of the G0I, G1I and B0I, B1j, I = 1,..., 6, moduli and the couplings to the R-symmetry charges. When the size of space is of the order of the string scale, classical notions such as geometry, topology and even the dimensionality of the underlying manifold are ill-defined (see [17] for discussions). A familiar example, the SU(2)k=1 WZW model, serves to illustrate these issues: the target space can be taken to be a highly curved three-dimensional sphere with one unit of NS-NS 3-form flux, or in an equivalent description, a circle at the self-dual radius. For large level k, however, the target space can be unambiguously described as a large 3-sphere with NS-NS 3-form flux. Similarly, in our case, a clear geometrical picture involving four large spacetime dimensions, along with an effective field theory description, arises in the large moduli limit. Two additional large dimensions emerge via marginal deformations of the current-current type. In a cosmological setting, the deformation moduli acquire time-dependence. It is plausible then that a four-dimensional cosmological space is created dynamically from an initially non-singular, 2d MSDS vacuum.

The four-dimensional maximally supersymmetric vacuum (obtained in the infinite-radius limit) corresponds to a Type II compactification on a T6 torus with fluxes, with the T6 moduli remaining close to the fermionic point. The internal moduli can be also deformed, and so one obtains a rich manifold of maximally supersymmetric vacua. The low energy effective description is in terms of d = 4, N = 8 gauged supergravity, where the gauging is induced by the internal fluxes. This illustrates the correspondence of the maximally symmetric MSDS vacuum with the maximal d = 4, N = 8 gauged supergravity. This correspondence can be also extended to less symmetric cases, where the initial MSDS symmetry is reduced by orbifolds [10]:

[Zorb : MSDS]d=2 ^ IN < 8 : SUGRA]d=4, fluxes. (3.11)

This more general class of models includes also four-dimensional (4,0) and (0,4) vacua, as well as their orbifolds, obtained by decompactifying a suitable cycle within the (2,2) sub-lattice together with one of the directions associated with the (6, 6) sub-lattice.

In the Heterotic models, only the left-moving spin structures (a, b) are associated with the spacetime fermion number and, thus, only one modulus need be infinitely deformed in order to yield a supersymmetric theory. Starting with the maximally symmetric MSDS Heterotic model, a four-dimensional N = 4 model can be obtained by decompactifying one additional direction. A novel feature is the coupling of the X1 cycle to internal, right-moving gauge charges. This coupling is induced by discrete Wilson lines associated with the non-Abelian gauge field (arising from the right-moving sector). It would be interesting to identify initially MSDS Heterotic vacua, which can be connected via large marginal deformations to phenomenologically viable, d = 4, N = 1 chiral models. The classification of the N = 1 models and their phenomenology will be studied elsewhere [26].

At intermediate values of the radii R0,R1, the four-dimensional spacetime part includes non-trivial geometrical fluxes which induce the spontaneous breaking of supersymmetry. In the maximally symmetric Type II models there are two supersymmetry breaking scales associated with the breaking of the left- and right-supersymmetries respectively. In a cosmological setting, one should also introduce temperature into the system. The conventional thermal deformation is obtained as follows. One starts with a cold MSDS vacuum where the Euclidean time is along one

of the two non-compact spectator directions, and compactifies it on a circle. This circle must be coupled to the total fermion number F in a manner consistent with the spin/statistics connection. The induced temperature is inversely proportional to its radius, and leads to the familiar Hagedorn instabilities when it becomes of the order of the string scale. As we will explicitly show in the next section, however, some Euclidean versions of the models, where the two spectator dimensions remain non-compact, admit a thermal interpretation of their own. They describe thermal string vacua in the presence of left/right asymmetric gravito-magnetic fluxes, very similar in fact to the tachyon-free thermal models studied in [4]. In these Euclidean models one of (the already existing) supersymmetry breaking scales is identified with the temperature.

3.3. Thermal interpretation of the models

In this section, we consider Euclidean versions of Type II MSDS models, where time is identified with one of the compact directions associated with the T8 torus. The physical interpretation of such a model is in terms of a string thermal ensemble, with the temperature given by the inverse radius of the Euclidean time cycle. Consistency with the spin/statistics connection and modular invariance require that the quantum numbers associated with the Euclidean time cycle couple to the spacetime fermion number F through a specific cocycle. At the level of the one-loop thermal amplitude, this cocycle takes the form

ein(rh 0F+n0F), (3.12)

correlating the string winding numbers with the spacetime spin [24,25].

In the MSDS models, we can identify a thermal cycle, which couples to the spacetime fermion number as dictated by the spin/statistics connection, within the (2, 2) sub-lattice responsible for the supersymmetry breaking. However, as in the models of [4], this cycle is also threaded by non-trivial "gravito-magnetic" fluxes, associated with various U(1) graviphoton and axial vector gauge fields. The presence of these fluxes refines the thermal ensemble, and so chemical potentials associated with the fluxes appear [4]. Despite the fact that the radius of the Euclidean time circle is smaller than the Hagedorn one, these additional fluxes render the partition function at the MSDS points finite. In light of the thermal interpretation of the models, we motivate them further.

At finite temperature, the one-loop string partition function diverges when the radius of the Euclidean time circle is smaller than the Hagedorn value: R0 < RH. This divergence can be associated with the exponential growth of the density of single-particle string states as a function of mass. It can also be interpreted as an infrared divergence since, precisely for R0 < RH, certain stringy states winding around the Euclidean time circle become tachyonic. These instabilities signal the onset of a non-trivial phase transition at around the Hagedorn temperature [27,28]. If a stable high temperature phase exists, it should be reachable through the process of tachyon condensation, where the tachyon "rolls" to a new stable vacuum. In the literature there are many proposals concerning the nature of this phase transition, but the large values of the tachyon condensates involved drive the system outside the perturbative domain, and so adequate quantitative description of the dynamics is lacking (see e.g. [27-29]).

Another way to proceed is to deform the background via other types of condensates that can be implemented at the string perturbative level, so that the tachyonic instabilities are removed. In addition to the temperature deformation, we turn on certain discrete gravito-magnetic fluxes threading the Euclidean time circle, as well as other internal spatial circles [4]. In fact, these

fluxes can be described in terms of gauge field condensates, of zero field strength, but with nonzero value of the Wilson line around the Euclidean time circle. The would-be winding tachyons get lifted as they are charged under the corresponding gauge fields. An analogue to keep in mind is the case of a charged particle moving on a plane, under the influence of an inverted harmonic oscillator potential. A large enough magnetic field can stabilize the motion of the particle. The thermal MSDS vacua correspond precisely to such tachyon-free setups. The MSDS algebra completely fixes the structure of the corresponding statistical ensemble, determining the values of the temperature and the chemical potentials associated with the gravito-magnetic fluxes.

The thermal vacua are of particular interest in the context of string cosmology. It was argued in [9], that the MSDS vacua are promising candidates to describe the very early phase of the Universe. As the thermal MSDS vacua are free of Hagedorn instabilities, they could be the starting point of the cosmological evolution. In such a dynamical setting, the physical moduli acquire time dependence, so it is necessary to construct thermal MSDS vacua that remain tachyon-free under fluctuations of the dynamical moduli, as well as to identify safe trajectories in moduli space that connect the models to higher-dimensional thermal ones.

Now not all of the 64 moduli in the SOSs)XSo(8) space correspond to fluctuating fields. Local worldsheet symmetry permits one to gauge away the oscillator degrees of freedom associated to the Euclidean time direction and to an additional spatial direction. This implies in particular that certain combinations involving the G0I and B0I moduli can be frozen, and the corresponding fluctuations are set to zero. As we will see, the various geometrical data associated to the Euclidean time direction are naturally interpreted as the thermodynamical parameters of the statistical ensemble. For the maximally symmetric MSDS models, we choose the direction of Euclidean time to lie in the first direction, X0, of the (2, 2) sub-lattice, see Eq. (3.9), coupling to the left-moving R-symmetry charges. As before, the coordinates of the full (8, 8)-lattice are collectively denoted by Greek characters = 0,1,..., 7}; the coordinates X1, other than the Euclidean time will be denoted by Latin characters [I = 1,2, 3,..., 7}. This includes, in particular, the direction I = 1 in the (2,2) sub-lattice coupling to the right-moving R-symmetry charges.

3.3.1. The thermal ensembles

In this section we exhibit the thermal interpretation of the class of models considered in this paper. Our discussion will be focused on the maximally symmetric MSDS models, but may be suitably adapted to apply to the twisted MSDS and Hybrid models of the following sections. Our starting point will be a general lattice of the form (A.11):

r(8,8)Ud= {JT2 )8 e 12 ■ (113)

We use the tilde and upper indices (mM,nM) to denote the winding numbers around the two nontrivial loops of the worldsheet torus. The momentum quantum numbers (mM) are denoted without tildes and with lower indices.

We single-out the direction (m°,n°) of the lattice, corresponding to the compact Euclidean time direction. We assume the following general form for the metric G^v and antisymmetric

tensor B^v :

G/J,V ■

G°° G°j

gi ° Gij

B»v =

° B°j'

bi ° Bj

(3.14)

For the case of the maximally symmetric MSDS models, their numerical values are given in (A.12) and (A.13). The phase coupling T takes the form

T = (th0 n0 + ami0 + bn0) + (m 1n1 + a mi1 + bn1). (3.15) For later convenience, the determinant may be written as

det = R0 det Gu, (3.16) where R^ is given by5

r2 = Goo - goig'jgj0, (3.17)

and will be shown below to correspond precisely to the inverse temperature j = 2nR0.

In this form the X0 and X1 directions couple (independently) to left- (FL) and right- (FR) moving fermion numbers respectively. To make the thermal nature of the coupling explicit, we change basis by shifting (m1 ,n1) ^ (m1 - m0,n1 - n0), so that the X0-cycle couples to the total spacetime fermion number FL + FR:

T ^ [(a + a)m0 + (b + b)n°] + [mi 1n1 + am1 + bn1] + (mi0n1 - m 1n0)

= t'+ (miV - mi 1n0). (3.18)

The new phase coupling T' is the sum of a thermal coupling to the total fermion number FL + FR, which corresponds precisely to the conventional thermal deformation of Type II theories, along with an independent coupling of the X'1 direction to FR. The latter deformation breaks spontaneously the right-moving supersymmetries, N = (4,4) ^ (4,0), before finite temperature is introduced into the theory. The thermal deformation breaks the remaining left-moving supersym-metries to (0,0). The last term in the transformation (3.18) is the discrete torsion contribution to B'01. In the new basis, the metric and antisymmetric tensor are given by

G'flV =

Goo + 2Goi + G11 Goj + Gij

Gi o + Gi i GiJ

o bo j + Bij + 2

Bio + Bi i - 1 Si i BiJ

(3.19)

The radius R2is left invariant by the change of basis:

Goo - G'oiG'IJGJo = Goo - goig'jgjo = Ro- (3.20)

Next we Poisson re-sum all the in1 windings transverse to the temperature direction. This sets the (7,7) lattice associated with X'1 directions to its Hamiltonian picture. The full (8, 8) lattice reads:

E ^m0^"0'2 (-)(a+a)no+(b+b)no ^ nil°,n°sZ

x £ q1PLq1PR (-)~b"1 e2niifl0(G'oiQl(M)-B'^iQiN)). (3.21)

mi,"1 €Z

5 Throughout, GIJ is the inverse of Gjk : GIJ G jk = .

Here, PL R = G(J P[ RP[ R are the canonical momenta of the transverse lattice:

P[,R = 7GIJ(mj + ^^Sj 1 + (BjM ± Gj^n1), (3.22)

with (+) and (-) corresponding to the left- and right-moving canonical momenta, respectively. We have also defined

Q'lM, = -7= PL + Pi)- Q'rn = — PL - K). (3-23)

Jf P + Pi)- qN = 7-j'

The thermal interpretation of the models becomes manifest, when we decompose the lattice (3.21) in modular orbits. These are the (m°,n°) = (0, 0) orbit which is integrated over the fundamental domain, and the (mi0,0), m0 = 0 orbit which is integrated over the strip6 [4]. At zero temperature, we recover a supersymmetric 3-dimensional (4,0) model, and so the contribution of the (0, 0) orbit vanishes. The strip integral determines the free energy of the model at one loop. The integrand involves

71 £ e-f(R 0m 0)2 {-)(a+-a)m0 £ q 2 PL q 1P2 (-)bn1 (g0i Q{m)-B0i Q(n)) ,,

^^ mi'=0 mI,nIsZ

(3.24)

where now the 14 transverse U(1) charges Q(M), Q(N) (evaluated at n0 = 0) are those associated with the graviphoton, G(f, and axial vector, B( fields.

From the above expression, we can infer the form of the complete spacetime partition function:

ZG'0I,B'I) = tr [e-PHe2ni{G'oiQl(M)-B^iQl(N))], (3.25)

where the trace is over the Hilbert space of the 3-dimensional (4, 0) theory.7 The model describes a thermal ensemble at temperature T-1 = ft = 2nR0, which is further deformed by (imaginary) chemical potentials for the graviphoton and axial vector charges Q(M), Q(N). At temperatures sufficiently below the string scale, with the other compact spatial cycles held fixed at the fermionic point, the massive states carrying these charges effectively decouple from the thermal system, and so in this limit we get a conventional thermal ensemble.

Notice that the argument of the phase in (3.25) is scale invariant. To make this invariance explicit, we rewrite it in terms of the integral charges

a + n1 (

mi = mi +---— S11, n . (3.26)

We obtain that

Zfi1, ¡11) = tr [e-ftHe2n{>Jmi-finI)], (3.27)

where f1 = iG'0KGKI, ff( = i(B'0( - G'0JGJKBKI) are the chemical potentials for the charges m(, n1. The background expectation values

6 For sufficiently large Ro to ensure absolute convergence. See also the discussion in Section 4.2.1.

7 Since the Hamiltonian is quadratic in the charges, the partition function is real.

GI _ fit r^KI

0 = G0KG ,

B01 = B01 - GK Bki,

(3.28)

associated to the Euclidean time direction are non-fluctuating thermodynamical parameters (chemical potentials) of the statistical ensemble.

3.4. Deformations and stability

In this section we investigate whether the MSDS vacua are stable under marginal deformations; that is, whether small (or even large) deformations in moduli space around the MSDS point remain free of tree-level tachyonic instabilities. The answer depends on the number of de-formable moduli, their relative size, as well as on the interpretation of the model, which may describe a two-dimensional string model on M2 x T8 or a string thermal ensemble.

In the remaining part of this section we will be concerned with the stability properties of the maximally symmetric MSDS vacua under arbitrary marginal deformations of the current-current type. Our analysis focuses on thermal Type II vacua, but it can be easily extended to the other cases. We show that the maximally symmetric MSDS models are unstable under arbitrary deformations of the dynamical moduli. Note that for the two-dimensional (cold) maximally symmetric vacua, the negative curvature induced once we take the backreaction of the quantum corrections into account, may lift such tree-level "tachyonic instabilities" (which may occur as we deform away from the MSDS point). We also identify the necessary conditions for more general thermal vacua to be stable under arbitrary deformations of the dynamical moduli. We show that only for a very specific thermodynamical phase (choice of chemical potentials) are the corresponding thermal vacua stable under arbitrary marginal deformations of the transverse moduli and the temperature. This restriction can be waived by considering orbifold twists of the original model, which project out some of the deformation moduli. Stable orbifold MSDS vacua will be constructed in Section 5 of the paper.

Tachyons in the string spectrum may only appear in the NS-NS sector, where a = a = 0. In terms of S0(8)-characters, the 'dangerous' sector in the partition function is the sector with odd chiral and anti-chiral GSO projections to the lattice:

The odd GSO projection is imposed independently to the left- and right-movers by the b', b'-summations. It is clear that only lattice BPS states can become tachyonic, since any left-moving (right-moving) oscillator would immediately make the state massless, at least holomorphically (anti-holomorphically). At the MSDS point, where the moduli take the precise values given in Eqs. (A.12) and (A.13), the lowest lying physical states in the NS-NS spectrum are all massless. The question we would like to address is what happens to these particular states under arbitrary marginal deformations.

The metric and antisymmetric tensor will be assumed to be in the "temperature basis", where the phase coupling has the form

(3.29)

b',b'=0,1

T = [(a + a )m0 + (b + b)n°] + [mi 1n1 + a mi1 + bn1].

(3.30)

The primes in the metric and antisymmetric tensor used in the previous section are here omitted for notational simplicity. Recall from the previous section that the temperature modulus was

identified with R2 = Goo - GoiGij GJo. We can use vielbein notation that brings the lattice metric to the flat frame GlV = e^e^. It is a well-known fact in linear algebra that any positive definite symmetric matrix GlV has a unique decomposition8 into the product of an upper and a lower triangular matrix. Indeed, let us choose the vielbein matrix (ea)l to be the unique lower triangular matrix in this decomposition. The first row of this vielbein matrix,

(ea=o)i = (Ro, 0,...,0), (3.31)

corresponds precisely to the radius Ro associated to the temperature. The inverse metric is similarly decomposable GlV = (e*a)^ (e*a)v in terms of the dual vielbein lattice base vectors (e*a)1, which can be equivalently seen as an upper triangular matrix. The first row of the dual vielbein matrix is given by

{e*,a=0)1 = -1 (1, -G0), (3.32)

with J = 1,..., 7, and

GO = GoiGIJ (3.33)

are the (frozen) chemical potentials (3.28) associated with the U(1) graviphoton charges. Similarly, we define the antisymmetric tensor bab in the flat frame using the decomposition BlV = e^ebvbab. We then find

b0K - bobebK = -L(Bok - GJBjk) = B^, (3.34)

which were identified in the previous section as the chemical potentials associated with the axial U(1) charges. Similarly:

fc00 - fc0V)0 = o = ^.

From the point of view of the thermal interpretation, this particular vielbein decomposition is natural because it directly reveals the temperature and chemical potentials of the statistical system.

In the flat vielbein frame, the mass formula for the BPS-spectrum becomes

2Pl,R = 4 E ((e*TK + B,vnv) ± eX)2, (3.35)

where mM = mM + 4(a + 4. The half-shifted momentum, m4, corresponds to the direction associated with the breaking of the right-moving supersymmetries. The decomposition of the mass formula into 8 perfect squares is very useful for the subsequent stability analysis. We first examine the contribution of the first square in (3.35), involving the temperature radius R0:

1 /m0 - G0mi + B0jnJ + B01G0n0 0x2

± R0n0 . (3.36)

8 This decomposition is a special case of the standard LU-decomposition and is called Cholesky decomposition.

We note that contribution (3.36) is entirely determined by the thermodynamical variables of the statistical ensemble and is unaffected by the fluctuations of the dynamical moduli. The fluctuations of the latter will only affect the 7 remaining contributions in (3.35), organized into squares associated to the "transverse" moduli space. Now arbitrary fluctuations of the dynamical moduli can always lower such a "transverse" contribution to its minimum (vanishing) value. Consequently, if the model under consideration is to be free of tachyonic instabilities for any deformations of the dynamical moduli, the frozen contribution (3.36) should suffice to render the low-lying spectrum at least chirally massless.9 Next we examine under what conditions this is the case.

Imposing independent odd left- and right-moving GSO projections as in (3.29) yields: n0 e 2Z + 1 and n1 e 2Z. (3.37)

The level-matching condition is then written as

1 1 y )n1 + m2n2 +-----+m7n' = 0. (3.38)

of n \ 1 2 7

mon + Imi + — In + m2 n + ---+m7n = 0.

The thermal contribution (3.36) to the mass of a state with charges (m^,nfl) has a minimum at radius

mo - G0mi + BojnJ + BoiG0n0

tfo,min = -0-0-— ' (3-39)

and the minimum, yet non-vanishing, value of 1P^ R is given by

2P^in =\{mo - G0mi + BojnJ + BoiG0n°)n°|. (3.40)

A thermal model that is tachyon-free regardless of deformations along the "transverse" moduli space should, necessarily, have | P^ > 2. It is straightforward to show, by considering various states that satisfy level-matching, that the corresponding conditions on the chemical

potentials are:

G 0 e Z B0k e Z

for k = 2,...,7,

GJ e 2Z + 1, B01 e Z + ^. (3.41)

As a result, any Type II vacuum in a thermodynamical phase satisfying (3.41) will be tachyon-free for any value of the temperature R0 and for all expectation values of the "transverse", dynamical moduli. It is shown in Appendix D that, whenever these conditions are met, the chemical potentials can always be rotated (by a discrete O(8, Z) x O(8, Z) rotation) to the form G0 = B0k = 0, G1 = 2B01 = ±1. This is precisely the case when the temperature cycle S1 can be factorized from the remaining toroidal manifold, in which case it couples to the left-moving fermion number FL only, as in the models of [4]. It is straightforward to show that the spacetime partition function (3.27) reduces in this case to

9 By chirally massless we mean states that are massless either from the holomorphic or anti-holomorphic sector of the theory. This is because only level-matched states are physical.

Z = tr [e-^H(-1)Fr], (3.42)

the right-moving fermion index.

For the maximally symmetric MSDS models, the thermodynamical parameters are numerically determined to be:

Ro = 4,

/3 1 111

0 \2 4 4 2 4

/ 3 13 1 \ Boj = (0, -4, -^, -3,0, -4,oj. (3.43)

They obviously do not satisfy conditions (3.41) and so, the maximally symmetric MSDS models are not tachyon-free for arbitrary marginal deformations, including small marginal deformations around the non-singular point.

However, we can now show that the asymptotic limit R0 ^<x> continuously interpolates between the thermal MSDS vacuum and supersymmetric vacua at zero temperature, without encountering tachyonic states. For this purpose we notice that the (shifted) momentum contribution M0 = m0 - G0mj + B0JnJ + B0jG0n0 comes as

\M0\ =

z + t + t

e ^0,1,1 ,...\. (3.44)

Since n° is odd, only states with n° = ± 1 winding number can become tachyonic. Clearly, only the two cases Mo = o, Mo = 1 need be examined, since all others are at least massless.

For Mo = o the corresponding states have vanishing momentum and non-trivial winding along the temperature cycle. The mass of these states vanishes at Ro ^ o and diverges at Ro ^to. The MSDS point corresponds to the radius Ro = 1 and is tachyon-free. As a result, increasing the radius (lowering the temperature) never produces tachyonic instabilities, since the masses of these states can only further increase, provided of course that the transverse moduli are kept fixed at their MSDS values. For the states Mo = 4, the mass contribution (3.36) has a minimum at Ro = 4 (assuming no = ±1), which corresponds to the tachyon-free MSDS point. Again, keeping all transverse moduli fixed and varying only the temperature modulus Ro, we never encounter tachyons since the most dangerous point for these states is precisely the MSDS point, which we know to be free of tachyons.

This establishes the existence of a deformation trajectory Ro ^to that takes the initial MSDS thermal vacuum to a supersymmetric vacuum at zero temperature, without encountering tachy-onic instabilities. Once the temperature has fallen considerably, marginal deformations along the "transverse moduli" are free of tachyons. As a result, it is possible to further decompactify one or more spatial dimensions to obtain higher-dimensional vacua. If one of the decompactified spatial radii is the one coupling to the right R-symmetry charges, one eventually obtains a d = 4, N = 8 supersymmetric vacuum at zero temperature.

Finally, it should be noted that the conditions (3.41) apply only to the case of string vacua of the "maximally symmetric type". For vacua in which some of the (dynamical) moduli are twisted by orbifolds, the previous argument is no longer necessarily restrictive and it is, in fact, possible to construct orbifold MSDS vacua that are tachyon-free with respect to any deformation in the "transverse" moduli space. We construct such tachyon-free vacua in Section 5.

3.5. Connection to tachyon-free Type II thermal models

It is interesting to observe that the maximally symmetric MSDS vacua are continuously connected to the class of tachyon-free Type II thermal vacua constructed in [4]. In what follows we present the interpolation between the two classes of models.

We take the representation (A.11) for the lattice, and consider large marginal deformations along which the T6 torus decompactifies. In this limit, only the zero orbits survive:

(m2,n2) = (m3,n3) = (ih4, ñ4) = (m'2,n'2) = {m'3,n'3) = (M',N') = (0, 0), (3.45)

which effectively decouples the full lattice into the (2, 2) and (6, 6) sublattices. with their contribution reducing to a volume factor V6. The original lattice (A.11) reduces into the product of two rjij) lattices, each "thermally" coupled to the left-moving and right-moving R-symmetry charges, respectively:

V0 = m0 + rn°, V1 = hi1 + Tn1,

—— (|v°|2 + |v M2) + in\m 1n1 + a a1 + bn1 + a V + am0 + bn0]. (3.46)

One may then shift V1 ^ V1 + V0 in order to obtain the thermal lattice of [4] at the fermionic point in moduli space:

r _ V6 r(88) ^ (2T27

^ ^ 2%(|V 0 |2+|V 0+V 1\2)+in[mi° (a+a)+n°(b+b)+(m 1n1+üm 1+bn1)+(Oi 1n°-m°n1)]

m °,ft°,m 1,n1 €Z

(3.47)

In this form the X0 cycle couples to the total spacetime fermion number FL + FR, while the X1 cycle couples only to the right-moving fermion number FR.

Following the discussion of the previous section on the thermal interpretation of the maximally symmetric MSDS models, we can identify the Euclidean time direction along the X0 circle, and then its radius determines the inverse temperature j3 = 2nR0. The chemical potentials are given by \x = 2\x = i. Freezing the chemical potentials at these special values, the models were shown to be tachyon-free under radial deformations and to be characterized by thermal duality symmetry in [4]. Notice that they satisfy the conditions (3.41), derived in the previous section, for such a thermal model to be tachyon-free under arbitrary marginal deformations. A four-dimensional thermal model of this type can be obtained if we compactify the two longitudinal dimensions, and re-compactify 3 directions associated with the (6, 6) sub-lattice. The cosmology of these models is under investigation [19].

4. The tachyon-free Hybrid models

In the previous section, we developed the general framework needed to describe the marginal deformations of the MSDS models. Our analysis focused on the cases of the maximally symmetric Type II and Heterotic models. Even though these points are non-singular, arbitrary small marginal deformations generically produce tree-level tachyonic instabilities. In the remaining two sections of this paper, we present classes of non-singular models that remain tachyon-free under arbitrary marginal deformations.

It was found in Section 3.4 (see also Appendix D) that in order to construct thermal-like models, which are tachyon-free under all1o possible deformations of the dynamical moduli, the compactification lattice should admit a factorization involving a (1, 1)-lattice factor coupled to the left-moving fermion number FL only, in a suitable basis:

r(dAl] a] = r(U)[l](Ro) ® r(d-1,d-1)[a](Gu,Bu). (4.1)

This (1, 1) factor is associated with the Euclidean time circle. In this section we construct a large class of such thermal models and analyse their stability under marginal deformations. They are based on asymmetric (freely acting) orbifold compactifications of two-dimensional Hybrid MSDS models to one dimension. In the Hybrid models, spacetime supersymmetry arises from the left-moving side of the string. The right-moving supersymmetries are broken at the string scale and are replaced by the MSDS structure. The full supersymmetry will be spontaneously broken by the asymmetric (freely acting) orbifold compactification to one dimension.

4.1. The Hybrid models

We can construct a two-dimensional Hybrid model as follows. The 24 left-moving fermions are split into two groups of 8 and 16, described in terms of SO(8) and E8 characters respectively. The 16 fermions arise via fermionization of the 8 left-moving internal coordinates: idXL = yIwI(z), I = 1,..., 8. As in the Type II MSDS models, the right-moving fermions are described in terms of SO(24) characters. The partition function is given by:

z = JVL[ r v (-a+b^an V1v (-f+bèM

(2n)2 J 4(Imx)2\_2^( ' n4 n8 n12

jt a,b y,S J L a,b

V2 f d 2T 1

2^v ' n12

rE8 (T)(V8 - S8)(V24 - S24). (4.2)

(2n)2 J 4(Im r)2 n8 E8 F

In the last line we have expressed the partition function in terms of the SO(8) and SO(24) characters and of the chiral E8 lattice. This is a (4, o) supersymmetric model with respect to ordinary supersymmetry, with an MSDS-symmetric anti-holomorphic sector with respect to the MSDS symmetry of [9,1o]. Both the left- and right-moving characters are by themselves modular invariant. Because of supersymmetry, the partition function is identically zero. There are 24 x 8 massless bosons and 24 x 8 massless fermions, arising in the V8 V24 and S8 V24 sectors respectively. A large class of chiral orbifolds that preserve the right-moving MSDS structure can be constructed following [1o].

It is interesting to note that the Hybrid model can be obtained from the maximally symmetric Type II MSDS model by performing an asymmetric Z2 orbifold X!L ^ X!L + n, which shifts the transverse left-moving coordinates. The orbifold projection breaks the left-moving gauge group HL = [SU(2)L]i8=2 of the maximally symmetric MSDS model down to an Abelian U(1)&L, whereas HR = [SU(2)R]|=2 remains unbroken. The latter is spontaneously broken to U(1)R as soon as one deforms the model away from the fermionic point.

To exhibit the model as a Type II asymmetric orbifold compactification to two dimensions, we write the partition function as follows

10 With the exception of the frozen chemical potentials that appear in the thermal ensemble of the models.

V2 f d2 r Z - 21

f d2 r

(2n)2j 4m)ZHybr"

ZHybr. = "¿2 1 £ (-)a+be [b]41E «^lb^(M)^]. (4.3)

' ' a,b-0,1 fl,b

We identify the internal (8, 8) lattice at the fermionic point with:

wa]=rE8 x §[a]8=2 e 0[yMa]8. (4.4)

y,S=0,1

This is nothing but the asymmetrically half-shifted (8, 8) lattice analysed in detail in Section 3.1. The summation over the left-moving charges (y, 8) imposes that the winding numbers (m, n) coupling to them be even integers. Since the Hybrid (8, 8) lattice couples to the right-moving fermion number FR only, it suffices to infinitely deform a single radial modulus in order to recover a maximally supersymmetric model.

4.2. Asymmetric orbifold compactification to one dimension

Next we compactify one of the longitudinal directions on a circle, whose radius we denote by R. In particular, we consider an asymmetric orbifold obtained by modding out with (-1)Fl8, where 8 is an order-2 shift along the compact circle and FL is the left-moving fermion number. We will eventually be interested in the thermal interpretation of the model, identifying the circle with the Euclidean time direction. Throughout we use the following notations associated with the r(1,1) lattice:

rihi)(R) = -R= ^ e-f^l22 = ^ fm,n, V 2 m,n m,n

12 12 1 / ^^ \ rm,n = q1PLq2PR, q = e2nir, and Plr = ^ - ± nR). (4.5)

The partition function is given by [4] Z i d2r - Te8

r(V24 - S24)-

V1 J 8n(Imr)3/ 24 2 n8 F

XJ2(V8rm,2n + °8rm+ 2,2n+1 - S8Fm+1,2n - C8^m,2n+1). (4.6)

The deformation affects the left movers and breaks the (4,0) supersymmetry spontaneously. For generic values of R, the only massless states arise in the V8V24 sector. The initially massless fermions in the S8 V24 sector are now massive. Notice the appearance of the O8 sector, which contains the left-moving NS vacuum. Here, as in [4], it carries non-trivial momentum and winding numbers along the circle. The right-moving sector, on the other hand, begins at the massless level and so the model remains tachyon-free for all values of R. The model is T-duality invariant, where now R ^ 1 /2R and as usual the S8 and C8 sectors get interchanged.

The lowest mass in O8 V24 sector is given by

2-ov -fob 2 (47)

So from this sector we get additional massless states at the fermionic point, r = 1/V2. These states induce non-analyticity in Z, precisely at this point. As we shall see, the partition function is finite at this point, but its first derivative is discontinuous. The second derivative diverges. Thus we get a first order phase transition. In the higher-dimensional model of [4], the transition is much milder. At R = 1/42 there is a further enhancement of the gauge symmetry:

U(1)l x U(1)r ^ SU(2)l x U(1)r. (4.8)

This can be understood as follows. Due to the asymmetric nature of the orbifold, which involves a twist by (-1)Fl , the U(1) current algebra of idX becomes extended to SU(2)k=2. The boundary conditions of the longitudinal spacetime fermion f become correlated to those of the x fermions arising from the fermionization of dX at the fermionic radius R = 1 /V2. Similar phase transitions have been found to occur in the context of non-critical Heterotic strings in two dimensions in [30]. Two-dimensional non-critical strings, as well as their matrix model descriptions, also exhibit thermal duality symmetry (see e.g. [31]).

We now proceed to compute the partition function. For R > 1 /V2, we Poisson re-sum over the momentum m to obtain

Z f d2x rE8

r(^24 - S24)-

V1 J 8n(Imt)3/ 24 n8 F

x 1 __)a+b £1Lr\rfi+nxI2(-)mia+nb+mn6[b] (4 9)

a,b mm,n n

The last line in the integrand of Eq. (4.9) exhibits the asymmetric nature of the (freely acting) orbifold in terms of a rjij) lattice, "thermally" coupled to the left movers. Explicitly, the last line is given by

1 „r!^ 0l/n4\

r{1A)(R)(V8 - S8) - -4 (r[ 1]9$ - r[0]044 - r[ 0]024), (4.10)

where we introduced the notation for the shifted latices

rr h] = R £ e-\(2m+~g)+(2n+h)TI2. (411)

The untwisted piece in (4.10) vanishes due to the initial left-moving supersymmetries. In total we get:

Z = -l nm^ 1 <rr 1]934 - rr 0]944 - rr 0]924) rf (V24 - S24). (4'12)

We will compute the integral by mapping it to the strip. Notice that for very small R, the various terms appearing in the lattice sum over (m, n) in (4.12) (or (4.9)) do not give convergent integrals by themselves. To be able to exchange the order of summation and integration in the small R case, we should Poisson re-sum over the winding number n in (4.6). Then we obtain a similar expression as in (4.9), with R ^ 1/2R. This is essentially T-duality. In Appendix E, we explicitly demonstrate the action of T-duality by performing a double Poisson re-summation (see (B.1) in Appendix B) on the thermally shifted T(1,1) lattice appearing in (4.9). Alternatively,

we can compute the integral for R > 1 /V2, and then apply T-duality to the result in order to find the answer for R< 1 /V2 [30].

Before we proceed, we check how modular transformations act on the various terms in the integrand of (4.12). The right-moving character V24 - S24 is modular invariant. Under t ^ t + 1 the rest transform as follows

n i] - r[ 0]

e4rEg ' n12 :

d2rEg n12 '

(4.13)

Under t ^ -1/t ,

r[ 1] - r[ 1], r[0]

04 rE* ,12

^8 ,12 '

°4FE8

d2rEg ,12 '

(4.14)

n12 n12 n12 n1'

So modular transformations act as permutations, where the shifted lattices and the accompanying left-moving theta functions are permuted in exactly the same way.

Now consider the three sets of integers appearing in the various orbits of the shifted lattices:

(2m + 1, 2n + 1),

(2m, 2n + 1), (2m + 1, 2n).

(4.15)

In each set we can write the pair of integers as (2k + 1)(p, q), where the greatest common divisor is odd and p and q are relatively prime. Among all sets, we generate in this way all pairs of relatively prime integers. For each such pair, we can find a unique modular transformation that maps (p, q) ^ (1, 0), and the fundamental region F to a region in the strip [32]. Any two such regions are non-intersecting and their union makes up the entire strip. Since the relevant modular transformation maps (p,q) ^ (1,0), the corresponding orbit gets mapped to an orbit in the r[0] shifted lattice. So the accompanying theta function gets permuted to 02. The partition function for R > 1 /V2, can be written as follows

—=2RYj 8n(Im t)2

k=0 II

~(2k+1)2 # 02

T2 fE8 (T)(v24 - S24).

(4.16)

The right-moving MSDS structure allows us to compute the integral exactly. Since V24 - S24 = 24, level matching implies that the only non-vanishing contributions are those of the massless level

—1=2R£/

k=0 ||

-(2k+1)2

8n(Im t)2

t2 (16 x 24).

(4.17)

In the parenthesis we get the multiplicity of the massless level of the initially supersymmetric model. In all we have

Z 1 ^ 1 1 24

— = (16 x 24)—— V —3-= (16 x 24)-= —.

Vi 2n 2R^(2k+ 1)2 16R R

(4.18)

The result above is valid for R > 1 /V2. To get the answer for R < 1 /V2, we impose the R ^ 1/2R duality. We get

= 24 x (2R).

The formula valid for all R is

— = 24 x ( R + — I - 24 x Vi \ + 2R

(4.19)

(4.20)

The result is manifestly invariant under the R ^ 1/2R duality, and contains the expected non-analyticity induced by the extra massless states at the dual fermionic point R = 1/V2. In fact, the non-analytic part of Z can be written as

-24|m0v(R)|

(4.21)

and can be understood as follows. Consider the contribution from the massless states in the O8 V24 sector to Z, Eq. (4.6), near the extended symmetry point. There are 24 complex (or 48 real) such scalars. Their contribution is given by

48 x / —t-Vie~nmlt = 48\m\—

4nt 4^fn j y

y-1/2e-y.

(4.22)

(4.23)

In the limit m ^ 0, the leading contribution is

48H57n r( - 2) = -24|m|"

From Eq. (4.20), we see that the first derivative of the partition function is discontinuous and so we have a first order phase transition which connects the two dual phases. When enough additional dimensions decompactify, the transition becomes a higher order one and it will be essentially smooth.

4.2.1. Thermal interpretation

We now identify the additional compact cycle with the Euclidean time direction. To analyse the thermal interpretation of the model, we begin with Eq. (4.16). We may rewrite it using (4.4) as follows

— = 2R0 Vi 0

n0=0 II

^ e-(2m°+1)2*4 t^L E (-)'+b b ]4^(8,8)[ I ]. (4.24)

8n(Im t)

n12 2n12

This expression exhibits the model as an asymmetric orbifold compactification of Type II theory to one dimension. Since the Euclidean time cycle is factorized, the above formula remains valid for arbitrary deformations of the "transverse" moduli associated with the (8, 8) internal lattice. The integral is finite but harder to compute analytically, once we deform away from the MSDS point.

The one-loop partition function is also written as

~ r, , ^ v

n(m 0R0)2 1

m 0=0 \

8n(Im t)2

J2(-)a+be [ a ]4(-)m 0a

x ^E (-№№'W^

(4.25)

As the integral is over the strip, we can easily infer the complete spacetime partition function. It is given by the right-moving fermion index

Z = tr[e-jH (-1)Fr ], (4.26)

which now, because of the phase transition, is strictly valid for R0 > 1/V2. The trace is over the Hilbert space of the initially supersymmetric (4, 0) model and j = 2nR0.For R0 < 1 /V2, we get a similar expression but with j = n/R0. Thus the system at small radii is again effectively cold. Since there is no unique expression valid for all values of the radius R0, the underlying duality symmetry of the model R0 ^ 1 /2R0 is not manifest in the "thermal" trace. The fundamental object is, rather, the Euclidean path integral, which is valid for all temperatures and manifestly exhibits the stringy thermal duality of the model.

The (8, 8) internal lattice can be written in the Hamiltonian form in terms of the left- and right-moving momenta, which are explicitly given by

PIRR = ^ G'J № J + (BJK ± GjK)nK), (4.27)

where mJ = mJ + 2 (a + n1)S1J. The momentum along the X1 direction is half-shifted due to the coupling to the right-moving fermion number FR. Using these expressions, we can exhibit the trace as a conventional thermal ensemble, which is further deformed by chemical potentials associated with "gravito-magnetic" fluxes, as in Eq. (3.27):

Z(j, ¡, fx) = tr[e-jHe2n(|m 1-ilnl)]. (4.28)

Here i = i, ¡¡ = 2 are the imaginary chemical potentials coupled to the U(1) charges

m i = mi + 1 (a + n1), n1. (4.29)

As we anticipated in Section 3.4, freezing these particular values of the chemical potentials, or equivalently, when the (1, 1) and (8, 8) lattices are initially factorized, the model is free of tachyonic instabilities for arbitrary deformations of the "transverse" moduli. We verify this explicitly in the following section. Essentially, the stability is guaranteed by the thermal duality, R0 ^ 1 /2R0, of the model.

4.3. Deformations and stability of the thermal Hybrid models

We next analyse the stability of the thermal Hybrid models under marginal deformations. We show that they are free of tachyonic instabilities for any deformation in the "transverse" moduli space. The integrand of the partition function can be fully decomposed in terms of the SO(8) characters as follows

^ 1 V^ (V r(1,1) 1 O r(1,1) - S r(1,1) - r r(1,1) ) ~ n8n8 Z^ V8lm0,2n0 + 08 «0+ 2,2n0+1 S8lm0+ 2,2n0 r8lm0,2n0+1!

X £ (V8MN + 0S^N +1 - S8rMX2N - r8^ +1), (4.30)

where (m0,n0) are the momenta and windings along the Euclidean time circle. The decomposition in the second line for the r^^) lattice is given in terms of the momentum and winding

modes (M, N) along the cycle that couples to the right-moving R-symmetry charges. The latter can be obtained by Poisson re-summing the Lagrangian lattice (A.11).

We focus on the O8O8 sector since this is the only sector dangerous of producing tachyons. The lowest mass states in this sector are entirely determined by the r(i,i) © r(8^8) lattice contributions. The r(1,1)(R0) contribution to the mass formula is given in terms of the left- and right-moving momenta along the Euclidean time circle:

1 2 1/ mo + 1 (a + no) ,

2 pIr = -R-± no Rl- (4.31)

In the OO sector, the windings n0 are odd. Notice that the (1, 1) lattice is uncoupled from the f(8^8) lattice and so

2 (P2 - PR)

m0 + -n0 )n0

2. (4.32)

This is clearly just enough to produce a state that is massless at least holomorphically (or anti-holomorphically). This observation is independent of the value of the radius R0 or of the other moduli G]j,Bjj of r^8,8) .It crucially depends, however, on the factorization rij) © r^8,8) into lattices with independent couplings to the left and right R-symmetry charges, respectively.

There is another way to see the stability as a property of the factorization of the coupling on the left and right R-symmetries. To illustrate this, consider the two lattices r^^a], r(8^8)[b]. The difference A2 - AR = 2 (P2 - PR) between the left- and right-moving conformal weights of a lattice is always independent of the deformation parameters, as shown in (C.8). Therefore, one may calculate it at the fermionic point where the representation (4.4) in terms of ft-functions is available. In this case one may further decompose the lattice part of the "dangerous" sector (3.29) in terms of SO(2) x SO(16) characters:

(O2V2 + V2O2) x (O16V16 + C16V16).

The two lattices are factorized and one may calculate the (partial) difference in the conformal weights of the lowest lying states independently:

11 O2V2: (Al - AR)(1,1) = -2, V2O2: (AL - AR)^ = +2,

11 O16 V16: (AL - AR){8,8) = -2, C16V16: (AL - AR){8,8) = +2.

This implies that the difference in the conformal weights for each of the two lattices separately is

IA2 - Ar I =

2 (pI - PR )

r (4.33)

independently of the deformations. For Type II theories, where the lowest possible weight is (-2) for both the left- and the right-moving NS-vacuum, this forces the left- or right-moving sector to be at least massless and, thus, guarantees the absence of physical tachyons from the spectrum for any deformation that preserves the factorization (4.1).

Explicitly, the mass of the lowest OO states is given by

m2-, = --R0] + m(8 8) - 1, (4.34)

OO 2\2R0 ) (8,8) 2, V ;

where 8) is the (8, 8)-lattice contribution:

m2s,8) = 2 (PL,(8,8) + PR, (8,8)) > - AR\(8,8). (4.35)

In view of (4.33), 8) > 2 for any deformation and, thus, the physical states in the 0 0-sector are at least massless.

We conclude this section by describing some simple deformation limits. Assuming the form (4.4) for the r^8,8) lattice at the fermionic point, we obtain the following.

• In the limit of infinite radius R0 ^ to, corresponding to zero temperature, the left-moving O and r sectors become infinitely massive and decouple from the spectrum, whereas the fermionic states S8 V24 become massless and one recovers the supersymmetric (4, 0) Type IIB Hybrid model.

• In the zero radius limit R0 ^ 0, the left-moving O and S sectors decouple, while the fermionic states that become massless are now C8 V24. One, therefore, recovers the super-symmetric (4,0) Type IIA Hybrid model.

• At the self dual radius R0 ^ 1/V2 one obtains extra massless states, which is the signal of enhanced gauge symmetry. As previously discussed, this is the enhanced [SU(2)l x U(1)r] gauge symmetry which originates from the worldsheet [SU(2)L]k=2 x U(1)R current algebra.

• Another interesting case is the limit in which the (8, 8) lattice asymptotically decouples from the right-moving R-symmetry charges, at zero temperature. This limit asymptotically restores the 4 right-moving supersymmetries. The relevant modulus corresponds to the su-persymmetry breaking scale M.

• Deforming the (8, 8) lattice along the radial directions that are orthogonal to the M-modulus, one obtains new non-compact dimensions in the decompactification limit. In these limits, new stable vacua may be obtained in d > 1 spacetime dimensions, where supersymmetry is either (asymptotically) present or spontaneously broken in the presence of thermal and "gravito-magnetic" fluxes.

5. Tachyon-free MSDS orbifold models in two dimensions

In this section we present a second class of tachyon-free Type II MSDS theories, constructed as Z2 x Z2 orbifolds of the maximally symmetric MSDS models. The possible ZN orbifolds preserving the MSDS structure were classified in [10]. Here we will be interested in orbifolds of the internal c = 8 compact CFT that realizes a chiral (anti-chiral) MSDS algebra in both the holomor-phic and antiholomorphic sectors. Initially, the target space will be taken to be a 2-dimensional Euclidean or Minkowski background. The choice of the time direction will determine the interpretation of the model along the lines described in the previous sections. The desired vacuum should have the property that all extra massless states become massive as one deforms away from the extended symmetry point. Essentially, the orbifolds project out the dangerous moduli that lead to tachyonic instabilities in the maximally symmetric models. Extended symmetry points are associated to an affine Lie algebra, whose Weyl reflections give rise to the various T-dualities of the theory. As a result, one expects the masses of extra physical states in these stable vacua to be invariant under the duality group with a minimum at the self-dual point, when variations of the VEVs of the various moduli are considered.

In this section we will combine Z2-orbifold shifts and twists [33] in order to construct MSDS vacua stable under all possible deformations of the remaining (fluctuating) moduli. Both cold and thermal tachyon-free vacua can be constructed. We first discuss the construction of the models and comment on their stability under marginal deformations. Then we discuss various deformation limits, including their (continuous) connection with higher-dimensional supersymmetric vacua and, in particular, with conventional four-dimensional superstring vacua.

5.1. Tachyon-free MSDS orbifold models: General setup

We now consider Z2 x Z2 asymmetric orbifold twists of the maximally symmetric Type II MSDS model acting on four of the internal coordinates as follows:

XL(Z) ^ (-)gxL(z),

for the left-moving internal bosons and

xR(Z) ^ (-)g+g'xR(Z),

for the right-moving ones, with g, g' e {0,1} and for I = 5, 6,7, 8. Furthermore, we introduce independent asymmetric Z^ x Z^ shifts on all 8 internal coordinates as follows:

X[(z) ^ xL(z) + nG1, for I = 1, 2, 3,4, XR(Z) ^ XR(Z) + nG2, for I = 1, 2, 3,4, Xj(z) ^ Xj(z) + nG2, for I = 5, 6, 7, 8, XJR(Z) ^ XJR(Z) + nG1, for I = 5, 6,7, 8. The full modular invariant partition function of the model is given by

ZTwisted = 24n12n12 J2 J2(-f+b6[b] ^b+^Vb-g]

h,g,h',g' a,b

XJ2 (-f+b^[ 0w>~[ rwftith], (5.1)

where the twisted and shifted r^8,8) lattice is factorized into a shifted r^) lattice and a shifted/twisted r(24) lattice:

r r a,a,h,h'1 r(1) r a,a; H1,H2-| r(2) r a,a; H1H2 | h,h' "1 (5 2)

1(8,&)\-b,bgg>\ = 22 Z^ 1(4,4^b,b; G1G2J X 1(4,4^b,b; G1G2 I g,g' J. (5.2)

Written at the MSDS point, the shifted lattice can be written in terms of free fermion characters

riu ahg i=0 r a+H ]20 r b--H; i2 x *r ¡+% m a-z i2. (5.3)

Similarly, the asymmetrically twisted (4,4)-lattice reads

r(2) r a,b; H1,H2|h,h' 1 ^ a+H2+hi^ r a-H212 ¿f b+H1+h+h' r a-H1"i2, -h'g' K ^ ](4A)lb,b; G1G2 I g,g'\= ^b+G2+J 0U-gJ X b+G^+g+g'\ b-GJ (-) . (5.4)

Its non-vanishing components are collected below:

(2) [a,a; Hi,H2 I h,h'

r(Z> r

1 (4,4) L

(4,4)Lb,b; Gi,G2 I g,g'

r a [ a+H2]4a [ a+H1 ]4

alb+G,j ^u+gj '

a [ a+H2 ]4/ 2n3 \2

uVb+G2i V-r 1-h'J ,

for (h,g> = (h,g'> = (0, 0),

(h,g> = (0,0), (h',g') = (0, 0) and (Hi,Gi) = (a, b) or (a + h',b + g'),

I 2n3 I

'a[i-g]'

2^ [ a+Hi ]4

2n3-2n3

a [ i-h ]«" [ i:

-h-h' ■g-g'

(h,g) = (0,0), (h',g') = (0, 0) and (Hi,Gi) = (a, b) or (a + h,b + g) and (H2,G2) = (a, b) or (a + h,b + g),

' (h,g) = (0, 0), (h',g') = (0,0), (h, g) = (h',gg) and (H2G2) = (a, b) or (a + h,b + g), (h,g) = (0, 0), (h',g') = (0, 0), (h, g) = (h',g') and

(Hi,Gi) = (a, b) or (a + h + h',b + g + g') and (H2G2) = (a, b) or (a + h,b + g).

The model satisfies the conditions for MSDS structure discussed in [10]. The partition function at the MSDS point in moduli space is given by

Twisted

(t, t) = 208 = constant.

5.2. Deformations and stability

We now address the problem of stability under marginal deformations of the current-current type. First, the asymmetric nature of the Z2 orbifold projects out all moduli associated to the X5,6,7,8-directions. Indeed, under the general action of the Z2 x Z2 orbifold, the marginal operators transform as:

Jp(z) x Jq(z) 2 + Jp(z) x Jq(Z),

Jp(z) X JJ(Z) J1(z) X Jq(z)

, Z2XZ' . ; -,

^2 (-)g+gJp(z) X JJ(Z),

Z2 xZ2

J1(z) X J J(z)

(-)gJ1(z) X Jq(z),

z2 xZ' , , -,

-(-)g J1(z) X J J(z),

where p,q = 1,2, 3,4 and I, J = 5, 6, 7, 8. This has important consequences for the stability of the model. The only marginal operators that are invariant under the orbifold and which can, thus, be used to perturb the sigma model are those associated entirely with the shifted /(4 4) lattice. The moduli space of the theory is then reduced to

SO(8,8) Z2XZ2 SO(4,4)

SO(8) x SO(8)

SO(4) X SO(4)

Note that the special asymmetric structure of the orbifold twist projects out all moduli associ-

ated to the twisted r(4 ^ -lattice and, as a result, drastically reduces the rank of the space of propagating moduli. In what follows we show the absence of physical tachyons for any marginal deformation in the moduli space of the orbifolded theory. For this purpose, the following discussion will be restricted entirely to the NS-NS sector, where a = a = 0.

Let us first recall the well-known fact that tachyonic states cannot appear in the twisted sectors. Indeed, consider the twisted sector corresponding to h = 1 (the analogous argument holds for h'). The non-vanishing contribution of the fermions in the R-symmetry lattice is at least 0 [0]2 ~ q1/4,

whereas the twisted rA24 lattice (twisted bosons) contributes (at least chirally) ( 2l?0 )2 ~ q1/4.

(4,4) o [ 1±01 ]

Therefore, the twisted spectrum is always at least chirally (or anti-chirally) massless and, thus, no tachyonic excitations can appear in these sectors.

We now concentrate our attention on the untwisted NS-NS sector a = a = h = h' = 0, coupling to the O O fermion characters. We will show that the twisted r(24) lattice in this sector is always at least chirally (anti-chirally) massless, and that the spectrum is free of tachyonic modes, for any deformation of the shifted r^) lattice. The twisted lattice has no (untwisted) moduli as a result of the asymmetric action of the Z2-orbifold, as discussed above. It is straightforward to see from (5.4) that only the unshifted states H1 = H2 = 0 are in danger11 of becoming tachyonic. Indeed, any one of the Hi-shifts would "excite" the spinorial representation of SO(4) x SO(4), which is always (at least) chirally massless. To illustrate the statement, taking H2 = 1 would imply that the non-vanishing contribution has weight:

0 r b+G\+g 12° r bG 12 ^ q1/2 + °(q). (5.8)

This is also easy to see by noticing that the H2-shifted internal bosons X5,6,7,8(z) appear in the spectrum as excitations of the affine primary (spin-)field:

ei(±X5±X6±X7±X8), (5.9)

whose conformal weight for Z2-shifts is (1/2,0). It therefore suffices to check the "unshifted" sector H1 = H2 = 0. The twisted lattice (5.4) in this sector reads:

r44)[lt G0l'°G2 1 g0g0] = 0\-b+O2+g]Mb^f X ^b+G^+g+g'}2^b-0Gj2. (5.10)

Let us now discuss the GGSO projections that need to be carried out. In our formalism, they correspond to summations over b, b, G1,G2,g,g'. Once the projections are imposed, the above sector of the twisted r((42)4) lattice will be organized in terms of [SO(4) x SO(4)]L x [SO(4) x SO(4)]r characters in the vectorial V4 (V4) and vacuum O4 (O4) representations, whereas the shifted r^1^ lattice will be decomposed into the V8 (V8) and O8 (O8) characters of

SO(8)l x SO(8)r . Of course, for the shifted r^1^ lattice this decomposition is only valid at the MSDS point where the enhanced symmetry contains an SO(8)L x SO(8)R factor of global (classification) symmetry.

The subsector of interest is clearly the one in which the left- and right-moving R-symmetry lattices come only with characters in the vacuum O , O representation. In this case, the full r(8, 8)

lattice has odd b and b and even g, g' GGSO-projections. However, as it is straightforward to see

from (5.10), imposing an odd projection on the characters of the twisted r(4 4 lattice necessarily leads to chiral (or anti-chiral) vectorial representations V4 (or V4) appearing in the spectrum, and the sector is at least (anti-)chirally massless. On the other hand, if we impose even projections on

11 When we refer to states as being in danger of becoming tachyonic, we imply that they crucially depend on the mass contribution from the (deformable) shifted lattice in order to maintain a positive squared mass. As a result, these

states could become tachyonic for some deformation of the shifted lattice.

the characters of the twisted lattice, the overall odd projections force an odd GGSO-projection on the shifted lattice. This subsector is expressed as follows:

8 -8 r(8,8) Isubsector

E (-)b+br(414)[00; g0G ]) x OO x 04^ (5.11)

b,b,Gi,G2

where the projections now act only upon the shifted r(14) lattice, whereas the twisted r(24) lattice only contributes with the vacuum representation in this subsector of interest. It is now straightforward to see that this subsector, which is the only one dangerous of producing tachy-onic modes, is in fact projected out by the b, b, G1,G2 GGSO projections. Indeed, it suffices to consider the above projection at the (undeformed) MSDS point of moduli space where the simple expression (5.3) for the shifted lattice is available. Expressed in terms of SO(2n) characters, the only state surviving the odd b, b-projections would be:

(V8 x V8) x (O4O4 x O4O4). (5.12)

However, this state violates the even G1,G2-projection correlating the parity of the two lattices and is projected out of the spectrum. Since all other sectors are at least (anti-)chirally massless, any deformation of the shifted r(14) lattice in SOS4) x>SsO>(4) will not produce tachyonic states and the vacuum is, from that point of view, stable.

5.3. Connection with supersymmetric vacua

We now discuss various deformation limits and establish the continuous connection of the tachyon-free MSDS vacua with higher-dimensional vacua of Type II superstring theory. It will be convenient to shift the summation variables H1 ^ H1 — a , G1 ^ G1 — b and H2 ^ H2 — a, G2 ^ G2 — b, since they are defined modulo 2. With this shifting, the twisted ^(4,4) lattice does not depend on the R-symmetry charges. The shifted lattice at the fermionic point can be written in the Lagrangian form as:

r(1) _ V — Tt(G+B)ij(mi +Tni)(mj+Tnj)+inT fcin

r(4A) = Z^ e 2 , (5.13)

mi €Z

where G and B were defined in (A.7), and the phase coupling T is:

T = mlnl + (a +a + H2)m1 + (b + b + G2)n1 + (H1 + H2)m4

+ (G1 + G2)n4 + (G1 + G2)(H1 + H2). (5.14)

It is easy to see that the modulus that couples to the total fermion number FL + Fr is G11, corresponding to the current-current deformation G11dX1dX1. Of course, this is expressed in the transformed basis of Appendix A, where the lattice frame was repeatedly rotated. In terms of the initial bosonization coordinates X^3,4, the deformation lies along the "diagonal" direction:

(dX(0) + dX(0) + dX30) + dX(0))(dX(0) + dX(0) + dx30) + dX(0^. (5.15) We now discuss certain interesting points regarding marginal deformations.

• Taking the infinite G11 ^to limit, the X1 cycle of T4 decompactifies and the coupling to the R-symmetry charges is washed out. The resulting model is a supersymmetric N = 4 Type II model in 2 + 1 spacetime dimensions. The new non-compact dimension is interpreted as an emergent spatial-dimension as it can be generated dynamically. Furthermore, additional Z2-orbifold twists could further reduce the supersymmetry down to N = 2 or N = 1, without altering the tachyon-free structure of the theory.

• In the thermal version of the models, Euclidean time is identified with the compact toroidal cycle coupled to the total fermion number as in the Hybrid models of the previous section. Note that the difference between the two cases, however, is that the present breaking of su-persymmetry is by no means an arbitrary one. It is, rather, a very specific breaking dictated by the underlying MSDS algebra. Within the thermal interpretation, the moduli associated to the X1 direction are interpreted as the thermodynamical parameters of the theory. The "infinite radius" limit G11 ^to corresponds to zero temperature and yields a supersymmetric vacuum with 2 non-compact spatial dimensions.

• Other interesting limits involve the radial deformations along the 3 remaining spatial directions, orthogonal to the X1 direction. In the infinite (decompactification) limit new non-compact dimensions emerge continuously. In particular, one may obtain three-dimensional vacua, with supersymmetry spontaneously broken by thermal or gravito-magnetic fluxes or, in the infinite limit, four-dimensional superstring vacua (superstring vacua with 3 non-compact spatial dimensions at zero temperature, in the thermal version).

6. Conclusions

In this paper we studied current-current type marginal deformations of MSDS vacua [9] and their orbifolds [10]. We explicitly identified the relevant half-shifted r(8^8)[b'b] lattices, which exhibit the maximally symmetric MSDS models as special points in the moduli space of Type II and Heterotic compactifications to two dimensions. It was shown that MSDS models admit at most two independent moduli, which participate in the supersymmetry breaking via couplings to the left- and right-moving spacetime fermion numbers FL , FR, respectively. We showed the existence of marginal deformations interpolating between MSDS vacua (and their orbifolds) and conventional four-dimensional string models where supersymmetry is spontaneously broken by geometrical fluxes. This establishes a correspondence between the MSDS space of vacua and four-dimensional gauged supergravities of the "no-scale" type [34].

We would like to stress here, that this correspondence is of fundamental importance within the string cosmological framework, where the MSDS vacua, free of tachyons and other pathological instabilities, become natural candidates to describe the very early stringy, "non-geometric era" of the Universe. This is because the correspondence permits one to connect, at least adiabatically, the initially two-dimensional MSDS vacua with semi-realistic four-dimensional string vacua, where spacetime supersymmetry is spontaneously broken at late cosmological times via thermal or supersymmetry breaking moduli. Specifically, the thermal interpretation of various Euclidean versions of these exotic constructions was analysed in detail and the finite-temperature description was presented in terms of thermal ensembles, further deformed by discrete gravito-magnetic fluxes.

Furthermore, the stability of MSDS vacua under arbitrary marginal deformations was extensively analysed, allowing the identification of deformation directions along which tachyonic instabilities are generically encountered. An important result of this paper is that such "dangerous" deformation moduli can be projected out by introducing asymmetric Z2 x Z2 orbifolds.

Such tachyon-free orbifolds are not only compatible with the MSDS structure but also reduce the number of (spontaneously broken) supersymmetries restored at late cosmological times. The necessary stability conditions, under arbitrary deformations of the dynamical moduli, were determined for general (untwisted) thermal Type II MSDS vacua. Once met, the corresponding ensemble is equivalent to the right-moving spacetime fermion index and the model is characterized by thermal duality symmetry.

A very special class of Hybrid MSDS models, sharing similar properties as those described in the above correspondence, were constructed in this work. These two-dimensional Type II models are characterized by an asymmetry in the left- and right- moving sectors of the theory. Namely, the left-moving side enjoys conventional supersymmetry (which can be regarded as a special case of MSDS symmetry), whereas the right-moving side realizes the MSDS structure. These models were shown to admit a natural implementation of temperature, where the left-moving supersymmetries are spontaneously broken by thermal effects. The thermal partition function of the models was analysed and was found to be finite for all values of the temperature, and to be characterized by thermal duality symmetry. The two dual phases were shown to be connected via a first-order phase transition at the MSDS point. In the limit where some of the spatial dimensions decompactify, the phase transition becomes milder.

Obviously, the adiabatic connection outlined above is not sufficient to define the complete cosmological evolution from the early MSDS era towards the late time Universe, described by N = 1 spontaneously broken supersymmetry. A dynamical realization of the adiabatic evolution is still lacking, especially during the non-geometrical era close to the extended symmetry (MSDS) points, where conventional effective field-theoretic techniques are still absent. Once some of the moduli become sufficiently large, so that a conventional spacetime description emerges, the subsequent evolution in the intermediate cosmological regime can be unambiguously described, as shown in Ref. [3,36] (see also [35] for related earlier work). There, an attractor mechanism was discovered dominating the late-time cosmological evolution, depending only on the particular structure of supersymmetry breaking induced by the fluxes. The fact that the initial MSDS structure unambiguously determines these fluxes, strongly indicates that we are in a good direction. Furthermore, the qualitative infrared behavior of string-induced effective gauged supergravity suggests that we are describing a "non-singular string evolutionary scenario" connecting particle physics and cosmology.

The above attractive scenario crucially depends on the spontaneous dynamical exit from the early non-geometrical MSDS phase. In this respect, it is possible to construct (at least Heterotic) MSDS vacua whose massless spectra are characterized by an abundance of fermionic (rather than bosonic) degrees of freedom nF > nB [37]. There are strong indications that this configuration induces a quantum instability (at the one-loop level) that could trigger the desired cosmological evolution, providing the spontaneous exit from the early MSDS era. The details of this investigation will be considered elsewhere [37].

Finally, let us conclude by restating that the problem of initial MSDS-vacuum selection is a highly non-trivial one, because of constraints arising from the observed particle phenomenology at late cosmological times. Demanding that late-time four-dimensional semi-realistic N = 1 string vacua, with phenomenologically viable gauge interactions (such as those based on an S0(10) GUT-gauge group [38]) are in adiabatic correspondence with the initial MSDS vacua, impose severe restrictions on the initial vacuum space. A study of these restrictions is expected to significantly reduce the number of initial candidate vacua and is currently under investigation [26].

Acknowledgements

We are grateful to C. Bachas, A. Faraggi, H. Partouche, J. Rizos and J. Troost for useful discussions. N.T. thanks the Ecole Normale Supérieure, I.F. and C.K. thank the University of Cyprus for hospitality during part of this work. The work of C.K. is partially supported by ANR (CNRS-USAR) contract 05-BLAN-0079-01 (01/12/05).

Appendix A. The half-shifted (8, 8)-lattice

In this appendix we give a detailed derivation of the form of the half-shifted (8, 8) lattice of Eq. (3.7). We begin with the lattice in the form of Eq. (3.6), and split the lattice directions into two groups of four, indicated by primed and unprimed quantum numbers, respectively, and define

Vi = mi + tni, Wj = mi + rn'i,

V = M + tn, W = M ' + tn',

£ = g + Th, (A.1)

where i = 1,2, 3,4, and

M = J2 miN = J2 ni, i = 1 i = 1 44

)m[N ' = Y, ni i = 1 i = 1

In terms of these variables, the (8, 8) lattice (3.6) factorizes into two (4,4) sub-lattices. The exponent of the first (4,4) sub-lattice is given by

M' = Y, m\N ' = £ ni. (A.2)

(\V + 2£ |2 +\V - 2V3 - 2V4|2 + \V - 2v2 - 2v3|2 + \V - 2v2 - 2v4|2)

8T2 v 7

MN + ( a + hjM + (b - g )N + M(n2 + n3 + n4) - N(m2 + m3 + m4)

+ (m2n3 - m3n2) + («2 + m3)n4 - m4(n2 + n3)

which is the representation of the Cartan matrix of E8. The phase couplings mjnj with I < J correspond to the parallelized torsion BIJ .A similar expression holds for the (4,4) lattice spanned by the primed quantum numbers.

We next shift the summation variables in the following order: V ^ V — 2%, v3 ^ v3 — v4 — % and v2 ^ v2 — v3 + v4, and the lattice exponent becomes

— n (|V |2 + \V — 2v3|2 + \V — 2v2|2 +| —V + 2% + 4v4 + 2v2 — 2v312) (A.4)

along with the phase

in MN + (^a — + (b + — M(n2 + n4) + (m2 + m4)N

+ (m2 + m3)h + (n2 + m)g — (m2n3 — m3n2) . (A.5)

Performing a double Poisson re-summation on v4 (see Appendix B), which takes the corresponding torus to its dual picture (m4 = n4, n4 = -m4), allows for the (h, g)-dependence to appear only in the phase:

-n (\V I2 + \V - 2v2|2 + \V - 2v3\2 + |V + 2v4 - 2v2 + 2v3\2)

MN + a M + bN + (a + a )m 4 + (b + b)n 4 + - Mn 4 - - m 4N

- (Mn2 - m2N) - (m2n3 - m3n2) - (m2Ü4 - mm4n2) + (m3ti4 - mi4n3)

From this expression of the (4,4) sub-lattice, we obtain the metric G and parallelized torsion B:

1 _! _1

/ o - 2 o

_ 4 \ o - 2 - 2

Notice that the sum E = G + B is an upper triangular matrix, as required for the holomorphic factorization of the theory and the presence of a Kac-Moody algebra of extended symmetry. Adding the contribution of the remaining (4,4)-sub-lattice, we obtain the full (8, 8) lattice:

-n (IV I2 + \V - 2v2|2 +\V - 2v3\2 +|V + 2V4 - 2v2 + 2v3|2

+ \W|2 +\W - 2w2\2 + \W - 2w3\2 + \W + 2w4 - 2w2 + 2w3\2)

mn + m 'n ' + a (m + m ') + b(N + n ') + (a + a )(m 4 + m'4)

- ^ _,) 1 _ 1 _ + (b + b)(n4 + n^ + — Mn4 - — m4N - (Mn2 - m2N) - (m2n3 - m3n2)

- (m2H4 - m4n2) + (m3Ü4 - m4n3) + 1 M'n'4 - 1 m4N' - (M'n'2 - m2N')

- (m2n3 - m3n2) - (m'2nl4 - m4n'2) + (^3^4 - m4n3)

The full metric and torsion are 8 x 8 symmetric and antisymmetric matrices expressed in blockdiagonal form in terms of the 4 x 4 matrices G and B of (A.7):

' G 0 \ / B 0

The source of supersymmetry breaking in the Type II models is the coupling to the momentum lattice of the two independent R-symmetry charges: the left- and right-moving spacetime fermion numbers FL and FR. It is then clear that one needs to infinitely deform at most two independent "radial" moduli in order to recover a maximally supersymmetric vacuum which, in fact, will be four-dimensional. To identify these, we cast the coupling in left/right symmetric form [4], by shifting (V, W) ^ (V - v4,W - w4):

-n (iV - V4I2 +\V -V4 - 2v2|2 +\V -V4 - 2v3|2 +\V + V4 - 2v2 + 2v3\2 8r2y

x \W - w4|2 + \W - w4 - 2w2\2 + \ W - w4 - 2w312 + \W + w4 - 2w2 + 2w3|2)

+ in(MN + M'N' + m4n4 + m'An'A + a (in4 + m'A) + b{n4 + n'4) + a (M + M') + b(N + N') + IBumnj).

By further shifting V ^ V — W, w4 -couplings to within a (2, 2) sub-lattice:

(A.10)

w4 — i;4, we can completely isolate the ^-symmetry

— — (\V — W — v412 + | V — W — v4 — 2v212 +| V — W — v4 — 2v312 8T2

+ \V — W + v4 — 2v2 + 2v3\2\W — w 4 + v4\2 + \W — w 4 + v4 — 2w2\2 + \W — w 4 + v4 — 2w3\2 +\W + w 4 — v4 — 2w2 + 2w3\2) + in(MN + a M + bN + m'An'A + am'A + bn'4 + 2BIJmIn

(A.11)

As in [4], one cycle of this (2,2) lattice is "thermally" coupled to FL and the other is "thermally" coupled to Fr .

Finally, it is convenient to use the reshuffled basis mr = (M, m'A\m2,m3, m4,M',m'2,m'3), nr = (N, n'4\n2,n3,n4,N',n'2,n'3). In the new basis the metric GIJ and antisymmetric tensor Bij are:

1 0 — 4 — 1 0 0\ 00 — 2 — 1 0 2

(A.12)

(A.13)

with I = 1, 2,..., 8.

Appendix B. Double Poisson resummation

A useful formula that takes a lattice direction to its dual representation is obtained by double Poisson re-summation over both winding numbers m, n (defined in the Lagrangian representation):

ZR^ \m+f +T(n+h)\2+in(mA+nB)

1/R -^Ri in-B -T(m-4)\2+in[h(n-B)+g(m-4)]

m,n£Z

It is a special case of the general duality transformations of the O(d, d; Z)-duality group.

Appendix C. Mass spectrum generalities

We briefly state the lattice contribution to the mass spectrum of the deformed vacua discussed in the text. The (8, 8)-lattices under consideration can be written in Lagrangian form as:

det G ^ -2L(G+B)u(m,+rnj)(mj +rnj)+inT r(m = \Ze 2 , (C1)

v mi,ni ^Z

where T is a phase coupling that may, in general, break supersymmetry. We parametrize it as follows:

T = ^^ Ci(mjni + ajmj + bini) + Djmj + Ejnj. (C.2)

The form of this coupling is dictated by modular invariance. Here, aI and bI are generalized spin structures that may break supersymmetry. The constants DI and EI can be seen as column vectors in the space of (mI,nI), whereas CI can be taken to be diagonal matrices. In the latter notation, the phase can be rewritten as:

T = mT(Cn + D + Ca) + bT Cn + ET n. (C.3)

The last two terms do not participate in the Poisson resummation with respect to mI. However, they are important for the implementation of GGSO-projections.12 Let us define the vector:

S = Cn + D + Ca, (C.4)

which shifts all momenta by half a unit. A standard Poisson re-summation on the momenta mI will give us the usual mass formulae for toroidal compactifications shifted by S:

PL = 1(m - IS + (B + G)n) G-1(m - 1S + (B + G)n), (C.5)

PR = 2(m - IS + (B - G)n) G-1(m - 1S + (B - G)n) (C.6) where the lattice is now written in its Hamiltonian form:

r(&,&) = J2 q1 PLq1 PR ■ (C.7)

Pl,Pr s^

The level-matching contribution of the lattice then reads:

2 PL - PR) = mrn - 1 Srn, (C.8) and is, of course, independent of the deformation parameters.

12 In general, Di and Ei may depend on the spin structures aI, bI.

Appendix D. Conditions for tachyon finiteness: A technical point

In this appendix we demonstrate that the conditions for tachyon finiteness derived in Section 3.4 are equivalent to the factorization of a /(1^-lattice coupled chirally to the left- (or right-) moving R-symmetry charges. This result, in turn, implies that the only13 tachyon-free thermal vacua are the ones where the temperature cycle S1 is completely factorized from the compact manifold. This is essentially equivalent to showing that, by a discrete O(8, Z)xO(8, Z) e O(8, 8; Z)-rotation, the stability conditions (3.41) can always be brought to the form G1 = 2Boi = ±1 and GO = Bok = 0, for k = 2,..., 7.

We begin by parametrizing the d-dimensional dual vielbein (e*,a)x = (ET,—1)ax in the (dual) lattice frame in terms of a unique14 upper-triangular (d x d)-square matrix:

(d) ) iv '

R-1 -R01G 0

0 (E-d1-T1))IJ

where the greek indices ¡x = 0, 1 ,...,d — 1 run over the entire d-dimensional space, while the latin indices span the (d — 1)-dimensional subspace I = 1,...,d — 1. We also used the (d — 1)-

T— 1

dimensional dual upper-triangular vielbein matrix (E(di,—1))]J, parametrizing the lattice metric of the (d — 1)-dimensional subspace spanned by X], ] = 1,...,d — 1.

Note that the first x = 0 row of this matrix contains the G0-quantities, identified as chemical potentials in the case of the (8, 8)-lattice (Section 3.4):

(e*,a=°y = —R0G 0.

In the Lagrangian representation of the lattice, the exponent can be expressed in terms of the lower-triangular vielbein matrix (ea)x = (E(d))ax as:

—G^m ^+■

where we use the notation vx = mx + xnx, introduced in Appendix A. Using standard blockwise inversion, one may express the vielbein matrix as:

(E(d))iv =

(E(d-i))iK.G %

(E(d-i))ij

so that the lattice exponent has the simple decomposition:

d-1 +£

J2(E(d-i))ij(vJ + G Jv°)

Now, the condition G0 e Z permits the change of lattice basis (discrete gauge transformation):

13 Again, as in the main body of the paper, we implicitly assume that all moduli are propagating fields, except for the ones associated to the Euclidean time direction, which acquire a thermodynamical interpretation. In the case where some of the moduli are twisted by orbifolds, as in Section 5, these conditions are no longer applicable in this simplified form.

14 The uniqueness of the decomposition of a symmetric, positive-definite matrix into the product of an upper- and lower-triangular matrix is known in linear algebra as the Cholesky theorem.

V1 ^ v'] = v1 + G0V0,

after which, the exponent of the lattice takes a factorized form:

- + T2 \

J2(B{d-i))ijv

We must also ensure that the same factorization takes place in the phase. Working in the "temperature representation" (3.8), the phase:

m °(a + a ) + n°(b + b) + m 1n1 + m1 a + n1b + 2 £ Bvv{>

m^nv -mv

transforms under the change of basis (D.5). The antisymmetric tensor part transforms as:

=oj2 B °j (

-„°jj J,„ °\

\m" n" — m" n' j + Bij{m' n — m" n j=1 i<j

-j i,„ J ¿J J,„ 'i ^

The condition B°k e Z for k = 2,...,d, eliminates the associated B°k-term from the phase above, while the B°1 e Z + 1-condition ensures that the B°1-term cancels the extra phase contribution of the right-moving R-symmetry coupling. As a result, the phase factorizes as well:

(m °n° + m °a + n°b) + (m' 1n/1 + m' 1a + nrlb) + 2 £ BiJ (,

m' inJ — m' Jnri )

The conditions (3.41), therefore, imply that the original (d, d)-lattice factors out a ^^b]-lattice coupled only to FL :

r'..ddXl^} ^ r(1,1^&](R°) ' r(d — 1,d — vXIYGij^iJ

(D.1°)

which is, indeed, equivalent to the complete factorization of the temperature cycle S1 from the remaining compact manifold.

Appendix E. Duality

It is important to note the presence of an R0 ^ 1 /(2R0) duality as a consequence of the properties of the F(1^1)[ab] shifted lattice. The duality can be seen as follows: changing m0,n0 variables into m0 = 2M + g, n0 = 2N + h, where M, N e Z and h,g e {0,1}, the lattice takes the form of a (M + g ,n + h) half-shifted lattice in the presence of a discrete Wilson line co-cycle ag + bh + hg:

) = j=E E e T2

V 2 M,NeZ h,g=°, 1

n(2R°y

\(M + § )+t(N+ h )\2+in[ag+bh+hg ]

Next, perform a double-Poisson re-summation as in the appendix:

1 ^ 1/R0 ^ - n( R )2\N+rM\2+in[MN+Ma+Nb+(M+b+g)(N+h+a)] ab

22 £ "TTT £ e T2 0 (-) • (K2)

h,g=0,1 V 2 M,NeZ

Next, one performs another change of variables into N = 2K + G, M = 2L + H, where the summations are again over K,L e Z and H,G = 0,1. The result looks very similar to the original form:

1 y^ (2Ro)-1

2 ^ Jr2

h,g,H,G=0,1 v 2

-n(1/R0)2 I (KJ-G)J_r(TJ_H) ,2

X £ e--^^\(K+ G) (L+H )\+in[aG+bH+HG+(G+b+g)(H+h+a)\—yb (E3)

The summation over g acts as a projector:

^ I ^ (-)g(H+h+a)(_)(G+b)(H+h+a) h=0,1 2 g=0,1

The g-projection imposes H + h + a = even, whereas the h-summation resets H to be unconstrained H = 0, 1. The result is:

R0 ^Lj - 7~RR^\(2k+g)+t(2l+h)\2

K,LeZ H,G

0 V^ V^--r \(2K+G)+T(2L+H)\2+in[(2K+G)a+(2L+H)b+(2K+G)(2L+H)+ab]

- (-)abr(1,r)[ab](R0),

which is exactly the original lattice at the dual radius R0 = (2R0)-1 and (-)ab is the phase that interchanges the S and C representations.

References

[1] J. Scherk, J.H. Schwarz, Spontaneous breaking of supersymmetry through dimensional reduction, Phys. Lett. B 82 (1979) 60;

R. Rohm, Spontaneous supersymmetry breaking in supersymmetric string theories, Nucl. Phys. B 237 (1984) 553; C. Kounnas, M. Porrati, Spontaneous supersymmetry breaking in string theory, Nucl. Phys. B 310 (1988) 355; S. Ferrara, C. Kounnas, M. Porrati, N = 1 superstrings with spontaneously broken symmetries, Phys. Lett. B 206 (1988) 25;

S. Ferrara, C. Kounnas, M. Porrati, F. Zwirner, Effective superhiggs and Str M2 from four-dimensional strings, Phys. Lett. B 194 (1987) 366;

S. Ferrara, C. Kounnas, M. Porrati, Superstring solutions with spontaneously broken four-dimensional supersym-metry, Nucl. Phys. B 304 (1988) 500.

[2] J.P. Derendinger, C. Kounnas, P.M. Petropoulos, F. Zwirner, Superpotentials in IIA compactifications with general fluxes, Nucl. Phys. B 715 (2005) 211, arXiv:hep-th/0411276;

J.P. Derendinger, C. Kounnas, P.M. Petropoulos, F. Zwirner, Fluxes and gaugings: N = 1 effective superpotentials, Fortschr. Phys. 53 (2005) 926, arXiv:hep-th/0503229;

G. Villadoro, F. Zwirner, N = 1 effective potential from dual type-IIA D6/O6 orientifolds with general fluxes, JHEP 0506 (2005) 047, arXiv:hep-th/0503169;

G. Villadoro, F. Zwirner, D terms from D-branes, gauge invariance and moduli stabilization in flux compactifications, JHEP 0603 (2006) 087, arXiv:hep-th/0602120;

L. Andrianopoli, M.A. Lledo, M. Trigiante, The Scherk-Schwarz mechanism as a flux compactification with internal torsion, JHEP 0505 (2005) 051, arXiv:hep-th/0502083;

G. Dall'Agata, N. Prezas, Scherk-Schwarz reduction of M-theory on G2-manifolds with fluxes, JHEP 0510 (2005) 103, arXiv:hep-th/0509052;

J.P. Derendinger, P.M. Petropoulos, N. Prezas, Axionic symmetry gaugings in N = 4 supergravities and their higher-dimensional origin, Nucl. Phys. B 785 (2007) 115, arXiv:0705.0008 [hep-th].

[3] T. Catelin-Jullien, C. Kounnas, H. Partouche, N. Toumbas, Thermal/quantum effects and induced superstring cosmologies, Nucl. Phys. B 797 (2008) 137, arXiv:0710.3895 [hep-th];

T. Catelin-Jullien, C. Kounnas, H. Partouche, N. Toumbas, Thermal and quantum superstring cosmologies, Fortschr. Phys. 56 (2008) 792, arXiv:0803.2674 [hep-th].

[4] C. Angelantonj, C. Kounnas, H. Partouche, N. Toumbas, Resolution of Hagedorn singularity in superstrings with gravito-magnetic fluxes, Nucl. Phys. B 809 (2009) 291, arXiv:0808.1357 [hep-th].

[5] T. Harmark, V. Niarchos, N.A. Obers, Stable non-supersymmetric vacua in the moduli space of non-critical super-strings, Nucl. Phys. B 759 (2006) 20, arXiv:hep-th/0605192.

[6] S. Chaudhuri, Finite temperature bosonic closed strings: Thermal duality and the KT transition, Phys. Rev. D 65 (2002) 066008, arXiv:hep-th/0105110.

[7] K.R. Dienes, M. Lennek, Adventures in thermal duality. I: Extracting closed-form solutions for finite-temperature effective potentials in string theory, Phys. Rev. D 70 (2004) 126005, arXiv:hep-th/0312216;

K.R. Dienes, M. Lennek, Adventures in thermal duality. II: Towards a duality-covariant string thermodynamics, Phys. Rev. D 70 (2004) 126006, arXiv:hep-th/0312217.

[8] C. Angelantonj, M. Cardella, N. Irges, An alternative for moduli stabilisation, Phys. Lett. B 641 (2006) 474, arXiv: hep-th/0608022.

[9] C. Kounnas, Massive boson-fermion degeneracy and the early structure of the Universe, Fortschr. Phys. 56 (2008) 1143, arXiv:0808.1340 [hep-th].

[10] I. Florakis, C. Kounnas, Orbifold symmetry reductions of massive boson-fermion degeneracy, Nucl. Phys. B 820 (2009) 237, arXiv:0901.3055 [hep-th];

I. Florakis, String models with massive boson-fermion degeneracy, arXiv:1001.2589 [hep-th], Fortschr. Phys., in press.

[11] I. Antoniadis, C.P. Bachas, C. Kounnas, Four-dimensional superstrings, Nucl. Phys. B 289 (1987) 87.

[12] H. Kawai, D.C. Lewellen, S.H.H. Tye, Construction of fermionic string models in four dimensions, Nucl. Phys. B 288 (1987) 1.

[13] I. Antoniadis, C. Bachas, C. Kounnas, P. Windey, Supersymmetry among freefermions and superstrings, Phys. Lett. B 171 (1986)51.

[14] D. Kutasov, N. Seiberg, Number of degrees of freedom, density of states and tachyons in string theory and CFT, Nucl. Phys. B 358 (1991) 600.

[15] K. Dienes, Modular invariance, finiteness, and misaligned supersymmetry: New constraints on the numbers of physical string states, Nucl. Phys. B 429 (1994) 533.

[16] R.H. Brandenberger, C. Vafa, Superstrings in the early universe, Nucl. Phys. B 316 (1989) 391.

[17] E. Kiritsis, C. Kounnas, Dynamical topology change, compactification and waves in a stringy early Universe, arXiv:hep-th/9407005;

E. Kiritsis, C. Kounnas, Dynamical topology change in string theory, Phys. Lett. B 331 (1994) 51, arXiv:hep-th/9404092;

E. Kiritsis, C. Kounnas, Dynamical topology change, compactification and waves in string cosmology, Nucl. Phys. B (Proc. Suppl.) 41 (1995) 311, arXiv:gr-qc/9701005;

E. Kiritsis, C. Kounnas, String gravity and cosmology: Some new ideas, arXiv:gr-qc/9509017.

[18] C. Kounnas, D. Lust, Cosmological string backgrounds from gauged WZW models, Phys. Lett. B 289 (1992) 56, arXiv:hep-th/9205046;

C. Kounnas, N. Toumbas, J. Troost, A wave-function for stringy universes, JHEP 0708 (2007) 018, arXiv:0704.1996 [hep-th].

[19] R. Brandenberger, C. Kounnas, H. Partouche, S. Patil, N. Toumbas, Non-singular string cosmology from a thermal string gas, in preparation.

[20] M. Gasperini, G. Veneziano, Pre-big bang in string cosmology, Astropart. Phys. 1 (1993) 317, arXiv:hep-th/ 9211021;

M. Gasperini, M. Maggiore, G. Veneziano, Towards a non-singular pre-big bang cosmology, Nucl. Phys. B 494 (1997) 315, arXiv:hep-th/9611039.

[21] N. Matsuo, Superstring thermodynamics and its application to cosmology, Z. Phys. C 36 (1987) 289; J. Kripfganz, H. Perlt, Cosmological impact of winding strings, Class. Quant. Grav. 5 (1988) 453; M.J. Bowick, S.B. Giddings, High temperature strings, Nucl. Phys. B 325 (1989) 631;

A. Tseytlin, C. Vafa, Elements of string cosmology, Nucl. Phys. B 372 (1992) 443, arXiv:hep-th/9109048;

B.A. Bassett, M. Borunda, M. Serone, S. Tsujikawa, Aspects of string-gas cosmology at finite temperature, Phys. Rev. D 67 (2003) 123506, arXiv:hep-th/0301180;

R. Easther, B.R. Greene, M.G. Jackson, D.N. Kabat, String windings in the early universe, JCAP 0502 (2005) 009, arXiv:hep-th/0409121;

T. Battefeld, S. Watson, String gas cosmology, Rev. Mod. Phys. 78 (2006) 435, arXiv:hep-th/0510022; N. Kaloper, L. Kofman, A.D. Linde, V. Mukhanov, On the new string theory inspired mechanism of generation of cosmological perturbations, JCAP 0610 (2006) 006, arXiv:hep-th/0608200;

N. Kaloper, S. Watson, Geometric precipices in string cosmology, Phys. Rev. D 77 (2008) 066002, arXiv:0712.1820 [hep-th];

R.H. Brandenberger, String gas cosmology, arXiv:0808.0746 [hep-th];

B. Greene, D. Kabat, S. Marnerides, Bouncing and cyclic string gas cosmologies, arXiv:0809.1704 [hep-th].

[22] L.J. Dixon, J.A. Harvey, C. Vafa, E. Witten, Strings on orbifolds, Nucl. Phys. B 261 (1985) 678; L.J. Dixon, J.A. Harvey, C. Vafa, E. Witten, Strings on orbifolds. 2, Nucl. Phys. B 274 (1986) 285; K.S. Narain, M.H. Sarmadi, C. Vafa, Asymmetric orbifolds, Nucl. Phys. B 288 (1987) 551;

K.S. Narain, M.H. Sarmadi, C. Vafa, Asymmetric orbifolds: Path integral and operator formulations, Nucl. Phys. B 356 (1991) 163.

[23] C. Kounnas, BPS states in superstrings with spontaneously broken SUSY, Nucl. Phys. B (Proc. Suppl.) 58 (1997) 57, arXiv:hep-th/9703198;

E. Kiritsis, C. Kounnas, Perturbative and non-perturbative partial supersymmetry breaking: N = 4 ^ N = 2 ^ N = 1, Nucl. Phys. B 503 (1997) 117, arXiv:hep-th/9703059;

E. Kiritsis, C. Kounnas, P.M. Petropoulos, J. Rizos, String threshold corrections in models with spontaneously broken supersymmetry, Nucl. Phys. B 540 (1999) 87, arXiv:hep-th/9807067.

[24] C. Kounnas, B. Rostand, Deformations of superstring solutions and spontaneous symmetry breaking, in: Proceedings of 3rd Hellenic School on Elementary Particle Physics, Corfu, Greece, September 13-23, 1989.

[25] C. Kounnas, B. Rostand, Coordinate dependent compactifications and discrete symmetries, Nucl. Phys. B 341 (1990)641.

[26] A. Faraggi, I. Florakis, C. Kounnas, J. Rizos, in preparation.

[27] J. Atick, E. Witten, The Hagedorn transition and the number of degrees of freedom of string theory, Nucl. Phys. B 310 (1988) 291.

[28] I. Antoniadis, C. Kounnas, Superstring phase transition at high temperature, Phys. Lett. B 261 (1991) 369;

I. Antoniadis, J.P. Derendinger, C. Kounnas, Non-perturbative supersymmetry breaking and finite temperature instabilities in N = 4 superstrings, arXiv:hep-th/9908137;

C. Kounnas, Universal thermal instabilities and the high-temperature phase of the N = 4 superstrings, arXiv:hep-th/9902072.

[29] J.L.F. Barbon, E. Rabinovici, Touring the Hagedorn ridge, arXiv:hep-th/0407236.

[30] J.L. Davis, F. Larsen, N. Seiberg, Heterotic strings in two dimensions and new stringy phase transitions, JHEP 0508 (2005) 035, arXiv:hep-th/0505081;

J.L. Davis, The moduli space and phase structure of Heterotic strings in two dimensions, Phys. Rev. D 74 (2006) 026004, arXiv:hep-th/0511298.

[31] I.R. Klebanov, String theory in two-dimensions, Trieste Spring School Lectures (QCD161:T732:1991) (1991) 30101, arXiv:hep-th/9108019.

[32] B. McClain, B.D.B. Roth, Modular invariance for interacting bosonic strings at finite temperature, Commun. Math. Phys. 111 (1987) 539;

K.H. O'Brien, C.I. Tan, Modular invariance of thermopartition function and global phase structure of heterotic string, Phys. Rev. D 36 (1987) 1184;

P. Ditsas, E.G. Floratos, Finite temperature closed bosonic string in a finite volume, Phys. Lett. B 201 (1988) 49.

[33] A. Gregori, C. Kounnas, J. Rizos, Classification of theN = 2, Z(2) x Z(2)-symmetric Type II orbifolds and their Type II asymmetric duals, Nucl. Phys. B 549 (1999) 16, arXiv:hep-th/9901123.

[34] E. Cremmer, S. Ferrara, C. Kounnas, D.V. Nanopoulos, Naturally vanishing cosmological constant in N = 1 super-gravity, Phys. Lett. B 133 (1983) 61;

J.R. Ellis, C. Kounnas, D.V. Nanopoulos, No scale supersymmetric GUTs, Nucl. Phys. B 247 (1984) 373; J.R. Ellis, C. Kounnas, D.V. Nanopoulos, Phenomenological SU(1, 1) supergravity, Nucl. Phys. B 241 (1984) 406; J.R. Ellis, A.B. Lahanas, D.V. Nanopoulos, K. Tamvakis, No-scale supersymmetric standard model, Phys. Lett. B 134 (1984) 429.

[35] I. Antoniadis, C. Kounnas, The dilaton classical solution and the supersymmetry breaking evolution in an expanding universe, Nucl. Phys. B 284 (1987) 729.

[36] C. Kounnas, H. Partouche, Instanton transition in thermal and moduli deformed de Sitter cosmology, Nucl. Phys. B 793 (2008) 131, arXiv:0705.3206 [hep-th];

C. Kounnas, H. Partouche, Inflationary de Sitter solutions from superstrings, Nucl. Phys. B 795 (2008) 334, arXiv: 0706.0728 [hep-th];

T. Catelin-Jullien, C. Kounnas, H. Partouche, N. Toumbas, Induced superstring cosmologies and moduli stabilization, Nucl. Phys. B 820 (2009) 290, arXiv:0901.0259 [hep-th];

F. Bourliot, C. Kounnas, H. Partouche, Attraction to a radiation-like era in early superstring cosmologies, Nucl. Phys. B 816 (2009) 227, arXiv:0902.1892 [hep-th];

F. Bourliot, J. Estes, C. Kounnas, H. Partouche, Cosmological phases of the string thermal effective potential, Nucl. Phys. B 830 (2010) 330, arXiv:0908.1881 [hep-th];

F. Bourliot, J. Estes, C. Kounnas, H. Partouche, Thermal and quantum induced early superstring cosmology, arXiv:0910.2814 [hep-th];

J. Estes, C. Kounnas, H. Partouche, Superstring cosmology for N4 = 1 ^ 0 superstring vacua, preprint LPTENS-09/32, CPHT-RR080.0709, July 2009.

[37] I. Florakis, C. Kounnas, J. Rizos, N. Toumbas, in preparation.

[38] A. Faraggi, C. Kounnas, J. Rizos, Chiral family classification of fermionic Z2 x Z2 Heterotic orbifold models, Phys. Lett. B 648 (2007) 84, arXiv:hep-th/0606144.