[논문 리뷰] Tannaka Duality for Geometric Stacks

Jacob Lurie|ArXiv.org|2004. 12. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 42

한 줄 요약

이 논문은 복소수 위의 기하적 스택에 대한 Tannaka 대칭성을 수립하며, $X$가 기하적일 경우, $S$가 복소수 위의 올바른 Deligne-Mumford 스택이라면 해석화(functor)가 대수적 및 해석적 사상 사이의 동치를 유도함을 증명한다. 주요 결과는 $X$가 기하적(유계이며 대각선이 애매한)일 경우, 해석화 유도자 $ \phi: \operatorname{Hom}_{ \mathbf{C}}(S,X) \to \operatorname{Hom}(S^{\operatorname{an}},X^{\operatorname{an}})$ 가 동치임을 보이며, 이는 코herent sheaf 위의 텐서 유도자들을 통해 스택으로의 GAGA 원리의 일반화이다.

ABSTRACT

We show that, under appropriate hypothesis, the groupoid of maps from S to an an algebraic stack X can be identified with a category of tensor functors from coherent sheaves on X to coherent sheaves on S. As an application, we show that if S is a proper variety over the field of complex numbers, then every ``analytic'' map from S to X is ``algebraic''.

연구 동기 및 목표

• 대수적 스택 $X$ 에 대해, 해석화 유도자 $\phi: \operatorname{Hom}_{\mathbf{C}}(S,X) \to \operatorname{Hom}(S^{\operatorname{an}},X^{\operatorname{an}})$ 가 동치가 되는 자연스러운 조건을 찾는 것.
• 기본적인 GAGA 정리들을 스킴과 몫 스택을 초월하여 더 넓은 범주인 스택으로 일반화하는 것.
• 코herent sheaf 위의 당김 유도자들을 사용하여, 대수적 및 해석적 환경에서 모두 $f: S \to X$ 의 사상에 대한 Tannakian 특성화를 수립하는 것.
• 특히 $X$가 기하적이고 $S$가 $\mathbf{C}$에 대해 올바른 Deligne-Mumford 스택일 경우, 해석화 유도자가 동치임을 증명하는 것.

제안 방법

• 대수적 환경에서 사상 $f: S \to X$ 를 당김 유도자 $f^*: \operatorname{Coh}_X \to \operatorname{Coh}_S$ 를 통해 특성화하는 것.
• 해석적 환경로로 $S$와 $X$의 해석화 및 그에 따른 코herent sheaf 위의 유도자를 사용하여 이를 확장하는 것.
• Serre의 GAGA 정리를 사용하여, $\operatorname{Coh}_S$ 와 $\operatorname{Coh}_{S^{\operatorname{an}}}$ 가 아벨 텐서 범주로서 동치임을 확립하는 것.
• 유도자 $F: \operatorname{Coh}_X \to \operatorname{Coh}_S$ 가 사상 $S \to X$ 에 의해 유도될 수 있음이, 그 해석화가 온전히 보존되는 것(즉, 평탄성과 정확성 보존)과 동치임을 증명하는 것.
• 해석화 사상 $p: (S^{\operatorname{an}}, \mathcal{O}_{S^{\operatorname{an}}}) \to (S, \mathcal{O}_S)$ 가 충실하게 평탄함을 보여, 평탄성 성질의 내림(내림내림)을 가능하게 하는 것.
• 해석화에 대한 당김 유도자의 행동을 비교함으로써, 대수적 및 해석적 환경에서 유도되는 유도자들의 부분범주가 일치함을 보이는 것.

실험 결과

연구 질문

• RQ1 스택 $X$ 에 대해 어떤 조건이 $S$ 가 올바른 경우 해석화 유도자 $\phi: \operatorname{Hom}_{\mathbf{C}}(S,X) \to \operatorname{Hom}(S^{\operatorname{an}},X^{\operatorname{an}})$ 가 동치가 되게 하는가?
• RQ2 벡터 번들의 및 코herent sheaf에 대한 고전적 GAGA 원리가 일반 스택으로의 사상으로까지 확장될 수 있는가?
• RQ3 올바른 Deligne-Mumford 스택에서 기하적 스택으로의 사상에 대해, 대수적 및 해석적 범주에서 Tannakian 특성화가 존재하는가?
• RQ4 사상의 해석화가 코herent sheaf 위의 텐서 유도자로 인식될 수 있으며, 이러한 유도자가 언제 사상으로 올라갈 수 있는가?
• RQ5 해석화 사상 $p: S^{\operatorname{an}} \to S$ 의 어떤 성질이 평탄성과 정확성을 당김에 대해 보존하게 하는가?

주요 결과

• 스택 $X$ 가 복소수 위의 유한형 기하적 스택이고 $S$ 가 복소수 위의 올바른 Deligne-Mumford 스택일 경우, 해석화 유도자 $\phi: \operatorname{Hom}_{\mathbf{C}}(S,X) \to \operatorname{Hom}(S^{\operatorname{an}},X^{\operatorname{an}})$ 는 동치이다.
• 사상 $f: S \to X$ 는 평탄성과 정확성을 보존하는 텐서 유도자 $f^*: \operatorname{Coh}_X \to \operatorname{Coh}_S$ 와 동치이며, 이 특성화는 해석적 환경으로까지 확장된다.
• 해석화 사상 $p: (S^{\operatorname{an}}, \mathcal{O}_{S^{\operatorname{an}}}) \to (S, \mathcal{O}_S)$ 는 충실하게 평탄하므로, 해석적 환경에서의 평탄성 성질을 대수적 환경으로 내림내림할 수 있다.
• 스택 $S$ 의 코herent sheaf 범주와 $S^{\operatorname{an}}$ 의 코herent sheaf 범주는 아벨 텐서 범주로서 동치이며, 이는 대수적 및 해석적 유도자 간 비교를 가능하게 한다.
• 유도자 $F: \operatorname{Coh}_X \to \operatorname{Coh}_S$ 가 사상 $S \to X$ 에 의해 유도될 수 있음이, 그 해석화 $F^{\operatorname{an}}$ 이 온전히 보존되는 것(즉, 평탄성과 정확성 보존)과 동치임을 증명한다.
• 만약 $X$ 가 기하적이지 않다면 결과는 성립하지 않으며, 예를 들어 $X$ 가 아벨 다양체의 분류 스택일 경우 실패한다.