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.

June 17, 2006

Kapustin on SYM, Mirror Symmetry and Langlands, II

Posted by Urs Schreiber

The second part of the lecture.

Recall that we were studying twisted super Yang-Mills theory with gauge group G on a four-dimensional manifold which we take to be of product form


(Apparently we could more generally asume a fibration.)

In the limit where the volume of C goes to 0 this is equivalent to a topological σ-model on Σ with target the Hitchin moduli space M Hit(G,C) of dimension

(2)dimM Hit(G,C)=2 dimG(g1 ),

where g is the genus of C.

So the path integral is of the form


where we integrate over maps

(4)ph:ΣM Hit(G,C).

For the sort of action S involved here, we need a metric on target space M Hit(G,C). This is proportional to the canonical hyper-Kähler metric

(5)g=4 πe 2 g can.

Similarly, the B field on target space is proportional to the canonical 2-form

(6)B=θ2 πω I,

where I is the complex structure.

We had seen that a parameter P 1 t=vu defines which topological σ model we are dealing with, by specifyin the BRST charge to be

(7)Q BRST=uQ l+vQ r.

Now consider how the target space looks like in more detail.

We can think of it as the moduli space of pairs

(8)M Hit(G,C)={(A,ϕ)F zz¯[ϕ z,ϕ z¯]=0 ,D z¯ϕ z=0 }/gauge transformations.

Here F= 2 is the curvature of a connection on a G-bundle E over C, and ϕΩ 1,0 (adE) is called the Higgs field.

M Hit(G,C) is hyper Kähler (it is a hyper Kähler reduction of -dimensional affine space of pairs (A,ϕ)).

The hyper Kähler metric reads

(9)ds 2 = Ctr(δA zδ A z¯+δϕ zδϕ z¯)dz 2 .

Due to the target being hyper Kähler, the corresponding σ-model has (4,4 ) supersymmetry.

In fact, M Hit has an entire sphere of complex structures

(10)I general=aI+bJ+cK,a 2 +b 2 +c 2 =1 ,

where I,J,K with


are the basic complex structures that we shall study in the following.

More explicitly, one finds that

(12)δA zwδϕ z


(13)δA z¯+w 1 δϕ z¯

are holomorphic 1-forms on target space, for w.

The three basic complex structures I, J and K are obtained as the following three interesting special cases of this.

1) Let w=. Then δA z and δϕ z are holomorphic differentials. Theis defines the complex structure I.

Equipped with this complex structure, the Hitchin moduli space can be thought of as the space of stable Higgs G-bundles

(14)M Hit(G,C) IM stable(G,C).

2) For w=i the holomorphic differentials are

(15) δA z+iδϕ z δA z¯+iδϕ z¯.

This defines the complex structure called J.

In this case we can think of the Hitchin moduli space as that of stable flat Higgs bundles for the complexified gauge group

(16)M Hit(G,C) JM stable, flat(G ,C).

3) Finally, the third basic complex structure is the product of the first two


This corresponds to w=1 .

The Hitchin moduli space has an action of S 1 by isometries which leave I invariant and rotate J and K via ϕ ze iαϕ z.

Given any complex structure I w, we can define an A model and a B model. But actually, what we get here is not always just an A-model or just a B-model, but in general a mixture of them.

So recall how the twistig is accomplished.

We start with a 2D conformal theory with stress-energy tensor

(18) T(z):=T zz(z) T¯(z¯):=T¯ z¯z¯(z)

and with R-currents J(z) and J¯(z¯).

Twisting is accomplished by performing the replacement

(19) TT+1 2 zJ T¯T¯+1 2 ¯ z¯J¯.

the point is that the precise nature of the R-current depends on the complex structure that we choose.

Hence, there is a whole sphere of R-currents. The most general twist possible is denoted J w + and J¯ w , depending on two parameters

(20)(w +,w )P 1 ×P 1 .

In order to obtain the pure A-model we set

(21)I w +=I w

corresponding to w +=1 w¯ .

The pure B-model is obtained for w +=w . In general, the twist yields neither of these.

We need to define the map between our twisting parameters w + and w and the parameter t from before. It turns out that the relation is

(22) w +=t w =t 1 .

The A-model corresponds to t, the B-model to t=±i.

(Side remark: this is obtained by studying the adiabatic limit of the BPS equations.)

Next, Kapustin draw a couple of pictures depicting the sphere of complex structures, the equator of A-model twists and the B-model north and south poles. I won’t try to reproduce these here. See figure 1 on p. 21 of the Witten-Kapustin paper ().

The important point is, that, as we had seen in the previous talk, S-duality sends t=i to t=1 . This relates

(23)Amodel ofM Hit(G,C) KBmodel ofM Hit(G L,C) J.

The rest of the lecture was concerend with making contact to the Strominger-Yau-Zaslow picture of mirror symmetry ().

One expects, due to their work, that the target space on each side of the duality has a fibration by Lagrangian tori What is this fibration?

M Hit(G,C) fibers over an affine space of half the total dimension, with the generic fiber being a torus.

This fibration is complex with respect to I and Lagrangian with respect to J and K.

Let the gauge group be G=GL(n). Then we get

(24)M Hit(G,C) p V= k=1 nH 0 (C,K C k),

where the projection p works like

(25)p:(A,ϕ)trϕ z k.

So let’s run the SYZ argument. Consider a point

(26)qM Hit(G L,C)M flat connections(G L,C)

and regard this as a 0-brane for the σ-model,


This is a B-brane, since a point is a reasonable D-brane in any complex structure, hence it is in particular one with respect to J.

The S-dual of this B-brane is an A-brane on the mirror manifold M Hit(G,C) K. This is a Lagrangian submanifold, actually a fiber of the Hitchin fibration.

From the gauge theory it follows that the A-brane must sit over the fiber of the Hitchin fibration, so it follows that the A-brane must equal that fiber.

Hence fibers p 1 (p(q)) must parameterize flat connections on the fiber of the dual p 1 L(p(q)).

So to any fat G L-connection on C, S-duality associates an A-brane on M Hit(G,C).

Compare this to geometric Langlands (), where one associates a D-module on the moduli stack of G-bundles Bun(G,C).

In fact, to any A-brane we can associate a D-module. A-branes are eigen-objects () of the symplectic Hecke operator.

Posted at June 17, 2006 9:30 AM UTC

TrackBack URL for this Entry:

0 Comments & 2 Trackbacks

Read the post Navigating in Geometric Langlands by Analogies
Weblog: The n-Category Café
Excerpt: Some basic analogies that help navigate the geometric Langlands duality.
Tracked: December 12, 2006 9:17 PM
Read the post Electric-Magnetic-Duality and Hodge Duality Extended to Differental Cocycles
Weblog: The n-Category Café
Excerpt: On the electric-magnetic dual formulation of higher abelian Yang-Mills theory.
Tracked: May 17, 2008 3:27 PM

Post a New Comment