Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 10 min ago
PreprintCC BY 4.0arXiv

Descent and Decomposability of Algebras of Exponent 2 in characteristic 2

Abstract

We define an invariant of central simple algebras of degree 8 and exponent 2 over fields of characteristic 2. It is built from the discriminant Pfister forms of symplectic involutions, takes values in a quotient of the third part of the graded group associated to the fundamental filtration of the Witt group of quadratic forms, and vanishes on tensor products of three quaternion algebras, thus giving a necessary condition for decomposability. Variants of the consctuction yield necessary and sufficient conditions for a biquaternion algebra to descend from a quadratic extension of the base field, and for a quaternion algebra to descent from a biquadratic extension that is not purely inseparable. Our results extend known results both in characteristic 2 and in characteristic different from 2, see the introduction. Using residue maps for quadratic forms, we show that these invariants do not vanish in general, and we give an explicit central simple algebra of degree 8 and exponent 2 with nonzero invariant, which is therefore indecomposable. As explained in the appendix, the purely inseparable case is quite different; in particular, a quaternion algebra descents if and only if its Brauer class also does.

Related

  1. Decomposability of Operators in Type Ik von Neumann Algebras
    Ajay Kumar Karri
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  2. BV structure on the Hochschild cohomology of Liu-Schulz algebras in characteristic two
    Artur Tursunbaev
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. Classification of Finite-Dimensional Simple Novikov Algebras and Their Irreducible Bimodules in Positive Characteristic
    Dong Liu, Yufeng Pei, Limeng Xia
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryMathematical physicsarXiv
  4. Combinatorics of descent algebras and graph coverings
    Philippe Biane
    Seminaire Lotharingien de CombinatoirePeer-reviewedCC BY 4.0Full textGeneral mathematicsHAL
  5. Lie Algebras of Locally Finite Derivations over Fields of Positive Characteristic
    Oksana Bezushchak, Anatoliy Petravchuk
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{queguinermathieu2026descent,
  title = {{Descent and Decomposability of Algebras of Exponent 2 in characteristic 2}},
  author = {Anne Quéguiner-Mathieu and Jean-Pierre Tignol},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.40673},
  eprint = {2610.40673},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.40673},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Descent and Decomposability of Algebras of Exponent 2 in characteristic 2
AU  - Anne Quéguiner-Mathieu
AU  - Jean-Pierre Tignol
PY  - 2026
DA  - 2026/10/22
PB  - arXiv
DO  - 10.48550/arxiv.2610.40673
UR  - https://arxiv.org/abs/2610.40673
AB  - We define an invariant of central simple algebras of degree 8 and exponent 2 over fields of characteristic 2. It is built from the discriminant Pfister forms of symplectic involutions, takes values in a quotient of the third part of the graded group associated to the fundamental filtration of the Witt group of quadratic forms, and vanishes on tensor products of three quaternion algebras, thus giving a necessary condition for decomposability. Variants of the consctuction yield necessary and sufficient conditions for a biquaternion algebra to descend from a quadratic extension of the base field, and for a quaternion algebra to descent from a biquadratic extension that is not purely inseparable. Our results extend known results both in characteristic 2 and in characteristic different from 2, see the introduction. Using residue maps for quadratic forms, we show that these invariants do not vanish in general, and we give an explicit central simple algebra of degree 8 and exponent 2 with nonzero invariant, which is therefore indecomposable. As explained in the appendix, the purely inseparable case is quite different; in particular, a quaternion algebra descents if and only if its Brauer class also does.
ER  -