# Niemeier Lattices in the Free Fermionic Heterotic-String Formulation.

1. IntroductionThe ATLAS and CMS collaborations reported in December 2015 evidence for excess in the diphoton channel [1, 2]. Absence of evidence for any other deviation from the Standard Model expected signals suggested that the excess could be interpreted as production and decay of a Standard Model singlet state by heavy vector-like states [3], in a process depicted in Figure 1. In [4], it was shown that the spectrum required to generate the excess naturally arises in the string derived model of [5], which allows for a light Z' vector boson. Anomaly cancellation mandates that the mass scale of the Standard Model singlet state, which is produced in resonance in Figure 1, as well as the mass scale of the heavy vector-like states that are used in the production and decay of the singlet states, be the Z' symmetry breaking scale. Thus, assuming that the Z' remains unbroken down to the multi-TeV scale naturally gives rise to the characteristics required to generate diphoton excess. In [6], it was shown that existence of the light Z' at the multi-TeV scale is compatible with gauge coupling unification at the GUT scale, as well as other phenomenological constraints.

In August 2016, the ATLAS and CMS collaborations reported that accumulation of further data did not substantiate the observation of the diphoton excess [7, 8], suggesting that initial observation was a statistical fluctuation. However, this does not repudiate the diphoton excess as a signal of the string derived Z' model, albeit not as the purported 750 GeV resonance. Thus, searching for diphoton excesses in the energy range accessible at the LHC continues to be of immense interest.

Extra Z' vector bosons as possible signatures of heterotic-string vacua have been discussed in the literature since the mid-eighties [9-11]. The difficulty in constructing heterotic-string models that allow for an extra U(1) symmetry to remain unbroken down to low scales stems from the fact that the aforementioned symmetries tend to be anomalous in the heterotic-string derived models. The reason is that the string models utilise the symmetry breaking pattern [E.sub.6] [right arrow] SO(1Q) x U[(1).sub.[zeta]], with anomalous /U[(1).sub.[zeta]]. Suppression of left-handed neutrino masses implies that the extra U(1) symmetry, which is embedded in SO(10), has to be broken near the GUT scale. This conundrum motivated the search of extra U(1) symmetries that do not admit the E6 embedding of their charges [12, 13]. However, these choices result in contradiction between gauge coupling unification and the gauge coupling parameters at the electroweak scale, which works well if the extra U(1) charges admit the E6 embedding [6,14,15].

It is therefore notable that in [5] a heterotic-string derived model with an anomaly-free U[(1).sub.[zeta]] was constructed. What is perhaps more remarkable is that the construction of the model utilises a basic duality symmetry that operates in the space of [Z.sub.2] x [Z.sub.2] heterotic-string vacua which was dubbed spinor-vector duality. The duality operates under the exchange of the total number of spinorial 16 [direct sum] [bar.16] and vectorial 10 representations of SO(10). For every vacuum with a number of 16 [direct sum] [bar.16] representations and a number of 10 representations, there exists a dual vacuum in which the two numbers are interchanged. One can further show that the duality arises from the breaking of (2,2) world-sheet supersymmetry to (2, 0) and that the duality map is induced by a spectral flow operator that operates in the bosonic sector of the heterotic-string vacuum. In the vacua with (2,2) world-sheet supersymmetry, the SO(10) x U[(1).sub.[zeta]] symmetry is enhanced to [E.sub.6]. The chiral 27 and [bar.27] representations of [E.sub.6] decompose under SO(10) x U[(1).sub.[zeta]] as

27 = [16.sub.+1/2] + [10.sub.-1] + [1.sub.+2], [bar.27] = [[bar.16].sub.-1/2] + [10.sub.+1] + [1.sub.-2]. (1)

Thus, the (2,2) vacua are self-dual under the exchange of the total number of spinorial 16 [direct sum] [bar.16] and vectorial 10 representations. The spectral flow operator acts as the U(1) generator of the N = 2 world-sheet supersymmetry and interchanges between the SO(10) components in the decomposition of [E.sub.6] under SO(10) x U[(1).sub.[zeta]]. The breaking of [E.sub.6] to SO(10) x U[(1).sub.[zeta]] or the breaking of the world-sheet supersymmetry from (2, 2) to (2, 0) is induced by Wilson lines. One choice of Wilson line breaking results in a vacuum with [#.sub.1] of 16 [direct sum] [bar.16] representations and [#.sub.2] of 10 representations, whereas a second choice interchanges the two numbers. Furthermore, the duality map between the dual cases is induced by the spectral flow operator of the parent (2,2) vacuum.

A new twist is that the spinor-vector duality was used to construct the heterotic-string model with anomaly-free U[(1).sub.[zeta]] that allows for an extra [E.sub.6] Z' to remain unbroken down to low scales. Using the methods developed in [16-23] for the classification of free fermionic models, a self-dual model under the spinor-vector duality is fished from the landscape of vacua. The unbroken gauge symmetry at the string level is SO(10) x U[(1).sub.[zeta]], but the spectrum is self-dual under the exchange of the total number of spinorial 16 [direct sum] [bar.16] and vectorial 10 representations. Thus, the spectrum still forms complete [E.sub.6] multiplets and consequently U[(1).sub.[zeta]] is anomaly-free. This is possible in the [Z.sub.2] x [Z.sub.2] orbifold if the different spinorial and vectorial components are obtained from different fixed points. Conversely, obtaining both the spinorial and the vectorial representations at the same fixed point necessarily implies that the gauge symmetry is enhanced to E6. In the model of [5], the SO(10) symmetry is broken at the string level to SO(6) x SO(4). However, the chiral spectrum of the model still appears in complete E6 representations, hence maintaining U[(1).sub.[zeta]] as an anomaly-free symmetry.

The spinor-vector duality is a fundamental symmetry in the space of (2,0) heterotic-string vacua. It played a central role in the construction of the Z' model in [5]. If the additional U(1) symmetry remains unbroken down to low scales, it may be detected via diphoton production as in Figure 1.

Another fascinating direction of investigation is the possibility that the spinor-vector duality is a mere reflection of a much larger symmetry structure that underlies this class of vacua. The much larger symmetry structure is obtained in compactifications to two dimensions and gives rise to 24-dimensional lattices. Reference [24] alluded to possible similarities with the Massive Spectrum boson-fermion Degeneracy Symmetry (MSDS) [25, 26], which arises from a basic Jacobi-like identity in 24 dimensions. The compactifications to two dimensions are connected to 24-dimensional lattices and the symmetries of those are related to the so-called moonshine symmetries. In two dimensions, the spectral flow operator that induces the spinor-vector duality and the twist operators which acts on the internal coordinates can be seen to share a common structure in that both have four periodic right-moving fermions. One may further envision that, under decompactification back to 4 dimensions, the two spinor-vector dual vacua appear on the boundaries of the moduli space. This is reminiscent of the case when space-time supersymmetry is broken to N = 0 by a Scherk-Schwarz mechanism in nine dimensions and the supersymmetric and nonsupersymmetric vacua appear on the boundaries of the compactified dimension.

In this paper, we embark on a program to explore the connection between the moonshine symmetries and the spinor-vector duality. We foresee that the spinor-vector duality is a tip of the iceberg and that elucidation of this connection may reveal a covering space of large space of string compactifications facilitating a deeper understanding of their symmetries and connections. In this paper, we make several modest steps to initiate the enterprise. In Section 2, we review a specific realisation of the spinor-vector duality, which is particularly suited for our purpose here. In this realisation, the untwisted vector bosons corresponding to the sixteen-dimensional vector bundle of the heterotic string in ten dimensions generate an SO[(8).sup.4] gauge symmetry. This is obtained by including in the construction four basis vectors with four periodic world-sheet fermions, and enhancement to larger gauge symmetries is obtained from twisted sectors. A similar basis vector with four periodic fermions that acts simultaneously on the gauge degrees of freedom and the internal coordinates produces the twisted sectors. The spinor-vector duality can be then seen to a rise due to a special choice of the Generalised GSO (GGSO) phases. In Section 3, we explore a similar construction in two dimensions and classify the symmetries that arise on the resulting 24-dimensional lattices. In Section 4, we derive representations of some of the Niemeier lattices in 24 dimensions in the free fermionic formulation. Section 5 concludes our paper.

2. A Novel Basis

In this section, we review the spinor-vector duality in the specific realisation of [27]. Construction of a consistent four-dimensional heterotic-string theory in the light-cone gauge requires 20 left-moving and 44 right-moving two-dimensional real fermions [28, 29] propagating on the world-sheet torus. The models in this construction are specified in terms of a set of basis vectors [v.sub.i], i = 1, ..., n,

[v.sub.i] = {[[alpha].sub.1]([f.sub.1]), [[alpha].sub.i] ([f.sub.2]), [[alpha].sub.i], ([f.sub.3])...} (2)

describing the transformation properties of each fermion

[mathematical expression not reproducible] (3)

when transported along the noncontractible loops of the one-loop vacuum to vacuum amplitude. The basis vectors span a space [XI] which consists of [2.sup.N] sectors that give rise to the string spectrum. Each sector is given by

[xi] = [SIGMA] [N.sub.i][v.sub.i], [N.sub.i] = 0,1. (4)

The spectrum is truncated by a GGSO projection whose action on a string state |S) is

