Showing 1–35 of 35 results for author: Vilonen, K

Cuspidal character sheaves on graded Lie algebras

Authors: Wille Liu, Cheng-Chiang Tsai, Kari Vilonen, Ting Xue

Abstract: We show in this paper that in the context of graded Lie algebras, all cuspidal character sheaves arise from a nearby-cycle construction followed by a Fourier--Sato transform in a very specific manner. Combined with results of the last two named authors, this completes the classification of cuspidal character sheaves for Vinberg's type I graded classical Lie algebras. We show in this paper that in the context of graded Lie algebras, all cuspidal character sheaves arise from a nearby-cycle construction followed by a Fourier--Sato transform in a very specific manner. Combined with results of the last two named authors, this completes the classification of cuspidal character sheaves for Vinberg's type I graded classical Lie algebras. △ Less

Submitted 30 December, 2024; v1 submitted 6 September, 2024; originally announced September 2024.

Unitary representations of real groups and localization theory for Hodge modules

Authors: Dougal Davis, Kari Vilonen

Abstract: We prove a conjecture of Schmid and the second named author that the unitarity of a representation of a real reductive Lie group with real infinitesimal character can be read off from a canonical filtration, the Hodge filtration. Our proof rests on three main ingredients. The first is a wall crossing theory for mixed Hodge modules: the key result is that, in certain natural families, the Hodge fil… ▽ More We prove a conjecture of Schmid and the second named author that the unitarity of a representation of a real reductive Lie group with real infinitesimal character can be read off from a canonical filtration, the Hodge filtration. Our proof rests on three main ingredients. The first is a wall crossing theory for mixed Hodge modules: the key result is that, in certain natural families, the Hodge filtration varies semi-continuously with jumps controlled by extension functors. The second ingredient is a Hodge-theoretic refinement of Beilinson-Bernstein localization: we show that the Hodge filtration of a mixed Hodge module on the flag variety satisfies the usual cohomology vanishing and global generation properties enjoyed by the underlying $\mathcal{D}$-module. The third ingredient is an explicit calculation of the Hodge filtration on a tempered Hodge module. As byproducts of our work, we obtain a version of Saito's Kodaira vanishing for twisted mixed Hodge modules, a calculation of the Hodge filtration on a certain object in category $\mathcal{O}$, and a host of new vanishing results for coherent sheaves on flag varieties. △ Less

Submitted 17 February, 2025; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: v2: Substantial revision. The results of arXiv:2206.09091 have been merged into this paper, and both these and the main theorem on unitarity have been extended to non-linear reductive groups. The paper has also been reorganised and the exposition reworked in several places. v3: Correction of minor errors, added remarks about Theorem 1.5 and its history. 76 pages

Hodge Filtrations on Tempered Hodge Modules

Authors: Dougal Davis, Kari Vilonen

Abstract: We show that the Hodge filtration of a tempered Hodge module is generated by the lowest piece of its Hodge filtration. As a consequence, we prove the main conjecture of [SV] in the special case of tempered representations of real reductive Lie groups. We show that the Hodge filtration of a tempered Hodge module is generated by the lowest piece of its Hodge filtration. As a consequence, we prove the main conjecture of [SV] in the special case of tempered representations of real reductive Lie groups. △ Less

Submitted 8 March, 2023; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: 9 pages. Minor changes to improve the clarity of the exposition (v2). Added a conceptual overview to the introduction (v3)

MSC Class: 14F10; 22E46; 32S35

Mixed Hodge modules and real groups

Authors: Dougal Davis, Kari Vilonen

