[論文レビュー] Real forms and finite order automorphisms of affine Kac-Moody algebras - an outline of a new approach

Ernst Heintze|ArXiv.org|Dec 14, 2007

Algebraic structures and combinatorial models被引用数 3

ひとこと要約

本稿は、滑らかでないおよび代数的ループ代数の両方に適用可能な、アフィン Kac-Moody代数の実形式および有限位数自己同型の分類のための簡素で基本的なアプローチを提示する。標準的同型とLevsteinおよびHermann作用の結果に焦点を当てることで、すべての有限位数自己同型が標準形に準同型であることを確立し、滑らかおよび代数的設定の両方で一様な分類を可能にし、全単射の不変量を提供する。

ABSTRACT

We outline a new approach to classify real forms and automorphisms of finite order of affine Kac-Moody algebras.

研究の動機と目的

• アフィン Kac-Moody代数の実形式および有限位数自己同型の分類のための、より簡素で基本的なアプローチを開発すること。
• 滑らかおよび代数的ループ代数の両方における分類を統一し、異なる解析的および代数的枠組みにもかかわらず、結果が同等であることを示すこと。
• すべての有限位数自己同型が標準形に準同型であることを確立し、分類問題を簡素化すること。
• 自己同型の準同型類からリー代数内の構造的データへの不変量写像の全単射性を証明すること。
• コンパクト実形式および群作用（Hermann作用）を用いて、滑らかな状況から代数的状況へのカルタン分解および実形式に関する結果の拡張を行うこと。

提案手法

• 基礎となる単純リー代数の自己同型によって誘導される、ループ代数構造を保存するアフィン Kac-Moody代数間の同型を用いる。
• 有限または無限位数の自己同型 $\rho$ を用いたねじれ周期的条件によって、滑らかおよび代数的ループ代数 $L(\frak{g},\rho)$ および $L_{\text{alg}}(\frak{g},\rho)$ を定義する。
• キリング形式および括弧積における微分を用いて、中心元 $c$ と微分 $d$ を持つ二重拡張として、アフィン Kac-Moody代数 $\tilde{L}(\frak{g},\rho)$ を構成する。
• 任意の有限位数自己同型を標準形 $\tilde{\rho}d = \rho d$, $\tilde{\rho}u(t) = \rho_0(u(\rho t + t_0))$ に還元するために、準同型の概念を適用し、分類を簡素化する。
• コンパクトリー群上のHermann作用および $\rho$-作用を用いて、軌道の超極性および直交性を証明し、不変量写像の単射性を支援する。
• Levsteinの定理（$\tilde{\rho}$-不変カルタン部分代数の存在）を応用して、自己同型を標準形に還元し、$\frak{J}^q_\epsilon(\frak{g})$ における不変量による分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 既存の100ページに及ぶ処理をはるかに超えて、アフィン Kac-Moody代数の有限位数自己同型の分類を簡素化できるか？
• RQ2 滑らかおよび代数的ループ代数の両方において、異なる解析的および代数的構造にもかかわらず、同じ分類結果が成り立つか？
• RQ3 アフィン Kac-Moody代数のすべての有限位数自己同型が、型 $u(t) \to \rho_0(u(\rho t + t_0))$ の標準形に準同型であるか？
• RQ4 自己同型の準同型類から $\frak{J}^q_\epsilon(\frak{g})$ への不変量写像 $I^q_\epsilon$ の全単射性を、基本的な方法で証明できるか？
• RQ5 コンパクト実形式およびHermannの作用などの群作用は、代数的状況における分類写像の単射性の証明にどのように寄与するか？

主な発見

• アフィン Kac-Moody代数のすべての有限位数自己同型は、型 $\tilde{\rho}u(t) = \rho_0(u(\rho t + t_0))$ の標準形に準同型であり、分類が簡素化される。
• 滑らかおよび代数的カテゴリーの両方において、実形式および有限位数自己同型の分類は同等であり、異なる基礎的枠組みにもかかわらず一致する。
• 自己同型の準同型類から $\frak{J}^q_\epsilon(\frak{g})$ への不変量写像 $I^q_\epsilon$ は全単射であり、全射性は滑らか状況から、単射性は群作用によって確立される。
• リー代数 $\frak{g}$ に $\rho$-不変コンパクト実形式が存在することにより、$\rho$ が初期に有限位数でなくても、自己同型を標準形に還元できる。
• Levsteinの結果（不変カルタン部分代数の存在）により、任意の有限位数自己同型を標準形に還元でき、$I^q_\epsilon$ の単射性の証明に不可欠である。
• Hermann作用およびコンパクトリー群上での $\rho$-作用の超極性により、最大トーラスが軌道と直交するようになる。これは、代数的状況における単射性の証明の根拠となる。