hep-th0208095/sw.tex
1: \documentclass[12pt]{article}
2: %\usepackage{drftcite}
3: %
4: \usepackage{amssymb}
5: \usepackage{amsmath}
6: %\usepackage{latexsym}
7: %\usepackage{showkeys}
8: \usepackage{cite}
9: \usepackage{epsf,graphicx}
10: 
11: \textwidth 6.2in
12: \oddsidemargin 0in
13: \evensidemargin 0in
14: \textheight 8.6in
15: \topmargin -0.5in
16: 
17: %%%%%%% macros
18: \newcommand{\PSbox}[3]{\mbox{\rule{0in}{#3}\special{psfile=#1}\hspace{#2}}}
19: \newcommand{\sfrac}[2]{{\textstyle\frac{#1}{#2}}}
20: \newcommand{\tomega}{{\tilde \omega}}
21: \renewcommand{\theequation}{\thesection.\arabic{equation}}
22: %\renewcommand{\thefootnote}{\arabic{footnote}}
23: \newcommand\ZZ{\hbox{\zfont Z\kern-.4emZ}}
24: \font\zfont = cmss10 %scaled \magstep1
25: \newcommand{\Tt}{{\tilde t}}
26: \newcommand{\Tr}{{\tilde r}}
27: \newcommand{\hA}{{\hat A}}
28: \newcommand{\hB}{{\hat B}}
29: \newcommand{\hC}{{\hat C}}
30: \newcommand{\hr}{{\hat r}}
31: 
32: \newcommand{\drawsquare}[2]{\hbox{%   
33: \rule{#2pt}{#1pt}\hskip-#2pt%  left vertical   
34: \rule{#1pt}{#2pt}\hskip-#1pt%  lower horizontal   
35: \rule[#1pt]{#1pt}{#2pt}}\rule[#1pt]{#2pt}{#2pt}\hskip-#2pt%  upper horizontal  
36: \rule{#2pt}{#1pt}}% right vertical   
37: 
38: \newcommand{\Yfund}{\raisebox{-.5pt}{\drawsquare{6.5}{0.4}}}%  fund   
39: 
40: \renewcommand{\sfrac}[2]{{\textstyle\frac{#1}{#2}}}
41: \def\tv#1{\vrule height #1pt depth 5pt width 0pt}
42: 
43: 
44: \def\GNew{\mathcal{G}_N}
45: \def\sinn{\mbox{sinn}}
46: 
47: 
48: 
49: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
50: \begin{document}
51: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
52: 
53: \begin{titlepage}
54: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
55: \begin{flushright}
56: {\tt hep-th/0208095} \\
57: \end{flushright}
58: 
59: \vskip.5cm
60: \begin{center}
61: {\huge{\bf Seiberg-Witten Description of the Deconstructed 6D (0,2) 
62: Theory}}
63: \vskip.2cm
64: \end{center}
65: \vskip0.2cm
66: 
67: \begin{center}
68: {\sc Csaba Cs\'aki}$^{a}$,
69: {\sc Joshua Erlich}$^{b}$
70: {\sc and John Terning}$^{b}$ \\
71: 
72: \end{center}
73: \vskip 10pt
74: 
75: \begin{center}
76: $^{a}$ {\it Newman Laboratory of Elementary Particle Physics, Cornell University, Ithaca, 
77: NY 14853, USA } \\
78: \vspace*{0.1cm}
79: $^{b}$ {\it Theory Division T--8,
80: Los Alamos National Laboratory, Los Alamos, NM 87545, USA} \\
81: \vspace*{0.1cm}
82: {\tt  csaki@mail.lns.cornell.edu, erlich@lanl.gov, terning@lanl.gov}
83: \end{center}
84: 
85: \vglue 0.3truecm
86: 
87: \begin{abstract}
88: \vskip 3pt \noindent 
89: It has recently been suggested that, in a large $N$ limit, a
90: particular four dimensional gauge theory is indistinguishable from the
91: six dimensional CFT with (0,2) supersymmetry compactified on a torus.
92: We give further evidence for this correspondence by studying the
93: Seiberg-Witten curve for the ``deconstructed'' theory and
94: demonstrating that along the reduced Coulomb branch of moduli space (on the 
95: intersection of the Higgs and
96: Coulomb branches) it describes the low energy physics on a stack
97: of M5-branes on a torus, which is the (0,2) theory on a torus
98: as claimed.  The M-theory construction helps to clarify the enhancement
99: of supersymmetry in the deconstructed theory at low energies, and 
100: demonstrates its stability to radiative and instanton corrections. 
101: We demonstrate the role of the theta vacuum in the deconstructed theory.  
102: We point out that by varying the theta
103: parameters and gauge couplings in the deconstructed theory, 
104: the complex structure
105: of the torus can be chosen arbitrarily, and the torus is not
106: metrically $S^1\times S^1$ in general.
107: 
108: \end{abstract}
109: 
110: 
111: 
112: \end{titlepage}
113: 
114: \newpage
115: 
116: %\renewcommand{\thefootnote}{(\arabic{footnote})}
117: 
118: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
119: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
120: \section{Introduction}
121: \label{sec:intro}
122: \setcounter{equation}{0}
123: \setcounter{footnote}{0}
124: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
125: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
126: 
127: It has recently been demonstrated that certain four dimensional gauge theories
128: can reproduce the physics of higher dimensional gauge theories, typically up
129: to some energy scale  
130: \cite{deconstruction}.  The four dimensional theory is referred to as 
131: the ``deconstructed,'' or ``latticized,'' theory.  
132: Gauge theories in more than four dimensions are
133: typically not renormalizable, so the deconstructed theory provides an
134: ultraviolet completion for the higher dimensional theory.
135: The basic idea is to begin with a four dimensional 
136: action which, after certain elementary or composite
137: fields get vacuum expectation values (VEVs), is the action for the higher
138: dimensional theory latticized in all but four dimensions, plus corrections
139: which become small if the lattice spacing is relatively small.  The lattice
140: spacing can generally not be taken to zero in a controlled way
141: because this requires the infinite coupling limit of the gauge theory.  
142: Deconstruction of extra dimensions has proved useful in model 
143: building 
144: \cite{CEGK,0-2,BFLP,KKU,ACG,modelbuilding,GUT,wittengut,witek,littlehiggs}, 
145: and  often the number of lattice sites can be taken as
146: small as two while maintaining the relevant features of the extra 
147: dimensions.  
148: 
149: Deconstruction of supersymmetric (SUSY) models is especially
150: interesting \cite{CEGK,0-2,BFLP,KKU}. The deconstructed SUSY theory
151: typically has less supersymmetry at high energies than at the low
152: energies for which it describes the higher dimensional model.  This unusual
153: behavior is
154: due to an accidental symmetry on the chosen branch of moduli space of
155: the theory, and it must be checked that there are no radiative or
156: nonperturbative corrections which would violate the enhancement of
157: SUSY.  In the case where the 5D SUSY gauge theory with 8 supercharges
158: is deconstructed to a theory with ${\cal N}$=1 SUSY in 4D (4
159: supercharges) \cite{CEGK}, stability of the spectrum and other holomorphic data
160: follows from a
161: non-anomalous U(1)$_R$ symmetry which is preserved, or alternatively
162: by the ${\cal N}$=1 nonrenormalization theorem which prevents the
163: generation of ${\cal N}$=2
164: SUSY breaking terms in the superpotential.  Here we will
165: study a six dimensional theory with 16 supercharges, deconstructed to
166: a theory with 8 supercharges.  In this case we will explicitly
167: understand the stability of SUSY enhancement from the Seiberg-Witten
168: description of the theory.  This model was studied in \cite{0-2}, and
169: we will generalize the model to the case with arbitrary theta vacuum
170: in the deconstructed theory.  By varying the theta vacuum we
171: deconstruct the 6D theory with (0,2) SUSY compactified on a torus with
172: arbitrary complex structure.
173: 
174: The model is a 4D SU$(M)^N$ gauge theory with ${\cal N}$=2 SUSY and $N$
175: bifundamental hypermultiplets $Q_i$ as follows: \begin{equation}
176: \label{fieldcontent}
177: \begin{array}{c|cccccc}
178:  &SU(M)_1&SU(M)_2&SU(M)_3&\cdots&SU(M)_{N-1}&SU(M)_N \\ \hline
179: Q_1&\Yfund& \overline{\Yfund}&1&\cdots&\cdots&1 \\
180: Q_2&1&\Yfund& \overline{\Yfund}&\cdots&\cdots&1 \\
181:   &\vdots&\vdots&\vdots&\ddots&\ddots&\vdots   \\
182: Q_{N-1}&1&\cdots&\cdots&\cdots&\Yfund&\overline{\Yfund} \\ 
183: Q_N&\overline{\Yfund}&1&\cdots&\cdots&1&\Yfund
184: \end{array}
185: \end{equation}
186: $Q_i$ represents a vectorlike pair of ${\cal N}$=1 
187: chiral multiplets in (\ref{fieldcontent}).
188: The SU$(M)$ gauge couplings $g$ are all taken to be equal, and
189: we will usually assume that the theta parameters for
190: individual SU$(M)$ gauge group factors are equal.  This theory has a
191: Higgs branch, for which the scalars in the $Q_i$ hypermultiplets get
192: VEVs, and a Coulomb branch, for which the adjoint scalars in the
193: ${\cal N}$=2 vector multiplets get VEVs and the gauge group is
194: generically broken to U$(1)^{N(M-1)}$.  If the $Q_i$ all have equal
195: VEVs $v{\mathbf 1}$ (and the adjoints do not have VEVs), then the
196: gauge group is broken to a diagonal SU$(M)_D$.  At energies much
197: smaller than $gv/N$ the theory is 4D ${\cal N}$=4 SU$(M)$ gauge
198: theory.  If the theta parameters vanish and $N\gg 1$ with $g^2/N$ and
199: $gv/N$ held fixed, then it was argued in \cite{0-2} that the low lying
200: dyonic spectrum is the KK spectrum of 6D (0,2)$_M$ superconformal
201: field theory on a torus of radii $N/(2\pi gv)$ and $g/(8\pi^2 v)$.
202: The correspondence was made precise by starting with a Type IIB string
203: theory description of the gauge theory and showing that the
204: corresponding M theory description on a baryonic Higgs branch ({\em
205: i.e.} when the ``baryons'' $Q_i^M$ have expectation values, 
206: in analogy with the baryonic branch in SUSY QCD \cite{APS}) is that of a
207: stack of $M$ M5-branes wrapped on the torus, with the 11D Planck length
208: $l_P$ taken to zero.  This is the (0,2)$_M$ theory  \cite{Schwarz}
209: compactified on a torus.  In the case $M\rightarrow\infty$ the
210: deconstructed theory is a holographic description of Type IIB string
211: theory on a pp-wave background \cite{MRV}.
212: 
213: We will study the correspondence between the (0,2) theory and its
214: deconstructed version by starting with the Type IIA description of
215: the deconstructed theory, and raising
216: it to M-theory before moving along the baryonic Higgs branch.   
217: This allows us to easily determine the complex and metric
218: structure of the torus in terms of the parameters of the deconstructed theory.
219: The M-theory description involves an M5-brane wrapped on the Seiberg-Witten
220: curve which describes the dynamics of the gauge theory on the Coulomb branch.
221: The Seiberg-Witten description of an ${\cal N}$=1 version of this
222: ${\cal N}$=2 theory was studied in \cite{CEKPSS}.
223: The Seiberg-Witten curve in the ${\cal N}$=2 case studied here 
224: will be useful despite the fact that the relevant branch of moduli space for 
225: deconstruction is the Higgs branch, not the Coulomb branch. 
226: 
227: There is a baryonic reduced Coulomb branch in which both the $Q_i$ and
228: adjoints have VEVs.
229: The gauge group in the low energy theory 
230: along this branch is U(1)$^{M-1}$.
231: The Coulomb and reduced Coulomb branches meet when the
232: bifundamental VEV $v$ vanishes and the adjoint scalar VEVs among the
233: $N$ gauge group factors are equal.  
234: Along the reduced Coulomb branch, 
235: the Coulomb and Higgs sectors have a product structure.  In other words, 
236: $Q_i$ VEVs do not affect the low energy behavior of the adjoint fields, and
237: vice versa.
238: This follows by studying constraints on the K\"ahler potential 
239: from ${\cal N}$=2 supersymmetry \cite{APS}.  
240: 
241: The Seiberg-Witten curve becomes singular and factorizes on the intersection
242: of the Higgs and Coulomb branches \cite{GP,ENR}.  One factor
243: precisely describes the complex structure of the 
244: torus on which the M5-branes are wrapped, which
245: allows us to easily identify the torus in terms of the gauge theory 
246: parameters. By the decoupling of the Higgs and Coulomb branches, the complex
247: structure of the torus does not depend on the $Q_i$ VEVs.  This is true
248: even along the root of the reduced Coulomb branch,
249: when the adjoint VEVs vanish and the low energy theory has an
250: SU$(M)$ gauge symmetry.  This is the domain of moduli space 
251: which describes the
252: (0,2)$_M$ theory.  Hence, the Seiberg-Witten curve contains information
253: about the (0,2)$_M$ theory on the torus.  The low energy dynamics of
254: the (0,2) theory on a torus, which is 4D ${\cal N}$=4 SU$(M)$ gauge theory, 
255: is recovered exactly without corrections from the additional moduli involving
256: the $Q_i$ hypermultiplet VEVs.
257: The factorization of the Seiberg-Witten curve is easy to understand from the
258: M-theory 5-brane description of the theory.  It 
259: also demonstrates that the enhancement of SUSY at low energies is stable to
260: radiative and instanton corrections.  
261: A more detailed analysis is the purpose of this paper.
262: 
263: 
264: %%%%%%%%%%%%
265: \section{Type IIA and M-theory construction of 
266: the deconstructed (0,2) theory}
267: \label{sec:SW}
268: \setcounter{equation}{0}
269: \setcounter{footnote}{0}
270: %%%%%%%%%%%
271: Witten demonstrated that the low energy dynamics of a class of ${\cal
272: N}$=2 supersymmetric gauge theories, which arise as the low energy theories
273: on configurations
274: of NS5-branes and D4-branes of Type IIA string theory, can be understood
275: by lifting the corresponding brane configurations to M-theory
276: \cite{Witten}.  Intersections
277: of D-branes and NS5-branes are generally smoothed out into a single M5-brane,
278: as in Figure~\ref{fig:smooth}.
279: \begin{figure}[t]
280: \epsfxsize=1.5in
281: \centerline{\epsfbox{sw1.eps}}
282: \caption{The intersection of a Type IIA D4-brane and NS5-brane is 
283: generically smoothed out into a single M5-brane in M-theory.}
284: \label{fig:smooth} \end{figure}
285: In this interpretation, the D4-brane corresponds to the M5-brane wrapped on
286: the M-theory circle of radius $R_{10}$, 
287: and the NS5-brane corresponds to the M5-brane at a point
288: on the M-theory circle.  The algebraic curve which describes the geometry of
289: the M5-brane was shown in \cite{Witten} to be precisely the Seiberg-Witten
290: curve \cite{SW}
291: from which the holomorphic gauge coupling $\tau=4\pi i/g^2 +\theta/2\pi$
292: and K\"ahler potential are 
293: determined along the Coulomb branch of the corresponding gauge theory.
294: %${\cal N}$=2 theory which lives
295: %on the brane configuration at low energies.
296: 
297: The 4D theory proposed in \cite{0-2} as a deconstructed version of the
298: six dimensional (0,2) theory is derived from a Type IIA brane
299: configuration as in Figure~\ref{fig:branes}a.  
300: \begin{figure}[t]
301: \epsfxsize=4.5in
302: \centerline{\epsfbox{sw2.eps}}
303: \caption{Type IIA brane configurations for theories studied here. (a)
304: Deconstructed
305: (0,2) theory. There are $N$ NS5-branes and $M$ D4-branes between
306: neighboring NS5 branes. (b) ${\cal N}$=2
307: SU$(M)\times$ SU$(M)$ gauge theory with bifundamental hypermultiplet. There
308: are three NS5 branes and $M$ D4-branes between neighboring NS5-branes.}
309: \label{fig:branes}\end{figure}
310: There are $N$
311: NS5-branes which live in the $(x_0,\dots,x_3;x_4,x_5)$ directions and
312: $M$ D4-branes stretched along the $(x_0,\dots,x_3;x_6)$ directions
313: between neighboring pairs of NS5-branes.  The $x_6$ direction is
314: compactified on a circle of radius $R_6$, which will be identified by the
315: KK spectrum.  All of the branes are at
316: $x_7=x_8=x_9=0$ to begin with.  The Type IIA description is T-dual to the Type
317: IIB $A_{N-1}$ quiver theory described, for example, in \cite{DM}.
318: The gauge theory that lives on the brane configuration described above, at 
319: energies below the string scale $l_s^{-1}$, is
320: an ${\cal N}$=2 SU$(M)^N$ gauge theory with bifundamental hypermultiplets 
321: $Q_i$ as given in (\ref{fieldcontent}).
322: This is the theory described in the Introduction.  In fact, there is an
323: additional U(1) in the theory, but nothing is charged under it so it
324: decouples from the theory we are interested in. The gauge coupling of the 
325: $i^{th}$ group factor is given by,
326: \begin{equation}
327: \frac{4 \pi}{g_i^2}=\frac{x_6^i-x_6^{i-1}}{g_s l_s},
328: \end{equation}
329: where $g_s$ is the string coupling, and $l_s$ is the string length.
330: The branch of moduli
331: space relevant to the deconstructed (0,2) theory is along the Higgs
332: branch with all the $Q_i$ VEVs equal and proportional to the identity,
333: $Q_i=v\mathbf{1}$.  On this branch the gauge group is broken to a
334: diagonal SU$(M)_D$ with a massless adjoint hypermultiplet.  The
335: adjoint scalar in the SU$(M)_D$ vector multiplet can still get a VEV
336: in the Cartan subalgebra of SU$(M)_D$,
337: which would generically break the gauge group further to U(1)$^{M-1}$.
338: If the adjoint gets a generic
339: VEV this is a reduced Coulomb branch, an analog of the baryonic branch
340: in \cite{APS}. The positions of the
341: D4-branes in the $z=x_4+ix_5$-direction correspond to
342: the VEVs of the adjoint scalars in the SU$(M)^N$ vector multiplet (up
343: to instanton corrections).  If the adjoint VEVs are equal for all of
344: the SU$(M)$ gauge group factors, then the D4-branes wrap the circle
345: and decouple from the NS5-branes, so that the NS5-branes can be
346: removed while remaining on the vacuum manifold.  (This will be made explicit
347: in the next section.)  This is the
348: intersection of the Coulomb and reduced Coulomb branches.  The
349: bifundamental hypermultiplets correspond to strings which cross the
350: NS5-branes, and they obtain VEVs when the NS5-branes are removed from
351: the circle in the $x_7,\, x_8, \,x_9$ directions.  When all of the
352: NS5-branes are removed from the D4-brane circle, the gauge theory on
353: the circle is generically broken to U(1)$^{M-1}$.  This is the reduced Coulomb
354: branch discussed earlier. 
355: 
356: The relevant limit of the deconstructed theory is 
357: $l_s\to 0$ (in order to decouple the string modes so that the brane 
358: dynamics is described by the field theory ), $N\to \infty$,
359: $g\to \infty$, $v\to \infty$, $g_s= g/(8\pi^2 v l_s)\to \infty$ such that 
360: $N/gv={\rm const}$, $g_s l_s={\rm const}$. These limits imply that the theory is 
361: better described within M-theory compactified on a circle $R_{10}= g_s l_s,$ 
362: which is held fixed in the deconstruction limit.
363: When lifted to M-theory the brane
364: configuration is generically described by a single M5-brane wrapped on the
365: Seiberg-Witten curve.  The nontrivial geometry of the M5-brane is
366: confined to the directions $x_4,x_5,x_6$ and the M-theory direction
367: $x_{10}$.  The effective four-dimensional low energy theory lives in
368: the directions $x_0,\dots,x_3$.
369: The D4-branes become M5-branes which are
370: wrapped around both the M-theory circle in the $x_{10}$ direction and
371: the circle in the $x_6$-direction.  For small $l_s$ and constant $R_{10}$, 
372: the 11D Planck length $l_P^3=l_s^2 R_{10}$ is small, and
373: the theory which lives on this
374: brane configuration is the 6D (0,2) theory wrapped on a
375: torus up to energies which probe the NS5-branes.  We will discuss the
376: relevant energy scales in more detail later.
377: At energies smaller than the inverse size of the torus, the theory
378: is simply 4D ${\cal N}$=4 Yang-Mills theory.  
379: This demonstration was another approach to the
380: same M5-brane configuration described in \cite{0-2}.  But, as we will see
381: by studying the Seiberg-Witten curve for this theory, the choice of
382: theta vacuum of the deconstructed theory is reflected in the complex
383: structure of the manifold on which the M5-brane is wrapped.
384: %, which is in general metrically not a product $S^1\times S^1$.
385: 
386: %%%%%%%%%%%%
387: \section{Factorization of the Seiberg-Witten curve and enhancement of supersymmetry}
388: \label{sec:factorization}
389: \setcounter{equation}{0}
390: \setcounter{footnote}{0}
391: %%%%%%%%%%%
392: 
393: In this section we will demonstrate the factorization of the Seiberg-Witten curve
394: on the reduced Coulomb branch, and thus the enhancement of supersymmetry.
395: To begin we will avoid the additional complications which arise from
396: putting the $x_6$ direction on a circle, and first demonstrate in more
397: detail the decoupling of the Coulomb and Higgs branches in the
398: Seiberg-Witten curve for the following ${\cal N}$=2 theory with hypermultiplet 
399: $Q$:
400: \[
401: \begin{array}{c|cc}
402: &SU(M)_1&SU(M)_2 \\ 
403: \hline Q&\Yfund& \overline{\Yfund}
404: \end{array} \]
405: Recall that the hypermultiplet is vectorlike, so this theory is anomaly
406: free.  It is described by the brane configuration shown in
407: Figure~\ref{fig:branes}b.  Note that this theory differs from that
408: studied in \cite{IS,CEFS} in that the latter had a vanishing
409: superpotential, whereas the ${\cal N}$=2 theory studied here has
410: superpotential, \begin{equation}
411: W=Q_A^{\ \alpha}\,\phi_\alpha^{\ \beta}\,\widetilde Q_\beta^{\ A}-\widetilde
412: Q_\alpha ^{\ A}\,\varphi_A^{\ B}\,Q_B^{\ \alpha}+\lambda\,
413: \phi_\alpha^{\ \alpha}+ \mu\,\varphi_A^{\ A}, \label{eq:W}
414: \end{equation}
415: where $Q$ and $\widetilde Q$ are the two ${\cal N}$=1
416: chiral multiplets in the bifundamental
417: hypermultiplet, and $\phi$ and $\varphi$ are the adjoint chiral multiplets 
418: of the two
419: SU$(M)$ gauge groups.  Greek and Roman indices run from $1$ to $M$ and
420: refer to the two gauge group factors. 
421: The Lagrange multipliers $\lambda$ and $\mu$ enforce
422: the tracelessness of the adjoint fields.  Although the superpotential
423: was absent in \cite{CEFS}, their analysis of the $D$-flatness constraints
424: on $Q$ and $\widetilde Q$ is unchanged as long as the adjoints $\phi$ and
425: $\varphi$ do not get VEVs.  
426: It was found there that the general solution to the $D$-flatness
427: constraints was that $Q$ and $\widetilde Q$ take the form, \begin{equation}
428: Q=\left(\begin{array}{ccc}
429: q_1&& \\
430: &\ddots& \\
431: &&q_N \end{array}\right),\ \ \ \ \widetilde Q=\left(\begin{array}{ccc}
432: \sqrt{q_1^2+c}&& \\
433: &\ddots& \\
434: &&\sqrt{q_N^2+c} \end{array}\right)\,C\,e^{i\beta},\end{equation}
435: where $C$ is a diagonal SU$(M)$ matrix.\footnote{A complete analysis of
436: the moduli space of a more general class of theories which includes this one
437: can be found in \cite{GP}.}
438: 
439: The $F$-flatness constraints can be read off of the superpotential
440: (\ref{eq:W}), namely
441: \begin{eqnarray}
442: \lambda\,\delta_\beta^{\ \alpha}+\widetilde Q_\beta^{\ A}\,Q_A^{\ \alpha}  = 0 \\
443: Q_A^{\ \alpha}\,\phi_\alpha^{\ \beta}-\varphi_A^{\ B}\,Q_B^{\ \beta} =0
444: \end{eqnarray}
445: and two similar equations of motion with respect to
446: $\varphi$ and $Q$.  Note that generically the bifundamentals $Q$ 
447: and $\widetilde Q$
448: cannot get VEVs if the adjoints $\phi$ and
449: $\varphi$ do have VEVs, but if $\phi$
450: and $\varphi$ have equal nonvanishing VEVs in the Cartan subalgebra
451: of the corresponding SU$(M)$, then $Q$ and $\widetilde Q$ can get VEVs
452: proportional to the identity.  In particular, we can choose 
453: $Q=\widetilde Q=v\mathbf{1}$.  This is the reduced Coulomb branch
454: discussed earlier.
455: 
456: We can easily recover this behavior from the Seiberg-Witten curve for this
457: theory.  The Seiberg-Witten curve and
458: one-form determine the holomorphic gauge coupling function and
459: K\"ahler potential on the Coulomb branch as a function of the Coulomb branch
460: moduli of the  theory, namely the
461: VEVs of gauge invariant operators \cite{LT}, \begin{eqnarray}
462: u_n^{(1)}&=&\left<{\rm Tr}\, \phi^n\right> \label{eq:moduli1} \\   
463: u_n^{(2)}&=&\left<{\rm Tr}\, \varphi^n\right>\,, \label{eq:moduli2}
464: \end{eqnarray} 
465: where $n=2,\dots,M$.  But we
466: will restrict the VEVs to all be equal so that we intersect the Higgs
467: branch, in which case there are only $M-1$ 
468: independent moduli in the curve, as opposed to $N(M-1)$.\footnote{On the
469: reduced Coulomb branch there are additional moduli corresponding to the 
470: hypermultiplet VEVs.  However, they cannot appear in the Seiberg-Witten
471: curve because of the product structure of the Higgs and Coulomb branches
472: \cite{APS}.}  
473: If we define the
474: complex parameters $z=x_4+ix_5$ and $t=\exp(x_6+ix_{10}/R_{10})$ 
475: (which is holomorphic because $x_{10}\sim x_{10}+ 2\pi R_{10}$), then Witten
476: argued that the M5-brane is described by the curve \cite{Witten},
477: \begin{equation}
478: \Lambda_1^M t^{3}+ A_1(z)t^2+\cdots+A_2(z)t + \Lambda_2^M =0,
479: \label{eq:SW2}\end{equation}
480: where $A_i(z)$ is a polynomial of degree $M$ in $z$, and $\Lambda_i$ is the
481: dynamical scale of SU$(M)_i$.  At constant $t$, 
482: (\ref{eq:SW2}) has $M$ roots for $z$, which correspond to the positions
483: of the $M$ D4-branes at that $t$.  At constant $z$, (\ref{eq:SW2}) has
484: $3$ roots for $t$, which correspond to the positions of the NS5-branes
485: at that $z$.
486: 
487: If we write, \begin{equation}
488: A_i(z)=\prod_{j=1}^M (z-a_{i,j}), \end{equation}
489: then the $a_{i,j}$ ($i=1,2$; $j=1,\dots,M$) represent the positions of the 
490: $M$ D4-branes between the
491: $i$th and $(i+1)$th NS5-branes. 
492: In terms of the SU$(M)\times$SU$(M)$ 
493: gauge theory
494: that lives on the branes, for $i=1,2$, the $a_{i,j}$ are the 
495: VEVs of the adjoint in the $i$th SU$(M)$ factor 
496: (up to instanton corrections)\cite{Witten}.  
497: The difference in the
498: average of the $a_{i,j}$ on the two sides of an NS5-brane is the bare
499: mass of the corresponding bifundamental hypermultiplet, which we take
500: to be zero, \begin{equation}
501: \frac{1}{M}\sum_{j=1}^{M}\left(a_{1,j}-a_{2,j}\right) = 0.
502: \end{equation}
503: The adjoint VEVs are in the Cartan subalgebra of the gauge group, but
504: are not gauge invariant.  They transform under the Weyl group
505: (which preserves the Cartan subalgebra),
506: which permutes the VEVs $a_{i,j}$ for fixed $i$.  Instead, the curve should 
507: be written in terms of the gauge invariant moduli, which are in general
508: shifted from their classical values by instanton effects.  
509: The Seiberg-Witten curve can then be written
510: \cite{ENR},
511: \begin{equation}
512: \Lambda_1^M\,t^3+\left(P_1(z;u_n^{(1)},\Lambda_1^M)+\Lambda_1^M\right)t^2+
513: \left(P_2(z;u_n^{(2)},\Lambda_2^M)+\Lambda_2^M
514: \right) t+\Lambda_2^M, \label{eq:SW2a}\end{equation}
515: where $P_1(z)$ and $P_2(z)$ are the same function of $z$, the 
516: Coulomb branch moduli $u_n^{(i)}$ defined in (\ref{eq:moduli1}) and
517: (\ref{eq:moduli2}),
518: and the dynamical scale of the corresponding SU$(M)_i$ group 
519: factor.\footnote{$P_i(z,u_n^{(i)},\Lambda_i^M)$ 
520: contains a constant term proportional to $\Lambda_i^M$.
521: This represents a shift in the maximal moduli $\left<{\rm Tr}\,\phi^M\right>$
522: and  $\left<{\rm Tr}\,\varphi^M\right>$ from their classical values.  We have
523: ignored a numerical constant in the definition of the dynamical scale.
524: For more on these subtleties, see for example \cite{ENR,GP}.}
525: Equating the VEVs of
526: the two adjoint scalars amounts to setting $P_1(z;u_n^{(1)},\Lambda_1^M)=
527: P_2(z;u_n^{(2)},\Lambda_2^M)$.  In that case,
528: the curve (\ref{eq:SW2a}) factorizes as, \begin{equation}
529: \Lambda_1^M(t+1)\left(t^2+\frac{P(z)}{\Lambda_1^M}t+\frac{\Lambda_2^M}{
530: \Lambda_1^M}\right) = 0. \end{equation}
531: If all moduli and dynamical scales are the same
532: for each gauge group factor SU$(M)_i$, this amounts to enforcing a reflection
533: symmetry about the middle NS5-brane.  If we fix $x_{10}=0$, the 
534: symmetry $x_6\rightarrow -x_6$ becomes
535: $t\rightarrow 1/t$.  If we then equate the dynamical scales $\Lambda_1$ and
536: $\Lambda_2$, and fix the moduli of both gauge groups to be equal, then 
537: the factorization of the curve immediately follows from the
538: $t\rightarrow 1/t$ symmetry.
539: Physically, the factorization corresponds 
540: to the fact that the hypermultiplet $Q$ can get a 
541: VEV from such a point in moduli space,
542: where the Coulomb and Higgs branches intersect, and the Higgs and Coulomb
543: branches decouple \cite{ENR}.
544: In the M-theory picture giving a VEV to $Q$ corresponds to removing the
545: middle brane, which is at $t=-1$ as we have written the curve, in the
546: $x_7,\,x_8,\,x_9$ directions.
547: By rescaling the curve by $t\rightarrow \Lambda_1^2\,t$, the dynamics along 
548: the 
549: reduced Coulomb branch is given by the factor multiplying $(t+1)$, which
550: we recognize to be simply the Seiberg-Witten curve for the diagonal 
551: SU$(M)_D$ gauge theory, with
552: dynamical scale $\Lambda_D^{2M}=\Lambda_1^M\Lambda_2^M$.  
553: That is, the Seiberg-Witten
554: curve describes the unbroken
555: U(1)$^{M-1}$ gauge theory on the reduced Coulomb branch.  Giving a VEV to the
556: hypermultiplet $Q$ corresponds to the removal of the middle brane in the
557: $x_7,\,x_8,\,x_9$ directions, but as mentioned earlier that dynamics is 
558: decoupled from the dynamics described by the Seiberg-Witten curve at low 
559: energies. 
560: 
561: 
562: We now see explicitly from the brane construction that the enhancement
563: of SUSY along the reduced Coulomb or Higgs branch is stable to radiative and
564: nonperturbative corrections.  The D4-branes
565: break half of the 32 supersymmetries of the Type IIA string theory, and the
566: NS5-branes break another half.
567: If the NS5-branes are removed, 
568: then the remaining theory at energies below those which probe the NS5-branes
569: is that of the D4-branes on the
570: circle, which has twice as much SUSY.  In essence, the theory has factorized
571: into the theory on the parallel NS5-branes with 16 supercharges, and the
572: theory on the D4-branes with a different 16 supercharges.
573: The decoupling is confirmed by the factorization of the Seiberg-Witten curve.
574: 
575: As mentioned in the Introduction, we need to take the number of gauge group 
576: factors large in order to be able to probe the size of the torus because
577: otherwise the spectrum differs from the expected KK spectrum at low energies,
578: and the deconstructed theory can not correspond to a six dimensional theory
579: on a torus.  We can understand this from the string theory construction
580: as well by considering the relevant
581: energy scales.  The Type IIA brane configuration is useful in
582: understanding the gauge theory on that brane configuration at energies
583: less than $l_s^{-1}$.  The (0,2) theory is the theory on a stack of
584: M5-branes with vanishing 11D Planck scale, $l_P^3=l_s^2\,R_{10}$,
585: so we take $l_s\rightarrow 0$.  Furthermore, the theory that lives on the
586: wrapped M5-branes is only the
587: (0,2) theory up to scales where they probe the M5-branes that were removed
588: from the torus.
589: At energies much smaller than the inverse sizes of the
590: torus, the (0,2) theory becomes the 4D ${\cal N}$=4 theory.  We want to 
591: arrange the parameters of the theory so 
592: that we can probe somewhat higher energies, on the scale of the inverse
593: sizes of the torus, without also probing the NS5-branes.
594: Strings which stretch from a D4 brane to an NS5 brane and back carry
595: energy of order $gv$, corresponding to the fact that at that energy the
596: gauge theory
597: probes the individual gauge group factors and hypermultiplets $Q_i$.  
598: 
599: The size of the torus is determined
600: by the low lying ``electric''
601: spectrum of the gauge theory, which corresponds to the
602: KK modes around the $x_6$ circle.  This fixes $R_6=N/(2\pi gv)$, so we
603: must have $N$ large in order for the scale of low lying KK modes to be
604: much smaller than the bifundamental hypermultiplet scale $gv$. 
605: Notice
606: that the size of the torus is related to the positions of the NS5-branes. 
607: %in order to match to the field theory.
608: $R_{10}$
609: will be related to $R_6$ by identifying the low energy gauge coupling in
610: terms of $R_6/R_{10}$ via the M5-brane brane construction.
611: Alternatively, we can identify $R_{10}$ via the magnetic spectrum, as in
612: \cite{0-2}, which is interpreted as the KK modes around the other cycle
613: of the torus.  For nonvanishing theta parameter in the low energy SU$(M)_D$
614: gauge group, the low lying states in the large $N$ limit have masses,
615: \begin{eqnarray}
616: M_{n,m}=\frac{gv}{N}&\left|n+m\left(\frac{\theta}{2\pi}+i\frac{4\pi}{g_D^2}
617: \right)\right|& \nonumber \\
618: =\frac{1}{2\pi R_6}&\left|n+m\left(\frac{\theta}{2\pi}+i\frac{R_6}{R_{10}}
619: \right)\right|&, \label{eq:BPS}
620: \end{eqnarray} where $n$ and $m$ are the electric and magnetic 
621: quantum numbers of the BPS (in the sense of the theory with sixteen
622: supercharges) dyon, 
623: respectively, and correspond to the KK
624: numbers around the two one-cycles of the torus.
625: %and marginally
626: %bound states of such modes.  
627: %In the large $N$ limit, 
628: %there is an almost BPS charge
629: %lattice of states generated by the S-duality
630: %group for each electric KK level $k$, leading to a degeneracy of 
631: %states.\footnote{We are grateful to Andy Cohen for discussions on this point.}
632: Equation (\ref{eq:BPS}) also determines the complex structure of the
633: torus, $\tau=\theta/(2\pi)+i\,R_6/R_{10}$, in terms of the gauge theory
634: parameters.  Note that the bifundamental VEV $v$ sets the overall scale
635: for the flat metric on the torus, but does not appear in the period $\tau$.
636: This is once again a reflection of the product structure of the Higgs and
637: Coulomb branches where they intersect.
638: The first equality in (\ref{eq:BPS}) is the holomorphic extension of the
639: spectrum found in \cite{0-2}, where $v_h=gv$ is the holomorphic VEV.
640: The second equality in (\ref{eq:BPS}) follows immediately from
641: the M-theory construction as we will now see.
642: 
643: 
644: %%%%%%%%%%%%
645: \section{Compactification on an arbitrary torus: complex structure and 
646: factorization}
647: \label{sec:arbitrary}
648: \setcounter{equation}{0}
649: \setcounter{footnote}{0}
650: %%%%%%%%%%%
651: 
652: 
653: To identify the complex structure of the torus we will closely follow Witten
654: \cite{Witten}.  The M-theory circle in the $x_{10}$
655: direction has radius $R_{10}$ and the circle in the $x_6$ direction has radius
656: $R_6$.
657: The bare gauge coupling of the $i$th gauge group SU$(M)_i$ is given by the
658: difference in the $x_{6}$ positions of the $i$th and $(i+1)$th NS5-branes
659: \cite{HW,Witten},
660: \begin{equation}
661: \frac{4\pi}{g_i^2}=\frac{(x_{i+1}^{6}-x_i^{6})}{R_{10}}. \label{eq:g}
662: \end{equation}
663: The bare coupling of the diagonal gauge group is given by, \begin{equation}
664: \frac{4\pi}{g_D^2}=\sum_i \frac{4\pi}{g_i^2} = \frac{R_6}{R_{10}}. \end{equation}
665: The theta parameter of the SU$(M)_i$ gauge group factor is given by the 
666: difference in the $x_{10}$ positions of the $i$th and $(i+1)$th NS5-branes
667: \cite{Witten},
668: \begin{equation}
669: \theta_i=\frac{x_{i+1}^{10}-x_i^{10}}{R_{10}}. \label{eq:theta}\end{equation}
670: By ``going around the circle'' in the $x_6$ direction, namely by summing
671: (\ref{eq:theta}) over $\theta_i$, we would find\begin{eqnarray}
672: x_6&\rightarrow& x_6+2\pi R_6 \nonumber \\
673: x_{10}&\rightarrow& x_{10}+\theta R_{10}. \end{eqnarray}
674: By varying $\theta$, the theta parameters in the gauge theory can be chosen 
675: arbitrarily, as now $\sum_i \theta_i=\theta$.  The period of
676: the torus $\tau=\theta/2\pi + i R_6/R_{10}$ 
677: is identified with the 
678: %bare coupling and theta parameter 
679: holomorphic gauge coupling of the diagonal
680: SU$(M)_D$ gauge theory on the Higgs branch, $\tau=4\pi i/g_D^2+ \theta/2\pi$.
681: Thus, by varying $R_6/R_{10}$ and $\theta$, or equivalently by varying
682: the gauge couplings and theta parameters of the deconstructed
683: theory, the
684: complex structure of the torus on which the (0,2) theory is compactified
685: can be chosen arbitrarily.
686: 
687: Let us now discuss the factorization of the Seiberg-Witten curve  
688: on the intersection of the Higgs and
689: Coulomb branches for the full deconstructed theory. A classical analysis
690: similar to that done in Section~\ref{sec:factorization} indicates that
691: there is a reduced Coulomb branch in this theory along which the Seiberg-Witten
692: curve should factorize.
693: We 
694: write the Seiberg-Witten curve as in \cite{Witten}:
695: \begin{equation}
696: z^M-f_1(x,y)z^{M-1}+f_2(x,y)z^{M-2}+\cdots+(-1)^M\,f_M(x,y) = 0, 
697: \label{eq:SWcircle}
698: \end{equation}
699: where $x$ and $y$ parametrize the torus on which the M5-brane lives,
700: which is specified by an elliptic curve of the form, \begin{equation}
701: y^2=x^3+c_1 x+c_2, \label{eq:torus}\end{equation} for some complex
702: constants $c_1$ and $c_2$.  These constants, together with the unique 
703: nonsingular holomorphic differential $\omega=dx/y$ and a choice of cycles, 
704: determine the complex structure of the
705: torus.  To be precise, there is a basis of cycles $\gamma_1$ and
706: $\gamma_2$ on the torus with unit intersection from which the period of the
707: torus can be calculated as \begin{equation} \tau= \oint_{\gamma_1}
708: \omega \,\left(\oint_{\gamma_2} \omega\right)^{-1}.
709: \end{equation}
710: The period $\tau$ is to be identified with the gauge coupling and
711: $\theta$ parameter of the diagonal SU$(M)_D$ gauge group
712: via $\tau=4\pi i/g^2 + \theta/2\pi$.  The constants
713: $c_i$ in (\ref{eq:torus}) and the cycles $\gamma_i$ are chosen to give the
714: correct period $\tau$ on the moduli space of vacua.
715: There is also a flat metric on the torus which specifies its size.
716: 
717: For generic adjoint VEVs, there are $M$ roots for $z$, which describe the
718: positions of the D4-branes as before.  The functions $f_i(x,y)$ are
719: generically meromorphic functions on the torus which have simple poles.
720: At the pole  there would be a singularity in at least one of the roots of
721: $z$ which looks near the singularity like, \begin{equation}
722: (z-z_0)(s-s_0)=\epsilon, \label{eq:intersect} \end{equation}
723: where $s$ is a good local coordinate on the torus near the singularity.
724: This would describe the smooth connection of the D4-brane at $z_0$
725: to the NS5-brane at $s_0$.  But at points in the moduli space where the
726: Higgs and Coulomb branches meet, the curve factorizes.  This happens when
727: the $f_i(x,y)$ are constants.  The interpretation of this is as follows.
728: If we assume that $R_6\gg R_{10}$ then in the neighborhood of an NS5-brane
729: the Seiberg-Witten
730: curve is well described by the coordinates $z$ and 
731: $s={\rm exp}(x_6+i\,x_{10})$
732: with the $x_6$ position of the NS5-brane set to 0, say.
733: (Alternatively we can just focus on an appropriate neighborhood
734: of the NS5 brane for which $|x_6|\ll 2\pi R_6$,
735: and remove the restriction on $R_6/R_{10}$.)
736: When the Higgs and Coulomb branches intersect there is a symmetry 
737: corresponding to reflections about the NS5-brane, which as we saw earlier 
738: implies that the curve should factorize near the NS5-branes.  This implies
739: that locally the
740: $f_i(x,y)$ in (\ref{eq:SWcircle}) are constants, which by holomorphy implies
741: they are constants over the torus.  Then, using the S-duality which takes
742: $\tau\rightarrow -1/\tau$ and $\tau\rightarrow \tau+1$
743: we can relax the restriction $R_6\gg R_{10}$, so that the $f_i(x,y)$ are
744: generically constants on the intersection of the Higgs and Coulomb branches.
745: 
746: In order to completely specify the brane configuration in the case in which
747: it factorizes, the curve (\ref{eq:SWcircle}) should instead be written,
748: \begin{equation}
749: h_0(x,y)z^M-h_1(x,y)z^{M-1}+h_2(x,y)z^{M-2}+\cdots+(-1)^M\,h_M(x,y) =0,
750: \end{equation}
751: where now the $h_i(x,y)$ are all equal up to overall numerical constants.
752: All of the $f_i(x,y) = h_i(x,y)/h_0(x,y)$ 
753: of (\ref{eq:SWcircle}) are then constants.  The curve
754: factorizes as, \begin{equation}
755: h_0(x,y)\,\prod_{i=1}^M (z-z_i) =0, \end{equation}
756: where $z_i$ are the positions of the D4-branes, and the zeroes of 
757: $h_0(x,y)$ specify the positions of the NS5-branes.  The
758: singular intersections of
759: the D4-branes and NS5-branes are similar to (\ref{eq:intersect}) with
760: $\epsilon\rightarrow 0$.
761: 
762: 
763: Having understood how the M-theory 5-brane configuration contains information
764: about the reduced Coulomb branch that we are interested in, we can now
765: easily understand the emergence of the (0,2) theory from the deconstructed
766: theory.  
767: %The M5-brane wraps two circles, the M-theory circle and the
768: %circle in the $x_6$ direction.  
769: When the VEVs of all the adjoints are
770: equal, the Seiberg-Witten curve describing the brane configuration
771: factorizes into a product of terms reflecting the positions of the
772: flat NS5-branes and the positions of the
773: D4-branes which wrap the $x_6$ direction.
774: When the NS5-branes are removed symmetrically around the torus, 
775: the Seiberg-Witten curve describes
776: the remaining D4-branes, which are really M5-branes wrapped on the
777: $x_6$--$x_{10}$ torus.  If we also take the 11D Planck scale 
778: $l_P^3=l_s^2R_{10}$ to zero, then up to the presence of the additional 
779: NS5-branes this 
780: is precisely the (0,2)$_M$ theory on a torus whose complex structure we have
781: identified above.
782: At very low energies the theory on the D4-branes
783: is the 4D ${\cal N}$=4 SU$(M)$ gauge theory, the dynamics of which is not 
784: corrected by the presence of the NS5-branes (as a result of the product 
785: structure
786: of the Higgs and Coulomb branches).  At higher energies but below the
787: scale $gv$ which probes the positions of the NS5-branes, the spectrum
788: mimics the KK spectrum expected of the (0,2)$_M$ theory on a torus with the
789: same complex structure as that determined by the Seiberg-Witten curve.
790: This provides additional evidence that the deconstructed theory does 
791: indeed mimic the (0,2) theory
792: at scales which probe the size of the torus on which the (0,2) theory is
793: compactified.
794: 
795: 
796: %%***************************
797: \section*{Acknowledgments}
798: We are grateful to Allan Adams, Nima Arkani-Hamed, Andy Cohen, Mike Graesser,
799: Christophe Grojean, David B. Kaplan, Asad Naqvi,  
800: Luigi Pilo, Stephan Pokorski, Yuri Shirman, Matt Strassler and Arkady
801: Vainshtein
802: for useful conversations.  We are also happy to thank the Aspen Center for 
803: Physics, where this work was completed.
804: The research of C.C. is supported in part by the NSF, and in part by the
805: DOE OJI grant DE-FG02-01ER41206.  The research of J.E. and J.T. is supported
806: by the US Department of Energy under contract W-7405-ENG-36.
807: 
808: 
809: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
810: \vspace{\baselineskip}
811: 
812: \begin{thebibliography}{99}
813: 
814: \bibitem{deconstruction}
815: N.~Arkani-Hamed, A.~G.~Cohen and H.~Georgi,
816: %``(De)constructing dimensions,''
817: Phys.\ Rev.\ Lett.\  {\bf 86}, 4757 (2001)
818: [hep-th/0104005];
819: %%CITATION = HEP-TH 0104005;%%
820: C.~T.~Hill, S.~Pokorski and J.~Wang,
821: %``Gauge invariant effective Lagrangian for Kaluza-Klein modes,''
822: Phys.\ Rev.\ D {\bf 64}, 105005 (2001)
823: [hep-th/0104035];
824: %%CITATION = HEP-TH 0104035;%%
825: 
826: \bibitem{CEGK}
827: C.~Cs\'aki, J.~Erlich, C.~Grojean and G.~D.~Kribs,
828: %``4D constructions of supersymmetric extra dimensions and gaugino mediation,''
829: Phys.\ Rev.\ D {\bf 65}, 015003 (2002)
830: [hep-ph/0106044].
831: %%CITATION = HEP-PH 0106044;%%
832: 
833: \bibitem{0-2}
834: N.~Arkani-Hamed, A.~G.~Cohen, D.~B.~Kaplan, A.~Karch and L.~Motl,
835: %``Deconstructing (2,0) and little string theories,''
836: hep-th/0110146.
837: %%CITATION = HEP-TH 0110146;%%
838: 
839: \bibitem{BFLP}
840: P.~Brax, A.~Falkowski, Z.~Lalak and S.~Pokorski,
841: %``Custodial supersymmetry in non-supersymmetric quiver theories,''
842: Phys.\ Lett.\ B {\bf 538}, 426 (2002)
843: [hep-th/0204195].
844: %%CITATION = HEP-TH 0204195;%%
845: 
846: \bibitem{KKU}
847: D.~B.~Kaplan, E.~Katz and M.~Unsal,
848: %``Supersymmetry on a spatial lattice,''
849: hep-lat/0206019.
850: %%CITATION = HEP-LAT 0206019;%%
851: 
852: 
853: \bibitem{ACG}
854: N.~Arkani-Hamed, A.~G.~Cohen and H.~Georgi,
855: %``Electroweak symmetry breaking from dimensional deconstruction,''
856: Phys.\ Lett.\ B {\bf 513}, 232 (2001)
857: [hep-ph/0105239];
858: %%CITATION = HEP-PH 0105239;%%
859: %``Accelerated unification,''
860: hep-th/0108089;
861: %%CITATION = HEP-TH 0108089;%%
862: %``Twisted supersymmetry and the topology of theory space,''
863: JHEP {\bf 0207}, 020 (2002)
864: [hep-th/0109082].
865: %%CITATION = HEP-TH 0109082;%%
866: 
867: \bibitem{modelbuilding}
868: H.~C.~Cheng, C.~T.~Hill, S.~Pokorski and J.~Wang,
869: %``The standard model in the latticized bulk,''
870: Phys.\ Rev.\ D {\bf 64}, 065007 (2001)
871: [hep-th/0104179];
872: %%CITATION = HEP-TH 0104179;%%
873: H.~C.~Cheng, C.~T.~Hill and J.~Wang,
874: %``Dynamical electroweak breaking and latticized extra dimensions,''
875: Phys.\ Rev.\ D {\bf 64}, 095003 (2001)
876: [hep-ph/0105323];
877: %%CITATION = HEP-PH 0105323;%%
878: H.~C.~Cheng, D.~E.~Kaplan, M.~Schmaltz and W.~Skiba,
879: %``Deconstructing gaugino mediation,''
880: Phys.\ Lett.\ B {\bf 515}, 395 (2001)
881: [hep-ph/0106098];
882: %%CITATION = HEP-PH 0106098;%%
883: 
884: \bibitem{GUT}
885: C.~Cs\'aki, G.~D.~Kribs and J.~Terning,
886: %``4D models of Scherk-Schwarz GUT breaking via deconstruction,''
887: Phys.\ Rev.\ D {\bf 65}, 015004 (2002)
888: [hep-ph/0107266];
889: %%CITATION = HEP-PH 0107266;%%
890: H.~C.~Cheng, K.~T.~Matchev and J.~Wang,
891: %``GUT breaking on the lattice,''
892: Phys.\ Lett.\ B {\bf 521}, 308 (2001)
893: [hep-ph/0107268];
894: %%CITATION = HEP-PH 0107268;%%
895: N.~Weiner,
896: %``Unification without unification,''
897: hep-ph/0106097.
898: %%CITATION = HEP-PH 0106097;%%
899: P.~H.~Chankowski, A.~Falkowski and S.~Pokorski,
900: %``Unification in models with replicated gauge groups,''
901: hep-ph/0109272;
902: %%CITATION = HEP-PH 0109272;%%
903: A.~Falkowski, C.~Grojean and S.~Pokorski,
904: %``Soft electroweak breaking from hard supersymmetry breaking,''
905: Phys.\ Lett.\ B {\bf 535}, 258 (2002)
906: [hep-ph/0203033].
907: %%CITATION = HEP-PH 0203033;%%
908: 
909: \bibitem{wittengut}
910: E.~Witten,
911: %``Deconstruction, G(2) holonomy, and doublet-triplet splitting,''
912: hep-ph/0201018.
913: %%CITATION = HEP-PH 0201018;%%
914: 
915: \bibitem{witek}
916: I.~Rothstein and W.~Skiba,
917: %``Mother moose: Generating extra dimensions from simple groups at large  N,''
918: Phys.\ Rev.\ D {\bf 65}, 065002 (2002)
919: [hep-th/0109175];
920: %%CITATION = HEP-TH 0109175;%%
921: W.~Skiba and D.~Smith,
922: %``Localized fermions and anomaly inflow via deconstruction,''
923: Phys.\ Rev.\ D {\bf 65}, 095002 (2002)
924: [hep-ph/0201056].
925: %%CITATION = HEP-PH 0201056;%%
926: 
927: \bibitem{littlehiggs}
928: N.~Arkani-Hamed, A.~G.~Cohen, T.~Gregoire and J.~G.~Wacker,
929: %``Phenomenology of electroweak symmetry breaking from theory space,''
930: hep-ph/0202089;
931: %%CITATION = HEP-PH 0202089;%%
932: N.~Arkani-Hamed et al.,
933: %``The minimal moose for a little Higgs,''
934: hep-ph/0206020;
935: %%CITATION = HEP-PH 0206020;%%
936: N.~Arkani-Hamed, A.~G.~Cohen, E.~Katz and A.~E.~Nelson,
937: %``The littlest Higgs,''
938: hep-ph/0206021;
939: %%CITATION = HEP-PH 0206021;%%
940: T.~Gregoire and J.~G.~Wacker,
941: %``Mooses, topology and Higgs,''
942: hep-ph/0206023.
943: %%CITATION = HEP-PH 0206023;%%
944: I.~Low, W.~Skiba and D.~Smith,
945: %``Little Higgses from an antisymmetric condensate,''
946: hep-ph/0207243.
947: %%CITATION = HEP-PH 0207243;%%
948: 
949: \bibitem{APS}
950: P.~C.~Argyres, M.~Ronen Plesser and N.~Seiberg,
951: %``The Moduli Space of N=2 SUSY {QCD} and Duality in N=1 SUSY {QCD},''
952: Nucl.\ Phys.\ B {\bf 471}, 159 (1996)
953: [hep-th/9603042].
954: %%CITATION = HEP-TH 9603042;%%
955: 
956: \bibitem{Schwarz}
957: J.~H.~Schwarz,
958: %``Remarks on the M5-brane,''
959: Nucl.\ Phys.\ Proc.\ Suppl.\  {\bf 68}, 279 (1998)
960: [arXiv:hep-th/9707119].
961: %%CITATION = HEP-TH 9707119;%%
962: 
963: \bibitem{MRV}
964: S.~Mukhi, M.~Rangamani and E.~Verlinde,
965: %``Strings from quivers, membranes from moose,''
966: JHEP {\bf 0205}, 023 (2002)
967: [hep-th/0204147].
968: %%CITATION = HEP-TH 0204147;%%
969: 
970: \bibitem{CEKPSS}
971: C.~Cs\'aki, J.~Erlich, V.~V.~Khoze, E.~Poppitz, Y.~Shadmi and Y.~Shirman,
972: %``Exact results in 5D from instantons and deconstruction,''
973: Phys.\ Rev.\ D {\bf 65}, 085033 (2002)
974: [hep-th/0110188].
975: %%CITATION = HEP-TH 0110188;%%
976: 
977: \bibitem{GP}
978: A.~Giveon and O.~Pelc,
979: %``M theory, type IIA string and 4D N = 1 SUSY SU(N(L)) x SU(N(R)) gauge  theory,''
980: Nucl.\ Phys.\ B {\bf 512}, 103 (1998)
981: [hep-th/9708168].
982: %%CITATION = HEP-TH 9708168;%%
983: 
984: \bibitem{ENR}
985: J.~Erlich, A.~Naqvi and L.~Randall,
986: %``The Coulomb branch of N = 2 supersymmetric product group theories from  branes,''
987: Phys.\ Rev.\ D {\bf 58}, 046002 (1998)
988: [hep-th/9801108].
989: %%CITATION = HEP-TH 9801108;%%
990: 
991: \bibitem{Witten}
992: E.~Witten,
993: %``Solutions of four-dimensional field theories via M-theory,''
994: Nucl.\ Phys.\ B {\bf 500}, 3 (1997)
995: [hep-th/9703166].
996: %%CITATION = HEP-TH 9703166;%%
997: 
998: \bibitem{SW}
999: N.~Seiberg and E.~Witten,
1000: %``Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,''
1001: Nucl.\ Phys.\ B {\bf 426}, 19 (1994)
1002: [Erratum-ibid.\ B {\bf 430}, 485 (1994)]
1003: [hep-th/9407087];
1004: %%CITATION = HEP-TH 9407087;%%
1005: N.~Seiberg and E.~Witten,
1006: %``Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD,''
1007: Nucl.\ Phys.\ B {\bf 431}, 484 (1994)
1008: [hep-th/9408099].
1009: %%CITATION = HEP-TH 9408099;%%
1010: 
1011: \bibitem{DM}
1012: M.~R.~Douglas and G.~W.~Moore,
1013: %``D-branes, Quivers, and ALE Instantons,''
1014: arXiv:hep-th/9603167.
1015: %%CITATION = HEP-TH 9603167;%%
1016: 
1017: \bibitem{IS}
1018: K.~A.~Intriligator and N.~Seiberg,
1019: %``Phases of N=1 supersymmetric gauge theories in four-dimensions,''
1020: Nucl.\ Phys.\ B {\bf 431}, 551 (1994)
1021: [hep-th/9408155].
1022: %%CITATION = HEP-TH 9408155;%%
1023: 
1024: \bibitem{CEFS}
1025: C.~Cs\'aki, J.~Erlich, D.~Z.~Freedman and W.~Skiba,
1026: %``N = 1 supersymmetric product group theories in the Coulomb phase,''
1027: Phys.\ Rev.\ D {\bf 56}, 5209 (1997)
1028: [hep-th/9704067].
1029: %%CITATION = HEP-TH 9704067;%%
1030: 
1031: \bibitem{LT}
1032: M.~A.~Luty and W.~I.~Taylor,
1033: %``Varieties of vacua in classical supersymmetric gauge theories,''
1034: Phys.\ Rev.\ D {\bf 53}, 3399 (1996)
1035: [hep-th/9506098].
1036: %%CITATION = HEP-TH 9506098;%%
1037: 
1038: \bibitem{HW}
1039: A.~Hanany and E.~Witten,
1040: %``Type IIB superstrings, BPS monopoles, and three-dimensional gauge  dynamics,''
1041: Nucl.\ Phys.\ B {\bf 492}, 152 (1997)
1042: [hep-th/9611230].
1043: %%CITATION = HEP-TH 9611230;%%
1044: 
1045: 
1046: 
1047: 
1048: \end{thebibliography}
1049: 
1050: \end{document}
1051: 
1052: 
1053:     [ Part 2, ""  Text/PLAIN (Name: "sw-je.tex")  983 lines. ]
1054:     [ Unable to print this part. ]
1055: 
1056: