[論文レビュー] On Nambu-Lie 3-algebra representations

Corneliu Sochichiu|ArXiv.org|Jun 23, 2008

Advanced Topics in Algebra参考文献 26被引用数 14

ひとこと要約

本稿では、その基盤となるリー代数の既約表現を用いて、ナンブ–リー3代数の行列表現を構成する手法を提案する。1つの生成子を固定することで、そのリー代数の既約表現が得られる。4次元のユークリッド3代数𝒜₄に対しては、ユニタリ表現が複素固有値——具体的には−1の4乗根——を必要とすることを明らかにした。これは、代数のユークリッド的性質にもかかわらず、純粋にエルミート行列による表現は不可能であることを示している。

ABSTRACT

We propose a recipe to construct matrix representations of Nambu--Lie 3-algebras in terms of irreducible representations of underlying Lie algebra. The case of Euclidean four-dimensional 3-algebra is considered in details. We find that representations of this 3-algebra are not possible in terms of only Hermitian matrices in spite of its Euclidean nature.

研究の動機と目的

• ナンブ–リー3代数の行列表現を、その基盤となるリー代数の既約表現を用いて体系的に構成するための手法を開発すること。
• 4次元のユークリッド3代数𝒜₄が、エルミート行列によるユニタリ表現を有するかどうかを調査すること。
• 固定された生成子（例：T₄）がリー代数構造を誘導する役割と、表現の制約に与える影響を明らかにすること。
• 固定された生成子の非定数または非可換な表現が、エルミート表現の不可能性を回避できるかどうかを検討すること。
• 特にコンパクトな場合に複素固有値が必須となることなど、3代数表現の一般的な構造的特徴を明確にすること。

提案手法

• 構造定数が基本的同一式を満たす完全反対称な3括弧積を用いてナンブ–リー3代数を定義する。
• 1つの生成子（例：T₄）を固定し、括弧積[T₄, Tᵢ, Tⱼ] = i fᵢⱼₖ Tₖによって残りの生成子にリー代数構造を誘導する。
• ナンブ括弧積[A,B,C]_N = ABC + BCA + CAB − BAC − ACB − CBAが3括弧積の関係と一致するように行列表現を構成する。
• 固定生成子T₄が表現で対角化可能であると仮定し、ナンブ括弧積をその固有値に依存する変形されたリー括弧積に簡略化する。
• 基盤となるsu(2)代数の既約表現を用いて解を構築し、パウリ行列の展開を用いて変形された交換関係を解く。
• 定数T₄と非定数T₄の両ケースを分析し、非可換T₄が括弧積の整合的な変形をもたらすが、最終的には同じ複素固有値条件に還元されることを示す。

実験結果

リサーチクエスチョン

• RQ1 4次元のユークリッド的ナンブ–リー3代数𝒜₄は、純粋にエルミート行列を用いて表現可能か？
• RQ2 基盤となるリー代数構造がナンブ–リー3代数の表現に課す制約は何か？
• RQ3 固定された要素T₄に対して、非定数または非可換な生成子を用いて𝒜₄のユニタリ表現を構成可能か？
• RQ4 コンパクトなナンブ–リー3代数の表現が、なぜユークリッド的性質にもかかわらず、複素固有値を必然的に必要とするのか？
• RQ5 リー代数からのアップライト手続きが、計量の符号とエルミート表現の可能性にどのように関係するのか？

主な発見

• 4次元のユークリッド的3代数𝒜₄は、正定値計量を持つにもかかわらず、純粋にエルミート行列による表現は不可能である。
• 𝒜₄のすべてのユニタリ表現は、−1の4乗根である固有値を持つ生成子を必要とし、複素行列が不可欠であることを示している。
• 基盤となるリー代数（例：su(2)）の既約表現を用いた表現構成は、一貫性は保たれるが、複素固有値構造を必然的に生じさせる。
• 非定数T₄表現はより一般であるが、依然として同じ固有値条件に還元され、複素固有値が避けがたいことが確認された。
• コンパクトな3代数において複素固有値が必要となるという事実は、標準的なリー代数表現とは対照的であり、そこではエルミート生成子が一般的である。
• ローレンツ的3代数における計量の符号反転のメカニズムは、ユークリッド的3代数における複素固有値条件と類似しており、より深い構造的関係を示唆している。