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

Pantev on Langlands, I

Posted by Urs Schreiber

I am in Vienna, at the Erwin Schrödinger institute (), attending a workshop titled Gerbes, Groupoids and QFT (). One series of talks is

T. Pantev
Langlands duality, D-branes and quantization

Here are some notes taken in the first lecture.

More detailed lecture notes are of course available. See for instance

E. Frenkel
Lectures on the Langlands Program and Conformal Field Theory
hep-th/0512172 .

The following is a transcript of the talk, as reconstructed from my notes. Personal comments are set in italics.

The goal of the lecture is to give the statement and the proof of the geometric Langlands conjecture at the classical, non-quantum level.

There are three parts

1) Geometric Langlands Conjecture in the Classical Limit.

2) Hitchin systems.

3) Proofs.

1) The Geometric Langlands Conjecture in the Classical Limit.

Here and in the following, let G be a complex reductive group.

Let TG be maximal torus inside G.

From this we obtain naturally two lattices

the character lattice

(1)char(T)=Hom(T, *)

the co-character lattice

(2)cochar(T)=Hom( *,T)

Two groups G,G are called Langlands dual if the character lattice of one is the cocharacter lattice of the other, i.e. if




If this is the case, we write

(5)G= LG

for the langlands dual of G.

This duality is in fact an involution on the category of complex reductive groups.


1) Let G=T be an affine torus itself. Then LG is the dual torus (by the very definition).

2) The general linear group is its own Langlands dual

(6) LGL(n)=GL(n).

3) for simple Lie algebras g=Lie(G) we have

(7) Lg=g

for algebras of type A, D, E, F, and G


(8) Lg B=g C, Lg C=g B

for algebras of type B and C.

(9) LSL(n)=PSL(n)
(10) LSp(n)=SO(2n+1)

Now, in order to state a first, slightly simplified version of the geometric Langlands conjcture, we need the following terminology.

Let C be a compact smooth curve of genus g2.

Let G be a complex reductive group, as before.

Let LG be its Langlands dual group.

Let Bun G be the moduli space of (semistable) principal G-bundles on C.

Let Loc G be the moduli space of (semistable) G-local systems on C. Such a local system is nothing but a pair (V,), consisting of a principal G-bundle V and a flat holomorphic connection on V. This is the same as an element in

(11)Hom(π 1(C),G)/G.

Given all that, the first version of the geometric Langlands conjecture (which turns out to be in need of refinement in order not to be trivially wrong) is this.

Claim (geometric Langlands conjecture, naïve version):

1) There exists a natural equivalence of categories between the (bounded) derived category () of coherent sheaves on the moduli space Loc G, coming from the group G, and the (bounded) derived category of modules for the sheaf differential operators on the structure sheaf of the moduli space Bun LG, coming from the Langlands dual group.

(12)c:D(Coh(Loc G))D(D Bun LGmod).

2) moreover, this equivalence sends structure sheaves of points ptLoc G to automorphic Dmodules, known as Hecke eigensheaves.

So in order to understand what this might mean, we need to know what Hecke eigensheaves are.

Hecke Eigensheaves

(for a remark on how Hecke Eigensheaves should be examples of categorified eigenvectors, see the previous entry ())

The moduli space Bun G has a natural family of self-correspondences labeled by points xC.

These are denoted

(13)Bun GpHecke xqBun G

and are defined as follows.

Hecke x is the moduli space of triples (V,V,β), where V and V are principal G-bundles, and where β is an isomorphism of these bundles over the complement of the point x

(14)β:V C{x}V C{x}.

The projections p and q are defined simply by




We can unite all these Hecke x for all x into a single object

(17)Bun GpHeckeqBun G×C

in the obvious way.

There is a fiberwise composition on Hecke x given by

(18)Hecke x× Bun GHecke x Hecke x (V,V,β)×(V,V,α) (V,V,αβ).

Next, we need to pick a dominant cocharacter of G. Call it μ.

For every such dominant cocharacter μ we get a subspace

(19)Hecke x μHecke x.

This subspace is that of triples (V,V,β) which induce a certain nice isomorphism on associated locally free sheaves.

(hm, let me see if I can reproduce the definition…) Given any representation


of G, we get, from every triple (V,V,β) (where, recall, V and V are principal G-bundles) associated vector bundles

(21)E=V× ρ n
(22)E=V× ρ n.