Abstract: Let $G$ be a complex reductive group, $θ\colon G \to G$ an involution, and $K = G^θ$. In arXiv:1206.5547, W. Schmid and the second named author proposed a program to study unitary representations of the corresponding real form $G_\mathbb{R}$ using $K$-equivariant twisted mixed Hodge modules on the flag variety of $G$ and their polarizations. In this paper, we make the first significant steps towar… ▽ More Let $G$ be a complex reductive group, $θ\colon G \to G$ an involution, and $K = G^θ$. In arXiv:1206.5547, W. Schmid and the second named author proposed a program to study unitary representations of the corresponding real form $G_\mathbb{R}$ using $K$-equivariant twisted mixed Hodge modules on the flag variety of $G$ and their polarizations. In this paper, we make the first significant steps towards implementing this program. Our first main result gives an explicit combinatorial formula for the Hodge numbers appearing in the composition series of a standard module in terms of the Lusztig-Vogan polynomials. Our second main result is a polarized version of the Jantzen conjecture, stating that the Jantzen forms on the composition factors are polarizations of the underlying Hodge modules. Our third main result states that, for regular Beilinson-Bernstein data, the minimal $K$-type of an irreducible Harish-Chandra module lies in the lowest piece of the Hodge filtration of the corresponding Hodge module. An immediate consequence of our results is a Hodge-theoretic proof of the signature multiplicity formula of arXiv:1212.2192, which was the inspiration for this work. △ Less

Submitted 7 June, 2023; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: 58 pages, including one appendix. v2: Added some references, minor updates to the introduction

MSC Class: 14F10; 22E46; 32S35

Invariant systems and character sheaves for graded Lie algebras

Authors: Kari Vilonen, Ting Xue

Abstract: In this paper we introduce a new ingredient, invariant systems of differential equations, to our study of character sheaves on graded Lie algebras. The character sheaves we construct in this paper, together with the ones constructed in [VX1, X2], constitute all cuspidal character sheaves for Vinberg's type I classical graded Lie algebras. In this paper we introduce a new ingredient, invariant systems of differential equations, to our study of character sheaves on graded Lie algebras. The character sheaves we construct in this paper, together with the ones constructed in [VX1, X2], constitute all cuspidal character sheaves for Vinberg's type I classical graded Lie algebras. △ Less

Submitted 28 October, 2024; v1 submitted 16 November, 2021; originally announced November 2021.

Character sheaves for symmetric pairs: special linear groups

Authors: Kari Vilonen, Ting Xue

Abstract: We give an explicit description of character sheaves for the symmetric pairs associated to inner involutions of the special linear groups. We make use of the general strategy given in [VX1] and central character consideration. We also determine the cuspidal character sheaves. We give an explicit description of character sheaves for the symmetric pairs associated to inner involutions of the special linear groups. We make use of the general strategy given in [VX1] and central character consideration. We also determine the cuspidal character sheaves. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1806.02506

Journal ref: Trans. Amer. Math. Soc. 376 (2023) no. 2, 837-853

A note on Hessenberg varieties

Authors: Kari Vilonen, Ting Xue

Abstract: We give a short proof based on Lusztig's generalized Springer correspondence of some results of [BrCh,BaCr,P]. We give a short proof based on Lusztig's generalized Springer correspondence of some results of [BrCh,BaCr,P]. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Nearby Cycle Sheaves for Stable Polar Representations

Authors: Mikhail Grinberg, Kari Vilonen, Ting Xue

Abstract: We extend the results of [GVX] to the setting of a stable polar representation G|V (G connected, reductive over C), satisfying some mild additional hypotheses. Given a G-equivariant rank one local system L on the general fiber of the quotient map f : V --> V/G, we compute the Fourier transform of the corresponding nearby cycle sheaf P on the zero-fiber of f. Our main intended application is to the… ▽ More We extend the results of [GVX] to the setting of a stable polar representation G|V (G connected, reductive over C), satisfying some mild additional hypotheses. Given a G-equivariant rank one local system L on the general fiber of the quotient map f : V --> V/G, we compute the Fourier transform of the corresponding nearby cycle sheaf P on the zero-fiber of f. Our main intended application is to the theory of character sheaves for graded Lie algebras over C. △ Less

Submitted 15 June, 2023; v1 submitted 28 December, 2020; originally announced December 2020.

Comments: 66 pages, 1 figure

