Octonions, triality, the exceptional Lie algebra F4, and polar actions on the Cayley hyperbolic plane

Cayley 4-form, comass, and triality isomorphisms

Following an idea of Dadok, Harvey and Lawson, we apply the triality property of SO(8) to study the comass of certain self-dual 4-forms on R^8. In particular, we prove that the Cayley 4-form has comass 1 and that any self-dual 4-form realizing the maximal Wirtinger ratio is SO(8)-conjugate to the Cayley 4-form. We also use triality to prove that the stabilizer in SO(8) of the Cayley form is Spin(7). The results have applications in systolic geometry, calibrated geometry, and Spin(7) manifolds.

On the conjugacy of pure imaginary elements of quaternion algebras and Cayley algebras

In the quatenions ($\H$, $\H'$, $\H^{C}$) and octonions ($\gC$, $\gC^\prime$, $\gC^C$), we show some results on the conjugacy of two pure imaginary non-zero elements with same norm.

Cayley cones ruled by 2-planes: desingularization and implications of the twistor fibration

Cayley cones in the octonions $\mathbb{O}$ that are ruled by oriented 2-planes are equivalent to pseudoholomorphic curves in the Grassmannian of oriented 2-planes G(2,8). The well known twistor fibration $G(2,8) -> S^6$ is used to prove the existence of immersed higher-genus pseudoholomorphic curves in $\gro$. Equivalently, this produces Cayley cones whose links are $S^1$-bundles over genus-$g$ Riemann surfaces. When the degree of an immersed pseudoholomorphic curve is large enough, the corresponding 2-ruled Cayley cone is the asymptotic cone of a non-conical 2-ruled Cayley 4-fold.

Octonion-valued forms and the canonical 8-form on Riemannian manifolds with a $Spin(9)$-structure

It is well known that there is a unique $Spin(9)$-invariant 8-form on the octonionic plane that naturally yields a canonical differential 8-form on any Riemannian manifold with a weak $Spin(9)$-structure. Over the decades, this invariant has been studied extensively and described in several equivalent ways. In the present article, a new explicit algebraic formula for the $Spin(9)$-invariant 8-form is given. The approach we use generalizes the standard expression of the Kähler 2-form. Namely, the invariant 8-form is constructed only from the two octonion-valued coordinate 1-forms on the octonio…

E8 例外李代数的括号

The bracket of the exceptional Lie algebra E8

基于三重性与八八元数，研究E8李代数的括号公式，并推导E6、E7子代数及F4的26维不可约表示公式。

Sharp Hardy-Sobolev-Maz'ya, Adams and Hardy-Adams inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane

Though Adams and Hardy-Adams inequalities can be extended to general symmetric spaces of noncompact type fairly straightforwardly by following closely the systematic approach developed in our early works on real and complex hyperbolic spaces, higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities are more difficult to establish. The main purpose of this goal is to establish the Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. A crucial part of our work is to establish appropriate factorization theorems on the…