[論文レビュー] Quasiinvariants of Coxeter groups and m-harmonic polynomials

Misha Feigin, А. П. Веселов|ArXiv.org|May 11, 2001

Algebraic structures and combinatorial models被引用数 12

ひとこと要約

本稿は、$m$-調和多項式とコックスター群の準不変式の間に深い関係を確立する。具体的には、$m$-調和多項式の空間$H_m$が、$m$-準不変式の環$Q_m$とその$G$-不変多項式によって生成されるイデアル$I_m$の商環$Q_m/I_m$に同型であることを示す。主な結果は、$\tilde{L}_q(w_m)$によって定義される写像$\pi_m: Q_m \to H_m$が、$Q_m/I_m \to H_m$に同型を誘導することであり、これにより$Q_m$が$S^G$上自由な$H_m$を生成元とするモジュールであることが示され、二面体群に対する$Q_m$の構造に関する予想が裏付けられる。

ABSTRACT

The space of m-harmonic polynomials related to a Coxeter group G and a multiplicity function m on its root system is defined as the joint kernel of the properly gauged invariant integrals of the corresponding generalised quantum Calogero-Moser problem. The relation between this space and the ring of all quantum integrals of this system (which is isomorphic to the ring of corresponding quasiinvariants) is investigated.

研究の動機と目的

• コックスター群$G$と重み関数$m$に関連する$m$-準不変式の環$Q_m$の代数的構造を明確化すること。
• 空間$H_m$（$m$-調和多項式）と準不変式の環$Q_m$との関係を調査すること。
• $Q_m$から$H_m$への写像$\pi_m: Q_m \to H_m$が、ゲージ化された微分作用素を介して定義され、$Q_m/I_m \cong H_m$を誘導することを証明すること。ここで$I_m$は$G$-不変多項式によって生成されるイデアルである。
• $Q_m$が$S^G$上自由なモジュールであり、$H_m$の基底によって生成されることを確立し、$Q_m$のコhen-Macaulay性に関する予想を確認すること。
• 可積分系と根系の文脈において、$m$-調和多項式の表現論的および幾何的構造を理解するための枠組みを提供すること。

提案手法

• $m$-調和多項式$H_m$を、基本不変式$\sigma_1, \dots, \sigma_n$に関連するゲージ化されたカラジョロ＝モーザー作用素$\tilde{L}_1, \dots, \tilde{L}_n$の共通核として定義する。
• $w_m = \prod_{\alpha \in A} (\alpha, x)^{2m_\alpha + 1}$を$m$-判別式として定義し、写像$\pi_m: Q_m \to H_m$を$\pi_m(q) = \tilde{L}_q(w_m)$によって構成する。
• $\tilde{L}_q$が$\tilde{L}_i$と可換であることから、任意の$q \in Q_m$に対して$\pi_m(q) \in H_m$であることを示す。
• $\pi_m$の核に$S^G$によって生成されるイデアル$I_m$が含まれることを示し、次数の議論と双一次形式の非退化性を用いて、二面体群では$\ker \pi_m = I_m$であることを証明する。
• $H_m$上の双一次形式$\langle q, q' \rangle = \tilde{L}_q(w_m)$の非退化性を直接計算により示し、$\pi_m|_{H_m}$が単射であること、従って同型であることを証明する。
• $Q_m/I_m \cong H_m$の同型を活用して、$Q_m$が$H_m$の任意の基底によって生成される$S^G$-自由モジュールであることを導出し、予想されたコhen-Macaulay構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 写像$\pi_m: Q_m \to H_m$の核は、$G$-不変多項式によって生成されるイデアル$I_m$に等しいか？
• RQ2 $\pi_m|_{H_m}: H_m \to H_m$はすべてのコックスター群に対して同型か？
• RQ3 $m$-準不変式の環$Q_m$は、不変環$S^G$上自由なモジュールか？
• RQ4 空間$H_m$（$m$-調和多項式）は、ゲージ化された微分作用素の作用による$Q_m$の像として特徴付けられるか？
• RQ5 同型$Q_m/I_m \cong H_m$によって誘導される$H_m$の乗法的構造は何か？

主な発見

• 二面体群では、写像$\pi_m: Q_m \to H_m$の核が、$G$-不変多項式によって生成されるイデアル$I_m$に正確に一致する。これにより、予想1が証明された。
• $\pi_m|_{H_m}: H_m \to H_m$は二面体群に対して同型である。これにより、予想2が確認された。
• $H_m$上の双一次形式$\langle q, q' \rangle = \tilde{L}_q(w_m)$は非退化的であり、$\pi_m|_{H_m}$が単射であること、従って同型であることを示唆する。
• $m$-調和多項式の空間$H_m$は、商環$Q_m/I_m$に同型である。これにより、準不変式と調和多項式の間の構造的関係が確立された。
• $Q_m$は、$H_m$の任意の基底によって生成される$S^G$上自由なモジュールである。これにより、$Q_m$がコhen-Macaulay環であることが確認された。
• $m$-判別式$w_m = \prod_{\alpha \in A} (\alpha, x)^{2m_\alpha + 1}$は、$m$-準不変式であり、$m$-調和多項式でもある。この対象は、$\pi_m$の構成において重要な役割を果たす。