[論文レビュー] Quasi-invariants and quantum integrals of the deformed Calogero--Moser systems

Misha Feigin, А. П. Веселов|ArXiv.org|Mar 10, 2003

Algebraic structures and combinatorial models参考文献 9被引用数 7

ひとこと要約

本稿は、非コックスター型配置 $Δ_n(m)$ および $Δ_{n+1}(m,l)$ に付随する変形カロジェロ＝モーザー系の量子積分の環について調査し、エティンコフ＝ジンツブルグ法の拡張を用いて、これらが特定の多項式部分代数上での有限生成かつ自由加群（コーエン＝マカウレイ性）であることを証明する。2次元の場合には、明示的なポincare系列および変形$m$-調和多項式が計算され、構造的性質およびゴレンスタイン対称性が明らかになる。

ABSTRACT

The rings of quantum integrals of the generalized Calogero-Moser systems related to the deformed root systems ${\cal A}_n(m)$ and ${\cal C}_n(m,l)$ with integer multiplicities and corresponding algebras of quasi-invariants are investigated. In particular, it is shown that these algebras are finitely generated and free as the modules over certain polynomial subalgebras (Cohen-Macaulay property). The proof follows the scheme proposed by Etingof and Ginzburg in the Coxeter case. For two-dimensional systems the corresponding Poincare series and the deformed $m$-harmonic polynomials are explicitly computed.

研究の動機と目的

• 整数重みを有する変形カロジェロ＝モーザー系の量子積分の代数的構造を調査すること。
• コックスター系に適用されたエティンコフ＝ジンツブルグの手法を、非コックスター型配置 $\mathcal{A}_n(m)$ および $\mathcal{C}_{n+1}(m,l)$ に拡張すること。
• これらの系の準不変環が、多項式部分代数上での有限生成かつ自由加群（コーエン＝マカウレイ性）であることを証明すること。
• 2次元の場合に、ポincare系列および変形$m$-調和多項式を明示的に計算すること。

提案手法

• コーエン＝マカウレイ性の証明に用いられるエティンコフ＝ジンツブルグの枠組みを、非コックスター型の変形ルート系に適応すること。
• 多項式部分代数 $P^\mathcal{A} \subset Q^\mathcal{A}$ を定義し、$Q^\mathcal{A}$ が $P^\mathcal{A}$ 上で自由加群であることを確立すること。
• 径方向ゲージ変換を用いて、量子カロジェロ＝モーザーハミルトニアンを簡略化し、そのスペクトル的性質を分析すること。
• 変形ニュートン和の構造を用いて、2次元における $\mathcal{A}_n(m)$ および $\mathcal{C}_{n+1}(m,l)$ のポincare系列を明示的に計算すること。
• 量子積分から導かれる微分作用素系の解として、変形$m$-調和多項式を定義すること。
• 双対性および同次性の議論を用いて、変形$m$-調和多項式の次数と準不変環の生成元の次数を関連付けること。

実験結果

リサーチクエスチョン

• RQ1 変形 $\mathcal{A}_n(m)$ および $\mathcal{C}_{n+1}(m,l)$ 系の準不変環は、ある多項式部分代数上での有限生成かつ自由加群であるか？
• RQ2 2次元の $\mathcal{A}_2(m)$ および $\mathcal{C}_2(m,l)$ 場合における準不変環のポincare系列の構造はいかなるものか？
• RQ3 変形$m$-調和多項式は、古典的チェバレー＝シュタインバーグ構成に類似した自由生成元として機能するか？
• RQ4 変形$m$-調和多項式の次数は、準不変環の加群生成元の次数とどのように関係しているか？
• RQ5 非自明な場合に、変形$m$-調和多項式が準不変環を生成しない程度はどの程度か？

主な発見

• $\mathcal{A}_n(m)$ および $\mathcal{C}_{n+1}(m,l)$ の準不変環が、特定の多項式部分代数上での有限生成かつ自由加群であることが示され、コーエン＝マカウレイ性が確認された。
• $\mathcal{A}_n(m)$ の場合、ポincare系列は $P^\mathcal{A} = 1 + t^{n+2} + t^{n+3} + \dots + t^{2n+1}$ であり、$\mathcal{C}_{n+1}(m,l)$ の場合、$P^\mathcal{C} = 1 + t^{2(n+2)} + t^{2(n+3)} + \dots + t^{2(2n+1)}$ である。
• $\mathcal{A}_2(m)$ の場合、変形$m$-調和多項式が明示的に計算され、次数 $0, 4, 5, 2m+2, 2m+3, 2m+7$ の6つの同次解が得られ、これらは加群生成元の次数と一致した。
• $m=2$ の場合、多項式 $q_3 = x^4y - \frac{1}{5}(2m-3)(2m+1)y^5$ が $p_1$ と $p_2$ によって生成されるイデアルに属することを示し、変形$m$-調和多項式がこの場合に自由基底をなさないことが示された。
• $\mathcal{A}_n(m)$ および $\mathcal{C}_{n+1}(m,l)$ の準不変環は、2次元の場合にゴレンスタインであることが証明された。
• 変形$m$-調和多項式の次数は、多項式部分代数上での準不変環の同次生成元の次数と一致し、構造的双対性が確認された。