[論文レビュー] Morita equivalence for convolution categories: Appendix to arXiv:0805.0157

Dani Ben‐Zvi, John Francis+1 more|arXiv (Cornell University)|Sep 2, 2012

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

ひとこと要約

本稿は、$ ackslash pi: X \to Y$ が忠実に平坦または固有かつ全射で、$X,Y$ が滑らかなスタックであるなどの条件下で、$X \times_Y X$ の全射的準同型層の安定$ ackslash infty$ カテゴリと$ ackslash operatorname{Q}(Y)$ の間の導来的・カテゴリフィケーションされたモラータ同値性を確立する。この同値性は、$ ackslash operatorname{Q}(X \times_Y X)$ におけるモノイダル畳み込み構造から生じ、モジュールカテゴリの同一視を引き起こし、ドリンフェルト中心と関連するトポロジカル場理論の同値性を示唆する。

ABSTRACT

In this brief postscript to our paper "Integral transforms and Drinfeld centers in derived algebraic geometry", we describe a Morita equivalence for derived, categorified matrix algebras implied by theory developed since its appearance. We work in the setting of perfect stacks X and their stable infinity-categories Q(X) of quasicoherent sheaves. Perfect stacks include all varieties and common stacks in characteristic zero, and their stable infinity-categories of sheaves are well behaved refinements of their quasicoherent derived categories, satisfying natural analogues of common properties of function spaces. To a morphism of perfect stacks pi:X-->Y, we associate the categorified matrix algebra Q(X x_Y X) of sheaves on the derived fiber product equipped with its monoidal convolution product. We show that for pi faithfully flat (as a corollary of the 1-affineness theorem of Gaisgory) or for pi proper and surjective and X,Y smooth (as an application of proper descent, cf. Gaitsgory and Preygel), there is a Morita equivalence between Q(X x_Y X) and Q(Y), that is, an equivalence of their infinity-categories of stable module infinity-categories. In particular, this immediately implies an identification of their Drinfeld centers (as previously established in 0805.0157), and more generally, an identification of their associated topological field theories. Another consequence is that for an affine algebraic group G in characteristic zero and an algebraic subgroup K, passing to K-invariants induces an equivalence from stable infinity-categories with algebraic G-action to modules for the Hecke category Q(K\G/K).

研究の動機と目的

• 完全スタック上の全射的準同型層を用いた導来的・カテゴリフィケーションされたモラータ同値性への古典的同値性の拡張。
• 畳み込み代数$ \operatorname{Q}(X \times_Y X)$ が$ \operatorname{Q}(Y)$ とモラータ同値となる条件を確立し、有限集合の類似を一般化すること。
• この同値性がドリンフェルト中心とトポロジカル場理論の同一化をもたらすことを示すこと。
• $K$-不変量が、$G$-可換カテゴリとヘッケカテゴリ$ \operatorname{Q}(K\backslash G/K)$ 上のモジュールの間の同値性を誘導することを示すこと。

提案手法

• 完全スタック$X$と$Y$の設定において、$ \operatorname{Q}(X)$ と$ \operatorname{Q}(Y)$ が全射的準同型層のコンパクト生成された安定$ \infty$ カテゴリであると仮定する。
• $\pi: X \to Y$ の導来的ファイバー積を用いて、$ \operatorname{Q}(X \times_Y X)$ における畳み込みモノイダル構造を構成する。
• Gaisgoryの1-アフィン性定理を用いて、$\pi$が忠実に平坦である場合のモラータ同値性を証明する。
• 固有降下理論を適用して、$\pi$が固有かつ全射で、$X,Y$ が滑らかである場合のモラータ同値性を確立する。
• 全射的準同型層$ \operatorname{Q}(X)$ の$\operatorname{Q}(Y)$-モジュールとしての標準的自己双対性を用いて、畳み込み代数を$ \operatorname{Hom}_{\operatorname{Q}(Y)}(\operatorname{Q}(X), \operatorname{Q}(X))$ と同一視する。
• 対称モノイダル$ \infty$ カテゴリにおけるモジュールカテゴリと双対性の一般理論を適用し、モジュールカテゴリの同値性および$ \operatorname{Q}(X)$ -モジュールの双対性を証明する。

実験結果

リサーチクエスチョン

• RQ1 完全スタックの準同型$\pi: X \to Y$に対して、畳み込み代数$ \operatorname{Q}(X \times_Y X)$ が$ \operatorname{Q}(Y)$ とモラータ同値となる条件は何か？
• RQ2 導来的ファイバー積$X \times_Y X$ は、全射的準同型層の文脈で、カテゴリフィケーションされた行列代数の構造をどのように表現するか？
• RQ3 ドリンフェルト中心$ \operatorname{Q}(X \times_Y X)$ と$ \operatorname{Q}(Y)$ の関係は何か？ そして、このモラータ同値性によってどのように回復されるか？
• RQ4 $G$-代数的群とその部分群$K$に対して、$K$-不変量への移行が、ヘッケカテゴリ$ \operatorname{Q}(K\backslash G/K)$ を介したモラータ同値性として理解できるか？

主な発見

• 完全スタックの忠実に平坦な準同型$\pi: X \to Y$に対して、Gaisgoryの1-アフィン性定理によって、$ \operatorname{Q}(X \times_Y X)$ と$ \operatorname{Q}(Y)$ の間のモラータ同値性が誘導される。
• $\pi$が固有かつ全射で、$X,Y$ が滑らかである場合、固有降下理論を用いてモラータ同値性が成立する。
• この同値性により、$ \operatorname{Q}(X \times_Y X)$ と$ \operatorname{Q}(Y)$ のドリンフェルト中心が同一視され、[BFN]の結果が裏付けられる。
• この同値性により、$ \operatorname{Q}(X \times_Y X)$ と$ \operatorname{Q}(Y)$ の関連するトポロジカル場理論が同値であることが示される。
• $G$-作用を有する安定$ \infty$ カテゴリに対して$K$-不変量へ移行することは、ヘッケカテゴリ$ \operatorname{Q}(K\backslash G/K)$ 上のモジュールへの同値性を誘導し、古典的不変量の一般化を示す。
• $\operatorname{Q}(X \times_Y X)$ 上の左モジュールの$ \infty$ カテゴリは双対可能であり、右モジュールの$ \infty$ カテゴリが双対として与えられる。このことは、二重バー構成を用いて得られる。