Chern classes and extraspecial groups (Q1911200): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2046039590 / rank | |||
Normal rank |
Latest revision as of 10:10, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Chern classes and extraspecial groups |
scientific article |
Statements
Chern classes and extraspecial groups (English)
0 references
28 May 1997
0 references
The determination of the mod-\(p\) cohomology algebra \(\text{H}^*(G)\) of an extraspecial \(p\)-group \(G\) is an important problem in the cohomology theory of finite groups. For \(p=2\) \textit{D. Quillen} has given a complete answer [see Math. Ann. 194, 197-212 (1971; Zbl 0225.55015)]. For \(p\) an odd prime only partial results are known, they mainly concern \(\text{h}^*(G)\), the cohomology algebra \(\text{H}^*(G)\) modulo its nilradical. A subring which is somewhat more accessible than the full cohomology algebra is the Chern subring of \(\text{H}^*(G)\), and its image \(\text{ch}^*(G)\) in \(\text{h}^*(G)\). For the group \(G=p^{1+2n}_+\) the authors first exhibit Chern classes \(\alpha_1,\beta_1,\dots,\alpha_n,\beta_n\) of one dimensional representations of \(G\). Then, using Dickson invariants Chern classes \(\kappa_0,\kappa_1,\dots,\kappa_{n-1},\zeta\) are described which belong to faithful irreducible representations of \(G\) of degree \(p^n\). These two sets of elements together generate the whole of \(\text{ch}^*(G)\). The subring generated by \(\zeta,\alpha_1,\beta_1,\dots,\alpha_n,\beta_n\) had already been considered by \textit{H. Tezuka} and \textit{N. Yagita} [see Math. Proc. Camb. Philos. Soc. 94, 449-459 (1983; Zbl 0535.20030)]; it is known to have the same Krull dimension as \(\text{ch}^*(G)\). The authors show that \(\zeta,\kappa_0,\kappa_1,\dots,\kappa_{n-1}\) generate a different subring having the same Krull dimension as \(\text{ch}^*(G)\). The relationship between these two subrings is then explored. Formulas are given, involving Dickson invariants, that express certain powers of \(\kappa_0,\kappa_1,\dots,\kappa_{n-1}\) in terms of \(\alpha_1,\beta_1,\dots,\alpha_n,\beta_n\).
0 references
mod-\(p\) cohomology algebras
0 references
extraspecial \(p\)-groups
0 references
Chern classes
0 references
Dickson invariants
0 references
faithful irreducible representations
0 references
Krull dimension
0 references