Fuzzy extra dimensions and particle physics models

Fuzzy extra dimensions and particle physics models

Athanasios Chatzistavrakidis
Bethe Center for Theoretical Physics and Physikalisches Institut, Universität Bonn
Nussallee 12, D-53115 Bonn, Germany
E-mail: than@th.physik.uni-bonn.de
Speaker.
Harold Steinacker
Department of Physics, University of Vienna
Boltzmanngasse 5, A-1090 Wien, Austria
E-mail: harold.steinacker@univie.ac.at
George Zoupanos111On leave from Physics Department, National Technical University of Athens, Zografou Campus, GR-15780 Zografou, Greece.
Institute for Theoretical Physics, University of Heidelberg
Philosophenweg 16, D-69120 Heidelberg, Germany
E-mail: George.Zoupanos@cern.ch
Abstract

In the present contribution the construction of particle physics models in theories with fuzzy extra dimensions is discussed. We focus on a bottom-up approach where the structure of a higher-dimensional theory arises within ordinary four-dimensional field theory via an appropriate mechanism based on spontaneous symmetry breaking. Subsequently, possible ways to obtain particle physics models with realistic spectrum in this framework are exhibited.

Fuzzy extra dimensions and particle physics models

George Zoupanosthanks: On leave from Physics Department, National Technical University of Athens, Zografou Campus, GR-15780 Zografou, Greece.

Institute for Theoretical Physics, University of Heidelberg

Philosophenweg 16, D-69120 Heidelberg, Germany

E-mail: George.Zoupanos@cern.ch

\abstract@cs

Corfu Summer Institute on Elementary Particles and Physics - Workshop on Non Commutative Field Theory and Gravity, September 8-12, 2010 Corfu Greece

1 Introduction

The aim of unifying all the observed interactions has always been in the center of interest within the theoretical physics community. The interest is not based only on obvious easthetic reasons but is deeply related to the fact that the Standard Model (SM) of elementary particle physics contains over twenty free parameters. In addition, its minimal supersymmetric extension (MSSM), which is the the best bet of many particle physicists as the model that will be able to describe the physics beyond the SM, has around a hundred more parameters. It is then natural to expect that a truly unified picture of nature will be able to reduce tremendously the number of free parameters of the particle physics models. One of the most exciting approaches to the unification quest is based on the assumption that there exist extra dimensions beyond the four that have been observed. This proposal has obviously its roots in the old Kaluza-Klein observation that the reduction of five-dimensional gravity can lead to electromagnetism coupled to gravity. In recent years a strong theoretical support of the existence of extra dimensions comes from superstring theories, which are very serious candidates for a unified description of all fundamental interactions including gravity; superstring theories can be consistently defined only in higher than four dimensions. Finally the possibility that the inverse size of the extra dimensions can consistently be of the order of TeV [1] and therefore their existence becomes testable in current and future colliders certainly gave a huge boost in the popularity of this idea in a much wider physics audience.

Another framework aiming to describe both physics at the Planck scale as well as particle physics models is non-commutative geometry. In recent years strings and noncommutatvity turned out to be closely related. For instance Seiberg and Witten [2] made the observation that a natural realization of non-commutativity of space emerges by considering D-branes, defined in type II superstring theory, in the presence of a constant antisymmetric field. Moroever the type IIB superstring theory, which is expected to be related to the other superstring theories by duality transformations [3], in its non-perturbative formulation as a matrix model [4] is a non-commutative theory.

In the spirit of the above discussion, we investigate higher-dimensional gauge theories with non-commutative extra dimensions and their dimensional reduction in four dimensions. An up to-date overview of certain attempts in this direction, developed over the last years can be found in [5]. The development of these ideas has followed two complementary directions, namely (i) the dimensional reduction of a higher-dimensional gauge theory over non-commutative and in particular fuzzy internal spaces [6] and (ii) the dynamical generation of fuzzy extra dimensions within four-dimensional and renormalizable gauge theories [7]. Due to lack of space we limit ourselves here in the second approach. Therefore in the present article instead of reducing to four dimensions a higher-dimensional theory with fuzzy extra dimensions we reverse the problem and examine how a four-dimensional gauge theory develops fuzzy dimensions due to its spontaneous symmetry breaking. In addition we address the important problem of chirality in this framework, which has been recently succesfully resolved [8]. Finally we present suggestive hints on how to construct fully phenomenologically viable particle models.

2 Dynamical generation of fuzzy extra dimensions

A very illustrative example of the mechanism leading to the emergence of fuzzy extra dimensions, which was mentioned in the introduction, is provided by considering as a starting point a SYM theory in 4D [9]. Therefore let us start by briefly discussing those features of the theory which are necessary for our purposes.

