Abstract

The spinor–vector duality was discovered in free fermionic constructions of the heterotic string in four dimensions. It played a key role in the construction of heterotic–string models with an anomaly-free extra symmetry that may remain unbroken down to low energy scales. A generic signature of the low scale string derived model is via diphoton excess that may be within reach of the LHC. A fascinating possibility is that the spinor–vector duality symmetry is rooted in the structure of the heterotic–string compactifications to two dimensions. The two-dimensional heterotic–string theories are in turn related to the so-called moonshine symmetries that underlie the two-dimensional compactifications. In this paper, we embark on exploration of this connection by the free fermionic formulation to classify the symmetries of the two-dimensional heterotic–string theories. We use two complementary approaches in our classification. The first utilises a construction which is akin to the one used in the spinor–vector duality. Underlying this method is the triality property of representations. In the second approach, we use the free fermionic tools to classify the twenty-four-dimensional Niemeier lattices.

1. Introduction

The 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 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 symmetry breaking scale. Thus, assuming that the 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 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 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 vector bosons as possible signatures of heterotic–string vacua have been discussed in the literature since the mid-eighties [911]. The difficulty in constructing heterotic–string models that allow for an extra 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 , with anomalous . Suppression of left-handed neutrino masses implies that the extra symmetry, which is embedded in , has to be broken near the GUT scale. This conundrum motivated the search of extra symmetries that do not admit the 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 charges admit the embedding [6, 14, 15].

It is therefore notable that in [5] a heterotic–string derived model with an anomaly-free 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 heterotic–string vacua which was dubbed spinor–vector duality. The duality operates under the exchange of the total number of spinorial and vectorial representations of . For every vacuum with a number of representations and a number of 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 world–sheet supersymmetry to 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 world–sheet supersymmetry, the symmetry is enhanced to . The chiral and representations of decompose under as Thus, the vacua are self-dual under the exchange of the total number of spinorial and vectorial representations. The spectral flow operator acts as the generator of the world–sheet supersymmetry and interchanges between the components in the decomposition of under . The breaking of to or the breaking of the world–sheet supersymmetry from to is induced by Wilson lines. One choice of Wilson line breaking results in a vacuum with of representations and of 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 vacuum.

A new twist is that the spinor–vector duality was used to construct the heterotic–string model with anomaly-free that allows for an extra to remain unbroken down to low scales. Using the methods developed in [1623] 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 , but the spectrum is self-dual under the exchange of the total number of spinorial and vectorial representations. Thus, the spectrum still forms complete multiplets and consequently is anomaly-free. This is possible in the 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 . In the model of [5], the symmetry is broken at the string level to . However, the chiral spectrum of the model still appears in complete representations, hence maintaining as an anomaly-free symmetry.

The spinor–vector duality is a fundamental symmetry in the space of heterotic–string vacua. It played a central role in the construction of the model in [5]. If the additional 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 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 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 arise 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 ,describing the transformation properties of each fermion when transported along the noncontractible loops of the one-loop vacuum to vacuum amplitude. The basis vectors span a space which consists of sectors that give rise to the string spectrum. Each sector is given by The spectrum is truncated by a GGSO projection whose action on a string state is where is the fermion number operator and is the space–time spin statistics index. Different sets of projection coefficients consistent with modular invariance give rise to different models. A model is defined by a set of basis vectors , and a set of independent projection coefficients . The 64 world–sheet fermions in the light–cone gauge are denoted by (real left-moving fermions) and (real right-moving fermions); ; ; (complex right-moving fermions). The division of the right-moving complex fermions into groups of four is obtained by introducing four basis vectors into the basis. Each of contains four nonoverlapping periodic fermions under the sets . We note that our notation here deviates from the conventional one in the free fermion literature by renaming . To illustrate the structure of the spinor–vector duality, we use a basis of seven boundary condition basis vectors given bywhere

The partition function of such models is of the formThe phases can be calculated in terms of the phases that define the model: if we define the vectors thenwhere and is the reduction vector which takes to with the latter having all its entries in the interval .

