hep-ph0412318/e6u.tex
1: \NeedsTeXFormat{LaTeX2e}
2: \documentclass[12pt,english]{article}
3: \usepackage{babel}
4: \usepackage{amsmath}
5: \usepackage{amssymb} 
6: \usepackage{bbm} % BlackBoeard letters
7: \usepackage[small]{caption2} 
8: \usepackage{fleqn} 
9: \usepackage{graphicx} 
10: \usepackage[small,loose]{subfigure}  
11: \usepackage{cite} 
12: 
13: \addtolength\textheight{115pt}
14: \addtolength\textwidth{60pt}
15: \addtolength\oddsidemargin{-37pt}
16: \setlength{\parindent}{20pt}                                               
17: \setlength{\parskip}{4pt}
18: \frenchspacing                                                            
19: \sloppy
20: \headheight 12pt                               
21: \headsep 30pt                                      
22: \footskip 24pt                                      
23: \renewcommand{\baselinestretch}{1.2}    
24: \addtolength{\topmargin}{-1.5cm}            
25: \advance \headheight by 3.0truept       
26: \setcaptionwidth{.85\textwidth}
27: \DeclareMathOperator{\re}{Re}
28: \DeclareMathOperator{\im}{Im}
29: \DeclareMathOperator{\tr}{tr}
30: %\DeclareMathOperator{\diag}{diag}
31: %\DeclareMathOperator{\Tr}{Tr}
32: \DeclareMathOperator{\diag}{diag}
33: \DeclareMathOperator{\quabla}{\boldsymbol{\square}}
34: \newcommand{\CenterObject}[1]{\ensuremath{\vcenter{\hbox{#1}}}}
35: \newcommand{\D}{\mathrm{d}}
36: \newcommand{\I}{\mathrm{i}}
37: 
38: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
39: 
40: 
41: \newcommand{\dd}{\mbox{d}}
42: \newcommand{\gr}{\tilde{G}}
43: \def\a{\alpha}
44: \def\b{\beta}
45: \def\c{\chi}
46: \def\d{\delta}
47: \def\e{\epsilon}
48: \def\f{\phi}
49: \def\g{\gamma}
50: \def\h{\eta}
51: \def\i{\iota}
52: \def\j{\psi}
53: \def\k{\kappa}
54: \def\l{\lambda}
55: \def\m{\mu}
56: \def\n{\nu}
57: \def\o{\omega}
58: \def\p{\pi}
59: \def\q{\theta}
60: \def\r{\rho}
61: \def\s{\sigma}
62: \def\t{\tau}
63: \def\u{\upsilon}
64: \def\x{\xi}
65: %\def\z{\zeta}
66: \def\D{\Delta}
67: \def\F{\Phi}
68: %\def\G{\Gamma}
69: \def\J{\Psi}
70: \def\L{\Lambda}
71: \def\O{\Omega}
72: \def\P{\Pi}
73: \def\Q{\Theta}
74: \def\S{\Sigma}
75: %\def\U{\Upsilon}
76: \def\X{\Xi}
77: \def\ve{\varepsilon}
78: \def\vf{\varphi}
79: \def\vr{\varrho}
80: \def\vs{\varsigma}
81: \def\vq{\vartheta}
82: \def\R{\mathcal R}
83: \def\tm{\widetilde{\mu}}
84: \def\bm{\overline{\mu}}
85: \def\hm{\widehat{\mu}}
86: \def\tM{\widetilde{M}}
87: \def\be{\overline{e}}
88: \def\rt{\widetilde{\rho}}
89: \def\rb{\overline{\rho}}
90: \def\tM{\widetilde{M}}
91: 
92: \def\beq{\begin{equation}}
93: \def\eeq{\end{equation}}
94: \def\bea{\begin{eqnarray}}
95: \def\eea{\end{eqnarray}}
96: \newcommand{\E}[1]{\ensuremath{\mathrm{E}_{#1}}} % e.g. \E{8}
97: \newcommand{\G}[1]{\ensuremath{\mathrm{G}_{#1}}}
98: \newcommand{\SO}[1]{\ensuremath{\mathrm{SO}(#1)}}
99: \newcommand{\SU}[1]{\ensuremath{\mathrm{SU}(#1)}}
100: \newcommand{\U}[1]{\ensuremath{\mathrm{U}(#1)}}
101: \newcommand{\Z}[1]{\ensuremath{\mathbbm{Z}_{#1}}} % Z_N ->\Z{N}
102: \def\zc{\Z{6}} %{\boldsymbol{\mathbbm{Z}_6}}
103: \def\zn{\Z{N}} %{\boldsymbol{\mathbbm{Z}_N}}
104: \def\za{\Z{3}} %{\boldsymbol{\mathbbm{Z}_3}}
105: \def\zb{\Z{2}} %{\boldsymbol{\mathbbm{Z}_2}}
106: \def\z{\Z{}} %{\boldsymbol{\mathbbm{Z}}}
107: 
108: 
109: 
110: \def\NO{\nonumber}
111: 
112: \def\pl#1#2#3{Phys.~Lett.~{\bf B {#1}} ({#2}) #3}
113: \def\np#1#2#3{Nucl.~Phys.~{\bf B {#1}} ({#2}) #3}
114: \def\prl#1#2#3{Phys.~Rev.~Lett.~{\bf #1} ({#2}) #3}
115: \def\pr#1#2#3{Phys.~Rev.~{\bf D {#1}} ({#2}) #3}
116: \def\zp#1#2#3{Z.~Phys.~{\bf C {#1}} ({#2}) #3}
117: \def\cqg#1#2#3{Class.~and Quantum Grav.~{\bf {#1}} ({#2}) #3}
118: \def\cmp#1#2#3{Commun.~Math.~Phys.~{\bf {#1}} ({#2}) #3}
119: \def\jmp#1#2#3{J.~Math.~Phys.~{\bf {#1}} ({#2}) #3}
120: \def\ap#1#2#3{Ann.~of Phys.~{\bf {#1}} ({#2}) #3}
121: \def\prep#1#2#3{Phys.~Rep.~{\bf {#1}C} ({#2}) #3}
122: \def\ptp#1#2#3{Progr.~Theor.~Phys.~{\bf {#1}} ({#2}) #3}
123: \def\ijmp#1#2#3{Int.~J.~Mod.~Phys.~{\bf A {#1}} ({#2}) #3}
124: \def\nc#1#2#3{Nuovo Cim.~{\bf {#1}} ({#2}) #3}
125: \def\ibid#1#2#3{{\it ibid.}~{\bf {#1}} ({#2}) #3}
126: \def\sps#1{{}^{\mbox{\scriptsize #1}}}
127: \def\spss#1{{}^{\mbox{\tiny #1}}}
128: \def\sbs#1{{}_{\mbox{\scriptsize #1}}}
129: \def\sbss#1{{}_{\mbox{\tiny #1}}}
130: \def\rand#1{\marginpar{\tiny #1}}
131: 
132: \newcommand{\gl}{\tilde{g}}
133: \newcommand{\ql}{\tilde{q}}
134: \newcommand{\wi}{\tilde{W_3}}
135: \newcommand{\qu}{\tilde{q}}
136: \newcommand{\mpl}{M_{\rm P}}
137: \newcommand{\VEV}[1]{\langle #1 \rangle}
138: \newcommand\tev{\,\mbox{TeV}}
139: \newcommand\gev{\,\mbox{GeV}}
140: \newcommand\mev{\,\mbox{MeV}}
141: \newcommand\kev{\,\mbox{keV}}
142: \newcommand\ev{\,\mbox{eV}}
143: \newcommand\mpc{\,\mbox{Mpc}}
144: \newcommand\ha{\,\mbox{H}^{(1)}_{3/2}}
145: \newcommand{\ra}{\rightarrow}
146: \renewcommand{\(}{\left(}
147: \renewcommand{\)}{\right)}
148: \renewcommand{\[}{\left[}
149: \renewcommand{\]}{\right]}
150: %\newcommand{\tr}{\mbox{tr}}
151: 
152: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
153: 
154: \newcommand{\comment}[1]{\fbox{\begin{minipage}{13.3cm} #1
155: \end{minipage}}}
156: 
157: %\makeatother
158: 
159: \begin{document}
160: \title{
161: \begin{flushleft}
162: {\normalsize DESY 04-237\hfill December 2004}
163: \end{flushleft}
164: \vspace{2cm}
165: {\bf Dual Models of Gauge Unification\\ in Various  Dimensions}\\[0.8cm]}
166: \author{\\
167: {\bf\normalsize 
168: Wilfried Buchm\"uller, Koichi Hamaguchi, Oleg Lebedev} \\[0.2cm] %\ \\ 
169: {\it\normalsize Deutsches Elektronen-Synchrotron DESY, 22603 Hamburg, Germany}
170: \\[0.4cm] 
171: {\bf\normalsize Michael Ratz}\\[0.2cm]
172: {\it\normalsize Physikalisches Institut der Universit\"at Bonn,}\\
173: {\it\normalsize Nussallee 12, 53115 Bonn, Germany}
174:  }
175: \date{}
176: \maketitle \thispagestyle{empty} 
177: 
178: \abstract{
179: \noindent
180: We construct a compactification of the heterotic string on an orbifold 
181: $T^6/\Z6$
182: leading to the standard model spectrum plus vector--like  matter. The standard
183: model gauge group is obtained as an intersection of three $\SO{10}$ subgroups 
184: of
185: $\E{8}$.  Three families of $\SO{10}$  ${\bf 16}$-plets are localized at three
186: equivalent fixed points. Gauge coupling unification favours existence of  an
187: intermediate GUT which can have any dimension between five and ten. 
188: Various GUT gauge groups occur. For example, in six dimensions one can have
189: $\E{6}\times \SU3$,  $\SU4\times\SU4 \times \U1^2$ or  $\SO{8}\times \SO{8}$, 
190: depending on which of the compact dimensions are large. The different
191: higher--dimensional  GUTs are `dual' to each other. They represent different
192: points in moduli space, with the same massless spectrum and ultraviolet 
193: completion.}   
194: 
195: 
196: \clearpage
197: 
198: 
199: 
200: \section{Embedding the standard model in $\boldsymbol{\E8}$}
201: \label{sec:SMinE8}
202: 
203: The symmetries and the particle content of the standard model point towards 
204: grand unified theories (GUTs) as the next step in the unification of all 
205: forces. Left- and right-handed quarks and leptons
206: can be grouped in three \SU5 multiplets \cite{gg74},  
207: $\boldsymbol{10} = (q_\mathrm{L},u_\mathrm{R}^c,e_\mathrm{R}^c)$, 
208: $\boldsymbol{\overline{5}} = (d_\mathrm{R}^c,\ell_\mathrm{L})$ and 
209: $\boldsymbol{1}= \nu_\mathrm{R}^c$. Here we have added right-handed neutrinos which are
210: suggested by the evidence for neutrino masses.
211: All quarks and leptons of one generation can be unified in a single multiplet 
212: of the GUT group \SO{10} \cite{gfm75},
213: \begin{equation}
214: \boldsymbol{16} = \boldsymbol{10} + \boldsymbol{\overline{5}} +\boldsymbol{1}\;. 
215: \end{equation}
216: The group \SO{10} contains as subgroups the Pati-Salam group \cite{ps74}, 
217: $G_{\rm PS} = \SU4 \times \SU2 \times \SU2$, the Georgi-Glashow 
218: group $\SU5$, 
219: $G_{\rm GG} = \SU5 \times \U1$, and the `flipped' $\SU5$ group, 
220: $G_{\rm fl} = \SU5' \times \U1'$
221: \cite{bar82}, where the right-handed up- and down-quarks are interchanged, 
222: yielding another viable GUT group.
223: 
224: It is a remarkable property of the standard model that the matter fields form
225: complete $\SO{10}$ multiplets whereas the gauge and Higgs fields are 
226: `split multiplets'. They have to be combined with other split multiplets,
227: not contained in the standard model, in order to obtain a complete unified
228: theory. It is also well known \cite{oli81} that exceptional groups play an
229: exceptional role in grand unification, and the embedding
230: \begin{equation}\label{emb}
231: \SO{10} \subset \E6 \subset \E8
232: \end{equation}
233: appears, in particular, in  compactifications of the 
234: heterotic string \cite{ghx85}  on Calabi-Yau manifolds \cite{chx85}.
235: 
236: As we shall see, complete $\SO{10}$ matter multiplets together with split
237: gauge and Higgs multiplets arise naturally in orbifold compactifications
238: of higher-dimensional unified theories. Orbifold compactifications 
239: have first been considered in string theory \cite{dhx85,inx87} and 
240: subsequently
241: in effective higher-dimensional field theories \cite{kaw00,abc01}. They
242: provide a simple and elegant way to break GUT symmetries, while
243: avoiding the notorious doublet-triplet splitting problem. 
244: More recently, it has been shown how orbifold GUTs can occur in orbifold
245: string compactifications \cite{krz041,fnx04,krz042}.
246: 
247: In the following we shall first search for a scheme of $\zn$ twists which allows
248: to break $\E8$, a common ingredient of string models, to the standard model
249: group. A $\zn$ twist is an element of the gauge group $G$, with
250: \begin{equation}
251: P = \exp{(-2\pi \I V_N\cdot \boldsymbol{H})}\;,\quad P^N = \mathbbm{1}\;.
252: \end{equation}
253: Here the generators $\boldsymbol{H}_i$ form the (Abelian) Cartan
254: subalgebra of $G$, and  $V_N$ is a real vector. 
255: The twist $P$ acts on the Cartan and step generators 
256: $\boldsymbol{E}_\alpha$ as follows:
257: \begin{eqnarray}
258: P\,\boldsymbol{H}_i\,P^{-1} & = & \boldsymbol{H}_i \, \nonumber\\
259: P\,\boldsymbol{E}_\alpha\,P^{-1} & = & 
260: \exp{(-2\pi \I V_N \cdot \alpha)}\, \boldsymbol{E}_\alpha \;,
261: \end{eqnarray}
262: where $\alpha$ is a root associated with $\boldsymbol{E}_\alpha$.
263: Clearly, $P$ 
264: breaks $G$ to a subgroup containing all step generators 
265: which commute with $P$, i.e. $[P,\boldsymbol{E}_\alpha]=0$.
266: 
267: 
268: 
269: \begin{figure}[t]
270:  \centerline{\CenterObject{\includegraphics{SMinSO10.eps}}}
271:  \caption{$\SO{10}$ breaking patterns by a $\Z2$ twist.
272:  The action of the Pati-Salam twist is indicated by crosses, while that of
273:  the Georgi-Glashow twist is indicated by  a slash.}
274:  \label{fig:SMinSO10}
275: \end{figure}
276: The symmetry breaking is conveniently expressed in terms of the  
277:  Dynkin diagrams. This technique has been employed 
278: to classify possible symmetry breaking patterns in string models
279: \cite{Breit:1985ud,kkx90,Choi:2003pq}
280: and, more recently, in  orbifold GUTs \cite{hmr02,hr03}.
281: Starting with the extended Dynkin diagram which contains
282: the most negative root in addition to the simple roots,
283: regular subgroups of a given group are obtained by crossing
284: out some of the roots of the Dynkin diagram.
285: In particular, the action of the $\zn$ orbifold twist 
286: essentially amounts to crossing out a root with the (Coxeter) 
287: label $N$, or more generally,  roots whose labels sum up to  $\leq N$.
288: 
289: As an example, consider the breaking of $\SO{10}$, displayed in
290: Fig.~\ref{fig:SMinSO10}. For each simple root the Coxeter label is listed, which
291: determines the order of the twist required for the corresponding symmetry
292: breaking. Crossing out one of the nodes with label 2 breaks $\SO{10}$ to the
293: semi-simple subgroup $G_{\rm PS}$, while crossing out  one of the roots with
294: label 1 together with the most negative root $\theta$ breaks  $\SO{10}$   to
295: $G_{\rm GG}$. The intersection of the two groups gives the standard model with
296: an additional $\U1$ factor \cite{abc01},
297: \begin{equation}
298: G_{\rm GG} \cap G_{\rm PS} = \SU3 \times \SU2 \times \U1^2 \sim G_{\rm SM} \;,
299: \end{equation}
300: where `$\sim$' means `modulo $\U1$ factors'.
301: Under the $\Z2$ twisting, 
302: the group generators divide into those with positive and negative 
303: parities  $P$ with respect to the twist. 
304: Combining the two parities $P_{\rm GG}$ and
305: $P_{\rm PS}$, one can construct the third $\Z2$ parity
306: $P_{\rm GG}\cdot P_{\rm PS} = P_{\rm fl}$ 
307: which breaks $\SO{10}$ to the flipped $\SU5$,
308: \begin{equation}
309: \SO{10} \stackrel{P_{\rm fl}}{\longrightarrow} G_{\rm fl} = \SU{5}'
310: \times \U{1}'\;,
311: \end{equation} 
312: The standard model group $G_{\rm SM}$ can also be obtained as an 
313: intersection of
314: the two $\SU5$ embeddings, $G_{\rm GG}$ and $G_{\rm fl}$,
315: \begin{equation}
316: G_{\rm GG} \cap G_{\rm fl} = \SU3 \times \SU2 \times \U1^2 \sim G_{\rm SM} \;.
317: \end{equation}
318: 
319: 
320: 
321: As another example, consider now  $\E6$ breaking to the standard model group.
322: From the extended Dynkin diagram Fig.~\ref{fig:SMinE6} it is clear, in analogy
323: with the  $\SO{10}$ breaking, that three $\zb$ twists,
324: \begin{eqnarray}
325: \E6 & \stackrel{P_A}{\longrightarrow} &\SO{10} \times \U1\;, \quad
326: \E6 \,\stackrel{P_B}{\longrightarrow}\, \SU6'\times \SU2' \;, \nonumber\\
327: \E6 & \stackrel{P_C}{\longrightarrow} & \SU6''\times \SU2'' \;,
328: \end{eqnarray}
329: can break $\E6$ to the standard model up to $\U1$ factors,
330: \begin{multline}
331: \SO{10} \times \U1\ \cap\ \SU6'\times \SU2'\ \cap\ \SU6''\times \SU2''
332: \\
333: {}= \ \SU3 \times \SU2 \times \U1^2\ \sim \ G_\mathrm{SM}\;.
334: \end{multline}
335: \begin{figure}[t]
336:  \centerline{\CenterObject{\includegraphics{SMinE6.eps}}}
337:  \caption{$\E6$ breaking patterns under  $\Z2$ twisting. Three different $\Z2$ twists
338: are indicated by crosses, a slash and a backslash, respectively.}
339:  \label{fig:SMinE6}
340: \end{figure}
341: \begin{figure}[t]
342:  \centerline{\CenterObject{\includegraphics{E6inE8.eps}}}
343:  \caption{$\E8$ breaking to $\E6\times \SU3$.}
344:  \label{fig:E6inE8}
345: \end{figure}
346: As in the $\SO{10}$ example, one can check that
347: the same breaking can be obtained as an  intersection of three 
348: different $\SO{10}$ embeddings  in $\E6$ which correspond to the twists 
349: \begin{equation}
350: \E6 \xrightarrow{P_A\cdot P_C} \SO{10}' \times \U1'\;, \quad
351: \E6 \xrightarrow{P_A\cdot P_B\cdot P_C} \SO{10}'' \times \U1''\;,
352: \end{equation}
353: such that
354: \begin{multline}
355: \SO{10}\times \U1\ \cap\ \SO{10}'\times \U1'\ \cap\ \SO{10}''\times \U1''\\
356: =\ \SU3 \times \SU2 \times \U1^2\ \sim \ G_\mathrm{SM}\;.
357: \end{multline}
358: Let us remark that it is not possible to distinguish the three
359: $\SO{10}$ embeddings in $\E6$ (as well as $G_\mathrm{GG}$ and
360: $G_\mathrm{fl}$ embeddings in $\SO{10}$) 
361: at the level of Dynkin diagrams. 
362: The corresponding
363: subalgebras are related by Weyl reflections within the embedding group.
364: To distinguish them, an explicit analysis of the shift vectors $V_N$  is required.  
365: 
366: 
367: 
368: Our final goal is to break $\E8$  to the standard model gauge group. This can be
369: achieved by combining the above three $\zb$ twists with a $\za$ twist which
370: breaks $\E8$ to $\E6\times \SU3$ (cf.~Fig.~\ref{fig:E6inE8}). The $\zb$ twists can then also
371: break the $\SU3$ factor to $\SU2\times \U1$. In this way one obtains three $\zc$
372: twists which break $\E8$ to subgroups containing $\SO{10}$, 
373: \begin{eqnarray}
374: \E8 &\stackrel{P_6}{\longrightarrow} & \SO{10} \times \SU3 \times \U1\;, \quad
375: \E8 \,\stackrel{P_6'}{\longrightarrow}\, \SO{10}'\times \SU2'\times \U1^2\;,
376: \nonumber\\
377:  \E8 &\stackrel{P_6''}{\longrightarrow} & 
378:  \SO{10}''\times \SU2'' \times \U1^2\;, 
379: \end{eqnarray}
380: such that the intersection is the standard model group up to $\U1$ factors,
381: \begin{multline}
382: \SO{10} \times \SU3 \times \U1\ \cap\ \SO{10}'\times \SU2'\times \U1^2\\
383: \cap\ \SO{10}''\times \SU2'' \times \U1^2\
384: \sim\ G_\mathrm{SM}\;.
385: \end{multline}
386: In an orthonormal basis of $\E8$ roots,
387: three $\zc$ shift  vectors which realize the described symmetry breaking
388: read explicitly:
389: \begin{eqnarray}
390: V_6 &=& \left({1\over 3},{1\over 3},{1\over 3},0,0,0,0,0\right)\;, \nonumber \\
391: V_6'&=& \left({7\over 12},{7\over 12},{1\over 12},{1\over 4},-{1\over 4},
392:               -{3\over 4},-{3\over 4},-{3\over 4}\right)\;, \nonumber\\
393: V_6'' &=& \left({7\over 12},{13\over 12},{7\over 12},{3\over 4},{1\over 4},
394:               -{3\over 4},-{3\over 4},-{3\over 4}\right)\;.
395: \label{3V6}
396: \end{eqnarray}
397: Note that the differences between the $\zc$ shift vectors 
398: are $\zb$ shift vectors,
399: \begin{eqnarray}
400: W_2 &=& V_6''-V_6' = \left(0,{1\over 2},{1\over 2}, {1\over 2},{1\over 2},
401:                        0,0,0 \right)\;, \nonumber \\
402: W_2' &=& V_6'-V_6 = \left( {1\over 4}, {1\over 4},- {1\over 4},{1\over 4},
403: -{1\over 4},-{3\over 4},-{3\over 4},-{3\over 4} \right)\;,
404: \end{eqnarray}
405: which will play the role of Wilson lines in the next section.
406: 
407: 
408: To summarize, in this section we have
409: presented a group--theoretical analysis of $\E8$
410: breaking to the standard model with intermediate $\E6$ and $\SO{10}$ GUTs,
411: suggested by the structure of matter multiplets.
412: 
413: 
414: \section{Orbifold compactification}
415: 
416: Let us now construct an orbifold compactification of the heterotic string, 
417: which realizes the symmetry breaking described above. As is clear
418: from the above discussion, we will need a
419: $\zc$ or a higher--order orbifold and choose the former for simplicity. 
420: 
421: In the light cone gauge the heterotic string \cite{ghx85} can be described
422: by the following bosonic world sheet fields: 8 string coordinates
423: $X^i$, $i= 1\ldots 8$, 16 internal left-moving coordinates $X^I$,
424: $I=1\ldots 16$, and 4 right-moving fields $\phi^i$, $i=1\ldots 4$, which
425: correspond to the bosonized Neveu-Schwarz-Ramond fermions 
426: (cf.~\cite{imx88,kkx90,bl99}). The 16 left-moving internal coordinates
427: are compactified on a torus. The associated quantized momenta lie on the
428: $\E8\times \E8$ root lattice. In an orthonormal basis, vectors of the
429: $\E8$ root lattice are given by
430: \begin{equation}
431: p_{_{\E8}}= (n_1,...,n_8)\;\;{\rm or}\;\; 
432: \(n_1 +{1\over 2}, ..., n_8 +{1\over 2} \)\;,
433: \label{root}
434: \end{equation}
435: with integer $n_i$ satisfying $\sum_{i=1}^8n_i=0 \mod 2$.
436: The massless spectrum of this 10D string is 10D supergravity coupled to 
437: $\E8\times \E8$ super Yang--Mills theory.
438: 
439: To obtain a four--dimensional theory, 6 dimensions of the 10D heterotic string
440: are compactified on an orbifold. In our case, this is a $\zc$ orbifold
441: obtained by modding a 6D torus together with   the 16D gauge torus
442: by a $\zc$ twist,
443: \begin{equation}
444: {\cal O}\ =\ T^6 \otimes T_{\E8\times \E8'} / \zc\;.
445: \end{equation}
446: On the three complex torus coordinates $z^i$, $i=1,2,3$, the $\zc$ twist 
447: acts as 
448: \begin{equation}
449: z^i \rightarrow e^{2\pi \I\, v_6^i}~ z^i\;.  
450: \label{v6}
451: \end{equation}
452: Here $6v_6$ has integer components. The compact string coordinates are
453: described by the complex variables $Z^i=X^{2i-1}+\I\ X^{2i}$,
454: $i=1\ldots 3$. The $\zc$ action on the string
455: coordinates reads, up to lattice translations (cf.~\cite{kkx90}), 
456: \begin{equation}
457: Z^i(\s=2\p) = e^{2\p\I k v_6^i}\ Z^i(\s=0)\;,\quad k=0\ldots 5\;,
458: \end{equation}
459: \begin{equation}
460: \phi^i(\s=2\p) = \phi^i(\s=0) - \p k v_6^i\;, \quad
461: X^I(\s=2\p) = X^I(\s=0) + \p k V_6^I\;, 
462: \end{equation}
463: where $6V^I$ is an $\E8\times \E8$ lattice vector. 
464: 
465: The torus $T^6$ is spanned by basis vectors $e_\kappa$, $\kappa=1,...,6$.
466: In general, a torus allows for the presence of Wilson lines,
467: i.e. a translation by a lattice vector $n_\kappa e_\kappa^i$ can be
468: accompanied by a shift of the internal string coordinates,
469: \begin{eqnarray}
470: X^i(\s=2\p) &=& X^i(\s=0) + 2\p n_\kappa e_\kappa^i\;,\quad  
471: n_\kappa \in \z\;,\nonumber\\
472: X^I(\s=2\p) &=& X^I(\s=0) + \p n_\kappa W_\kappa^I\;.
473: \end{eqnarray}
474: Here the discrete Wilson lines $W_\kappa$ are restricted by symmetry and by
475: modular invariance.
476: 
477: The basis vectors $e_\kappa$ 
478: are taken to be simple roots  of a Lie algebra, whose choice is dictated by
479: the required symmetry of the lattice.
480: In our case the  lattice must have a $\zc$ symmetry and allow for
481: the existence of 3 independent $V_6$ shift vectors (\ref{3V6}) 
482: (or two  Wilson lines of order 2). 
483: This leaves two possibilities for the Lie lattice \cite{kkx90}:
484: \begin{equation}
485: \G2 \times \SU3 \times \SO4\;\;{\rm or}\;\; \SU3^{[2]}\times \SU3\times \SO4\;.
486: \end{equation}
487: We shall base our analysis on the first lattice, which has recently been
488: studied in detail by Kobayashi, Raby and Zhang \cite{krz041}. These authors
489: have obtained models with the Pati-Salam gauge group in four dimensions, which then has 
490: to be broken to the standard model by the Higgs mechanism. The model described
491: in the following differs from those in the choice of $\zc$ twists and the pattern
492: of symmetry breaking.
493: 
494: 
495: For the $\G2 \times \SU3 \times \SO4$ lattice,
496: the action of the $\zc$ twist  is given by Eq.~\eqref{v6} with
497: \begin{equation}
498: v_6 = {1\over 6}(1,2,-3)\;.
499: \end{equation}
500: $z_1$, $z_2$ and $z_3$ are the coordinates of the $\G2$, $\SU3$ and
501: $\SO4$ $T^2$-tori, respectively. The $\zc$ twist $v_6$ has two subtwists,
502: \begin{equation}
503: \za :\; v_3 = 2 v_6 = {1\over 3}(1,2,-3)\;, \quad
504: \zb :\; v_2 = 3 v_6 = {1\over 2}(1,2,-3)\;.
505: \end{equation} 
506: An interesting feature of this orbifold is the occurrence of
507: invariant planes. Clearly, the $\za$ twist leaves the $\SO4$-plane invariant 
508: whereas the $\zb$ twist leaves the $\SU3$-plane invariant.
509: The corresponding fixed points and invariant planes are shown in
510: Fig.~\ref{fig:TableOfTori}. Our construction requires two Wilson lines in the
511: $\SO4$ plane, $W_2$ and $W_2'$, such that there are 3 independent gauge shift
512: vectors (\ref{3V6}) acting at different fixed points in this plane. 
513: 
514: 
515: \begin{figure}[t]
516:  \centerline{\begin{tabular}{lccc}
517:   & $\mathrm{G}_2$ torus & $\SU3$ torus & $\SO4$ torus\\
518:   $ \zc~;~T_{1,5}$ & 
519:   \CenterObject{\includegraphics[scale=0.8]{G2Torus_T1.eps}}
520:   &
521:   \CenterObject{\includegraphics[scale=0.8]{SU3Torus_T1.eps}}
522:   &
523:   \CenterObject{\includegraphics[scale=0.8]{SO4Torus_T1.eps}}
524:   \\[2cm]
525:   $\za~;~T_{2,4}$ &
526:   \CenterObject{\includegraphics[scale=0.8]{G2Torus_T2.eps}}
527:   &
528:   \CenterObject{\includegraphics[scale=0.8]{SU3Torus_T2.eps}}
529:   &
530:   \CenterObject{\includegraphics[scale=0.8]{SO4Torus_T2.eps}}
531:   \\[2cm]
532:   $\zb ~;~T_{3}$ &
533:   \CenterObject{\includegraphics[scale=0.8]{G2Torus_T3.eps}}
534:   &
535:   \CenterObject{\includegraphics[scale=0.8]{SU3Torus_T3.eps}}
536:   &
537:   \CenterObject{\includegraphics[scale=0.8]{SO4Torus_T3.eps}}
538:  \end{tabular}}
539:  \caption{
540: Fixed points and invariant planes (hatched) under the $\zc$ twist
541: and $\za,\zb$ subtwists, describing localization of different
542: twisted sectors. }
543: \label{fig:TableOfTori}
544: \end{figure}
545: 
546: The rules of orbifold compactifications of the heterotic string have 
547: recently been reviewed in \cite{fnx04,krz042}. We are interested in the
548: states whose masses are small compared to the string scale $M_S$.
549: These states are described by fields
550: \begin{equation} 
551: \J_{r,s}(x;z_1,z_2,z_3)\;.
552: \end{equation}
553: Here $r$ labels the gauge quantum numbers and is given by 
554: \begin{equation}
555:  r\,= 
556:  \left\{\begin{array}{ll}
557:  p\quad& \text{for the untwisted sector}\;,\\
558:  p+k\,V_6\quad& \text{for the}\:k\text{-th twisted sector}\;, 
559:  \end{array}\right.
560: \end{equation}
561: where $p$ lies on the $\E8\times \E8$ root lattice  (\ref{root}) and   
562: we have absorbed the Wilson lines in the definition of
563: the $local$ twist $kV_6$.
564: Similarly, $s$ carries information about the spin,
565: \begin{equation}
566:  s\,= 
567:  \left\{\begin{array}{ll}
568:  q\quad& \text{for the untwisted sector}\;,\\
569:  q+k\,v_6\quad& \text{for the}\:k\text{-th twisted sector}\;, 
570:  \end{array}\right.
571: \end{equation}
572: where $q$ is an element of the $\SO8$ weight lattice
573: and $v_6^4=0$. 
574: In our convention, the last component of $q$ gives the 4D helicity.
575: For example, 4D vectors correspond to $q = (0,0,0,\pm 1)$,
576: 4D scalars to  $q = (\pm 1,0,0,0)$ with all permutations of the 
577: first 3 entries, and fermions correspond to $q=\left(  \pm {1\over2},
578: \pm {1\over2},\pm {1\over2},\pm {1\over2}   \right)$ with an even number
579: of `+' signs\footnote{These $q$'s may have to be shifted by
580: an $\SO8$ root vector to satisfy masslessness conditions 
581: in twisted sectors.}. 
582: 
583: 
584: The physical states are invariant under the action of the orbifold symmetry
585: group which consists of twists and translations. In our case 
586: only translations in the $\SO4$ plane 
587: have a non--trivial action on the gauge degrees of freedom,
588: due to the presence of Wilson lines.
589: Then the invariance conditions read\footnote{Here we omit 
590: string oscillator states.}
591: ($\ell=1,..., 5$):
592: \begin{eqnarray}
593: \J_{r,s}(x;z_1,z_2,z_3) &=& e^{2\pi \I\, \ell (r\cdot V_6 - s\cdot v_6)}
594: \J_{r,s}\(x;e^{2\pi \I{\ell\over 6}}z_1, e^{2\pi \I {\ell\over 3}}z_2,
595: e^{-2\pi \I{\ell\over 2}}z_3\),\nonumber\\
596: \J_{r,s}(x;z_1,z_2,z_3) &=& e^{2\pi\I\, r\cdot W_2}
597: \J_{r,s}\(x;z_1,z_2,z_3+1\)\;,
598: \nonumber\\
599: \J_{r,s}(x;z_1,z_2,z_3) &=& e^{2\pi\I\, r\cdot W_2'}
600: \J_{r,s}\(x;z_1, z_2,z_3+\I \)\;,
601: \label{inv2}
602: \end{eqnarray}
603: where we have included the Wilson lines in the local shift vectors
604: $kV_6$. 
605: We note that here  two sources of symmetry breaking are present: local, due to
606: twisting, and non-local, due to the Wilson lines. In the
607: first case, symmetry breaking is restricted to the fixed points in the compact
608: space. Indeed, since  orbifold fixed points are invariant under twisting  (up to
609: a lattice vector), the first condition  can be satisfied only for certain $p$,
610: which indicates symmetry breaking at the fixed points. These sets of $p$'s are
611: generally different at different fixed points and only their intersection 
612: survives in 4D, since in this case the wave function can be constant in the
613: compactified dimensions leading to a massless state.  In the case of Wilson line
614: symmetry breaking, the second and third conditions  apply to all points in
615: the $\G2$ and $\SU3$ planes and the symmetry breaking is non-local. 
616: 
617: To define our string model, it is necessary to specify the action of the twist
618: on the second, `hidden', $\E8$. We find that the desired
619: symmetry breaking pattern and  the appearance of three $\boldsymbol{16}$-plets
620: at fixed points with unbroken $\SO{10}$ lead to
621: \begin{eqnarray} 
622: V_6 &=& \left({1\over 3},{1\over 3},{1\over 3},0,0,0,0,0\right)
623: \({1\over 6},{1\over 6},0,0,0,0,0,0\)\;,\\
624: W_2 &=& \left(0,{1\over 2},{1\over 2}, {1\over 2},{1\over 2},
625:                        0,0,0 \right)
626: \({1\over 2},{1\over 2},{1\over 2},0,0,0,0,{1\over 2}\)\;,\\
627: {W_2}' &=& \left( {1\over 4}, {1\over 4},- {1\over 4},{1\over 4},
628: -{1\over 4},-{3\over 4},-{3\over 4},-{3\over 4} \right)
629: \(0,{1\over 2},{1\over 2},{1\over 2},{1\over 2},0,0,0\)\;
630: \end{eqnarray}
631: in the orthonormal $\E8\times\E8$ basis. 
632: In string theory, these quantities must satisfy certain consistency
633: conditions (see \cite{fnx04} for a recent discussion).
634: First of all, $6V_6$ and $2W_2 , 2W_2'$ must be elements of 
635: the  $\E8\times\E8$ root lattice which is required by embedding of
636: the orbifold symmetry group (`space' group) in the gauge degrees 
637: of freedom. Second, modular invariance requires
638: \begin{equation}
639: 6 \left[ (m V_6+ nW_2+n'W_2')^2 - m^2 v_6^2   \right] =0 {\rm ~ mod ~2},
640: ~~m,n,n'=0,1 \;.
641: \end{equation}
642: Our choice of  the hidden sector components of $V_6,W_2,W_2'$ is 
643: strongly affected by these conditions.
644: 
645: We note that  $N=1$ supersymmetry in 4D requires
646: \begin{equation}
647: \sum_{i=1}^3 v_6^i =0 {\rm ~ mod ~1}\;,
648: \end{equation}
649: whereas $N=2$ would require, in addition, $v_6^i=0$ mod 1 for some $i$. 
650: In the former case, there is one gravitino satisfying $q\cdot v_6=0$ mod 1
651: whereas in the latter case there are two of them.
652: 
653: Finally, massless states in 4D must satisfy the following conditions: 
654: \begin{equation}
655: q^2=1 ~~,~~ p^2=2-2\tilde N
656: \end{equation}
657: for the untwisted sector, and
658: \begin{equation}
659: (q+kv_6)^2= c_{k} ~~,~~ \bigl(p+ kV_6 + n W_2 + n' W_2'\bigr)^2= c_{k,\tilde N}
660: \end{equation}
661: for the $k$-th twisted sector. Here $\tilde N$ is an oscillator
662: number and $c_{k},c_{k,\tilde N}$ are certain constants 
663: (see e.g. \cite{fnx04}). In our model, all states which transform
664: non--trivially under $\SU3_c \times \SU2_\mathrm{L}$ 
665: have $\tilde N=0$.
666: 
667: 
668: In this section we have described the necessary ingredients of our 
669: orbifold model. In the next section we compute the massless spectrum of
670: the model and discuss localization of various states.
671: 
672: 
673: \section{Massless spectrum of the model}
674: 
675: First let us identify the gauge group in 4D.
676: For $N=1$ vector multiplets $q\cdot v_6 = 0$. Hence,
677: the surviving gauge group in 4D is given by the root vectors satisfying
678: \begin{equation}
679: p\cdot V_6,\ p\cdot W_2,\ p\cdot W_2'\ \in \z \;, \quad p^2 = 2\;.
680: \end{equation}
681: It is straightforward to verify that these roots together with the Cartan
682: generators form the Lie algebra of 
683: $$\SU3\times \SU2 \times \U1^5~~,$$
684: while the hidden sector  $\E8$ is broken to $\SU4 \times \SU4 \times \U1^2$. 
685:  This result can be understood by examining the enhanced 
686: gauge groups at the four orbifold fixed points in the $\SO4$-plane. 
687: These gauge groups are determined by
688: \begin{equation}
689: p\vspace{2cm}\cdot \Bigl(V_6+ n W_2 +n' W_2'\Bigr) \in \z \;,
690: \end{equation}
691: where $n,n'=\{ 0,1  \}$ specify  the fixed point in the $\SO4$ plane. Then,
692: omitting the hidden sector
693: the local gauge groups  are (Fig.~\ref{fig:SO4Torus_GaugeGroups}): 
694: \begin{eqnarray}
695: && (n=0, n'= 0): ~\SO{10}\times \SU3\times \U1
696: \nonumber\\
697: && (n=1, n'=0): ~\SU6\times \SU2\times \SU2\times
698: \mathrm{U}(1) \nonumber\\
699: && (n=0, n'=1): ~\SO{10}\times \SU2\times 
700: \mathrm{U}(1)^2 \nonumber\\
701: && (n=1, n'=1): ~\SO{10}\times \SU2\times \U1^2\;. 
702: \end{eqnarray}
703: These are precisely the groups discussed in the first section. Their
704: intersection yields the surviving group 
705: $\SU3\times \SU2\times \U1^5$. 
706: \begin{figure}[t]
707:  \centerline{\CenterObject{\includegraphics{SO4Torus_GaugeGroups.eps}}}
708:  \caption{Local gauge symmetries in the $\SO4$-plane.}
709:  \label{fig:SO4Torus_GaugeGroups}
710: \end{figure}
711: 
712: Let us now consider matter fields. These can be either
713: in the untwisted sector $U$ or in one of the  twisted
714: sectors $T_1\ldots T_5$. Below we analyze each of them separately.
715: Before we proceed, let us fix the chirality of the matter
716: fields to be $positive$\footnote{This is necessary to distinguish
717: matter fields from their CP conjugates.}, i.e. $q_4=+1/2$
718: for their fermionic components.  
719: 
720: 
721: \subsection{$\boldsymbol{U}$ sector} 
722: 
723: For $N=1$ chiral multiplets in the untwisted sector we have 
724: $q\cdot v_6 = \pm 1/6$, $\pm 1/3$, $\pm 1/2$, and therefore
725: \begin{equation}
726: p\cdot V_6=\{ 1/6,1/3,1/2 \} ~{\rm mod}~ 1 \;;\quad
727: p\cdot W_2,\ p\cdot W_2'\ \in \z \;.
728: \end{equation}
729: The states represent bulk matter of the orbifold.  By choosing an appropriate
730: right--mover, these massless states can be made invariant under the 
731: $\mathbbm{Z}_6$ orbifold action and thus are present in the 4D spectrum. Apart
732: from $\SU3_c\times\SU2_\mathrm{L}$ singlets\footnote{We defer the analysis of
733: $\U1$ charges until a subsequent publication.}, the untwisted sector of our
734: model contains 
735: \begin{equation}
736: U=2\times(\boldsymbol{3},\boldsymbol{1})
737:  \oplus (\bar{\boldsymbol{3}},\boldsymbol{1}) 
738:  \oplus 5\times (\boldsymbol{1},\boldsymbol{2})
739: \end{equation}
740: in terms of the $\SU3_c\times \SU2_\mathrm{L}$ quantum numbers.
741: From the field-theory perspective, these fields correspond to the 
742: compact space
743: components of the $E_8$ gauge fields and their superpartners.
744: 
745: 
746: 
747: \subsection{$\boldsymbol{T_1 + T_5}$ sector}
748: 
749: These matter fields are located at the 12 orbifold fixed points (Fig.~\ref{fig:TableOfTori})
750: and satisfy 
751: \begin{equation}
752: \Bigl(p+V_6+ n W_2 +n' W_2'\Bigr)^2={25\over 18} \;.
753: \end{equation}
754: Since  Wilson lines are present only in the $\SO4$ plane,
755: only $\SO4$-plane projections of the fixed points   matter.
756: The $\mathrm{G}_2$ and $\SU3$ projections do not affect the 
757: local twist. They only lead to a multiplicity factor 3 due to the three 
758: identical $\SU3$ fixed points. 
759: Any massless state in the $T_1$ sector
760: survives the orbifold projection, i.e. is invariant under
761: the $\mathbbm{Z}_6$ action, and is therefore present in the 4D
762: spectrum. 
763: 
764: 
765: The twisted matter fields located at a given fixed point appear in a 
766: representation of the local gauge group at this point. In our case, twisted
767: matter with  $\SU3_c\times\SU2_\mathrm{L}$ quantum numbers is
768: \begin{eqnarray}
769: && (n=0, n'=0): ~3\times (\overline{\boldsymbol{16}},1) \nonumber\\
770: && (n=1, n'=0): ~6\times (1,\boldsymbol{2},1)  \nonumber\\
771: && (n=0, n'=1): ~ - \nonumber\\
772: && (n=1, n'=1): ~ - 
773: \end{eqnarray}
774: It is convenient to keep the notation $(\overline{\boldsymbol{16}})$ of
775: $\SO{10}$ even though  the unbroken group in 4D is only $G_\mathrm{SM}$,
776: since it represents one complete generation of SM fermions including 
777: right--handed neutrinos. In terms of  $\SU3_c\times \SU2_\mathrm{L}$
778: quantum numbers we have
779: \begin{equation}
780: T_1 + T_5 = 3\times(\overline{\boldsymbol{16}}) \oplus 
781: 6\times (\boldsymbol{1},\boldsymbol{2}) \;,
782: \end{equation}
783: where again we have omitted singlets.
784: 
785: 
786: \subsection{$\boldsymbol{T_2 +T_4}$ sector}
787: 
788: These states are localized at the fixed points in the  $\mathrm{G}_2$ and $\SU3$
789: planes, while being bulk states in the $\SO4$ plane
790: (Fig.~\ref{fig:TableOfTori}). If the $T_1$ sector corresponds to the string with
791: the boundary condition twisted by  $\Theta=\diag\left(e^{2\pi \I\, v_6^1},
792: e^{2\pi \I\, v_6^2},e^{2\pi \I\, v_6^3} \right)$, the $T_2$ sector corresponds
793: to the strings twisted by $\Theta^2$. Since $\Theta^2$ has a fixed plane, $T_2$
794: states are bulk states in this plane and localized states in the other two
795: planes. 
796: 
797: The orbifold action on this sector is $\mathbbm{Z}_3$, and is given by
798: \begin{eqnarray}
799:  v_3=2v_6 ~~,~~ V_3 =2 V_6 ~\;.
800: \end{eqnarray}
801: Since there are no Wilson lines in the $\mathrm{G}_2$ and $\SU3$
802: planes, all fixed points are equivalent. The massless $N=1$ multiplets obey
803: \begin{equation}
804: \Bigl(p+V_3 \Bigr)^2={14\over 9} \;.
805: \end{equation}
806: Both the $\mathrm{G}_2$ and the $\SU3$ lattice have 3 fixed points 
807: under $\mathbbm{Z}_3$, so the multiplicity factor is 9. The local gauge 
808: groups at the fixed points are determined by
809: \begin{equation}
810: p \cdot V_3=0 \;.
811: \end{equation}
812: At each $\mathbbm{Z}_3$ fixed point, the unbroken gauge group and the twisted
813: sector matter fields are (cf.\ Fig.~\ref{fig:SU3Torus_GaugeGroups_T2})
814: \begin{equation}
815: \E6 \times \SU3 : \quad (\overline{\boldsymbol{27}},1)\;,
816: \end{equation}
817: plus $\SU3_c\times \SU2_\mathrm{L}$ singlets.
818: 
819: \begin{figure}[t]
820:  \centerline{\CenterObject{\includegraphics{SU3Torus_GaugeGroups_T2.eps}}}
821:  \caption{Local gauge symmetries in the $\SU3$-plane after
822:  the $\mathbbm{Z}_3$ subtwist.  } 
823:  \label{fig:SU3Torus_GaugeGroups_T2}
824: \end{figure}
825: 
826: These states are subject to \emph{further} projection and  not all of them 
827: survive. Indeed, by construction they are only invariant under the
828: $\mathbbm{Z}_3$ action, but not under the full $\mathbbm{Z}_6$. Furthermore, 
829: the
830: $\mathbbm{Z}_3$ fixed points in the $\mathrm{G}_2$-plane are only fixed under
831: $\mathbbm{Z}_3$ and the $\mathbbm{Z}_6$ action transforms them into one
832: another. Physical states are formed out of their linear combinations which are
833: eigenstates of the $\mathbbm{Z}_6$ twist. 
834: 
835: The $\mathbbm{Z}_3$ invariance of a physical state requires
836: \begin{equation}
837: (q+v_3)\cdot v_3 = (p+V_3)\cdot V_3 {\rm ~mod~}1 \;,
838: \label{z3inv}
839: \end{equation}
840: where 
841: %we have suppressed the contribution due to the oscillators, 
842: $q+v_3$ is
843: the shifted $\SO8$ momentum and $p+V_3$ is the shifted $\mathrm{E}_8
844: \times \mathrm{E}_8$ momentum. This is satisfied automatically as long as  the
845: gauge embedding of the twist and the Wilson lines obey modular invariance 
846: (yet it may require shifts by a lattice vector). A non-trivial $\mathbbm{Z}_2$
847: invariance condition is
848: \begin{equation}
849: (q+v_3)\cdot v_2 = (p+V_3)\cdot V_2  ~+~ \gamma   {\rm ~mod~}1  \;, \quad
850: p\cdot W_2,\ p\cdot W_2'\ \in \z \;,
851: \label{z2inv}
852: \end{equation}
853: where 
854: \begin{equation}
855: v_2=3v_6 ~~,~~ V_2 =3 V_6 \;. 
856: \end{equation}
857: The extra term
858: $\gamma=(0,0,1/2)$ appears due to the ``mixing'' of the fixed 
859: points \cite{Kobayashi:1990mc},\cite{krz041}. There are
860: three  combinations of the $\mathbbm{Z}_3$ fixed points which are eigenstates
861: of $\mathbbm{Z}_6$ with eigenvalues  $e^{2\pi \I \gamma}$. 
862: 
863: An important note is in order. The $\SO8$ lattice momentum $q$
864: is found via the masslessness condition for the right--movers,
865: \begin{equation}
866: (q+v_3)^2={5\over 9}\;.
867: \end{equation}
868: Since $v_3$ has a fixed plane, there are always two sets of solutions,
869: with opposite chiralities. Both of them survive 
870: the projection (\ref{z3inv}), which leads to $N=2$ hypermultiplets.
871: The conditions (\ref{z2inv}) break the symmetry between the
872: two chiralities and one obtains  $N=1$ chiral multiplets.
873: 
874: As a result, $9\times (\overline{\boldsymbol{27}})$ $N$=$2$ hypermultiplets
875: produce the following $N$=$1$ multiplets with 
876: $\SU3_c\times \SU2_\mathrm{L}$ quantum numbers:
877: \begin{equation}
878: T_2 +T_4 = 3\times (\boldsymbol{3},\boldsymbol{1}) 
879: \oplus 6\times (\bar{\boldsymbol{3}},\boldsymbol{1}) 
880: \oplus 9\times(\boldsymbol{1},\boldsymbol{2}) \;.
881: \end{equation}
882: 
883: \subsection{$\boldsymbol{T_3}$ sector}
884: 
885: These states are localized at the $\mathbbm{Z}_2$ fixed points in the
886: $\mathrm{G}_2$ and $\SO4$ planes and are bulk states in the
887: $\SU3$ plane (Fig.~\ref{fig:TableOfTori}). 
888: They correspond to strings twisted by $\Theta^3$. The
889: massless $T_3$ states satisfy 
890: \begin{equation}
891: \Bigl(p+V_2 + n W_2 +n' W_2' \Bigr)^2={3\over 2} \;,
892: \end{equation}
893: and the local gauge groups at the fixed points are determined by
894: \begin{equation}
895: p\cdot \Bigl(V_2+ n W_2 +n' W_2'\Bigr)=0 \;.
896: \end{equation}
897: The result for gauge groups and matter multiplets reads
898: \begin{eqnarray}
899: && (n=0, n'= 0): ~\SO{16} ~,~ 8\times(\boldsymbol{16}) \nonumber\\
900: && (n=1, n'=0): ~\SO{16} ~,~ 8\times(\boldsymbol{16})   \nonumber\\
901: && (n=0, n'=1): ~\E7\times \SU2~,~ - \nonumber\\
902: && (n=1, n'=1): ~\E7\times \SU2~,~- \quad.
903: \end{eqnarray}
904: As usual we have omitted  $\SU3_c\times \SU2_\mathrm{L}$   singlets and 
905: included a multiplicity  factor 4 from the $\mathrm{G}_2$-plane fixed points.
906: These states are located at the $\mathbbm{Z}_2$ fixed points which are mixed by
907: the action of the full $\mathbbm{Z}_6$ twist. Again, one has to form linear
908: combinations of the states transforming  covariantly under $\mathbbm{Z}_6$.
909: 
910: \begin{figure}[t]
911:  \centerline{\CenterObject{\includegraphics{SO4Torus_GaugeGroups_T3.eps}}}
912:  \caption{Local gauge symmetries in the $\SO4$-plane
913:  after the $\mathbbm{Z}_2$ subtwist. } 
914:  \label{fig:SU3Torus_GaugeGroups_T3}
915: \end{figure}
916: 
917: The matter states are, as before, subject to projection
918: conditions. The $\mathbbm{Z}_2$ condition for the relevant states is 
919: \begin{equation}
920: (q+v_2)\cdot v_2 = (p+V_2 +n W_2)\cdot ( V_2+ nW_2)  {\rm ~mod~}1 \;. 
921: \end{equation}
922: With a proper redefinition of $W_2$ by a lattice vector shift,
923: this condition is satisfied by all states with  both chiralities, i.e.
924: both solutions $q$ of the equation for massless right--movers, 
925: \begin{equation}
926: (q+v_2)^2={1\over 2}\;.
927: \end{equation}
928: Therefore, these states form $N=2$ hypermultiplets.
929: The further $\mathbbm{Z}_3$ projection reads 
930: \begin{equation}
931:  (q+v_2)\cdot v_3 = (p+V_2+nW_2)\cdot V_3  ~+ ~\gamma   {\rm ~mod~}1  \;,
932: \end{equation}
933: where now $\gamma=(0,0,1/3,-1/3)$. 
934: The four $\mathbbm{Z}_2$ fixed points in the $\mathrm{G}_2$-plane lead to
935: four eigenstates under $\mathbbm{Z}_3$ with eigenvalues $e^{2\pi \I \gamma}$.
936: The above  condition projects out some of the states. 
937: The surviving  $N$=1 multiplets
938:   %  under the groups 
939:   %   $\SO{10}\times \SU3 \times \U1$ and
940:   %   $\SU6\times \SU2\times \SU2\times \U1$,
941:   %    which are unbroken at the two relevant fixed points:
942:   %  \begin{equation}
943:   %  T_3 = 3\times (\boldsymbol{10},\boldsymbol{1}) \oplus
944:   %  4\times (\boldsymbol{6},\boldsymbol{1},\boldsymbol{1}) \oplus
945:   %  2\times (\boldsymbol{\bar{6}},\boldsymbol{1},\boldsymbol{1}) \oplus
946:   %  2\times (\boldsymbol{1},\boldsymbol{2},\boldsymbol{2}) \;.
947:   %  \end{equation}
948: with $\SU3_c\times \SU2_\mathrm{L}$ quantum numbers are
949: \begin{equation}
950: T_3 = 7\times (\boldsymbol{3},\boldsymbol{1}) \oplus
951:  5\times (\bar{\boldsymbol{3}},\boldsymbol{1}) 
952:  \oplus 10\times(\boldsymbol{1},\boldsymbol{2}) \;.
953: \end{equation}
954: 
955: 
956: \subsection{Summary of the massless spectrum}
957: 
958: Combining all matter multiplets from the untwisted and the five twisted
959: sectors we finally obtain 
960: \begin{eqnarray}
961: M &=& U + T_1 + T_2 + T_3 + T_4 + T_5 \nonumber\\
962:  &=& 3\times ({\overline{\boldsymbol{16}}}) 
963: \oplus 12\times ( \boldsymbol{3},\boldsymbol{1}) 
964: \oplus 12\times (\bar{\boldsymbol{3}},\boldsymbol{1}) 
965: \oplus 30\times (\boldsymbol{1},\boldsymbol{2})\;, 
966: \end{eqnarray}
967: plus $\SU3_c\times \SU2_\mathrm{L}$ singlets. Note that in addition to three SM generations contained
968: in the three ${\bf 16}$-plets we have only \emph{vector--like} matter.
969: This result is partly dictated by the requirement of anomaly cancellations.
970: Vector--like fields can attain large masses and decouple from
971: the low energy theory. A detailed analysis of this issue, including 
972: $\mathrm{U(1)}$ factors, will be presented in a subsequent publication.
973: 
974: 
975: \section{Intermediate GUTs}
976: 
977: 
978: So far we have made no assumption on the size of the compact dimensions.
979: These  are usually assumed to be given by the string scale, $R_i \sim 1/M_S$.
980: However, this is not necessarily the case and, furthermore, 
981: unification of the gauge couplings favours anisotropic compactifications 
982: where some of the radii are significantly larger than the others 
983: \cite{wit96,ht04}. 
984: In this case one encounters a higher--dimensional GUT at
985: an intermediate energy scale. Indeed, the Kaluza--Klein modes
986: associated with a large dimension of radius $R$  become light
987: and are excited at energy scales above $1/R \ll M_S$. 
988: At these energy scales we obtain an effective higher--dimensional field theory
989: with enhanced symmetry in the bulk.
990: 
991: 
992: In our model  there are four independent radii: two are associated with
993: the $\G2$ and $\SU3$ planes, respectively, and the other two 
994: are associated with the two independent directions in the $\SO4$-plane.
995: Any of these radii can in principle be large leading to a distinct
996: GUT model.
997: \begin{figure}[t]
998:  \centerline{\CenterObject{\includegraphics{so4Pillow.eps}}}
999: \caption{6D $\E6\times \SU3$ orbifold GUT for a large
1000:  compactification radius of the $\SO4$-plane.} 
1001:  \label{fig:SO4Pillow_T2}
1002: \end{figure}
1003: 
1004: The bulk gauge group and the amount of supersymmetry are found
1005: via a subset of the invariance conditions (\ref{inv2}).
1006: Consider a subspace ${\cal S}$  of the 6D compact space
1007: with large compactification radii. This subspace is left invariant
1008: under the action of some elements  of the orbifold space group, i.e.
1009: a subset of twists and translations ${\cal G }$. 
1010: The bulk gauge multiplet  in ${\cal S}$
1011: is a subset of the $N=4$ $\E8 \times \E8$ gauge multiplet
1012: which is invariant under the action of ${\cal G }$,
1013: i.e. a subset of conditions (\ref{inv2}) restricted to ${\cal G }$.
1014: 
1015: 
1016:   
1017: Consider first  the case with two large compact dimensions, 
1018: for instance  those associated with the $\SO4$-plane. 
1019: The $\SO4$-plane  is invariant under the $\za$ subtwist as well
1020: as translations by a lattice vector  
1021: in the $\G2$ and $\SU3$ planes. The latter
1022: do not lead to non--trivial projection conditions
1023: since there are no Wilson lines in these planes, 
1024: while the former leads to gauge symmetry and supersymmetry breaking.
1025: The light gauge states are  described by fields
1026: which are constant with respect to  $z_1$ and $z_2$. 
1027: Invariance under $\za$ requires (see Eq.(\ref{inv2}) with $\ell=2$)
1028: \begin{eqnarray}
1029: \J_{p,q}(x;z_3) &=& e^{2\pi\I\,  (p\cdot V_3 - q\cdot v_3)}
1030: \J_{p,q}\(x;z_3\)\;.
1031: \label{so4gut}
1032: \end{eqnarray}
1033: Gauge multiplets satisfy $q\cdot v_3=0$ which has two sets
1034: of solutions for $q$ corresponding to $N=2$ supersymmetry.
1035: Then the condition $p\cdot V_3=0$ breaks $\E8$
1036: to $\E6\times \SU3$. At the four fixed points of the
1037: $\SO4$-plane symmetry  is broken further to the four subgroups
1038: discussed in Sect.~3. Altogether, we obtain a 6D $\E6\times \SU3$ orbifold GUT with  the distribution of gauge symmetries in the fundamental region of the
1039: orbifold shown in Fig.~\ref{fig:SO4Pillow_T2}.
1040: Similarly, untwisted matter satisfies (\ref{so4gut}) with 
1041: $q\cdot v_3=\pm 1/3 $. We note that all
1042: three SM generations live at the origin in Fig.~\ref{fig:SO4Pillow_T2}.
1043: 
1044: 
1045: 
1046: \begin{figure}[t]
1047:  \centerline{\CenterObject{\includegraphics{su3Pillow.eps}}}
1048:  \caption{6D $\SU4\times \SU4\times \U1^2$ orbifold GUT for a large 
1049:   compactification radius of the $\SU3$-plane.}
1050:  \label{fig:SU3Pillow_T2}
1051: \end{figure}
1052: A similar analysis can be carried out for the $\SU3$-plane, 
1053: which is invariant under the $\zb$ subtwist and
1054: lattice translations in the $\G2$ and $\SO4$ planes.
1055: In this case, there are also non--trivial projection conditions
1056: due to the Wilson lines,
1057: \begin{eqnarray}
1058: \J_{p,q}(x;z_2) &=& e^{2\pi \I\,  (p\cdot V_2 - q\cdot v_2)}
1059: \J_{p,q}\(x;z_2 \),\nonumber\\
1060: \J_{p,q}(x;z_2) &=& e^{2\pi\I\, p\cdot W_2}
1061: \J_{p,q}\(x;z_2\)\;,
1062: \nonumber\\
1063: \J_{p,q}(x;z_2) &=& e^{2\pi\I\, p\cdot W_2'}
1064: \J_{p,q}\(x;z_2\)\;.
1065: \end{eqnarray}
1066: This breaks $N=4$ $\E8$ to $N=2$ $\SU4\times \SU4\times
1067: \U1^2$ in the bulk (Fig.~\ref{fig:SU3Pillow_T2}). 
1068: At the fixed points, 
1069: the symmetry is broken further by the $\za$ twist 
1070: leaving only the standard model gauge group (up to $\U1$'s).
1071: Each of the three fixed points carries one generation
1072: of the standard model matter.
1073: \begin{figure}[t]
1074:  \centerline{\CenterObject{\includegraphics{g2Pillow.eps}}}
1075:  \caption{6D $\SO8\times \SO8$
1076:  orbifold GUT for a large $\G2$-plane compactification radius.}
1077:  \label{fig:G2Pillow_T2}
1078: \end{figure}
1079: 
1080: 
1081: A different picture arises when 
1082: the $\G2$-plane compactification radius is large.
1083: The $\G2$-plane is not invariant under any of the twists,
1084: thus there is no projection condition due to twisting.
1085: The only non--trivial projection conditions are due to the Wilson
1086: lines,
1087: \begin{eqnarray}
1088: \J_{p,q}(x;z_1) &=& e^{2\pi\I\, p\cdot W_2}
1089: \J_{p,q}\(x;z_1\)\;,
1090: \nonumber\\
1091: \J_{p,q}(x;z_1) &=& e^{2\pi\I\, p\cdot W_2'}
1092: \J_{p,q}\(x;z_1\)\;.
1093: \end{eqnarray}
1094: Thus we have $N=4$ supersymmetry and the gauge group is
1095: $\SO8\times \SO8$. Three generations of the standard model are
1096: localized at the origin where the $\zc$ twist
1097: breaks the symmetry to the standard model gauge group
1098: (Fig.~\ref{fig:G2Pillow_T2}).
1099: 
1100: 
1101: 
1102: 
1103: \begin{table}[!ht]
1104: \begin{center}
1105: \begin{tabular}{|r|ccc|l|l|}
1106: \hline
1107:  & \multicolumn{3}{|c|}{plane} & 
1108: & \\
1109: dim. & $\mathrm{G}_2$ & $\SU3$ & $\SO4$ & conditions
1110: & SUSY, bulk groups\\
1111: \hline
1112: 10&
1113: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1114: & 
1115: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1116: & 
1117: \CenterObject{\includegraphics[scale=0.3]{SO4Torus.eps}}
1118: & -- & $N=4$, $\mathrm{E}_8$ \\[2mm]
1119: \hline
1120: 9&
1121: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1122: & 
1123: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1124: & 
1125: \CenterObject{\includegraphics[scale=0.3]{SO4TorusHigh.eps}}
1126: & $p\cdot W_2\in\mathbbm{Z}$ & $N=4$, $\SO{16}$ \\[2mm]
1127: 9&
1128: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1129: & 
1130: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1131: & 
1132: \CenterObject{\includegraphics[scale=0.3]{SO4TorusLong.eps}}
1133: & $p\cdot W_2'\in\mathbbm{Z}$ & $N=4$, $\SO{16}$ \\[2mm]
1134: \hline
1135: 8&
1136: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1137: \CenterObject{\Huge$\bullet$}
1138: & 
1139: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1140: & 
1141: \CenterObject{\includegraphics[scale=0.3]{SO4Torus.eps}}
1142: & -- &  $N=4$, $\mathrm{E}_8$\\[2mm]
1143: 8&
1144: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1145: & 
1146: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1147: \CenterObject{\Huge$\bullet$}
1148: & 
1149: \CenterObject{\includegraphics[scale=0.3]{SO4Torus.eps}}
1150: & -- &  $N=4$, $\mathrm{E}_8$ \\[2mm]
1151: 8&
1152: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1153: & 
1154: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1155: & 
1156: %\CenterObject{\includegraphics[scale=0.15]{SO4TorusSmall.eps}}
1157: \CenterObject{\Huge$\bullet$}
1158: &
1159: $p\cdot W_2,\, p\cdot W_2'\in\mathbbm{Z}$ 
1160: & $N=4$, $\SO8\times\SO8$ 
1161: \\[2mm]
1162: \hline
1163: 7&
1164: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1165: \CenterObject{\Huge$\bullet$}
1166: & 
1167: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1168: & 
1169: \CenterObject{\includegraphics[scale=0.3]{SO4TorusHigh.eps}}
1170: & $p\cdot W_2\in\mathbbm{Z}$ & $N=4$, $\SO{16}$ \\[2mm]
1171: 7&
1172: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1173: \CenterObject{\Huge$\bullet$}
1174: & 
1175: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1176: & 
1177: \CenterObject{\includegraphics[scale=0.3]{SO4TorusLong.eps}}
1178: & $p\cdot W_2'\in\mathbbm{Z}$ & $N=4$, $\SO{16}$ \\[2mm]
1179: 7&
1180: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1181: & 
1182: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1183: \CenterObject{\Huge$\bullet$}
1184: & 
1185: \CenterObject{\includegraphics[scale=0.3]{SO4TorusHigh.eps}}
1186: & $p\cdot W_2\in\mathbbm{Z}$ & $N=4$, $\SO{16}$ \\[2mm]
1187: 7&
1188: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1189: & 
1190: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1191: \CenterObject{\Huge$\bullet$}
1192: & 
1193: \CenterObject{\includegraphics[scale=0.3]{SO4TorusLong.eps}}
1194: & $p\cdot W_2'\in\mathbbm{Z}$ & $N=4$, $\SO{16}$ \\[2mm]
1195: \hline
1196: 6&
1197: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1198: \CenterObject{\Huge$\bullet$}
1199: & 
1200: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1201: \CenterObject{\Huge$\bullet$}
1202: & 
1203: \CenterObject{\includegraphics[scale=0.3]{SO4Torus.eps}}
1204: & $p\cdot 2V_6\in\mathbbm{Z}$ &  $N=2$, $\E6\times\SU3$\\[2mm]
1205: 6&
1206: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1207: \CenterObject{\Huge$\bullet$}
1208: & 
1209: \CenterObject{\includegraphics[scale=0.3]{SU3Torus.eps}}
1210: & 
1211: %\CenterObject{\includegraphics[scale=0.15]{SO4TorusSmall.eps}}
1212: \CenterObject{\Huge$\bullet$}
1213: & $p\cdot 3V_6,\, p\cdot W_2,\, p\cdot W_2'\in\mathbbm{Z}$ 
1214: &  $N=2$, $\SU4\times\SU4$ \\[2mm]
1215: 6&
1216: \CenterObject{\includegraphics[scale=0.3]{G2Torus.eps}}
1217: & 
1218: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1219: \CenterObject{\Huge$\bullet$}
1220: & 
1221: %\CenterObject{\includegraphics[scale=0.15]{SO4TorusSmall.eps}}
1222: \CenterObject{\Huge$\bullet$}
1223: & 
1224: $p\cdot W_2,\, p\cdot W_2'\in\mathbbm{Z}$ 
1225: & $N=4$, $\SO{8}\times\SO{8}$ \\[2mm]
1226: \hline
1227: 5&
1228: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1229: \CenterObject{\Huge$\bullet$}
1230: & 
1231: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1232: \CenterObject{\Huge$\bullet$}
1233: & 
1234: \CenterObject{\includegraphics[scale=0.3]{SO4TorusHigh.eps}}
1235: & 
1236: $p\cdot 2V_6,\,p\cdot W_2\in\mathbbm{Z}$ 
1237: & $N=2$, $\SU6\times\SU2^2$ \\[2mm]
1238: 5&
1239: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1240: \CenterObject{\Huge$\bullet$}
1241: & 
1242: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1243: \CenterObject{\Huge$\bullet$}
1244: & 
1245: \CenterObject{\includegraphics[scale=0.3]{SO4TorusLong.eps}}
1246: & 
1247: $p\cdot 2V_6,\, p\cdot W_2'\in\mathbbm{Z}$ 
1248: & $N=2$, $\SU6\times\SU2^2$ \\[2mm]
1249: \hline
1250: 4&
1251: %\CenterObject{\includegraphics[scale=0.15]{G2TorusSmall.eps}}
1252: \CenterObject{\Huge$\bullet$}
1253: & 
1254: %\CenterObject{\includegraphics[scale=0.15]{SU3TorusSmall.eps}}
1255: \CenterObject{\Huge$\bullet$}
1256: & 
1257: %\CenterObject{\includegraphics[scale=0.15]{SO4TorusSmall.eps}}
1258: \CenterObject{\Huge$\bullet$}
1259: & 
1260: $p\cdot V_6,\, p\cdot W_2,\, p\cdot W_2'\in\mathbbm{Z}$ 
1261: & 
1262: $\hspace*{-0.2cm}\begin{array}{l}
1263:  N=1,~\SU3\times\SU2\\
1264: \sim G_\mathrm{SM}\end{array}$ \\[2mm]
1265: \hline
1266: \end{tabular}
1267: \end{center}
1268: \caption{Survey of the various orbifold GUTs in different
1269: dimensions. The bullet indicates small compact dimensions. 
1270: $\U1$ factors are
1271: omitted. }
1272: \end{table}
1273: 
1274: 
1275: In principle, there is nothing special about six dimensions, and the same
1276: analysis can be carried out for five, seven, eight, nine and ten dimensions.
1277: The results are summarized in  Table 1. A variety of orbifold GUTs appears,
1278: with gauge groups ranging from $\E8$ to $\SU4\times \SU4\times \U1^2$.
1279: These GUTs represent different points in moduli space. Values of the
1280: corresponding T-moduli determine the compactification radii.
1281: 
1282: It is remarkable that all these GUT models in various dimensions 
1283: are consistent with gauge coupling 
1284: unification\footnote{Here we only consider  running of the
1285: gauge couplings in the bulk. An analysis of localized contributions
1286: will be presented elsewhere.}. 
1287: This is true  even though in some cases $\SU3_c$ and $\SU2_\mathrm{L}$ 
1288: are contained in different simple factors, i.e. 
1289: $\SO8\times \SO8$ or $\SU4 \times \SU4$.
1290: The beta functions for both $\SO8$'s or $\SU4$'s are the same.
1291: In  the former case this is enforced by $N=4$ supersymmetry,
1292: while in the latter case the two $\SU4$'s have identical 
1293: bulk matter content, $2\times(\boldsymbol{6,1})+ 16\times (\boldsymbol{4,1})$
1294: $N=2$ multiplets. In all other cases $\SU3_c\times \SU2_\mathrm{L}$ 
1295: is contained in a
1296: simple factor such that unification of the gauge couplings in the bulk
1297: is automatic.
1298: 
1299: 
1300: 
1301: On the other hand, different  GUTs 
1302: differ in the value of the gauge coupling at the unification scale, 
1303: since the power law running depends on the number of extra dimensions and
1304: the bulk gauge group. 
1305: Realization of some of the GUTs may  require nonperturbative
1306: string coupling \cite{wit96,ht04}.
1307: Different models also lead to  different Yukawa couplings
1308: which depend on the compactification radii.
1309: These phenomenological aspects are similar to those of orbifold GUTs 
1310: \cite{abc03} and will be discussed elsewhere.
1311: 
1312: \noindent
1313: \section{Summary}
1314: 
1315: We have presented a $\zc$ heterotic orbifold
1316: model leading to the standard model spectrum and
1317: additional vector--like matter in four dimensions.
1318: Standard model generations appear as $\boldsymbol{16}$-plets
1319: of $\SO{10}$. They are localized at
1320: different fixed points in the compact space with local
1321: $\SO{10} \times \SU3 \times \U1$ symmetry.
1322: 
1323: 
1324: If some of the compactification radii are significantly
1325: larger than the others, we recover various higher--dimensional GUTs
1326: as an intermediate step at energies below $M_S$.
1327: These GUTs have the same 4D massless spectrum and the same
1328: ultraviolet completion, but represent different points in moduli space.
1329: All of them are consistent with gauge coupling unification, yet differ 
1330: in other phenomenological aspects.  \\
1331: 
1332:  
1333: \noindent
1334: {\bf Acknowledgements.} 
1335: We would like to thank S.~F\"orste, A.~Hebecker, T. Kobayashi,  
1336: H.-P.~Nilles, M.~Trapletti, P.~K.~S.~Vaudrevange and A.~Wingerter
1337: for discussions.
1338: One of us (M.R.) would like to thank the Aspen Center for Physics for support.
1339: This work was partially supported by the EU 6th Framework Program
1340: MRTN-CT-2004-503369 ``Quest for Unification'' and MRTN-CT-2004-005104
1341: ``ForcesUniverse''.
1342: 
1343: %\clearpage
1344: 
1345: \begin{thebibliography}{99}
1346: 
1347: \bibitem{gg74}
1348: H.~Georgi, S.~L.~Glashow, \prl{32}{1974}{438}.
1349: %%CITATION = RMPHA,46,391;%%
1350: 
1351: \bibitem{gfm75}
1352: H.~Georgi, Particles and Fields 1974, ed. C.~E.~Carlson (AIP, NY, 1975) 
1353: p. 575;\\
1354: H.~Fritzsch, P.~Minkowski, \ap{93}{1975}{193}.
1355: %%CITATION = APNYA,93,193;%%
1356: 
1357: \bibitem{ps74}
1358: J.~C.~Pati, A.~Salam, \pr{10}{1974}{275}.
1359: %%CITATION = PHRVA,D10,275;%%
1360: 
1361: \bibitem{bar82}
1362: S.~M.~Barr, \pl{112}{1982}{219}.
1363: %%CITATION = PHLTA,B112,219;%%
1364: 
1365: \bibitem{oli81}
1366: D.~I.~Olive, in: Unification of the fundamental particle interactions II
1367: (Erice, 1981) eds. J.~Ellis and S.~Ferrara (Plenum Press, New York, 1983).
1368: 
1369: \bibitem{ghx85}
1370: D.~J.~Gross, J.~A.~Harvey, E.~J.~Martinec and R.~Rohm,
1371: %``The Heterotic String,''
1372: Phys.\ Rev.\ Lett.\  {\bf 54}, 502 (1985);
1373: %%CITATION = PRLTA,54,502;%%
1374: \np{256}{1985}{253}.
1375: %%CITATION = NUPHA,B256,253;%%
1376: 
1377: \bibitem{chx85}
1378: P.~Candelas, G.~T.~Horowitz, A.~Strominger and E.~Witten, \np{258}{1985}{46}.
1379: %%CITATION = NUPHA,B258,46;%%
1380: 
1381: \bibitem{dhx85}
1382: L.~J.~Dixon, J.~A.~Harvey, C.~Vafa, E.~Witten, \np{261}{1985}{678}; 
1383: {\it ibid.} \np{274}{1986}{285}.
1384: %%CITATION = NUPHA,B261,678;%%
1385: %%CITATION = NUPHA,B274,285;%%
1386: 
1387: \bibitem{inx87}
1388: L.~E.~Ib\'a\~nez, H.~P.~Nilles, F.~Quevedo, \pl{187}{1987}{25};
1389: %%CITATION = PHLTA,B187,25;%%
1390: \\
1391: L.~E.~Ib\'a\~nez, J.~E.~Kim, H.~P.~Nilles, F.~Quevedo, \pl{191}{1987}{282}.
1392: %%CITATION = PHLTA,B191,282;%%
1393: 
1394: \bibitem{kaw00}
1395: Y.~Kawamura, \ptp{103}{2000}{613}; {\it ibid.} {\bf 105} (2001) 999;
1396: %%CITATION = HEP-PH 9902423;%%
1397: %%CITATION = HEP-PH 0012352;%%
1398: \\
1399: G.~Altarelli, F.~Feruglio, \pl{511}{2001}{257};
1400: %%CITATION = HEP-PH 0102301;%%
1401: \\
1402: L.~J.~Hall, Y.~Nomura, \pr{64}{2001}{055003};
1403: %%CITATION = HEP-PH 0103125;%%
1404: \\
1405: A.~Hebecker, J.~March-Russell, \np{613}{2001}{3}. 
1406: %%CITATION = HEP-PH 0106166;%%
1407: 
1408: \bibitem{abc01}
1409: T.~Asaka, W.~Buchm\"uller, L.~Covi, \pl{523}{2001}{199};
1410: %%CITATION = HEP-PH 0108021;%%
1411: \\
1412: L.~J.~Hall, Y.~Nomura, T.~Okui, D.~R.~Smith, \pr{65}{2002}{035008}.
1413: %%CITATION = HEP-PH 0108071;%%
1414: 
1415: \bibitem{krz041}
1416: T.~Kobayashi, S.~Raby, R.-J.~Zhang, \pl{593}{2004}{262}.
1417: %%CITATION = HEP-PH 0403065;%%
1418: 
1419: \bibitem{fnx04}
1420: S.~F\"orste, H.~P.~Nilles, P.~Vaudrevange, A.~Wingerter, 
1421: \pr{70}{2004}{106008}.
1422: %%CITATION = HEP-TH 0406208;%%
1423: 
1424: \bibitem{krz042}
1425: T.~Kobayashi, S.~Raby, R.-J.~Zhang, hep-ph/0409098.
1426: %%CITATION = HEP-PH 0409098;%%
1427: 
1428: 
1429: \bibitem{Breit:1985ud}
1430: J.~D.~Breit, B.~A.~Ovrut, G.~C.~Segre,
1431: %``E(6) Symmetry Breaking In The Superstring Theory,''
1432: \pl{158}{1985}{33}.
1433: %%CITATION = PHLTA,B158,33;%%
1434: 
1435: \bibitem{kkx90}
1436: Y.~Katsuki, Y.~Kawamura, T.~Kobayashi, N.~Ohtsubo, Y.~Ono, K.~Tanioka,
1437: \np{341}{1990}{611}.
1438: %%CITATION = NUPHA,B341,611;%%
1439: 
1440: %\cite{Choi:2003pq}
1441: \bibitem{Choi:2003pq}
1442: K.~S.~Choi, K.~Hwang, J.~E.~Kim,
1443: %``Dynkin diagram strategy for orbifolding with Wilson lines,''
1444: \np{662}{2003}{476}.
1445: %%CITATION = HEP-TH 0304243;%%
1446: 
1447: \bibitem{hmr02}
1448: A.~Hebecker, J.~March-Russell,
1449: %``The structure of GUT breaking by orbifolding,''
1450: \np{625}{2002}{128}.
1451: %%CITATION = HEP-PH 0107039;%%
1452: 
1453: 
1454: \bibitem{hr03}
1455: A.~Hebecker, M.~Ratz, \np{670}{2003}{3}.
1456: %%CITATION = HEP-PH 0306049;%%
1457: 
1458: \bibitem{imx88}
1459: L.~E.~Ib\'a\~nez, J.~Mas, H.~P.~Nilles, F.~Quevedo, \np{301}{1988}{157}.
1460: 
1461: \bibitem{bl99}
1462: D.~Bailin, A.~Love,
1463: %``Orbifold compactifications of string theory,''
1464: Phys.\ Rept.\  {\bf 315} (1999) 285.
1465: %%CITATION = PRPLC,315,285;%%
1466: 
1467: \bibitem{Kobayashi:1990mc}
1468: T.~Kobayashi, N.~Ohtsubo,
1469: \pl{245}{1990}{441}.
1470: %%CITATION = PHLTA,B245,441;%%
1471: 
1472: \bibitem{wit96}
1473: E.~Witten, \np{471}{1996}{135}.
1474: %%CITATION = HEP-TH 9602070;%%
1475: 
1476: \bibitem{ht04}
1477: A.~Hebecker, M.~Trapletti,
1478: hep-th/0411131.
1479: %%CITATION = HEP-TH 0411131;%%
1480: 
1481: \bibitem{abc03}
1482: T.~Asaka, W.~Buchm\"uller, L.~Covi, \pl{563}{2003}{209}.
1483: %%CITATION = HEP-PH 0304142;%%
1484: 
1485: 
1486: 
1487: 
1488: 
1489: 
1490: 
1491: \end{thebibliography}
1492: 
1493: 
1494: 
1495: 
1496: %\input{branesection}
1497: %\bibliography{Orbifold}
1498: %\addcontentsline{toc}{section}{Bibliography}
1499: %\bibliographystyle{OurBibTeX}
1500: 
1501: \end{document}
1502: 
1503: 
1504: 
1505: 
1506: 
1507: