uu.seUppsala University Publications

References$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_upper_j_idt145",{id:"formSmash:upper:j_idt145",widgetVar:"widget_formSmash_upper_j_idt145",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:upper:referencesLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_upper_j_idt146_j_idt148",{id:"formSmash:upper:j_idt146:j_idt148",widgetVar:"widget_formSmash_upper_j_idt146_j_idt148",target:"formSmash:upper:j_idt146:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

A Categorical Study of Composition Algebras via Group Actions and TrialityPrimeFaces.cw("AccordionPanel","widget_formSmash_some",{id:"formSmash:some",widgetVar:"widget_formSmash_some",multiple:true}); PrimeFaces.cw("AccordionPanel","widget_formSmash_all",{id:"formSmash:all",widgetVar:"widget_formSmash_all",multiple:true});
function selectAll()
{
var panelSome = $(PrimeFaces.escapeClientId("formSmash:some"));
var panelAll = $(PrimeFaces.escapeClientId("formSmash:all"));
panelAll.toggle();
toggleList(panelSome.get(0).childNodes, panelAll);
toggleList(panelAll.get(0).childNodes, panelAll);
}
/*Toggling the list of authorPanel nodes according to the toggling of the closeable second panel */
function toggleList(childList, panel)
{
var panelWasOpen = (panel.get(0).style.display == 'none');
// console.log('panel was open ' + panelWasOpen);
for (var c = 0; c < childList.length; c++) {
if (childList[c].classList.contains('authorPanel')) {
clickNode(panelWasOpen, childList[c]);
}
}
}
/*nodes have styleClass ui-corner-top if they are expanded and ui-corner-all if they are collapsed */
function clickNode(collapse, child)
{
if (collapse && child.classList.contains('ui-corner-top')) {
// console.log('collapse');
child.click();
}
if (!collapse && child.classList.contains('ui-corner-all')) {
// console.log('expand');
child.click();
}
}
PrimeFaces.cw("AccordionPanel","widget_formSmash_responsibleOrgs",{id:"formSmash:responsibleOrgs",widgetVar:"widget_formSmash_responsibleOrgs",multiple:true}); 2015 (English)Doctoral thesis, comprehensive summary (Other academic)
##### Abstract [en]

##### Place, publisher, year, edition, pages

Uppsala: Department of Mathematics , 2015. , 45 p.
##### Series

Uppsala Dissertations in Mathematics, ISSN 1401-2049 ; 88
##### Keyword [en]

Composition algebra, division algebra, absolute valued algebra, triality, groupoid, group action, algebraic group, Lie algebra of derivations, classification.
##### National Category

Mathematics
##### Research subject

Mathematics
##### Identifiers

URN: urn:nbn:se:uu:diva-248519ISBN: 978-91-506-2454-0OAI: oai:DiVA.org:uu-248519DiVA: diva2:799477
##### Public defence

2015-05-21, Polhemsalen, Ångströmlaboratoriet, Lägerhyddsvägen 1, Uppsala, 13:15 (English)
##### Opponent

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt375",{id:"formSmash:j_idt375",widgetVar:"widget_formSmash_j_idt375",multiple:true});
##### Supervisors

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt381",{id:"formSmash:j_idt381",widgetVar:"widget_formSmash_j_idt381",multiple:true});
#####

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt387",{id:"formSmash:j_idt387",widgetVar:"widget_formSmash_j_idt387",multiple:true});
Available from: 2015-04-27 Created: 2015-03-31 Last updated: 2015-04-27
##### List of papers

A composition algebra is a non-zero algebra endowed with a strictly non-degenerate, multiplicative quadratic form. Finite-dimensional composition algebras exist only in dimension 1, 2, 4 and 8 and are in general not associative or unital. Over the real numbers, such algebras are division algebras if and only if they are absolute valued, i.e. equipped with a multiplicative norm. The problem of classifying all absolute valued algebras and, more generally, all composition algebras of finite dimension remains unsolved. In dimension eight, this is related to the triality phenomenon. We approach this problem using a categorical language and tools from representation theory and the theory of algebraic groups.

We begin by considering the category of absolute valued algebras of dimension at most four. In Paper I we determine the morphisms of this category completely, and describe their irreducibility and behaviour under the actions of the automorphism groups of the algebras.

We then consider the category of eight-dimensional absolute valued algebras, for which we provide a description in Paper II in terms of a group action involving triality. Then we establish general criteria for subcategories of group action groupoids to be full, and applying this to the present setting, we obtain hitherto unstudied subcategories determined by reflections. The reflection approach is further systematized in Paper III, where we obtain a coproduct decomposition of the category of finite-dimensional absolute valued algebras into blocks, for several of which the classification problem does not involve triality. We study these in detail, reducing the problem to that of certain group actions, which we express geometrically.

In Paper IV, we use representation theory of Lie algebras to completely classify all finite-dimensional absolute valued algebras having a non-abelian derivation algebra. Introducing the notion of quasi-descriptions, we reduce the problem to the study of actions of rotation groups on products of spheres.

We conclude by considering composition algebras over arbitrary fields of characteristic not two in Paper V. We establish an equivalence of categories between the category of eight-dimensional composition algebras with a given quadratic form and a groupoid arising from a group action on certain pairs of outer automorphisms of affine group schemes

1. Morphisms in the Category of Finite-Dimensional Absolute Valued Algebras$(function(){PrimeFaces.cw("OverlayPanel","overlay513913",{id:"formSmash:j_idt423:0:j_idt427",widgetVar:"overlay513913",target:"formSmash:j_idt423:0:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

2. Corestricted Group Actions and Eight-Dimensional Absolute Valued Algebras$(function(){PrimeFaces.cw("OverlayPanel","overlay796983",{id:"formSmash:j_idt423:1:j_idt427",widgetVar:"overlay796983",target:"formSmash:j_idt423:1:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

3. An Approach to Finite-Dimensional Real Division Composition Algebras through Reflections$(function(){PrimeFaces.cw("OverlayPanel","overlay715312",{id:"formSmash:j_idt423:2:j_idt427",widgetVar:"overlay715312",target:"formSmash:j_idt423:2:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

4. Classification of the Finite-Dimensional Real Division Composition Algebras having a Non-Abelian Derivation Algebra$(function(){PrimeFaces.cw("OverlayPanel","overlay715311",{id:"formSmash:j_idt423:3:j_idt427",widgetVar:"overlay715311",target:"formSmash:j_idt423:3:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

5. Composition Algebras and Outer Automorphisms of Algebraic Groups$(function(){PrimeFaces.cw("OverlayPanel","overlay799332",{id:"formSmash:j_idt423:4:j_idt427",widgetVar:"overlay799332",target:"formSmash:j_idt423:4:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

References$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_lower_j_idt1080",{id:"formSmash:lower:j_idt1080",widgetVar:"widget_formSmash_lower_j_idt1080",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:lower:referencesLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_lower_j_idt1081_j_idt1083",{id:"formSmash:lower:j_idt1081:j_idt1083",widgetVar:"widget_formSmash_lower_j_idt1081_j_idt1083",target:"formSmash:lower:j_idt1081:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});