A supersymmetric gauge theory contains, in language, a vector supermultiplet and three adjoint chiral supermultiplets . The component fields are the gauge bosons , six adjoint real scalars , transforming as 6 under the -symmetry of the theory and four adjoint Weyl fermions transforming as 4 under the . The theory is defined on the Minkowski spacetime, whose coordinates are denoted as . The corresponding action is given by (spinor indices are supressed)

 \@fontswitchSYM = (2.0)

where the potential has the form

 \specialhtml:\specialhtml:V(ϕ)=V\@fontswitchN=4(ϕ)=−14g2∑a,b[ϕa,ϕb]2. (2.0)

In the above expressions is the four-dimensional covariant derivative in the adjoint representation. The projection operators and are, as usual, defined as and . The and are the intertwiners of the and respectively, namely they are Clebsch-Gordan coefficients that couple two s to a . The Yukawa interactions in (2.0) are separately invariant under the , since the transforms in the and the in the of the .

The scalar potential (2.0) is positive definite and its minimum is at . Obviously there is no room for non-commutative vacuum configurations without any further modifications. Therefore let us consider deformations of the theory, by adding to its scalar potential appropriate mass and trilinear terms. Such terms do not respect the -symmetry, i.e. they break the supersymmetry. We can either restrict ourselves to soft supersymmetry breaking terms, or allow also more general (marginal) terms in the potential. Let us focus on potentials which break the global symmetry down to . Then the most general such potential can be written (after suitable redefinitions) in the following form

 V[ϕ]=a21(ϕiϕi+b11 \kern-5.9pt{l})2+a22(ϕi+3ϕi+3+b21 \kern-5.9pt{l})2+1g21FijFij+1g22Fi+3,j+3Fi+3,j+3+1g23[ϕi,ϕj+3][ϕi,ϕj+3]\specialhtml:\specialhtml: (2.0)

where and

 Fij = [ϕi,ϕj]−iα1εijkϕk, Fi+3,j+3 = [ϕi+3,ϕj+3]−iα2εijkϕk+3. (2.0)

For suitable parameters , it admits a stable global minimum given by the following relations,

 [ϕi,ϕj] = iα1εijkϕk, ϕiϕi = α21N21−14, (2.0)

and similarly for the , along with the mutual commutation relation

 [ϕi,ϕj+3]=0. (2.0)

It is easy to find a configuration satisfying the above relations,

 ϕi = α1λ(N1)i⊗1 \kern-5.9pt{l% }N2⊗1 \kern-5.9pt{l}n, ϕi+3 = α21 \kern-5.9pt{l}N1⊗λ(N2)i⊗1 \kern-5.9pt{l}n,i=1,2,3, (2.0)

where denotes the generator of the -dimensional irreducible representation of and

 N=N1N2n.\specialhtml:\specialhtml: (2.0)

Such a vacuum should be interpreted as a stack of fuzzy branes with geometry and in the present construction it breaks the gauge group down to .

Apart from the above configuration there is a more generic case where the vacuum has the form

 ϕi = α1⎛⎝λ(N11)i⊗1 \kern-5.9pt{l}N21⊗1 \kern-5.9pt{l}n100λ(N12)i⊗1 \kern-5.9pt{l}N22⊗% 1 \kern-5.9pt{l}n2⎞⎠, ϕ3+i = α2⎛⎝1 \kern-5.9pt{l}N11⊗λ(N21)i⊗1 \kern-5.9pt{l}n1001 \kern-5.9pt{l}N12⊗λ(N22)i⊗% 1 \kern-5.9pt{l}n2⎞⎠,i=1,2,3. (2.0)

The commutant of the generators involved in the above configuration, i.e. the unbroken gauge group, is , where the has generator

 Q=⎛⎝1N11N21n11 \kern-5.9pt{l}00−1N12N22n21 \kern-5.9pt{l}⎞⎠. (2.0)

This vacuum corresponds to a splitting

 N=n1N11N21+n2N12N22, (2.0)

which is more generic than (2.0). The interpretation of this vacuum is as a stack of fuzzy branes and a stack of fuzzy branes with geometry . However, these fuzzy spheres carry magnetic flux under the unbroken given by [10]

 m1=N11−N12,m2=N21−N22, (2.0)

on and respectively.

According to the above, in the spontaneously broken phase the theory supports gauge groups of the types and . These gauge groups are obviously very appealing for phenomenological applications. However, the gauge group structure is of course not enough. In the following we shall also investigate the properties of the matter fields, concentrating on the possibility to obtain chiral fermions.

Before proceeding, let us discuss in more detail some features of the resulting theory. As we saw above, the vacuum of the theory is obtained when the scalar fields acquire non-vanishing vevs given by eqs. (2.0), (2.0). These vevs satisfy the relations (2.0), which define the fuzzy sphere. The fluctuations around this vacuum, , provide the components of a higher-dimensional gauge field , and the action can be interpreted as Yang-Mills theory on the 8-dimensional space , with gauge group depending on the particular vacuum. We therefore interpret the vacuum as describing dynamically generated extra dimensions in the form of a product of two fuzzy spheres . This geometrical interpretation can be fully justified by working out the spectrum of Kaluza-Klein modes [7]. The effective low-energy theory is then given by the zero modes on . Let us also mention that the above procedure may be repeated in order to generate different fuzzy spaces by choosing appropriate deformations and parameters and studying the vacua of the resulting potentials.

