[論文レビュー] The 42 Assessors and the Box-Kites they fly: Diagonal Axis-Pair Systems of Zero-Divisors in the Sedenions' 16 Dimensions

de Marrais, Patro Robert|arXiv (Cornell University)|Nov 30, 2000

Advanced Topics in Algebra参考文献 10被引用数 6

ひとこと要約

本稿は、16次元のセデニオンに内在する隠れた代数的構造を解明し、168個の原始的単位零因子が42体のアセッサー（純虚数平面内の対となる対角線）に整理されており、それらが互いに零因子をもつ三つ組を形成するボックス・カイト構造を構成している。A-D-E分類とPSL(2,7)の対称性を用いて、セデニオン空間を完全に分割する7つのボックス・カイトの相互接続ネットワークを構築し、零因子幾何学とG2のような例外的リー群との深い関係を明らかにした。

ABSTRACT

G. Moreno's abstract depiction of the Sedenions' normed zero-divisors, as homomorphic to the exceptional Lie group G2, is fleshed out by exploring further structures the A-D-E approach of Lie algebraic taxonomy keeps hidden. A breakdown of table equivalence among the half a trillion multiplication schemes the Sedenions allow is found; the 168 elements of PSL(2,7), defining the finite projective triangle on which the Octonions' 480 equivalent multiplication tables are frequently deployed, are shown to give the exact count of primitive unit zero-divisors in the Sedenions. (Composite zero-divisors, comprising all points of certain hyperplanes of up to 4 dimensions, are also determined.) The 168 are arranged in point-set quartets along the 42 Assessors (pairs of diagonals in planes spanned by pure imaginaries, each of which zero-divides only one such diagonal of any partner Assessor). These quartets are multiplicatively organized in systems of mutually zero-dividing trios of Assessors, a D4-suggestive 28 in number, obeying the 6-cycle crossover logic of trefoils or triple zigzags. 3 trefoils and 1 zigzag determine an octahedral vertex structure we call a box-kite -- seven of which serve to partition Sedenion space. By sequential execution of proof-driven production rules, a complete interconnected box-kite system, or Seinfeld production (German for field of being; American for 1990's television's Show About Nothing), can be unfolded from an arbitrary Octonion and any (save for two) of the Sedenions. Indications for extending the results to higher dimensions and different dynamic contexts are given in the final pages.

研究の動機と目的

• 標準的なリー代数的分類法では見えにくい、セデニオンに潜む隠れた代数的構造を解明すること。
• 16次元セデニオン代数における原始的単位零因子の正確な数と幾何的配置を特定すること。
• 168位の群PSL(2,7)とセデニオンの零因子系との関係を確立すること。
• 42体のアセッサー（純虚数平面内の対となる対角線）が、6サイクルクロスオーバー論理に従い、互いに零因子をもつ三つ組と八面体的ボックス・カイト構造を形成する仕組みを明らかにすること。
• 証明に基づく生成規則を用いて、任意のオクタニオンと2つの特殊でないセデニオンから、完全で相互接続されたボックス・カイト系を構築すること。

提案手法

• セデニオンの512兆通りの乗法スキームを分析し、表の同値性を特定し、構造的に重要なものを抽出する。
• 168個の原始的単位零因子を、オクタニオン乗法表の基盤となる有限射影三角形の自己同型群であるPSL(2,7)の作用にマッピングする。
• アセッサーを、純虚数セデニオンが張る平面内の対となる対角線のペアとして定義し、それぞれが相手のアセッサーの1つの対角線のみを零因子として持つようにする。
• 四つ組と互いに零因子をもつ三つ組に整理し、トレスフォイルや三重のジグザグに類似した6サイクルクロスオーバー論理に従う。
• 三つのトレスフォイルと一つのジグザグからなる八面体的頂点構造としてボックス・カイトを構成し、零因子関係の閉じた系を表す。
• 証明に基づく生成規則を適用し、初期のオクタニオンと任意の2つの除外されないセデニオンから、完全で相互接続された7つのボックス・カイト系を展開する。

実験結果

リサーチクエスチョン

• RQ1 セデニオン代数に存在する原始的単位零因子はいくつであり、それらはどのように幾何的に構造化されているか？
• RQ2 PSL(2,7)群はセデニオンの零因子系をどのように組織づけているか？
• RQ3 42体のアセッサー（純虚数平面内の対となる対角線）は、6サイクルクロスオーバー論理に従い、どのように互いに零因子をもつ三つ組を形成するか？
• RQ4 ボックス・カイト構造はセデニオン空間をどのように分割するのか、そして零因子三つ組からどのように構築されるか？
• RQ5 任意のオクタニオンと2つのセデニオンから、体系的に完全で相互接続されたボックス・カイト系を生成できるか？

主な発見

• セデニオンには正確に168個の原始的単位零因子が存在し、これはPSL(2,7)群の位数と一致する。
• これらの168個の零因子は42体のアセッサーに整理されており、それぞれが純虚数セデニオンが張る平面内の対となる対角線のペアを表す。
• アセッサーは28の互いに零因子をもつ三つ組系を形成し、それぞれがトレスフォイルや三重ジグザグに類似した6サイクルクロスオーバー論理に従う。
• 7体のボックス・カイト（それぞれが3つのトレスフォイルと1つのジグザグからなる）が、16次元セデニオン空間全体を分割する。
• 任意のオクタニオンと2つのセデニオン（2つの特定のものを除く）から、完全で相互接続されたボックス・カイト系（「シーリング生産」と呼ばれる）を生成可能である。
• この系は、セデニオンの零因子幾何学と例外的リー群G2との間の隠れた準同型関係を明らかにしている。