[論文レビュー] On modular categories O for quantized symplectic resolutions

Ivan Losev|arXiv (Cornell University)|Dec 20, 2017

Algebraic structures and combinatorial models参考文献 35被引用数 3

ひとこと要約

本稿は、大いなる正の特徴を持つ量子化シンプレクティック解体におけるモジュラー圏 𝒪 に対して、最高重量構造および標準的層化構造を確立する。これらのモジュラー圏は、p ≫ 0 での還元によって得られる量子化代数から構成され、基底変換によって通常の特徴零圏 𝒪 に回復されることを示し、この枠組みを用いて壁越え双対写像および重み付き上げを構成する。また、特徴零圏におけるクズル性の結果も得られる。

ABSTRACT

In this paper we study highest weight and standardly stratified structures on modular analogs of categories $\mathcal{O}$ over quantizations of symplectic resolutions and show how to recover the usual categories $\mathcal{O}$ (reduced mod $p\gg 0$) from our modular categories. More precisely, we consider a conical symplectic resolution that is defined over a finite localization of $\mathbb{Z}$ and is equipped with a Hamiltonian action of a torus $T$ that has finitely many fixed points. We consider algebras $\mathcal{A}_λ$ of global sections of a quantization in characterstic $p\gg 0$, where $λ$ is a parameter. Then we consider a category $ ilde{\mathcal{O}}_λ$ consisting of all finite dimensional $T$-equivariant $\mathcal{A}_λ$-modules. We show that for $λ$ lying in a {\it p-alcove} $\,^p\!A$, the category $ ilde{\mathcal{O}}_λ$ is highest weight (in some generalized sense). Moreover, we show that every face of $\,^p\!A$ that survives in $\,^p\!A/p$ when $p ightarrow \infty$ defines a standardly stratified structure on $ ilde{\mathcal{O}}_λ$. We identify the associated graded categories for these standardly stratified structures with reductions mod $p$ of the usual categories $\mathcal{O}$ in characteristic $0$. Applications of our construction include computations of wall-crossing bijections in characteristic $p$ and the existence of gradings on categories $\mathcal{O}$ in characteristic $0$.

研究の動機と目的

• 量子化シンプレクティック解体の特徴正の特徴における圏 𝒪 のモジュラー枠組みを構築すること。
• これらのモジュラー圏に最高重量構造および標準的層化構造を確立すること。
• p ≫ 0 での還元が、古典的特徴零圏 𝒪 を回復することを示すこと。
• モジュラー構成を用いて、特徴零における壁越え双対写像および重み付き上げを構成すること。
• モジュラー圏からの特殊化を用いて、特徴零圏 𝒪 のクズル性を証明すること。

提案手法

• 特徴 p ≫ 0 における量子化の全体切断代数上の T-不変有限次元モジュラー圏 𝒪 を構成する。
• p-アローブを特定し、適合する要素を用いてモジュラー設定における最高重量構造を定義する。
• 翻訳双モジュールおよび壁越えファンクターを用いて、異なるパrameter領域を関連付ける。
• p を法とした還元と基底変換を用いて、モジュラー圏と古典的特徴零圏 𝒪 を関連付ける。
• p-中心技術および Tor の消滅を用いて、モジュラー圏から特徴零への構造の持ち上げを行う。
• 重み付き上げおよびクズル双対性技術を用いて、モジュラー圏から特徴零圏へのクズル性の転送を行う。

実験結果

リサーチクエスチョン

• RQ1 量子化シンプレクティック解体の圏 𝒪 に対して、モジュラー設定における最高重量構造はどのように定義可能か？
• RQ2 特徴 p ≫ 0 におけるモジュラー圏 𝒪 と古典的特徴零圏 𝒪 の関係は何か？
• RQ3 モジュラー設定における標準的層化構造は、特徴零におけるそれらとどのように対応するか？
• RQ4 特徴 p における壁越えファンクターを用いて、異なるパrameter領域における単純モジュール間の双対写像を構成できるか？
• RQ5 モジュラー圏におけるクズル重み付き上げの存在が、対応する特徴零圏におけるクズル性を示唆するか？

主な発見

• λ が p-アローブに属するとき、適切な仮定の下で、モジュラー圏 𝒪_λ は一般化された意味で最高重量構造を持つ。
• p を法として生き残る p-アローブの各面は、𝒪_λ に標準的層化構造を定義する。
• これらの標準的層化構造の付随する重み付きグレーディング圏は、古典的特徴零圏 𝒪 の p を法とした還元と同型である。
• 特徴 p における壁越えファンクターは、単純モジュール間の双対写像を誘導し、特徴零の場合を一般化する。
• 特徴 p におけるモジュラー圏 𝒪 の重み付き上げは、特徴零における重み付き上げを誘導し、クズル性は基底変換で保存される。
• もしモジュラー圏 𝒪 が無限個の p に対してクズル重み付き上げを持つならば、対応する特徴零圏 𝒪 もクズルである。