A Belhaj,H Belmahi,M Benali,S-E Ennadifi,Y Hassouni and Y Sekhmani,3

1 Equipe des Sciences de la matière et du rayonnement,ESMaR,Département de Physique Facultédes Sciences,UniversitéMohammed V de Rabat,Morocco

2 LHEP-MS,Département de Physique,Facultédes Sciences,UniversitéMohammed V de Rabat,Morocco

Abstract Borrowing ideas from elliptic complex geometry,we approach M-theory compactifications on real fibrations.Precisely,we explore real toric equations rather than complex ones exploited in F-theory and related dual models.These geometries have been built by moving real toric manifolds over real bases.Using topological changing behaviors,we unveil certain data associated with gauge sectors relying on affine lie symmetries.

Keywords:real fibrations,M-theory,toric real manifolds,affine lie symmetries

1.Introduction

Complex algebraic geometry has been considered as a crucial tool not only in mathematics but also in physics[1].In particular,it has been used in modern physics and related topics.It concerns building of compact complex manifolds needed for string compactification mechanisms[2].A special emphasis has been put on Calabi-Yau geometries supported by the industry of stringy models providing certain semi-realistic theories going beyond standard models.Among others,the elliptic fibrations of Calabi-Yau manifolds have been extensively investigated in connection with F-theory and stringy dual models.It is recalled that F-theory,which is a 12-dimensional theory,was proposed after the discovery of dualities between superstring theories in 10-dimensions[2].This theory has been considered as an alternative way to approach the strong coupling limits of certain superstring theories from higher dimensions being not discovered in M-theory scenarios[3].Exploiting theSL(2,Z)symmetry,the compactification of such a theory on the torus T2has been studied.In a specific limit of the T2moduli space,this can produce type IIB superstring theory in 10-dimensions[2].This has been established by identifying the T2shape complex moduli with a complex scalar field formed by combining the axion χ and the dilaton φ fields.Lower dimensional F-theory models have been built using the elliptic fibrations on complex base manifolds,providing many supersymmetric vacuum solutions[4,5].In particular,the associated gauge theories have been geometrically engineered from complex elliptic fibrations of Calabi-Yau manifold spaces[6–10].However,the torus involves another parameter controlling its size which has been frozen in F-theory building models.This size has been frozen because it is not invariant underSL(2,Z)symmetry describing the self duality of type IIB superstring.In such activities,it has been considered as a non dynamical quantity.At this level,one could naturally ask certain questions about such a real parameter using elliptic real fibrations in stringy compactification scenarios.

The aim of this work is to mimetic the complex elliptic fibrations by introducing toric fibrations relying on a real algebraic geometry.A close inspection shows that M-theory could be considered as a possible candidate where real toric fibrations could find a place.Concretely,we first explore equations describing real fibration manifolds,rather than complex ones exploited either in F-theory or in dual theories.Then,we study the M-theory compactification on such real fibration geometries and propose a conjecture in terms of heterotic superstring models.These geometries have been constructed by moving real toric manifolds over real bases.Using topological changing behaviors,we unveil certain data associated with gauge sectors relying on affine lie symmetries.

The organization of this work is as follows.In section 2,we deal with M-theory on T2using a real algebraic geometry.In section 3,we explore real toric fibrations to approach a M-theory compactification down to eight dimensions and make contact with Higgising matter contents.Section 4 concerns an extended compactification of such real elliptic fibrations.The last section is devoted to concluding remarks and conclusions.

Figure 1.Graphic representation of two dimensional torus for R=2 and r=1.

2.M-theory on real torus

In this section,we investigate M-theory on a real algebraic geometry of T2.At low energies,this theory is described by eleven dimensional supergravity involving certain bosonic fields coupled to M-branes.Before going ahead,it is recalled that the moduli space of T2involves two different kinds of parameters which control the shape and the size associated with the metric deformations.A nice way to understand such a moduli space is to exploit string theory compactifications.Indeed,one uses the following parameter space

where x1,x2and x3are real coordinates of the three-dimensional non compact flat space[11].R and r are real parameters corresponding to the involved fibered circles having different lengths with the condition R>r needed to provide a torus manifold.For R=2 and r=1,this real geometry is illustrated in figure 1.It is noted that R and r are now real parameters controlling the area of T2.This geometry can be parameterized by the following real relations

where θ1and θ2are the toric coordinates of the torus constrained by 0≤θi≤2π(i=1,2).In this geometry,the metric line element can be written as

This metric gabis given by

and where δijis the Kronecker symbol.The area of T2can be computed using the following integration equation

