[論文レビュー] Lectures on Calogero-Moser systems

Pavel Etingof|arXiv (Cornell University)|Jun 9, 2006

Algebraic structures and combinatorial models参考文献 44被引用数 27

ひとこと要約

本稿はハミルトニアンおよび量子還元を用いて、Calogero-Moser系について包括的な紹介を提供し、表現論、代数幾何学、変形論と結びつける。有理的チャレドニク代数の球的部分代数がCalogero-Moser空間の座標環に同型であることを確立し、$ d = 1 $ の場合にモジュール $ V_k = M_k / I_k $ が有限次元的、完全可約的であり、特定の特徴式を持つBGG型の分解を有することを証明する。

ABSTRACT

These are lecture notes of a course on Calogero-Moser systems and their connections with representation theory and geometry, given by the author in Zurich in May-June 2005.

研究の動機と目的

• 非専門家向けに、ポisson幾何学、可積分系、表現論の概念を統合したCalogero-Moser系の自己完結的紹介を提供すること。
• 量子ハミルトニアン還元を介して、量子Calogero-Moser系と有理的チャレドニク代数との関係を確立すること。
• モジュールの台とGelfand-Kirillov次元を用いて、A型有理的チャレドニク代数の有限次元表現を特徴付けること。
• 変形論的およびホモロジー論的技法を用いて、プランク定数がゼロのとき、有理的チャレドニク代数の球的部分代数が可換であることを証明すること。
• 留数論的技法と対称性の性質を用いて、A型有理的チャレドニク代数の完全可約有限次元表現の特徴式を導出すること。

提案手法

• リー代数の双対空間における共軛軌道から、古典的および量子ハミルトニアン還元を用いてCalogero-Moser系を構成する。
• モーメント写像とシンプレクティック還元の技法を適用し、Calogero-Moser空間を余接束の群作用による商として定義する。
• 変形論とホッホシュタインコhomologyを用いて、Poisson構造の量子化を研究し、Kontsevichの量子化定理に至る。
• Dunkl作用素を導入して、対称群を超える有限コクセター群へのCalogero-Moser系の一般化を可能にし、可積分系の構成を可能にする。
• Dunkl作用素表現を用いて、有理的チャレドニク代数のPoincaré-Birkhoff-Witt定理を証明し、その球的部分代数を分析する。
• Cohen-Macaulay性やホモロジー次元といったホモロジー代数的道具を用いて、シンプレクティック反射代数の中心およびそのAzumaya点を研究する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン還元および量子還元を用いて、古典的および量子Calogero-Moser系を体系的に構成する方法は何か？
• RQ2 有理的チャレドニク代数の球的部分代数とCalogero-Moser空間の座標環との正確な関係は何か？
• RQ3 モジュール $ V_k = M_k / I_k $ が有限次元的となる条件は何か？パrameter $ r $ と $ n $ に対してその特徴式は？
• RQ4 Gelfand-Kirillov次元 $ \text{GK}(V_k) $ と最大公約数 $ d = \text{gcd}(r,n) $ の関係は？
• RQ5 プランク定数がゼロのとき、シンプレクティック反射代数の中心のスペクトルの幾何的構造は？

主な発見

• 有理的チャレドニク代数の球的部分代数がCalogero-Moser空間の座標環に同型であることを示し、表現論と代数幾何学との深い結びつきを確立する。
• $ d = \text{gcd}(r,n) = 1 $ のとき、モジュール $ V_k = M_k / I_k $ は有限次元的かつ完全可約的であり、$ \bbC^n / \triangle $ 内の原点に台を持つことから、有限次元的であることが示される。
• 完全可約有限次元表現 $ V_k $ の特徴式は $ \frac{\text{det}|_{\frak{h}}(1 - g t^r)}{\text{det}|_{\frak{h}}(1 - g t)} \times t^{(1-r)(n-1)/2} $ で与えられ、Berest, Etingof, および Ginzburgの予想を裏付ける。
• モジュール $ V_k $ のGelfand-Kirillov次元は $ d - 1 $ であり、$ d = \text{gcd}(r,n) $ である。また、$ V_k $ の台は、変数が $ d $ 個の等しいブロックに分割される部分空間の $ S_n $-軌道の和集合である。
• シンプレクティック反射代数の中心 $ Z $ のスペクトル $ \text{Spec}(Z) $ は、代数がAzumayaである点で滑らかであり、プランク定数がゼロのとき、この点集合はCalogero-Moser空間に対応する。
• $ G = S_n $ のとき、有理的チャレドニク代数のA型でプランク定数がゼロのすべての完全可約表現の次元は $ n! $ であり、Calogero-Moser空間によってパrameter化される。