On the doubling of quadratic algebras

Lars Lindberg

Colloquium Mathematicae (2004)

  • Volume: 100, Issue: 1, page 119-139
  • ISSN: 0010-1354

Abstract

top
The concept of doubling, which was introduced around 1840 by Graves and Hamilton, associates with any quadratic algebra 𝓐 over a field k of characteristic not 2 its double 𝓥(𝓐 ) = 𝓐 × 𝓐 with multiplication (w,x)(y,z) = (wy - z̅x,xy̅ + zw). This yields an endofunctor on the category of all quadratic k-algebras which is faithful but not full. We study in which respect the division property of a quadratic k-algebra is preserved under doubling and, provided this is the case, whether the doubles of two non-isomorphic quadratic division algebras are again non-isomorphic. Generalizing a theorem of Dieterich [9] from ℝ to arbitrary square-ordered ground fields k we prove that the division property of a quadratic k-algebra of dimension smaller than or equal to 4 is preserved under doubling. Generalizing an aspect of the celebrated (1,2,4,8)-theorem of Bott, Milnor [4] and Kervaire [21] from ℝ to arbitrary ground fields k of characteristic not 2 we prove that the division property of an 8-dimensional doubled quadratic k-algebra is never preserved under doubling. Finally, we contribute to a solution of the still open problem of classifying all 8-dimensional real quadratic division algebras by extending an approach of Dieterich and Lindberg [12] and proving that, under a mild additional assumption, the doubles of two non-isomorphic 4-dimensional real quadratic division algebras are again non-isomorphic.

How to cite

top

Lars Lindberg. "On the doubling of quadratic algebras." Colloquium Mathematicae 100.1 (2004): 119-139. <http://eudml.org/doc/284101>.

@article{LarsLindberg2004,
abstract = { The concept of doubling, which was introduced around 1840 by Graves and Hamilton, associates with any quadratic algebra 𝓐 over a field k of characteristic not 2 its double 𝓥(𝓐 ) = 𝓐 × 𝓐 with multiplication (w,x)(y,z) = (wy - z̅x,xy̅ + zw). This yields an endofunctor on the category of all quadratic k-algebras which is faithful but not full. We study in which respect the division property of a quadratic k-algebra is preserved under doubling and, provided this is the case, whether the doubles of two non-isomorphic quadratic division algebras are again non-isomorphic. Generalizing a theorem of Dieterich [9] from ℝ to arbitrary square-ordered ground fields k we prove that the division property of a quadratic k-algebra of dimension smaller than or equal to 4 is preserved under doubling. Generalizing an aspect of the celebrated (1,2,4,8)-theorem of Bott, Milnor [4] and Kervaire [21] from ℝ to arbitrary ground fields k of characteristic not 2 we prove that the division property of an 8-dimensional doubled quadratic k-algebra is never preserved under doubling. Finally, we contribute to a solution of the still open problem of classifying all 8-dimensional real quadratic division algebras by extending an approach of Dieterich and Lindberg [12] and proving that, under a mild additional assumption, the doubles of two non-isomorphic 4-dimensional real quadratic division algebras are again non-isomorphic. },
author = {Lars Lindberg},
journal = {Colloquium Mathematicae},
keywords = {doubling functor; quadratic algebra; division algebra; dissident map; configuration},
language = {eng},
number = {1},
pages = {119-139},
title = {On the doubling of quadratic algebras},
url = {http://eudml.org/doc/284101},
volume = {100},
year = {2004},
}

TY - JOUR
AU - Lars Lindberg
TI - On the doubling of quadratic algebras
JO - Colloquium Mathematicae
PY - 2004
VL - 100
IS - 1
SP - 119
EP - 139
AB - The concept of doubling, which was introduced around 1840 by Graves and Hamilton, associates with any quadratic algebra 𝓐 over a field k of characteristic not 2 its double 𝓥(𝓐 ) = 𝓐 × 𝓐 with multiplication (w,x)(y,z) = (wy - z̅x,xy̅ + zw). This yields an endofunctor on the category of all quadratic k-algebras which is faithful but not full. We study in which respect the division property of a quadratic k-algebra is preserved under doubling and, provided this is the case, whether the doubles of two non-isomorphic quadratic division algebras are again non-isomorphic. Generalizing a theorem of Dieterich [9] from ℝ to arbitrary square-ordered ground fields k we prove that the division property of a quadratic k-algebra of dimension smaller than or equal to 4 is preserved under doubling. Generalizing an aspect of the celebrated (1,2,4,8)-theorem of Bott, Milnor [4] and Kervaire [21] from ℝ to arbitrary ground fields k of characteristic not 2 we prove that the division property of an 8-dimensional doubled quadratic k-algebra is never preserved under doubling. Finally, we contribute to a solution of the still open problem of classifying all 8-dimensional real quadratic division algebras by extending an approach of Dieterich and Lindberg [12] and proving that, under a mild additional assumption, the doubles of two non-isomorphic 4-dimensional real quadratic division algebras are again non-isomorphic.
LA - eng
KW - doubling functor; quadratic algebra; division algebra; dissident map; configuration
UR - http://eudml.org/doc/284101
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.