Up to now we dealt only with the scalar sector of the theory. Let us now proceed to the study of the fermionic sector aiming at the description of massless fermions in the above context. Here we adopt a rather descriptive approach; more technical details may be found in [11, 12]. Naturally, a vacuum of the type (2.0) is expected to accommodate massless fermions protected by chirality due to the index theorem, since it includes magnetic fluxes. Therefore let us concentrate on this vacuum, where the fermionic wavefunction can be split as

 ψ=(ψ11ψ12ψ21ψ22). (2.0)

The components and transform in the adjoint representations and of the non-abelian part of the gauge symmetry respectively. Moreover, the component transforms in the bifundamental representation of the and the component in the . Accordingly, the diagonal components and are unaffected by the magnetic flux while the off-diagonal components and feel this magnetic flux and develop chiral zero modes according to the index theorem. Even though the fluxes on lead indeed to the expected zero modes, the model nevertheless turns out to be non-chiral. More precisely, we find essentially mirror models, where two chiral sectors arise with opposite chirality. This means that each would-be zero mode from has a mirror partner from , with opposite chirality and gauge quantum numbers. While this may still be physically interesting since the mirror fermions may have larger mass than the ones we see at low energies, it is more desirable to find a chiral version. This issue is addressed in the following section.

3 Fuzzy orbifolds and chirality

The mechanism we described in the previous section provides a simple yet powerful way of obtaining particle physics models with promising gauge group structure. However, without any further requirements it cannot succeed in fulfilling one of the central requirements of a successful model, which is the chiral character of the weak force and the existence of chiral fermions. There are several different possibilities which lead to mechanisms which solve the above problem. A collection of such mechanisms in string/M-theory-inspired model building may be found in [13].

One of the simplest known mechanisms in order to generate chiral fermions is to consider D-branes at orbifold singularities [14]. Due to the close relation between D-branes and fuzzy spaces [15], this mechanism turns out to be applicable also in the context of fuzzy extra dimensions. Moreover, orbifolds provide a simple way to break the large amount of supersymmetry down to [16]. Before proceeding, let us stress that we are considering field-theoretic orbifolds and not string-theoretic ones. They are defined in terms of perfectly well-defined gauge theories with a particular structure, without any twisted sectors. Following [17], this is achieved by projecting the 4D theory (here SYM) under the action of a discrete symmetry group . This corresponds to an orbifold compactification of a 10D theory (usually a type II string theory) on .

With this in mind, let us consider again a SYM theory. For later convenience the integer is taken to be a multiple of 3, namely , and therefore the gauge group is . In order to perform an orbifold projection of this theory we have to consider the discrete group as a subgroup of , the -symmetry of the theory. There are three possibilities, which have a direct impact on the amount of remnant supersymmetry [17]:

1. is maximally embedded in , in which case we are generically led to models without supersymmetry.

2. is embedded in an subgroup of the full -symmetry group, leading to supersymmetric models with -symmetry .

3. is embedded in a specific subgroup of , in which case the remaining supersymmetry is with -symmetry .

The most plausible scenario for our purposes is the second, for a number of reasons. First and foremost, chiral theories can be defined only for and supersymmetry. Moreover, supersymmetry guarantees the perturbative stability of the theory and also it addresses the infamous hierarchy problem. Henceforth we shall consider that .

To proceed, it is useful to narrow the possibilities for the choice of discrete symmetry group . The most well-known cases include the discrete groups and . These cases were studied in the context of D-branes in [19]. Here we shall focus on the case of , and in particular in the most interesting case of .

The orbifold projection of the theory under consideration amounts to retaining only the invariant fields under the action of the discrete group. Therefore let us briefly describe the action of on the various fields of the theory. This action depends on their transformation properties under the -symmetry and the gauge group. Let us consider a generator . This generator is conveniently labeled (see [14]) by three integers which satisfy the condition . We will focus on the case of with . For the gauge bosons the action is

 g▹Aμ=γAμγ−1,\specialhtml:\specialhtml: (3.0)

where

 (3.0)

Therefore the relevant projection is

 Aμ=γAμγ−1, (3.0)

which means that the gauge group of the original theory is broken down to in the projected theory. The corresponding gauginos are singlets under (3.0) and have the same block-diagonal structure. Let us note that in general the blocks of the matrix could have different dimensionality (see e.g. [20, 19, 21]). However, anomaly freedom of the projected theory typically requires that the dimension of the three blocks is the same, as will become obvious in the following.

