Detection theorem for finite group schemes (Q2491740): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q503341 |
Changed an Item |
||
Property / author | |||
Property / author: Andrei A. Suslin / rank | |||
Normal rank |
Revision as of 16:39, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Detection theorem for finite group schemes |
scientific article |
Statements
Detection theorem for finite group schemes (English)
0 references
29 May 2006
0 references
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.
0 references
finite group scheme
0 references
detection theorem
0 references