where g is the determinant of the induced metric.Using the equation(2.6),one obtains

It follows that this real analysis of T2involves only size parameter contributions controlling the area.It is clear that this road does not provide any complex scalar field in M-theory compactifications.However,it could give only a real scalar field which can be identified with the size of T2.A close inspection shows that one can consider the dilaton scalar filed as a possible candidate.Forgetting about the full desired spectrum of the compactified M-theory,it has been observed that R and r should be considered as relevant parameters to approach such a field content in lower dimensions.We expect that these lower compactifications could bring extra information on such real toric fibrations in the compactification of M-theory.By mimicking the analysis explored in the complex algebraic geometry of F-theory stringy models,we attempt to investigate the involved compactifications by varying the size parameters of T2over real base manifolds,rather than complex bases exploited in known higher dimensional theories,including superstringy models and F-theory.

3.Eight dimensional models

Borrowing ideas from known complex compactifications,the lower dimensional models from real toric fibrations in compactifications of M-theory can be obtained by varying circle length parameters over d-dimensional real bases by freezing the shape parameter of T2corresponding to the first factor of M(T2).This could give models in(9-d)dimensions.To see how this works in practice,we deal with the case d=1 associated with the circle and the interval compactifications.However,to get a non-trivial geometry and motivated by stringy known results including Horava-Witten models,we deal with only an interval compactification.A priori,there are many ways to construct the resulting desired geometry.A way is to take the following real algebraic fibration equation

Figure 2.Fibration behaviors on the interval[0,π].

where η indicates the coordinate of the interval real base being constrained by 0≤η≤π.It is recalled that this real base space geometry could be built from a circle S1defined by

up to a Z2orbifold symmetry acting as follows

Roughly speaking,non-trivial real fibrations can be handled by considering generic length functions.However,we expect that periodicity,linearity and quadratic functions are useful mathematical features providing simple tools to visualize such real toric fibrations.To make contact with known models,we propose the following specific variations

In this way,the equation(2.3)becomes

The associated geometry for specific points on the interval is illustrated in figure 2.

It is remarked that a real 2-sphere appears at the end of the interval η=0 and η=π parameterized by

Its area can be calculated from the following tensor metric

Indeed,it is given by

It follows from figure 2 that T2changes its geometry producing non-trivial fibers over the real interval.We will see that the area of such a real fibration is a function of the base coordinate η.Similar ideas,in connections with material physics,have been discussed in[12].Concretely,the area can be obtained via the following relation

where g(η)is now the determinant of the fibration metric

It is noted that the function u(η)has been introduced as a generic function carrying information of the θ1dependence of the fibration.This idea has been inspired by the torus parametrization showing that R andrcosθ1should be treated on an equal footing.After integral calculi,we obtain the following varying function area

A simple observation shows that this area splits into two different parts

whereA(T2)andA(S2)are the area of T2andS2,respectively.However,a1(η)and a2(η)are real fibration functions given by

An examination reveals that the variation of the fiber appearing in figure 2 can be assured by the following fibration function

From the figure 2,we observe that the fibration generates a smoothness breakdown corresponding to the appearance of a real 2-sphere at the ends of the interval real base given by η=0 and η=π.This produces two different relevant topological behaviors.The first one is singular associated with the limits

occurring at the ends of the interval η=0,π.While,the second one is a smooth torus behavior corresponding to

being localized at the middle of the intervalThese behaviors relay on the Euler characteristicχ(T2)=0andχ(S2)=2,respectively.It is recalled that the Euler characteristic appears in many places in string theory and related topics including Calabi-Yau compactifications.Among others,it takes places in intersecting geometries used in the brane realization of gauge theories from complex algebraic compactifications[13].For certain Calabi-Yau manifolds,these intersecting geometries are linked to lie symmetries[14].Based on this remark,the above singular behaviors could be worked out to supply possible connections with certain known theories up to some assumptions.

Similarities with such theories push one to unveil hidden sectors.Indeed,singular behaviors of such real fibrations could be linked to lie symmetries.This road deserves more ideas of reflections.It is worth noting that many interesting results in string theory and related models have been discovered from the metric and the topological properties of compact manifolds using the geometric engineering method[15].Motivated by such activities,we could bring certain information on the gauge sector.This invisible sector could be approached by combining certain topological and geometrical pictures associated with singular behaviors,the Euler characteristic changing,and the torus behaviors in terms of gluing spheres from a weighted sum.To reach the goal that we are looking for,we engineer the fiber as a two-dimensional real spaceM2by gluing(n+1)real 2-spheres.The adjacent 2-spheres intersect on a disk.However,we consider the limit where such a disk shrinks to a point.This geometrical configuration has been extensively studied in connections with material physics.Motivated by weighted sizes explored in such a physics[16],we represent the manifoldM2by a weighted connected sum of(n+1)real 2-spheres given by