MSC Class: 14D05 (primary); 22E46 (secondary)

Character Sheaves for Graded Lie Algebras: Stable Gradings

Authors: Kari Vilonen, Ting Xue

Abstract: In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection groups at roots of unity enter the description. We do so by analysing the Fourier transform of the nearby cycle sheaves constructed in [GVX2]. In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection groups at roots of unity enter the description. We do so by analysing the Fourier transform of the nearby cycle sheaves constructed in [GVX2]. △ Less

Submitted 31 December, 2020; v1 submitted 15 December, 2020; originally announced December 2020.

Journal ref: Adv. Math. 417 (2023), Paper No. 108935

Character sheaves for classical symmetric pairs

Authors: Kari Vilonen, Ting Xue, with an appendix by Dennis Stanton

Abstract: We establish a Springer theory for classical symmetric pairs. We give an explicit description of character sheaves in this setting. In particular we determine the cuspidal character sheaves. We establish a Springer theory for classical symmetric pairs. We give an explicit description of character sheaves in this setting. In particular we determine the cuspidal character sheaves. △ Less

Submitted 7 November, 2021; v1 submitted 7 June, 2018; originally announced June 2018.

Journal ref: Represent. Theory 26 (2022), 1097-1144

Nearby Cycle Sheaves for Symmetric Pairs

Authors: Mikhail Grinberg, Kari Vilonen, Ting Xue

Abstract: We present a nearby cycle sheaf construction in the context of symmetric spaces. This construction can be regarded as a replacement for the Grothendieck-Springer resolution in classical Springer theory. We present a nearby cycle sheaf construction in the context of symmetric spaces. This construction can be regarded as a replacement for the Grothendieck-Springer resolution in classical Springer theory. △ Less

Submitted 8 November, 2022; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: To appear in Amer. J. Math

Journal ref: Amer. J. Math. 145 (2023), no. 1, 1-63

Cartan Theorems for Stein manifolds over a discrete valuation base

Authors: Jari Taskinen, Kari Vilonen

Abstract: In this paper we prove Cartan theorems A and B for Stein manifolds over certain discrete valuation rings. In this paper we prove Cartan theorems A and B for Stein manifolds over certain discrete valuation rings. △ Less

Submitted 12 September, 2016; originally announced September 2016.

Springer correspondence for the split symmetric pair in type $A$

Authors: Tsao-Hsien Chen, Kari Vilonen, Ting Xue

Abstract: In this paper we establish Springer correspondence for the symmetric pair $(\mathrm{SL}(N),\mathrm{SO}(N))$ using Fourier transform, parabolic induction functor, and a nearby cycle sheaves construction due to Grinberg. As applications, we obtain results on cohomology of Hessenberg varieties and geometric constructions of irreducible representations of Hecke algebras of symmetric groups at $q=-1$. In this paper we establish Springer correspondence for the symmetric pair $(\mathrm{SL}(N),\mathrm{SO}(N))$ using Fourier transform, parabolic induction functor, and a nearby cycle sheaves construction due to Grinberg. As applications, we obtain results on cohomology of Hessenberg varieties and geometric constructions of irreducible representations of Hecke algebras of symmetric groups at $q=-1$. △ Less

Submitted 19 June, 2020; v1 submitted 21 August, 2016; originally announced August 2016.

Comments: Final version

Journal ref: Compositio Math. 154 (2018) 2403-2425

On the cohomology of Fano varieties and the Springer correspondence

Authors: Tsao-Hsien Chen, Kari Vilonen, Ting Xue

Abstract: In this paper we compute the cohomology of the Fano varieties of $k$-planes in the smooth complete intersection of two quadrics in $\mathbb{P}^{2g+1}$, using Springer theory for symmetric spaces. In this paper we compute the cohomology of the Fano varieties of $k$-planes in the smooth complete intersection of two quadrics in $\mathbb{P}^{2g+1}$, using Springer theory for symmetric spaces. △ Less

