Chern classes and the Rost cohomological invariant (Q1951673)

From MaRDI portal
Revision as of 16:29, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Chern classes and the Rost cohomological invariant
scientific article

    Statements

    Chern classes and the Rost cohomological invariant (English)
    0 references
    0 references
    24 May 2013
    0 references
    Let \(G\) be a simple simply connected Lie group and \(G_k\) be its corresponding split linear group over a field \(k\subset\mathbb{C}\), and let \(p\) be a prime number. The ring of cohomological invariants \(\mathrm{Inv}^*(G_k;\mathbb{Z}/p)\) is defined to be ring generated by the natural functors \(H^1(F;G_k)\to H^i(F;\mathbb{Z}/p)\) for the category of finitely generated fields \(F\) over \(k\) (for details, see \textit{S. Garibaldi} et al. [Cohomological invariants in Galois cohomology. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1159.12311)]). If the complex Lie group \(G\) has \(p\)-torsion in \(H^*(G)\), then \textit{M. Rost} constructed a nonzero invariant \(R(G_k)\in \mathrm{Inv}^3(G_k;\mathbb{Z}/p)\) [``On the basic correspondence of a splitting variety'', Preprint]. In this short note, the author gives a new proof of the existence of this invariant for \(k=\mathbb{C}\) using motivic cohomology and Chern classes. First, he uses a result by \textit{B. Totaro} [Proc. Symp. Pure Math. 67, 249--281 (1999; Zbl 0967.14005)] that yields \(\mathrm{Inv}^3(G_k;\mathbb{Z}/p)\cong H^0(BG_k;H^3_{\mathbb{Z}/p})\), the degree zero cohomology of the Zariski sheaf induced by the presheaf \(H^*_{\text{ét}}(V;\mathbb{Z}/p)\) for open subsets \(V\) of the classifying space \(BG_k\) of \(G_k\). Invoking the veracity of the Beilinson-Lichtenbaum conjecture, he derives a decomposition of \(H^0(BG_k;H^3_{\mathbb{Z}/p})\) into a direct sum and shows, using Chern classes, that one of the summands must contain a nontrivial element which, by construction, must correspond to \(R(G_k)\).
    0 references
    cohomological invariant
    0 references
    Rost invariant
    0 references
    motivic cohomology
    0 references
    Chern classes
    0 references
    Beilinson-Lichten\-baum conjecture
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references