where ωpis the weight of p-th 2-sphere.A simple configuration is illustrated in figure 3,by gluing only two 2-spheres.

Figure 3.Gluing spheres.

According to many works including[17,18],it is noted that the self intersection ofM2is linked to the Euler characteristic via the relation

Using the equation(3.19),this can be re-written as

where Ipqdenotes the intersection number betweenand

The vanishing of the Euler characteristic,χ(M2)=0,corresponding to the torus behavior,is assured by the following condition

For generic ωqweights,this condition can be solved by

It is noted that this constraint shears similarities with the toric realization of local Calabi-Yau three-folds with elliptic singularities.In particular,this can represent the compact part used to remove the associated singularities where the entries of the matrix Ipqprovide the intersection numbers of the involved blowing up cycles[8,9]A priori,there could be many other ways to verify such a condition.However,a possible one is to exploit results explored in the theory of lie symmetries[19].Indeed,we propose the following solution

where Kpqand δpare the Cartan matrices and the Dynkin weights of affine lie symmetries,respectively.In this context,n is identified with the involved rank.An examination shows that the matrix Ipqshould be symmetric which requires a particular choice for such symmetries.They are identified with affine simply laced ones.The graphic representation of these symmetries are given in figure 4.

Figure 4.ADE affine lie symmetries with Dynkin weights given in red color.The red vertex represents the affine one.

In the present context,the above sum can be reduced to

where we have taken δ0=1 which corresponds to the affine root.However,the remaining values of δp(p≠0)fix the desired affine lie symmetry.In this language,the torus behavior is mapped to the imaginary root of such a lie symmetry given by

where αpare the involved simple roots.In this geometric picture,the first 2-spherecorresponds to the affine simple root which will carry singular behavior information.Indeed,the area ofM2takes the following form

where now δpcan be regarded as radius scaling factors.It is remarked that the torus behavior appearing at the middle of the interval corresponds to the following size constraints

However,these real parameters should satisfy the following relation

In this way,the singular behaviors located at the interval ends(y=0 and y=π)are associated with

Identifying such real parameters with the mass of the involved modes,this singular limit could generate massless ones.In this way,the E8symmetry factor appearing in many stringy models can be approached by taking the following choice of weighted radius parameters

This can give rise to Higgsing field contents in M-theory compactifications providing a possible geometrical evidence for the existence of certain gauge theories relying on real toric fibrations.Indeed,according to such a basic representation,the Dynkin weights correspond to simple roots of the algebra.Removing a node from the extended Dynkin diagram,it can be viewed as the reducing symmetry pattern in accord with adjoint Higgsing.Roughly,for the Dynkin diagrams representation of the Enlie algebras,the Higgsing i.e.,the corresponding symmetry breaking En→En-1can be pictured as the suppression of a particular node from the EnDynkin diagram[20–22].The depiction that has to be employed for the Higgsing is the one with the suppressed node,whose the highest weight is equal to its corresponding root.This could be approached using quiver gauge theories based on affine Dynkin diagrams.

An examination reveals that one could anticipate a possible conjectured duality formulated as follows

where one circle of heterotic string theory is identified with the non-vanishing circle of M-theory real torus.One could provide certain arguments in favor of this anticipated mapping duality.At first sight,this duality seems a little bit different since generally one exploits complex structures to approach certain dualities associated with F-theory compactifications.However,here,we are implementing real parameters.The latters,which have been not explored,could unveil new data on the anticipated duality.In addition to this,the adiabatic argument could also bring extra supports[23].Since M-theory on T2is equivalent to type IIB on S1,we can compactify both sides on the interval by varying the size parameters.This could be linked to type I superstring[24].In certain limits,the latter is dual to heterotic string in ninedimensions.Based on these arguments,one should expect that there could be such a conjectured duality as the one appearing in F-theory relying on shape parameters.Forgetting about other arguments,this disinterest could be due to the lack of mathematical results associated with real fibrations.This needs more reflections which are left for future works.

4.Extended compactification models

In this section,we would like to generalize the previous finding.Concretely,we consider a generalized real toric fibration.A close inspection shows that the previous real toric fiber can be extended as follows

