[논문 리뷰] Morita equivalence for convolution categories: Appendix to arXiv:0805.0157

Dani Ben‐Zvi, John Francis외 1명|arXiv (Cornell University)|2012. 09. 02.

Algebraic structures and combinatorial models참고 문헌 7인용 수 5

한 줄 요약

이 논문은 $\pi: X \to Y$가 충실하게 평탄하거나, 매끄러운 스택에서의 올림, 전사일 조건 하에, 유도된 피보팅 곱 $X \times_Y X$ 위의 코herent sheaf의 안정적 ∞-범주와 $\operatorname{Q}(Y)$ 사이의 유도된, 분류화된 모리타 동치를 수립한다. 이 동치는 $\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).

연구 동기 및 목표

• 완전 스택 위의 코herent sheaf를 이용해 고전적 모리타 동치를 유도적, 분류화된 설정으로 확장하는 것.
• 모르타 동치가 $\operatorname{Q}(X \times_Y X)$와 $\operatorname{Q}(Y)$ 사이에 성립하는 조건을 설정하여 유 endo 집합의 일반화를 이루는 것.
• 이 동치가 드린펠트 중심과 관련된 위상적 장 이론의 동치를 암시하는 것을 보여주는 것.
• G-작용에 대한 K-불변량이 Hecke 범주 $\operatorname{Q}(K\backslash G/K)$ 위의 모듈러 범주와의 동치를 유도하는 것을 보여주는 것.

제안 방법

• 완전 스택 $X$와 $Y$의 설정에서, $\operatorname{Q}(X)$와 $\operatorname{Q}(Y)$가 코herent sheaf의 컴팩트 생성된 안정적 ∞-범주임을 전제로 한다.
• 모르타 동치를 유도하기 위해, 사상 $\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))$로 식별한다.
• 대칭 모나이드 ∞-범주에서의 모듈러 범주 이론과 이중성 이론을 활용하여, 모듈러 범주 간의 동치와 $\operatorname{Q}(X)$-모듈러의 이중성 증명한다.

실험 결과

연구 질문

• RQ1 완전 스택의 사상 $\pi: X \to Y$에 대해, 콘볼루션 대수 $\operatorname{Q}(X \times_Y X)$가 언제 $\operatorname{Q}(Y)$와 모리타 동치가 되는가?
• RQ2 유도된 피보팅 곱 $X \times_Y X$는 코herent sheaf의 맥락에서 어떻게 분류화된 행렬 대수의 구조를 캐리하는가?
• RQ3 드린펠트 중심 $\operatorname{Q}(X \times_Y X)$와 $\operatorname{Q}(Y)$ 사이의 관계는 무엇이며, 이 동치를 통해 어떻게 복원되는가?
• RQ4 기하학적 군 $G$와 부분군 $K$에 대해, $K$-불변량으로의 전이가 Hecke 범주 $\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-작용이 안정적 ∞-범주에 작용할 때, K-불변량으로의 전이는 Hecke 범주 $\operatorname{Q}(K\backslash G/K)$ 위의 모듈러 범주와의 동치를 유도하며, 고전적 불변량을 일반화한다.
• 왼쪽 $\operatorname{Q}(X \times_Y X)$-모듈러의 ∞-범주는 오른쪽 모듈러의 범주로 이중성을 가지며, 이는 양면 바 구조를 통해 주어진다.