An invariant of quadratic forms over schemes

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

bilinear bundles dimension index projective quadrics quadratic forms over schemes Witt class Witt ring

Algebraic theory of quadratic forms; Witt groups and rings (11E81) Schemes and morphisms (14A15) Picard groups (14C22)

Let \(X\) be a scheme. The dualization functor induces a ring homomorphism \({}^\wedge: K_0X \to K_0X\). Let \(EX= \text{Ker} (1-{}^\wedge)/ \text{Im} (1+{}^\wedge)\). The author defines a ring homomorphism \(e_0:WX\to EX\) which is a natural generalization of the dimension index in the theory of quadratic forms. He computes \(EX\) and \(e_0\) for regular curves \(X\). In this case \(e_0\) is surjective, but if \(EX\neq \mathbb{Z}/2\mathbb{Z}\) there are bilinear spaces on \(X\) which are not induced from the ground field \(F\). Methods from algebraic geometry can be used to compute \(EX\) for many quasiprojective schemes \(X\). In particular this is done very explicitly for projective quadrics of maximal index \(m\) for any dimension \(2m\) resp. \(2m+1\). Here the Swan bundle and Clifford algebras play a significant role. For \(\dim X= 2m>2\) we have \(EX= (\mathbb{Z}/2\mathbb{Z})^2\), and \(e_0\) is surjective. Non-induced bilinear bundles can be computed explicitly. Furthermore there are bilinear bundles which are hyperbolic everywhere locally, but not globally.

Recommendations

Cited in

(12)

This page was built for publication: An invariant of quadratic forms over schemes

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