Submitted 19 June, 2020; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: With an appendix by Dennis Stanton

Journal ref: Adv. in Math 318 (2017) 515-533

Hessenberg varieties, intersections of quadrics, and the Springer correspondence

Authors: Tsao-Hsien Chen, Kari Vilonen, Ting Xue

Abstract: In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier… ▽ More In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [CVX2]. △ Less

Submitted 19 June, 2020; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: Final version

Journal ref: Trans. AMS. 373 (2020), no.4, 2427-2461

Koszul Duality for Quasi-split Real Groups

Authors: Roman Bezrukavnikov, Kari Vilonen

Abstract: We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case. We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case. △ Less

Submitted 5 May, 2021; v1 submitted 28 October, 2015; originally announced October 2015.

Comments: Minor improvements compared to the previous version, a lemma showing the main bijection is almost canonical added

Springer correspondence, hyperelliptic curves, and cohomology of Fano varieties

Authors: Tsao-Hsien Chen, Kari Vilonen, Ting Xue

Abstract: In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence… ▽ More In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence explicitly for IC sheaves supported on order 2 nilpotent orbits. In this process we encounter universal families of hyperelliptic curves. As an application we calculate the cohomolgy of Fano varieties of $k$-planes in the smooth intersection of two quadrics in an even dimensional projective space. △ Less

Submitted 12 January, 2021; v1 submitted 20 October, 2015; originally announced October 2015.

Journal ref: Mathematical Research Letters, Vol. 27, No. 5 (2020), pp. 1281-1323

Hodge theory and unitary representations, in the example of $\mathrm{SL}(2,\mathbb{R})$

Authors: Wilfried Schmid, Kari Vilonen

Abstract: We describe our conjecture about the irreducible unitary representations of reductive Lie groups, in the special case of $\mathrm{SL}(2,\mathbb{R})$. We describe our conjecture about the irreducible unitary representations of reductive Lie groups, in the special case of $\mathrm{SL}(2,\mathbb{R})$. △ Less

Submitted 31 May, 2015; originally announced June 2015.

The null-cone and cohomology of vector bundles on flag manifolds

Authors: Kari Vilonen, Ting Xue

Abstract: We study the null-cone of a semi-simple algebraic group acting on a number of copies of its Lie algebra via the diagonal adjoint action. We show that the null cone has rational singularities in the case of SL3. We observe by example that the null-cone is not normal in general and that the normalization of the null-cone does not have rational singularities in general. This is achieved by computing… ▽ More We study the null-cone of a semi-simple algebraic group acting on a number of copies of its Lie algebra via the diagonal adjoint action. We show that the null cone has rational singularities in the case of SL3. We observe by example that the null-cone is not normal in general and that the normalization of the null-cone does not have rational singularities in general. This is achieved by computing cohomology of certain vector bundles on flag varieties. △ Less

Submitted 19 June, 2020; v1 submitted 28 May, 2015; originally announced May 2015.

Comments: Final version

Journal ref: Represent. Theory 20 (2016), 482-498

Microdifferential systems and the codimension-three conjecture

Authors: Masaki Kashiwara, Kari Vilonen

Abstract: The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture. The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture. △ Less

Submitted 28 July, 2013; v1 submitted 23 September, 2012; originally announced September 2012.

Comments: 44 pages in v1. 47 pages in v2. It is revised considerably to improve the exposition in v2. Small changes in v3

MSC Class: 35A27 (Primary) 55N33 (Secondary)

Characteristic cycles and decomposition numbers

Authors: Kari Vilonen, Geordie Williamson

Abstract: We observe that the characteristic cycle of a D-module gives bounds for decomposition numbers of intersection cohomology complexes. We observe that the characteristic cycle of a D-module gives bounds for decomposition numbers of intersection cohomology complexes. △ Less

Submitted 17 February, 2014; v1 submitted 6 August, 2012; originally announced August 2012.

Comments: 7 pages, v3: final version

