most recent 30 from http://mathoverflow.net 2013-05-26T01:05:00Z http://mathoverflow.net/feeds/question/309 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/309/beilinson-bernstein-and-koszul-duality Ilya Nikokoshev 2009-10-11T20:08:13Z 2009-10-21T17:06:02Z

<p>For geometric representation theorists down here.</p> <p>Consider the Beilinson-Bernstein theorem: </p> <blockquote> <p>Functor of global sections establishes the correspondence between twisted D-modules with fixed twist θ on the flag variety and g-representations with fixed central character. These are modules over the same algebra D[θ] = U /(Z −χ). This correspondence respects the structure of abelian category. It takes K-equivariant D-modules to (g, K)-admissible modules.</p> </blockquote> <p>Why do people refer to its derived version as the Koszul duality?</p> <p>How is this related to Soergel's conjecture?</p>

http://mathoverflow.net/questions/309/beilinson-bernstein-and-koszul-duality/311#311 Ben Webster 2009-10-11T20:33:33Z 2009-10-11T20:33:33Z

<p>Well, <em>I</em> don't call its derived version "Koszul duality." Koszul duality is a relationship between pairs of graded algebras (you could upgrade this to graded categories, but why bother?). Given a positively graded algebra A, consider the zero-degree part A₀ as a module. Then B=Ext^*_A(A₀,A₀) is a new bigraded algebra: it has a homological grade, and one induced by taking a graded free resolution of A₀.</p> <p>If these coincide, we say that A is Koszul and B is its Koszul dual. The functor of Ext^*_A(A₀,-) induces an equivalence between the derived categories of graded modules (with strange behavior on the grading!) over A and B (there's a version for ungraded modules of A, but those are sent to dg-modules of B and vice versa).</p> <p>One of the strange facts of geometric representation theory is that categories which seem to a priori have no good reason to be Koszul dual actually are. For example, the categories of (g,N)-admissible modules with fixed generic central character for one Lie algebra is Koszul dual to the corresponding category for its Langlands dual. Soergel's conjecture is an version of this statement to (g,K) admissible modules for various symmetric subgroups K (which is much harder than the version for N).</p> <p>What this has to do with Beilinson-Bernstein is that all these theorems are most naturally studied from a geometric perspective. For example, Koszulity tends to be related to purity of intersection cohomology.</p>

http://mathoverflow.net/questions/309/beilinson-bernstein-and-koszul-duality/832#832 S Kitchen 2009-10-17T04:01:56Z 2009-10-17T04:01:56Z

<p>I was first introduced to Soergel's conjecture as a "categorification" of Vogan duality which identifies blocks of representations for a real reductive Lie group (a few more adjectives should be included here) with with the representations of a real group (determined by the block) in the dual inner class. Dual here is just root system duality for the associated complex groups, although the inner class does also determine the Langlands dual. Jeff Adams gave a nice series of lectures on inner classes/real forms for real groups and their duals this summer at the University of Utah. Lecture notes can be found here: <a href="http://www.math.utah.edu/realgroups/schedule.html" rel="nofollow">http://www.math.utah.edu/realgroups/schedule.html</a>. Adams' and Vogan's lectures on this site should be thought of as an introduction to their book with Dan Barbasch ``The Langlands Classification and Irreducible Characters for Real Reductive Lie Groups". This book already (in the introduction, even) identifies the K-groups of categories of representations of (strong real forms of) a real group with dual-equivariant perverse sheaves on a variety associated to that form (again, many more adjectives are needed). Soergel's conjecture gives an analogous categorical equivalence, and in its derived/dg version looks at the derived category of representations in this picture, and on the dual side a dg-category associated to the dual-equivariant sheaves. This is the setting in which he makes a claim about the equivalence coming from a derived version of Koszul duality. </p> <p>I second Ben's statement about the geometric perspective. The known proofs of the Kazhdan-Lusztig conjectures are geometric, vanishing results for cohomological induction are trivial geometrically, and the parameterization of irreducible objects in the category you describe is also quite easy. </p>

http://mathoverflow.net/questions/309/beilinson-bernstein-and-koszul-duality/1689#1689 David Ben-Zvi 2009-10-21T17:06:02Z 2009-10-21T17:06:02Z

<p>Some general discussions related to Soergel's conjecture and Beilinson-Bernstein can also be found in the introductions to my two papers with David Nadler on the arXiv, 0706.0322 (which is about to be split into two much improved papers) and 0904.1247.</p>