[論文レビュー] Invariants of Automorphic Lie Algebras

Vincent Knibbeler|arXiv (Cornell University)|Apr 14, 2015

Algebraic structures and combinatorial models参考文献 28被引用数 3

ひとこと要約

本学位論文は、有限群作用に対して不変な有理関数上のリー代数である自動形式リー代数の不変量を、古典的不変量理論および二面体多面体群の構造を活用して導入する。これらの代数が1変数多項式環上の自由加群であることを確立し、生成子の数が基底となるリー代数の次元に等しいことを示し、不変ベクトルの行列式に対する単項式公式を導出することで、根系のコホモロジー理論を構築し、非同型の還元群に対しても観察される同型性の均一性を説明する。

ABSTRACT

Automorphic Lie Algebras arise in the context of reduction groups introduced in the late 1970s in the field of integrable systems. They are subalgebras of Lie algebras over a ring of rational functions, defined by invariance under the action of a finite group, the reduction group. Since their introduction in 2005 a classification is pursued. Past work shows remarkable uniformity between the Lie algebras associated to different reduction groups. That is, many Automorphic Lie Algebras with nonisomorphic reduction groups are isomorphic. In this thesis we set out to find the origin of these observations by searching for properties that are independent of the reduction group, called invariants of Automorphic Lie Algebras. Several invariants are obtained and used to set up a structure theory for Automorphic Lie Algebras. This naturally leads to a cohomology theory for root systems. A first exploration of this structure theory narrows down the search for Automorphic Lie Algebras significantly. Various particular cases are fully determined by their invariants, including most of the previously studied Automorphic Lie Algebras, thereby providing an explanation for their uniformity. In addition, the structure theory advances the classification project. For example, it clarifies the effect of a change in pole orbit resulting in various new Cartan-Weyl normal form generators for Automorphic Lie Algebras. From a more general perspective, the success of the structure theory and root cohomology in absence of a field promises interesting theoretical developments for Lie algebras over a graded ring.

研究の動機と目的

• 非同型の還元群に対しても驚くべき同型性の均一性を示す、自動形式リー代数における群に依存しない不変量を同定すること。
• 古典的不変量理論および二面体多面体群作用から導かれる不変量に基づく、自動形式リー代数の構造理論を構築すること。
• 極の軌道とカルタン＝ヴァイエル正常形生成子の役割を、不変量に基づく分類によって明確化すること。
• 段階的環上の根系のコホモロジー理論を構築し、自動形式リー代数の構造にインスピレーションを得ること。

提案手法

• 二面体多面体群の作用によるベクトル空間上の不変量を古典的不変量理論を用いて分析し、特に基本形式および対称冪に焦点を当てる。
• フーリエ変換および同次化技術を適用して不変ベクトルを構成し、不変ベクトルの行列式を基本形式の単項式として定義する。
• 自動形式リー代数が1変数多項式環上の自由加群であり、ランクが基底となるリー代数の次元に等しいことを確立する。
• 根系に値をとる $ m $-鎖、コサイクル、コバウンダリーを定義することで、根系のコホモロジー理論を導入し、2-コサイクルからリー代数を構成する。
• 構造理論を用いて、特に二面体群および例外的極の軌道を持つ代数を含む特定のケースを分類し、不変量データを分析する。
• 理論を適用して、以前に研究済みの自動形式リー代数における同型現象を説明し、不変量がその構造を完全に決定することを示す。

実験結果

リサーチクエスチョン

• RQ1 非同型の還元群に対しても不変のまま保たれる自動形式リー代数の不変量は何か。また、その起源は群表現論においてどのように説明されるか。
• RQ2 基本形式を用いて、不変ベクトルの行列式を閉形式の単項式としてどのように表現できるか。
• RQ3 不変量が、カルタン＝ヴァイエル正常形生成子を含む自動形式リー代数の構造をどの程度完全に決定するか。
• RQ4 極の軌道構造の変化が自動形式リー代数の構造に与える影響は何か。この影響は不変量によってどのように捉えられるか。
• RQ5 段階的環上の根系のコホモロジー理論を構築できるか。また、その理論は自動形式リー代数の分類とどのように関係するか。

主な発見

• 自動形式リー代数は1変数多項式環上の自由加群であり、生成子の数は基底となるリー代数の次元に等しく、これは不変量である。
• 不変ベクトルの行列式は基本形式の単項式として表現され、単純かつ明示的な不変量の公式を提供する。
• 不変量に基づく構造理論は、二面体対称性や例外的極の軌道を持つものを含む、これまでに研究済みの大多数の自動形式リー代数を完全に決定する。
• $ m $-鎖および $ m $-コサイクルを用いて定義される根系のコホモロジー理論は、自動形式リー代数の分類およびその同型類の理解のための枠組みを提供する。
• 理論により観察された均一性が説明される：非同型の還元群であっても、同じ不変量を持つため、自動形式リー代数が同型となる。
• 極の軌道構造の変化がカルタン＝ヴァイエル正常形生成子に与える影響が示され、その影響は不変量に基づく構造理論によって体系的に捉えられる。