MSC Class: 32C38

Journal ref: Math. Res. Lett. 20 (2013), no. 2, 359-366

Hodge theory and unitary representations of reductive Lie groups

Authors: Wilfried Schmid, Kari Vilonen

Abstract: We present an application of Hodge theory towards the study of irreducible unitary representations of reductive Lie groups. We describe a conjecture about such representations and discuss some progress towards its proof. We present an application of Hodge theory towards the study of irreducible unitary representations of reductive Lie groups. We describe a conjecture about such representations and discuss some progress towards its proof. △ Less

Submitted 24 June, 2012; originally announced June 2012.

MSC Class: 22E46; 22D10; 58A14 (Primary) 32C38 (Secondary)

Journal ref: Frontiers of Mathematical Sciences,International Press, Somerville MA, 2011, pp. 397-420

On the codimension-three conjecture

Authors: Masaki Kashiwara, Kari Vilonen

Abstract: In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a codimension-three analytic subset. In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a codimension-three analytic subset. △ Less

Submitted 23 July, 2010; v1 submitted 21 July, 2010; originally announced July 2010.

Comments: few small texnical changes

MSC Class: 14F05; 32W25

Journal ref: Proc. Japan Acad. Ser. A Math. Sci. 86 (2010), no. 9, 154--158

Microlocal Perverse Sheaves

Authors: S. Gelfand, R. MacPherson, K. Vilonen

Abstract: Microlocal perverse sheaves form a stack on the cotangent bundle of a complex manifold that is the analogue of the stack of perverse sheaves on the manifold itself. We give an embedding of the stack of microlocal perverse sheaves into a simpler stack on the cotangent bundle which we call melded Morse systems. The category of melded Morse systems is elementary, in the sense that an object is a co… ▽ More Microlocal perverse sheaves form a stack on the cotangent bundle of a complex manifold that is the analogue of the stack of perverse sheaves on the manifold itself. We give an embedding of the stack of microlocal perverse sheaves into a simpler stack on the cotangent bundle which we call melded Morse systems. The category of melded Morse systems is elementary, in the sense that an object is a collection of vector spaces and a collection of linear maps between them satisfying certain composition relations. △ Less

Submitted 19 September, 2005; originally announced September 2005.

MSC Class: 14F05; 35A27

On the geometry of nilpotent orbits

Authors: Wilfried Schmid, Kari Vilonen

Abstract: In this paper we obtain various results about the geometry of nilpotent orbits. In particular, we obtain a better understanding of the Kostant-Sekiguchi correspondence and Kronheimer's instanton flow. We utilize the moment map of Ness and the SL(2)-orbit theorem from Hodge theory. The results of this paper are used in the proof of the Barbarsch-Vogan conjecture in math.RT/0005305 (Ann. of Math.… ▽ More In this paper we obtain various results about the geometry of nilpotent orbits. In particular, we obtain a better understanding of the Kostant-Sekiguchi correspondence and Kronheimer's instanton flow. We utilize the moment map of Ness and the SL(2)-orbit theorem from Hodge theory. The results of this paper are used in the proof of the Barbarsch-Vogan conjecture in math.RT/0005305 (Ann. of Math. (2) 151 (2000), no. 3, 1071-1118). △ Less

Submitted 2 October, 2004; originally announced October 2004.

MSC Class: 22E45; 22E47; 22E60; 53C30

Journal ref: Surv. Differ. Geom., VII, Int. Press, Somerville, MA, pp. 565-623 (2000); Sir Michael Atiyah: a great mathematician of the twentieth century. Asian J. Math. 3 (1999), no. 1, 233-274

Geometric Methods in Representation Theory

Authors: Kari Vilonen

Abstract: These myh lectures at the Park City conference in 1998. These myh lectures at the Park City conference in 1998. △ Less

Submitted 2 October, 2004; originally announced October 2004.

MSC Class: 22E46

