[論文レビュー] Discrete Symmetries and Clifford Algebras

В. В. Варламов|ArXiv.org|Sep 18, 2000

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

ひとこと要約

本稿は、離散的対称性（P, T, PT）を実および複素クリフォード代数の自己同型群に厳密に結びつける代数的枠組みを確立し、直交群の8つの可能な二重被覆（Da̧browski群）が、除法環構造を介して8種類の実クリフォード代数型に正確に対応することを示している。主な貢献は、Pin(3,1)とPin(1,3)の非同型性が、自己同型群の計量符号依存性に起因することを証明し、アティヤ＝ボット＝シャピロ周期性を一般化されたブラウアー＝ウォール群を通じて関連づけることによって、長年のローレンツ群二重被覆における曖昧さを解消したことである。

ABSTRACT

An algebraic description of basic discrete symmetries (space reversal P, time reversal T and their combination PT) is studied. Discrete subgroups of orthogonal groups of multidimensional spaces over the fields of real and complex numbers are considered in terms of fundamental automorphisms of Clifford algebras. In accordance with a division ring structure, a complete classification of automorphisms groups is established for the Clifford algebras over the field of real numbers. The correspondence between eight double coverings (Dabrowski groups) of the orthogonal group and eight types of the real Clifford algebras is defined with the use of isomorphisms between the automorphism groups and finite groups. Over the field of complex numbers there is a correspondence between two nonisomorphic double coverings of the complex orthogonal group and two types of complex Clifford algebras. It is shown that these correspondences associate with a well-known Atiyah-Bott-Shapiro periodicity. Generalized Brauer-Wall groups are introduced on the extended sets of the Clifford algebras. The structure of the inequality between the two Clifford-Lipschitz groups with mutually opposite signatures is elucidated. The physically important case of the two different double coverings of the Lorentz groups is considered in details.

研究の動機と目的

• ローレンツ群における離散的対称性（P, T, PT）の標準的記述における曖昧さを、クリフォード代数自己同型群に内在的に埋め込むこと。
• 除法環構造に基づく実クリフォード代数の自己同型群の完全な分類を確立すること。
• 特に(p,q) = (3,1)および(1,3)の場合に、Pin(p,q) ≇ Pin(q,p)の起源を、自己同型群の計量符号依存性に結びつけること。
• 実および複素クリフォード代数上の一般化ブラウアー＝ウォール群を一般化し、トラウトマン図を用いてその巡回的構造を示すこと。
• 自己同型群と有限群の同型を用いて、O(p,q)の8つのDa̧browski Pin^{a,b,c}被覆を数学的に一貫した枠組みで提供すること。

提案手法

• ウェダーバーン＝アルチンの定理と除法環構造（R, C, H）を用いて、実クリフォード代数Cℓ_{p,q}の自己同型群を分類する。
• 計量符号(a,b,c)が代数の除法環によって定まるように、O(p,q)の8つのDa̧browski Pin^{a,b,c}二重被覆と8種類の実クリフォード代数型との間の一対一対応を確立する。
• 実数のアティヤ＝ボット＝シャピロ周期性（mod 8）および複素数の周期性（mod 2）を用いて、一般化ブラウアー＝ウォール群BW^{a,b,c}_ℝ ≃ ℤ₂ ⊗ (ℤ₄)² ⊗ ℤ₈およびBW^{a,b,c}_ℂ ≃ ℤ₂を定義する。
• 実数および複素数上の一般化ブラウアー＝ウォール群の巡回的群構造を可視化するためのトラウトマン図を構築し、それぞれp−q mod 8およびn mod 2に基づくラベルを付ける。
• Maple V CLIFFORDパッケージを用いて、Cℓ_{3,1}（メジャナラ代数）およびCℓ_{1,3}（時空代数）のスピン表現および自己同型群を計算・比較する。
• 計量符号(p,q)が自己同型型を決定することを示すことで、Clifford–Lipschitz群Pin(p,q)とPin(q,p)の自己同型群を分析し、非同型性の原因を特定する。

実験結果

リサーチクエスチョン

• RQ1 離散的対称性P, T, PTを、クリフォード代数の内在的代数的構造に体系的に埋め込む方法は何か？
• RQ2 O(p,q)の8つのDa̧browski Pin^{a,b,c}二重被覆の計量符号(a,b,c)の選択は何かによって決定され、それは基礎となる空間ℝ^{p,q}の計量符号(p,q)とどのように関係するか？
• RQ3 O(3,1) ≅ O(1,3)であるにもかかわらず、なぜPin(3,1)とPin(1,3)は同型でないのか？この非同型性の背後にある代数的構造は何か？
• RQ4 一般化ブラウアー＝ウォール群BW^{a,b,c}_ℝおよびBW^{a,b,c}_ℂは、クリフォード代数の文脈でアティヤ＝ボット＝シャピロ周期性をどのように反映するか？
• RQ5 除法環構造（R, C, H）は、実クリフォード代数の自己同型群の存在と型を制限する役割を果たすのか？

主な発見

• O(p,q)の8つのDa̧browski Pin^{a,b,c}二重被覆は、Cℓ_{p,q}の8種類の実クリフォード代数型と一対一に対応し、計量符号(a,b,c)はCℓ_{p,q}の除法環構造によって定まる。
• Pin(3,1)とPin(1,3)の非同型性は、それらの自己同型群が異なる計量符号(a,b,c)を持つことによるものであり、これは基礎となる空間の計量符号(p,q)と代数の除法環構造に起因する。
• 実数上の一般化ブラウアー＝ウォール群はℤ₂ ⊗ (ℤ₄)² ⊗ ℤ₈に同型であり、実クリフォード代数のmod 8周期性および自己同型群の巡回的構造を反映している。
• 複素数上では、一般化ブラウアー＝ウォール群はℤ₂に同型であり、複素クリフォード代数のmod 2周期性および2種類の型CₙとCₙ₊₁ ≃ Cₙ ⊕ Cₙに対応している。
• BW_ℝ ≃ ℤ₈およびBW_ℂ ≃ ℤ₂のトラウトマン図は、それぞれp−q mod 8およびn mod 2に基づくラベルを用いて、周期性と群構造を視覚的に符号化している。
• 本研究は、Cℓ_{3,1}（メジャナラ代数）とCℓ_{1,3}（時空代数）の自己同型群が計量符号において異なること、したがってそれらのPin群が同型でないことを確認した。