Multivariable -modules and smooth -torsion representations
arXiv:1511.01037 · doi:10.1007/s00029-016-0259-5
Abstract
Let be a -split reductive group with connected centre and Borel subgroup . We construct a right exact functor from the category of smooth modulo representations of to the category of projective limits of finitely generated étale -modules over a multivariable (indexed by the set of simple roots) commutative Laurent-series ring. These correspond to representations of a direct power of via an equivalence of categories. Parabolic induction from a subgroup corresponds to a basechange from a Laurent-series ring in those variables with corresponding simple roots contained in the Levi component . is exact and yields finitely generated objects on the category of finite length representations with subquotients of principal series as Jordan-Hölder factors. Lifting the functor to all (noncommuting) variables indexed by the positive roots allows us to construct a -equivariant sheaf on and a -equivariant continuous map from the Pontryagin dual of a smooth representation of to the global sections . We deduce that is fully faithful on the full subcategory of with Jordan-Hölder factors isomorphic to irreducible principal series.
55 pages, revised, to appear in Selecta Mathematica