Journal ref: Representation theory of Lie groups (Park City, UT, 1998), 241--290, IAS/Park City Math. Ser., 8, Amer. Math. Soc., Providence, RI, 2000

Geometric Langlands duality and representations of algebraic groups over commutative rings

Authors: I. Mirkovic, K. Vilonen

Abstract: In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of perverse sheaves on the complex affine Grassmannian. We can work with perverse sheaves with coefficients in an arbitrary commutative ring and then we recover the… ▽ More In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of perverse sheaves on the complex affine Grassmannian. We can work with perverse sheaves with coefficients in an arbitrary commutative ring and then we recover the representation theory of the split form of the dual group over the commutative ring. △ Less

Submitted 12 February, 2018; v1 submitted 18 January, 2004; originally announced January 2004.

Comments: This version contains a new Appendix B. In the original version there appears to be a gap in section 12. To fix the gap we explain in Appendix B how to read through section 12 without having to pose condition (12.11c)

A geometric Jacquet functor

Authors: Matthew Emerton, David Nadler, Kari Vilonen

Abstract: We describe the Jacquet module functor on Harish-Chandra modules via geometry. We describe the Jacquet module functor on Harish-Chandra modules via geometry. △ Less

Submitted 20 October, 2004; v1 submitted 19 November, 2003; originally announced November 2003.

Comments: 10 pages; final version, to appear in Duke Math J

On the geometric Langlands conjecture

Authors: E. Frenkel, D. Gaitsgory, K. Vilonen

Abstract: Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack of rank n bundles on X (irreducible on each connected component), which is a Hecke eigensheaf with respect to E. In this paper we derive the geometric Langland… ▽ More Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack of rank n bundles on X (irreducible on each connected component), which is a Hecke eigensheaf with respect to E. In this paper we derive the geometric Langlands conjecture from a certain vanishing conjecture. Furthermore, using recent results of Lafforgue, we prove this vanishing conjecture, and hence the geometric Langlands conjecture, in the case when the ground field is finite. △ Less

Submitted 16 October, 2001; v1 submitted 27 December, 2000; originally announced December 2000.

Characteristic cycles and wave front cycles of representations of reductive Lie groups

Authors: Wilfried Schmid, Kari Vilonen

Abstract: Vogan and Barbasch-Vogan attach two similar invariants to representations of a reductive Lie group, one by an algebraic process, the other analytic. They conjectured that the two invariants determine each other in a definite manner. Here we prove the conjecture. Our arguments involve two finer invariants -- the characteristic cycles of representations -- which are interesting in their own right. Vogan and Barbasch-Vogan attach two similar invariants to representations of a reductive Lie group, one by an algebraic process, the other analytic. They conjectured that the two invariants determine each other in a definite manner. Here we prove the conjecture. Our arguments involve two finer invariants -- the characteristic cycles of representations -- which are interesting in their own right. △ Less

Submitted 30 April, 2000; originally announced May 2000.

Comments: 48 pages, published version, abstract added in migration

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 151 (2000), no. 3, 1071-1118

Perverse Sheaves on affine Grassmannians and Langlands Duality

Authors: I. Mirković, K. Vilonen

Abstract: This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category o… ▽ More This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the Langlands dual group is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in and some of the arguments are borrowed from his approach. However, we use a more "natural" commutativity constraint for the convolution product, due to Drinfeld. Secondly, we give a direct proof that the global cohomology functor is exact and decompose this cohomology functor into a direct sum of weights. The geometry underlying our arguments leads to a construction of a canonical basis of Weyl modules given by algebraic cycles and an explicit construction of the group algebra of the dual group in terms of the affine Grassmannian. We completely avoid the use of the decomposition theorem which makes our techniques applicable to perverse sheaves with coefficients over an arbitrary commutative ring. We deduce the classical Satake isomorphism using the affine Grassmannian defined over a finite field. This note contains indications of proofs of some of the results. The details will appear elsewhere. △ Less

Submitted 9 November, 1999; originally announced November 1999.

Comments: Amstex, 12 pages

