[論文レビュー] Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras

Iain J. Gordon|ArXiv.org|Mar 6, 2007

Algebraic structures and combinatorial models参考文献 32被引用数 27

ひとこと要約

この論文は、有理Cherednik代数、クービー多様体、およびヘッケ代数の間の幾何的ブリッジを確立し、カテゴリ $\mathcal{O}$ における $c$-関数を中島クービー多様体上のモース関数と結びつけることで、$c$-順序の幾何的解釈を提供し、KZファンクターを介してヘッケ代数における $a$-関数との関係を明らかにする。主な貢献は、クービー多様体上のG.I.T.チャネル構造に基づく、組合せ的順序を統一的に幾何的に解釈するフレームワークを提供することである。

ABSTRACT

We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.

研究の動機と目的

• 中島クービー多様体を用いて、有理Cherednik代数のカテゴリ $\mathcal{O}$ の幾何的モデルを提供すること。
• カテゴリ $\mathcal{O}$ における $c$-関数の順序を、クービー多様体上のモース関数として解釈し、最高重量構造の幾何的起源を提示すること。
• Iwahori-Hecke代数における $a$-関数を、クービー多様体上のG.I.T.チャネル構造に関連づけ、ボナフェとジークの重み関数同値類に関する予想と接続すること。
• クービー多様体と安定パラメータに基づく共通の幾何的フレームワークを通じて、Cherednik代数とHecke代数の組合せ的構造を統一すること。

提案手法

• 有理Cherednik代数の表現のカテゴリから $\mathbb{Z}$-代数を構成し、それを中島クービー多様体上の層と関連付ける。
• クービー多様体の幾何を用いて、$c$-関数をトポロジー的モース関数として解釈し、安定パラメータ $\boldsymbol{\theta}$ がG.I.T.チャネルに対応することを示す。
• クービー多様体内の吸引部分多様体 $\mathcal{Z}_{\boldsymbol{\lambda}}$ を用いて、$\ell$-多重分割に幾何的部分順序 $\prec_{\bf h}$ を定義する。
• KZファンクターを適用して、Cherednik代数から巡回的Hecke代数への幾何的情報の転送を行い、$a$-関数とクービー多様体のストラティフィケーションを関連付ける。
• パrameter空間 $\mathbb{Q}^\ell$ のチャネル分解を解析し、$a$-関数がG.I.T.チャネル上で一定であることを示し、ボナフェとジークの予想を支持する。
• 組合せ的道具として $\beta$-数、内容、およびアフィン対称群 $\tilde{\mathfrak{S}}_\ell$ を用いて、幾何的順序の記述とその精緻化を行う。

実験結果

リサーチクエスチョン

• RQ1 有理Cherednik代数のカテゴリ $\mathcal{O}$ における $c$-関数の順序は、クービー多様体を介してどのように幾何的に解釈できるか？
• RQ2 $c$-関数と中島クービー多様体のモース理論の関係は何か。特に、安定パラメータとチャネル分解の観点から。
• RQ3 不等価パラメータをもつIwahori-Hecke代数における $a$-関数は、クービー多様体のG.I.T.チャネル構造とどのように関係するか？
• RQ4 クービー多様体から生じる $\ell$-多重分割上の幾何的順序は、$c$-順序を精緻化し、カテゴリ $\mathcal{O}$ の最高重量構造を保つことができるか？
• RQ5 $c$-チャネルと $a$-関数の同値類は、パrameter空間において同一のG.I.T.チャネル分解に対応するか、その程度は何か？

主な発見

• 有理Cherednik代数のカテゴリ $\mathcal{O}$ における $c$-関数の順序は、中島クービー多様体上のモース関数に由来し、最高重量構造の幾何的起源を提供する。
• クービー多様体内の吸引部分多様体 $\mathcal{Z}_{\boldsymbol{\lambda}}$ を用いて定義された $\ell$-多重分割上の幾何的部分順序 $\prec_{\bf h}$ は、最高重量構造を保つと予想される。
• Hecke代数における $a$-関数は、クービー多様体のパrameter空間のG.I.T.チャネル上で一定であり、ボナフェとジークの予想（重み関数の同値類）を支持する。
• パrameter空間 $\mathbb{Q}^\ell$ における $c$-チャネルは、$c$-関数が多重分割に同一の全順序を誘導する領域であり、これらはクービー多様体の構成におけるG.I.T.チャネルと一対一対応する。
• 幾何的順序の組合せ的構造は、$\beta$-数と内容関数を用いて記述され、$\mathbb{Z}$-代数構成を通じて $c$-関数とクービー多様体の幾何が明示的な式で関連づけられる。
• 相対的な $B$-数の位置に基づく場合分けを用いて、等式 $L(\boldsymbol{\lambda}) - L(\boldsymbol{\mu}) = R(\boldsymbol{\lambda}) - R(\boldsymbol{\mu})$ が証明され、幾何的順序の整合性が確認された。