[논문 리뷰] Derived complex analytic geometry I: GAGA theorems

Mauro Porta|arXiv (Cornell University)|2015. 06. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 16

한 줄 요약

이 논문은 유도된 복소해석기하학에서 유도된 분석화 함수를 개발하고, 국소적으로 거의 유한형인 유도된 복소해석기하 구조에 대해 기본적인 사상이 유도 평탄성을 만족함을 증명함으로써, 복소해석기하학에서의 유도된 GAGA 정리들을 수립한다. 핵심 기여는 해석적 형식 모듈리 문제와 대수적 형식 모듈리 문제 사이의 동치성을 보여주는 유도된 GAGA 원리의 버전을 제시하는 것으로, 이는 미분 기하학적 리 대수에 의해 지배되는 변형 이론에 응용된다.

ABSTRACT

In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme locally almost of finite presentation $X$, the canonical map $X^{\mathrm{an}} o X$ is flat in the derived sense. Next, we provide a comparison result relating derived complex analytic spaces to geometric stacks. Using these results and building on the previous work arXiv:1412.5166, we prove a derived version of the GAGA theorems. As an application, we prove that the infinitesimal deformation theory of a derived complex analytic moduli problem is governed by a differential graded Lie algebra.

연구 동기 및 목표

• 유도된 복소기하 구조의 이론을 확장하기 위해, 복소 스킴에 대한 유도된 분석화 함수를 개발한다.
• 해석기하학에서의 복소기하학적 모듈리 문제와 대수적 모듈리 문제 사이의 관계를 보여주는 유도된 GAGA 원리의 버전을 수립한다.
• 유도된 복소해석기하 모듈리 문제의 무한소 변형 이론이 미분 기하학적 리 대수에 의해 지배됨을 보인다.
• 포인트의 함수와 전기하학적 기하학을 이용하여, 유도된 분석기하 구조에 대한 함의적이고 스택 이론적 프레임워크를 제공한다.

제안 방법

• 유도된 스텐 공간 위의 $\tau_{\text{an}}$-위상에 기반한 포인트의 함수 접근법을 사용하여, 유도된 분석기하 구조를 기술한다.
• 복소수의 스펙트럼 위에서 국소적으로 거의 유한형인 유도된 덜니-무담 스택에 대해, 유도된 분석화 함수 $X \to X^{\text{an}}$ 를 도입한다.
• 분석환의 성질과 전기하학적 기하학의 성질을 이용하여, $(\text{X}^{\text{an}}, \text{O}_{X^{\text{an}}}^{\text{alg}}) \to (\text{X}, \text{O}_X)$ 의 기본 사상이 유도 평탄성을 만족함을 증명한다.
• 유도된 분석 아르틴 스택에 대해 그로텐디크의 정리를 적용하여, 유도된 설정에서의 유한성과 적절한 기저 변경 성질을 확립한다.
• $\bbinfty$-위상공간과 분석환의 $\bbinfty$-카테고리 이론을 사용하여, 유도된 분석기하와 대수적 구조를 비교한다.
• n-절단 함수와 기하학의 n-스터브를 사용하여, 유도된 기하학과 고전적 분석기하 스택 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 국소적으로 거의 유한형인 유도된 복소해석기하 구조에 대해, 유도된 분석화 함수가 유도 평탄성을 유지하는가?
• RQ2 유도된 분석 아르틴 스택에 대해, 유도된 GAGA 정리의 버전을 수립할 수 있는가?
• RQ3 유도된 복소해석기하 모듈리 문제의 변형 이론은 미분 기하학적 리 대수에 의해 지배되는가?
• RQ4 유도된 분석기하 구조가 $\tau_{\text{an}}$-위상공간인 유도된 스텐 공간의 $\bbinfty$-카테고리에 완전 충실하게 통합되는 정도는 어느 정도인가?
• RQ5 분석환의 n-절단은 기저가 되는 고전적 분석기하적 구조와 어떻게 관련되는가?

주요 결과

• 국소적으로 거의 유한형인 복소수 위에서의 유도된 덜니-무담 스택에 대해, 유도된 분석화 함수 $X \to X^{\text{an}}$ 가 존재하며, 이는 유도 평탄성을 만족한다.
• 기본 사상 $(\text{X}^{\text{an}}, \text{O}_{X^{\text{an}}}^{\text{alg}}) \to (\text{X}, \text{O}_X)$ 는 유도 평탄성을 만족하며, 고전적 그로텐디크-세라 분석화의 일반화이다.
• 유도된 GAGA 정리가 성립한다: 유도된 분석 아르틴 스택의 전순사형 사상에 대해, 고차원 직접 이미지가 기저 변경과 가환하며 유한성 조건을 만족한다.
• 해석적 형식 모듈리 문제와 대수적 형식 모듈리 문제 사이에 동치가 존재하며, 이는 유도된 GAGA 대응을 수립한다.
• 유도된 분석 모듈리 문제의 국소적 구조는 미분 기하학적 리 대수에 의해 지배되며, 비아벨리안 허드 기하학의 핵심 예측을 확인한다.
• $\tau_{\text{an}}$-위상공간인 유도된 스텐 공간의 $\bbinfty$-카테고리가 유도된 분석기하 구조의 $\bbinfty$-카테고리에 완전 충실하게 통합되며, n-국소적 및 n-절단된 대상에서 동치가 성립한다.