Whittaker Patterns in the Geometry of Moduli Spaces of Bundles on Curves

Authors: E. Frenkel, D. Gaitsgory, K. Vilonen

Abstract: Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the stud… ▽ More Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the study of the Whittaker functions on the group G(K), where K=F_q((t)). We prove that our category is semi-simple, and that irreducible objects of this category are "clean", i.e., they are extenstions by 0 of local systems supported on the strata. As an application of these results, we obtain a purely geometric proof of the Casselman-Shalika formula for the Whittaker functions. △ Less

Submitted 28 November, 2000; v1 submitted 21 July, 1999; originally announced July 1999.

Comments: 45 pages, Latex; final version to appear in Annals of Mathematics

Two geometric character formulas for reductive Lie groups

Authors: Wilfried Schmid, Kari Vilonen

Abstract: In this paper we prove two formulas for the characters of representations of reductive groups. Both express the character of a representation in terms of the same geometric data attached to it. When specialized to the case of a compact Lie group, one of them reduces to Kirillov's character formula in the compact case, and the other, to an application of the Atiyah-Bott fixed point formula to the… ▽ More In this paper we prove two formulas for the characters of representations of reductive groups. Both express the character of a representation in terms of the same geometric data attached to it. When specialized to the case of a compact Lie group, one of them reduces to Kirillov's character formula in the compact case, and the other, to an application of the Atiyah-Bott fixed point formula to the Borel-Weil realization of the representation. △ Less

Submitted 18 January, 1998; originally announced January 1998.

Journal ref: J. Amer. Math. Soc. 11 (1998), no. 4, 799-867

Geometric Realization of Whittaker Functions and the Langlands Conjecture

Authors: E. Frenkel, D. Gaitsgory, D. Kazhdan, K. Vilonen

Abstract: We prove the equivalence of two conjectural constructions of unramified cuspidal automorphic functions on the adelic group GL_n(A) associated to an irreducible l-adic local system of rank n on an algebraic curve X over a finite field. The existence of such a function is predicted by the Langlands conjecture. The first construction, which was proposed by Shalika and Piatetski-Shapiro following… ▽ More We prove the equivalence of two conjectural constructions of unramified cuspidal automorphic functions on the adelic group GL_n(A) associated to an irreducible l-adic local system of rank n on an algebraic curve X over a finite field. The existence of such a function is predicted by the Langlands conjecture. The first construction, which was proposed by Shalika and Piatetski-Shapiro following Weil and Jacquet-Langlands (n=2), is based on considering the Whittaker function. The second construction, which was proposed recently by Laumon following Drinfeld (n=2) and Deligne (n=1), is geometric: the automorphic function is obtained via Grothendieck's ``faisceaux-fonctions'' correspondence from a complex of sheaves on an algebraic stack. Our proof of their equivalence is based on a local result about the spherical Hecke algebra, which we prove for an arbitrary reductive group. We also discuss a geometric interpretation of this result. △ Less

Submitted 30 November, 1997; v1 submitted 18 March, 1997; originally announced March 1997.

Comments: 33 pages, LATEX2e

Perverse Sheaves on Loop Grassmannians and Langlands Duality

Authors: Ivan Mirković, Kari Vilonen

Abstract: We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in \cite{G} and some of the arguments are borrow… ▽ More We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in \cite{G} and some of the arguments are borrowed from \cite{G}. However, we use a more "natural" commutativity constraint for the convolution product, due to Drinfeld. Secondly, we give a direct geometric proof that the global cohomology functor is exact and decompose this cohomology functor into a direct sum of weights. We avoid the use of the decomposition theorem of \cite{BBD} which makes our techniques applicable to perverse sheaves with coefficients over arbitrary commutative rings. This note includes sketches of (some of the) proofs. The details, as well as the generalization to representations over arbitrary fields and commutative rings will appear elsewhere. △ Less

Submitted 8 March, 1997; originally announced March 1997.

Comments: Amstex, 10 pages