Idempotent modules, locus of compactness and local supports

arXiv2210.01842MaRDI QIDQ6412909FDOQ6412909

Jon F. Carlson

Publication date: 4 October 2022

Abstract: Let $kG$ be the group algebra of a finite group scheme defined over a field $k$ of characteristic $p>0$. Associated to any closed subset $V$ of the projectivized prime ideal spectrum $operatornameProjoperatorname{H}^{*}(G,k)$ is a thick tensor ideal subcategory of the stable category of finitely generated $kG$-module, whose closure under arbitrary direct sums is a localizing tensor ideal in the stable category of all $kG$-modules. The colocalizing functor from the big stable category to this localizing subcategory is given by tensoring with an idempotent module $mathcalE$. A property of the idempotent module is that its restriction along any flat map $alpha:k[t]/(t^p)okG$ is a compact object. For any $kG$-module $M$, we define its locus of compactness in terms of such restrictions. With some added hypothesis, in the case that $V$ is a closed point, for a $kG$-module $M$, we show that in the stable category $operatornameHom(mathcalE,M)$ is finitely generated over the endomorphism ring of $mathcalE$, provided the restriction along an associated flat map is a compact object. This leads to a notion of local supports. We prove some of its properties and give a realization theorem.

Mathematics Subject Classification ID

Modular representations and characters (20C20) Cohomology of groups (20J06) Derived categories, triangulated categories (18G80)

This page was built for publication: Idempotent modules, locus of compactness and local supports

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6412909)