Algebra and Applications 1. Abdenacer Makhlouf

Чтение книги онлайн.

Читать онлайн книгу Algebra and Applications 1 - Abdenacer Makhlouf страница 27

Algebra and Applications 1 - Abdenacer Makhlouf

Скачать книгу

target="_blank" rel="nofollow" href="#fb3_img_img_d524c8a9-d4cb-54fa-a01a-4ae05f4955c3.jpg" alt="image"/>. Consider the elements

image

      in image (image being an algebraic closure of image). These elements generate, by multiplication and linear combinations over image, a twisted form of the split Okubo algebra (image, ∗, n). Denote by image this twisted form.

Mathematical representation of a multiplication table of the split Okubo algebra.

      The classification of the symmetric composition algebras in characteristic 3, which completes the classification of symmetric composition algebras over fields, is as follows (Elduque (1997), see also Chernousov et al. (2013)):

      THEOREM 2.6.– Any symmetric composition algebra (image, ∗, n) over a field image of characteristic 3 is either:

       – a para-Hurwitz algebra. Two such algebras are isomorphic if and only if the associated Hurwitz algebras are too;

       – a two-dimensional algebra with a basis {u, v} and multiplication given by

image

      for a non-zero scalar image. These algebras do not contain idempotents and are twisted forms of the para-Hurwitz algebras.

      Algebras corresponding to the scalars λ and λʹ are isomorphic if and only if image.

       – Isomorphic to for some 0 ≠ α, . Moreover, is isomorphic or anti-isomorphic to if and only if .

      A more precise statement for the isomorphism condition in the last item is given in (Elduque 1997). A key point in the proof of this theorem is the study of idempotents on Okubo algebras. If there are non-zero idempotents, then these algebras are Petersson algebras. The most difficult case appears in the absence of idempotents. This is only possible if the ground field image is not perfect.

      The importance of symmetric composition algebras lies in their connections with the phenomenon of triality in dimension 8, related to the fact that the Dynkin diagram D4 is the most symmetric one. The details of much of what follows can be found in (Knus et al. (1998), Chapter VIII).

      Let (image, ∗, n) be an eight-dimensional symmetric composition algebra over a field image, that is, image is either a para-Hurwitz algebra or an Okubo algebra. Write Lx(y) = xy = Ry(x) as usual. Then, due to theorem 2.3, Lx Rx = RxLx = n(x)id for any image so that, inside image, we have

image

      Therefore, the map

image

      extends to an isomorphism of associative algebras with involution:

image

      where image (image, n) is the Clifford algebra on the quadratic space (image, n), τ is its canonical involution (τ (x) = x for any image) and σn⊥n is the orthogonal involution on image induced by the quadratic form where the two copies of S are orthogonal and the restriction on each copy coincides with the norm. The multiplication in the Clifford algebra will be denoted by juxtaposition.

      Consider the spin group:

image

      For any u ∈ Spin(image, n),

image

      for some image such that

image

      for any x, image, where χu(x) = uxu−1 gives the natural representation of Spin(image, n), while image give the two half-spin representations, and the formula above links the three of them.

      The last condition is equivalent to:

image

      for any x, y, image, where

Скачать книгу