[论文解读] 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

一句话总结

本文在 $π: X \to Y$ 为忠实平坦或为光滑栈上的正规满射时，建立了关于完美栈上拟相干层的稳定 $∞$-范畴的导出纤维积 $X \times_Y X$ 与范畴 $\operatorname{Q}(Y)$ 之间的导出、范畴化 Morita 等价。该等价性源于 $\operatorname{Q}(X \times_Y X)$ 上的张量卷积结构，诱导出模范畴的同构，并暗示了 Drinfeld 中心理论与相关拓扑量子场论的等价性。

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).

研究动机与目标

• 将经典 Morita 等价性推广至导出、范畴化设定，利用完美栈上的拟相干层。
• 建立 $\operatorname{Q}(X \times_Y X)$ 与 $\operatorname{Q}(Y)$ 之间卷积代数 Morita 等价的条件，推广有限集的类比。
• 证明该等价性导致 Drinfeld 中心与拓扑量子场论的同构。
• 证明 $K$-不变量诱导 $G$-等变范畴与 Hecke 范畴 $\operatorname{Q}(K\backslash G/K)$ 上模范畴之间的等价性。

提出的方法

• 在完美栈 $X$ 和 $Y$ 的设定下工作，其中 $\operatorname{Q}(X)$ 与 $\operatorname{Q}(Y)$ 是拟相干层的紧生成稳定 $\u221E$-范畴。
• 通过映射 $\pi: X \to Y$ 的导出纤维积，构造 $\operatorname{Q}(X \times_Y X)$ 上的卷积张量结构。
• 利用 Gaisgory 的 1-仿射性定理，在 $\pi$ 为忠实平坦时证明 Morita 等价性。
• 应用正规下降理论，在 $\pi$ 为正规满射且 $X,Y$ 为光滑时建立 Morita 等价性。
• 利用 $\operatorname{Q}(X)$ 作为 $\operatorname{Q}(Y)$-模的自然自对偶性，将卷积代数识别为 $\operatorname{Hom}_{\operatorname{Q}(Y)}(\operatorname{Q}(X), \operatorname{Q}(X))$。
• 应用对称张量 $\u221E$-范畴中模范畴与对偶性的普遍理论，证明模范畴的等价性以及 $\operatorname{Q}(X)$-模的对偶性。

实验结果

研究问题

• RQ1 对于完美栈的映射 $\pi: X \to Y$，在何种条件下卷积代数 $\operatorname{Q}(X \times_Y X)$ 与 $\operatorname{Q}(Y)$ 是 Morita 等价的？
• RQ2 导出纤维积 $X \times_Y X$ 在拟相干层的语境下，如何编码范畴化矩阵代数的结构？
• RQ3 如何通过该 Morita 等价性恢复 $\operatorname{Q}(X \times_Y X)$ 与 $\operatorname{Q}(Y)$ 的 Drinfeld 中心之间的关系？
• RQ4 对于仿射代数群 $G$ 及其子群 $K$，将 $G$-作用下的稳定 $\u221E$-范畴取 $K$-不变量，是否可理解为通过 Hecke 范畴 $\operatorname{Q}(K\backslash G/K)$ 实现的 Morita 等价？

主要发现

• 当 $\pi: X \to Y$ 为完美栈上的忠实平坦映射时，$\operatorname{Q}(X \times_Y X)$ 与 $\operatorname{Q}(Y)$ 之间存在由 Gaisgory 的 1-仿射性定理诱导的 Morita 等价性。
• 当 $\pi$ 为正规满射且 $X,Y$ 为光滑时，通过正规下降理论，该 Morita 等价性依然成立。
• 该等价性诱导出 $\operatorname{Q}(X \times_Y X)$ 与 $\operatorname{Q}(Y)$ 的 Drinfeld 中心之间的同构，验证了 [BFN] 中的结果。
• 该等价性意味着 $\operatorname{Q}(X \times_Y X)$ 与 $\operatorname{Q}(Y)$ 的相关拓扑量子场论是等价的。
• 对 $G$-作用在稳定 $\u221E$-范畴上取 $K$-不变量，可得到与 Hecke 范畴 $\operatorname{Q}(K\backslash G/K)$ 上模范畴的等价性，推广了经典不变量。
• $\operatorname{Q}(X \times_Y X)$-左模的 $\infty$-范畴是自对偶的，其对偶由右模范畴给出，通过双侧巴特构造实现。