Sheaves on Bun_G - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T15:45:56Z http://mathoverflow.net/feeds/question/2518 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2518/sheaves-on-bun-g Sheaves on Bun_G Ilya Nikokoshev 2009-10-25T21:34:02Z 2009-10-26T07:54:25Z <p>What's the background I need to know to understand the conjectural</p> <pre><code> D (Bun_G) =?= O(LocSys) </code></pre> <p>from <a href="http://mathoverflow.net/questions/2464/what-is-drinfelds-manuscript-best-dream-in-russian-about" rel="nofollow">this question</a>. I know the LHS is about the derived category of D-modules on the space (stack?) of some (stable?) bundles for some preselected group G. What's the RHS? I've seen the physics articles that say something about his topic, but how would you explain it?</p> <p>I know this goes under the name of Geometric Langlands. Why?</p> http://mathoverflow.net/questions/2518/sheaves-on-bun-g/2527#2527 Answer by Charles Siegel for Sheaves on Bun_G Charles Siegel 2009-10-25T22:20:50Z 2009-10-25T22:20:50Z <p>Don't need stable. It's the stack of all G bundles on a curve. The right hand side is the derived category of local systems, which are vector bundles with flat connection (G-bundles, for the Langlands dual of G in this equation). As for background, that depends on how deep an understanding you want.</p> <p>For a lot of the positive characteristic stuff, you want to look at stuff by <a href="http://front.math.ucdavis.edu/search?a=frenkel&amp;t=langlands&amp;q=&amp;c=&amp;n=25&amp;s=Listings" rel="nofollow">Frenkel</a> and <a href="http://front.math.ucdavis.edu/search?a=gaitsgory&amp;t=langlands&amp;q=&amp;c=&amp;n=25&amp;s=Listings" rel="nofollow">Gaitsgory</a>, is my understanding.</p> <p>In the complex case, there's a bit of other stuff. I've got to, of course, recommend the work of my <a href="http://front.math.ucdavis.edu/search?a=donagi&amp;t=langlands&amp;q=&amp;c=&amp;n=25&amp;s=Listings" rel="nofollow">advisor</a>, as well as the work of <a href="http://front.math.ucdavis.edu/search?a=witten&amp;t=langlands&amp;q=&amp;c=&amp;n=25&amp;s=Listings" rel="nofollow">Witten</a> which is closely related. To really get this, you need to have a bit of an understanding of the Hitchin system on Higgs bundles (though not by that name, they're used extensively in <a href="http://math.unice.fr/~beauvill/pubs/bnr.pdf" rel="nofollow">this paper</a>).</p> <p>As for why it's called Geometric Langlands, that'd be because it's, essentially, a geometric formulation related to the classical Langlands conjecture in number theory, which I know fairly little about, except that it involves automorphic forms. I recommend asking your local number theorist for some help, though I do believe that it is explained in the book <a href="http://www.amazon.com/Introduction-Langlands-Program-Joseph-Bernstein/dp/0817632115/ref=sr%5F1%5F1?ie=UTF8&amp;s=books&amp;qid=1256509205&amp;sr=8-1" rel="nofollow">Introduction to the Langlands Program</a> by quite a few authors, which includes Gaitsgory explaining roughly what Geometric Langlands is and how it all fits together.</p> <p>Hope that helps.</p> http://mathoverflow.net/questions/2518/sheaves-on-bun-g/2585#2585 Answer by S. Carnahan for Sheaves on Bun_G S. Carnahan 2009-10-26T07:54:25Z 2009-10-26T07:54:25Z <p>The right hand side of the equation describes the derived category of coherent sheaves on the stack of <sup>L</sup>G torsors with connection. In the traditional Langlands correspondence, one side is described by certain homomorphisms of a Galois group into the complex reductive group that is Langlands dual to G. In the function field setting, the (unramified) Galois group is the etale fundamental group of a proper algebraic curve, and conjugacy classes of homomorphisms to <sup>L</sup> G are in natural bijection with <sup>L</sup>G torsors with connection. These torsors are in turn in bijection with certain skyscraper sheaves on the corresponding moduli stack. Passing to coherent sheaves is a natural expansion of the category (but I imagine there are better motivations that escape me at the moment).</p> <p>There is a more symmetric quantized version of this conjecture, due to Feigin, E. Frenkel, and Stoyanovsky. Coherent sheaves on the right hand side are replaced by twisted D-modules on the stack of <sup>L</sup>G bundles. There is a discussion of it in the introduction to Gatsgory's paper on the twisted Whittaker model (on the arXiv).</p>