论文标题
基于掌位模块，紧凑型轨迹和本地支持
Idempotent modules, locus of compactness and local supports
论文作者
论文摘要
让$ kg $成为在特征$ p> 0 $的字段$ k $上定义的有限组计划的组代数。 Associated to any closed subset $V$ of the projectivized prime ideal spectrum $\operatorname{Proj} \operatorname{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.从大稳定类别到此本地化子类别的共定位函数是通过张开iDempotent模块$ \ Mathcal {e} $给出的。 diadempotent模块的属性是，其沿任何平面地图$α：k [t]/（t^p）\ to kg $的限制是一个紧凑的对象。对于任何$ kg $ -Module $ m $，我们就此类限制定义了其紧凑型源。 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 $\operatorname{Hom}(\mathcal{E}, M)$ is finitely generated over the endomorphism ring of $\mathcal{E}$, provided the restriction along an associated flat map is a compact object.这导致了当地支持的概念。我们证明了它的一些属性，并给出了实现定理。
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 $\operatorname{Proj} \operatorname{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 $\mathcal{E}$. A property of the idempotent module is that its restriction along any flat map $α:k[t]/(t^p) \to kG$ 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 $\operatorname{Hom}(\mathcal{E}, M)$ is finitely generated over the endomorphism ring of $\mathcal{E}$, 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.
