Compatibility of the Feigin-Frenkel Isomorphism and the Harish-Chandra Isomorphism for jet algebras

Abstract

Let g \mathfrak {g} be a simple finite-dimensional complex Lie algebra with a Cartan subalgebra h \mathfrak {h} and Weyl group W W . Let g n \mathfrak {g}_n denote the Lie algebra of n n -jets on g \mathfrak {g} . A theorem of Raïs and Tauvel and Geoffriau identifies the centre of the category of g n \mathfrak {g}_n -modules with the algebra of functions on the variety of n n -jets on the affine space h ∗ / W \mathfrak {h}^*/W . On the other hand, a theorem of Feigin and Frenkel identifies the centre of the category of critical level smooth modules of the corresponding affine Kac-Moody algebra with the algebra of functions on the ind-scheme of opers for the Langlands dual group. We prove that these two isomorphisms are compatible by defining the higher residue of opers with irregular singularities. We also define generalized Verma and Wakimoto modules and relate them by a nontrivial morphism.