Now consider the complex scalars of the theory, i.e. the scalars , which correspond to the complexification of the six real ones of section 2. The action of the orbifold group is

 g▹ϕi=ωaiγϕiγ−1,\specialhtml:\specialhtml: (3.0)

leading to the following projection condition,

 ϕiIJ=ωI−J+aiϕiIJ, (3.0)

where are gauge indices. This means that , so that the fields which survive the orbifold projection have the form and transform under the non-abelian factors of the gauge group as

 \specialhtml:\specialhtml:3⋅((N,¯¯¯¯¯N,1)+(¯¯¯¯¯N,1,N)+(1,N,¯¯¯¯¯N)). (3.0)

A similar condition holds for their fermionic partners, which must transform under in the representations (3.0) exactly as the scalars. This is just another manifestation of the remnant supersymmetry. Moreover, the structure of the representations (3.0) guarantees that the resulting theory does not suffer from any gauge anomalies111On the contrary, had we considered that the matrix (3.0) contained blocks of different dimensionality the projected theory would be anomalous and therefore additional sectors would be necessary in order to cancel the gauge anomalies..

Let us next note two important features of the projected theory. First the fermions transform in chiral representations of the gauge group, the complex bifundamental representations (3.0). Secondly, there are three fermionic generations in the theory, corresponding to the 3 chiral supermultiplets.

Concerning the interactions among the fields of the projected theory, let us consider the superpotential of the supersymmetric Yang-Mills theory, which has the form [9]:

 \specialhtml:\specialhtml:W\@fontswitchN=4=ϵijkTr(ΦiΦjΦk), (3.0)

Here denotes the three chiral superfields of the theory. Clearly, the superpotential after the orbifold projection has the same form but it encodes only the interactions among the surviving fields of the resulting theory. Therefore it can be written as

 \specialhtml:\specialhtml:W(proj)\@fontswitchN=1=∑IϵijkΦiI,I+aiΦjI+ai,I+ai+ajΦkI+ai+aj,I, (3.0)

where the relation was taken into account.

>From the above superpotential one can easily read off the corresponding scalar (F-term) potential, which is

 VF(ϕ)=14Tr([ϕi,ϕj]†[ϕi,ϕj]), (3.0)

where denotes the scalar component of the superfield . Moreover, there is a D-term contribution to the scalar potential, given by , where the -terms have the form , where are the generators of the representation of the corresponding chiral multiplets. The minimum of the full potential is obtained for vanishing vevs of the fields and therefore vacua corresponding to non-commutative geometries of the kind we are interested in do not exist without any additional modifications. Therefore at this stage we add soft supersymmetry breaking (SSB) terms of the form222Here we present a set of scalar SSB terms. However, there exist of course other soft terms such as , where is the gaugino and its mass, which has to be included in the full SSB sector of a realistic theory [22].

 \specialhtml:\specialhtml:VSSB=12∑im2iϕi†ϕi+12∑i,j,khijkϕiϕjϕk+h.c., (3.0)

compatible with the orbifold group (3.0). Of course a set of SSB terms in the potential is necessary anyway in order for the theory to have a chance to become realistic, see e.g. [22]. After the addition of these soft terms the full potential of the theory becomes

 \specialhtml:\specialhtml:V=VF+VSSB+VD. (3.0)

This potential can be brought in the form

 \specialhtml:\specialhtml:V=14(Fij)†Fij+VD (3.0)

for suitable parameters, where we have defined

 \specialhtml:\specialhtml:Fij=[ϕi,ϕj]−iϵijk(ϕk)†. (3.0)

Since the first term is positive definite, the global minimum of the potential is obtained when the following relations hold,

 \specialhtml:\specialhtml:[ϕi,ϕj] = iϵijk(ϕk)†, (3.0) ϕi(ϕi)† = R2, (3.0)

where denotes hermitean conjugation of the complex scalar field and . The above relations are closely related to a fuzzy sphere. This can be seen by considering the untwisted fields , defined by

 ϕi=Ω~ϕi,\specialhtml:\specialhtml: (3.0)

for some which satisfies and333Here is understood before the orbifolding. Then (3.0) reduces to the ordinary fuzzy sphere relation

 [~ϕi,~ϕj]=iϵijk~ϕk,\specialhtml:\specialhtml: (3.0)

generated by , as well as to the relation This justifies to call the noncommutative space generated by a twisted fuzzy sphere, denoted as . It is remarkable that this construction is possible only for and for no other , thus providing a justification for our choice of orbifold group.

It is quite straightforward to find configurations of satisfying the relations of a twisted fuzzy sphere (3.0). Such a configuration is given by

 \specialhtml:\specialhtml:ϕi=Ω(1 \kern-5.9pt{l}3⊗λi(N)), (3.0)

where denote the generators of in the -dimensional irreducible representation and the matrix is given by

 (3.0)

To understand the meaning of this configuration, it is helpful to consider a new basis where

 ~Ω3:=U−1Ω3U=diag(1,ω,ω2)\specialhtml:\specialhtml: (3.0)

