[論文レビュー] Double affine Hecke algebras for the spin symmetric group

Weiqiang Wang|arXiv (Cornell University)|Aug 3, 2006

Advanced Algebra and Geometry参考文献 7被引用数 4

ひとこと要約

本稿は、超直交群の二重被覆を用いて構成され、モリタ超同値性によって関連付けられる、スピン対称群のための2つの新しい有理的二重アフィンヘッケ代数（DaHa）：$\ddot{\mathfrak{H}}^{\mathfrak{c}}$ および $\ddot{\mathfrak{H}}^{-}$ を導入する。主な貢献は、超代数同型 $\ddot{\mathfrak{H}}^{\mathfrak{c}} \cong \mathcal{C}_n \otimes \ddot{\mathfrak{H}}^{-}$ の確立であり、これは概念的枠組みを提供し、PBW定理を証明する。これは、類似の同型が成り立つ三角関数的バージョンへと拡張される。

ABSTRACT

We introduce a new class (in two versions) of rational double affine Hecke algebras (DaHa) associated to the spin symmetric group. We establish the basic properties of the algebras, such as PBW and Dunkl representation, and connections to Nazarov's degenerate affine Hecke-Clifford algebra and to a new degenerate affine Hecke algebra introduced here. We formulate a Morita equivalence between the two versions of rational DaHa's. The trigonometric generalization of the above constructions is also formulated and its relation to the rational counterpart is established.

研究の動機と目的

• スピン対称群は反射群ではないため、標準的なヘッケ代数の構成ができないことから、この群に関連する新しい有理的二重アフィンヘッケ代数（DaHa）のクラスを確立すること。
• 反射群でない群に対してDaHaを定義する課題を、超直交群の二重被覆を用いて構築し、モリタ同値性を用いることで解決すること。
• 構成を三角関数的バージョンへと拡張し、有理的および三角関数的対応物の間の明確な代数的同型を確立すること。
• 新しい代数が、古典的DaHaと同様にPBW基底やDunkl作用素実現といった良好な性質を示すことを示すこと。
• スピンヘッケ代数を対称群を超えて一般化するための基盤的枠組みを提供し、表現論および可積分系への広範な応用可能性を示唆すること。

提案手法

• 有理的二重アフィンヘッケ＝クリフォード代数 $\ddot{\mathfrak{H}}^{\mathfrak{c}}$ を、半直積 $\mathcal{C}_n \rtimes \mathbb{C}S_n$ として構成し、PBW基底と三角分解を示す。
• $\ddot{\mathfrak{H}}^{\mathfrak{c}}$ をDunkl作用素を用いて実現し、クリフォード代数生成子を含む通常の有理的DaHa設定を一般化する。
• 有理的スピン二重アフィンヘッケ代数 $\ddot{\mathfrak{H}}^{-}$ を生成子 $y_i$, $\xi_i$, $t_i$ で定義し、$\xi_i$ は反可換で $y_i$ は可換であるとし、そのPBW性質を証明する。
• 超代数同型 $\ddot{\mathfrak{H}}^{\mathfrak{c}} \cong \mathcal{C}_n \otimes \ddot{\mathfrak{H}}^{-}$ を確立し、これによりモリタ超同値性が生じ、$\ddot{\mathfrak{H}}^{-}$ の構造が概念的に説明される。
• 三角関数的バージョン $\ddot{\mathfrak{H}}^{-}_{tr}$ および $\ddot{\mathfrak{H}}^{\mathfrak{c}}_{tr}$ を導入し、指数関数的生成子とねじれた関係を用いて、明示的な同型 $\ddot{\mathfrak{H}}^{\mathfrak{c}}_{tr} \cong \mathcal{C}_n \otimes \ddot{\mathfrak{H}}^{-}_{tr}$ を構成する。
• $\ddot{\mathfrak{H}}^{-}_{tr} \cong \mathbb{C}[\underline{y}^{\pm}] \otimes_{\mathbb{C}[\underline{y}]} \ddot{\mathfrak{H}}^{-}$ を用いて、三角関数的ケースにおけるPBW性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 スピン対称群（反射群でない）に対して、有理的二重アフィンヘッケ代数を意味的に定義することは可能か？
• RQ2 有理的DaHaとそれに伴うクリフォード代数を含む代数との間の構造的関係は何か？
• RQ3 有理的および三角関数的バージョンのスピンDaHaはどのように関係し合い、一様な代数的同型によって接続可能か？
• RQ4 Dunkl作用素実現や表現論的双対性を説明するモリタ型同値性は存在するか？
• RQ5 同様の超代数的技法を用いて、対称群を超える他の群や代数へと一般化可能か？

主な発見

• 有理的スピン二重アフィンヘッケ代数 $\ddot{\mathfrak{H}}^{-}$ は、$\xi_i$ が反可換で $y_i$ が可換である $\mathbb{C}[\xi_1,\ldots,\xi_n] \otimes \mathbb{C}S_n^{-} \otimes \mathbb{C}[y_1,\ldots,y_n]$ と同型なPBW基底を備える。
• 超代数同型 $\ddot{\mathfrak{H}}^{\mathfrak{c}} \cong \mathcal{C}_n \otimes \ddot{\mathfrak{H}}^{-}$ により、モリタ超同値性が確立され、$\ddot{\mathfrak{H}}^{-}$ の構造が概念的に説明される。
• 三角関数的スピンDaHa $\ddot{\mathfrak{H}}^{-}_{tr}$ は、生成子 $e^{\pm \epsilon_i}$, $\zeta_i$, $t_i$ と、ねじれた交換関係および指数関数的作用を含む関係式で定義される。
• $\ddot{\mathfrak{H}}^{-}_{tr}$ においてPBW性質が成り立ち、乗法が $\mathbb{C}[P] \otimes \mathbb{C}S_n^{-} \otimes \mathbb{C}[\zeta_1,\ldots,\zeta_n] \cong \ddot{\mathfrak{H}}^{-}_{tr}$ を与える。
• 明示的な超代数同型 $\Phi^{tr}: \ddot{\mathfrak{H}}^{\mathfrak{c}}_{tr} \cong \mathcal{C}_n \otimes \ddot{\mathfrak{H}}^{-}_{tr}$ が構成され、生成子に対する明示的公式が与えられる。
• 有理的から三角関数的への退化は、単射準同型 $\iota^{-}: \ddot{\mathfrak{H}}^{-} \to \ddot{\mathfrak{H}}^{-}_{tr}$ およびその逆写像 $j^{-}$ を通じて実現され、有理的および三角関数的設定の整合性が確認される。