[論文レビュー] Covering Algebras II: Isomorphism of Loop Algebras

Bruce Allison, Stephen Berman+1 more|ArXiv.org|Nov 4, 2002

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

ひとこと要約

この論文は、可対称化可能 Kac-Moody Lie 環と有限位数自己同型から構成されるループ代数の同型条件について、必要十分条件を確立する。非アーベルガロアコホノロジーを用いて、代数的に閉じた零標数の体上で、2つのこのようなループ代数が同型であることの必要十分条件は、それらの自己同型の一般化カルタン行列の外部自己同型群における像が共役または逆共役であることに他ならないことを示している。

ABSTRACT

This paper studies the loop algebras that arise from pairs consisting of a symmetrizable Kac-Moody Lie algebra $\g$ and a finite order automorphism $σ$ of $\g$. We obtain necessary and sufficient conditions for two such loop algebras to be isomorphic.

研究の動機と目的

• 可対称化可能 Kac-Moody Lie 環と有限位数自己同型に関連するループ代数の同型問題を解く。
• このようなループ代数を同型の意味で分類する明確な代数的不変量を特定する。
• アフィン代数における共役定理に依存せずに、有限次元から無限次元の Kac-Moody 環への既知の結果を拡張する。
• S/R-形式と非アーベルガロアコホノロジーを用いたコホノロジー的枠組みを構築し、同型類を分析する。

提案手法

• ループ代数を、S = k[z,z^{-1}] および R = k[t,t^{-1}]（ただし t = z^m）における非ねじれループ代数の S/R-形式として見る。
• ガロア群 Γ = ℤ_m を用いて、R-同型類を非アーベルコホノロジー集合 H^1(Γ, Aut_S(𝔤(S))) の元として解釈する。
• Aut(𝔤) → Out(A) という射影写像 p を用い、A が一般化カルタン行列であるとき、同型問題を Out(A) 内の共役性問題に還元する。
• カルタン部分代数の共役性および半単純自己同型の性質といった、リー理論の結果を用いて、固定点部分代数の構造を分析する。
• チェバリの対合とグラフ自己同型を用いて、無限次元の場合の分類を精緻化する。
• L(𝔤, σ) ⊗_R S ≅ 𝔤(S) であるという事実を活用し、ループ代数の構造をローレンス多項式環上の基本代数に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた零標数体上で、2つのループ代数 L(𝔤, σ₁) と L(𝔤, σ₂) が同型であるのはいつか？
• RQ2 σ₁ と σ₂ のどの不変量がそれらに対応するループ代数の同型を決定するか？
• RQ3 同型問題を一般化カルタン行列 A の外部自己同型群 Out(A) 内の共役問題にどのように還元できるか？
• RQ4 アフィン Kac-Moody 代数における共役定理に依存せずに、同型分類を達成できるか？
• RQ5 非アーベルガロアコホノロジーは、この文脈における Lie 代数の S/R-形式の分類にどのような役割を果たすか？

主な発見

• 2つのループ代数 L(𝔤, σ₁) と L(𝔤, σ₂) が体 k 上で同型であることの必要十分条件は、p(σ₁) と p(σ₂) が Out(A) 内で共役または逆共役であることである。
• L(𝔤, σ) の同型類は、そのベース代数 𝔤 を不変量として持ち、したがって同型問題は 𝔤 を固定した上で自己同型を分類することに帰着できる。
• この結果は、既知の有限次元 Lie 代数における同型定理を一般化し、その場合ですら新たなコホノロジー的証明を提供する。
• この分類は、σ₁^m = σ₂^m = id を満たす任意の有限位数 m に対して成り立つ。m が等しい必要はない。
• コホノロジー的枠組みにより、同型問題がガロアコホノロジー問題に翻訳され、群論的データを用いた体系的な分類が可能になる。
• この結果は、有限次元およびアフィン Kac-Moody Lie 代数の両方に対して一様に適用可能であり、単一のコホノロジー的基準によって両者の同型分類が統一的に扱える。