[論文レビュー] Completions of symplectic reflection algebras

Ivan Losev|arXiv (Cornell University)|Jan 1, 2010

Algebraic structures and combinatorial models参考文献 22被引用数 8

ひとこと要約

本稿は、特異的反射代数（SRA）の完備化について、その安定化部分群に関連するより単純な代数に帰着させることで構造的還元を確立する。これにより、両側イデアルおよびハリシュ・チャンドラ両側加群の分類が可能になる。主な結果として、型Aの有理チャレルニク代数における両側イデアルの完全な分類が得られ、それらは包含関係において完全に順序付けられており、整数1からnまででインデックスが付与されたイデアルの鎖に対応する。

ABSTRACT

In this paper we study the structure of completions of symplectic reflection algebras. Our results provides a reduction to smaller algebras. We apply this reduction to the study of two-sided ideals and Harish-Chandra bimodules.

研究の動機と目的

• 群の軌道における特異的反射代数（SRA）の完備化の構造を理解すること。
• SRAにおける両側イデアルおよびハリシュ・チャンドラ両側加群の研究を、より小さい、取り扱いやすい代数に還元すること。
• 型Aの有理チャレルニク代数における両側イデアルを分類すること、これはSRAの重要なクラスである。
• ベズルクアニクニコフとエティンフォフの研究と関連して、SRAにおけるハリシュ・チャンドラ両側加群に関する既存の定義と結果を統合・強化すること。
• 誘導および対称性の議論を用いて、SRAのテンソル積における素イデアルと関連多様体の間の対応を確立すること。

提案手法

• 点 b ∈ V* におけるSRAの完備化を、その安定化部分群Γbに関連するより単純な代数に結びつける。
• Γbに含まれる特異的反射に制限されたシンプレクティック形式を含む関係によって、群作用を施したテンソル代数を剰余類で割ることで、縮約代数H̲を定義する。
• 還元定理を適用し、SRAの完備化が縮約代数と行列代数の完備テンソル積に同型であることを示す。
• 有理チャレルニク代数H1,cにおけるSj-安定イデアルの分類のために、SRAのテンソル積におけるコピー数に関する帰納法を用いる。
• 任意のSj-安定イデアルの根基が一意にJp(j)として与えられ、かつJp(j)² = Jp(j)であるという事実を活用し、イデアルが完全に順序付けられていることを示す。
• イデアルと関連多様体の対応関係、およびJ† = J′†ならばJ = J′であるという性質を用いて、分類の一意性と完全性を証明する。

実験結果

リサーチクエスチョン

• RQ1 点における特異的反射代数の完備化は、どのようにより単純な成分に分解できるか？
• RQ2 型Aの有理チャレルニク代数における両側イデアルの構造は何か？そして、それらは完全に分類可能か？
• RQ3 SRAにおけるハリシュ・チャンドラ両側加群は、関連多様体の幾何学およびシンプレクティック葉とどのように関係するか？
• RQ4 完備化技術を用いて、有理チャレルニク代数におけるハリシュ・チャンドラ両側加群の定義を一般SRAにおける定義と整合させることは可能か？
• RQ5 対称的反射の集合への群作用が、SRAのテンソル積におけるイデアルの分類において果たす役割は何か？

主な発見

• 点b ∈ V* における特異的反射代数の完備化は、縮約代数H̲と行列代数の完備テンソル積に同型であり、構造的還元を提供する。
• 型Aの有理チャレルニク代数における両側イデアルは完全に順序付けられている：J1 ⊃ J2 ⊃ … ⊃ Jn であり、すべてのpについてJp² = Jpが成り立つ。
• 鎖に含まれる各イデアルJpは、関連多様体内の一意なシンプレクティック葉に対応し、任意のSj-安定イデアルの根基はJp(j)のうちの一つである。
• イデアルの分類は完全である：型Aの有理チャレルニク代数における任意の両側イデアルは、あるJpに等しい。
• イデアルJpとJqの積はJmax(p,q)に等しくなるため、乗法に関して完全に順序付けられたモノイドをなす。
• [BEG2]におけるハリシュ・チャンドラ両側加群の定義は、本稿で用いられている定義と一致しており、SRAにおけるこのような加群の枠組みが正当化される。