[mathematical expression not reproducible], (5)

where [F.sub.s] is the fermion number operator and [[delta].sub.S] = [+ or -]1 is the space-time spin statistics index. Different sets of projection coefficients [mathematical expression not reproducible] consistent with modular invariance give rise to different models. A model is defined by a set of basis vectors [v.sub.i], i = 1, ..., n, and a set of [2.sup.N(N-1)/2] independent projection coefficients [mathematical expression not reproducible]. The 64 world-sheet fermions in the light-cone gauge are denoted by [[psi].sup.[mu]], [X.sup.i], [Y.sup.i], [w.sup.i], i = 1, ..., 6 (real left- moving fermions) and [mathematical expression not reproducible] (real right-moving fermions); [mathematical expression not reproducible] (complex right-moving fermions). The division of the right-moving complex fermions into groups of four is obtained by introducing four basis vectors [z.sub.{0>1>2>3}] into the basis. Each of [z.sub.i] contains four nonoverlapping periodic fermions under the sets {[[bar.[psi]].sup.1, ..., 4], [[[bar.[eta]].sup.0,1,2,3], [[bar.[phi]].sup.1,...,4], [[bar.[phi]].sup.5]}. We note that our notation here deviates from the conventional one in the free fermion literature by renaming [[bar.[psi].sup.5]] [not equal to] [[bar.[psi].sup.0]]. To illustrate the structure of the spinor-vector duality, we use a basis V of seven boundary condition basis vectors given by

V = {[v.sub.1], [v.sub.2], ..., [v.sub.7]}, (6)

where

[mathematical expression not reproducible] (7)

The partition function of such models is of the form

[mathematical expression not reproducible] (8)

The phases [mathematical expression not reproducible] can be calculated in terms of the phases [mathematical expression not reproducible] that define the model: if we define the vectors

[mathematical expression not reproducible] (9)

then

[mathematical expression not reproducible] (10)

where [mathematical expression not reproducible] and r([alpha]) = ([alpha] - [[alpha]])/2 is the reduction vector which takes [alpha] to [[alpha]] with the latter having all its entries in the interval (-1,1].

The models generated by basis (7) preserve N = 2 space-time supersymmetry. Models that break to N =1 space-time supersymmetry are easily incorporated by introducing a second basis vector [b.sub.2] [18,19]. The second function of the second [Z.sub.2] basis vector [b.sub.2] is to break the untwisted observable symmetry gauge group from SO(12) x SO(4) to SO(10) x U[(1).sup.3]. Here, the spinor-vector duality is therefore seen in terms of SO(12), rather than SO(10), representations. However, since in the vacua the spinor-vector duality operates separately on each of the N = 2 planes [18, 19], the discussion in terms of N = 2 representations is sufficient.

In the models generated by the basis in (7), all the geometrical degrees of freedom [mathematical expression not reproducible] are grouped together. The remaining 8 left-moving and 32 right-moving world-sheet fermions are divided into five nonoverlapping groups of eight real fermions. In the ten-dimensional supersymmetric heterotic string, such a division always produces either SO(32) or [E.sub.8] x [E.sub.8] gauge groups [30]. Although naively one may expect that other gauge symmetries, such as SO(8)4, SO(16)2, or SO(8) xSO(24), may be obtained, the modular properties of the partition function forbid the other possible extensions. In terms of the SO(8) characters, this property follows from the equivalence of the 8V, 8S, and 8C SO(8) representations, which enables twisted constructions of the SO(32) or [E.sub.8] x [E.sub.8] gauge groups. These phenomena appear in the models generated by the basis in (7) and will be exploited in Section 3. The basis vector [b.sub.1] generates a [Z.sub.2] projection which breaks N = 4 to N = 2 space-time supersymmetry and breaks one of the SO(8) groups to SO(4) x SO(4) = SU(2) (4).

The sectors contributing to the gauge group are the 0 sector and the 10 antiholomorphic sets:

[mathematical expression not reproducible] (11)

The 0 sector requires two oscillators acting on the vacuum in the right-moving sector to produce a massless state; the Zj sectors require one oscillator; and the [z.sub.i] + [s.sub.z] sectors require no oscillators. We first discuss the N = 4 gauge group arising prior to the inclusion of the basis vector [b.sub.1], which reduces to space-time supersymmetry. The basis vector [b.sub.1] does not produce additional enhancement sectors and therefore merely breaks the N = 4 gauge group to a subgroup.

The 0 sector gauge bosons produce the gauge symmetry

[SO (12)] x SO [(8).sup.4], (12)

where the SO(12) group factor arises from the 12 right-moving world-sheet fermions [{[bar.y], [bar,w]}.sup.1,...6], which correspond to the internal lattice at the free fermionic SO(12) enhanced symmetry point. The SO[(8).sub.3,0,1,2] group factors arise, respectively, from [[bar.[psi]].sup.1, ..., 4], [[[bar.[eta]].sup.0,1,2,3], [[bar.[phi]].sup.1, ..., 4], [[bar.[phi]].sup.5,...8]}. The notation adheres to the conventional notation in the quasi-realistic heterotic-string models in the free fermionic formulation [31-39].

The additional sectors in (11) may produce space-time vector bosons that enhance the untwisted four-dimensional gauge symmetry. The possible enhancements depend on the GGSO projection coefficients [mathematical expression not reproducible]. Excluding the basis vector [b.sub.1], all vacua possess N = 4 space-time supersymmetry, which fixes the [mathematical expression not reproducible] phases. Hence, there maybe a priori [2.sup.6] possibilities for the four-dimensional gauge group, some of which are repeated. Identical manifestations of the gauge groups arise from twisted realisation of the group generators, due to the triality property of the SO(8) group representations. This is the four-dimensional manifestation of the twisted generation of gauge groups already observed in the ten-dimensional case. A few of the possibilities that may arise were classified in [27]. The same construction will be exploited in Section 3 in the analysis of compactifications to two dimensions.

2.1. A Simple Example of the Spinor-Vector Duality. The basis vector [b.sub.1] reduces N = 4 [right arrow] N = 2 space-time supersymmetry. TheN = 4vacuumwith [SO(12)] xSO(16)x SO(16) gauge group is realised with the GGSO projection coefficient taken to be

[mathematical expression not reproducible] (13)

With this set of GGSO phases, the additional sectors, beyond the 0 sector, that produce additional space-time vector bosons are [z.sub.2] and [z.sub.3], whereas those from all other sectors in (11) are projected out. The additional projection induced by the basis vector [b.sub.1] breaks the gauge symmetry arising from the 0 sector to

[[SO(8) x SO(4)].sub.L] x [[SO(8)3 x SO(4) x SO (4)].sub.O] x [[SO (8)1 x SO[(8).sub.2]].sub.H]. (14)

The SO(12) lattice gauge symmetry in (12) is reduced to [[SO(8) x SO(4)].sub.L]. The observable gauge symmetry arising from the 0 sector is [[SO[(8).sub.3] x SO(4)xSO(4)].sub.0], and [[SO[(8).sub.1] x SO[(8).sub.2]].sub.H] is the hidden gauge symmetry. Both observable and hidden sector gauge symmetries are enhanced. The hidden gauge symmetry is enhanced to [[SO(16)].sub.H] by the additional vector bosons arising from the sector [z.sub.2]. At the N = 4 level, the additional vector bosons from the sector [z.sub.3] enhance the observable [[SO[(8).sub.3] x SO[(8).sub.0]].sub.0] gauge symmetry to [[SO(16)].sub.0]. At the N = 2 level, the [b.sub.1] projection reduces [[SO(16)].sub.0] [right arrow] [[SO(12) x SO(4)].sub.0] [equivalent to] [[SO(12) x SU[(2).sub.0] x SU[(2).sub.l]].sub.0]. The N = 2 spinor-vector duality is realised by the exchange of the vectorial 12 representation of SO(12) with the spinorial 32 representation. This duality is illustrated by considering two different models in which these representations are interchanged due to the choices of the GGSO projection coefficients. We remark further that the choice of GGSO projection coefficients in (13) prevents the enhancement of the SO(12)xSU(2) gauge symmetry to [E.sub.7], which is the N = 2 analog of the enhancement of SO(10) x U(1) to [E.sub.6] at the N = 1 level.

The first choice of the extra GGSO projection coefficients that we consider is given by

[mathematical expression not reproducible] (15)

This choice defines a model with 2 multiplets in (1,[2.sub.L] + [2.sub.R], 12,1,2,1) and 2 in (8,[2.sub.L] + [2.sub.R], 1,2,1,1) representations of

[[SO(8) x SO(4)].sub.L] x [[SO (12) x SU [(2).sub.0] x SU [(2).sub.l]].sub.O] x [[SO(16).sub.H]. (16)

The sectors producing the vectorial 12 representation of SO(12) are the sectors [b.sub.1] and [b.sub.1] + [z.sub.3], where the sector [b.sub.1] produces the (1,2,2) representation and the sector [b.sub.1] + [z.sub.3] produces ([8.sub.S], 1,1) under the decomposition

[[SO(12)].sub.0] [right arrow] [[SO (8) x SO (4)].sub.0] [not equal to] [[SO (8) x SU (2) x SU (2)].sub.0]. (17)

All other states are projected out. In this case, there are eight multiplets in the vectorial representation of the observable SO(12), which also transform as doublets of the observable SU[(2).sub.1].

We next consider the choice of GGSO phases given by

[mathematical expression not reproducible]. (18)

This case defines a model with 2 multiplets in (1,[2.sub.L] + [2.sub.R], 32,1,1,1) and 2 in (1,[2.sub.L]+[2.sub.R], 1,1,2,16) representations of the gauge group in (16). The sectors producing the spinorial 32 representation of [[SO(12)].sub.0] are the sectors [b.sub.1] + [z.sub.0] and [b.sub.1] + [z.sub.3] + [z.sub.0], where the sector [b.sub.1] + [z.sub.0] produces the ([8.sub.V], 2,1) representation and the sector [b.sub.1] + [z.sub.3] + [z.sub.0] produces ([8.sub.C], 1,2) under the decomposition given in (17). The sectors producing the vectorial 16 multiplet of the hidden SO(16) gauge group are the sectors [b.sub.1] and [b.sub.1] + [z.sub.2], where the sector [b.sub.1] produces the ([8.sub.V], 1) multiplet and the sector [b.sub.1] + [z.sub.2] produces the (1,[8.sub.C]) multiplet under the decomposition [[SO(16)].sub.H] [right arrow] [[SO[(8).sub.1] x SO(8)2].sub.H]. The hidden 16 multiplets transform as doublets of the observable SU[(2).sub.1] group. All other states are projected out. In this model, there are eight multiplets in the spinorial 32 representation of the observable [[SO(12)].sub.0].

We note that, in the first model, the vectorial 12 representation of the observable [[SO(12)].sub.0] is constructed as 12 = ([8.sub.S], 1,1) [direct sum] (1,2,2), while in the second model the spinorials are constructed as 32 = (8V, 2,1) [direct sum] ([8.sub.C], 1,2) under the decomposition SO(12) [right arrow] SO(8) x SU(2) x SU(2). At the core of the construction is the triality of the SO(8) representations [8.sub.S] <-> 8V <-> 8C. This property of the SO(8) representations reproduces the standard decomposition of SO(n + m) ^ SO(n) x SO(rn) as V"+m = (V", 1) [R] (1, Vm), and S"+m = (S", Sm)[R] (C", Cm), for the vectorial and spinorial representations of SO(n + m), respectively. The triality of the SO(8) representations enables the twisted realisations of the GUT gauge group and representations, which is SO(12) in the N = 2 models and SO(10) inN =1 models. This SO(8) triality is the main property in the analysis of Section 3.

The transformation between the two models, (15) and (18), is induced by the discrete GGSO phase change

[mathematical expression not reproducible] (19)

In the models utilising the basis of (7), the map from sectors that produce vectorial representations of the observable SO(12) group to sectors that produce spinorial representations is obtained by adding the basis vector [z.sub.0], which is similar to the x map of [18, 19, 40, 41]. The basis vector [z.sub.0] therefore acts as the spectral flow operator. It is a generator of the right-moving N = 2 world-sheet supersymmetry in the models that preserve (2,2) world-sheet supersymmetry. It is the mirror image of the basis vector S, which is the spectral flow operator on the fermionic side of the heterotic string. For appropriate choice of the discrete GGSO phases, either the vectorial states or the spinorial states are kept in the spectrum. The discrete phase modification in (19) induces the spinor-vector duality map in the N = 2 model. The role of the basis vectors [z.sub.2] and [z.sub.3] in the models of (15) and (18) is to generate the twisted realisation of the gauge symmetry enhancement of the SO(8) gauge groups arising from the null sector. We may further represent the spinor-vector duality in an orbifold representation [42] and translate the duality map in (19) to distinct choices of the toroidal background fields [24, 43]. Generalisation of the spectral map transformation between heterotic-string vacua was extended to Gepner models in [44].

3. D = 2 Model Classification

In this section, we extend the classification of the symmetry groups to the case of compactifications to two dimensions. We develop the formalism and perform a complete classification in the simpler cases and partial classification in the more complex cases, where complexity here entails increasing number of basis vectors. The primary property which is exploited in our classification is the triality of the SO(8) representations. In Section 4, we will employ an alternative method to construct the 24-dimensional Niemeier lattices. In Section 5, we will comment on the overlap and differences between our analysis in Sections 3 and 4 and that of Section 2.

We compactify the heterotic string to two dimensions. The two-dimensional free fermions in the light-cone gauge (in the usual notation [28, 29, 31-39]) are i = [x.sup.i], [y.sup.i], [w.sup.i], i 1, ..., 8 (real left-moving fermions) and [[bar.x].sup.i], [[bar.y].sup.i], [[bar.w].sup.i], i = 1,...8= (real right-moving fermions), [[bar.[psi]].sup.A], A = 1, ..., 4, [[[bar].eta].sup.B], B = 0, 1, 2, 3, 0, [[bar.[phi].sup.[alpha]], [alpha] = 1, ..., 8 (complex right- moving fermions). The left- and right-moving real fermions are combined into complex fermions as [mathematical expression not reproducible].

The class of models under investigation is generated by a maximal set V of 7 basis vectors

[mathematical expression not reproducible] (20)

with the corresponding matrix of one-loop GGSO projection coefficients

[mathematical expression not reproducible] (21)

The analysis of the models is similar to the analysis in the four-dimensional case, where we define the GGSO projections in a similar way to (5), with the [[delta].sub.S] index being +1 in sectors in which the left-moving world-sheet fermions are antiperiodic and _1 in sectors in which they are periodic. With this definition of the GGSO projection, consistent with modular invariance, we can proceed to analyse the symmetry configurations.

3.1. Configurations. We analyse the various configurations that arise with an increasingly larger number of basis vectors. The simplest is the set {1, [H.sub.L]}. With this set, there is only one possible configuration with SO(48) symmetry. Climbing the complexity ladder by adding the [z.sub.1] basis vector produces two possible configurations: SO(8) xSO(40) and SO(48). The first is obtained from the untwisted vector states and the vector states from the sector [z.sub.1] are projected out, whereas the second is obtained by retaining the states from [z.sub.1] in the massless spectrum. The choice of the phase [mathematical expression not reproducible] selects between the two configurations. The next set is obtained by adding the basis vector [z.sub.2] yielding the set {1, [H.sub.L], [z.sub.1], [z.sub.2]}. The matrix of GGSO phases is given by

[mathematical expression not reproducible] (22)

Only the phases above the diagonal are independent, whereas those on and below the diagonal are fixed by the modular invariance rules. Thus, in the configurations corresponding to (22), we have a total of three independent phases or eight possible configurations. Naturally, there are degeneracies in the space of configurations due to the permutation symmetries among z;. With the basis corresponding to (22), we find a total of four independent configurations shown in Table 1.

We note that, with each subsequent basis set, the configurations of the smaller sets are reproduced. This is a recurring feature of string constructions [18,19] and results from some generic 0 function identities and redistribution of the vector states among the different sectors. We next add the additional basis vector [z.sub.3] producing a five-basis set (l,[H.sub.L],[z.sub.1],[z.sub.2],[z.sub.3]}. The phases matrix is given by

[mathematical expression not reproducible] (23)

The untwisted symmetry is [SO(8).sub.1] x [SO(8).sub.2] x [SO(8).sub.3] x SO(24). In this case, there are a total of six independent phases producing 64 distinct possibilities. Out of those, we obtain seven distinct configurations shown in Table 2. Four of the resulting configurations are reproductions of previous cases and three are new. A complete analysis of all configurations has been performed in the case with five basis vectors.

The next step is to add an additional basis vector to the set. The set of basis vectors is then (1, [H.sub.L], [z.sub.1], [z.sub.2], [z.sub.3], [z.sub.4]}. The untwisted symmetry is SO[(8).sub.1] x So[(8).sub.2] x SO[(8).sub.3] x SO[(8).sub.4] x SO(16). The sectors contributing to the symmetry group are the 0 sector and the 11 purely antiholomorphic sets:

[mathematical expression not reproducible] (24)

where the 0 sector requires two oscillators acting on the vacuum in the gauge sector; the sectors require one oscillator; and [z.sub.i] + [z.sub.j] and [??] require no oscillators. The matrix of GGSO phases is given by

[mathematical expression not reproducible] (25)

There are 10 independent phases in (25) rendering a total of 1024 different possibilities with a complete analysis seemingly prohibitive. For a sample of the choices, we reproduce the previous seven configurations and obtain six new ones. The thirteen configurations are displayed in Table 3.

The fifth case in Table 3 is a new feature of the basis set corresponding to (25) as compared to the earlier cases. In all the previous cases, the symmetry was enhanced by one or more of the additional sectors, whereas in the case of the fifth row in Table 3 all enhancements are projected out. Thus, this set affords a larger set of projectors that facilitate projection of all enhancements. This is a recurring feature, which is frequently used in classification of fermionic string vacua in four dimensions. The last row in Table 3 corresponds to a model with [E.sup.3.sub.8] symmetry, which is identified as one of the Niemeier lattices.

The next and final step is to add an additional basis vector which corresponds to the set given in (20) and the GGSO coefficients matrix in (21). The untwisted symmetry is SO[(8).sub.1] x SO[(8).sub.2] x SO[(8).sub.3] x SO[(8).sub.4] x [SO(8).sub.5] x [SO(8).sub.6], corresponding to the six sets of right-moving worldsheet complex fermions

[mathematical expression not reproducible] (26)

The sectors contributing to the symmetry group are the 0 sector and the 21 purely antiholomorphic sets:

[mathematical expression not reproducible], (27)

where [z.sub.6] = 1 + [H.sub.L] + [z.sub.1] + [z.sub.2] + [z.sub.3] + [z.sub.4] + [z.sub.5] = {[[bar.[psi].sup.-5,6,7,8]. Similar to the previous cases, the 0 sector requires two oscillators acting on the vacuum in the right-moving sector to produce a massless state; the [z.sub.i] sectors require one oscillator; and [z.sub.i] + with [z.sub.j] 1 [not equal to] j require no oscillators. All these cases require one oscillator acting on the vacuum in the left-moving sector. There are 15 independent phases in (21) rendering a total of 32768 possibilities, which requires a computerised analysis and is beyond our scope here.

All the sets that we introduced so far involve nonoverlapping periodic fermions; that is, the product between any two nontrivial basis vectors is 0 mod 4. We can introduce additional basis vectors with two overlapping right-moving periodic fermions; that is, the product between the new basis vectors and two of those in (20) is 2. For example, a basis vectorwith [z.sub.7] = [[bar.[rho].sup.1,2], [[[bar.[eta].sup.,2,3]} = 1 has [z.sub.7] x [z.sub.1] = [z.sub.7] x [z.sub.4] = 2. We can further envision breaking [H.sub.L] into three corresponding basis vectors [z.sub.0], [z.sub.8], and [z.sub.9] with [H.sub.L] = [z.sub.0] + [z.sub.8] + [z.sub.9] and similarly introduce basis vectors with overlapping periodic complex fermions. A single mod 4 left-moving basis vector, with null assignment for the right-moving fermions, produces a Jacobi-like factor, [V.sub.8] - [S.sub.8], in the partition function, which produces space-time supersymmetry in the four dimensional models. Such nonoverlapping left-moving basis vectors produce a product of Jacobi-like identities, whereas basis vectors with overlapping periodic fermions break this identity in a familiar way from the four-dimensional models. The action of the basis vectors with overlapping periodic fermions is reminiscent of the orbifold action in Section 2 and combining a left-moving action with a right-moving one will entail precisely that. This will alter the sharp division between the left and the right movers and reduce the symmetry structures obtained with the 24-dimensional lattices. This looks similar to the case of toroidal orbifolds. Detailed analysis of these cases is beyond our scope here and will be reported in future work. What may be envisioned is that the symmetry structures of the four-dimensional models are rooted in the rich symmetry structures of the 24-dimensional lattices in two dimensions. In turn, the free fermionic construction may provide a set of simple tools that can be used to explore the properties of the 24-dimensional lattices. In the next section, we derive some of the Niemeier lattices by using the free fermionic tools.

4. The Niemeier Lattices

Some of the models we have alreadypresented have the property that the modular invariant partition function factorises into a left- and a right-moving part:

Z([tau],[[bar.[tau]]) = Z([tau])Z([[bar.tau]]). (28)

For models based on the set {[H.sub.L], [H.sub.R] = {1,[H.sub.R], which might also include some z;'s given in (20), this will happen if the phases between [H.sub.L] and any other vector are chosen appropriately ([mathematical expression not reproducible].

Within the class of models with factorised partition functions, there is a subclass of models for which Z([tau]) and Z([[bar.[tau]]) are modular invariant by themselves. Particular cases of this type are models for which Z([tau]) is a constant. These models display a Massive Spectrum Degeneracy Symmetry (MSDS) and have been studied in [25, 26]. Here, we would like to focus more on the right-moving partition function, which for lattice compactifications is

Z([[bar.[tau]]) = [Z.sub.A] Z[[bar.[tau]])/([[bar.[eta]]) [([[bar.[tau]]).sup.24] (29)

A is the lattice on which the right-moving bosons are compactified.

Since Z([[bar.[tau]]) is modular invariant, A must be an even, self-dual, 24-dimensional lattice (assuming a compactification to two dimensions). There are 24 such lattices classified by Niemeier [45] and they are presented in Table 4. With the exception of the Leech lattice that has no vectors of length 2, the vectors of length 2 of the remaining 23 lattices belong to the root lattices of simple Lie groups. However, knowing the components is not enough by itself to fully define a Niemeier lattice. One must also describe how conjugacy classes among different components are coupled with each other. This is given in terms of certain glue vectors. For example, the Niemeier lattice [D.sup.2.sub.12] needs glue vectors j(s, v), (v, s)}, where v and s stand for the vector and the spinor conjugacy class of [D.sub.12]. More details about this construction and a list of glue vectors for all the Niemeier lattices can be found in [46, 47].

Note that these lattices have been studied extensively in the past, especially in connection with moonshine. For example, the lattice [A.sup.24.sub.1] carries a natural representation of the monster group [M.sub.24] and the Umbral Moonshine conjecture associates a finite group and a set of vector valued mock modular forms with each of these 23 Niemeier lattices (see [48] and the references therein).

Lattice compactifications have an equivalent fermionic description [49, 50]. The main result of this section is Table 4 in which we give realisations of the Niemeier lattices in terms of free fermionic basis vectors. Note that even though many glue vectors need to be included for a description in the bosonic language, the free fermionic realisations of many of these lattices are quite succinct. This is a demonstration of the power of the free fermionic formalism for certain tasks and an example where the dictionary between bosons and fermions described in [49] can be used to provide new insights.

For example, let us look at the [D.sup.2.sub.12] Niemeier lattice again. The straightforward way one might imagine implementing this in the free fermionic language is through the basis set [b.sub.1], [b.sub.2], [b.sub.3], [b.sub.4]}, where (remembering that the normalisation is twice the usual for weight vectors)

[mathematical expression not reproducible] (30)

[b.sub.1] and [b.sub.2] generate the two [D.sub.12]'s, whereas [b.sub.3] and [b.sub.4] are what one would naively write down to implement the glue vectors (s, v) and (v, s). On the other hand, the inclusion of [b.sub.3] and [b.sub.4] appears to be highly unconventional from a free fermionic model building perspective because they are not independent of [b.sub.1] and [b.sub.2] when considering mod 2. The resolution to this paradox is to use the formula [49]

[mathematical expression not reproducible], (31)

where [delta] and [delta]' have only even entries and [alpha], [alpha]' are arbitrary, to reduce [b.sub.3] and [b.sub.4] to [b.sub.1] and [b.sub.2], respectively. This also changes the phase [mathematical expression not reproducible] from 1 to -1, hence verifying the corresponding entry in Table 4. The same idea can be applied to fill in the rest of the table.

We tried to give realisations of the lattices using a small number of free fermionic basis vectors. However, for certain lattices, we were not able to do so and we had to use the following set of 12 basis vectors ([g.sub.1], [g.sub.2], ..., [g.sub.12]}, known as the Golay generators:

[mathematical expression not reproducible] (32)

Note that we only show the right-moving components of the basis vectors here, with the understanding that the left-moving components are all zero. For a consistent free fermionic model, the vector HL (at least) should also be added to the set to ensure that vector 1 is generated. The defining phases [mathematical expression not reproducible] for the models that use this set are as follows:

[mathematical expression not reproducible] (33)

Note that there are some entries in Table 4 for which we were unable to provide concrete realisations. We conjecture that these cases can also be given in terms of the Golay basis vectors for certain phases. However, the fact that there are [2.sup.78] a priori different phases that are allowed by modular invariance makes it computationally difficult to verify (or disprove) this claim.

For all the models presented in Table 4, an independent check of correctness can be performed by calculating the partition function (restricted to the right-moving sector) of the proposed free fermionic realisation via the formula

[mathematical expression not reproducible] (34)

and we check that it matches the partition function of the Niemeier lattices given as [51]

Z([[bar.[tau]]) = J([[bar.[tau]]) + 24(h+1), (35)

where h is the corresponding Coxeter number (given, e.g., in [46]) and J([[bar.[tau]]) is the unique modular invariant with zero constant term (i.e., J([[bar.[tau]]) = j([[bar.[tau]]) - 744). Note in particular that the partition functions of all these lattices (and those of the corresponding free fermionic models) only differ in their constant term. The massive spectra of all the models are identical.

The fact that the modular invariant phases in the partition function can be adjusted to couple conjugacy classes among different factors is quite surprising and, to our knowledge, has not been noticed before. It demonstrates an interesting interplay between gluing lattices and modularity and allows for a deeper understanding of the spinor-vector duality: for lattice compactifications, adjusting the generalised phases couples different conjugacy classes among different factors leading to different lattices. In a similar way, for orbifold compactifications, adjusting certain generalised phases leads to spinor-vector dual models.

5. Conclusions

The heterotic-string models in the free fermionic formulation are among the most realistic string models constructed to date [31-39]. They correspond to [Z.sub.2] x [Z.sub.2] toroidal orbifold constructions at special points in the moduli space [49, 52-57]. Their phenomenological properties raise the possibility that the true string vacuum shares some of their underlying properties. It is therefore of immense interest to explore what those underlying properties are. It is of course also plausible that the true string vacuum does not belong to this class, and for that purpose other classes of interesting string vacua (see, e.g., [58-66]) should be investigated and their underlying properties explored.

A particular subclass of free fermionic models are those that allow for a light extra Z', with its distinct low scale signature via diphoton excess. The construction of the string model utilised the spinor-vector duality, which is akin to mirror symmetry [67, 68]. A realisation of the spinor-vector duality relies on the triality of the SO(8) representations. In particular, this triality enables a large range of possibilities for the GGSO phases to produce the same symmetry groups. The SO(8) triality property is also at the core of the well known Jacobi identity and the ensuing space-time supersymmetry.

In this paper, we explored the symmetry structures of heterotic-string vacua compactified to two dimensions. Our primary motivation is to seek the origin of the four-dimensional spinor-vector duality in the symmetry structure of 24-dimensional lattices that are obtained in the two-dimensional compactifications. This is analogous to the MSDS symmetry which is similarly rooted in two-dimensional compactifications. We discussed in Section 2 how the spinor-vector duality is rooted in the triality property of SO(8) representations and we used this triality property in Section 3 to classify some of the symmetries of the two-dimensional compactifications. Self-duality under the spinor-vector duality played a key role in the construction of the Z' model of [5], with its distinctive signature via diphoton excess [4, 6]. Thus, a basic property underlying the string vacua is tied to a phenomenological model with its distinct experimental signature. In Section 4, we derived a representation of some of the Niemeier lattices in the free fermionic formulation. The properties of 24-dimensional lattices and their moonshine symmetries are of growing interest in the literature [69-76]. In this context, it is not implausible that the free fermionic methods can add to the set of tools that can be used to explore the underlying mathematical structures. How, and whether, these mathematical phenomena manifest themselves in physical observable is the arena we will explore in future publications.

https://doi.org/10.1155/2017/3572469

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

Alon E. Faraggi would like to thank the Simons Center for Geometry and Physics and the Oxford Particle Theory Group for their hospitality. This work is supported in part by STFC Consolidated Grant ST/L000431/1.

References

[1] ATLAS Collaboration, G. Aad et al., ATLAS-CONF-2015-081.

[2] CMS Collaboration, S. Chatrchyan et al., CMS PAS EXO15-004.

[3] A. Strumia, "Interpreting the 750 GeV digamma excess: a review," Tech. Rep. CERN-TH-2016-131, 2016, https://arxiv .org/abs/1605.09401.

[4] A. E. Faraggi and J. Rizos, "The 750 GeV di-photon LHC excess and extra Z s in heterotic-string derived models," European Physical Journal C, vol. 76, p. 170, 2016.

[5] A. E. Faraggi and J. Rizos, "A light Z heterotic-string derived model," Nuclear Physics B, vol. 895, pp. 233-247, 2015.

[6] J. Ashfaque, L. Delle Rose, A. E. Faraggi, and C. Marzo, "The LHC di-photon excess and gauge coupling unification in extra Z heterotic-string derived models," European Physical Journal C, vol. 76, no. 10, article 570, 26 pages, 2016.

[7] ATLAS Collaboration, G. Aad et al, ATLAS-CONF-2016-059.

[8] CMS Collaboration, S. Chatrchyan et al, CMS-PAS-EXO-16-027.

[9] P. Langacker, "The physics of heavy Z gauge bosons," Reviews of Modern Physics, vol. 81, p. 1199, 2009.

[10] A. Leike, "The phenomenology of extra neutral gauge bosons," Physics Reports, vol. 317, pp. 143-250, 1999.

[11] J. L. Hewett and T. G. Rizzo, "Low-energy phenomenology of superstring-inspired E6 models," Physics Reports, vol. 183, no. 5-6, pp. 193-381, 1989.

[12] A. E. Faraggi, "Proton stability and superstring Z," Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 499, no. 1-2, pp. 147-157, 2001.

[13] A. E. Faraggi and V. M. Mehta, "Proton stability and light Z' inspired by string derived models," Physical Review D Particles, Fields, Gravitation and Cosmology, vol. 84, no. 8, Article ID 086006, 2011.

[14] A. E. Faraggi and V. M. Mehta, "Proton stability, gauge coupling unification, and a light Z in heterotic-string models," Physical Review D - Particles, Fields, Gravitation and Cosmology, vol. 88, no. 2, Article ID 025006, 2013.

[15] P. Athanasopoulos, A. E. Faraggi, and V. M. Mehta, "Light Z in heterotic string standardlike models," Physical Review D Particles, Fields, Gravitation and Cosmology, vol. 89, no. 10, Article ID 105023, 2014.

[16] A. Gregori, C. Kounnas, and J. Rizos, "Classification of the N = 2, [Z.sub.2] x [Z.sub.2]-symmetric type II orbifolds and their type II asymmetric duals," Nuclear Physics B, vol. 549, no. 1-2, pp. 1662, 1999.

[17] A. E. Faraggi, C. Kounnas, S. E. M. Nooij, and J. Rizos, "Classification of the chiral Z2 x Z2 fermionic models in the heterotic superstring," Nuclear Physics B, vol. 695, no. 1-2, pp. 41-72, 2004.

[18] A. E. Faraggi, C. Kounnas, and J. Rizos, "Chiral family classification of fermionic Z2 x Z2 heterotic orbifold models," Physics Letters B, vol. 648, no. 1, pp. 84-89, 2007.

[19] A. E. Faraggi, C. Kounnas, and J. Rizos, "Spinor-vector duality in fermionic Z2 xZ2 heterotic orbifold models," Nuclear Physics B, vol. 774, no. 1-3, pp. 208-231, 2007.

[20] B. Assel, K. Christodoulides, A. E. Faraggi, C. Kounnas, and J. Rizos, "Exophobic quasi-realistic heterotic string vacua," Physics Letters B, vol. 683, no. 4-5, pp. 306-313, 2010.

[21] B. Assel, K. Christodoulides, A. E. Faraggi, C. Kounnas, and J. Rizos, "Classification of heterotic Pati-Salam models," Nuclear Physics B, vol. 844, no. 3, pp. 365-396, 2011.

[22] A. E. Faraggi, J. Rizos, and H. Sonmez, "Classification of flipped SU(5) heterotic-string vacua," Nuclear Physics B, vol. 886, pp. 202-242, 2014.

[23] H. Sonmez, "Flipped SU(5) breaking basis vector," Physical Review D, vol. 93, no. 12,125002,11 pages, 2016.

[24] A. E. Faraggi, I. Florakis, T. Mohaupt, and M. Tsulaia, "Conformal aspects of spinor-vector duality," Nuclear Physics B, vol. 848, no. 2, pp. 332-371, 2011.

[25] C. Kounnas, "Massive boson-fermion degeneracy and the early structure of the universe," Fortschritte der Physik. Progress of Physics, vol. 56, no. 11-12, pp. 1143-1156, 2008.

[26] I. Florakis and C. Kounnas, "Orbifold symmetry reductions of massive boson-fermion degeneracy," Nuclear Physics B, vol. 820, no. 1-2, pp. 237-268, 2009.

[27] A. E. Faraggi, C. Kounnas, and J. Rizos, "Spinor-vector duality in N = 2 heterotic string vacua," Nuclear Physics B, vol. 799, no. 1-2, pp. 19-33, 2008.

[28] I. Antoniadis, C. P. Bachas, and C. Kounnas, "Four-dimensional superstrings," Nuclear Physics. B. Theoretical, Phenomenological, and Experimental High Energy Physics. Quantum Field Theory and Statistical Systems, vol. 289, no. 1, pp. 87-108, 1987.

[29] H. Kawai, D. C. Lewellen, and S. H. Tye, "Construction of fermionic string models in four dimensions," Nuclear Physics. B. Theoretical, Phenomenological, and Experimental High Energy Physics. Quantum Field Theory and Statistical Systems, vol. 288, no. 1, pp. 1-76, 1987.

[30] H. Kawai, D. C. Lewellen, and S.-H. H. Tye, "Classification of closed-fermionic-string models," Physical Review D, vol. 34, no. 12, pp. 3794-3804, 1986.

[31] I. Antoniadis, J. Ellis, J. S. Hagelin, and D. V. Nanopoulos, "The flipped SU(5) x U(1) string model revamped," Physics Letters B, vol. 231, no. 1-2, pp. 65-74, 1989.

[32] A. E. Faraggi, D. V. Nanopoulos, and K. Yuan, "A standard-like model in the four-dimensional free fermionic string formulation," Nuclear Physics, Section B, vol. 335, no. 2, pp. 347-362, 1990.

[33] I. Antoniadis, G. K. Leontaris, and J. Rizos, "A three-generation SU(4)xO(4) string model," Physics Letters B, vol. 245, no. 2, pp. 161-168, 1990.

[34] A. E. Faraggi, "A new standard-like model in the four dimensional free fermionic string formulation," Physics Letters B, vol. 278, no. 1-2, pp. 131-139, 1992.

[35] A. E. Faraggi, "Construction of realistic standard-like models in the free fermionic superstring formulation," Nuclear Physics. B. Theoretical, Phenomenological, and Experimental High Energy Physics. Quantum Field Theory and Statistical Systems, vol. 387, no. 2, pp. 239-262, 1992.

[36] G. B. Cleaver, A. E. Faraggi, and D. V. Nanopoulos, "String derived MSSM and M-theory unification," Physics Letters. B. Particle Physics, Nuclear Physics and Cosmology, vol. 455, no. 1-4, pp. 135-146, 1999.

[37] G. K. Leontaris and J. Rizos, "N = 2 supersymmetric SU(4) x su(2)l x SUX2) effective theory from the weakly coupled heterotic superstring," Nuclear Physics B, vol. 554, no. 1-2, pp. 3-49, 1999.

[38] G. B. Cleaver, A. E. Faraggi, and C. Savage, "Left-right symmetric heterotic-string derived models," Physical Review. D. Third Series, vol. 63, no. 6, Article ID 066001, 2001.

[39] A. E. Faraggi, E. Manno, and C. Timirgaziu, "Minimal standard heterotic string models," European Physical Journal C, vol. 50, no. 3, pp. 701-710, 2007.

[40] A. E. Faraggi, "Generation mass hierarchy in superstring derived models," Nuclear Physics, Section B, vol. 407, no. 1, pp. 57-72, 1993.

[41] A. E. Faraggi, "Partition functions of NAHE-based free fermionic string models," Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 544, no. 1-2, pp. 207-214, 2002.

[42] C. Angelantonj, A. E. Faraggi, and M. Tsulaia, "Spinor-vector duality in heterotic string orbifolds," Journal of High Energy Physics, vol. 1007, no. 7, article no. 4, 2010.

[43] T. Catelin-Jullien, A. E. Faraggi, C. Kounnas, and J. Rizos, "Spinor-vector duality in heterotic SUSY vacua," Nuclear Physics. B. Theoretical, Phenomenological, and Experimental High Energy Physics. Quantum Field Theory and Statistical Systems, vol. 812, no. 1-2, pp. 103-127, 2009.

[44] P. Athanasopoulos, A. E. Faraggi, and D. Gepner, "Spectral flow as a map between N = (2,0)-models," Physics Letters B, vol. 735, pp. 357-363, 2014.

[45] H.-V. Niemeier, "Definite quadratische formen der dimension 24 und diskriminante 1," Journal of Number Theory, vol. 5, pp. 142-178, 1973.

[46] J. H. Conway and N. J. A. Sloane, Sphere Packing, Lattices and Groups, Springer, New York, NY, USA, 1998.

[47] W. Ebeling, "Lattices and Codes: A Course Partially Based on Lectures by Friedrich Hirzebruch," in Advanced Lectures in Mathematics, Springer, New York, NY, USA, 2012.

[48] M. C. N. Cheng, J. F. R. Duncan, and J. A. Harvey, "Umbral moonshine and the niemeier lattices," Research in the Mathematical Sciences, vol. 1, no. 3, 2014.

[49] P. Athanasopoulos, A. E. Faraggi, S. G. Nibbelink, and V. M. Mehta, "Heterotic free fermionic and symmetric toroidal orbifold models," Journal of High Energy Physics, vol. 2016, no. 4, article no. 38, 2016.

[50] P. Athanasopoulos, Relations in the space of (2, 0) heterotic string models [Ph.D. thesis], University of Liverpool, Liverpool, England, 2016.

[51] L. Dixon, P. Ginsparg, and J. Harvey, "Beauty and the beast: superconformal symmetry in a Monster module," Communications in Mathematical Physics, vol. 119, no. 2, pp. 221-241, 1988.

[52] A. E. Faraggi, "Z2 x Z2 orbifold compactification as the origin of realistic free fermionic models," Physics Letters B, vol. 326, no. 1-2, pp. 62-68, 1994.

[53] E. Kiritsis and C. Kounnas, "Perturbative and non-perturbative partial supersymmetry breaking: N = 4 [right arrow] N = 2 [right arrow] N =1," Nuclear Physics B, vol. 503, no. 1-2, pp. 117-156, 1997.

[54] P. Berglund, J. Ellis, A. E. Faraggi, D. V. Nanopoulos, and Z. Qiu, "Toward the M(F)-theory embedding of realistic free-fermion models," Physics Letters B, vol. 433, no. 3-4, pp. 269-278, 1998.

[55] P. Berglund, J. Ellis, A. E. Faraggi, D. V. Nanopoulos, and Z. Qiu, "On elevating free-fermion [z.sub.2] x [z.sub.2] orbifolds models to compactifications of F theory," International Journal of Modern Physics A, vol. 15, no. 9, p. 1345, 2000.

[56] R. Donagi and A. E. Faraggi, "On the number of chiral generations in [Z.sub.2] x [Z.sub.2] orbifolds," Nuclear Physics B, vol. 694, no. 1-2, pp. 187-205, 2004.

[57] A. E. Faraggi, S. Forste, and C. Timirgaziu, "[z.sub.2] x [z.sub.2] heterotic orbifold models of non factorisable six dimensional toroidal manifolds," Journal of High Energy Physics, vol. 608, no. 8, article no. 057, 2006.

[58] L. Ibanez, J. E. Kim, H. P. Nilles, and F. Quevedo, "Orbifold compactifications with three families of Su(3) x Su(2) x [U(1).sup.n]," Physics Letters B, vol. 191, no. 3, pp. 282-286, 1987.

[59] K. R. Dienes, "New string partition functions with vanishing cosmological constant," Physical Review Letters, vol. 65, no. 16, pp. 1979-1982, 1990.

[60] K. R. Dienes, "Statistics on the heterotic landscape: gauge groups and cosmological constants of four-dimensional heterotic strings," Physical Review. D. Third Series, vol. 73, no. 10, 106010, 33 pages, 2006.

[61] R. Blumenhagen, F. Gmeiner, G. Honecker, D. Lust, and T. Weigand, "The statistics of supersymmetric D-brane models," Nuclear Physics B, vol. 713, no. 1-3, pp. 83-135, 2005.

[62] F. Denef and M. R. Douglas, "Distributions of flux vacua," Journal of High Energy Physics, vol. 405, article 72, 2004.

[63] T. Kobayashi, S. Raby, and R.-J. Zhang, "Searching for realistic 4d string models with a Pati-Salam symmetry. Orbifold grand unified theories from heterotic string compactification on a [Z.sub.6] orbifold," Nuclear Physics B, vol. 704, no. 1-2, pp. 3-55, 2005.

[64] B. S. Acharya, F. Denef, and R. Valadro, "Statistics of M theory vacua," The Journal of High Energy Physics, vol. 506, article 56, 2005.

[65] M. R. Douglas and W. Taylor, "The landscape of intersecting brane models," Journal of High Energy Physics, vol. 701, article 31, 2007.

[66] O. Lebedev, H. P. Nilles, S. Raby, S. Ramos-Sanchez, M. Ratz, P. K. S. Vaudrevange et al., "A mini-landscape of exact MSSM spectra in heterotic orbifolds," Physics Letters B, vol. 645, no. 1, pp. 88-94, 2007.

[67] B. R. Greene and M. R. Plesser, "Duality in Calabi-Yau moduli space," Nuclear Physics, Section B, vol. 338, no. 1, pp. 15-37, 1990.

[68] C. Vafa and E. Witten, "On orbifolds with discrete torsion," Journal of Geometry and Physics, vol. 15, no. 3, pp. 189-214, 1995.

[69] T. Eguchi, "Professor nambu, string theory and moonshine phenomenon," Journal of High Energy Physics, 8 pages, 2016, https://arxiv.org/abs/1608.06036.

[70] M. C. N. Cheng, P. de Lange, and D. P. Z. Whalen, "Generalised umbral moonshine," Journal of High Energy Physics, 45 pages, 2016, https://arxiv.org/abs/1608.07835.

[71] V. V. Nikulin, "Degenerations of Kahlerian K3 surfaces with finite symplectic automorphism groups. III," 2016, https://arxiv.org/abs/1608.04373.

[72] S. Kachru, "Elementary introduction to Moonshine," 2016, https://arxiv.org/abs/1605.00697.

[73] S. M. Harrison, "Extremal chiral N = 4 SCFT with c = 24," Journal ofHigh Energy Physics, vol. 2016, no. 11, article 6, 2016.

[74] N. M. Paquette, D. Persson, and R. Volpato, "Monstrous BPS-algebras and the superstring origin of moonshine," Journal of High Energy Physics, 2016, https://arxiv.org/abs/1601.05412.

[75] A. Taormina and K. Wendland, "The overarching finite symmetry group of Kummer surfaces in the Mathieu group M 24," Journal of High Energy Physics, vol. 308, no. 8, article no. 125, 2013.

[76] M. R. Gaberdiel, S. Hohenegger, and R. Volpato, "Mathieu twining characters for K3," Journal ofHigh Energy Physics, vol. 1010, no. 9, article no. 62, 2010.

Panos Athanasopoulos and Alon E. Faraggi

Department of Mathematical Sciences, University of Liverpool, Liverpool L69 7ZL,

UK

Correspondence should be addressed to Alon E. Faraggi; alon.faraggi@liv.ac.uk

Received 9 May 2017; Accepted 13 June 2017; Published 10 August 2017

Caption: Figure 1: Production and diphoton decay of the Standard Model singlet scalar state.

Table 1: The configuration of the symmetry group with four basis vectors. c[[z.sub.1]/[H.sub.L]] c[[z.sub.2]/[H.sub.L]] + + + - - - - - c[[z.sub.1]/[z.sub.2]] Gauge group G + SO(16) x SO(32) + SO(8) x SO(40) + SO(48) - [E.sub.8] x SO(32) Table 2: The configuration of the symmetry group with five basis vectors. [mathematical [mathematical [mathematical [mathematical expression not expression not expression not expression not reproducible] reproducible] reproducible] reproducible] + + + + + + + + + + - + - - + + - - + - - - - + - - - - [mathematical [mathematical Gauge group G expression not expression not reproducible] reproducible] + + SO(24) x SO(24) + - SO(8) x SO(16) x SO(24) + + SO(16) x SO(32) + + SO(8) x SO(40) + + [E.sub.8] x SO(8) x SO(24) + + SO(48) + + [E.sub.8] x SO(32) Table 3: The configuration of the symmetry group with six basis vectors. [mathematical [mathematical [mathematical [mathematical expression not expression not expression not expression not reproducible] reproducible] reproducible] reproducible] + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + - - + + - - - - - - - + - - - - [mathematical [mathematical [mathematical [mathematical expression not expression not expression not expression not reproducible] reproducible] reproducible] reproducible] + + + + + + + + + + + + + + + - - + + - - - - + + - - - + + + + - - - - - + + + + + + + + + + + - + + + [mathematical [mathematical expression not expression not reproducible] reproducible] Gauge group G + + [E.sub.8] x SO(32) + - SO(16) x SO(16) x SO(16) - - SO(16) x SO(8) x SO(8) x SO(16) - - [E.sub.8] x SO(24) x SO(8) + - SO(16) x SO(8) x SO(8) x SO(8) x SO(8) + + SO(24) x SO(16) x SO(8) - + [E.sub.8] x SO(16) x SO(16) + + SO(24) x SO(24) - - SO(32) x SO(16) + + [E.sub.8] x [E.sub.8] x SO(16) + + SO(48) + + SO(40) x SO(8) + - [E.sub.8] x [E.sub.8] x [E.sub.8] Table 4: Free fermionic realizations of all in equivalent Niemeier lattices. Underline means permutations of all blocks separated by a comma. For example, the three basis vectors needed for [E.sup.3.sub.8] are ([1.sup.8],[0.sup.8],[0.sup.8]}, ([0.sup.8], [1.sup.8], [0.sup.8]}, and ([0.sup.8], [0.sup.8], [1.sup.8]}. Only the 24 right-moving components of the basis vectors appear explicitly; the left-moving ones are understood to be zero. We also state explicitly which generalized phases in the upper triangular part of the phase matrix are not 1. For a consistent free fermionic model, the vector [H.sub.L] (at least) should also be added to the set to ensure that vector l is generated. Niemeier lattice based on Free fermionic basis vector realization [D.sub.24] {[1.sup.24]} [D.sub.16][E.sub.8] {[1.sup.16],[0.sup.8]}, {[0.sup.16],[1.sup.8]} [E.sup.3.sub.8] {[1.sup.8],[O.sup.8], [0.sup.8]} [A.sub.24] [mathematical expression not reproducible] [D.sup.2.sub.12] [mathematical expression not reproducible] [A.sub.17][E.sub.7] {[(1/2).sup.18], [1.sup.6]} [D.sub.10][E.sup.2.sub.7] {[1.sup.24]}, {[1.sup.10], (0)[(1).sup.6], [O.sup.7] [A.sub.15][D.sub.9] Golay set [D.sup.3.sub.8] [mathematical expression not reproducible] [A.sup.2.sub.12] [mathematical expression not reproducible] [A.sub.11][D.sub.7][E.sub.6] ? [E.sup.4.sub.6] [mathematical expression not reproducible] [A.sup.2.sub.9][D.sub.6] ? [D.sup.4.sub.6] [mathematical expression not reproducible] [A.sup.3.sub.8] Golay set [A.sup.2.sub.7][D.sup.2.sub.5] Golay set [A.sup.4.sub.6] ? [A.sup.4.sub.5][D.sub.4] ? [D.sup.6.sub.4] [mathematical expression not reproducible] [A.sup.6.sub.4] Golay set [A.sup.8.sub.3] ? [A.sup.12.sub.2] ? [A.sup.24.sub.1] ? Leech ?

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Athanasopoulos, Panos; Faraggi, Alon E. |

Publication: | Advances in Mathematical Physics |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2017 |

Words: | 9981 |

Previous Article: | The Perturbed Riemann Problem for Special Keyfitz-Kranzer System with Three Piecewise Constant States. |

Next Article: | A Statistical Damage Constitutive Model for Geomaterials under Plane-Strain Biaxial Stress State. |

Topics: |