[論文レビュー] Some isomorphism invariants for Lie tori

Bruce Allison|arXiv (Cornell University)|Nov 14, 2010

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

本稿は、fgc（中心の有限生成性を満たす）で中心のないリー代数トーラスの4つの同型不変量を導入する：根格子型、ノルマルティー、中心のランク、および根空間ランクベクトル。中心閉包と同型性に関する構造的結果を用いて、これらのリー代数トーラスの同型問題を、特殊ユニタリリー代数トーラスの同型類の分類問題に還元する。これは、拡張アフィンリー代数およびマルチループ代数の分類を著しく進展させる。

ABSTRACT

In this paper we study the isomorphism problem for centreless Lie tori that are fgc (finitely generated as modules over their centroid). These Lie tori play a important role in the theory of extended affine Lie algebras and of multiloop Lie algebras. We introduce four isomorphism invariants for fgc centreless Lie tori, and use them together with known structural results to investigate the classification problem for fgc centreless Lie tori up to isomorphism.

研究の動機と目的

• 拡張アフィンリー代数およびマルチループリー代数の中心的役割を果たす、fgc中心のないリー代数トーラスの同型問題を解くこと。
• 同型写像の下で不変である4つの構造的不変量（根格子型、ノルマルティー、中心のランク、根空間ランクベクトル）を特定し、それらの不変性を証明すること。
• 重要な技術的仮定（仮定C）が成り立つものと仮定して、fgc中心のないリー代数トーラスの分類問題を、特殊ユニタリリー代数トーラスの同型性問題に還元すること。
• 中心閉包やガロアコhomologyに類似した手法を含む代数的ツールを用いて、これらのリー代数トーラスの分類フレームワークを提供すること。
• 中心閉包の根格子型が元の根系型と等しいこと、すなわち、以降の不変量の基礎をなす結果を確立すること。

提案手法

• リー代数トーラス $\mathcal{L}$ の中心 $C$ をその商体に拡張することで、$\widetilde{C}$ 上の有限次元の非退化的中心単純リー代数となる中心閉包 $\widetilde{\mathcal{L}}$ を構成する。
• $\widetilde{\mathcal{L}}$ に maximal なスプリット的トーラル $\widetilde{C}$-部分代数 $\widetilde{\mathfrak{h}}$ を特定し、これにより $\widetilde{\mathcal{L}}$ の相対型として根系型を回復できる。
• $\widetilde{\mathcal{L}}$ と $\widetilde{\mathfrak{h}}$ の構造を活用して、根格子型、ノルマルティー、中心のランク、根空間ランクベクトルが代数的同型写像の下で不変であることを証明する。
• 同型よりも細かい同値関係としての同型性（isotopy）を導入し、$\Lambda / \Gamma(\mathcal{L})$ が同型性不変量であることを示す。ここで $\Gamma(\mathcal{L})$ は中心の $\Lambda$-サポートを表す。
• 同型性分類を用いて、仮定 (C) の下で、2つの特殊ユニタリリー代数トーラスが同型であるときの条件に還元する。
• ハーストインのジョルダン同型定理を適用し、ある写像 $\varphi_{12}: \mathcal{A} \to \mathcal{A}'$ が同型または反同型であることを示し、$\mathcal{A}' \simeq \mathcal{A}'^{\text{op}}$ のとき $\mathcal{A} \simeq \mathcal{A}'$ が成り立つことを導く。

実験結果

リサーチクエスチョン

• RQ1 fgc中心のないリー代数トーラスの完全な同型不変量の集合は何か？
• RQ2 fgc中心のないリー代数トーラスの同型問題は、どのようにより取り扱いやすい分類問題に還元できるか？
• RQ3 リー代数トーラスの同型性クラスが同型性クラスを決定する条件は何か？
• RQ4 特殊線形およびユニタリリー代数トーラスの分類は、それらの基礎となる結合代数の分類に還元可能か？
• RQ5 中心閉包 $\widetilde{\mathcal{L}}$ は、元のリー代数トーラス $\mathcal{L}$ の不変量を決定するために果たす役割は何か？

主な発見

• リー代数トーラスの根格子型は同型不変量であり、元の根系 $\Delta$ の型に等しい。
• リー代数トーラスのノルマルティーは同型不変量であり、リー代数トーラスの構造的性質により同型写像の下で保存される。
• 中心のランク（$\mathcal{L}$ をその中心 $C$ についてのモジュールとして見たときのランク）は同型不変量である。
• 根空間ランクベクトル（$Q$-格子による根空間の $C$-ランクを列挙したもの）は同型不変量である。
• 同型性群 $\Lambda / \Gamma(\mathcal{L})$ は同型性不変量であるが、必ずしも同型不変量ではない。
• 仮定 (C) が成り立つならば、特殊線形リー代数トーラス $\mathfrak{sl}_{r+1}(\mathcal{A})$ と $\mathfrak{sl}_{r+1}(\mathcal{A}')$ の同型性から $\mathcal{A} \simeq \mathcal{A}'$ が従い、分類問題が結合代数の同型性問題に還元される。