[論文レビュー] Towards a combinatorial representation theory for the rational Cherednik algebra of type G(r,p,n)

Stephen Griffeth|ArXiv.org|Dec 23, 2006

Algebraic structures and combinatorial models参考文献 21被引用数 14

ひとこと要約

本稿は、有理チェレドニク代数 $G(r,p,n)$ の型に対して、相互作用作用素と直交関数を用いて組合せ的表現論を構築し、$r > 1$ の場合に制限なく $G(r,p,n)$ の対角コインヴァリエント環に関するハイマンの予想（ゴードンの定理）を自己完結的に証明する。主な貢献は、カテゴリ $\mathcal{O}$ の文脈において、モジュール論的および組合せ的技法を用いて、対角コインヴァリエント環のヒルベルト系列の公式に対する新しい、初等的な証明を提供することにある。

ABSTRACT

The goal of this paper is to lay the foundations for a combinatorial study, via orthogonal functions and intertwining operators, of category O for the rational Cherednik algebra of type G(r,p,n). As a first application, we give a self-contained and elementary proof of the analog for the groups G(r,p,n), with r>1, of Gordon's theorem (previously Haiman's conjecture) on the diagonal coinvariant ring. We impose no restriction on p; the result for p

研究の動機と目的

• 有理チェレドニク代数 $G(r,p,n)$ の型に対する組合せ的枠組みを、相互作用作用素と直交関数を用いて構築すること。
• $r > 1$ の場合に制限なく、すべての $p$ に対して、対角コインヴァリエント環に関するゴードンの定理の類似の自己完結的で初等的な証明を提供すること。
• 標準的モジュール $M(V)$ 及びその既約商 $L(V)$ に対する正規基底を構成し、モジュール格子のより深い組合せ的解析を可能にすること。
• 標準的モジュール $M(\mathbf{1})$ のラジカルが特定の単項式によって生成されることを確認し、それが対角コインヴァリエント環と同型な商へと導くこと。

提案手法

• 有理チェレドニク代数 $\mathbb{H}$ の型 $G(r,p,n)$ に対する相互作用作用素を導入・分析し、その基本的な代数的関係を導出する。
• $G(r,p,n)$ の多項式表現の基底を構成し、その基底上で相互作用作用素の作用を計算する。
• ドリンフェルト・ヘッケ代数の形式的記法を用いて、$\mathbb{H}$ を、$V = \mathfrak{h}^* \oplus \mathfrak{h}$ 上の反対称形式 $\langle\cdot,\cdot\rangle_w$ を含む関係式によって定義する。
• $\mathbb{H}$ のダンクル＝オプダム可換部分代数を用いて、多項式表現の構造およびその部分モジュールを解析する。
• ピカード＝バーキンフォート＝ワイトの定理を用いて、$\mathbb{H}$-モジュールにフィルトレーションおよび関連する次数付き構造を確立し、次数付きモジュール論の適用を可能にする。
• 単項式 $f_{i,j}$ および $v_j$ の行列の行列式の公式を用いて、$W$-モジュール $V$ の指数を計算し、コインヴァリエント環のヒルベルト系列に到達する。

実験結果

リサーチクエスチョン

• RQ1 有理チェレドニク代数 $G(r,p,n)$ の型に対して、相互作用作用素と直交関数を用いた組合せ的表現論を構築することは可能か？
• RQ2 $G(r,p,n)$ の対角コインヴァリエント環のヒルベルト系列は、ハイマンの予想が予測する公式と一致するか？ また、KZファンクターまたはDAHAを用いずにこの公式を証明できるか？
• RQ3 $G(r,p,n)$ の多項式表現の部分モジュール構造、特に $M(\mathbf{1})$ のラジカルはいかなる構造を持つのか？
• RQ4 パrameter値の特定の条件下で、$\mathbb{H}$-モジュール $L(\mathbf{1})$ が $0 \to M(\Lambda^n V) \to \cdots \to M(\mathbf{1}) \to L(\mathbf{1}) \to 0$ の形のBGG分解を持つことを示せるか？

主な発見

• 標準的モジュール $M(\mathbf{1})$ のラジカルは、$W$-モジュール $\mathbb{C}\{f_{\mu_1}, \dots, f_{\mu_n}\}$ によって生成され、これは $V = \mathbb{C}\{x_1^{h+1}, \dots, x_n^{h+1}\}$ と同型である。
• 行が $f_{i,j}$ および $v_j$ である行列 $A$ の行列式は、$(-1)^n (x_1 \cdots x_n)^{m'} \prod_{1\leq i<j\leq n} (x_i^r - x_j^r)$ に等しく、コインヴァリエント環の正しい次数および構造が確認される。
• $W$-モジュール $V$ の指数は、$p > 1$ のとき $e_i(V) = \overline{m} + (i-1)r$ ($1 \leq i \leq n-1$) および $e_n(V) = (n-1)(r - \overline{m}) + n m'$ であり、$p=1$ のときは $e_i(V) = \overline{m} + (i-1)r$ である。
• 対角コインヴァリエント環 $R$ のヒルベルト系列は、$\sum \text{tr}(w, (L \otimes \Lambda^n V)_i) t^i = \frac{\det(1 - t^{h+1} w_V)}{\det(1 - t w_{\mathfrak{h}^*})}$ で与えられ、ゴードンの定理の公式が確認される。
• 商 $L$ における $S(\mathfrak{h}^*)$ の像は、通常のコインヴァリエント環と同型であり、古典的結果と整合性があることが示される。