is diagonal. Then (3.0) becomes

 \specialhtml:\specialhtml:ϕi=⎛⎜ ⎜ ⎜⎝λi(N)000ωλi(N)000ω2λi(N)⎞⎟ ⎟ ⎟⎠, (3.0)

which can be interpreted as three identical fuzzy spheres (branes) embedded with relative angles . This is clearly compatible with the orbifold constraint. The most general configurations in this basis would also contain specific off-diagonal matrices which connect these triple spheres. This geometrical interpretation is helpful to understand the fluctuations around these solutions.

The solution (3.0) completely breaks the gauge symmetry . However, for our purposes it will be useful to consider solutions which do not break the gauge symmetry completely but they break it down to a smaller gauge group. Such solutions are generically given by

 ϕi=Ω(1 \kern-5.9pt{l}3⊗(λi(N−n)⊕0n)),\specialhtml:\specialhtml: (3.0)

where denotes the matrix with vanishing entries. The gauge symmetry is broken from down to . This vacuum should be interpreted as with a twisted fuzzy sphere in the coordinates.

In order to understand the fluctuations of the scalar fields around this vacuum, the transformation (3.0) is useful. Fluctuations around the ordinary fuzzy sphere are known to describe gauge and scalar fields on [23, 10], which will turn into massive Kaluza-Klein modes from the point of view of . More specifically, we have seen in (3.0) that the twisted sphere is mapped via a unitary transformation into three identical fuzzy spheres embedded in the diagonal blocks of the original matrix. The vacuum can thus be interpreted at intermediate energy scales as , or equivalently three identical fuzzy spheres embedded with relative angles in the coordinates. Therefore all fluctuations can be understood as fields on these three diagonally embedded untwisted fuzzy spheres:

 ϕi=~Ω(λi(N)+Ai)=⎛⎜ ⎜ ⎜⎝λi(N)+Ai000ω(λi(N)+Ai)000ω2(λi(N)+Ai)⎞⎟ ⎟ ⎟⎠, (3.0)

as well as certain massive off-diagonal states which cyclically connect these spheres. The field strength (3.0) reduces to the field strength on a fuzzy sphere

 Fij=[ϕi,ϕj]−iϵijk(ϕk)†≅~Ω2([~ϕi,~ϕj]−iϵijk~ϕk). (3.0)

It now follows as in [7, 11] that the block-diagonal bosonic and fermionic fields can be decomposed into Kaluza-Klein towers of massive modes on resp. due to the Higgs effect. Similarly, the off-diagonal states connecting these branes are clearly massive, apart from would-be Goldstone bosons which are absorbed in the massive gauge fields via the Higgs effect. In generalized configurations such as (3.0), a massless sector remains which is chiral.

4 An example: The trinification model

In the previous section we presented a mechanism based on orbifolds and leading to chiral fermions in models with fuzzy extra dimensions. In the present section we apply the above ideas and we present an explicit example based on the gauge group .

Let us therefore consider the case of in the notation of the previous section. Subsequently, let us consider the embedding

 \specialhtml:\specialhtml:SU(N)⊃SU(N−3)×SU(3)×U(1). (4.0)

Then the relevant embedding for the full gauge group is

 S(U(N)3)⊃SU(m)×SU(3)×SU(m)×SU(3)×SU(m)×SU(3)×U(1)3×U(1)2. (4.0)

where . The representations (3.0) are then decomposed accordingly and as far as the non-abelian symmetry is concerned we obtain the following decomposition,

 SU(m)×SU(m)×SU(m)×SU(3)×SU(3)×SU(3) (m,¯¯¯¯¯m,1;1,1,1)+(1,m,¯¯¯¯¯m;1,1,1)+(¯¯¯¯¯m,1,m;1,1,1)+ +(1,1,1;3,¯¯¯3,1)+(1,1,1;1,3,¯¯¯3)+(1,1,1;¯¯¯3,1,3)+ +(m,1,1;1,¯¯¯3,1)+(1,m,1;1,1,¯¯¯3)+(1,1,m;¯¯¯3,1,1)+ +(¯¯¯¯¯m,1,1;1,1,3)+(1,¯¯¯¯¯m,1;3,1,1)+(1,1,¯m;1,3,1). (4.0)

This is realized by the following vacuum, interpreted in terms of twisted fuzzy spheres as in (3.0):

 ϕi=Ω[1 \kern-5.9pt{l}3⊗(λi(m)⊕03)].\specialhtml:\specialhtml: (4.0)

Considering the decomposition (4.0), the gauge group is broken to . Finally, the surviving fields under the unbroken gauge group transform in the following representations,

 SU(3)×SU(3)×SU(3) 3⋅((3,¯¯¯3,1)+(¯¯¯3,1,3)+(1,3,¯¯¯3)). (4.0)

