Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

So, lots of people work on the Geometric Langlands Conjecture, and there have been a few questions around here on it (admittedly, several of them mine). So here's another one, tagged community wiki because there isn't really a "right" answer: what does GLC imply? Lots of big conjectures have well known consequences (Riemann Hypothesis and distribution of primes) but what about GLC? Are there any nice things that are known to follow from this equivalence of derived categories?

EDIT: The Geometric Langlands Conjecture says the following: Let $C$ be an algebraic curve (any field, though I think the formulation I know is only good in characteristic 0), $G$ a reductive algebraic group, $^L G$ its Langlands dual (the characters of G are cocharacters of $^L G$, if I recall correctly). Then there's a natural equivalence of categories from the derived category of coherent sheaves on the stack of $G$-local systems to the derived category of coherent $\mathcal{D}$-modules on the moduli stack of principal $^L G$-bundles, such that the structure sheaf of a point is sent to a Hecke Eigensheaf (and I'm not going to sit down and define that on top of the rest here...the idea is that $G$-local systems on the curve are equivalent to eigensheaves for some collection of operators, but actually making it precise and having a hope of being true gets technical)

Edit 2: This paper states one version of the conjecture (for $GL(n)$ only) as 1.3, after defining the Hecke operators.

share|improve this question
3  
And maybe for us novices, what does the conjecture say? –  Chris Schommer-Pries Nov 5 '09 at 1:13
    
Well, I added something. Can't promise it's a helpful description of the conjecture. Had a bit of trouble with the latex renderer, else I'd have written everything out. –  Charles Siegel Nov 5 '09 at 1:26
    
Added a link to Frenkel, Gaitsgory and Vilonen's paper, it does stuff for the case GL(n) over any field, I think. –  Charles Siegel Nov 5 '09 at 1:40
    
Local systems don't form a $C^\times$ gerbe.. irreducible GL_n local systems do (in general irreducible local systems form a gerbe for the center of the group), but general local systems are not a gerbe for any group (like any nice stack they're stratified by gerbes for the various stabilizer groups) –  David Ben-Zvi Nov 5 '09 at 2:01
    
hmm.. that attempt to write the multiplicative group failed miserably, sorry.. –  David Ben-Zvi Nov 5 '09 at 2:01
show 3 more comments

1 Answer 1

up vote 43 down vote accepted

OK, this is a very broad question so I'll be telegraphic. There is a sequence of increasingly detailed conjectures going by the name GL -- it's really a "program" (harmonic analysis of $\mathcal{D}$-modules on moduli of bundles) rather than a conjecture -- and only the first of this sequence has been proved (and only for $GL_n$), but I don't want to get into this.

There are several kinds of reasons you might want to study geometric Langlands:

  1. direct consequences. One application is Gaitsgory's proof of de Jong's conjecture (arXiv:math/0402184). If you prove the ramified geometric Langlands for $GL_n$, you will recover L. Lafforgue's results (Langlands for function fields), which have lots of consequences (enumerated eg I think in his Fields medal description), which I won't enumerate. (well really you'd need to prove them "well" to get the motivic consequences..) In fact you'll recover much more (like independence of $l$ results). To me though this is the least convincing motivation..

  2. Original motivation: by understanding the function field version of Langlands you can hope to learn a lot about the Langlands program, working in a much easier setting where you have a chance to go much further. In particular the GLP (the version over $\mathbb{C}$) has a LOT more structure than the Langlands program -- ie things are MUCH nicer, there are much stronger and cleaner results you can hope to prove, and hope to use this to gain insight into underlying patterns.

By far the greatest example of this is Ngo's proof of the Fundamental Lemma --- he doesn't use GLP per se, but rather the geometry of the Hitchin system, which is one of the key geometric ingredients discovered through the GLP. To me this already makes the whole endeavor worthwhile..

  1. Relations with physics. Once you're over $\mathbb{C}$, you (by which I mean Beilinson-Drinfeld and Kapustin-Witten) discover lots of deep relations with (at least seemingly) different problems in physics.

a. The first is the theory of integrable systems -- many classical integrable systems fit into the Hitchin system framework, and geometric Langlands gives you a very powerful tool to study the corresponding quantum integrable systems. In fact you (namely BD) can motivate the entire GLP as a way to fully solve a collection of quantum integrable systems. This has has lots of applications in the subject (eg see Frenkel's reviews on the Gaudin system, papers on Calogero-Moser systems etc).

b. The second is conformal field theory (again BD) --- they develop CFT (conformal, not class, field theory!) very far towards the goal of understanding GLP, leading to deep insights in both directions (and a strategy now by Gaitsgory-Lurie to solve the strongest form of GLP).

c. The third is four-dimensional gauge theory (KW). To me the best way to motivate geometric Langlands is as an aspect of electric-magnetic duality in 4d SUSY gauge theory. This ties in GLP to many of the hottest current topics in string theory/gauge theory (including Dijkgraaf-Vafa theory, wall crossing/Donaldson-Thomas theory, study of M5 branes, yadda yadda yadda)...

  1. Finally GLP is deeply tied to a host of questions in representation theory, of loop algebras, quantum groups, algebraic groups over finite fields etc. The amazing work of Bezrukavnikov proving a host of fundamental conjectures of Lusztig is based on GLP ideas (and can be thought of as part of the local GLP). (my personal research program with Nadler is to use the same ideas to understand reps of real semisimple Lie groups). This kind of motivation is secretly behind much of the work of BD --- the starting point for all of it is the Beilinson-Bernstein description of reps as $\mathcal{D}$-modules.

There's more but this is already turning into a blog post so I should stop.

share|improve this answer
3  
No, what you should do is write a blog post! –  Ben Webster Nov 5 '09 at 18:03
1  
I have a suspicion that any question starting with the words "there is no right answer" actually has the right answer. –  Ilya Nikokoshev Nov 5 '09 at 19:16
1  
Your report was very inspiring to a beginning students like me. Could you kindly elaborate on what might be the pre-requisites to understand this program and from where can one get started? Like a learning road-map? –  Anirbit Jun 19 '10 at 18:42
3  
@Anirbit: thanks.. I'm actually writing an introductory book on the subject, hopefully something will be available next year. There's also an excellent survey article by Ed Frenkel - that and a bunch of other references can be found on my <a href="math.utexas.edu/users/benzvi/Langlands.html">Geometric Langlands page</a>. As for prerequisites many of them can be found on <a href="math.harvard.edu/~gaitsgde/grad_2009/">Dennis Gaitsgory's page</a>. –  David Ben-Zvi Jun 27 '10 at 2:59
1  
@Yosemite Sam - the precise relation is still a little obscure, but I was referring to work of Gaiotto-Moore-Neitzke relating the geometry of the Hitchin moduli spaces to wall crossing formulas and DT invariants (these are DT invariants of certain local CY3s attached to Riemann surfaces with quadratic differentials, in the SL2 case). This is another aspect of the same SUSY gauge theories giving rise to geometric Langlands, and should be connected..one of many aspects of the mysterious "theory X" (the 6d (2,0) SCFT, or M5-brane theory), which seems to contain literally everything I care about.. –  David Ben-Zvi Jun 25 '12 at 3:29
show 2 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.