Detection theorem for finite group schemes
The classical detection theorem for finite groups (due to \textit{D. Quillen} and \textit{B. Venkov} [Topology 11, 317--318 (1972; Zbl 0245.18010)]) tells that if \(\pi\) is a finite group and \(\Lambda\) is a \(\mathbb{Z}/p[\pi]\)-algebra then a cohomology class \(z\in H^*(\pi,\Lambda)\) is nilpotent iff for every elementary abelian \(p\)-subgroup \(\pi_0\) the restriction of \(z\) to \(\pi_0\) is nilpotent. This theorem is very useful for the identification of the support variety of the group \(\pi\) and for the identification of support varieties of \(\pi\)-modules. In the detection theorem for infinitesimal group schemes \(G\) [due to \textit{A. Suslin}, \textit{E. M. Friedlander} and \textit{C. P. Bendel}, J. Am. Math. Soc. 10, No. 3, 729--759 (1997; Zbl 0960.14024)] the role of elementary abelian \(p\)-subgroups is played by one parameter subgroups \(\mathbb{G}_{a(r)}\) of \(G\). In the present paper the author proves a general detection theorem for finite group schemes. This theorem generalizes both the classical detection theorem and the detection theorem for infinitesimal group schemes and looks as follows. Theorem. Let \(G/k\) be a finite group scheme, let further \(\Lambda\) be a unital associative rational \(G\)-algebra and let \(z\in H^*(G,\Lambda)\) be a cohomology class. Assume that for any field extension \(K/k\) and any closed subgroup scheme \(i: \pi_0\times \mathbb{G}_{a(r)}\to G_K\) the restriction \(i^*(z_K)\) of \(z_K\) to \(\pi_0\times \mathbb{G}_{a(r)}\) is nilpotent then \(z\) is nilpotent itself.
- Representations and cohomology of a family of finite supergroup schemes
- Infinitesimal 1-parameter subgroups and cohomology
- Projectivity of modules for infinitesimal unipotent group schemes
- Cohomology and projectivity of modules for finite group schemes
- Cohomological detection and regular elements in group cohomology
- Support varieties for infinitesimal group schemes
- \(\Pi\)-supports for modules for finite group schemes.
- Infinite dimensional modules for Frobenius kernels
- Detecting cohomology for Lie superalgebras
- Module invariants and blocks of finite group schemes.
- Cohomology and projectivity of modules for finite group schemes
- Cohomology of finite group schemes over a field
- Cohomology of finite groups and elementary abelian subgroups
- scientific article; zbMATH DE number 3125399 (Why is no real title available?)
- scientific article; zbMATH DE number 4067207 (Why is no real title available?)
- scientific article; zbMATH DE number 3689557 (Why is no real title available?)
- scientific article; zbMATH DE number 3737912 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- Singular homology of abstract algebraic varieties
- Support varieties for infinitesimal group schemes
- Sur quelques points d'algèbre homologique
- The spectrum of an equivariant cohomology ring. I. II
- Colocalising subcategories of modules over finite group schemes
- Detection theorems for K-theory and L-theory
- Cohomology and projectivity of modules for finite group schemes
- Quillen stratification for Hochschild cohomology of blocks
- Stratification for module categories of finite group schemes
- Restricting homology to hypersurfaces
- A survey of support theories for Lie superalgebras and finite supergroup schemes
- Detecting nilpotence and projectivity over finite unipotent supergroup schemes
- \(\Pi\)-supports for modules for finite group schemes.
This page was built for publication: Detection theorem for finite group schemes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2491740)
