SearcharxivSearch

arXiv subjects

S. Raskin

Publications and source records attributed to S. Raskin.

5 recordsLinked to original sources

Proof of the geometric Langlands conjecture IV: ambidexterity

This paper performs the following steps toward the proof of GLC in the de Rham setting: (i) We deduce GLC for G=GL_n; (ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is ambidextrous; (iii) We reduce GLC to the study of a certain classical vector bundle with connection on the stack of irreducible local systems; (iv) We prove that GLC is equivalent to the contractibility of the space of generic oper structures on irreducible local systems; (v) Using [BKS], we deduce GLC for classical groups.

math.AG

Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE

This paper is the second in a series of five that together prove the geometric Langlands conjecture. Our goals are two-fold: (1) Formulate and prove the Fundamental Local Equivalence (FLE) at the critical level; (2) Study the interaction between Kac-Moody localization and the global geometric Langlands functor of ref. [GLC1]. This paper contains an extensive Appendix, whose primary goals are: (a) Development the theory of ind-coherent sheaves in infinite type; (b)Development of the formalism of factorization categories.

math.AG

Automorphic functions as the trace of Frobenius

We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from [AGKRRV1]. More generally, we show that traces of Frobenius-Hecke functors produce shtuka cohomologies.

math.AG

The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support

We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves). We formulate a conjecture that makes precise the connection between the category of automorphic sheaves and the space of automorphic functions.

math.AG