[論文レビュー] Centers of degenerate cyclotomic Hecke algebras and parabolic category O

Jonathan Brundan|ArXiv.org|Jul 27, 2006

Algebraic structures and combinatorial models参考文献 23被引用数 13

ひとこと要約

この論文は、複素反射群 $B_d(l)$ に関連する退化型クーロン型ヘッケ代数の中心が、その可換な生成子における対称多項式であることを証明しており、これによりそのブロックの完全分類が得られる。この結果を応用して、$\\mathfrak{gl}_n(\mathbb{C})$ の放物型カテゴリ $\\mathcal{O}$ の任意の整数的ブロックの中心が、普遍包あくり代数 $U(\mathfrak{gl}_n)$ の中心によって生成されることを示し、表現論における重要な構造的問題を解決する。

ABSTRACT

We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.

研究の動機と目的

• 複素反射群 $B_d(l)$ に関連する退化型クーロン型ヘッケ代数の中心の構造を特定すること。
• 中心の構造を用いて、これらの代数のブロックを分類すること。
• 放物型カテゴリ $\\mathcal{O}$ の $\\mathfrak{gl}_n(\mathbb{C})$ の中心とその普遍包あくり代数の中心との間の関係を確立すること。
• カフォノフのカテゴリフィケーションに関する予想に関する結果の表現論的基盤を提供すること。

提案手法

• 退化型アフィンヘッケ代数 $H_d$ の中心が、ジュチス＝ミューリャ要素における対称多項式として既知の構造を用いる。
• $f$ を次数 $l$ の首項多項式とするとき、$f(x_1)$ で生成される両側イデアルで $H_d$ を商することで、退化型クーロン型ヘッケ代数 $H_d^f$ を定義する。
• 自然な全射 $H_d \twoheadrightarrow H_d^f$ が中心構造を保存することを用いて、$H_d^f$ の中心が生成子 $x_1, \dots, x_d$ における対称多項式からなることを証明する。
• 中心的特徴値によるブロック分類を適用し、$H_d^f$ のブロックが $d$ の $l$-多重分割によってパrameter化されることを導く。
• カテゴリ $\\mathcal{O}^\mu_\nu$ と退化型クーロン型ヘッケ代数の商のモジュールカテゴリとの同倣を用いて、$\\mathcal{O}^\mu_\nu$ の中心と $H_d^f$ の中心を関連付ける。
• 自然な写像 $Z(\mathfrak{g})$、$Z(\mathcal{O}^\mu_\nu)$、および射影的生成子の自己準同型代数を含む可換図式を構成し、$\\mathfrak{g}$ の中心から $\\mathcal{O}^\mu_\nu$ の中心への写像が全射であり、$Z(\mathcal{O}^\mu_\nu)$ が退化型クーロン型ヘッケ代数の中心と同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素反射群 $B_d(l)$ に関連する退化型クーロン型ヘッケ代数 $H_d^f$ の中心の構造は何か？
• RQ2 $H_d^f$ のブロックは、$d$ の $l$-多重分割といった組合せ的データとどのように対応するか？
• RQ3 放物型カテゴリ $\\mathcal{O}$ の $\\mathfrak{gl}_n(\mathbb{C})$ の整数的ブロックの中心は、$U(\mathfrak{gl}_n)$ の中心によって生成されるか？
• RQ4 $\mathcal{O}^\mu_\nu$ の中心は、退化型クーロン型ヘッケ代数の中心と同一視できるか？
• RQ5 $Z(\mathcal{O}^\mu_\nu)$ の次元は何か？ また、そのブロック内の既約モジュールの同型類の数とはどのように関係するか？

主な発見

• 退化型クーロン型ヘッケ代数 $H_d^f$ の中心は、正確に生成子 $x_1, \dots, x_d$ における対称多項式の部分代数に一致する。
• 中心 $Z(H_d^f)$ は、$d$ の $l$-多重分割によって添字づけられる基底を持つ自由 $R$-加群である。
• $H_d^f$ のブロックは $d$ の $l$-多重分割によって分類され、各ブロックは $x_i$ の固有値によって定まる中心的特徴値に対応する。
• 任意の整数的中心的特徴値 $\nu$ に対して、自然な写像 $m^\mu_\nu: Z(\mathfrak{g}) \to Z(\mathcal{O}^\mu_\nu)$ は全射代数準同型である。
• 中心 $Z(\mathcal{O}^\mu_\nu)$ は退化型クーロン型ヘッケ代数の中心と同型であり、その次元は $\\mathcal{O}^\mu_\nu$ 内の既約モジュールの同型類の数に等しい。
• 写像 $f^\mu_\nu: Z(\mathcal{O}^\mu_\nu) \to Z(\operatorname{End}_{\mathfrak{g}}((P^\mu \otimes V^{\otimes d})e^\mu_\nu)^{\mathrm{op}})$ は同型であり、中心の図式全体が全射写像と可換である。