Differential forms, linked fields, and the u-invariant

DOI10.1007/S00013-017-1059-7MaRDI QIDQ2407398zbMATH OpenOpenAlexFDO

Authors Adam Chapman, Andrew Dolphin

Publication date 29 September 2017

Published in Archiv der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

\(u\)-invariantdifferential formsfields of finite characteristiclinked fieldsquadratic forms

Mathematics Subject Classification ID

Quadratic forms over general fields (11E04) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Finite-dimensional division rings (16K20)

Abstract: We associate an Albert form to any pair of cyclic algebras of prime degree $p$ over a field $F$ with $operatornamechar(F)=p$ which coincides with the classical Albert form when $p=2$. We prove that if every Albert form is isotropic then $H^4(F)=0$. As a result, we obtain that if $F$ is a linked field with $operatornamechar(F)=2$ then its $u$-invariant is either $0,2,4$ or $8$.

Review text

In the paper under review the authors associate an Albert form to any pair of cyclic algebras of prime degree \(p\) over a field \(F\) with \(\mathrm{char}(F) = p\) which coincides with the classical Albert form when \(p = 2\) and proceed to prove that if every Albert form is isotropic then \(H^4(F) = 0\). Given a field \(F\), a quaternion algebra over \(F\) is a central simple \(F\)-algebra of degree \(2\). The maximal subfields of quaternion division algebras over \(F\) are quadratic field extensions of \(F\). Two quaternion \(F\)-algebras are called linked if they share a common maximal subfield. A field \(F\) is called linked if every two quaternion \(F\)-algebras are linked. The \(u\)-invariant of a field \(F\), denoted by \(u(F)\), can be defined as the maximal dimension of an anisotropic nonsingular quadratic form over \(F\) of finite order in \(W_q(F)\). It was proven in [\textit{R. Elman} and \textit{T. Y. Lam}, Invent. Math. 21, 125--137 (1973; Zbl 0267.10029)] that if \(F\) is a linked field with \(\mathrm{char}(F) \neq 2\) then the possible values \(u(F)\) can take are \(0, 1, 2, 4\) and \(8\), and later Faivre in his PhD thesis proved that if \(F\) is a linked field and \(I_q^4 F = 0\) then \(u(F)\) is either \(0,2,4\) or \(8\). The authors managed to successfully apply their main result to eliminate the \(I_q^4 F = 0\) assumption in the above mentioned theorem.

Recommendations

• scientific article; zbMATH DE number 4097472
• On the u-invariant for quadratic forms and the linkage of cyclic algebras
• Generalised quadratic forms and the \(u\)-invariant
• scientific article; zbMATH DE number 823446
• A note on the u-invariant of fields

Cites work

• A note on the linkage of Hurwitz algebras
• An introduction to central simple algebras and their applications to wireless communication
• Central simple algebras and Galois cohomology
• Common subfields of \(p\)-algebras of prime degree
• Comparing u-invariants of fields of characteristic 2
• scientific article; zbMATH DE number 753799 (Why is no real title available?)
• On the linkage of quaternion algebras.
• Quadratic forms and the u-invariant
• Symbol length of p-algebras of prime exponent
• Symmetric bilinear forms, quadratic forms and Milnor K-theory in characteristic two
• Symplectic involutions, quadratic pairs and function fields of conics
• The Albert Quadratic Form for an Algebra of Degree Four
• The algebraic and geometric theory of quadratic forms
• Total linkage of quaternion algebras and Pfister forms in characteristic two

Cited in

(11)

• u-invariants for forms of higher degree
• On the u-invariant for quadratic forms and the linkage of cyclic algebras
• Triple linkage of quadratic Pfister forms
• Field of iterated Laurent series and its Brauer group
• Linkage of sets of cyclic algebras
• Linkage of symbol \(p\)-algebras of degree 3
• Cyclicity of central simple algebras of degree 4 over fields with u-invariant not more than 4.
• Common slots of bilinear and quadratic Pfister forms
• The $u^n$-invariant and the symbol length of $H_2^n(F)$
• Linkage of sets of quaternion algebras in characteristic 2
• Invariant for sets of Pfister forms

This page was built for publication: Differential forms, linked fields, and the \(u\)-invariant

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