Quaternionic Reflections and Lie Generation in $G_2$

Abstract

Let $\mathbb O$ be the real octonion division algebra and $\mathfrak g_2=\operatorname{Der}(\mathbb O)$. A quaternionic reflection $T\in G_2=\operatorname{Aut}(\mathbb O)$ fixes a quaternionic subalgebra pointwise and negates its orthogonal complement. For the associated compact symmetric pair $\mathfrak g_2=\mathfrak k_T\oplus\mathfrak m_T$, we give an explicit factored polynomial criterion for generation by an independently chosen even element and odd element. Equivalently, for the reflected pair $(Z,TZT)$ with $Z\in\mathfrak g_2$, the criterion is $\mathcal U_{38}=\mathcal R_{30}\mathcal H_8>0$. The degree-30 Gram determinant detects reducibility on $\operatorname{Im}\mathbb O$, while the degree-8 factor detects generated algebras of dimension at most three. A principal $\mathfrak{su}(2)$ is the remaining irreducible proper possibility. Such a reflected principal closure is realizable for a nonzero $Z$ if and only if its positive rotation frequencies have ratio $1:2:3$; for each such $Z$, all realizing reflections are parametrized by a two-torus and an open interval. A different restriction arises when $Z$ must lie in the stabilizer algebra $\mathfrak k_A\simeq\mathfrak{so}(4)$ of a fixed quaternionic subalgebra $H_A$. For every reflection moving $H_A$, a fixed list of six elements of $\mathfrak k_A$ contains a generating choice; reflections preserving $H_A$ admit none. For one explicit relative configuration $(\mathfrak k_A,S)$, we describe the entire nongenerating set by four geometric families and by six irredundant systems of scalar equations. We determine its real dimension and all generated algebras of dimension at most three; a homogeneous degree-34 polynomial packages the six tests. The degree is not asserted to be canonical or minimal. Two explicit local coordinate maps use short words in a finite-time pulse and one reflection, whose generated subgroup is dense in $G_2$.