[論文レビュー] The small quantum group and the Springer resolution

Roman Bezrukavnikov, Anna Lachowska|ArXiv.org|Sep 28, 2006

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

ひとこと要約

本稿は、G-不変性を仮定せずに、小量子群 $\mathsf{u}$ の主ブロックとスプリンガー解体 $\widetilde{\mathcal{N}}$ 上の両立層の導来圏の間に導来同値を確立する。この同値を用いて、$\mathsf{u}$ のホッホシュィルトコホモロジーおよび中心の幾何的記述を与える。特に、$\widetilde{\mathcal{N}}$ 上の層論的構成を用いて中心内の部分代数を明示的に同定し、より弱い仮定の下で先行する結果を拡張する。

ABSTRACT

In math.RT/0304173 the derived category of the principal block in modules over the Lusztig quantum algebra at a root of unity is related to the derived category of equivariant coherent sheaves on the Springer resolution. In the present paper we deduce a similar relation between the derived category of the principal block for the {\em small (reduced) quantum algebra} and the derived category of (non-equivariant) coherent sheaves on the Springer resolution. As an application we get a geometric description of Hochschild cohomology (in particular, the center) of the regular block for the small quantum group, and use it to give an explicit description of a certain subalgebra in the center (obtained previously by another method and under more restrictive assumptions in math.QA/0107098. We also briefly explain the relation of our result to the geometric description math.RT/0407048 of the derived category of modules over the De Concini -- Kac quantum algebra.

研究の動機と目的

• 小量子群 $\mathsf{u}$ の主ブロックとスプリンガー解体 $\widetilde{\mathcal{N}}$ 上の両立層の導来圏の間に導来同値を確立すること。
• 主ブロックのホッホシュィルトコホモロジー、特にその中心の幾何的実現を与えること。
• 既存の方法で得られていたがより制限の強い仮定の下でのみ成立していた、$\mathsf{u}$ の中心内の部分代数の明示的記述を提供すること。
• 結果を [BK] で発展されたデ・コンチーニ＝カック量子代数上のモジュールの導来圏の幾何的記述と関連付けること。
• [ABG] の枠組みを全量子群から小量子群へ一般化し、不変性の必要性を排除すること。

提案手法

• 幾何的表現論を用いて、小量子群 $\mathsf{u}$ のモジュールの導来圏とスプリンガー解体 $\widetilde{\mathcal{N}}$ 上の両立層の導来圏の間に導来同値を構築する。
• 幾何的背景として、$\mathfrak{g}$ の零尖錐 $\mathcal{N}$ へのスプリンガー解体 $\widetilde{\mathcal{N}} \to \mathcal{N}$ を用いる。
• 量子ルシュティグ＝フロベニウス写像を用いて $\mathsf{u}$ を $\mathfrak{g}$ の普遍包あらわし代数と関連づけ、幾何的解釈を可能にする。
• $\widetilde{\mathcal{N}}$ 上の層論的構成、特に接バンドルの水平部と垂直部への分解を用いて、コホモロジー的データを抽出する。
• $\Lambda^i(T_{\widetilde{\mathcal{N}}})^{-2i} \cong \Omega^i_{G/B}$ の同型を用いて、$\mathsf{u}$ の中心内の部分代数を $H^\bullet(G/B)$ と同定する。
• $\mathfrak{H}$ をなす2つの部分空間を構成する：1つは $H^\bullet(G/B)$ に同型で、もう1つは零乗法をもつもので、それらの和が代数 $\mathfrak{H}$ をなす。

実験結果

リサーチクエスチョン

• RQ1 小量子群 $\mathsf{u}$ の主ブロックの導来圏は、どのようにスプリンガー解体 $\widetilde{\mathcal{N}}$ 上の両立層の導来圏と関連づけられるか？
• RQ2 ホッホシュィルトコホモロジーの幾何的構造、特にその中心は何か？
• RQ3 スプリンガー解体 $\widetilde{\mathcal{N}}$ 上の幾何的データを用いて、$\mathsf{u}$ の中心内の部分代数を明示的に記述できるか？
• RQ4 小量子群 $\mathsf{u}$ の導来圏は、デ・コンチーニ＝カック量子代数の導来圏とどのように関係するか？
• RQ5 スプリンガー解体は、$\mathsf{u}$ の中心を $\mathfrak{H} \cong H^\bullet(G/B) \oplus H^\bullet(G/B)/\mathbb{k}(\omega,-1)$ の部分代数として実現するために果たす役割は何か？

主な発見

• G-不変性を仮定せずに、小量子群 $\mathsf{u}$ の主ブロックの導来圏とスプリンガー解体 $\widetilde{\mathcal{N}}$ 上の両立層の導来圏の間に導来同値が確立された。
• 主ブロックのホッホシュィルトコホモロジーは、$\widetilde{\mathcal{N}}$ のコホモロジーとして幾何的に実現され、中心 $\mathsf{z}_0$ は $\mathfrak{H} = H^\bullet(G/B) \oplus H^\bullet(G/B)/\mathbb{k}(\omega,-1)$ に同型な部分代数を含む。
• 中心 $\mathsf{u}$ 内に、$\Lambda^i(T_{\widetilde{\mathcal{N}}})^{-2i}$ および $\Lambda^{d+i}(T_{\widetilde{\mathcal{N}}})^{-2d}$ の層論的埋め込みを用いて構成された、自然な部分代数が $\mathfrak{H}$ に同型であることが同定された。
• $\underline{\mathsf{z}}_0 \cong H^\bullet(G/B)$ は、[BG] で既に知られていたが、ハリシュ・チャンドラ部と主ブロックの交わりとして再発見された。
• $\overline{\mathsf{z}}_0$ は、[La] で量子フーリエ変換を用いて構成されたが、$\mathsf{z}_0$ のイデアルで、零乗法をもつことが示され、$\underline{\mathsf{z}}_0 + \overline{\mathsf{z}}_0 \cong \mathfrak{H}$ である。
• 結果として、[ABG] の枠組みが小量子群へ一般化され、不変層の必要性が排除され、中心の非不変幾何的モデルが得られた。