Sheaves of modules on atomic sites and discrete representations of topological groups (2108.13600v2)

Abstract: The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as saturated representations, and show that the category of sheaves is equivalent to the Serre quotient of the category of presheaves by the category of torsion presheaves. Consequently, the sheafification functor and sheaf cohomology functors are interpreted by localization functors, section functors, and derived functors of torsion functor in representation theory. These results as well as a classical theorem of Artin provides us a new approach to study discrete representations of topological groups. In particular, by importing established facts in representation stability theory, we explicitly classify simple or indecomposable injective discrete representations of some discrete topological groups such as the infinite symmetric group, the infinite general or special linear group over a finite field, and the automorphism group of the linearly ordered set $\mathbb{Q}$. We also show that discrete representations of these topological groups satisfy a certain stability property.