[論文レビュー] Dirac cohomology for symplectic reflection algebras

Dan Ciubotaru|arXiv (Cornell University)|Feb 19, 2015

Advanced Algebra and Geometry参考文献 17被引用数 3

ひとこと要約

この論文は、ドリンフェルトのヘッケ代数におけるディラク作用素およびディラックコホモロジーの均一な枠組みを導入し、重み付きアフィンヘッケ代数における先行研究を一般化する。この枠組みをシミプレクティック反射代数、特に有理チャレドニク代数に適用し、カルゴロ・モーザー空間の0ファイバーが中心的文字への写像を通じて不可約表現の像と一致するディラック準同型を確立し、これによりルシュチツィグ＝ルーカー族と関連付ける。

ABSTRACT

We define uniformly the notions of Dirac operators and Dirac cohomology in the framework of the Hecke algebras introduced by Drinfeld. We generalize in this way the Dirac cohomology theory for Lusztig's graded affine Hecke algebras. We apply these constructions to the case of symplectic reflection algebras defined by Etingof-Ginzburg, particularly to rational Cherednik algebras for real or complex reflection groups with parameters t,c. As applications, we give criteria for unitarity of modules in category O and we show that the 0-fiber of the Calogero-Moser space admits a description in terms of a certain "Dirac morphism" originally defined by Vogan for representations of real semisimple Lie groups.

研究の動機と目的

• 重み付きアフィンヘッケ代数からドリンフェルトのヘッケ代数へのディラックコホモロジー理論の一般化。
• 基礎となるベクトル空間上の非退化なW-不変対称双一次形式を仮定するだけでよい、この一般化された設定におけるディラック作用素およびディラックコホモロジーの均一な構成の確立。
• 理論をシミプレクティック反射代数、特に実および複素反射群の有理チャレドニク代数に適用すること。
• カテゴリ $\mathcal{O}$ 内のモジュールのユニタリティの基準を提示し、以前の非ユニタリティに関する結果を精緻化すること。
• 一般化されたカルゴロ・モーザー空間の0ファイバーがディラック準同型の像として現れ、これによりルシュチツィグ＝ルーカー族のような表現論的分割と関連することを示すこと。

提案手法

• ベクトル空間 $V$ 上のW-不変対称双一次形式を用いて、ドリンフェルトのヘッケ代数 $\mathbf{H}_{\mathbf{a}}$ とクリフォード代数 $C(V)$ のテンソル積上にディラック作用素 $\mathcal{D}$ を定義する。
• 表現論における古典的ディラック作用素の二乗に関する公式を一般化した $\mathcal{D}^2$ の公式を証明する。
• ディラックコホモロジーにおけるボーガンの予想の類似を確立し、非ゼロのディラックコホモロジーがモジュールの無限小特性を決定することを示す。
• ディラック準同型 $\zeta_c^*: \mathrm{Irr}(W) \to \Upsilon^{-1}(0)$ を構成する。ここで $\Upsilon^{-1}(0)$ は一般化されたカルゴロ・モーザー空間の0ファイバーである。
• ディラック準同型を用いて、$\mathbf{H}_{0,c}$ 内の中心的文字による $\mathrm{Irr}(W)$ の分割をルシュチツィグ＝ルーカー族と関連付ける。
• ベイビ・ベルマモジュール $\bar{M}(\sigma)$ に理論を適用し、$\bar{L}(\sigma)$ のディラックコホモロジーが $\sigma$ が $\zeta_c^*$ によって写される像を検出できることを示す。

実験結果

リサーチクエスチョン

• RQ1 ドリンフェルトのヘッケ代数に対して、重み付きアフィンヘッケ代数から拡張されたディラックコホモロジーをどのように均一に定義できるか？
• RQ2 この一般化された設定におけるディラック作用素の二乗 $\mathcal{D}^2$ の構造は何か？
• RQ3 ディラック準同型 $\zeta_c^*$ は、$W$ の表現論とカルゴロ・モーザー空間の幾何学とどのように関係するか？
• RQ4 ディラックコホモロジーは、有理チャレドニク代数のカテゴリ $\mathcal{O}$ におけるユニタリティを検出できるか？
• RQ5 ディラック準同型 $\zeta_c^*$ は、カルゴロ・モーザー空間の $\mathrm{Irr}(W)$ の分割をルシュチツィグ＝ルーカー族と一致させるか？

主な発見

• ディラック作用素 $\mathcal{D}$ は、ドリンフェルトのヘッケ代数の枠組みにおいて、一般化された二乗公式 $\mathcal{D}^2 = \text{カシミアに類似した項} + \text{中心的元}$ を満たす。
• ボーガンの予想の類似が成り立つ：非ゼロのディラックコホモロジーはモジュールの無限小特性を決定する。
• 一般化されたカルゴロ・モーザー空間の0ファイバー $\Upsilon^{-1}(0)$ は、ディラック準同型 $\zeta_c^*: \mathrm{Irr}(W) \to \Upsilon^{-1}(0)$ の像と同型であり、中心的文字写像の幾何的実現を提供する。
• 命題5.10で示されるように、準同型 $\zeta_c^*$ は中心的文字写像 $\Theta: \mathrm{Irr}(W) \to \Upsilon^{-1}(0)$ の $\varepsilon$-双対である。
• 定数パラメータ $c$ を持つワイル群 $B_2$ に対して、表現 $11\times 0$、$1\times 1$、$0\times 2$ は $\Theta$ の同じファイバーに属しており、これによりルシュチツィグ族を形成することが確認された。
• $B_2$ における $\sigma = 11\times 0$ の単純モジュール $\bar{L}(\sigma)$ のディラックコホモロジーは $\sigma \otimes \bigwedge \mathfrak{h} = (11\times 0) + (1\times 1) + (0\times 2)$ に一致し、ディラック準同型の非自明な像が確認された。