[論文レビュー] Properly twisted groups and their algebras

John W. Bales|arXiv (Cornell University)|Jul 7, 2011

Algebraic and Geometric Analysis参考文献 3被引用数 5

ひとこと要約

本稿では、群 G 上の '適切なねじれ'（proper twist）の概念を導入する。これは、特定の代数的恒等式を満たす符号関数 α: G×G → {−1,1} であり、関連するねじれた群代数が整合的な随伴作用素と内積を備えることを保証する。主な貢献は、ℝ 上の ℤ₂^N における適切なねじれが、複素数、ケイリー＝ディクソン代数、クリフォード代数（クaternion、オクトンション、セデニオンを含む）をすべて生成することであり、これらは一貫した随伴およびノルム性質を持つ単一の代数的枠組みによって統一される。

ABSTRACT

A twist property is developed which imparts certain properties on the twisted group algebra. These include an involution * satisfying (xy)*=y*x* and an inner product satisfying = and =. Examples of twisted group algebras having this property are the Cayley-Dickson algebras and Clifford algebras.

研究の動機と目的

• ねじれた群代数が随伴および内積の恒等式を満たすように保証する群上の '適切なねじれ' を定義し、特徴づけること。
• 符号関数を用いた ℤ₂^N 上の枠組みを通じて、ケイリー＝ディクソン代数とクリフォード代数の構成を統一すること。
• 適切なねじれが、一貫した随伴性質 ⟨xy,z⟩ = ⟨y,x*z⟩ および ⟨x,yz⟩ = ⟨xz*,y⟩ を満たす代数を生成することを確立すること。
• ねじれた群代数の代数的および構造的性質、特にノルムの振る舞いと乗法に関する閉包性を調査すること。
• 有限群上の適切なねじれの存在、分類、および群構造に関する基礎的問題を提示すること。

提案手法

• 各ペア (p,q) ∈ G×G に対して符号 α(p,q) ∈ {−1,1} を割り当てることで、ねじれた群代数 [G,α,𝕂] を定義し、i_pi_q = α(p,q)i_pq が成り立つようにする。
• 要素 x ∈ V の行列表現 [x] を [x](r,s) = α(rs⁻¹,s)x_{rs⁻¹} で定義し、行列乗法が代数的乗法を表現することを可能にする。
• 代数的乗法と線形変換行列の間の関係を xy = [x]y として確立する。
• 共役 x* = ∑_p α(p,p⁻¹)x_p* i_p⁻¹ および内積 ⟨x,y⟩ = ∑_p x_p y_p* を定義し、随伴恒等式が成り立つのは α が適切である場合に限ることを証明する。
• 適切なねじれが恒等式 α(p,q)α(q,q⁻¹) = α(pq,q⁻¹) および α(p⁻¹,p)α(p,q) = α(p⁻¹,pq) を満たすことを証明し、これが随伴構造の必要十分条件であることを示す。
• ℤ₂^N 上のクリフォードねじれ φ が結合的であり、したがって適切であることを示し、これにより実数、複素数、クaternion代数を含む結合的代数が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 平方可 summable 数列のヒルベルト空間 ℓ² は、有限次元ケイリー＝ディクソン代数の和集合の完備化であるため、ケイリー＝ディクソン代数であると言えるか？
• RQ2 すべてのケイリー＝ディクソン代数に対して、一様なノルムの上限 ‖xy‖ ≤ √2 ‖x‖‖y‖ が成り立つか、それとも高次代数におけるある x,y に対して ‖xy‖ が √2‖x‖‖y‖ を超えることがあるか？
• RQ3 ケイリー＝ディクソンの基底ベクトル（n-ブレード）は、n 個の異なる 1-ブレードの左積として体系的に構成可能か？その積に対する符号則は何か？
• RQ4 フーリエ展開および随伴構造に関連する式 6.3 および 6.4 に類似する式がクリフォード代数に対しても存在するか？
• RQ5 与えられた有限群 G に対して、何種類の適切なねじれが存在するか？また、すべてのこのようなねじれの集合 P(G) の代数的構造は何か？

主な発見

• ℝ 上の ℤ₂^N における適切なねじれは、複素数、クaternion、オクトンション、セデニオンを含むすべての標準的ケイリー＝ディクソン代数を生成する。
• 共役 x* = ∑_p α(p,p⁻¹)x_p* i_p⁻¹ および内積 ⟨x,y⟩ = ∑_p x_p y_p* は、⟨xy,z⟩ = ⟨y,x*z⟩ および ⟨x,yz⟩ = ⟨xz*,y⟩ という恒等式を満たすことが、かつそのときに限り、ねじれ α が適切である場合に限る。
• クリフォード代数のねじれ φ は結合的であり、したがって適切である。これにより、クリフォード代数は一貫した随伴構造を持つ *-代数であることが保証される。
• ケイリー＝ディクソン構成における n-ブレードについて、n ≡ 1 または 2 (mod 4) のとき i_p* = −i_p であり、n ≡ 0 または 3 (mod 4) のとき i_p* = i_p である。これにより、ブレードは '実' または '虚' に分類される。
• 群 G におけるすべての適切なねじれの集合 𝒫(G) は、符号の点ごとの乗法に関してアーベル群をなし、自明なねじれが単位元である。
• コンピュータ実験の結果、𝕊₉ におけるノルム比 ‖xy‖/(‖x‖‖y‖) は √2 を超えないことが示唆されており、これはすべてのケイリー＝ディクソン代数に対して √2 が普遍的な上限であるという予想を支持する。