[論文レビュー] Induction and restriction functors for rational Cherednik algebras

Roman Bezrukavnikov, Pavel Etingof|arXiv (Cornell University)|Mar 25, 2008

Advanced Topics in Algebra被引用数 8

ひとこと要約

この論文は、有理Cherednik代数における放物型誘導および制限函手を導入し、その表現論の構造的解析を深める。c ≠ 半整数という制限なしにGordon-StaffordのMorita同値を証明し、Sₙ不変ベクトルを含まないカテゴリOの表現を分類し、その数に関する予想を確認するとともに、−1 < c < 0 の範囲で球面的Cherednik代数の単純性を確立する。

ABSTRACT

We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant vector, and confirm a conjecture of Okounkov and the first author on the number of such representations. In the second version we have added a result on the simplicity of the spherical Cherednik algebra of type A for -1<c<0, and a strengthened version of the main result of arXiv:math/0312474, as well as an appendix by the second author containing arXiv:0706.4308, on the reducibility of the polynomial representation of the trigonometric Cherednik algebra.

研究の動機と目的

• 有理Cherednik代数における放物型誘導および制限函手を定義し、その表現論の構造的理解を深めること。
• タイプAの有理Cherednik代数におけるGordon-StaffordのMorita同値定理において、c が半整数でないという制限を外すこと。
• タイプAの有理Cherednik代数のカテゴリOにおいて、Sₙ不変ベクトルを含まない表現を分類すること。
• Okounkovと最初の著者による、このような表現の数に関する予想を確認すること。
• パrameter c が区間 (−1, 0) 内にあるタイプAの球面的Cherednik代数の単純性を確立すること。

提案手法

• 著者たちは、有理Cherednik代数の枠組みの中で放物型誘導および制限函手を定義し、リー代数表現論からの標準的構成を一般化する。
• これらの函手を用いて、カテゴリOおよび球面的部分代数の構造を分析し、特にSₙ不変ベクトルの役割に注目する。
• Gordon-Stafford定理の証明を、c が半整数でないという仮定なしに、新たな函手的枠組みを用いて再構築する。
• 誘導／制限函手を用いて、その組成因子を特徴づけることで、Sₙ不変ベクトルを含まないカテゴリOの表現の分類を達成する。
• カテゴリOの構造および函手の性質を用いて、−1 < c < 0 の範囲で球面的Cherednik代数の単純性を証明する。
• 第二著者の付録では、三角関数的Cherednik代数の多項式表現の再帰的性質に関する結果が含まれており、以前の研究を拡張する。

実験結果

リサーチクエスチョン

• RQ1 有理Cherednik代数の文脈において、放物型誘導および制限函手をどのように定義し、適用できるか。
• RQ2 タイプAの有理Cherednik代数におけるGordon-StaffordのMorita同値が、c が半整数でないという制限なしに確立可能か。
• RQ3 タイプAの有理Cherednik代数のカテゴリOにおいて、Sₙ不変ベクトルを含まない表現を完全に分類できるか。
• RQ4 Okounkovと最初の著者による、このような表現の数に関する予想は真実か。
• RQ5 パrameter c が区間 (−1, 0) 内にあるタイプAの球面的Cherednik代数は単純か。

主な発見

• 有理Cherednik代数のタイプAとその球面的部分代数の間のGordon-StaffordのMorita同値が、c ≠ 半整数という条件なしに証明された。
• タイプAの有理Cherednik代数のカテゴリOにおいて、Sₙ不変ベクトルを含まないすべての表現が分類された。
• このような表現の数が、Okounkovと最初の著者による予想と一致することが確認された。
• パrameter c が −1 < c < 0 を満たすすべての値に対して、タイプAの球面的Cherednik代数が単純であることが示された。
• 三角関数的Cherednik代数の多項式表現が再帰的であることが、付録で証明された。
• 第二版では主な結果が強化・拡張されており、カテゴリOの構造および誘導／制限函手の役割に関する新たな洞察が得られた。