Searcharxiv⌕ Search

arXiv subjects

Seidon Alsaody

Publications and source records attributed to Seidon Alsaody.

10 recordsLinked to original sources
arXiv2026

Groups of type $\mathrm{E}_8$ over rings via TKK-algebras and their extremal elements

Over any commutative ring containing $\tfrac16$, we study Lie algebras $L$ of type $\mathrm{E}_8$ that arise from the Tits--Kantor--Koecher (TKK) construction on a Brown algebra, and their twisted forms. We construct a smooth scheme $\mathbf{Y}$ of pairs of extremal elements in $L$. When $L$ arises from the TKK-construction, we express the automorphism group, of type $\mathrm{E}_8$, as an $\mathrm{E}_7$-torsor over $\mathbf{Y}$. We show that twisting by this torsor produces the graded isomorphism classes of those algebras isomorphic to $L$, and parametrize these classes by using $\mathbf{Y}$. We show that this torsor is non-trivial, yielding isomorphic Lie algebras of type $\mathrm{E}_8$ that are not graded isomorphic, as opposed to the behaviour over fields.

math.RA↗
arXiv2022

Groups of type $\mathrm{E}_6$ and $\mathrm{E}_7$ over Rings via Brown Algebras and Related Torsors

We study structurable algebras and their associated Freudenthal triple systems over commutative rings. The automorphism groups of these triple systems are exceptional groups of type $\mathrm{E}_7$, and we realize groups of type $\mathrm{E}_6$ as centralizers. When 6 is invertible, we further give a geometric description of homogeneous spaces of type $\mathrm{E}_7/\mathrm{E}_6$, and show that they parametrize principal isotopes of Brown algebras. As opposed to the situation over fields, we show that such isotopes may be non-isomorphic.

math.RA↗
arXiv2019

On the Tits-Weiss Conjecture and the Kneser-Tits Conjecture for $\mathrm{E}^{78}_{7,1}$ and $\mathrm{E}^{78}_{8,2}$

We prove that the structure group of any Albert algebra over an arbitrary field is $R$-trivial. This implies the Tits-Weiss conjecture for Albert algebras and the Kneser-Tits conjecture for isotropic groups of type $\mathrm{E}_{7,1}^{78}, \mathrm{E}_{8,2}^{78}$. As a further corollary, we show that some standard conjectures on the groups of $R$-equivalence classes in algebraic groups and the norm principle are true for strongly inner forms of type $^1\mathrm{E}_6$.

math.RA↗
arXiv2019

Albert Algebras over Rings and Related Torsors

We study exceptional Jordan algebras and related exceptional group schemes over commutative rings from a geometric point of view, using appropriate torsors to parametrize and explain classical and new constructions, and proving that over rings, they give rise to non-isomorphic structures. We begin by showing that isotopes of Albert algebras are obtained as twists by a certain $\mathrm F_4$-torsor with total space a group of type $\mathrm E_6$, and using this, that Albert algebras over rings in general admit non-isomorphic isotopes, even in the split case as opposed to the situation over fields. We then consider certain $\mathrm D_4$-torsors constructed from reduced Albert algebras, and show how these give rise to a class of generalised reduced Albert algebras constructed from compositions of quadratic forms. Showing that this torsor is non-trivial, we conclude that the Albert algebra does not uniquely determine the underlying composition, even in the split case. In a similar vein, we show that a given reduced Albert algebra can admit two coordinate algebras which are non-isomorphic and have non-isometric quadratic forms, contrary, in a strong sense, to the case over fields, established by Albert and Jacobson.

math.RA↗
arXiv2019

On the Classification of Lie Bialgebras by Cohomological Means

We approach the classification of Lie bialgebra structures on simple Lie algebras from the viewpoint of descent and non-abelian cohomology. We achieve a description of the problem in terms faithfully flat cohomology over an arbitrary ring over $\mathbb{Q}$, and solve it for Drinfeld-Jimbo Lie bialgebras over fields of characteristic zero. We consider the classification up to isomorphism, as opposed to equivalence, and treat split and non-split Lie algebras alike. We moreover give a new interpretation of scalar multiples of Lie bialgebras hitherto studied using twisted Belavin-Drinfeld cohomology.

math.QA↗
arXiv2017

Isotopes of Octonion Algebras, G2-Torsors and Triality

Octonion algebras over rings are, in contrast to those over fields, not determined by their norm forms. Octonion algebras whose norm is isometric to the norm q of a given algebra C are twisted forms of C by means of the Aut(C)-torsor O(q) ->O(q)/Aut(C). We show that, over any commutative unital ring, these twisted forms are precisely the isotopes C(a,b) of C, with multiplication given by x*y=(xa)(by), for unit norm octonions a,b of C. The link is provided by the triality phenomenon, which we study from new and classical perspectives. We then study these twisted forms using the interplay, thus obtained, between torsor geometry and isotope computations, thus obtaining new results on octonion algebras over e.g. rings of (Laurent) polynomials.

math.RA↗
arXiv2016

Lie Bialgebras, Fields of Cohomological Dimension at Most 2 and Hilbert's Seventeenth Problem

We investigate Lie bialgebra structures on simple Lie algebras of non-split type $A$. It turns out that there are several classes of such Lie bialgebra structures, and it is possible to classify some of them. The classification is obtained using Belavin--Drinfeld cohomology sets, which are introduced in the paper. Our description is particularly detailed over fields of cohomological dimension at most two, and is related to quaternion algebras and the Brauer group. We then extend the results to certain rational function fields over real closed fields via Pfister's theory of quadratic forms and his solution to Hilbert's Seventeenth Problem.

math.QA↗
arXiv2015

Composition Algebras and Outer Automorphisms of Algebraic Groups

In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form $n$ over a field $k$ of characteristic not two, and a category arising from an action of the projective similarity group of $n$ on certain pairs of automorphisms of the group scheme $\mathbf{PGO}^+(n)$ defined over $k$. This extends results recently obtained in the same direction for symmetric composition algebras. We also derive known results on composition algebras from our equivalence.

math.RA↗
arXiv2014

Classification of the Finite-Dimensional Real Division Composition Algebras having a Non-Abelian Derivation Algebra

We classify the category of finite-dimensional real division composition algebras having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing the concept of a quasi-description of a category, and using it to express the problem in terms of normal form problems for certain group actions on products of 3-spheres.

math.RA↗