Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 17, 2004

del Pezzo

Seiberg Duality is one of the mysterious and wonderful features of strongly-coupled N=1N=1 supersymmetric gauge theories to have emerged from the interplay between string theory and gauge theory. In the purely gauge-theoretic context, it’s a bit of a black art to construct Seiberg dual pairs of gauge theories. A stringy context in which a large class of examples can be found, and hence where one can hope to find a systematic understanding, is D-branes on local del Pezzo surfaces.

Let X={KS}X= \{K\to S\} be the noncompact Calabi-Yau 3-fold, which is the total space of the canonical bundle of a del Pezzo surface, SS (𝒫 2\mathcal{P}^2, with k=0,8k=0,\dots 8 points blown up). XX has a minimal-sized surface, S 0S_0 (SS, embedded via the zero section). “Compactify” Type IIB on XX, and consider space-filling D3-branes and D5-branes wrapped on cycles of S 0S_0. Varying the Kähler moduli of XX is an irrelevant deformation of the resulting 4D gauge theory. So, studying the different D-brane descriptions which arise as one moves in the Kähler moduli space gives a concrete description of Seiberg Duality. (I’m lying slightly, here, but part of the mystery of the subject is understanding exactly when that’s a lie.)

At certain loci in the moduli space, a nonabelian gauge invariance is manifest, and one has a quiver gauge theory with massless bifundamentals and, typically, some gauge-invariant superpotential for them. There’s a close relation between, D b(X)D^b(X), the derived category of sheaves on XX (in which the aforementioned D-branes are objects) and the derived category of quiver representations (with relations given by the derivatives of the superpotential).

There’s a rich literature on this subject, but two recent papers provide a good entrée into it for those (like yours truly) who haven’t been following the literature in much detail. Chris Herzog argues that admissible mutations of strongly exceptional collection of coherent sheaves (which, in turn, for a basis of objects in the derived category) is Seiberg Duality. Aspinwall and Melnikov discuss the same issue from the point of view of tilting equivalences between the derived categories of quiver representations (an approach pioneered by Berenstein and Douglas).

Posted by distler at May 17, 2004 2:13 PM

TrackBack URL for this Entry:

0 Comments & 0 Trackbacks

Post a New Comment