1: \documentclass[12pt]{article}

2: 

3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4:   \newcommand{\onefigure}[2]{\begin{figure}[tbhp]

5:          \caption{\small #2\label{#1}(#1)}

6:          \end{figure}}

7: %%

8: %% This is what you have to comment out to avoid figures:

9: %% Comment out the following three lines:

10: %%

11: \renewcommand{\onefigure}[2]{\begin{figure}[tbhp]

12:     \begin{center}\leavevmode\epsfbox{#1.eps}\end{center}

13:     \caption{\small #2\label{#1}}

14:    \end{figure}}

15: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

16: 

17: 

18: 

19: \usepackage{latexsym,amsmath,amssymb,theorem, epsf}

20: 

21: 

22: 

23: 

24: 

25: %\begin{document}

26: 

27: 

28: 

29: 

30: 

31: \topmargin      -0.3in  % distance to headers

32: \headheight      0.2in  % height of header box

33: \headsep         0.3in  % distance to top line

34: \textheight      8.9in  % height of text

35: \footskip        0.3in  % distance from bottom line

36: \oddsidemargin   0.0in  % Horizontal alignment

37: \evensidemargin  0.0in  % Horizontal alignment

38: \textwidth       6.5in  % Horizontal alignment

39: 

40: 

41: 

42: 

43: 

44: 

45: \renewcommand{\baselinestretch}{1.3}

46: 

47: 

48: 

49: \flushbottom

50: 

51: 

52: 

53: \DeclareFontFamily{OT1}{rsfs10}{}

54: \DeclareFontShape{OT1}{rsfs10}{m}{n}{ <-> rsfs10 }{}

55: \DeclareMathAlphabet{\mathscript}{OT1}{rsfs10}{m}{n}

56: 

57: 

58: 

59: \numberwithin{equation}{section}

60: 

61: 

62: 

63: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

64: 

65: 

66: 

67: \newcommand{\cp}[1]{{\mathbb C}{\mathbb P}^{#1}}

68: \newcommand{\mbf}[1]{\mathbf{#1}}

69: \newcommand{\cohclass}[1]{\left[{#1}\right]}

70: \newcommand{\rest}[1]{\left.{#1}\right|}

71: 

72: 

73: 

74: \newcommand{\nn}{\nonumber}

75: \newcommand{\ns}{\normalsize}

76: 

77: 

78: 

79: \newcommand{\tr}{\text{tr}}

80: \newcommand{\pt}{\partial}

81: \newcommand{\w}{\wedge}

82: \newcommand{\Ds}{\not\!\!D}

83: 

84: 

85: 

86: \newcommand{\HdR}{H_{\text{DR}}}

87: 

88: 

89: 

90: \newcommand{\CC}{{\mathbf{C}}}

91: \newcommand{\ZZ}{{\mathbf{Z}}}

92: \newcommand{\RR}{{\mathbf{R}}}

93: \newcommand{\PP}{{\mathbf{P}}}

94: 

95: 

96: 

97: 

98: \newcommand{\bC}{{\mathbf C}}

99: \newcommand{\bN}{{\mathbf N}}

100: \newcommand{\bV}{{\mathbf V}}

101: \newcommand{\bX}{{\mathbf X}}

102: \newcommand{\bY}{{\mathbf Y}}

103: \newcommand{\bZ}{{\mathbf Z}}

104: 

105: 

106: 

107: 

108: 

109: \def\a{\alpha}

110: \def\b{\beta}

111: \def\g{\gamma}

112: \def\c{\chi}

113: \def\d{\delta}

114: \def\e{\epsilon}

115: \def\f{\phi}

116: \def\i{\iota}

117: \def\z{\psi}

118: \def\k{\kappa}

119: \def\l{\lambda}

120: \def\m{\mu}

121: \def\n{\nu}

122: \def\o{\omega}

123: \def\p{\pi}

124: \def\q{\theta}

125: \def\r{\rho}

126: \def\s{\sigma}

127: \def\t{\tau}

128: \def\u{\upsilon}

129: \def\x{\xi}

130: \def\z{\zeta}

131: 

132: 

133: 

134: \def\D{\Delta}

135: \def\F{\Phi}

136: \def\G{\Gamma}

137: \def\J{\Psi}

138: \def\L{\Lambda}

139: \def\O{\Omega}

140: \def\P{\Pi}

141: \def\Q{\Theta}

142: \def\U{\Upsilon}

143: \def\X{\Xi}

144: 

145: 

146: 

147: \def\cA{{\mathcal A}}

148: \def\cB{{\mathcal B}}

149: \def\cC{{\mathcal C}}

150: \def\cE{{\mathcal E}}

151: \def\cF{{\mathcal F}}

152: \def\cG{{\mathcal G}}

153: \def\cH{{\mathcal H}}

154: \def\cL{{\mathcal L}}

155: \def\cK{{\mathcal K}}

156: \def\cM{{\mathcal M}}

157: \def\cN{{\mathcal N}}

158: \def\cO{{\mathcal O}}

159: \def\cP{{\mathcal P}}

160: \def\cR{{\mathcal R}}

161: \def\cV{{\mathcal V}}

162: \def\cS{{\mathcal S}}

163: 

164: 

165: 

166: \def\ab{{\bar a}}

167: \def\bb{{\bar b}}

168: 

169: 

170: 

171: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

172: %%%Theorem style declarations

173: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

174: 

175: 

176: 

177: \theoremstyle{plain}

178: 

179: 

180: 

181: 

182: \theoremstyle{plain}

183: %\newtheorem{theorem}[equation]{Theorem}

184: \newtheorem{theorem}{Theorem}

185: \newtheorem{corollary}[theorem]{Corollary}

186: \newtheorem{proposition}[theorem]{Proposition}

187: \newtheorem{lemma}[theorem]{Lemma}

188: \newtheorem{definition}[theorem]{Definition}

189: \numberwithin{theorem}{section}

190: 

191: 

192: 

193: \theoremstyle{remark} {\theorembodyfont{\rmfamily}

194: \newtheorem{ex}{Example}}

195: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

196: %%%End of the theorem style declarations

197: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

198: 

199: 

200: 

201: 

202: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

203: 

204: 

205: 

206: \begin{document}

207: 

208: 

209: 

210: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

211: 

212: 

213: 

214: \begin{titlepage}

215: 

216: 

217: 

218: \vspace{-5cm}

219: 

220: 

221: 

222: \title{

223:    \hfill{\ns UPR-T960, OUTP-99-03P} \\[1em]

224:    {Knots, Braids and BPS States in M-Theory} \\[1em] }

225: \author{

226:    Antonella Grassi $^1$, Zachary Guralnik$^3$

227:    and  Burt A.~Ovrut $^2$ \\[0.5em]

228:    {\ns $^1$ Department of Mathematics, University of Pennsylvania} \\[-0.4em]

229:    {\ns Philadelphia, PA 19104--6395, USA}\\

230:    {\ns $^2$ Department of Physics, University of Pennsylvania} \\[-0.4em]

231:    {\ns Philadelphia, PA 19104--6396, USA}\\

232:    {\ns $^3$ Institut fur Physik, Humboldt Universitat}\\[-0.4em]

233: {\ns Invalidenstrasse 110, 10115 Berlin, Germany}}

234: 

235: 

236: \date{}

237: 

238: 

239: 

240: \maketitle

241: 

242: 

243: 

244: \begin{abstract}

245: In previous work we considered $M$-theory five branes wrapped on

246: elliptic Calabi-Yau threefold near the smooth part of the

247: discriminant curve. In this paper, we extend that work to compute

248: the light states on the worldvolume of five-branes wrapped on

249: fibers near certain singular loci of the discriminant. We regulate

250: the singular behavior near these loci by deforming the

251: discriminant curve and expressing the singularity in terms of

252: knots and their associated braids. There braids allow us to

253: compute the appropriate string junction lattice for the

254: singularity and,hence to determine the spectrum of light BPS

255: states. We find that these techniques are valid near singular

256: points with $N=2$ supersymmetry.

257: 

258: 

259: 

260: 

261: \end{abstract}

262: 

263: 

264: 

265: \thispagestyle{empty}

266: 

267: 

268: 

269: \end{titlepage}

270: 

271: 

272: 

273: 

274: 

275: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

276: 

277: 

278: 

279: \section{Introduction}

280: 

281: 

282: 

283: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

284: 

285: 

286: 

287: 

288: 

289: In this paper, we will consider elliptically fibered Calabi--Yau

290: threefolds, $X$, over base surfaces, $B$. The discriminant curve

291: is composed of smooth regions as well as  singular points. For

292: specificity, in \cite{ggo} the discriminant curves associated with

293: some Calabi--Yau elliptic fibrations over the blown--up Hirzebruch

294: base space $B=\hat{\mathbb F}_{3}$ were computed. The fibers of an

295: elliptic fibration are smooth except over the discriminant locus,

296: where they degenerate in specific ways classified in part by

297: Kodaira \cite{kod}. There are also non-Kodaira fibers which may

298: occur over singularities of the discriminant curve.  In general,

299: the Kodaira type of the fiber degeneration may be different over

300: different smooth components of the discriminant locus. In

301: \cite{ggo}, we discussed the Kodaira classification of

302: degenerating elliptic fibers and explicitly computed the Kodaira

303: type of fibers over the discriminant curves associated with the

304: base $B=\hat{\mathbb F}_{3}$. An example of such a discriminant

305: curve, indicating the Kodaira type of fiber degeneration, is shown

306: in Figure $1$.

307: 

308: 

309: 

310: \onefigure{discrim3}{Schematic illustration of a discriminant

311: curve.

312:         The fibers over the smooth parts of the curves $\cS$, $\sigma$ and $\Sigma$

313:         are of Kodaira type $III^{*}$, $I_{2}$ and $I_{1}$ respectively. The

314:         fibers over

315:         the cusp points of $\Sigma$ are of Kodaira type $II$.

316:         There are non-Kodaira fibers (NK) over the points where the

317:         $\cS$ component intersects the $\Sigma$ components normally. There are

318:         $I_3$ fibers where the $\sigma$ component meets the $\Sigma$ component

319:         normally, and fibers of type $III$ where the $\sigma$ component

320:         intersects the $\Sigma$ component tangentially.}

321: 

322: 

323: 

324: It was shown in a series of papers \cite{losw1, nse, don1,fbs, ms,

325: ppm, si} that, when Ho\v rava--Witten theory \cite{HW1} is

326: compactified on an elliptically fibered Calabi--Yau threefold, the

327: requirements that there be three generations of quarks and leptons

328: on the ``observable brane'' and that the theory be anomaly free

329: generically necessitates the existence of wrapped M five--branes

330: in the five--dimensional ``bulk space''. These five--branes have

331: two space--like dimensions wrapped on a holomorphic curve in the

332: Calabi--Yau threefold. In \cite{ggo} and in this paper, we are be

333: interested in the case when this holomorphic curve is a pure

334: fiber, $\cC_{2}$. The five--brane worldvolume manifold is then

335: $M_{4} \times \cC_{2}$. The four dimensional theory arising from

336: the wrapped five--brane has $N=1$ supersymmetry.  However the

337: amount of supersymmetry may be enhanced at low energies, depending

338: on the five--brane location in the base. For $\cC_{2}$ located at

339: a generic point in the base, it can be shown that, at low energy,

340: the $M_{4}$ worldvolume theory always contains a single $U(1)$

341: $N=4$ Abelian vector supermultiplet. However, if the fiber

342: approaches any point on a smooth component of the discriminant

343: curve, the $M_{4}$ worldvolume supersymmetry is enhanced to $N=2$.

344: In addition to the $N=2$ decomposition of the $N=4$

345: supermultiplet, new light BPS hypermultiplets carrying $U(1)$

346: charges appear. The states may carry mutually non-local dyonic

347: charges,  which can not simultaneously be made purely electric by

348: an $SL(2,Z)$ transformation. In that case, these theories are

349: exotic and do not have a local Lagrangian description.  When the

350: five--brane wraps the degenerate fiber over the smooth component

351: of the discriminant curve,  the theory flows to an $N=2$

352: interacting fixed point in the infrared,  of a type originally

353: described (in a different context) in \cite{argyresdouglas,

354: argwitten, minahan}. In \cite{ggo}, we considered only the smooth

355: regions of the discriminant locus and using the theory of string

356: junction lattices \cite{bartonone, bartontwo} we presented strong

357: constraints on the spectrum and the local and global charges of

358: the additional light BPS hypermultiplets on $M_{4}$.

359: 

360: 

361: 

362: The discussion in \cite{ggo} was restricted to smooth regions of

363: the discriminant locus for two reasons. First, the supersymmetry

364: at such points is $N=2$,  and there are powerful constraints on

365: the possible BPS multiplets \cite{bartontwo}. Furthermore,  the

366: degenerate fibers over a smooth component of the discriminant

367: curve fall entirely under Kodaira's classification, and there is

368: no ambiguity in the computation of the BPS states. However,

369: neither of these is always a property of singularities of the

370: discriminant locus,  as we will see below.

371: 

372: 

373: 

374: The supersymmetry on a five--brane wrapped near such points is not

375: always enhanced beyond $N=1$ at low energies.

376: In these cases,  a theory of a five brane wrapping a

377: degenerate fiber over the singular point is an $N=1$ fixed point

378: theory of the type discovered in \cite{aks}. In \cite{aks} these

379: theories appeared in the context of three-brane probes of F-theory

380: compactifications on elliptic Calabi-Yau threefolds. In

381: \cite{aks},  singularities of the discriminant locus giving rise

382: to such singularities were identified,  and certain anomalous

383: dimensions were obtained. Like its $N=2$ counterpart, the low

384: energy theory on a five-brane wrapped near a singularity of the

385: discriminant curve is expected to have matter with mutually

386: non-local charges, however much less is known about the spectrum.

387: In this paper we begin a study of the spectrum near singularities

388: of the discriminant curve.

389: 

390: 

391: 

392: 

393: In \cite{ggo} we deformed the Weierstrass model so that the new

394: discriminant curve was a local, disjoint union of $I_1$ curves. We

395: showed  that this method can be successfully applied to points on

396: the smooth parts of the discriminant curve. In this paper, we

397: extend these results to elliptic fibrations in a neighborhood of a

398: singular locus of the fibration.

399: 

400: 

401: 

402: One could attempt to deform the Weierstrass model around a

403: singular point $P_0$ of the discriminant in such a way that the

404: new discriminant curve is a locally smooth curve with $I_1$

405: fibers. Deformations of this type could, in principle, be applied

406: to some singular discriminant loci, albeit in a manner that

407: differs significantly from the smooth case. Even in these cases,

408: however, technical difficulties arise. We are motivated,

409: therefore, to present some other procedure to ``regulate'' the

410: singular loci. In other cases it is simply not possible to deform

411: the isolated singularity of the discriminant.

412: 

413: 

414: Our approach will be the following: first, we will choose certain

415: deformations of the Weierstrass model, so that the discriminant

416: locus will still have the same multiplicity  at $P_0$, and the

417:  nearby singular fibers are of Kodaira type $I_1$.  We then ``regulate" the singular point $P_0$

418: of the discriminant by surrounding it with an infinitesimal real

419: sphere, $S^{3}$. A similar approach appeared in

420: \cite{argyresdouglas},  in the context of $SU(3)$ ${N} =2$

421: Yang-Mills theory. The intersection of the discriminant curve with

422: this sphere produces either a knot or a link in $S^3$ which is

423: characteristic of the type of the singularity at $P_0$. All the

424: points on this knot or link are within a smooth component of the

425: discriminant curve of Kodaira type $I_1$. Any knot or link can be

426: represented, but not uniquely, by a braid and an associated

427: element of the braid group.

428: 

429: 

430: Next, we  choose a braid and  we seek the equivalence classes of

431: string junctions on $S^3$,  that is, the classes of junctions

432: related by deformations and by Hanany-Witten transitions. Now,

433: using the braid group and Hanany--Witten transformations, one can

434: show that all possible $S^{3}$ string junction configurations are

435: equivalent to a string junction in a real surface ${\cal{P}}$

436: transverse to the braid.

437:  This is possible because  the allowed deformations

438: do not change the singularity type of the general surface through

439: $P_0$.

440: 

441: 

442: 

443: Since intersection number can be defined for membranes in the

444: elliptic fibration over this surface, it follows that one can

445: define the associated string junction lattice exactly as in

446: \cite{ggo, bartonone}.  However, there remains an ambiguity that

447: must be resolved. This arises from the fact that the braids

448: associated with a given knot or link are not unique. We resolve

449: these ambiguities by showing, using the braid group and

450: Hanany--Witten transformations, that the string junction lattices

451: associated with any two braid representations arising in this way

452: are equivalent.

453:  In fact, we will show that

454: the choice of an elliptic surface   in the neighborhood of the

455: singularity is related to the choice of a braid representative.

456:  The ``general elliptic" surface corresponds to the ``minimal braid"

457: (defined in A.2);  when our method can be applied, the junction

458: lattice of the threefold is that of the general elliptic surface

459: through $P_0$.

460: 

461: 

462:  Our method cannot always be  successfully applied.

463:    In Section \ref{susy1} we

464:    give one such example:   the

465:  supersymmetry here is broken to ${N} =1$ at the point $P_0$. In Section \ref{susy2} we

466:   discuss the relationship with

467:    supersymmetry breaking.

468: 

469:   \medskip

470: 

471: 

472:   The outline of the paper is as follows:

473:   in Section \ref{methods} we state the procedure;

474:   in Section \ref{notation} we recall basics facts about elliptic fibrations,

475: singular fibers and discriminants.

476:   In Section \ref{cusps} we consider an example where the discriminant has a singularity at

477:  a point $P_0$ and the nearby singular fibers are of Kodaira type

478:  $I_1$. In this case we do not need to deform the Weierstrass

479:  equation; instead  we explain in details how two different

480:  braids give the same equivalence class of string junction

481:  lattices. In the Appendix, we explicitly describe  the knot

482:  associated with this discriminant singularity and the two different braids

483:  in consideration.

484: 

485: 

486: In Section \ref{def}, we work out three examples where the

487: discriminant has to be  deformed. These examples illustrate the

488: various rules stated in Section \ref{methods}. It is worth noting

489: that we can also recover the results

490:  of the previous paper \cite{ggo}, albeit by a less direct

491:  procedure. To illustrate this, in the first example of

492:  \ref{def} we apply our procedure  in a neighborhood of a point in the smooth part

493: of the discriminant with Kodaira type $I_2$.

494: 

495: 

496: \medskip

497: 

498: 

499: Remark:  The order of vanishing of the discriminant of the

500: threefold at $P_0$ coincides with the multiplicity of the

501: discriminant of the general elliptic surface through $P_0$. The

502: latter is the number of end points in the surface string junction

503: lattice, which equals the number of strands in the minimal braid

504: (see A.1 and A.2). This made us suspect that the multiplicity of

505: an isolated curve singularity would always coincide with the

506: number of strands of the minimal braid (also called the ``index"

507: of the knot, or link). It turns out that this statement is indeed

508: always true; its proof is a hard and beautiful result. The first

509: proof was given in \cite{schubert}. A shorter, elegant proof is

510: given by \cite{williams}, using techniques from dynamical systems

511: (see also \cite{libgober} in the same volume, for an algebraic

512: version). For an outline of the proof in the case of`` torus

513: knots'' (see the Appendix and, for example \cite{murasugi}).

514: 

515: 

516: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

517: \section{Outline of our procedure}\label{methods}

518: %%%%%%%%%%%%%%%%%%%%%%%%%%%

519: 

520: 

521: First, we will choose a deformation of the Weierstrass model

522: around $P_0$, which fixes the order of vanishing of the

523: discriminant at the origin, so that the other nearby singular

524: fibers become of Kodaira type $I_1$. This imply that the general

525: elliptic surface through the $P_0$ of the deformed model has the

526: same type of singularity over $P_0$ as in the non-deformed model.

527: 

528: 

529:  We

530: then ``regulate" the singular point $P_0$ of the discriminant by

531: surrounding it with an infinitesimal real sphere, $S^{3}$. The

532: intersection of the discriminant curve with this sphere produces

533: either a knot or a link in $S^3$ which is characteristic of the

534: type of the singularity at $P_0$ (see the Appendix).

535:  All the points

536: on this knot or link are within a smooth component of the

537: discriminant curve of Kodaira type $I_1$.

538: 

539: 

540: 

541: Next, we  choose a braid representative of this knot (link) (see

542: Appendix A) and we seek the equivalence classes of string

543: junctions on $S^3$, that is, the classes of junctions related by

544: deformations and by Hanany-Witten transformations. Note that there

545: is nothing which forces junctions to live on this $S^3$. Actually

546: they live in a four ball $B^4$ surrounding the singular point.

547: However,  we will assume that the equivalence classes of string

548: junctions on $B^4$ are the same as the equivalence classes on $B^4

549: - P_0$,  where $P_0$ is the singular point. The endpoints of the

550: junctions can then be slid along the discriminant curve, so that

551: they lie entirely on the $S^3$ boundary of $B^4$. Now, using the

552: braid group and Hanany--Witten transformations, one can show that

553: all possible $S^{3}$ string junction configurations are equivalent

554: to a string junction in a real surface ${\cal{P}}$ transverse to

555: the braid.

556:  This is possible because  the allowed deformations

557: do not change the singularity type of the general surface through

558: $P_0$.

559: 

560: 

561: 

562: Since intersection numbers can be defined for membranes in the

563: elliptic fibration over this surface, it follows that one can

564: define the associated string junction lattice exactly as in

565: \cite{ggo, bartonone}.  However, there remains an ambiguity that

566: must be resolved. This arises from the fact that the braids

567: associated with a given knot or link are not unique. We resolve

568: these ambiguities by showing, using the braid group and

569: Hanany--Witten transformations, that the string junction lattices

570: associated with any two braid representations arising in this way

571: are equivalent. Furthermore  we show that the string junction

572: lattice in the threefold is the string junction lattice of ``the

573: minimal braid" associated to the knot(link) (see  A.2 for the

574: definition). The braid is obtained by ``cutting" the discriminant

575: with a (complex) curve $C_R$, which depends on the radius $R$ of

576: the $S^3$; in the limit as $R \to 0$, $C_R$ becomes a general

577: curve $C$ through $P_0$ (see A.3).

578: 

579: 

580:   In our examples, the string junction lattice of the elliptic surface over $C$

581:  coincides with the string junction lattice of the

582:  threefold.  We speculate that this will not happen in

583:  more general cases, where the supersymmetry at

584:  $P_0$ is broken at ${ N}=1$.

585: 

586: 

587: \smallskip

588: 

589: 

590: Note that with other deformations of the equation  which do not

591: satisfy our requirements, it is no longer clear how to understand

592: a ``cut'' of this braid as a deformation of the original Kodaira

593: type.

594:  This is because the requirement implies that

595:   the {\it index} (i.e. the minimal number of strands

596:   of an associated braid) of the knot (link) will stay the same

597:   before and after the ``allowed deformations".

598: This can be explained as follow: On an elliptic surface,  the

599: string junction lattice is obtained by locally deforming the

600: Weierstrass  equation so as to split Kodaira fibers into fibers of

601: $I_1$ type.  The number of $I_1$ fibers into which a Kodaira fiber

602: splits is determined by the order of vanishing of the

603: discriminant. There are deformations  which introduce more $I_1$

604: fibers entering from infinity, but none which increase the number

605: locally. {(In cases in which the Kodaira fiber corresponds to a

606: conformal field theory, the deformations which introduce new $I_1$

607: fibers at infinity correspond to irrelevant deformations.)}  There

608: is thus  no smooth deformation which increases the number of

609: states.

610: 

611: 

612: 

613: On an elliptically fibered Calabi-Yau,  the string junction

614: lattice may again be defined by splitting the fibers in the

615: neighborhood of a singularity of the discriminant curve into $I_1$

616: type. The dimension of the string junction lattice is then

617: obtained from the braid index of the resulting knot or link.  As

618: for a K3,  we shall assume that there is no smooth deformation

619: which increases the number of states by raising the dimension of

620: the string junction lattice, (although in this case there may be

621: deformations which lower the dimension.)

622: 

623: 

624: 

625: %%%%%%%%%%%%%%%%%%%%%%%

626: \section{Basic facts about elliptic fibrations}\label{notation}

627: %%%%%%%%%%%%%%%%%%%%%%%%%

628: 

629: 

630: 

631: A simple representation of an elliptic curve is given in the

632: projective space $\cp{2}$ by the Weierstrass equation

633: %

634: \begin{equation}

635: zy^2=4x^3-g_2xz^2-g_3z^3 \label{eq:31}

636: \end{equation}

637: %

638: where $(x,y,z)$ are the homogeneous coordinates of $\cp{2}$ and

639: $g_2$, $g_3$ are constants. The origin of the elliptic curve is

640: located at $(x,y,z)=(0,1,0)$. The torus described by~\eqref{eq:31}

641: can become degenerate if one of its cycles shrinks to zero. Such

642: singular behavior is characterized by the vanishing of the

643: discriminant

644: %

645: \begin{equation}

646: \Delta= g_{2}^{3}-27g_{3}^{2} \label{eq:31A}

647: \end{equation}

648: %

649: 

650: 

651: 

652: Equation~\eqref{eq:31} can also represent an elliptically fibered

653: surface (or threefold), $W$, if the coefficients $g_2$ and $g_3$

654: in the Weierstrass equation are functions over a base curve  (or

655: surface) $B$ (see for example \cite{ggo}, for more details).

656: 

657: The resolved singular fibers of a Weierstrass model representing

658: an elliptic curve are determined by the order of vanishing of

659: $g_2, g_3$ and $\Delta$; these fibers were classified by Kodaira:

660: 

661: 

662: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

663: \vskip 0.2in

664: %%%%%%%%%%%%%

665: 

666: 

667: \begin{tabular}{|l|c|c|c|}

668: \hline

669: Kodaira type & A-D-E & monodromy & N,L,K \\

670: \hline $I_n$ & $A_{n-1}$ & $\begin{pmatrix} 1 &  n \\ 0 &  1

671: \end{pmatrix} $ &

672: $N=n, L=0, K=0$ \\

673: \hline

674: $II$ & & $\begin{pmatrix}1 & 1\\ -1 & 0 \end{pmatrix}$ & ${N=2, L>0, K=1}$ \\

675: \hline $III$ & $A_1$ & $\begin{pmatrix}0 & 1\\ -1 &

676: 0\end{pmatrix}$ & $N=3, L=1,

677: K>1$\\

678: \hline $IV$ & $A_2$ & $\begin{pmatrix}0 & 1\\ -1 & -1

679: \end{pmatrix}$ & $N=4, L>1,

680: K=2$\\

681: \hline $I_0^*$ & $D_4$ & $\begin{pmatrix} -1 & 0\\ 0 & -1

682: \end{pmatrix}$ & $N=6,

683: L>1, K>2$\\

684: \hline $I_n^*$ & $D_{n+4}$ & $\begin{pmatrix}-1 & -n \\ 0 &

685: -1\end{pmatrix}$ & $N

686: = 6+n, L=2, K=3$\\

687: \hline $IV^*$ & $E_6$ & $\begin{pmatrix} -1 & -1 \\ 1 & 0

688: \end{pmatrix}$ & $N = 8,

689: L>2, K=4$\\

690: \hline $III^*$ & $E_7$ & $\begin{pmatrix} -0 & -1 \\ 1 &

691: 0\end{pmatrix}$ & $N = 9,

692: L=3, K>4$\\

693: \hline $II^*$ & $E_8$ & $\begin{pmatrix} 0 & -1 \\ 1 & 1

694: \end{pmatrix}$ & $N = 10,

695: L>3, K=4$\\

696: \hline

697: \end{tabular}

698: 

699: 

700: \vspace{30pt}

701: 

702: 

703: {\small \noindent Table 1: The integers $N$, $L$ and $K$

704: characterize the behavior of $\Delta$, $g_{2}$ and $g_{3}$ near

705: the discriminant locus $u=0$; $\Delta = u^Na , g_{2} = u^Lb$ , and

706: $g_{3} =u^Kc$ .}

707: 

708: 

709: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

710: \section{Regularizing without deforming the equation: a general cusp singularity of the discriminant}\label{cusps}

711: %%%%%%%%%%%%%%%%%%%%%%%%%%%

712: 

713: 

714: Isolated cusp points are a generic feature of discriminant curves.

715: For example, in the discriminant locus shown in Figure $1$, there

716: are $137$ cusps in the $\Sigma$  component of the curve. Note that

717: any deformation of the Weierstrass equation corresponds to a

718: change of coordinates in the $(s,t)$ plane. Thus it is never

719: possible to remove the singularity of the discriminant by any

720: deformation.

721: 

722: 

723: Consider one such cusp and choose local coordinates $s,t$ which

724: vanish at that point. Then, in the neighborhood of the cusp, the

725: sections $g_{2}$ and $g_{3}$, which define the elliptic fibration,

726: can be taken to be

727: %

728: \begin{equation}

729: g_{2}=s,  \qquad g_{3}=t \label{eq:1A}

730: \end{equation}

731: %

732: It follows that the Weierstrass representation of the fiber and

733: the discriminant are given by

734: 

735: %

736: \begin{equation}

737: y^{2}=4x^{3}-sx-t \label{eq:2}

738: \end{equation}

739: %

740: and

741: %

742: \begin{equation}

743: \Delta= s^{3}-27t^{2} \label{eq:1}

744: \end{equation}

745: %

746: respectively.

747: 

748: 

749: 

750: 

751: Note that the Weierstrass model $y^2 = x^3 - t$ over the surface

752: $s=0$ appears to be that of a type II Kodaira fiber at $t=0$, but

753: the Weierstrass model $y^2 = x^3 - sx$ over the surface $t=0$

754: appears to be that of a type $III$ Kodaira fiber at $s=0$. To

755: discuss the monodromy around a point in the discriminant locus of

756: an elliptically fibered threefold, we could restrict to the

757: fibration over a curve that intersects the discriminant locus at

758: the cusp.  The surface over generic curves, however, are smooth

759: everywhere: note that the path $\cP$ defined by $s=0$, which has

760: coordinate $t$, is generic. For specificity, we take the

761: intersecting surface to be the elliptic fibration over $\cP$,

762: which we denote by ${\cal{T}}$. Restricted to this surface, the

763: cusp appears as a point in the one--dimensional complex base

764: $\cP$. Furthermore,  restricted to ${\cal{T}}$, the discriminant

765: and the Weierstrass representation are given by

766: %

767: \begin{equation}

768: \Delta=-27t^{2},  \qquad y^{2}=4x^{3}-t \label{eq:3}

769: \end{equation}

770: %

771: Both of these quantities are recognized as corresponding to a

772: Kodaira type $II$ degeneration of the fiber at the cusp.  Since

773: the problem has now been reduced to an elliptic surface over a

774: one--dimensional base, we can apply standard Kodaira theory to

775: analyze the monodromy.

776: 

777: 

778: 

779: The $SL(2, {\mathbb Z})$ monodromy transformation for a Kodaira

780: type $II$ fiber is given by

781: %

782: \begin{equation}

783: {\cal{M}}_{II}=\begin{pmatrix}\

784:                   1 & 1 \\

785:                   -1 & 0

786:                   \end{pmatrix}.

787: \label{eq:4}

788: \end{equation}

789: %

790: This transformation acts on the elements of $H_{1}(\cC_{2},

791: {\mathbb Z})$, where $\cC_{2}$ is the elliptic fiber. Note that

792: ${\cal{M}}_{II}$ has no real eigenvector and, therefore, no

793: obvious associated vanishing cycle. The usual way to proceed is to

794: use the fact that ${\cal{M}}_{II}$ can be decomposed as

795: %

796: \begin{equation}

797: {\cal{M}}_{II}= \begin{pmatrix}

798:                   1 & 1 \\

799:                   0 & 1

800:                   \end{pmatrix}

801: \cdot           \begin{pmatrix}

802:                   2 & 1 \\

803:                   -1 & 0

804:                   \end{pmatrix}

805: =A \cdot B \label{eq:5}

806: \end{equation}

807: %

808: where both matrices $A,B$ are monodromies of Kodaira type $I_{1}$.

809: 

810: However, we have to justify the choice of the ``generic" elliptic

811: surface through $P_0$. It is in fact easy to see that non-generic

812: surfaces will give different string junctions.

813: 

814: In order to resolve this ambiguity, following  \cite{argyresdouglas}, we

815: will consider, not the cusp itself, but the intersection of the

816: discriminant curve

817: %

818: \begin{equation}

819: s^{3}-27t^{2}=0

820:  \label{eq:6}

821: \end{equation}

822: %

823: with a l sphere $S^{3}$ of infinitesimal radius $R$

824: centered at the cusp.

825: %

826: We will see in  A.3 that the intersection is the ``trefoil'' knot

827: shown in Figure $2$. All points in the knot lie in the smooth part

828: of the discriminant curve, over which the elliptic fiber is of

829: Kodaira type $I_1$, as shown in Figures $1$ and $2$.

830: 

831: 

832: 

833: \onefigure{trefoil}{The trefoil knot associated with a cusp

834: singularity. There is a Kodaira type $I_1$ fiber over every point

835: in the knot.}

836: 

837: 

838: 

839: To proceed, it is useful to represent the trefoil knot as a braid.

840: This representation is not unique, as we will see in the Appendix.

841: Two relevant braid representatives of the trefoil knot are shown

842: in Figure $3$; we derive them explicitly in  A.3.

843: 

844: 

845: 

846: \onefigure{braid2and3}{Two equivalent braid representations of the

847: trefoil knot (see also figure \ref{cuspinbraids}).

848:  The

849: opposing endpoints are identified.}

850: 

851: 

852: 

853: Note that any braid representative is a curve in ${\RR}^{3}$.

854: First, consider the two strand braid shown in Figure $3(a)$. This

855: is obtained by cutting the knot with the line $s=c_R$, where $c_R$

856: is a constant depending on $R$ and $c_R \to 0$, as $R\to 0$ (see

857: A.3). In this limit, this is one of the generic lines through the

858: origin, intersecting the cusp with multiplicity $2$.

859:  Fix some arbitrary point $P$ in ${\mathbb R}^{3}$

860: (corresponding to the location of the wrapped M5-brane) which is

861: not on the braid, and specify an ${\mathbb R}^{2}$ plane, $\cP$,

862: which contains $P$ and intersects the braid. This is shown in

863: Figure $4(a)$. Note that the braid intersects $\cP$ in two points.

864: The elliptic fibration over $\cP$, which we denote by

865: ${\cal{T}}_{R}$, is our regularization of the surface ${\cal{T}}$.

866: ${\cal{T}}_{R}$ has two separated discriminant points, each of

867: Kodaira type $I_{1}$. In an appropriate basis,  the monodromies

868: around these two points in the plane $\cP$ are $A$ and $B$ as

869: defined in equation (2.6),  as illustrated in figure $4(a)$. Note

870: that in the planes over neighboring sections of the braid,  the

871: monodromies are different.  The relation between monodromies in

872: different sections of a braid is shown in Figure $5$. Next, extend

873: a single string from $P$ to an arbitrary point on the braid which

874: is not, in general, in $\cP$. This point can always be moved back

875: into the plane using a generalized Hanany--Witten mechanism. The

876: result is a two--legged string junction that can be made to lie

877: entirely in the $\cP$ plane. This is shown in Figure $4$.

878: 

879: 

880: 

881: \onefigure{braid4}{Mapping string junctions into a plane. By

882: sliding the endpoints of the junction and doing Hanany--Witten

883: transformations, as between Figures (b) and (c), any string

884: junction can be brought into the plane, as in Figure (d).}

885: 

886: 

887: 

888: 

889: \onefigure{monorelation}{Illustration of the relation between

890: $SL(2,Z)$ monodromies in different sections of a braid.}

891: 

892: 

893: 

894: 

895: It is not hard to show that any string junction starting at $P$

896: can always be represented by a two--legged string junction in the

897: plane $\cP$. Note that the string junction lattice we obtain in

898: this manner corresponds to a Kodaira type $II$ fiber degeneracy.

899: Having put a junction in the plane,  one can then slide  endpoints

900: of the junction lattice all the way around the braid and then do

901: Hanany-Witten transitions to bring the junction back into the

902: plane.  This could, in principle, generate an additional

903: equivalence relation,  equating apparently different junctions in

904: the plane $\cP$.  It is easy to see that, in this case, there is

905: no such equivalence relation. This is because the total $(p,q)$

906: charge of a junction (or the boundary cycle of the membrane which

907: results from lifting to M-theory) is not changed by this process.

908: Since there are only two $I_1$ loci in the plane, the $p$ and $q$

909: charges completely determine the equivalence class of a junction

910: in the plane (defined up to deformations and Hanany-Witten

911: transitions within the plane).  Thus,  in this instance, the

912: equivalence classes of junctions are the same as the equivalence

913: classes of junctions restricted to the plane $\cP$.

914: 

915: 

916: 

917: Before discussing these states, however, we would like to point

918: out that one could have considered the surface over the line $t=0$.

919: This line intersects the discriminant curve with multiplicity $3$.

920: The path $\cP$, with coordinate $s$, is  here defined by $t=0$. To

921: begin, denote the elliptic fibration over $\cP$ by ${\cal{T}}$ and

922: note that the cusp appears as a point in the one--dimensional

923: complex base. Furthermore, the discriminant and Weierstrass

924: representation are given by

925: %

926: \begin{equation}

927: \Delta=s^{3}, \qquad y^{2}=4x^{3}-sx \label{eq:9}

928: \end{equation}

929: %

930: which is the Weierstrass representation of a type $III$ Kodaira

931: fiber in an elliptic surface. Since the problem has now been

932: reduced to an elliptic two-fold, we can apply standard Kodaira

933: theory to analyze the monodromy.

934: 

935: 

936: 

937: The $SL(2,{\mathbb Z})$ monodromy transformation for a Kodaira

938: type $III$ fiber is given by

939: %

940: \begin{equation}

941: {\cal{M}}_{III}= \begin{pmatrix}\

942:                     0 & 1 \\

943:                    -1 & 0

944:                    \end{pmatrix}

945:                   = A \cdot\ A \cdot B

946: \label{eq:9A}

947: \end{equation}

948: %

949: where matrices $A, B$, defined in~\eqref{eq:5}, both correspond to

950: monodromies of Kodaira type $I_{1}$. Since ${\cal{M}}_{III}$ has

951: no real eigenvector, one can attempt to proceed by deforming the

952: discriminant curve from a single point of Kodaira type $III$ to

953: three separate points, each of Kodaira type $I_{1}$. This

954: deformation corresponds to the Weierstrass model of equation

955:  $$  y^{2}=4x^{3}-sx + t.$$

956: Here $t$ is the deformation parameter; the three $I_1$ fibers are

957: found by considering the plane $t=c_R$, where $c_R$ is a constant

958: (which depends on the radius $R$). These three singular fibers are

959: exactly the ones obtained by a ``vertical cut'' (with the line

960: $t=c_R$) in the 3-braided representation of the trefoil knot, as

961: shown in Figure 3(b) (compare also with A.3).

962: 

963: 

964: 

965: Choose some point $P$  (corresponding to the location of the

966: wrapped M 5-brane) which is not on the braid and specify a plane

967: $\cP$ which passes through $P$ and intersects the braid. This is

968: depicted in Figure $6$. Note that the braid intersects $\cP$ in

969: three points. The elliptic fibration over $\cP$, which we denote

970: by ${\cal{T}}_{R}$, is our regularization of the surface

971: ${\cal{T}}$. ${\cal{T}}_{R}$ has three separated discriminant

972: points, each with Kodaira type $I_{1}$. The monodromies of each of

973: these points can be computed and in an appropriate basis are the

974: matrices $A$, $A$, and $B$ respectively in the plane $\cP$

975: indicated in Figure 6.

976: 

977: 

978: 

979: By sliding string endpoints along the braid and using the

980: Hanany--Witten mechanism, it can be shown that any string junction

981: starting on $P$ and ending at arbitrary points on this braid can

982: always be deformed to a three-legged string junction lying

983: entirely within the plane $\cP$.

984: 

985: 

986: \onefigure{braid3junction}{String junctions can always be brought

987: into the plane intersecting the three--segment braid

988: representation of the trefoil knot.}

989: 

990: 

991: 

992: Note that the string junction lattice we obtain from this

993: three--strand  braid representation appears to be one associated

994: with a Kodaira type $III$ fiber degeneracy and, hence, in

995: contradiction with the above result.  However, despite

996: appearances, the string junction lattice associated with the

997: three--strand braid is equivalent to the two--strand braid string

998: junction lattice. Generically, the reason for this is the

999: following. Unlike the type $III$ string junction lattices at a

1000: smooth point in the discriminant curve \cite{ggo, bartonone}, we

1001: can define a set of transformations where either one, two or all

1002: three legs of the junction can be translated along the braid until

1003: they return to the plane $\cP$. As a rule, one will obtain a

1004: different string junction in the plane $\cP$. However, by

1005: construction, this new junction must be equivalent to the original

1006: one. That is, not all Kodaira type $III$ string junctions near a

1007: cusp are independent. We now proceed to show that, in fact, only a

1008: Kodaira type $II$ subset of string junctions  are independent.

1009: 

1010: 

1011: 

1012: The braid under consideration is divided into sections, each with

1013: three parallel lines. An element of the braid group acts between

1014: each section by intertwining the three lines.  As one moves the

1015: junction from one section to the next,  one can do a Hanany-Witten

1016: transition to keep it in a canonical form within a plane

1017: intersecting the braid section,  in which the junction lies in the

1018: upper half-plane. In this way, the braid group acts on string

1019: junctions restricted to the plane.  As one goes all the way around

1020: the braid, string junctions $J$ in the plane $\cP$ are acted on by

1021: the (three-strand) braid group element of the knot $\cG$,  giving

1022: another string junction $J^{\prime}$ which is equivalent to $J$

1023: \begin{equation}

1024: \cG J = J^{\prime} \sim J

1025: \end{equation}

1026: Such an equivalence would not exist if we were considering the

1027: junction lattice of a type $III$ fiber in an elliptic two-fold

1028: instead of a three-fold. The string junction lattice is thus the

1029: quotient of the string junction lattice restricted to the plane

1030: $\cP$ by the action of the braid group. To see explicitly how the

1031: quotient acts, consider an oriented string, denoted by

1032: $\vec{\alpha}$, connecting the two discriminant points in the

1033: $\cP$ plane in Figure $6$ with identical monodromy matrix $A$.

1034: Translating this string along the braid, we find that it returns

1035: to the plane $\cP$ with its orientation reversed, as illustrated

1036: in Figure $7$. We have indicated in the figure the canonical form

1037: of the junction which arises as one moves around the braid. Within

1038: each section of the braid,  the junction may be written as a

1039: vector $\vec{\alpha} = n_1 {\vec v}_1 + n_2 {\vec v}_2 + n_3 {\vec

1040: v}_3$,  where ${\vec v}_i$ is a single string with an endpoint on

1041: the i'th segment of the braid, labelled from top to bottom.  As

1042: one moves around the braid, starting from the point indicated,

1043: $\vec{\alpha}$ is transformed as follows

1044: \begin{equation}

1045: {\vec{\alpha}} = {\vec v}_1 - {\vec v}_3 \rightarrow {\vec v}_1 +

1046: {\vec v}_3 - {\vec v}_2 \rightarrow {\vec v}_3 - {\vec v}_1

1047: \rightarrow {\vec v}_2 + {\vec v}_3 - {\vec v}_1 \rightarrow {\vec

1048: v}_3 - {\vec v}_1 = -{\vec{\alpha}}

1049: \end{equation}

1050: This sequence is illustrated in Figure $7$. It follows that

1051: $\vec{\alpha}$ is equivalent to zero. Therefore,as illustrated in

1052: Figure 8, given any junction we can, by Hanany-Witten

1053: transformations, write it as a two strand junction in the plane

1054: $\cP$ with an endpoint on the strand with monodromy $B$ and an

1055: endpoint on one of the strands with monodromy $A$. There can be no

1056: further equivalence relation because the dimension of the lattice

1057: must be at least two to get all possible $(p,q)$ boundary cycles.

1058: Thus one has the same two dimensional string junction lattice that

1059: one obtains for a type $II$ Kodaira fiber.

1060: 

1061: 

1062: 

1063: Another way of stating the above result is the following. Given

1064: the Weierstrass model $y^2 = 4x^3 -sx -t$,  one can find the

1065: lattice of string junctions restricted to a curve of constant

1066: non-zero $t$. One then quotients by the monodromy which acts on

1067: this lattice as one moves this curve in a circle around $t=0$

1068: \footnote{Note that this monodromy in some ways resembles that

1069: which gives non-simply laced algebras in certain F-theory

1070: compactifications \cite{bershadskyetal, aspinwallkatzmorrison} by

1071: acting on the Dynkin diagram.  However these monodromies are not

1072: equivalent.  In instances in which there are non-simply laced

1073: algebras,  the roots which are projected out by the Dynkin diagram

1074: monodromy have corresponding string junctions which are not

1075: projected out by the monodromy which acts on the junction lattice.

1076: However these junctions give rise to hypermultiplets rather than

1077: vector multiplets.}. This gives the same result as restricting to

1078: curve of constant non-zero $s$, and quotienting by the (in this

1079: case trivial) monodromy which acts when one moves the curve in a

1080: circle around $s=0$.

1081: 

1082: 

1083: 

1084: In this Section, we have only proven the equivalence of the two

1085: and three-braid string junction lattices.  However,  using these

1086: techniques it is not hard to demonstrate this equivalence  for all

1087: braid representations of the trefoil knot. It follows that the

1088: correct structure of the string junction lattice at a cusp,

1089: Kodaira type $II$, is most easily obtained from the two-braid

1090: representation. As discussed above, this corresponds to choosing

1091: the curve intersecting the cusp to be generic.  In general,  it

1092: turns out that the junction lattice in the neighborhood of a

1093: singularity of the discriminant curve is determined by the

1094: $SL(2,Z)$ monodromy around the singular point within a generic

1095: slice. In the present example,  a generic slice containing the

1096: cusp is given locally by $s + \lambda t = 0$ for finite $\lambda$.

1097: The restriction of the Weierstrass equation to this slice is $y^2

1098: = 4x^3 + \lambda t x - t$,  with the discriminant $\Delta = t^2(-

1099: \lambda^3 t - 27)$. The monodromy around $t=0$ is that of a type

1100: $II$ Kodaira fiber. This completely resolves the discrepancy

1101: discussed above.  That is, the junction lattice is that of a type

1102: $II$ Kodaira fiber on an elliptic surface. In fact,  in this case,

1103: the fiber at the  cusp happens to be a type $II$ Kodaira fiber.

1104: Later, we will encounter examples in which the fiber type does not

1105: match the junction lattice.

1106: 

1107: 

1108: 

1109: \onefigure{quotientandmonodromy}{(a) The root junction

1110: $\vec{\alpha}$ can be transformed to $-\vec{\alpha}$ by a

1111: translation all the way around the braid. As one moves from one

1112: section of the braid to the next, Hanany-Witten transitions are

1113: performed to keep the junction in a canonical form in the upper

1114: half of a plane transverse to the braid.  The vanishing cycles

1115: with respect to a path in the upper half plane are indicated above

1116: each segment of the braid. The vanishing cycles are eigenvectors

1117: of the monodromies indicated in (b).}

1118: 

1119: 

1120: 

1121: \onefigure{IIIequivII}{In the three--strand braid representation

1122: of the trefoil,  the root junction $\vec{\alpha}$ is equivalent to

1123: zero. Therefore, any string junctions related by the addition or

1124: subtraction of $\vec{\alpha}$ are equivalent. Thus, the string

1125: junction lattice is actually that of a Kodaira type $II$,  rather

1126: than of type $III$.}

1127: 

1128: 

1129: 

1130: The string junction lattice is only part of what is required to

1131: determine the spectrum of light charged matter on a five--brane

1132: wrapped near a singularity. Extra constraints are required, which

1133: we will discuss later.   In this particular example, however,  we

1134: expect that the infrared limit of the five-brane worldvolume

1135: theory in the neighborhood of the cusp is the same as that in the

1136: neighborhood of a type $II$ Kodaira fiber over a smooth component

1137: of the discriminant curve.  This is because,  based on arguments

1138: in \cite{aks},  the cusp singularity can not describe a conformal

1139: fixed point with a Weierstrass form invariant under scale

1140: transformations. Furthermore, the operators which deform a smooth

1141: type $II$ into a cusp are irrelevant,  while those which deform a

1142: smooth type $III$ into a cusp are relevant.  This is consistent

1143: with the result that the  string junction lattice is that of a

1144: type $II$.  We conclude that the light state spectrum at a cusp

1145: singularity is $N=2$ supersymmetric and identical to the spectrum

1146: for a Kodaira type $II$ fiber over points in the smooth part of

1147: the discriminant curve.   This spectrum was computed in \cite{ggo,

1148: bartontwo}.

1149: 

1150: 

1151: %%%%%%%%%%%%%%%%%%%%%%%%

1152: \section{Deforming the equation: normal crossing intersections of the discriminant}\label{def}

1153: %%%%%%%%%%%%%%%%%%%%%%%%

1154: 

1155:   In the previous section, we gave an example of a singularity where it was not necessary

1156:   to deform the discriminant curve, since the Kodaira type fibers in a neighborhood of

1157:   $P_0$           are of type $I_1$.

1158: Here we present  three different examples where the Kodaira type fibers in a neighborhood of

1159:   $P_0$           are no longer of type $I_1$.  Therefore, in these examples,

1160:   we first need to deform

1161: the discriminant curve, before regularizing the singularity with

1162: the sphere $S^3$.

1163:   In the case of the normal crossing

1164: intersection, the links  on $S^3$ are, in fact, simple linked

1165: circles and there is an obvious minimal braid (with no extra

1166: relations on the string junction lattice).

1167:  Thus, while in the previous example we focused on the

1168:  braids, in the following  examples we will focus on the deformations.

1169: 

1170:  Before we consider the examples of simple normal crossing singularities,

1171:  we will revisit the case of a smooth part of the discriminant curve,

1172:  as discussed in \cite{ggo}.

1173:  Unlike \cite{ggo}, however, in this section we will use a deformation

1174:  which leaves the multiplicity of the discriminant fixed at a point

1175:  and regularize the singularity with the sphere $S^3$.

1176: All the examples in \cite{ggo} could have been computed in this manner.

1177:  We present this method here, since it gives a simple illustration of

1178:  the features which will occur, in a more complicated form, for  simple

1179:  normal crossing singularities.

1180: 

1181: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1182: \subsection{The smooth locus of the discriminant }\label{smooth}

1183: %%%%%%%%%%%%%%%%%%%%%%%%%%%

1184: 

1185:   We consider the smooth part of the discriminant of Kodaira

1186:   type $I_2$, in Figure 1.

1187: Pick any point $P_0$ on the smooth part of $\sigma$, and choose the origin of the

1188: $s,t$ coordinates to be at that point. In the neighborhood of this

1189: point, the associated sections have the form

1190: %

1191: \begin{equation}

1192: g_{2}=3a^2, \qquad g_{3}=a^3-s^2, \qquad \Delta= s^{2}f^{2}

1193: \label{eq:81}

1194: \end{equation}

1195: %

1196: where $a$ and $f$, to leading order in $s$, are non--zero

1197: functions of $t$ only. (See for example, Table $1$ in Section \ref{notation}.

1198: 

1199: We choose a deformation of the Weierstrass representation which

1200: fixes the order of vanishing (here the order of vanishing is $2$) of the discriminant at the origin.

1201: After the deformation, the singular fibers outside

1202: the origin become of Kodaira type $I_1$. A suitable such deformation of

1203: the equation has the form

1204: %

1205: \begin{equation}

1206: y^2=4x^3 -3a^2x -(a^3-(s+ \epsilon t)(s-\epsilon t))

1207: \end{equation}

1208: %

1209:  with discriminant

1210: %

1211: \begin{equation}

1212: \Delta_\epsilon= (s+ \epsilon t)(s-\epsilon t) b,

1213: \end{equation}

1214: %

1215: where $b$ does not vanish near $P_0$.

1216:  Note that this is also the ``relevant" deformation   used in \cite{ggo}

1217:  of the general elliptic surface through $P_0$, with $\epsilon t$ the deformation

1218:  parameter.

1219: 

1220:  The general elliptic surface of

1221: the deformed model through $P_0$ (obtained by setting, say $t=0$)

1222:  also has Kodaira type fiber of type $I_2$.

1223: Similarly, the order of vanishing of the discriminant at $P_0$ is $2$,

1224:   both in the deformed and non-deformed models.

1225:  This satisfies the rules stated in Section \ref{methods}.

1226:  Then, as for the cusp singularity, we will regulate the

1227: crossing point by considering the intersection of the deformed discriminant

1228: curve with the sphere $S^{3}$ of infinitesimal radius $R$ centered

1229: $P_0$.

1230: %

1231: We obtain the  ``link'' shown in Figure \ref{s1} (see Appendix A

1232: and A.3). Since this link is composed of points all in the smooth

1233: part of the discriminant curve, the Kodaira type of fiber

1234: degeneration over any point in the link can be determined by

1235: canonical methods.

1236: 

1237: 

1238: 

1239: \onefigure{s1}{Link associated to the deformed $I_2$ smooth

1240: locus.}

1241: 

1242: 

1243: 

1244: As before, we represent this link as a braid.

1245: Since this link is so simple, the  proof that the string junction lattice is that of the

1246: minimal braid is straightforward.

1247:  This {\it minimal braid} (see A.2) is shown in Figure $10$.

1248: 

1249: 

1250:  \onefigure{s3}{Minimal braid associated to the deformed $I_2$ smooth locus. }

1251: 

1252: 

1253:  Note

1254: that the braid intersects $\cP$ in two points. The elliptic

1255: fibration over $\cP$, which we denote by ${\cal{T}}_{R}$, is our

1256: regularization of the surface ${\cal{T}}$. ${\cal{T}}_{R}$ has

1257: two separated discriminant points,

1258:  with Kodaira type $I_{1}$. The monodromies of these points can be computed and

1259: are found to be of type $A$.

1260: Using the Hanany--Witten mechanism, it is not too hard to show

1261: that any string junction starting at $P$ can always be represented

1262: by a two--legged string junction in the plane $\cP$. Note that the

1263: string junction we obtain in this manner corresponds to a two

1264: Kodaira type $I_{1}$ fiber degeneracy.

1265: 

1266: 

1267:  Because the braid is composed by two simply linked segments,

1268:  there are no further relations on the string junction lattice

1269:  in the plane $\cal P$,  which is the lattice of a type $I_{2}$.

1270:  Note that the vanishing of the discriminant at $P_0$

1271:  is equal to

1272:  the number of strands of the braid.

1273:  This is a general fact,

1274:  see A.2  and the  end

1275:  of the Introduction.

1276: Without the  restriction on the allowed deformations, we could

1277: have  obtained a braid with fewer strands. It would no longer have

1278: been  clear how to see a ``cut'' of this braid as a

1279: deformation of the Kodaira type $I^2$.

1280: 

1281: 

1282: 

1283:  \medskip

1284: 

1285: 

1286:  In general, if $P_0$ is a

1287: smooth point of the discriminant, then any allowed deformation is

1288: also a deformation of the general elliptic surface through $P_0$.

1289:   The associated

1290:  link is given by $n$ simple linked circles,

1291:  where $n$ is the order of vanishing of the discriminant at $P_0$.

1292:  The associated minimal braid has $n$ strands, because we have $n$

1293:  distinct links; any

1294: allowed deformation is also a deformation of the general elliptic

1295: surface through $P_0$.  Hence, we find the string junction lattice of the

1296: general surface through $P_0$.

1297: 

1298: 

1299: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

1300: \subsection{Simple Normal Crossing Intersection: Kodaira type $I_1$ and

1301: $I_2$}\label{def1}

1302: %%%%%%%%%%%%%%%%%%%%%%%

1303: 

1304:    We now apply the techniques described in the previous subsection

1305:    to simple normal crossing intersection of the discriminant curve.

1306: In the discriminant locus shown

1307: in Figure $1$, there are $28$ simple normal crossing intersections

1308: of the components $\Sigma$ and $\sigma$ of the curve.  Consider

1309: one such intersection $P_0$ and choose local coordinates $s,t$

1310: around $P_0$. Then, in the neighborhood of this point, the

1311: sections $g_{2}$ and $g_{3}$ can be taken to be

1312: %

1313: \begin{equation}

1314: g_{2}= 3a^2, \qquad  g_{3}= a^3 - s^2t, \label{eq:a}

1315: \end{equation}

1316: %

1317: where $a$ is a suitable constant (see  Section \ref{notation}). The

1318: equations of the Weierstrass model and the discriminant are given

1319: by

1320: %

1321: \begin{equation}

1322: y^{2}=4x^{3}- 3a^2x- (a^3 -s^2t) \label{eq:b}

1323: \end{equation}

1324: and

1325: %

1326: \begin{equation}

1327: \Delta_\epsilon =s^2t [-2a^3 +s^2t]

1328: \end{equation}

1329: respectively.

1330:  We choose a

1331: deformation of the Weierstrass representation which fixes the

1332: order of vanishing of the discriminant at the origin, while the

1333: singular fibers outside the origin become Kodaira type $I_1$.

1334: 

1335: 

1336: The equation of the deformed Weierstrass threefold and the

1337: discriminant are given by

1338: %

1339: \begin{equation}

1340: y^{2}=4x^{3}- 3a^2x- (a^3 -(s+\epsilon t)(s-\epsilon t))t

1341: \label{eq:b}

1342: \end{equation}

1343: %

1344: and

1345: %

1346: \begin{equation}

1347: \Delta =(s+\epsilon t)(s-\epsilon t)t [-2a^3 +(s+\epsilon

1348: t)(s-\epsilon t)t]

1349: \end{equation}

1350: respectively. We see that any point with Kodaira type $I_{2}$,

1351:  is split into two

1352: nearby discriminant points, each of Kodaira type $I_{1}$.

1353:  Note

1354: that the general elliptic surface of the deformed model through

1355: $P_0$  (obtained, by setting, say, $t=s$) has the same type of

1356: singularities as the non-deformed one and that the multiplicity of

1357: the discriminant through $P_0$ is unchanged in the deformed and

1358: non-deformed models.

1359:  This satisfies the rules stated in Section \ref{methods}.

1360:  Then, as in the previous example, we will regulate the

1361: crossing point by considering the intersection of the deformed

1362: discriminant curve with the sphere $S^{3}$ of infinitesimal radius

1363: $R$ centered $P_0$.

1364: %

1365: We now  obtain the  ``link'' shown in Figure $11$. Again, this link

1366: is composed of points all in the smooth part of the discriminant

1367: curve and the Kodaira type of fiber degeneration over any point in

1368: the knot can be determined by canonical methods.

1369: 

1370: 

1371: 

1372: \onefigure{mapleknot4}{Link associated to the deformed $I_2$-$I_1$

1373: intersection.}

1374: 

1375: 

1376: 

1377: Next, we represent this link as a braid. Among the various braids

1378: representations we will consider only the simplest braid

1379: representation, which corresponds to choosing a generic base curve

1380: for the intersecting surface.

1381:  This {\it minimal braid} (see A.2) is shown in Figure $12$.

1382: 

1383: 

1384: \onefigure{splitnormal}{Minimal braid associated to the deformed

1385: $I_2$-$I_1$ intersection.  }

1386: 

1387: 

1388:  Note

1389: that the braid intersects $\cP$ in three points. The elliptic

1390: fibration over $\cP$, which we denote by ${\cal{T}}_{R}$, is our

1391: regularization of the surface ${\cal{T}}$. ${\cal{T}}_{R}$ has

1392: three separated discriminant points,

1393:  with Kodaira type $I_{1}$. The monodromies of these points can be computed and

1394: are found to be of type $A$. This is indicated pictorially in Figure $12$.

1395: Using the Hanany--Witten mechanism, it is not too hard to show

1396: that any string junction starting at $P$ can always be represented

1397: by a three--legged string junction in the plane $\cP$. As in the

1398: previous example, because the braid does not induce any relations

1399: among the end points, the associated string junction lattice  has monodromy structure

1400: $A \cdot A \cdot A$. This is

1401: the lattice of a type $I_{3}$ fiber.

1402:  Therefore, the light state spectrum at the $I_1-I_2$ simple

1403:  normal crossing identifies to that of a type $I_3$ fiber over a

1404:  smooth part of the discriminant. This spectrum was presented in

1405:  \cite{ggo}.

1406: 

1407: 

1408: 

1409: 

1410: %%%%%%%%%%%%%%%%%%%%

1411: \subsection{Simple Normal Crossing Intersection: Kodaira type $I_1$ and

1412: $I^*_0$}\label{def2}

1413: %%%%%%%%%%%%%%%%%%%%%%%%

1414: 

1415: 

1416: 

1417: 

1418: 

1419: Here we consider another type of simple normal crossing

1420: intersection, which also occurs in case 1 of example 2 in

1421: \cite{ggo}. Two different components $\Sigma$ and ${\cal{S}}$ of

1422: the discriminant, of Kodaira type $I_1$ and $I^*_0$ respectively,

1423: meet with a simple normal crossing intersection at a point $P_0$.

1424: We can choose local coordinates $s,t$ around $P_0$, with $P_0$ as

1425: the origin. Then, in the neighborhood of this point, the sections

1426: $g_{2}$ and $g_{3}$ can be taken to be

1427: %

1428: \begin{equation}

1429: g_{2}= 3(sa)^2, \qquad  g_{3}= (ac)^3 - s^3t, \label{eq:a}

1430: \end{equation}

1431: %

1432: where $a$ is a suitable function (see Section \ref{notation}). The

1433: equation of the deformed Weierstrass threefold and the

1434: discriminant are given by

1435:  %

1436: \begin{equation}

1437: y^2= 4x^3 -3(sa)^2x+  (sa)^3 + t(s^3 )

1438: \end{equation}

1439: % %

1440: \begin{equation}

1441: t \cdot (s^6) \cdot (4a^3 +t)=0.

1442: \end{equation}

1443: %

1444:  As before, we choose a deformation of the Weierstrass representation

1445: which fixes the singularity of the discriminant at the origin, so

1446: that

1447:  the singular fibers outside the origin become of type $I_1$ in the

1448:  deformed model.

1449: The equation of the deformed Weierstrass threefold and the

1450: discriminant are given by

1451:  %

1452: \begin{equation}

1453: y^2= 4x^3 -3(sa)^2x+  (sa)^3 + t(s^3 - \epsilon ^3 t^3)

1454: \end{equation}

1455: % %

1456: \begin{equation}

1457: t \cdot (s-\e t)\cdot ( s-\e e^{\frac{2\pi i}{3}}t)\cdot ( s- \e

1458: e^{\frac{4\pi i}{3}}t) \cdot (-\e^3 t^4 + s^3(4a^3 +t))=0.

1459: \end{equation}

1460: %

1461: This Weierstrass model defines a threefold $W_\epsilon$, which is

1462:  smooth outside the point $y=x=t=s=0$ ($a$ is non-zero at the origin).

1463: The singular fibers are of type $I_1$, except at the point

1464: ${s=t=0}$.

1465:  This deformation preserves the type of singularity of the generic elliptic surface

1466: through $P$. The corresponding braid can be shown to be a $7$-braid. It is more

1467: complicated to draw, so we limit ourselves to describe it in

1468: words, and display the (MAPLE generated) picture of the

1469: corresponding knot. The braid is composed of four simple linked

1470: circles (as in the previous example) and a 3-stranded minimal

1471: braid.

1472:  It is easy to see that,

1473: by cutting with a general real plane $\cal P$,  we obtain a

1474: monodromy structure of type $A^5 \cdot B \cdot C$. Since there are

1475: no further relations among the different strands, this will also

1476: be the monodromy structure in the threefold. From Table 4 in

1477: \cite{ggo}, we find that the corresponding junction lattice is

1478: that of a type $I^*_1$ singularity. Therefore, the light state

1479: spectrum at the $I_1-I^*_0$ simple

1480:  normal crossing identifies to that of a type $I_1^*$ fiber over a

1481:  smooth part of the discriminant.

1482: 

1483: \onefigure{mapleknot1}{Knot corresponding to the deformed $I^*_1$

1484: and $I^*_0$ simple normal crossing intersection.}

1485: 

1486: 

1487: 

1488: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1489: \section{ A puzzle: Non-transversal Intersections}\label{susy1}

1490: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1491: 

1492: 

1493:  We also studied many examples of non-transversal intersections.

1494: We found that in these cases no deformation leaves the $I_1$ locus

1495: fixed,

1496:  and that we cannot determine

1497: which strands of the knot correspond to the deformation of the

1498: un-deformed points of the discriminant.

1499:  Therefore, the two-dimensional analysis cannot be used

1500: in these examples. This might indicate  that  supersymmetry is

1501: broken  at the point $P_0$, and that the string junction lattice

1502: of the threefold  no longer coincides with that

1503: of the general elliptic surface through $P_0$, as in the  ${N} =2$ case.

1504: As an example of this problem, let us consider a case where the

1505: supersymmetry is known to be broken to  ${N}=1$.

1506: 

1507: In the discriminant locus shown in Figure $1$, there are $5$

1508: non-transversal intersections of the components $\Sigma$ and $\cS$

1509: of the curve. Let us consider one such intersection point and

1510: choose local coordinates $s,t$ which vanish at that point. Then,

1511: in the neighborhood of this point, the sections $g_{2}$ and

1512: $g_{3}$ can be taken to be

1513: %

1514: \begin{equation}

1515: g_{2}=st^{3}, \qquad g_{3}=t^{5} \label{eq:12}

1516: \end{equation}

1517: %

1518: It follows that the Weierstrass representation of the fiber and

1519: the discriminant are given by

1520: %

1521: \begin{equation}

1522: y^{2}= 4x^{3}-st^{3}x-t^{5} \label{eq:13}

1523: \end{equation}

1524: %

1525: and

1526: %

1527: \begin{equation}

1528: \Delta=t^{9}(s^{3}-27t) \label{eq:14}

1529: \end{equation}

1530: %

1531: respectively.

1532: The Kodaira type over $t=0$ is of type $III^*$. A possible allowed

1533: deformation is

1534: %

1535: \begin{equation}

1536: y^{2}= 4x^{3}-st^{3}x-(t^{5} + \e s^5) \label{eq:13}

1537: \end{equation}

1538: %

1539: with discriminant

1540: %

1541: \begin{equation}

1542: \Delta=t^{9}s^{3}-27(t^{10}+\e^2 s^{10} +2\e t^{5}s^5 )

1543: \label{eq:14}

1544: \end{equation}

1545: %

1546: Because deformation does not leave the (original) $I_1$ locus fixed,

1547:  we cannot determine

1548: which strands of the knot correspond to the deformation of the

1549: $III^*$ locus. We do not believe that any

1550: such deformation exists. This makes examples of this kind completely

1551: different from the $N=2$ cases discussed previously in this paper.

1552: 

1553: 

1554: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1555: \section{Supersymmetry at Low Energy.}\label{susy2}

1556: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1557: 

1558: 

1559: The field theory on the worldvolume of a five-brane in the bulk

1560: has ${N}=1$ supersymmetry. However, the amount of supersymmetry

1561: may be greater in the infrared limit. For example, if the

1562: five-brane wraps an elliptic curve over a generic point in the

1563: base of the Calabi-Yau threefold away from the discriminant curve,

1564: the IR theory is an ${N} =4$ $U(1)$ gauge theory.  This can be

1565: understood heuristically as a consequence of the correspondence

1566: between long distances on the five-brane and short distances in

1567: the transverse space-time. In the IR,  the five-brane probes only

1568: the local transverse geometry of the Calabi-Yau base,  which is

1569: $\RR^4$ when the brane wraps a fiber over a generic point in the

1570: base. In the IR,  the scalar fields associated with this $\RR^4$,

1571: together with the axion and $S_1/Z_2$ moduli, belong to a

1572: multiplet under the ${N} =4$ $SO(6)$ R symmetry. The situation is

1573: different when the five-brane wraps a fiber over the discriminant

1574: curve. When this fiber lies over a smooth component of the

1575: discriminant curve, the IR theory has ${N} =2$ supersymmetry.

1576: 

1577: 

1578: When the fiber lies over a singular point of the discriminant

1579: curve, infrared properties can be studied using the methods of

1580: \cite{aks}.  The authors of \cite{aks}, studied the low energy

1581: theories of three-brane probes of Calabi-Yau geometries in

1582: F-theory,  which are the same as the theories which arise in our

1583: context. If the IR theory is an interacting fixed point with ${N}

1584: =1$ supersymmetry, then the local form of the singularity is

1585: preserved by IR flow,  meaning that the local Weierstrass

1586: equation,

1587: \begin{equation}

1588: y^2 = x^3 - f(s,t)x -g(s,t). \label{weier}

1589: \end{equation}

1590: is invariant under scaling when appropriate dimensions are

1591: assigned to $x,y,u$ and $v$. The holomorphic three-form of the

1592: Calabi-Yau threefold,

1593: \begin{equation}

1594: \Omega = \frac{ds \wedge dx \wedge dt}{2y}

1595: \end{equation}

1596: should have dimension $[\Omega]=2$ (see \cite{aks}). Furthermore,

1597: for unitarity one requires $[s] > 1$ and $dim[t] > 1$.

1598: 

1599: 

1600: As an example, consider the tangential crossing of $III^*$ with

1601: $I_1$ described by

1602: \begin{equation}

1603: y^{2}= 4x^{3}-st^{3}x-t^{5},

1604: \end{equation}

1605: with a five-brane wrapped over the point $s=t=0$. This example

1606: (discussed in \cite{aks}) is consistent with an ${N}=1$ CFT in the

1607: infrared limit. The scaling relations $2[y] = 3[x] = [s] + 3[t] +

1608: [x] = 5[t]$ and $[\Omega] = [s] + [t] + [x] - [y] = 2$ gives the

1609: anomalous dimensions $[s] = 4/3$ and $[t] = 4$.

1610: 

1611: 

1612: When the conditions for ${N}=1$ supersymmetry in the IR are not

1613: satisfied, one expects the theory to flow to an ${N} =2$ fixed

1614: point in the infrared limit.  Heuristically,  one can understand

1615: this process as a smoothing of the singularity,  such that the

1616: local geometry seen by the five-brane looks like that over a

1617: smooth component of the discriminant curve.  As an example,

1618: consider the cusp singularity $y^2 = 4x^3 -sx -t$, with a

1619: five-brane wrapped over the point $s=t=0$. In the infrared limit,

1620: the theory flows to a CFT with no dimensional parameters. If this

1621: CFT has $N=1$ supersymmetry,  the discriminant curve singularity

1622: should be fixed under the infrared flow,  that is the Weierstrass

1623: equation above should have no dimensional parameters. The

1624: dimensions would have to satisfy the following relations:  $2[y] =

1625: 3[x] = [s] + [x] = [t]$, and also that  $[\Omega] = [s] + [t] +

1626: [x] - [y] = 2$ . This would imply that $[s] = 8/9$, which is not

1627: consistent with the unitarity bound $[s] \ge 1$ on scalar fields

1628: in a unitary superconformal theory. Thus the cusp can not describe

1629: a non-trivial $N=1$ fixed point. A natural guess is that the

1630: theory flows in the infrared to an $N=2$ conformal theory,

1631: described either by the Weierstrass model $y^2 = 4x^3 - t$ or by

1632: $y^2 = 4x^3 - sx$. The former possibility seems more likely for

1633: the following reasons.  In the $N=2$ CFT described by $y^2 = 4x^3

1634: -t$, the scaling dimension of $[s]$ is $1$,  as $s$ is a free

1635: scalar field describing motion parallel to the discriminant curve.

1636: The scaling relation $2[y] = 3[x] = [t]$,  together with $[\Omega]

1637: = [s] + [t] + [x] - [y] = 2$ yields $[t] = 6/5$.  Then the

1638: (analytic) deformation which gives a cusp singularity is given by

1639: $y^2 = 4x^3 - \epsilon sx -t$.  This deformation is irrelevant

1640: since $[\epsilon] = -1/5$. However, for the $N=2$ CFT described by

1641: $y^2 = 4x^3 - sx$, the scaling dimensions satisfy $[t]=1$,  $2[y]

1642: = 3[x] = [s] + [x]$ and $[\Omega] = [s] + [t] + [x] -[y] = 2$.

1643: This means that the deformation which gives a cusp singularity,

1644: $y^2 = 4x^3 - sx - \epsilon t$, is relevant since $[\epsilon] =

1645: 1$. This suggests that in the infrared limit,  the theory

1646: described by the cusp singularity flows to an $N=2$ CFT described

1647: by the Weierstrass model of a type $II$ Kodaira fiber over a

1648: smooth component of the discriminant curve.

1649: 

1650: 

1651: As one further example, consider the simple normal crossing of

1652: $I_2$ with $I_1$ described by $y^{2}=4x^{3}- 3a^2x- (a^3-s^2t)$,

1653: with a five-brane wrapped over $s=t=0$. There is no way to assign

1654: scaling dimensions, so that there are no dimensional parameters in

1655: the Weierstrass model. Hence $[s]$ and $[t]$ have dimension $>1$,

1656: and $[\Omega] =2$. One would have to satisfy $2[y] = 3[x] = 2[a] +

1657: [x] = 3[a] = 2[s] + [t]$, but if the parameter $a$ has dimension

1658: zero, then $2[s] + [t] = 0$ and $[\Omega] = [s] + [t] =2$. Note

1659: that, in this example,  the $I_2$ and $I_1$ fibers are mutually

1660: local (same vanishing cycle),  so that there are no states with

1661: mutually non-local $(p,q)$ charges.  Consequently one does not

1662: expect to find a non-trivial CFT in the infrared limit.  The IR

1663: flow will never give a local form of the Weierstrass equation

1664: which is invariant under scaling. The low energy theory is a

1665: $U(1)$ gauge theory with electrically charged matter,  and flows

1666: to a free theory in the infrared limit.

1667: 

1668: 

1669: 

1670: \vskip 0.2in {\bf Acknowledgements} We would like to thank B.

1671: Johnson, P. Melvin and L. Zulli for helpful conversations.

1672: 

1673: 

1674:  B. Ovrut is

1675: supported in part by  the DOE under contract No.

1676: DE-ACO2-76-ER-03071. A. Grassi's research was supported in part by

1677: NSF grants DMS-9706707 and DMS-0074980. Part of this work was

1678: completed while A.G. was a member at the Institute for Advanced

1679: Study, Princeton, NJ and supported by N.S.F. grant DMS-9729992. Z.

1680: Guralnik is supported in part by  the DOE under contract No.

1681: DE-ACO2-76-ER-03071.

1682: 

1683: 

1684: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1685: \section*{Appendix: Curve Singularities, Knots and Braids}

1686: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1687: 

1688: 

1689: In this section, we derive examples of knots (or links) and braids

1690: associated to an isolated plane curve singularity. In

1691: \cite{milnor} Milnor studied properties of isolated (complex)

1692: singularities of hypersurfaces in $\CC ^n=\RR ^{2n}$ by

1693: intersecting the hypersurface with a  sphere $S^{2n-1}$  of radius

1694: $R$ centered at the singularity. In the case of complex  plane

1695: curves, the intersection is a real curve, called a knot, if it has

1696:  one component, a link otherwise.

1697:  These are also called {\it algebraic knots} (links).

1698: The idea is that the type of singularity of the curve is closely

1699: related to the topological property of the associated knot (or

1700: link). For example, as we will see below, the knot associated with

1701: a smooth point is a circle (unknot).

1702: 

1703: 

1704: 

1705: Take $(s,t)$ to be complex coordinates in the plane $\CC ^2 \sim

1706: \RR^4$, so that the complex curve has an isolated singularity at

1707: the point ${(s,t)=(0,0)}$. To describe the intersection of the

1708: curve and $S^3$ it is easier to use polar coordinates:

1709: %

1710: $$

1711: \xi e^{i \theta}=t, \eta e^{i \phi}=s;

1712: $$%

1713: the equation of the sphere of radius $R$ is then $\xi ^2 + \eta

1714: ^2=R^2$. Recall that $S^3$ can also be thought of two solid tori

1715: glued along the boundary. In the example we consider, the

1716: intersection of the complex curve with $S^3$ will be a knot (or

1717: link) on the (boundary of) tori. These are called {\it torus}

1718: knots (or links).

1719: 

1720: 

1721: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1722: \subsection*{A.1: A smooth point is the unknot}\label{app1}

1723: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1724: 

1725: 

1726: Let us assume that ${s=0 }$ is the local equation of the curve

1727: around the origin. It is easy to see that the intersection of the

1728: curve with the sphere $\xi ^2 + \eta ^2=R^2$ is a circle $S^1$ of

1729: radius $R$.

1730:  We can cut the circle in a point and obtain a line segment; we can recover the circle by identifying

1731: the endpoints of the segment. The segment is called an associated

1732: {\it braid}. Similarly, given a braid, we obtain a knot by  {\it

1733: closing} the braid.

1734:  For a precise definition of a braid see, for example, \cite{burde} and \cite{murasugi}.

1735: 

1736: 

1737: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1738: \subsection*{A.2: On braids}\label{appb}

1739: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1740: 

1741: 

1742:  We can associate many different braids to a knot; it is a hard result that

1743: every knot (link) can be represented by a closed braid

1744: \cite{alexander}; (see again  \cite{burde} and \cite{murasugi}).

1745:  Many different braids can be associated to a knot (link) \cite{burde} (2.14).

1746: Among the different braid representations of the knot, the one

1747: with the fewest strands is called the {\it minimal braid}. The

1748: number of strands of the minimal braid is called the {\it braid

1749: index}.

1750:  The braid index is an invariant of the knot \cite{burde}.

1751: Our analysis of string junction lattices led us to conjecture that

1752: the braid index of these algebraic knot would always be equal to

1753: the order of vanishing of the complex curve at $(s,t)=(0,0)$.

1754:  It turns out that this statement is indeed

1755: always true, but it is a hard and beautiful result. The first

1756: proof was given in \cite{schubert}. A shorter, elegant proof is

1757: given by \cite{williams}, using technique from dynamical system

1758: (see also \cite{libgober} in the same volume, for an algebraic

1759: version). In the above example, for the smooth point (i.e. the

1760: order of vanishing is one),

1761:  we have a one strand braid.

1762: 

1763: 

1764: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1765: \subsection*{A.3: An isolated cusp singularity and the trefoil knot}\label{app2}

1766: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1767: 

1768: 

1769: As in Section \ref{cusps}, we take $ t^2 + s^3=0 $ to be the local

1770: equation of the singularity. (Note that the order of vanishing is

1771: two, and we will find a two-strand minimal braid). We show that we

1772: obtain the trefoil knot, and we construct two braids, the minimal

1773: two-strand braid and a three-stranded braid. It is easy to see

1774: that the intersection of the discriminant and the sphere $S^3_R$

1775: of radius $R$ centered at the origin is the parametric

1776:  curve:

1777:  $$(t,s)= (\xi_0 e ^{i3\theta}, \eta_0 e^{i \frac{\pi}{3}} e^{i2\theta}),$$

1778: where  $\xi _0$ and $\eta_0$ are fixed positive constant which

1779: depend on $R$. From the parametric equation we see that this real

1780: curve lies on $S^1 \times S^1$, the product of two circles of

1781: radius $\xi_0$ and $\eta_0$ respectively; the exponential $( e

1782: ^{i3\theta}, e^{i2\theta})$ give a slope of $(3,2)$ on the square

1783: obtained by ``cutting open'' the torus (see Figure

1784: \ref{cuspsontours}).

1785: 

1786: 

1787: 

1788: \onefigure{cuspsontours}{The torus is obtained by identifying the

1789: top  with the bottom and the left with the right  side. The

1790: horizontal line is the $t$ axis ($s=0$), while the vertical one is

1791: the $s$ axis ($t=0$). The slanted line represents the intersection

1792: of the complex curve of equation $ t^2 + s^3=0 $ and $S^3$ of

1793: slope $(3,2)$. Note that a vertical cut corresponds on the plane

1794: $(s,t)$ with the line $s$ constant, and an horizontal cut with the

1795: line $t$ constant.  } \vskip 0.3in

1796: 

1797: 

1798:  This curve is connected, hence it is a {\it knot}; it is often denoted

1799:   as the  $(3,2)$ {\it  torus knot}.

1800: In Figure \ref{treontorus} we can see that this knot is exactly

1801: the trefoil knot of Figure \ref{trefoil} in Section \ref{cusps}.

1802: 

1803: A general result shows that  all the knots obtained by

1804: intersecting a complex curve with $S^3$

1805:  are torus knots or can be described from torus knots (the

1806:  ``iterated torus knots'').

1807: 

1808: 

1809: \onefigure{treontorus}{The $(3,2)$ knot is the trefoil.}

1810: 

1811: 

1812: 

1813: In the next Figure \ref{cuspinbraids} we show that by ``folding''

1814: the square in Figure

1815:  \ref{cuspsontours}

1816: horizontally (vertically), we obtain a two (three)-strand braid.

1817: These foldings correspond to cutting the torus (and the knot)

1818: along a horizontal (resp vertical) meridian.

1819: 

1820: 

1821: \onefigure{cuspinbraids}{ Two braids representations of the

1822: $(3,2)$ torus knot. The two braids are obtained by cutting the

1823: torus along the meridian and the longitude. This corresponds by

1824: folding the square in the previous pictures in half, first

1825: horizontally then vertically.}

1826: \newpage

1827: It is easy to see that the first braid corresponds to a cut

1828: $t=c_1$ and the second to a cut $s=c_2$, where $c_1$ and $c_2$ are

1829: constants depending on $R$, the radius of $S^3$. In the limit $R

1830: \to 0$, the first $s=c_1$ cut intersects the cuspidal curve with

1831: multiplicity $2$ (a generic intersection), while  the second cut

1832: $s=c_2$  has intersection multiplicity $3$.

1833: 

1834: 

1835: 

1836: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1837: \subsection*{A.4: A transversal intersection (nodal singularity)}\label{app3}

1838: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1839: 

1840: 

1841: Here we consider a local equation $(s+ \e t)(s- \e t)=0$, as in

1842: Section \ref{smooth}; instead of a knot, we will obtain a link. It

1843: is easy to see the intersection of the curve with $S^3$ lives

1844: again on $S^1 \times S^1$. In the following Figure  \ref{s2} we

1845: represent this torus by a square with identified sides, and the

1846: braid obtained by folding horizontally (as in the previous

1847: section).

1848:  We see that we have two differen simply linked components.

1849: 

1850: 

1851: \onefigure{s2}{The link associated with a nodal singularity and a

1852: two-strand braid.}

1853: 

1854: 

1855: \begin{thebibliography}{99}

1856: 

1857: 

1858: 

1859: \bibitem{losw1} A. Lukas, B.~A. Ovrut, K.~S. Stelle and D. Waldram,

1860:     {\em The Universe as a Domain Wall},

1861:     Phys.Rev. D59 (1999) 086001; {\em Heterotic M-theory in Five Dimensions},

1862:     Nucl.Phys. B552 (1999) 246-290.

1863: 

1864: 

1865: 

1866: \bibitem{nse} A. Lukas, B.~A. Ovrut and D. Waldram,

1867:     {\em Non-Standard Embedding and Five-Branes in Heterotic M-Theory},

1868:     Phys.Rev. D59 (1999) 106005.

1869: 

1870: 

1871: 

1872: \bibitem{don1} R. Donagi, A. Lukas, B.~A. Ovrut and D. Waldram, {\em

1873:     Non-Perturbative Vacua and Particle Physics in M-Theory},

1874:     {\em JHEP} 9905 (1999) 018; {\em

1875:     Holomorphic Vector Bundles and Non-Perturbative Vacua in M-Theory},

1876:     {\em JHEP} 9906 (1999) 034.

1877: 

1878: 

1879: 

1880: 

1881: \bibitem{fbs} A. Lukas, B. A. Ovrut and  D. Waldram, {\em

1882:     Five--Branes and Supersymmetry Breaking in M--Theory},

1883:     {\em JHEP} 9904 (1999) 009.

1884: 

1885: 

1886: 

1887: \bibitem{ms} R. Donagi, B. A. Ovrut and  D. Waldram, {\em

1888:     Moduli Spaces of Fivebranes on Elliptic Calabi-Yau Threefolds},

1889:     {\em JHEP} 9911 (1999) 030.

1890: 

1891: 

1892: 

1893: \bibitem{ppm} R. Donagi, B. A. Ovrut, T. Pantev and  D. Waldram, {\em

1894:     Standard Models from Heterotic M-theory},

1895:     hep-th/9912208.

1896: 

1897: 

1898: 

1899: \bibitem{si} B. A. Ovrut, T. Pantev and  J. Park, {\em

1900:     Small Instanton Transitions in Heterotic M-Theory},

1901:     hep-th/0001133.

1902: 

1903: 

1904: 

1905: \bibitem{HW1} P. Ho\v rava and E. Witten, {\em

1906:     Heterotic and Type I String Dynamics from Eleven Dimensions},

1907:     {\em Nucl. Phys.} {\bf B460}(1996) 506; {\em Eleven--Dimensional

1908:     Supergravity on a Manifold with Boundary},

1909:     {\em Nucl. Phys.} {\bf B475}(1996) 94.

1910: 

1911: 

1912: 

1913: \bibitem{ggo} A. Grassi, Z. Guralnik and B. Ovrut, {\em Five-Brane BPS States

1914:     in Heterotic M-theory}, hep-th/0005121.

1915: 

1916: 

1917: 

1918: \bibitem{aks} O. Aharony, S. Kachru and E. Silverstein, {\em New $N=1$

1919:     Superconformal Field Theories in Four Dimensions from D-brane Probes},

1920:     Nucl.Phys.B488 (1997) 159,  hep-th/9610205.

1921: 

1922: 

1923: 

1924: \bibitem{dim} N. Arkani-Hamed, S. Dimopoulos and G. Dvali,

1925:     {\em Phys. Lett.} {\bf B429} (1998) 263;

1926:     I. Antoniadis, N. Arkani-Hamed, S. Dimopoulos and G. Dvali,

1927:     {\em Phys. Lett.} {\bf B436} (1998) 257;

1928:     L. Randall and R. Sundrum, {\em An Alternative to

1929:     Compactification}, Phys.Rev.Lett. 83 (1999) 4690-4693.

1930: 

1931: 

1932: 

1933: \bibitem{kod} K. Kodaira, {\em On compact analytic surfaces, II, III},

1934: Ann. of Math. {\bf 77} (1963) 563--626, {\bf 78} (1963) 1--40.

1935: 

1936: 

1937: 

1938: 

1939: 

1940: \bibitem{cosm} A. Lukas, B. A. Ovrut, K.S. Stelle and D. Waldram {\em

1941:     Cosmological Solutions of Horava-Witten Theory},

1942:     Phys.Rev. D59 (1999) 086001.

1943: 

1944: 

1945: 

1946: \bibitem{cosm1} A. Lukas, B. A. Ovrut, and D. Waldram {\em

1947:     Boundary Inflation},

1948:     Phys.Rev. D61 (2000) 023506.

1949: 

1950: 

1951: 

1952: \bibitem{cosm2} M. Braendle, A. Lukas and B. A. Ovrut {\em

1953:     Heterotic M-Theory Cosmology in Four and Five Dimensions},

1954:     hep-th/0003256.

1955: 

1956: 

1957: 

1958: \bibitem{cosm3} G. Huey, P.J. Steinhardt, B. A. Ovrut, and D. Waldram {\em

1959:     A Cosmological Mechanism for Stabilizing Moduli},

1960:     Phys.Lett. B476 (2000) 379-386.

1961: 

1962: 

1963: 

1964: \bibitem{cosm4} A. Lukas, B. A. Ovrut, and D. Waldram {\em

1965:     Cosmological Solutions of Type II String Theory},

1966:     Phys.Lett. B393 (1997) 65-71; {\em String and M-Theory Cosmological

1967:     Solutions with Ramond Forms}, Nucl.Phys. B495 (1997) 365-399;

1968:     {\em Stabilizing dilaton and moduli vacua in string and M--Theory

1969:     cosmology}, Nucl.Phys. B509 (1998) 169-193.

1970: 

1971: 

1972: 

1973: \bibitem{FMW} R. Friedman, J. W. Morgan, E. Witten, {\em

1974:     Vector Bundles and F Theory},

1975:     Commun.Math.Phys. 187 (1997) 679-743.

1976: 

1977: 

1978: 

1979: \bibitem{cur} G. Curio, {\em Chiral matter and transitions in heterotic

1980:     string models}, {\em Phys. Lett.} {\bf B435} 39 (1998).

1981: 

1982: 

1983: 

1984: \bibitem{ba} B. Andreas, {\em On Vector Bundles and Chiral Matter in $N=1$

1985:    Heterotic Compactifications}, hep-th/9802202.

1986: 

1987: 

1988: 

1989: \bibitem{na} N. Nakayama, {\em On Weierstrass models}, in: ``Algebraic

1990: Geometry and Commutative Algebra,'' Vol. II, Kinokuniya, Tokyo,

1991: 1988, pp. 405--431.

1992: 

1993: 

1994: 

1995: \bibitem{g} A. Grassi, {\em On minimal models of elliptic threefolds},

1996: {\em Math. Ann.} {\bf 290} (1990) 287-301.

1997: 

1998: 

1999: 

2000: \bibitem{ar} V. Braun, P. Candelas, X. De la Ossa, A. Grassi

2001: {\em Dualities  between $N=1$ theories}, hep-th/0001208.

2002: 

2003: 

2004: 

2005: \bibitem{GM} A.~Grassi and D.~R.~Morrison {\em Group representations and the

2006: Euler characteristic of elliptically fibered Calabi--Yau

2007: threefolds}.

2008: 

2009: 

2010: 

2011: 

2012: \bibitem{BpvV} W. Barth, C. Paters, A. Van de Ven ,

2013: ``Compact Complex Surfaces,''  Ergebn. Math.  Grenzegeb. (3) {\bf

2014: 4}, Springer-Verlag, Berlin, 1984.

2015: 

2016: 

2017: 

2018: 

2019: \bibitem{Yau} B. Greene, A, Shapere, C. Vafa, S. Yau {\it Stringy

2020: cosmic strings and non-compact Calabi-Yau manifolds} Nucl.~Phys.

2021: {\bf B 337}

2022:   (1990) 1.

2023: 

2024: 

2025: 

2026: 

2027: \bibitem{bartonone} O.~DeWolfe and B.~Zwiebach, {\it String junctions for

2028:     arbitrary Lie algebra representations} Nucl.~Phys. {\bf B541}

2029:   (1999) 509-565, hep-th/9804210.

2030: 

2031: 

2032: \bibitem{bartontwo} O.~DeWolfe, T.~Hauer, A.~Iqbal and B.~Zwiebach, {\it

2033:     Constraints On The BPS Spectrum Of N=2, D=4 Theories With A-D-E

2034:     Flavor Symmetry}, Nucl.~Phys. {\bf B534} (1998) 261-274,

2035:   hep-th/9805220.

2036: 

2037: 

2038: \bibitem{sethi} A.~Mikhailov, N.~Nekrasov, S.~Sethi, {\it Geometric

2039:     Realizations of BPS States in N=2 Theories}, Nucl.~Phys. {\bf

2040:     B531} (1998) 345-362, hep-th/9803142.

2041: 

2042: 

2043: 

2044: \bibitem{ferrari1}F. ~Ferrari, {\it The Dyon Spectra of Finite Gauge

2045: Theories,}

2046:                 Nucl.Phys.B501 (1997) 53-96, hep-th/9702166.

2047: 

2048: 

2049: 

2050: \bibitem{ferrari2}F. ~Ferrari, A. ~Bilal, {\it The Strong Coupling

2051:         Spectrum of the Seiberg Witten Theory,}

2052:         Nucl.Phys.B469 (1996) 387-402, hep-th/9602082.

2053: 

2054: 

2055: 

2056: 

2057: \bibitem{argyresdouglas} P.~Argyres and M.~Douglas,

2058:         {\it New Phenomena in $SU(3)$ Supersymmetric Gauge Theory},

2059:         Nucl.~Phys. {\bf B448} (1995) 93-126, hep-th/9505062.

2060: 

2061: 

2062: 

2063: \bibitem{argwitten} P.~Argyres, M.~Plesser, N.~Seiberg and E.~Witten,

2064:         {\it New $N=2$ Superconformal Field Theories in Four Dimensions},

2065:         Nucl.~Phys. {\bf B461} (1996) 71-84, hep-th/9511154.

2066: 

2067: 

2068: 

2069: \bibitem{minahan} J.~Minahan and D.~Nemeschansky,

2070:         {\it An $N=2$ Superconformal Fixed Point with $E(6)$ Global

2071:         Symmetry},

2072:         Nucl.~Phys. {\bf B482} (1996) 142-152, hep-th/9608047;\hfil\break

2073:         J.~Minahan and D.~Nemeschansky,

2074:         {\it Superconformal Fixed Points with $E(N)$ Global Symmetry.}

2075:         Nucl.~Phys. {\bf B489} (1997) 24-46, hep-th/9610076.

2076: 

2077: 

2078: 

2079: \bibitem{bershadskyetal} M. Bershadsky, K. Intrilligator, S. Kachru, D. R.

2080: Morrison,

2081:         V. Sadov, and C. Vafa, {\it Geometric Singularities and Enhanced Gauge

2082:         Symmetries}, Nucl.Phys. {\bf B481} (1996) 215-252, hep-th/9605200.

2083: 

2084: 

2085: 

2086: \bibitem{aspinwallkatzmorrison} P. Aspinwall, S. Katz, and D. R. Morrison,

2087: {\it

2088:         Lie Groups, Calabi-Yau Threefolds, and F-Theory}, hep-th/0002012.

2089: 

2090: 

2091: 

2092: 

2093: \bibitem{milnor} J. Milnor

2094: ``Singular points of compex hypersurfaces" Ann. Math. Studies {\bf

2095: 61}, Princeton, NJ: Princeton University Press, 1968

2096: 

2097: 

2098: 

2099: \bibitem{burde} G. Burde, H. Zieschang ``Knots", de Gruyter Studies in Math, vol. 5,

2100: Berlin-New York 1985.

2101: 

2102: 

2103: 

2104: \bibitem{alexander} J.W. Alexander {\it A lemma on systems of knotted curves} Proc. Nat. Acad.

2105: Sci. USA, {\bf 9} 1923, 93--95

2106: 

2107: 

2108: 

2109: 

2110: \bibitem{schubert} H. Schubert {\it Uber eine numerische Knoteninvariante} Math. Z. 61, 245--288,

2111: 1954

2112: 

2113: 

2114: 

2115: \bibitem{williams} R. Williams {\it The braid index of an algebraic link} in ``Braids", Santa

2116: Cruz, 1986, 607--703

2117: 

2118: 

2119: 

2120: \bibitem{libgober} A. Libgober {\it On divisibility properties of braids associated with

2121: algebraic curves} in ``Braids", Santa Cruz, 1986, 607--703

2122: 

2123: 

2124: 

2125: \bibitem{kawauchi} A. Kawauchi

2126: ``A survey of knot theory", Birkhauser, Basel, 1996

2127: 

2128: 

2129: 

2130: \bibitem{murasugi} K. Murasugi ``Knot theory and its applications"

2131:  Birkhäuser, Boston, 1996

2132: 

2133: 

2134: 

2135: 

2136: \end{thebibliography}

2137: 

2138: 

2139: 

2140: \end{document}

2141: