arXiv subjects
Publications and source records attributed to Alberto Elduque.
The purpose of these survey notes is to give a presentation of a classical theorem of Nomizu that relates the invariant affine connections on reductive homogeneous spaces and nonassociative algebras.
The exceptional simple Lie algebras of types E7 and E8 are endowed with optimal $SL_2^n$-structures, and are thus described in terms of the corresponding coordinate algebras. These are nonassociative algebras which much resemble the so called code algebras.
The affine group scheme of automorphisms of an evolution algebra that is equal to its square, is shown to lie in an exact sequence, such that the other terms depend solely on the directed graph associated to the algebra. As a consequence, the Lie algebra of derivations is shown to be trivial in characteristic 0 or 2, and to be abelian, with a precise description depending just on the graph, otherwise.
The loop algebra construction by Allison, Berman, Faulkner, and Pianzola, describes graded-central-simple algebras with split centroid in terms of central simple algebras graded by a quotient of the original grading group. Here the restriction on the centroid is removed, at the expense of allowing some deformations (cocycle twists) of the loop algebras.
This paper is devoted to survey composition algebras and some of their applications. After overviewing the classical algebras of quaternions and octonions, both unital composition algebras (or Hurwitz algebras) and symmetric composition algebras will be dealt with. Their main properties, as well as their classifications, will be reviewed. Algebraic triality, through the use of symmetric composition algebras, will be considered too.
The classification of gradings by abelian groups on finite direct sums of simple finite-dimensional nonassociative algebras over an algebraically closed field is reduced, by means of the use of loop algebras, to the corresponding problem for simple algebras. This requires a good definition of (free) products of group-gradings.
We classify group gradings on the simple Lie algebras of types $G_2$ and $D_4$ over the field of real numbers (or any real closed field): fine gradings up to equivalence and $G$-gradings, with a fixed group $G$, up to isomorphism.
Some connections between quadratic forms over the field of two elements, Clifford algebras of quadratic forms over the real numbers, real graded division algebras, and twisted group algebras will be highlighted. This allows to revisit real Clifford algebras in terms of the Arf invariant of the associated quadratic forms over the field of two elements, and give new proofs of some classical results.
Order three elements in the exceptional groups of type G2 are classified up to conjugation over arbitrary fields. Their centralizers are computed, and the associated classification of idempotents in symmetric composition algebras is obtained. Idempotents have played a key role in the study and classification of these algebras. Over an algebraically closed field, there are two conjugacy classes of order three elements in G2 in characteristic not 3 and four of them in characteristic 3. The centralizers in characteristic 3 fail to be smooth for one of these classes.
For any grading by an abelian group $G$ on the exceptional simple Lie algebra $\mathcal{L}$ of type $E_6$ or $E_7$ over an algebraically closed field of characteristic zero, we compute the graded Brauer invariants of simple finite-dimensional modules, thus completing the computation of these invariants for simple finite-dimensional Lie algebras. This yields the classification of $G$-graded simple $\mathcal{L}$-modules, as well as necessary and sufficient conditions for an $\mathcal{L}$-module to admit a $G$-grading compatible with the given $G$-grading on $\mathcal{L}$.
The group-scheme of automorphisms of the ten-dimensional exceptional Kac's Jordan superalgebra is shown to be isomorphic to the semidirect product of the direct product of two copies of SL2 by the constant group scheme C2. This is used to revisit, extend, and simplify, known results on the classification of the twisted forms of this superalgebra and of its gradings.
Necessary and sufficient conditions are given for a $G$-graded simple module over a unital associative algebra, graded by an abelian group $G$, to be isomorphic to a loop module of a simple module, as well as for two such loop modules to be isomorphic to each other. Under some restrictions, these loop modules are completely reducible (as ungraded modules), and some of their invariants --- inertia group, graded Brauer invariant and Schur index --- which were previously defined for simple modules over graded finite-dimensional semisimple Lie algebras over an algebraically closed field of characteristic zero, are now considered in a more general and natural setting.
An algebra $V$ with a cross product $\times$ has dimension 3 or 7. In this work, we use 3-tangles to describe, and provide a basis for, the space of homomorphisms from $V^{\otimes n}$ to $V^{\otimes m}$ that are invariant under the action of the automorphism group $Aut(V,\times)$ of $V$, which is a special orthogonal group when $dim V = 3$, and a simple algebraic group of type $G_2$ when $dim V= 7$. When $m = n$, this gives a graphical description of the centralizer algebra $End_{Aut(V,\times)}(V^{\otimes n})$, and therefore, also a graphical realization of the $Aut(V,\times)$-invariants in $V^{\otimes 2n}$ equivalent to the First Fundamental Theorem of Invariant Theory. We show how the 3-dimensional simple Kaplansky Jordan superalgebra can be interpreted as a cross product (super)algebra and use 3-tangles to obtain a graphical description of the centralizers and invariants of the Kaplansky superalgebra relative to the action of the special orthosymplectic group.
The type and several invariant subspaces related to the upper annihilating series of finite-dimensional nilpotent evolution algebras are introduced. These invariants can be easily computed from any natural basis. Some families of nilpotent evolution algebras, defined in terms of a nondegenerate symmetric bilinear form and some commuting symmetric diagonalizable endomorphisms relative to the form, are explicitly constructed. Both the invariants and these families are used to review and complete the classification of nilpotent evolution algebras up to dimension five over algebraically closed fields.
This paper presents a survey of the results and ideas behind the classification of the fine gradings, up to equivalence, on the simple finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It provides an expanded version of the mini course delivered by the second author at the Conference "Advances in Group Theory and Applications AGTA-2015".
We classify group gradings on the simple Lie algebra $L$ of type $D_4$ over an algebraically closed field of characteristic different from 2: fine gradings up to equivalence and $G$-gradings, with a fixed group $G$, up to isomorphism. For each $G$-grading on $L$, we also study graded $L$-modules (assuming characteristic 0).
Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The invariants appearing in this classification are computed in the case when L is simple classical (except for type D4, where a partial result is given). In particular, we obtain criteria to determine when a finite-dimensional simple L-module admits a G-grading making it a graded L-module.
Some features of Cayley algebras (or algebras of octonions) and their Lie algebras of derivations over fields of low characteristic are presented. More specifically, over fields of characteristic $7$, explicit embeddings of any twisted form of the Witt algebra into the simple split Lie algebra of type $G_2$ are given. Over fields of characteristic $3$, even though the Lie algebra of derivations of a Cayley algebra is not simple, it is shown that still two Cayley algebras are isomorphic if and only if their Lie algebras of derivations are isomorphic. Finally, over fields of characteristic $2$, it is shown that the Lie algebra of derivations of any Cayley algebra is always isomorphic to the projective special linear Lie algebra of degree four. The twisted forms of this latter algebra are described too.