Showing 1–9 of 9 results for author: Alsaody, S

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

Authors: Seidon Alsaody

Abstract: 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… ▽ More 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. △ Less

Submitted 28 October, 2022; originally announced October 2022.

MSC Class: 17C40; 20G41; 20G35

Journal ref: J. Algebra 656 (2024) 24-46 (Special Issue in memory of Jacques Tits)

$R$-triviality of Groups of Type ${\rm F}_4$ Arising from the First Tits Construction

Authors: Seidon Alsaody, Vladimir Chernousov, Arturo Pianzola

Abstract: Any group of type ${\rm F}_4$ is obtained as the automorphism group of an Albert algebra. We prove that such a group is $R$-trivial whenever the Albert algebra is obtained from the first Tits construction. Our proof uses cohomological techniques and the corresponding result on the structure group of such Albert algebras. Any group of type ${\rm F}_4$ is obtained as the automorphism group of an Albert algebra. We prove that such a group is $R$-trivial whenever the Albert algebra is obtained from the first Tits construction. Our proof uses cohomological techniques and the corresponding result on the structure group of such Albert algebras. △ Less

Submitted 28 November, 2019; originally announced November 2019.

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

Authors: Seidon Alsaody, Vladimir Chernousov, Arturo Pianzola

Abstract: 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… ▽ More 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$. △ Less

Submitted 28 November, 2019; originally announced November 2019.

Comments: With an Appendix by Richard M.\ Weiss

Albert Algebras over Rings and Related Torsors

Authors: Seidon Alsaody

Abstract: 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$-torso… ▽ More 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. △ Less

Submitted 13 August, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: In the second version, some theorems have been strengthened

MSC Class: 17C40; 20G41; 14L30; 20G10

Journal ref: Can. J. Math.-J. Can. Math. 73 (2021) 875-898

On the Classification of Lie Bialgebras by Cohomological Means

Authors: Seidon Alsaody, Arturo Pianzola

Abstract: 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 oppose… ▽ More 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. △ Less

Submitted 22 March, 2019; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: Version 2 is a condensed and streamlined version of the paper

MSC Class: 17B62; 17B37; 20G10

Isotopes of Octonion Algebras, G2-Torsors and Triality

Authors: Seidon Alsaody, Philippe Gille

Abstract: 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=(… ▽ More 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. △ Less

Submitted 21 November, 2017; v1 submitted 18 April, 2017; originally announced April 2017.

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

Authors: Seidon Alsaody, Alexander Stolin

Abstract: 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 m… ▽ More 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. △ Less

Submitted 24 March, 2016; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: The second version is a substantial augmentation of the first, yielding a more complete picture. Comments are welcome!

MSC Class: 17B37; 17B62; 11E04; 11E10; 11E25

Journal ref: J. Algebra 476 (2017), 368-394

Composition Algebras and Outer Automorphisms of Algebraic Groups

Authors: Seidon Alsaody

Abstract: 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 recent… ▽ More 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. △ Less

Submitted 6 April, 2015; originally announced April 2015.

MSC Class: 17A75; 20G15; 11E88

Journal ref: Comm. Algebra 45 (2017), 2401-2416

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

Authors: Seidon Alsaody

Abstract: 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. 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. △ Less

Submitted 7 April, 2014; originally announced April 2014.

MSC Class: 17A35; 17A36; 17A75

Journal ref: J. Algebra 445 (2016), 35-77