Some criteria for stably birational equivalence of quadratic forms

DOI10.1016/J.JALGEBRA.2022.10.030MaRDI QIDQ2099281zbMATH OpenOpenAlexFDO

Publication date 23 November 2022

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2022.10.030

Quadratic forms over general fields (11E04) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Quadratic spaces; Clifford algebras (11E88) Forms and linear algebraic groups (11E99) Transcendental field extensions (12F20) Algebraic functions and function fields in algebraic geometry (14H05) Clifford algebras, spinors (15A66)

Review text

Let \(p\) and \(q\) be nondegenerate quadratic forms over a field \(F\) of characteristic not two. As it is well known, the associated projective quadrics \(X_{p}\) and \(X_{q}\) are stably birationally equivalent if and only if the following holds: \((\ast)\) the quadratic form \(p\) is isotropic over the function field \(F(q)\) of \(X_{q}\) and the quadratic form \(q\) is isotropic over the function field \(F(p)\) of \(X_{p}\). Without mentioning this geometric background the paper under review defines the quadratic forms \(p\) and \(q\) to be stably birationally equivalent if the algebraic condition \((\ast)\) holds. The paper then proves several algebraic criteria for stable birational equivalence of quadratic forms, improving as well as reproving known results. For instance, it is shown that the quadratic forms \(p\) and \(q\) are stably birationally equivalent if and only if \[ D_{F}(p)\cdot D_{F}(p)\, =\, D_{F}(q)\cdot D_{F}(q) \] as subsets of the multiplicative group \(F^{\times}\) of \(F\), where \(D_{F}(\varphi)\) denotes the set of non zero values of a quadratic form \(\varphi\) over \(F\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Some criteria for stably birational equivalence of quadratic forms

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