[論文レビュー] Lectures on quasi-invariants of Coxeter groups and the Cherednik algebra

Pavel Etingof, Elisabetta Strickland|ArXiv.org|Apr 9, 2002

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

ひとこと要約

この論文は、有限コックスター群の準不変量の理論について、理解しやすい入門を提供し、それらを有理的チェレドニク代数と可積分系に関連付ける。環 $ Q_m $ がコhen-Macaulay かつゴレンシュタインであること、そして $ \mathbb{C}[\mathfrak{h}]^W $ 上で自由であること、を示す。これはチェレドニク代数の表現論と特異多様体 $ X_m $ 上の微分作用素を用いて証明される。主な貢献は、$ Q_m $ に一意な $ eH_m e $-加群構造を構成することであり、これにより深い幾何的・代数的性質が得られる。

ABSTRACT

The paper an elementary introduction for non-specialists to the theory of quasi-invariants of Coxeter groups. The main object of study is the variety X_m of quasi-invariants for a finite Coxeter group, which arose in a work of O.Chalykh and A.Veselov about 10 years ago, as the spectral variety of the quantum Calogero-Moser system. Despite being singular, this variety has very nice properties (Cohen-Macaulay, Gorenstein, simplicity of the ring of differential operators, explicitly given Hilbert series). It is interesting that although the definition of X_m is completely elementary, to understand the geometry of X_m it is helpful to use representation theory of the rational degeneration of Cherednik's double affine Hecke algebra, and the theory of integrable systems.

研究の動機と目的

• 非専門家を対象として、有限コックスター群の準不変量理論への自己完結的で初等的な入門を提供すること。
• 環 $ m $-準不変量のスペクトルである多様体 $ X_m $ の基礎的幾何的性質を確立すること、特にコhen-Macaulay 性とゴレンシュタイン性を含む。
• 表現論と微分作用素を介して、$ Q_m $ の代数的構造を有理的チェレドニク代数と可積分系に結びつけること。
• チェレドニク代数の作用と $ \mathcal{O} $-カテゴリの技法を用いて、$ Q_m $ が $ \mathbb{C}[\mathfrak{h}]^W $ 上で自由であることを証明すること。

提案手法

• 各反射 $ s \in \Sigma $ に対して $ q(x) - q(sx) $ が $ \alpha_s(x)^{2m_s+1} $ で割り切れるような多項式 $ q \in \mathbb{C}[\mathfrak{h}] $ を $ m $-準不変量と定義する。
• ベイカー＝アキエーゼル関数と可積分系を用いて、量子カロゲロ＝モーザー系のスペクトル多様体として準不変量が自然に現れる動機を提示する。
• 有理的チェレドニク代数 $ H_c $ の理論を発展させ、特に部分代数 $ eH_c e $ に注目し、$ \mathbb{C}[\mathfrak{h}]^W $ 上への作用を検討する。
• $ \mathbb{C}[\mathfrak{h}]^W $ が乗法で作用し、$ \mathbb{C}[\mathfrak{h}^*]^W $ が微分作用素 $ L_q $ で作用するように、$ Q_m $ に一意な $ eH_m e $-表現を構成する。
• 一般の $ c $ に対して $ H_c $ が単純であることと $ \mathcal{O} $-カテゴリ理論を応用し、$ Q_m $ が $ eM(0,\tau) $ のモジュールの直和として分解されることを示し、したがって $ \mathbb{C}[\mathfrak{h}]^W $ 上で自由であることを結論づける。
• 任意の非ゼロ両側イデアルが $ Q_m $ と交わることを示し、したがって 1 を含むことを証明することで、多様体 $ X_m $ 上の微分作用素環 $ \mathcal{D}(X_m) $ が単純であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 準不変量は、特に量子カロゲロ＝モーザー系において、どのように自然に生じるのか？
• RQ2 特異多様体 $ X_m $、すなわち $ m $-準不変量環のスペクトルの幾何的・代数的性質は何か？
• RQ3 有理的チェレドニク代数 $ H_c $ は環 $ Q_m $ にどのように作用し、どのような構造を誘導するのか？
• RQ4 $ Q_m $ がなぜ $ \mathbb{C}[\mathfrak{h}]^W $ 上で自由なのか、そしてこれは $ eH_m e $ の表現論からどのように導かれるのか？
• RQ5 部分代数 $ \mathbb{C}[\mathfrak{h}^*]^W $ は $ Q_m $ の構造において果たす役割は何か？微分作用素とはどのように関係するのか？

主な発見

• 環 $ m $-準不変量 $ Q_m $ は $ \mathbb{C}[\mathfrak{h}]^W $-代数として有限生成であり、$ \mathbb{C}[\mathfrak{h}] $-加群としても有限である。
• 多様体 $ X_m = \mathrm{Spec}(Q_m) $ は特異的であるが、コhen-Macaulay かつゴレンシュタインである。
• 微分作用素環 $ \mathcal{D}(X_m) $ は単純である。なぜなら、任意の非ゼロ両側イデアルは $ Q_m $ と交わり、したがって 1 を含むからである。
• 環 $ Q_m $ は $ \mathbb{C}[\mathfrak{h}]^W $ 上で自由であり、$ W $-表現 $ \tau $ の各既約表現に対応する $ eM(0,\tau) $ モジュールへの分解によって与えられる基底を持つ。
• 代数 $ eH_m e $ に対して $ Q_m $ に一意な作用が存在し、$ \mathbb{C}[\mathfrak{h}]^W $ は乗法で作用し、$ \mathbb{C}[\mathfrak{h}^*]^W $ は微分作用素 $ L_q $ で作用するように拡張される。
• $ W = \mathbb{Z}/2 $ の場合、$ Q_m $ は $ \mathbb{C}[x^2] \oplus x^{2m+1}\mathbb{C}[x^2] $ に分解され、$ eM(0,\mathbf{1}) \oplus eM(0,\varepsilon) $ に同型であり、自由性と成分の完全可約性が確認される。