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 18, 2006

Herbst, Hori & Page on Equivalence of LG and CY

Posted by Urs Schreiber

Yesterday, Kentaro Hori gave a talk on (unpublished) joint work with Manfred Herbst and David Page, another version of which I had heard a while ago in Vienna (), on

K. Hori, M. Herbst
Phases of N=2 theories in 1+1 dimensions with boundary, I

Given some homogeneous polynomial

(1)W(x 1,,x N)

of degree d, one can, roughly, associate two different sorts of 2-dimensional field theories with it.

1) On the one hand we can consider sigma-models whose target is the projective variety () X of zeros of this polynomial. If this happens to be a Calabi-Yau we can consider the A- or B-model topological string on that target.

2) On the other hand, one can regard W as the superpotential of a Landau-Ginzburg model ().

In the first case, for the B-model string, the corresponding category of branes is D b(Coh(X)), the bounded derived category of coherent sheaves on X ().

In the second case, the category of branes looks superficially different. Let me just call this the category of Landau-Ginzburg B-branes.

Now, we can think of both these models as different points in one and the same moduli space of a N=(2,2) gauged linear sigma-model (GLSM). There is a certain parameter, called r, parameterizing this model, and in the limit that r tends to plus or minus infinity, the GLSM tends to the nonlinear σ-model on X={x iW(x 1,,x N)=0} or the Landau-Ginzburg model with superpotential W, respectively.

What Hori and Herbst are trying to do is to use this gauged linear sigma model to flow the category of Landau-Ginzburg B-branes through moduli space to the derived category of coherent sheaves on X, thus realizing the equivalence of these two categories by means of a “physical” system.

That both categories are in fact equivalent (when suitable assumptions hold which I am glossing over), was shown in

Dmitri Orlov
Derived categories of coherent sheaves and triangulated categories of singularities

theorem 3.11.

Related results have been discussed in

Yujiro Kawamata
Log Crepant Birational Maps and Derived Categories
math.RT/0510187 .

As far as I understood, Hori and Herbst expected that in fact the category of branes of the full GLSM is, too, equivalent to both of the above categories. Hoewever, it turns out that this equivalence has so far only been shown for special choices of some other parameter, called θ.

I am wondering if this should be worrisome. Wouldn’t it be natural for the category of branes of the GLSM to be larger (and non-equivalent) to the category of branes obtained in the limiting case r±?

Hori proceeded by spelling out lots of details at the level of Lagrangians, which I won’t even try to reproduce in total.

I’ll just indicate enough details to see the two parameters r and θ appearing.

The GLSM involves a twisted chiral gauge superfield V (I think), which appears in the Lagrangian in terms of its superderivative

(2)Σ=D¯ +D V.

The gauge kinetic term of this field in the Lagranian is

(3)d 2θ(Σ¯Σ).

There is also a matter kinetic term of the form

(4)d 4θ(P¯e nVP+X¯ 1e VX 1++X¯ 1e VX 1)

and a superpotential term for these matter fields

(5)Red 2θPW(X 1,,X N),

where W is our polynomial from above.

Finally, and that’s where the two parameters come in, there is an F-term

(6)Red 2θ˜tΣ,

where the complex parameter t has real and imaginary part given by the two parameters in question


One can see that for r the matter fields X i localize on the zeros of W, thus leading to a nonlinear sigma-model on X.

Posted at July 18, 2006 3:52 PM UTC

TrackBack URL for this Entry:

0 Comments & 0 Trackbacks

Post a New Comment