Skip to content
DraconiticResearch
Search Sources API
184,937 studies31 sourcesUpdated 27 min ago
PreprintCC BY 4.0arXiv

Generating pairs in g2 related by an involution

Abstract

Let 𝕆 be the real octonion division algebra, let g2=Der(𝕆), and fix a quaternionic subalgebra H⊂𝕆. We ask when an element Z preserving H and its conjugate TZT−1 generate g2, where T is a prescribed involutive octonion automorphism. We prove that such a Z exists if and only if T(H)≠ H. Moreover, a fixed set of six derivations preserving H contains a generating choice for every such T. For an arbitrary Z∈g2, we construct a polynomial criterion with two factors: one detects reducibility on the imaginary octonions, and the other detects generated algebras of dimension at most three. An irreducible proper generated algebra must be a principal su(2). We characterize the elements admitting this case by their rotation frequencies and parametrize all corresponding involutions. For one specified involution and quaternionic subalgebra H, we describe the nongenerating set by four geometric families and six irredundant systems of scalar equations, and prove that it has real dimension four.

Related

  1. Examples of descendent generating series for Pandharipande--Thomas stable pairs on smooth projective Fano threefolds via one-dimensional wall-crossing
    Reginald Anderson
    arXivPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryarXiv
  2. Exponential generating functions for Apostol-Dedekind and related sums
    Yilmaz Simsek
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. Presentation of monoids generated by a projection and an involution
    Pascal Caron, Jean-Gabriel Luque, Bruno Patrou
    Semigroup ForumPeer-reviewedCC BY 4.0Full textGeneral mathematicsHAL
  4. The Involution Rank of MCG(Σ3) Is Four
    Qilong Guo, Dongqi Sun
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  5. Formal Matrix Rings with the Involution Property
    Valeriya Kirova
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{montoya2026generating,
  title = {{Generating pairs in $\mathfrak g_2$ related by an involution}},
  author = {Santiago Pineda Montoya and Johan H. Rúa Muñoz and Borut Jurčič Zlobec},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2609.15497},
  eprint = {2609.15497},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.15497},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Generating pairs in g_2 related by an involution
AU  - Santiago Pineda Montoya
AU  - Johan H. Rúa Muñoz
AU  - Borut Jurčič Zlobec
PY  - 2026
DA  - 2026/10/26
PB  - arXiv
DO  - 10.48550/arxiv.2609.15497
UR  - https://arxiv.org/abs/2609.15497
AB  - Let 𝕆 be the real octonion division algebra, let g_2=Der(𝕆), and fix a quaternionic subalgebra H⊂𝕆. We ask when an element Z preserving H and its conjugate TZT^−1 generate g_2, where T is a prescribed involutive octonion automorphism. We prove that such a Z exists if and only if T(H)≠ H. Moreover, a fixed set of six derivations preserving H contains a generating choice for every such T. For an arbitrary Z∈g_2, we construct a polynomial criterion with two factors: one detects reducibility on the imaginary octonions, and the other detects generated algebras of dimension at most three. An irreducible proper generated algebra must be a principal su(2). We characterize the elements admitting this case by their rotation frequencies and parametrize all corresponding involutions. For one specified involution and quaternionic subalgebra H, we describe the nongenerating set by four geometric families and six irredundant systems of scalar equations, and prove that it has real dimension four.
ER  -