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

Pantev on Langlands, II

Posted by Urs Schreiber

Here are notes on the second part of Tony Pantev’s lecture () on Langlands duality.

Recall that we considered a smooth compact curve C of genus g2 and moduli spaces of principal bundles over this curve. These have complex reductive structure group G or LG, which are Langlads duals.

The refined

Geometric Langlands Conjecture

says two things:

1) There exists an equivalence of the (bounded) derived category of coherent sheaves on the moduli stack of G-local systems over C and the (bounded) derived category of modules for derivations on the moduli space of principal bundles with structure group the Langlands dual group LG:

(1)c:D(Coh(ℒℴ G))D(D Bun LGmod)

2) c maps structure sheaves of points to Hecke eigensheaves.

This conjecture has been checked for special cases, but it pretty intractable for the general case.

Using some physics analogy (as that worked out by Kapustin and Witten ()) one can however see that the structures appearing in the conjecture can in some sense naturally be regarded as deformed, or, more precisely, quantized classical structures.

The idea is to pass to the “classical limit” of the geometric Langlands conjecture by de-deforming or dequantizing, in this sense, and to see if something more tractable is obtained this way. Indeed, this limiting case of geometric Langlands can be proven. Apparently this then also goes a long way towards proving the full statement.

Before being able to state the classical limit Langlands conjecture we need to identify the right classical versions of the moduli stack ℒℴ G of G-local structures, and the moduli space Bun G of G-principal bundles on C.

(As you will have noticed, there is heavy machinerey involved in all of this, and things will not become more elementary as we proceed. I try to reproduce the statements as precisely as I can, but be please aware that inevitably some of my statements may be imprecise as given.)

Ok, so first let’s de-quantize the moduli stack ℒℴ G. Recall that this consisted of pairs (V,) with V a principal G-bundle on C and a holomorphic, integrable connection on V.

We may regard such a connection as a lifting of infinitesimal symmetries of C to infinitesimal symmetries of V that commute with the G-action. This is made precise by the notion of splitting of the Atiyah sequence ().

So the connection is a splitting

(2)A(V)T C

of

(3)0 ad(V)A(V)T C0 ,

where A(V) is the (sheaf of sections of the) Atiyah bundle ().

Now, we may generalize this notion of connection as follows. A z-connection on V for z is a map

(4):T CA(V)

such that

(5)T CA(V)T c

is z times the identity on the (sheaf of sections of the) tangen budle T C of C.

So for z=1 this is a 1-connection, which is a connection in the ordinary sense.

As we had a moduli stack ℒℴ G={(V,)} of G-local systems before, we now get a more general moduli space where is any z-connection. This is called

(6)Hodge G={(V, z,z)}.

There is an obvious projection

(7)Hodge G (V,,z) z.

A special case of interest of z-connections is that where z=0 . In this case the image of is in the kernel of A(V)T C, hence 0 is really a map into ad(V) in this case.

The sub moduli space for such 0-connections is called

(8)Higgs G 0 ={(V,θ)},

where θΓ(C,ad(V)Ω C 1 ) is the ad(V)-valued 1-form connection corresponding to some 0-connection on V, and where we demand that the first Chern class of V vanishes, c 1 (V)=0 .

The ordinary local systems form a torsor for Higgs 0 . Notice that we have the following inclusions:

(9)Higgs G 0 Hodge G ℒℴ G× × 0 ×.

With the projection

(10)Higgs G 0 Bun G 0 (V,θ) V

the space Higgs G 0 becomes a vector bundle over Bun G 0 and ℒℴ G is an affine bundle over Higgs G 0 .

The conclusion of all this is that we can hence regard ℒℴ G as a deformation of Higgs G 0 . Moreover, it is a fact that the Higgs bundle is really just the cotangent bundle over the moduli space Bun G

(11)Higgs G 0 =T *Bun G.

So the classical limit of the left hand side of the geometric Langlands conjecture is obtained by replacing ℒℴ G with Higgs G 0 =T *Bun G.

The right hand side is also easily dealt with. I’ll spare the details and just remark that the algebra of derivations on a space is in a very familiar way the quantization of the cotangent bundle of that space. So on the right hand side we want to replace the sheaf of modules of derivations D Bun LGmod with the coherent sheaf of sections of the cotangent bundle

(12)Coh(T *Bun LG)=Coh(T *Higgs LG 0 ).

With both classical limits taken this way, we can now state the

Classical Limit of the Geometric Langlands Conjecture

1) There is an equivalence c of the derived categories of coherent sheaves of the cotangent bundle of Bun G and of Bun LG

(13)c:D(Coh(Higgs G 0 ))D(Coh(Higgs LG 0 )).

2) c sends structure sheaves of points to Hecke eigensheaves.

(Next there is a remark on Fourer-Moukai transforms which I cannot properly reproduce in detail. The message however is that the action of the Hecke operation (which defines Hecke eigensheaves) in the classical limit is nothing but a Fourier-Moukai transformation.)

After the original geometric Langlands conjecture has thus been made more tractable, it turns into an honest

Theorem: The geometric Langlands conjecture does hold in the classical limit.


The key to proving this is Hitchin’s abelianization.

Update, May 13: I realize that above I must have mixed up the moduli stacks and moduli spaces of Higgs bundles here and there.

Posted at May 10, 2006 11:30 AM UTC

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

0 Comments & 5 Trackbacks

Read the post Fourier-Mukai, T-Duality and other linear 2-Maps
Weblog: The String Coffee Table
Excerpt: Examples for linear 2-maps.
Tracked: June 1, 2006 1:45 PM
Read the post Kapustin on SYM, Mirror Symmetry and Langlands, III
Weblog: The String Coffee Table
Excerpt: The third part of the lecture.
Tracked: June 17, 2006 11:31 AM
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:14 PM
Read the post A Little Bit of Geometric Langlands: Relation to Integrable Systems
Weblog: The n-Category Café
Excerpt: On Hitchin integrable systems and their role in geometric Langlands duality.
Tracked: December 21, 2006 5:51 PM
Read the post Generalized Geometric Langlands is False
Weblog: The n-Category Café
Excerpt: C. Teleman on a counter example to the generalised geometric Langlands conjecture.
Tracked: June 18, 2007 11:40 AM

Post a New Comment