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.

July 25, 2003

Location, Location, Location

Here’s my office at the KITP (on a less foggy day and minus the construction, which is currently causing the building to shake).

Satellite view of KITP

Ron Donagi gave a great talk this morning about a version of Dijkgraaf-Vafa and large-N duality for compact Calabi-Yau’s. DV’s setup can be thought of as a noncompact Calabi-Yau

(1)y 2=uv+W(x) 2 y^2 = u v +W'(x)^2

which, generically, has nn isolated A 1A_1 singularities at u=v=y=W(x)=0u=v=y=W'(x)=0. If W(x)= i 0n+1a ix iW(x) = \sum_i^0^{n+1} a_i x^i, these can be smoothed by adding f μ(x)= i=0 n1μ ix if_\mu(x)=\sum_{i=0}^{n-1}\mu_i x^i

(2)y 2=uv+W(x) 2+f μ(x) y^2 = u v +W'(x)^2 +f_\mu(x)

The salient feature, according to Ron is that this degenerates to a curve (the plane {u=v=y=0}\{ u=v=y=0\}) when the parameters a=μ=0a=\mu=0.

Their compact example is the intersection of a quadric and a quartic in P 5\mathbb{C}P^5. When the quadric has rank 3, one has a genus-3 curve of A 1A_1 singularities, while the generic quadric gives a smooth Calabi-Yau. To first order in the deformation, they compute the corresponding integrable system and solve for the open-string invariants.

It’s quite a tour de force, made all the more remarkable by the fact that it’s not clear what they are calculating. Since the Calabi-Yau is compact, the total D-brane charge must vanish. So they need to put in both NN and NN antibranes (on the open string side). In a supersymmetric theory, the quantity they calculate would be the related to the glueball superpotential. In this non-supersymmetric gauge theory, I’m not sure what the interpretation should be. But it’s pretty exciting if there’s something exact that you can calculate in this nonsupersymmetric theory.

Greg Moore also gave a great talk about the C-field in M-theory. Yup, it’s an element of differential cohomology, Hˇ 4(X)\check{H}^4(X). Mike Hopkins gave a series of lectures last week touching on this, which went way over my head. But these guys actually have a concrete model one can wrap one’s head around.

The idea is that, up to 15-skeletons, the classifying space of E 8E_8 bundles is an Eilenberg-MacLane space

(3)BE 8K(,4) BE_8 \sim K(\mathbb{Z}, 4)

So an isomorphism class of E 8E_8 bundle on an 11-manifold is equivalent to a choice of cohomology class aH 4(X,)a\in H^4(X,\mathbb{Z}). Their concrete model for the C-field is a pair (A,c)(A,c), consisting of connection on an E 8E_8 principal bundle, PP, and an honest-to-God, globally-defined, 3-form cc. They can write explicit formulas for the bosonic part of the 11D supergravity action in terms of (A,c)(A,c) and the field strength,

(4)G=dc+trF 212trR 2 G = d c + tr F^2 - \textstyle{\frac{1}{2}} tr R^2

which are invariant under gauge transformations

(5)(A,c)(A+α,cCS(A,A+α)+ω) (A,c) \to ( A + \alpha, c- CS(A,A+\alpha)+\omega)

where (α,ω)Ω 1(adP)×Ω 3(X)(\alpha,\omega) \in \Omega^1( ad P)\times \Omega^3_{\mathbb{Z}}(X). Naively, the gauge group is Ω 1(adP)Ω 3(X)\Omega^1( ad P)\ltimes \Omega^3_{\mathbb{Z}}(X), with the composition law

(6)(α 1,ω 1)(α 2,ω 2)=(α 1+α 2,ω 1+ω 2+d(trα 1α 2)) (\alpha_1,\omega_1)\cdot (\alpha_2,\omega_2)=(\alpha_1+\alpha_2, \omega_1+\omega_2+ d (tr \alpha_1\wedge\alpha_2) )

Now, Greg says this is too naive, and one should really take the gauge group to be Ω 1(adP)Hˇ 3(X)\Omega^1( ad P)\ltimes \check{H}^3(X) which is a nontrivial extension

(7)0H 2(X,U(1))Hˇ 3(X)Ω 3(X)0 0\to H^2(X,U(1))\to \check{H}^3(X) \to \Omega^3_{\mathbb{Z}}(X)\to 0

That means I still have to understand differential H 3H^3, understand how to compose two such guys, etc.

Rats!

Posted by distler at July 25, 2003 3:04 AM

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/193

0 Comments & 0 Trackbacks

Post a New Comment