Geometric Langlands duality and representations of algebraic groups over commutative rings

By I. Mirkovic, K. Vilonen. 2004

555 citations recorded by the source corpus.

As such, it can be viewed as a first step in the geometric Langlands program. The connected complex reductive groups have a combinatorial classification by their root data. In the root datum the roots and the co-roots appear in a symmetric manner and so the connected reductive algebraic groups come in pairs. If G is a reductive group, we write G for its companion and call it the dual group G. The notion of the dual group itself does not appear in Satake's paper, but was introduced by Langlands, together with its various elaborations, in [LI], [L2] and is a cornerstone of the Langlands program. It also appeared later in physics [MO], [GNO]. In this paper we discuss the basic relationship between G and G. We begin with a reductive G and consider the affine Grassmannian Qx, the Grassmannian for the loop group of G. For technical reasons we work with formal algebraic loops. The affine Grassmannian is an infinite dimen sional complex space. We consider a certain category of sheaves, the spherical perverse sheaves, on ?r. These sheaves can be multiplied using a convolution product and this leads to a rather explicit construction of a Hopf algebra, by what has come to be known as Tannakian formalism. The resulting Hopf algebra turns out to be the ring of functions on G. In this interpretation, the spherical perverse sheaves on the affine Grassman nian correspond to finite dimensional complex representations of G. Thus, instead of defining G in terms of the classification of reductive groups, we pro vide a canonical construction of G, starting from G. We can carry out our construction over the integers. The spherical perverse sheaves are then those with integral coefficients, but the Grassmannian remains a complex algebraic object.

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/a2ed10d1abc16a7b4d9bd259d21ee8e636305f64

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algebra and Number Theory

In Geometry and Topology

In Mathematical Physics

Citations in the corpus

The $p$-Canonical Basis for Hecke Algebras (2015, background): “§2.6] for the denition of torsion primes. This restriction can be removed by working in the non-equivariant setting. THE p-CANONICAL BASIS FOR HECKE ALGEBRAS 23 The Geometric Satake equivalence (see [MV07]) gives a monoidal equivalence (P G(O)(Gr a(C);k);∗) —→≅ (Rep(G∨);⊗). In [JMW14b] Juteau, Mautn”
Parity sheaves, moment graphs and the p-smooth locus of Schubert varieties (2010, background): “Recall that the geometric Satake equivalence [MV07] establishes a tensor equivalence between the abelian category of rational representations of G and the tensor category of GC[[t]]-equivariant perverse sheaves on Gr.”
The Geometric Satake Correspondence for Ramified Groups (2011, methodology): “For a precise definition of the convolution product, see for example [19, 31].”
Holomorphic reduction of N = 2 gauge theories, Wilson-'t Hooft operators, and S-duality (2006, methodology): “This was achived by identifying the ’t Hooft operators with Hecke operators studied by mathematicians and by exploiting existing mathematical results on the algebra of Hecke operators (“the geometric Satake correspondence” [8, 9, 10]).”
Motives with exceptional Galois groups and the inverse Galois problem (2011, background): “We briefly review the main result of [31].”
Outline of the proof of the geometric Langlands conjecture for $GL_2$ (2013, background): “nctor (4.3) Sat(G)naive Ran( X) : Rep( Gˇ) X) →D-mod(Hecke(G)Ran( )). The functor Sat(G)naive Ran(X) follows from the naive (or “usual”) geometric Satake equivalence, and is essentialy constructed in [MV]. 4.4.5. Compatibility with the Hecke action. We are now able to formulate Property Henaive (“He”
Singular Soergel bimodules (2010, methodology): “ sum of IBI r for r ∈WI \W/WI without shifts. If we only allow degree zero morphisms, we obtain a tensor subcategory IBI 0 containing all IBI p for p ∈WI\W/WI. In view of work of Mirkovic and Vilonen [25] it is natural to expect an equivalence of tensor categories IBI 0 ∼=RepG∨ a Such an equivalence”
Kloosterman sheaves for reductive groups (2010, methodology): “For this, we collect some facts about the geometric Satake equivalence (see [30], [18] and [31]).”
Local geometric Langlands correspondence and affine Kac-Moody algebras (2005, background): “The classical Satake isomorphism has a categorical version due to Lusztig, Drinfeld, Ginzburg, and Mirković–Vilonen (see [MV]) which may be formulated as follows: the category ofG[[t]]-equivariantD-modules on GrG, equipped with the convolution tensor product, is equivalent to the category Rep(Ǧ) of ”
Geometry of canonical bases and mirror symmetry (2013, methodology): “Let us recall the standard definition of Mirković–Vilonen cycles following [3,45,65].”
Affine Mirković-Vilonen polytopes (2011, background): “One of these combinatorial models is Mirković-Vilonen (MV) polytopes.”
The stable Bernstein center and test functions for Shimura varieties (2013, methodology): “At least for J= I+, the pro-p Iwahori subgroup, this will be realized in forthcoming joint work of the author and Benoit Stroh. In a related vein, the geometric Satake equivalence of Mirkovic-Vilonen [MV] is a categorical version of the Satake isomorphism Sat, and this is usually stated when Gis a s”
Buildings, spiders, and geometric Satake (2011, methodology): “tion theory of G, we will consider the afﬁne Grassmannian of its Langlands dual group Gr =Gr(G_)=G_(K )=G_(O): The geometric Satake correspondence of Lusztig [29], Ginzburg [11], and Mirkovi´cVilonen [32] will be our main tool in this article. Theorem 1.1. The category of equivariant perverse sheave”
Betti Geometric Langlands (2016, background): “elating coherent sheaves on a Z-form of the character stack (see Remark 3.1) with complexes of sheaves of abelian groups on BunG(X), compatibly with actions of the integral form of the Hecke category [MV2]. 4.3. Betti class ﬁeld theory. Let G = T be a torus, T∨ the dual torus, and Λ = Hom(C×,T) the ”