Infinite dimensional modules for Frobenius kernels (Q1612160)

The first part of the paper focuses on finding a local detection property for projectivity of modules for Frobenius kernels over an algebraically closed field \(k\) of prime characteristic \(p\). For an example of this, consider a finite group \(G\). \textit{L.~Chouinard} [J. Pure Appl. Algebra 7, 287-302 (1976; Zbl 0327.20020)] showed that a \(kG\)-module \(M\) (even infinite dimensional) is projective if and only if it is projective upon restriction to \(kE\) for all elementary Abelian \(p\)-subgroups \(E\) of \(G\). For a `finite' dimensional module, Chouinard's Theorem was later seen to be a consequence of the extensive theory of cohomological support varieties for finite groups. However, Chouinard's Theorem is actually needed to deduce key properties in a general theory of support varieties for arbitrary modules. The author considers Frobenius kernels of a smooth algebraic group \(G\) over \(k\) to which a theory of support varieties exists for finite dimensional modules. For such modules, it follows that projectivity can be detected by subgroup schemes that are Frobenius kernels of the additive group \(\mathbb{G}_a\). The natural question arises as to whether or not this property can be deduced directly and further for arbitrary modules. Building upon work of the reviewer [Proc. Am. Math. Soc. 129, No. 3, 671-676 (2001; Zbl 0990.20028)] for unipotent algebraic group schemes, the author shows that the detection property holds in general. The author then proceeds to develop a theory of `support cones' for arbitrary modules and uses the above detection result to derive desired properties of these cones. Lastly, the author gives a description of support cones in terms of Rickard idempotent modules as done for finite groups by \textit{D. Benson, J. Carlson}, and \textit{J. Rickard} [Math. Proc. Camb. Philos. Soc. 120, No. 4, 597-615 (1996; Zbl 0888.20003)].