These are the desired chiral representations of the trinification group . This group was initially considered in [24, 25] and it was also studied in [29, 27, 26, 28] and from a string-theoretical perspective in [30] (see also [31]). The quarks of the first family transform under the gauge group as

 \specialhtml:\specialhtml:q = ⎛⎜⎝duhduhduh⎞⎟⎠∼(3,¯¯¯3,1), (4.0) qc = ⎛⎜⎝dcdcdcucucuchchchc⎞⎟⎠∼(¯¯¯3,1,3), (4.0)

and the leptons transform as

 \specialhtml:\specialhtml:λ=⎛⎜⎝NEcνENceνcecS⎞⎟⎠∼(1,3,¯¯¯3). (4.0)

Similarly, the corresponding matrices for the quarks and leptons of the other two families can be written down. Let us note that in the above matrices, along with the particles of the SM, new heavy quarks and leptons are accommodated.

The decomposition (4) is very helpful in order to make two crucial remarks. First of all, it becomes clear from the vacuum solution (4.0) that the scalar fields which acquire vevs in this vacuum are the following,

 ⟨(m,¯¯¯¯¯m,1;1,1,1)⟩,⟨(1,m,¯¯¯¯¯m;1,1,1)⟩,⟨(¯¯¯¯¯m,1,m;1,1,1)⟩. (4.0)

Then all the fermions, apart from the chirally protected ones, obtain masses, since we can form the invariants

 (1,m,¯¯¯¯¯m;1,1,1)⟨(m,¯¯¯¯¯m,1;1,1,1)⟩(¯¯¯¯¯m,1,m;1,1,1)+ cyclic permutations, (4.0) (¯¯¯¯¯m,1,1;1,1,3)⟨(m,¯¯¯¯¯m,1;1,1,1)⟩(1,m,1;1,1,¯¯¯3)etc., (4.0)

and the corresponding ones for all the other fermions. In these invariants the field in the middle is the scalar field which acquires the vev (4.0), while the other two are fermions, i.e. the invariants are trilinear Yukawa terms and they are responsible for the fermion masses after the spontaneous symmetry breaking. Therefore a finite Kaluza-Klein tower of massive fermionic modes appears, consistent with the interpretation of the vacuum (4.0) as a higher-dimensional theory with spontaneously generated fuzzy extra dimensions. In particular, the fluctuations from this vacuum correspond to the internal components of the higher dimensional gauge field. On the other hand, for the fermions transforming as and there exists no trilinear invariant that could be formed with one of the scalar fields which acquire a vev. Therefore they remain massless, and these are the low-energy chiral fermions of the model.

Once the supersymmetric trinification model is obtained, the next step is to study its further breaking down to the MSSM and to the . One way to perform this task is to treat the model as an ordinary Grand Unified Theory (GUT) and proceed to its spontaneous symmetry breaking [26, 27, 28]. Here we would like to discuss an alternative procedure, which is based on the mechanism of section 3. Let us consider the superpotential of the model, which has the form

 W=ϵijkTr(Qi(Qc)jΛk), (4.0)

where the index counts the three families and are the superfields corresponding to respectively. Two remarks are in order. First, the above superpotential is not sufficient in order to apply our mechanism. This is evident from the fact that the scalar components of and cannot acquire a vev, since such a vev would break the colour group and QED. Therefore, only the scalar component of may obtain a vev, and no matter which soft terms are added the above superpotential cannot lead to dynamical generation of fuzzy extra dimensions. Secondly, the above superpotential is not the most general one invariant under all the symmetries of the model. It is just the superpotential which arises after the orbifold projection of the initial SYM theory and the subsequent dynamical generation of twisted fuzzy spheres. However, the most general invariant superpotential of the model has the following form

 \specialhtml:\specialhtml:W=YijkTr(Qi(Qc)jΛk)+Y′ijkTr(ΛiΛjΛk+(Qc)i(Qc)j(Qc)k+QiQjQk), (4.0)

where and have in general a symmetric and an antisymmetric part. These two parts generate interactions within the same family and interactions mixing the families respectively. >From the point of view of the theory, the extra terms appearing in (4.0) may arise from marginal and relevant deformations of SYM [32].

Let us therefore consider the superpotential (4.0), which involves a term proportional to . This term is important since the scalar components of each may acquire a vev. Of course, these vevs cannot appear in any entry of the corresponding matrices but only in the entries with vanishing charge. Referring to (4.0), the entries of the corresponding scalar matrix which may acquire a vev are the444Tilded fields denote the scalar superpartners of the corresponding fermions. (which are responsible for the GUT breaking) and the (which are responsible for the electroweak breaking). In [8] it was shown that in principle there exist vacua of this model where the breaking of down to the MSSM and the occurs and twisted fuzzy spheres are dynamically generated. In this picture the breaking of the trinification model acquires an interesting geometrical explanation in terms of dynamically generated fuzzy extra dimensions.

5 Conclusions

