[論文レビュー] Bi-gyrogroup: The group-like structure induced by bi-decomposition of groups

Teerapong Suksumran, Abraham A. Ungar|arXiv (Cornell University)|Jan 20, 2016

Mathematics and Applications参考文献 15被引用数 6

ひとこと要約

本稿では、群 Γ が部分集合 B と部分群 H_L, H_R に二重分解 Γ = H_L B H_R されるとき、左および右のジレーション（gyration）を介して自然に生じる、新しい群に類似した代数的構造、二重ジロ群（bi-gyrogroup）を導入する。この二重分解は、元来のジロ群を一般化する。主な貢献は、商群 Spin(m,n)/{1,−1} が二重ジロ分解を有することを証明し、擬直交群の文脈において具体的な二重ジロ群構造を実現したことにある。

ABSTRACT

The decomposition $Γ=BH$ of a group $Γ$ into a subset $B$ and a subgroup $H$ of $Γ$ induces, under general conditions, a group-like structure for $B$, known as a gyrogroup. The famous concrete realization of a gyrogroup, which motivated the emergence of gyrogroups into the mainstream, is the space of all relativistically admissible velocities along with a binary operation given by the Einstein velocity addition law of special relativity theory. The latter leads to the Lorentz transformation group $\mathrm{SO}(1,n)$, $n\in\mathbb{N}$, in pseudo-Euclidean spaces of signature $(1, n)$. The study in this article is motivated by generalized Lorentz groups $\mathrm{SO}(m, n)$, $m, n\in\mathbb{N}$, in pseudo-Euclidean spaces of signature $(m, n)$. Accordingly, this article explores the bi-decomposition $Γ= H_LBH_R$ of a group $Γ$ into a subset $B$ and subgroups $H_L$ and $H_R$ of $Γ$, along with the novel bi-gyrogroup structure of $B$ induced by the bi-decomposition of $Γ$. As an example, we show by methods of Clifford algebras that the quotient group of the spin group $\mathrm{spin}(m, n)$ possesses the bi-decomposition structure.

研究の動機と目的

• 単一分解 Γ = BH によって誘導されるジロ群構造を、二重分解 Γ = H_L B H_R を用いてより豊かな構造へ一般化すること。
• 二重ジロ群オイドおよび二重ジロ群を、左および右の二つの自己同型族（左ジレーション lgyr、右ジレーション rgyr）を備えた代数的構造として定義し、公理化すること。
• 擬直交群 SO(m,n) および商群 Spin(m,n)/{1,−1} が二重ジロ分解を有することを示すこと。
• 二重ジロ群が特殊相対性理論を越えて、クリフォード代数や調和解析への応用を含め、普遍的な計算的道具であることを確立すること。

提案手法

• 公理 (BG1)–(BG5) を用いて二重ジロ群オイドを定義し、単位元、逆元、および左・右の自己同型（lgyr, rgyr）を含み、二重ジロ結合則を満たす。
• 群 Γ における二重横断的分解 Γ = H_L B H_R を、B 上の二重ジロ群オイド演算 ⊕_b を誘導する構造的枠組みとして導入する。
• 定理 4.19 における正規化条件を用いて、二重ジロ群演算 ⊕ を二重横断的演算 ⊙ から導出する。
• クリフォード代数の技法を用いてスピン群 Spin(m,n) を分析し、その商群 Spin(m,n)/{1,−1} が二重ジロ分解条件を満たすことを示す。
• 左および右のジレーションが二重ジレータ恒等式を満たすことから、二重分解に起因する B 上の二重ジロ群構造が成立することを証明する。
• H_L が自明である場合に二重ジロ群がジロ群に還元されることを確認し、従来の理論と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 単一分解 Γ = BH によって定義されたジロ群構造を、両側の部分群 H_L および H_R を含む形にどのように一般化できるか？
• RQ2 二重分解 Γ = H_L B H_R から生じる群に類する対象を特徴付ける公理的構造は何か？
• RQ3 擬直交群 SO(m,n) は二重ジロ分解を有するか？ もしそうならば、B 上に誘導される二重ジロ群構造は何か？
• RQ4 商群 Spin(m,n)/{1,−1} が二重ジロ分解を有することを示すことができるか？ これにより、スピン群に対しても二重ジロ群枠組みを拡張できるか？
• RQ5 二重ジロ群における左および右のジレーションの二重族は、ジロ群における単一の族と比べて、構造をどのように豊かにするか？

主な発見

• 任意の群 Γ に対する二重ジロ分解 Γ = H_L B H_R から、左および右のジレーションが二重ジロ結合則を満たす二重ジロ群 (B, ⊕) が完全に誘導される。
• クリフォード代数の手法により、商群 Spin(m,n)/{1,−1} が二重ジロ分解を有することを示し、それが二重ジロ群として実現されることを確認した。
• 二重ジロ群 (B, ⊕) は二重ジロ結合則を満たし、左および右のジレーションがともに自明である場合には、標準的な結合則に還元される。
• 二重ジロ群はジロ群よりも構造が豊かである。これは、合成自己同型 lgyr[a,b] ∘ rgyr[b,a] が演算によって決定されるが、個々の自己同型は演算だけでは一意に決定されないためである。
• 二重ジロ群 (B, ⊕) は、n × m 実行列の族が二重ジロ加法に関してなす群オイドと同型である。これにより、抽象的構造の明確なモデルが得られる。
• 二重ジロ群はジロ群であるが、逆は成り立たない。二重ジロ群は、二重のジレーション族のおかげで、ジロ群に追加の構造を有する。