[論文レビュー] Etingof conjecture for quantized quiver varieties II: affine quivers

Ivan Losev|arXiv (Cornell University)|May 20, 2014

Algebraic structures and combinatorial models参考文献 30被引用数 12

ひとこと要約

この論文は、局所化定理、両側イデアルとカテゴリーズ $\mathcal{O}$ の解析、およびアフィンな壁越えファンクターとマイクロ局所的層理論を用いて、アフィンクイバーに対する量子化クイバー多様体の有限次元既約表現の数に関するエティンコフ予想を証明する。その結果、このような表現の数がカテゴリーズ $\mathcal{O}$ のグロテンディーク群のランクに一致することが確認され、Giesekerモジュライ空間に関する先行研究をアフィンクイバー設定へと拡張する。

ABSTRACT

We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories O in some special cases. We apply this to prove our conjecture with Bezrukavnikov on the number of finite dimensional irreducible representations of quantized quiver varieties for quivers of affine type.

研究の動機と目的

• アフィン型の量子化クイバー多様体に対する有限次元表現のエティンコフ予想を拡張すること。
• 量子化Giesekerモジュライ空間に対する局所化定理を確立し、それらのカテゴリーズ $\mathcal{O}$ を記述すること。
• 双対性と壁越えファンクターを用いて、量子化設定における有限次元表現および両側イデアルを分類すること。
• 有限次元既約表現の数がカテゴリーズ $\mathcal{O}$ のグロテンディーク群のランクに一致することを証明し、予想を確認すること。

提案手法

• 量子ハミルトニアン還元を用いて、Giesekerモジュライ空間 $\mathcal{M}(v,w)$ の量子化 $\mathcal{A}_\lambda(v,w)$ を構成する。
• マイクロ局所的層理論と制限ファンクターを適用し、$\mathcal{M}^\theta(v,w)$ 上の層の全切断を量子化代数と関連付ける。
• 異なる安定性条件におけるモジュールのカテゴリーズを結ぶために、アフィンな壁越えファンクター $\mathfrak{WC}_{\theta\to\theta'}$ を用いる。
• ホモロジー的双対性とリングル双対性を用いて、カテゴリーズ $\mathcal{O}$ と annihilator ́variety の構造を解析する。
• シンプレクティックな葉と量子スライスの理論を応用し、有限次元表現の台を制御する。
• $\dagger$-ファンクターとTor計算を用いて、$\bar{\mathcal{A}}_\lambda(n,r)$ における忠実性の証明と両側イデアルの分類を行う。

実験結果

リサーチクエスチョン

• RQ1 量子化アフィンクイバー多様体 $\mathcal{A}_\lambda(n,r)$ の有限次元既約表現の数は何か？
• RQ2 アフィンクイバーにおいて、壁越えの下でカテゴリーズ $\mathcal{O}$ と $\mathcal{A}_\lambda(v,w)$ の両側イデアルはどのように振る舞うか？
• RQ3 既約表現の annihilator ́variety と古典的モジュライ空間のシンプレクティックな葉との関係は何か？
• RQ4 量子化Gieseker空間に対する局所化定理は、アフィンクイバーの場合へどのように拡張されるか？
• RQ5 壁越えファンクターは、モジュールのカテゴリーズ間でどのような程度まで perverse 同値を誘導するか？

主な発見

• 量子化アフィンクイバー多様体 $\mathcal{A}_\lambda(n,r)$ の有限次元既約表現の数は、カテゴリーズ $\mathcal{O}(\mathcal{A}_\lambda(n,r))$ のグロテンディーク群のランクに一致し、アフィンクイバーに対するエティンコフ予想が確認された。
• アフィンな壁越えファンクター $\mathfrak{WC}_{\theta\to\theta'}$ と $\mathfrak{WC}_{\theta'\to\theta}$ は perverse 同値であり、カテゴリーズ $\mathcal{C}_i$ と $\mathcal{C}'_i$ の単純モジュールの間で逆写像を誘導する。
• 壁越えファンクターの下で単純モジュールの annihilator ́variety は保存され、シンプレクティックな葉構造と整合的であることが保証される。
• スライス代数 $\underline{\mathcal{A}}^\prime = \bar{\mathcal{A}}_{\langle\lambda,\delta\rangle}(n,r)$ は、対応する葉が分割 $\mu$ のための $\mathcal{L}(\mu)$ である場合を除き、有限次元表現を持たない。これは $\mathcal{L}^\prime \subset \operatorname{V}(\mathcal{M})$ を意味する。
• 分解 $v$ に実根が含まれるとき、多様体 $\underline{\bar{\mathcal{M}}}_p(\underline{v},\underline{w})$ には単一の点からなるシンプレクティックな葉が存在せず、有限次元表現が存在しないことが排除される。
• 指定されたフィルトレーション性質を持つ両側イデアルの鎖 $\mathcal{J}_i$ と $\mathcal{J}'_i$ の存在は、カテゴリーズ $\mathcal{O}$ の構造を確認し、 perverse フィルトレーションを用いた単純モジュールの数え上げを可能にする。