The classifying topos of a group scheme and invariants of symmetric bundles

DOI10.1112/PLMS/PDU017zbMATH Open1314.14040arXiv1301.4928OpenAlexW1987425879MaRDI QIDQ2934780FDOQ2934780

Authors: Philippe Cassou-Noguès, Ted Chinburg, Baptiste Morin, Martin J. Taylor 

Publication date: 22 December 2014

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Abstract: Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group $$ of the form $q$ is a group scheme over $Y$ whose cohomology ring $$ is a polynomial algebra over the 'etale cohomology ring $$ of the scheme $Y$. Here the $H{W}_i(q)$'s are Jardine's universal Hasse-Witt invariants and $$ is the classifying topos of $$ as defined by Grothendieck and Giraud. The cohomology ring $$ contains canonical classes $mathrmdet[q]$ and $[C_q]$ of degree 1 and 2 respectively, which are obtained from the determinant map and the Clifford group of $q$. The classical Hasse-Witt invariants $w_i(q)$ live in the ring $A_Y$. Our main theorem provides a computation of $det[q]$ and $[C_q]$ as polynomials in $H{W}_1(q)$ and $H{W}_2(q)$ with coefficients in $A_Y$ written in terms of $w_1(q),w_2(q)in{A}_Y$. This result is the source of numerous standard comparison formulas for classical Hasses-Witt invariants of quadratic forms. Our proof is based on computations with (abelian and non-abelian) Cech cocycles in the topos $$. This requires a general study of the cohomology of the classifying topos of a group scheme, which we carry out in the first part of this paper.

Full work available at URL: https://arxiv.org/abs/1301.4928

Recommendations

• On Fröhlich twisted bundles
• Twists of symmetric bundles
• Cohomological invariants associated to symmetric bilinear forms
• Geometric methods for cohomological invariants
• scientific article; zbMATH DE number 4108983

zbMATH Keywords

vector bundlestorsorsgroup schemesclassifying toposschemesHasse-Witt invariantssymmetric bundlesétale cohomology

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Quadratic forms over global rings and fields (11E12) Topoi (18B25) Group schemes (14L15) Classical groups (algebro-geometric aspects) (14L35)

Cites Work

• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Etale Homotopy of Simplicial Schemes. (AM-104)
• Orthogonal representations of Galois groups, Stiefel-Whitney classes and Hasse-Witt invariants.
• Cohomologie galoisienne. Cours au Collège de France, 1962--1963. Seconde édition.
• Title not available (Why is that?)
• Cohomological invariants associated to symmetric bilinear forms
• Equivariant Stiefel-Whitney classes
• Higher spinor classes
• The sign of the functional equation of the \(L\)-function of an orthogonal motive

Cited In (3)

• Classification of topological symmetry groups of \(K_n\)
• Hopf algebras and quadratic forms
• On Fröhlich twisted bundles

This page was built for publication: The classifying topos of a group scheme and invariants of symmetric bundles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2934780)