[論文レビュー] Quantizations of conical symplectic resolutions I: local and global structure

Tom Braden, Nicholas Proudfoot+1 more|arXiv (Cornell University)|Aug 19, 2012

Algebraic structures and combinatorial models参考文献 60被引用数 93

ひとこと要約

この論文は、旗多様体を超える一般化された表現理論へと、錐的シンプレクティック解体の量子化を統一的な枠組みで定式化する。ベイリンソン＝バーチンの局在化理論およびハリシュ・チャンドラ両側加群理論を、一般線型代数を超えて一般化する。一般周期に対して、大域的切断関手と局在化関手が導来同値を与えることを証明し、ブレッド群作用とねじれ関手を、クイバー多様体やハイパートーリック多様体のような新しい代数へと拡張する。

ABSTRACT

We re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic resolution. While some modification from this classical context is necessary, many familiar features survive. These include a version of the Beilinson-Bernstein localization theorem, a theory of Harish-Chandra bimodules and their relationship to convolution operators on cohomology, and a discrete group action on the derived category of representations, generalizing the braid group action on category O via twisting functors. Our primary goal is to apply these results to other quantized symplectic resolutions, including quiver varieties and hypertoric varieties. This provides a new context for known results about Lie algebras, Cherednik algebras, finite W-algebras, and hypertoric enveloping algebras, while also pointing to the study of new algebras arising from more general resolutions.

研究の動機と目的

• 普遍包あらゆる代数を超えて、ベイリンソン＝バーチンの局在化理論およびハリシュ・チャンドラ両側加群理論を一般化すること。
• 一般周期に対して、量子化された解体とその切断環の加群圏の間の導来同値を確立すること。
• シンプレクティック解体から生じる新しいクラスの代数へと、ブレッド群作用をねじれ関手を用いて拡張すること。
• チェレドニク代数、有限W代数、ハイパートーリック包あらゆる代数などの代数の表現論の統一的枠組みを提供すること。

提案手法

• 錐的シンプレクティック解体の変形量子化を用い、H²(M; ℂ)でパrameter化する。
• 量子ハミルトニアン還元を適用し、量子デュイステルマット＝ヘックマン定理を証明する。
• 非一般周期に対して切断環Aの代わりにZ代数を導入する。
• 量子化上の加群の圏D -modを構成し、Mが余接束のとき、ねじれD加群と同値であることを示す。
• 一般周期に対して、大域的切断関手と局在化関手を用いて導来同値を確立する。
• ゾルゲルの同値と幾何的実現を用いて、カテゴリOからのねじれ関手を、量子化された解体の導来圏へと翻訳する。

実験結果

リサーチクエスチョン

• RQ1 ベイリンソン＝バーチンの局在化は、旗多様体を超えて、任意の錐的シンプレクティック解体へとどのように一般化できるか？
• RQ2 量子化された解体とその切断環の加群圏の間の導来同値が保証される条件は何か？
• RQ3 ねじれ関手とブレッド群作用は、カテゴリOから、シンプレクティック解体から生じる新しい代数へとどのように拡張できるか？
• RQ4 特徴的サイクルは、ねじれ関手が導来圏上で作用する際に果たす役割は何か？
• RQ5 解体の幾何が、その量子化表現論の構造にどのように影響を与えるか？

主な発見

• 周期がηを正のファイバーとするλ + kηの形である一般周期に対して、大域的切断関手と局在化関手の導来関手は、すべての複素数kのうち有限個を除いて逆同値である。
• 量子版のデュイステルマット＝ヘックマン定理が証明され、量子化がハミルトニアン還元と関連している。
• 表現の導来圏上のねじれ関手は、射影的関手と強い可換性を満たし、ヴェルマ加群への作用によって一意に特徴づけられる。
• 基本群π₁(E/W, [λ])の導来圏上への作用は、ウェイル群を通して因子化され、H²ᵈⁱᵐᴹᶻ(M × M; ℂ)への準同型を誘導する。
• ねじれ関手のグロテンディーク群作用は、幾何的ハリシュ＝チャンドラ両側加群とその特徴的サイクルを用いた畳み込みによって実現される。
• 本論文は、解体上のねじれD加群の導来圏におけるアルヒポフのねじれ関手の幾何的実現を構成する。