In the present article we exhibit various models of 4D Yang-Mills gauge theory, which at intermediate energies behaves as higher-dimensional theory with effective geometry . Here can be a compact fuzzy space such as , , or similar spaces. This fuzzy extra-dimensional space arises through nontrivial expectation values of the nonabelian scalar fields in the adjoint of the gauge group, via the usual Higgs mechanism. One recovers indeed the expected tower of Kaluza-Klein states, which is truncated at high energies. The model is then effectively described as a higher-dimensional gauge theory, and equivalently as a 4D renormalizable gauge theory with large gauge group.

However, in the simplest examples the low-energy effective theory turns out to be non-chiral. In order to obtain a chiral low-energy theory relevant to particle physics, we therefore consider orbifold models. The starting point is a supersymmetric gauge theory obtained by restricting SYM to the invariant sector under a group action. Adding a particular set of soft supersymmetry breaking terms we show that this model can also develop fuzzy extra dimensions, leading to a chiral low-energy theory. More precisely, we identify vacua which can be interpreted as twisted fuzzy sphere, or equivalently three identical fuzzy spheres embedded with a relative angle of . Again, a tower of Kaluza-Klein states is found. Furthermore, we give an example of a model which gives an extension of the standard model in its low-energy sector.

The examples presented here are very basic, and there is plenty of room for variations and generalizations. In particular, the orbifold setting is very attractive from the physics point of view, and there is hope than one may obtain candidates for realistic models in this way. These constructions are also very natural from the string theory point of view, since they lead to higher-dimensional geometrical structures which are very familiar from string theory. However, it is very remarkable that these higher-dimensional structures arise here within renormalizable and possibly even finite 4D gauge theory models. Finally, the relation with string theory also suggests to generalize these models in order to reproduce other geometrical structures encountered in string theory. A parallel approach would be the study of matrix models for string/M-theory [4, 33] in the above spirit555For related work see e.g. [34, 35]. These are directions for future work.

Acknowledgments

The pleasant and stimulating atmosphere at the 2010 Corfu Summer Institute of elementary particle physics provided an opportunity for exchange of ideas and discussions, which is gratefully acknowledged. This work was partially supported by the European Union 7th network program “Unification in the LHC era” (PITN-GA-2009-237920) and the NTUA’s programs supporting basic research PEBE 2009 and 2010. The work of H.S. was supported by the FWF project P21610. G.Z. would like to thank the ITP Heidelberg for the very warm hospitality.

References

