A characterization of quadratic forms of type \(E_6\), \(E_7\), and \(E_8\) (Q1849111): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q180545 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Kazimierz Szymiczek / rank | |||
Normal rank |
Revision as of 13:45, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of quadratic forms of type \(E_6\), \(E_7\), and \(E_8\) |
scientific article |
Statements
A characterization of quadratic forms of type \(E_6\), \(E_7\), and \(E_8\) (English)
0 references
28 November 2002
0 references
Quadratic forms are considered over fields of arbitrary characteristic. A quadratic form \(q\) is said to have a norm splitting if it has an orthogonal decomposition \[ q \simeq s_1N \perp s_2N \perp \cdots \perp s_dN \] with constants \(s_i\) in the base field and \(N\) the norm form from a separable quadratic extension of the base field. A quadratic form of dimension 6 (8, resp. 12) is said to be of type \(E_6\) (\(E_7\), resp. \(E_8\)) if it has a norm splitting (with the product of the constants not representable by the norm form, resp. with the negative product of constants represented by the norm form). The main result gives a characterization of the forms of each type in terms of its discriminant and Clifford invariant. Thus a 6-dimensional form is of type \(E_6\) if and only if it has a nontrivial discriminant and its Clifford invariant is determined by a quaternion algebra, which, if it is a division algebra, contains the discriminant extension of the form. Another equivalent condition is that the even Clifford algebra is isomorphic to the \(4 \times 4\) matrix algebra over a quadratic extension of the base field. Similar characterizations are provided for the types \(E_7\) and \(E_8\).
0 references
quadratic forms
0 references
norm splitting
0 references
Clifford algebras
0 references