The models generated by basis (7) preserve space–time supersymmetry. Models that break to space–time supersymmetry are easily incorporated by introducing a second basis vector [18, 19]. The second function of the second basis vector is to break the untwisted observable symmetry gauge group from to . Here, the spinor–vector duality is therefore seen in terms of , rather than , representations. However, since in the vacua the spinor–vector duality operates separately on each of the planes [18, 19], the discussion in terms of representations is sufficient.

In the models generated by the basis in (7), all the geometrical degrees of freedom , 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 or gauge groups [30]. Although naively one may expect that other gauge symmetries, such as , , or , may be obtained, the modular properties of the partition function forbid the other possible extensions. In terms of the characters, this property follows from the equivalence of the , , and representations, which enables twisted constructions of the or gauge groups. These phenomena appear in the models generated by the basis in (7) and will be exploited in Section 3. The basis vector generates a projection which breaks to space–time supersymmetry and breaks one of the groups to .

The sectors contributing to the gauge group are the sector and the 10 antiholomorphic sets: The sector requires two oscillators acting on the vacuum in the right-moving sector to produce a massless state; the sectors require one oscillator; and the sectors require no oscillators. We first discuss the gauge group arising prior to the inclusion of the basis vector , which reduces to space–time supersymmetry. The basis vector does not produce additional enhancement sectors and therefore merely breaks the gauge group to a subgroup.

The sector gauge bosons produce the gauge symmetry where the group factor arises from the 12 right-moving world–sheet fermions , which correspond to the internal lattice at the free fermionic enhanced symmetry point. The group factors arise, respectively, from , , , and . The notation adheres to the conventional notation in the quasi-realistic heterotic–string models in the free fermionic formulation [3139].

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 with . Excluding the basis vector , all vacua possess space–time supersymmetry, which fixes the phases. Hence, there may be a priori 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 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 reduces space–time supersymmetry. The vacuum with gauge group is realised with the GGSO projection coefficient taken to be With this set of GGSO phases, the additional sectors, beyond the sector, that produce additional space–time vector bosons are and , whereas those from all other sectors in (11) are projected out. The additional projection induced by the basis vector breaks the gauge symmetry arising from the sector to The lattice gauge symmetry in (12) is reduced to . The observable gauge symmetry arising from the sector is , and is the hidden gauge symmetry. Both observable and hidden sector gauge symmetries are enhanced. The hidden gauge symmetry is enhanced to by the additional vector bosons arising from the sector . At the level, the additional vector bosons from the sector enhance the observable gauge symmetry to . At the level, the projection reduces . The spinor–vector duality is realised by the exchange of the vectorial 12 representation of 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 gauge symmetry to , which is the analog of the enhancement of to at the level.

The first choice of the extra GGSO projection coefficients that we consider is given by This choice defines a model with 2 multiplets in and 2 in representations of The sectors producing the vectorial 12 representation of are the sectors and , where the sector produces the representation and the sector produces under the decomposition All other states are projected out. In this case, there are eight multiplets in the vectorial representation of the observable , which also transform as doublets of the observable .

We next consider the choice of GGSO phases given byThis case defines a model with 2 multiplets in and 2 in representations of the gauge group in (16). The sectors producing the spinorial 32 representation of are the sectors and , where the sector produces the representation and the sector produces under the decomposition given in (17). The sectors producing the vectorial 16 multiplet of the hidden gauge group are the sectors and , where the sector produces the multiplet and the sector produces the multiplet under the decomposition . The hidden 16 multiplets transform as doublets of the observable group. All other states are projected out. In this model, there are eight multiplets in the spinorial 32 representation of the observable .