• [1] I. Antoniadis, A Possible new dimension at a few TeV, Phys. Lett.  B246 (1990) 377-384.
• [2] N. Seiberg and E. Witten, String theory and noncommutative geometry, JHEP 9909 (1999) 032 [arXiv:hep-th/9908142].
• [3] C. M. Hull, P. K. Townsend, Unity of superstring dualities, Nucl. Phys.  B438 (1995) 109-137. [hep-th/9410167].
• [4] N. Ishibashi, H. Kawai, Y. Kitazawa et al., A Large N reduced model as superstring, Nucl. Phys. B498, 467-491 (1997). [hep-th/9612115].
• [5] A. Chatzistavrakidis, G. Zoupanos, Higher-Dimensional Unified Theories with Fuzzy Extra Dimensions, SIGMA 6 (2010) 063. [arXiv:1008.2049 [hep-th]].
• [6] P. Aschieri, J. Madore, P. Manousselis and G. Zoupanos, Dimensional reduction over fuzzy coset spaces, JHEP 0404, 034 (2004) [arXiv:hep-th/0310072].
• [7] P. Aschieri, T. Grammatikopoulos, H. Steinacker et al., Dynamical generation of fuzzy extra dimensions, dimensional reduction and symmetry breaking, JHEP 0609 (2006) 026. [hep-th/0606021].
• [8] A. Chatzistavrakidis, H. Steinacker, G. Zoupanos, Orbifolds, fuzzy spheres and chiral fermions, JHEP 1005 (2010) 100. [arXiv:1002.2606 [hep-th]].
• [9] L. Brink, J. H. Schwarz and J. Scherk, Supersymmetric Yang-Mills Theories, Nucl. Phys.  B121 (1977) 77; F. Gliozzi, J. Scherk and D. I. Olive, Supersymmetry, Supergravity Theories And The Dual Spinor Model, Nucl. Phys.  B122 (1977) 253.
• [10] H. Steinacker, Quantized gauge theory on the fuzzy sphere as random matrix model, Nucl. Phys.  B679 (2004) 66-98. [hep-th/0307075].
• [11] H. Steinacker and G. Zoupanos, Fermions on spontaneously generated spherical extra dimensions, JHEP 0709 (2007) 017 [arXiv:0706.0398 [hep-th]].
• [12] A. Chatzistavrakidis, H. Steinacker, G. Zoupanos, On the fermion spectrum of spontaneously generated fuzzy extra dimensions with fluxes, Fortsch. Phys.  58 (2010) 537-552. [arXiv:0909.5559 [hep-th]].
• [13] A. M. Uranga, D-branes, fluxes and chirality, JHEP 0204 (2002) 016. [hep-th/0201221].
• [14] M. R. Douglas, B. R. Greene, D. R. Morrison, Orbifold resolution by D-branes, Nucl. Phys.  B506 (1997) 84-106. [hep-th/9704151].
• [15] R. C. Myers, Dielectric branes, JHEP 9912 (1999) 022. [hep-th/9910053].
• [16] L. J. Dixon, J. A. Harvey, C. Vafa et al., Strings on Orbifolds, Nucl. Phys. B261 (1985) 678-686; Strings on Orbifolds. 2., Nucl. Phys. B274 (1986) 285-314.
• [17] S. Kachru, E. Silverstein, 4-D conformal theories and strings on orbifolds, Phys. Rev. Lett.  80 (1998) 4855-4858. [hep-th/9802183].
• [18] M. R. Douglas, G. W. Moore, D-branes, quivers, and ALE instantons, [hep-th/9603167].
• [19] G. Aldazabal, L. E. Ibanez, F. Quevedo et al., D-branes at singularities: A Bottom up approach to the string embedding of the standard model, JHEP 0008 (2000) 002. [hep-th/0005067].
• [20] A. E. Lawrence, N. Nekrasov and C. Vafa, On conformal field theories in four dimensions, Nucl. Phys.  B533, 199 (1998) [arXiv:hep-th/9803015].
• [21] E. Kiritsis, D-branes in standard model building, gravity and cosmology, Fortsch. Phys.  52 (2004) 200 [Phys. Rept. 421 (2005 ERRAT,429,121-122.2006) 105] [arXiv:hep-th/0310001].
• [22] A. Djouadi, The Anatomy of electro-weak symmetry breaking. II. The Higgs bosons in the minimal supersymmetric model, Phys. Rept.  459, 1 (2008) [arXiv:hep-ph/0503173].
• [23] U. Carow-Watamura and S. Watamura, Noncommutative geometry and gauge theory on fuzzy sphere, Commun. Math. Phys.  212 (2000) 395 [arXiv:hep-th/9801195].
• [24] S. L. Glashow, Trinification Of All Elementary Particle Forces, in Fifth Workshop on Grand Unification edited by K. Kang, H. Fried and F. Frampton (World Scientific, Singapore, 1984). p. 88.
• [25] V. A. Rizov, A Gauge Model Of The Electroweak And Strong Interactions Based On The Group , Bulg. J. Phys.  8, 461 (1981).
• [26] K. S. Babu, X. G. He and S. Pakvasa, Neutrino Masses And Proton Decay Modes In Trinification, Phys. Rev.  D 33 (1986) 763.
• [27] G. Lazarides and C. Panagiotakopoulos, MSSM from SUSY trinification, Phys. Lett.  B336, 190 (1994) [arXiv:hep-ph/9403317].
• [28] E. Ma, M. Mondragon and G. Zoupanos, Finite unification, JHEP 0412, 026 (2004) [arXiv:hep-ph/0407236];
• [29] G. K. Leontaris and J. Rizos, A D-brane inspired model, Phys. Lett.  B632 (2006) 710 [arXiv:hep-ph/0510230].
• [30] J. E. Kim, Z(3) orbifold construction of GUT with , Phys. Lett.  B564, 35 (2003) [arXiv:hep-th/0301177]. K. S. Choi and J. E. Kim, Three family Z(3) orbifold trinification, MSSM and doublet-triplet splitting problem, Phys. Lett.  B567, 87 (2003) [arXiv:hep-ph/0305002].
• [31] N. Arkani-Hamed, T. Gregoire, J. G. Wacker, Higher dimensional supersymmetry in 4-D superspace, JHEP 0203 (2002) 055. [hep-th/0101233].
• [32] R. G. Leigh, M. J. Strassler, Exactly marginal operators and duality in four-dimensional N=1 supersymmetric gauge theory, Nucl. Phys. B447 (1995) 95-136. [hep-th/9503121].
• [33] T. Banks, W. Fischler, S. H. Shenker et al., M theory as a matrix model: A Conjecture, Phys. Rev. D55 (1997) 5112-5128. [hep-th/9610043].
• [34] H. Aoki, S. Iso, T. Suyama, Orbifold matrix model, Nucl. Phys. B634 (2002) 71-89. [hep-th/0203277].
• [35] H. Itoyama, A. Tokura, USp(2k) matrix model: F Theory connection, Prog. Theor. Phys. 99 (1998) 129-138. [hep-th/9708123]; USp(2k) matrix model: Nonperturbative approach to orientifolds, Phys. Rev. D58 (1998) 026002. [hep-th/9801084].
You are adding the first comment!
How to quickly get a good reply:
• Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
• Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
• Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters