Octonions form a 8-dimensional normed division algebra constructed over the reals. They can be seen as a non-associative (alternative) extension of the quaternions. They have been first defined and studied in the 19th century by John Graves and Arthur Cayley. There are several variants (such as ...

learn more… | top users | synonyms

1
vote
0answers
103 views

Generating $\mathfrak{so}(7)$

Short version: Let $V$ be a 7-dimensional linear space of (real) square matrices. Suppose further that $[V,V]$ (the linear space spanned $[X,Y]$, $X,Y\in V$) is actually a subalgebra isomorphic to $\...
8
votes
0answers
136 views

Determinants of octonionic hermitian matrices

For quaternionic hermitian matrices (i.e. quaternionic square matrices $(a_{ij})$ satisfying $a_{ji}=\bar a_{ij}$) there is a nice notion of (Moore) determinant which can be defined as follows. ...
4
votes
0answers
67 views

Exceptional symmetric spaces embedded in exceptional Lie group

In Yokota (1959) and Atsuyama (1977) papers one can find embedding of projective space $\mathbb OP^2$ into Lie group $F_4$. Lately I come to following idea to have embedding of all four projective ...
3
votes
1answer
80 views

Transitivity of $Spin(7)$ in triples of vectors

I have a simple question: transitivity of $Spin(7)$ in triples of orthogonal vectors. Let $Spin(7)\subset SO(8)$ act on $\mathbb{R}^8$, and $e_1,e_2,e_3$, $v_1,v_2,v_3$ be two triples of mutually ...
8
votes
1answer
134 views

Expressing $SO_8$ element as product of $L_u$ and $R_u$ for unit octonions $u$

Welcome octonions friends ! Long time ago when I travelled through octonion land, I conjectured that every $SO_8$ element can be expressed as product $L_a L_b R_c R_d$ for unit octonions $a$, $b$, $c$...
5
votes
1answer
60 views

Does the Cayley-Dickson construction preserve isomorphism of quaternion algebras?

I posted this on math.stackexchange to no avail, so I hope it's appropriate to post here despite that it might not be research-level. I expect the answer to this is well-known to people studying non-...
5
votes
1answer
199 views

Looking for Severi varieties

Let $K$ be an algebraically closed field of characteristic $0$, and let $\mathbb{O}$ be the Cayley algebra over $K$. Let $$ \mathfrak{J}_{3}=\{A\in\mathcal{M}_{3}(\mathbb{O}):A\text{ is Hermitian}\}, ...
11
votes
1answer
277 views

Pseudo-holomorphic curves in the six-sphere

Equip $S^6$ with the almost complex structure coming from the cross product on $\mathbb R^7$ (i.e. the product on the pure imaginary octonions). What is known about the psudo-holomorphic curves in ...
49
votes
1answer
948 views

Is there an octonionic analog of the K3 surface, with implications for stable homotopy groups of spheres?

The infamous K3 surface has many constructions in many fields ranging from algebraic geometry to algebraic topology. Its many properties are well known. For this question I am really interested in the ...
4
votes
1answer
228 views

Action of G_2 on certain 7x7 skew-symmetric matrices

I have been working with something related to Goldman bracket for $G_2$ gauge group. There I have something like "$\text{Tr}(M_{\gamma}O_i)$", where $M_{\gamma}$ is a monodromy which takes value in ...
1
vote
1answer
84 views

Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...
1
vote
1answer
157 views

$Spin(7)$ as stabilizer of a $4$-form revisited

For a better understanding of this question, please see the question and answer here. In $Spin(8)$ there are plenty of copies of $Spin(7)$; consider, for instance, the antiimage of $SO(7)<SO(8)$ ...
3
votes
1answer
242 views

Octonions product: inversion in the right and identity in the left

Once octonions product is studied, together with the relations with $Spin(8)$ and $SO(8)$ geometry (see for instance Robert Bryant's notes), one realises that the key fact bringing all the phenomena ...
8
votes
1answer
267 views

$Spin(7)$ as stabilizer of a $4$-form

According to Bryant's work on special holonomy groups, $G_2\subset SO(7)$ may be defined as the group preserving the following 3-form: $\phi_0=\mathrm{d}x_{123}+\mathrm{d}x_{145}+\mathrm{d}x_{167}+\...
2
votes
2answers
122 views

How can the Cayley table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$, $e_1=i$, $e_2=j$ and so on. I'm looking for an ...
-1
votes
1answer
281 views

Decomposition of $S^7=Spin(7)/G_2$

The seven sphere can be written as the reductive space $S^7=Spin(7)/G_2$. Has the decomposition $Spin(7)=G_2\times S^7$ been calculated somewhere; maybe in terms of Cayley numbers?
4
votes
0answers
102 views

Grunsky-Motzkin-Schoenberg formula

I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows: Suppose that $...
18
votes
1answer
787 views

Octonions and the Fano plane.

Does the Fano plane mnemonic for octonion multiplication have any deeper meaning? http://upload.wikimedia.org/wikipedia/commons/2/2d/FanoPlane.svg The symmetry group of the Fano plane is PSL(2,7), ...
5
votes
1answer
240 views

Filling in a rational orthogonal matrix given one row

Quick version: given natural $n$ and a row of $n$ integers such that the sum of the squares is another square, call it $m^2.$ For $n=5,6,7$ is it always possible to fill in the rest of an $n$ by $n$ ...
16
votes
1answer
881 views

The octonions on a bad day

We can define the algebra of quaternions $\mathbb H$ over any field $k$, and depending on the arithmetic of $k$ it is either a division algebra or a matrix algebra. We can also define the algebra of ...
6
votes
3answers
1k views

Realizing proper pure octonions as conjugates

Let us take the octonions as having all integer coefficients and the multiplication table at BAEZ We have a standard conjugation operator with $\bar{1} = 1$ and $\bar{e_i}= - e_i,$ extend by ...