where S1will be replaced by Sn-1.It is worth noting that the real toric geometry S1×Sn-1has been approached in connection with black ring solutions[25].A special emphasis has been put on n=3 associated with black rings in five dimensions considered as an intermediate solution between black holes and black strings[26].Roughly speaking,Tn=S1×Sn-1can be described by the following algebraic equation

where one recovers(3.1)by taking n=2.In this way,Tnreduces to T2.An examination reveals that the above parametrization could be generalized in different ways depending on the fibration of S1over the base geometry Sn-1.In the generic fibration,the size of the fiber S1should be,in principle,a function of the local coordinates of Sn-1and its size parameters as follows

constrained by the toric real geometry(4.2).For n>2,we could deal with two relevant configurations.First,we consider a simple fibration,where the fiber depends only on one local coordinate of Sn-1.In this way,the fiber size can take the following form

The second relevant configuration corresponds to a generic fibration function depending on all local coordinates of Sn-1and its size parameters.In this case,we can write

In what follows,we will be interested in the second situation being a generic one.In particular,we propose the following parametrization

where we have taken fgas

It is worth noting that for n=2 the equation(3.6)can be recovered by shifting θ1as follows

In M-theory compactifications down to eight dimensions,the geometryT2×Iwill be replaced byTn×Iwhere the size parameter R is replaced,as before,byRsinη.It is remarked that at the end of the interval similar singular behaviors appear associated with the existence of n-dimensional sphere Snwith radius r.A connection with lie symmetries requires certain constraints on such compactifications.Indeed,it is recalled that the Euler caracteristic of Snis given by

Diagonal elements of the Cartan matrices required by

being the self intersection,impose that n should be even

In the singular behaviors of the M-theory compactification,S1×S2m-1can be viewed as a collection of S2maccording to affine Dynkin diagrams providing similar findings obtained in the previous section.

5.Concluding remarks and open questions

The moduli space of T2involves two different kinds of parameters which control the corresponding shape and size.The shape deformations have been extensively used in F-theory complex analysis by ignoring the other part of the moduli space associated with size deformations.Motivated by such activities,we have investigated M-theory compactifications from the size region of such a moduli space.Concretely,we have presented a road to approach M-theory compactifications relying on real parameters controlling the size of internal spaces.Concretely,we have implemented a real algebraic geometry of T2in order to explore the physics associated with the size contributions.In particular,we have provided certain compactifications from real fibrations over real bases.Precisely,we have discussed,in some detail,eight dimensions obtained from the interval compacatification showing two different relevant behaviors.In particular,we have revealed that the middle of such an interval is associated with the torus geometrical behaviors,while the ends correspond to singular ones,discussed in terms of the Euler characteristic changing over the real base.Examining such behaviors,we have approached the gauge Higgsing content by combining many results explored in string theory and related models.

This work comes up with many remarks and open questions related to such real fibration compactifications.Assuming its existence,one natural question is to establish possible links with certain limits of known supergravity theories using duality symmetries.We anticipate to stress that there could be some links with theories based on real analysis in M-theory compactfications including G2 manifolds.Moreover,it is worth noting that such geometrical features and tools of real torus fibrations could be used in the explicit building of models with a gauge group and spectrum resembling that of the Standard Model after possible compactification scenarios[27].Principally,the most difficult question that the stringy-inspired phenomenology encounters resides in the appropriate compactification manifolds.In fact,it is just the topology of such a manifold that yields important information about the the low-energy physics,i.e.the number of supersymmetries and the fields content that survive the compactification[28].In connection with the main theme in this work concerned with real toric fibrations,one has to deal with a geometric description of elliptically fibered spaces where a higher dimensional manifolds with only free size deformation parameters.A concrete view of the relevance of such a geometry appears in intersecting D-brane model buildings.Especially,realizations in orientifold compactifications of type II string theory with D-branes where the extra dimensions are wrapped on certain homology cycles in real toric fibrations,being the simple one where the homology cycles are easily viewable giving a non-trivial physics.Actually,it is the rich vocabulary such as intersection numbers I,intersection angles φi,cycles πiand winding numbers(ni,mi),between the toric real geometry and the effective field theory existing in any D-brane model that is behind the purposes for the prominence of D-brane physics[29,30].We thus believe that the corresponding realistic physics from real torus fibrations still merits a careful and deep analysis.We hope to address such questions in future investigations.

Acknowledgments

The authors would like to thank M P Garcia del Moral,A Marrani and E Torrente Lujano for discussions on related topics and correspondence.They thank also the anonymous referee for their careful reading of the present manuscript,insightful comments,and suggestions,improving this work significantly.This work is partially supported by the ICTP through AF.