$\mathbb{S}^1$-action and octonionic multiplication can be associated

44 Views Asked by At

Let $\mathbb{S}^7$ be the unit sphere of $\mathbb{R}^8$, which can be identified with the unit octonions. The circle $\mathbb{S}^1$ naturally acts on $\mathbb{S}^7$ by complex multiplication:

$$z \cdot x = (z x_1, z x_2, z x_3, z x_4),$$

where $z \in \mathbb{S}^1$, $x = (x_1, x_2, x_3, x_4) \in \mathbb{S}^7$ and $x_i \in \mathbb{C}$.

Denote octionic multiplication by $\ast$.

Is it true that

$$z \cdot (x \ast y) = (z \cdot x) \ast y, \quad \forall z \in \mathbb{S^1}, \, \forall x, y \in \mathbb{S}^7?$$

1

There are 1 best solutions below

2
On

Hint: when $x=1$ the equality says $z\cdot y=z\ast y$. Do you think that's true?