Sur la structure des repr{é}sentations g{é}n{é}riques des groupes lin{é}aires infinis
Aurélien Djament,Antoine Touzé
2024-12-06
Abstract:We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over a field K -- such functors are sometimes called \textit{generic representations} of linear groups over A with coefficients in K. We are especially interested with finitely generated functors of F(A,K) taking finite dimensional values. We prove that they can, under a mild extra assumption (always satisfied if the ring A is noetherian), be built from much better understood functors, namely polynomial functors (in the sense of Eilenberg-MacLane), or factorising at the source through reduction modulo a cofinite ideal of A. We deduce that such functors are always noetherian et that, if the ring A is finitely generated, they have finitely generated projective <a class="link-external link-http" href="http://resolutions.Our" rel="external noopener nofollow">this http URL</a> methods rely mainly on the study of weight decompositions of functors and their cross-effects, our recent previous work with Vespa (Ann. ENS 2023) and elementary commutative algebra.
Category Theory,Algebraic Topology,Representation Theory