Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [octonions]

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 split-octonions) and strong relations with Lie Groups and projective geometry.

6
votes
0answers
126 views

Unital nonalternative real division algebras of dimension 8

Cross-posted from Math SE because I felt like it might be too obscure for there. I'm sorry if this is the wrong place for it. EDIT: This question now has an answer over there The finite-dimension ...
15
votes
0answers
481 views

When is the determinant an $8$-th power?

I am working over $\mathbb{R}$ (though most of the story goes over any field). I am looking for linear spaces of matrices such that the restriction of the determinant to this spaces can be written (...
21
votes
1answer
1k views

What finite simple groups we can obtain using octonions?

Rearranged on 2017-05-31 What I am missing is a uniform definition of finite simple groups. Especially sporadic groups are difficult to define. Many of the finite groups are defined using machinery ...
5
votes
0answers
64 views

A general form of a maximal totally isotropic subspace in the split octonion algebra

Let $\mathbb O'$ be the split octonion algebra over $\mathbb R$. For each nonzero divisor of zero $x\in \mathbb O'$ $\mbox{($x \neq 0, N(x)=0$)}$ the kernel of the left multiplication by $x$, $Ker ...
6
votes
2answers
387 views

Are two octonion algebras with different multiplications isomorphic?

Some authors, e.g. Baez, Ward, defined multiplication of octonions by formula $ (a,b) \cdot^B (c,d)=(ac-db^*, cb+a^*d) \textrm{ for } a,b,c,d\in \mathbb H, $ some others, e.g. Springer & Veldkamp,...
2
votes
1answer
68 views

A general form of mappings preserving angle between vectors and their image in $R^8$

In $\mathbb R^8$, identified with the octonion algebra $\mathbb O$, mappings $f: O \rightarrow \mathbb O$ of the form $x \mapsto xu $ and $ x \mapsto ux $, where $u$ is a fixed unit octonion (i.e. ...
2
votes
1answer
164 views

Matrix representation of the automorphisms of the octonion's algebra without Lie's theory

It is known that if a function $g$ is an automorphism of the algebra of octonions then there is an orthogonal basis of a form: $1,e_1, e_2, e_3=e_1e_2, e_4, e_5=e_1e_4, e_6=e_2e_4, e_7=e_3e_4$, where ...
6
votes
2answers
338 views

About some property of automorphism of octonions

Let $f$ be an automorphism of the algebra of octonions. Is it true that $f$ preserves some quaternionic subalgebra? Has the statement an elementary proof?
3
votes
2answers
310 views

Constructing real forms of the Tits-Freudenthal magic square for (Rosenfeld) projective planes

If $\mathbb{K},\mathbb{L} \in \{\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}\}$ then the Rosenfeld projective ("elliptic"?) plane $\mathbb{P}^2(\mathbb{K}\otimes\mathbb{L})$ is "the" compact Riemannian ...
11
votes
1answer
709 views

Atiyah on the “Galois group of the octonions” and Physics

Apparently Atiyah was talking about the "Galois group of the octonions" and the unification of the forces of physics at the Heidelberg Forum. Unfortunately not on the stage -- it didn't make its way ...
6
votes
1answer
272 views

Properties of complexified octonions

I have following questions about the complexified octonion algebra $\mathbb C \otimes_{\mathbb R} \mathbb O$. Zero divisors are of shape $p+i\otimes q$ (shortly $p+iq$) where $p$, $q$ are ...
1
vote
0answers
144 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 $\...
11
votes
1answer
443 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. ...
6
votes
0answers
176 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
98 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
260 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$...
6
votes
1answer
143 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
257 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}\}, ...
14
votes
1answer
413 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 ...
58
votes
1answer
1k 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
277 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
103 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
207 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)$ ...
4
votes
1answer
268 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
318 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
202 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
347 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
119 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 $...
19
votes
1answer
1k 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
272 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$ ...
22
votes
1answer
1k 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 ...
7
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 ...