We note that, in the first model, the vectorial 12 representation of the observable is constructed as , while in the second model the spinorials are constructed as under the decomposition . At the core of the construction is the triality of the representations . This property of the representations reproduces the standard decomposition of as , and , for the vectorial and spinorial representations of , respectively. The triality of the representations enables the twisted realisations of the GUT gauge group and representations, which is in the models and in models. This 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 changeIn the models utilising the basis of (7), the map from sectors that produce vectorial representations of the observable group to sectors that produce spinorial representations is obtained by adding the basis vector , which is similar to the map of [18, 19, 40, 41]. The basis vector therefore acts as the spectral flow operator. It is a generator of the right-moving world–sheet supersymmetry in the models that preserve world–sheet supersymmetry. It is the mirror image of the basis vector , 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 model. The role of the basis vectors and in the models of (15) and (18) is to generate the twisted realisation of the gauge symmetry enhancement of the 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. 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 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, 3139]) are ,   (real left-moving fermions) and ,   (real right-moving fermions), ,  ,,  , ,   (complex right-moving fermions). The left- and right-moving real fermions are combined into complex fermions as ,  ,  ,  ,  ,  .

The class of models under investigation is generated by a maximal set of 7 basis vectors with the corresponding matrix of one-loop GGSO projection coefficients

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 index being in sectors in which the left-moving world–sheet fermions are antiperiodic and 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 . With this set, there is only one possible configuration with symmetry. Climbing the complexity ladder by adding the basis vector produces two possible configurations: and . The first is obtained from the untwisted vector states and the vector states from the sector are projected out, whereas the second is obtained by retaining the states from in the massless spectrum. The choice of the phase selects between the two configurations. The next set is obtained by adding the basis vector yielding the set . The matrix of GGSO phases is given byOnly 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 . 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 function identities and redistribution of the vector states among the different sectors. We next add the additional basis vector producing a five-basis set . The phases matrix is given by The untwisted symmetry is . 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 . The untwisted symmetry is . The sectors contributing to the symmetry group are the sector and the 11 purely antiholomorphic sets:where the sector requires two oscillators acting on the vacuum in the gauge sector; the sectors require one oscillator; and and require no oscillators. The matrix of GGSO phases is given byThere 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 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 , corresponding to the six sets of right-moving worldsheet complex fermions The sectors contributing to the symmetry group are the sector and the 21 purely antiholomorphic sets: where Similar to the previous cases, the sector requires two oscillators acting on the vacuum in the right-moving sector to produce a massless state; the sectors require one oscillator; and with 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 . 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 vector with has . We can further envision breaking into three corresponding basis vectors , , and with 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, , 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 already presented have the property that the modular invariant partition function factorises into a left- and a right-moving part:For models based on the set , which might also include some ’s given in (20), this will happen if the phases between and any other vector are chosen appropriately .

Within the class of models with factorised partition functions, there is a subclass of models for which and are modular invariant by themselves. Particular cases of this type are models for which 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 is the lattice on which the right-moving bosons are compactified.

Since is modular invariant, must be an even, self-dual, -dimensional lattice (assuming a compactification to two dimensions). There are 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 , the vectors of length of the remaining 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 needs glue vectors , where and stand for the vector and the spinor conjugacy class of . 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 carries a natural representation of the monster group 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 Niemeier lattice again. The straightforward way one might imagine implementing this in the free fermionic language is through the basis set , where (remembering that the normalisation is twice the usual for weight vectors) and generate the two ’s, whereas and are what one would naively write down to implement the glue vectors and . On the other hand, the inclusion of and appears to be highly unconventional from a free fermionic model building perspective because they are not independent of and when considering mod . The resolution to this paradox is to use the formula [49]where and have only even entries and are arbitrary, to reduce and to and , respectively. This also changes the phase from to , 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 basis vectors , known as the Golay generators:

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 (at least) should also be added to the set to ensure that vector is generated. The defining phases for the models that use this set are as follows:

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 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 and we check that it matches the partition function of the Niemeier lattices given as [51] where is the corresponding Coxeter number (given, e.g., in [46]) and is the unique modular invariant with zero constant term (i.e., ). 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 [3139]. They correspond to toroidal orbifold constructions at special points in the moduli space [49, 5257]. 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., [5866]) should be investigated and their underlying properties explored.

A particular subclass of free fermionic models are those that allow for a light extra , 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 representations. In particular, this triality enables a large range of possibilities for the GGSO phases to produce the same symmetry groups. The 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 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 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 [6976]. 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.

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.