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

DOI10.1112/PLMS/PDU017MaRDI QIDQ2934780zbMATH OpenOpenAlexFDO

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)

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 4108983 (Why is no real title available?)
• Cohomological invariants associated to symmetric bilinear forms
• Cohomologie galoisienne. Cours au Collège de France, 1962--1963. Seconde édition.
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Equivariant Stiefel-Whitney classes
• Etale Homotopy of Simplicial Schemes. (AM-104)
• Higher spinor classes
• Orthogonal representations of Galois groups, Stiefel-Whitney classes and Hasse-Witt invariants.
• 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
• 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)