Now, using μ we can construct some sort of twisted version E (μ,λ) of E, depending on the dominant cocharacter μ and an arbitrary dominant character λ (hm, I realize I cannot precisely reproduce the details of this twisting at the moment, I will need to check this) and the condition on (V,V,β)Hecke x to be in Hecke x μ is that β induces an inclusion of locally free sheaves E (μ,λ)E for all λ.

Where we had spans

(23)Bun GpHecke xqBun G

before, we now similarly get spans denoted

(24)Bun Gp μHecke x μq μBun G.

Again, by collecting these for all xC, we obtain

(25)Bun Gp μHecke μq μBun G×C

in the obvious way.

The point of all these spans here is that they can be regarded as operating on the derived category D(D Bun Gmod) by first pulling sheaves on Bun G back along p μ to Hecke μ and then pushing them forward along q μ to Bun G×C

(26)H μ:D(D Bun Gmod)D(D Bun Gmod)×C.

A Hecke eigensheaf is defined to be a sheaf which is something like an eigenvector under this operation ().

In formulas, we say FD(D Bun Gmod) is a Hecke eigensheaf if with the above operation H μ we have

(27)H μ(F)=FV μ[dμ]

(Again, I am not completely sure about my notes here. Apparently dμ denotes the dimension of the fiber of p μ.)

Now we can make point 2) of the above version of the geometric Langlands conjecture a little more precise. The conjecture is that the equivalence of categories c in the first item of the conjecture is such that

(28)c(O V)

is a Hecke eigensheaf for V any point of Bun G and O V its structure sheaf.

Now, why is this conjecture naïve? (“Naïve” is obviously relative here.) The answer is that the moduli space Bun G is in general disconnected, while Loc G is not. So the two categories appearing in the conjecture do not have any chance at all of being equivalent.

The first lecture ended with a sketch of how to remedy this problem.

Instead of using the moduli space Loc G, we should use the moduli stack ℒℴ G of G-local systems, or rather ℒℴ G rs, that of regularly spable such systems.

It turns out that

(29)ℒℴ G rsLoc G rs

is a gerbe, in fact a gerbe with band (“structure group”) Z(G), the center of G. One finds that the derived category of coherent sheaves on ℒℴ G rs accordingly decomposes as

(30)D(Coh(ℒℴ G rs))= γZ(G) *D(Coh(Loc G,γ)),

where Z(G) *=Π 1( LG).

(that’s the end of my notes for the moment)

Posted at May 9, 2006 4:17 PM UTC

TrackBack URL for this Entry:

0 Comments & 13 Trackbacks

Read the post Pantev on Langlands, II
Weblog: The String Coffee Table
Excerpt: Pantev lectures on Langlands duality, D-branes and quantization, part II.
Tracked: May 11, 2006 7:50 AM
Read the post Hecke Eigensheaves and higher Eigenvectors
Weblog: The String Coffee Table
Excerpt: More details on how Hecke eigensheaves are related to categorified eigenvectors.
Tracked: May 15, 2006 9:09 PM
Read the post Searching for 2-Spectral Theory
Weblog: The String Coffee Table
Excerpt: Does a categorified spectral theorem connect duality defects in CFT with diagonizable Hecke-like 2-operators?
Tracked: May 29, 2006 2:55 PM
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 Going the Wrong Way - for Dummies
Weblog: The String Coffee Table
Excerpt: The definition of the pullback of sheaves of modules.
Tracked: June 2, 2006 5:41 PM
Read the post Homological Mirror Symmetry Literature
Weblog: The String Coffee Table
Excerpt: Some literature on homological mirror symmetry and related issues.
Tracked: June 11, 2006 12:20 AM
Read the post Kapustin on SYM, Mirror Symmetry and Langlands, I
Weblog: The String Coffee Table
Excerpt: Kapustin lectures on mirror symmetry in twisted compactified SYM, realizing geometric Langlands.
Tracked: June 15, 2006 9:00 PM
Read the post Kapustin on SYM, Mirror Symmetry and Langlands, II
Weblog: The String Coffee Table
Excerpt: Second part of A. Kapustin's talk.
Tracked: June 17, 2006 10:40 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:06 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:39 PM
Read the post Recent Developments in QFT in Leipzig
Weblog: The n-Category Café
Excerpt: A conference on new developments in Quantum Field Theory at the Max Planck Institute in Leipzig.
Tracked: March 21, 2007 1:06 PM
Read the post Poisson-Sigma Models, Lie Algebroids, Deformations and Higher Analogues in Vienna
Weblog: The n-Category Café
Excerpt: Announcement of ESI Workshop on Lie Algebroids in Summer 2007.
Tracked: May 4, 2007 4:46 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:13 PM

Post a New Comment