[논문 리뷰] A note on the cotangent complex in derived algebraic geometry

Gabriele Vezzosi|arXiv (Cornell University)|2010. 08. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 6

한 줄 요약

이 논문은 유도 대수기하학의 관점에서 볼 때, 고전적 미분형식 복합체가 스킴의 모든 변형 이론을 자연스럽게 캐릭터라이즈한다는 것을 보여준다. 유도 무한소 디스크 $\mathbf{D}_i = \mathbb{R}\mathrm{Spec}\,k[\varepsilon_i]$를 도입함으로써, $\mathrm{Ext}^i(\mathbb{L}_{X,x}, k)$가 $\mathbb{R}\mathrm{Hom}_*(\mathbf{D}_i, (X,x))$에 기하학적으로 코표현됨을 보이며, 모든 차수에 걸쳐서 유도 스킴를 통해 변형 이론을 통합하고 일반화한다.

ABSTRACT

This note is supposed to answer some questions on deformation theory in derived algebraic geometry. We show that derived algebraic geometry allows for a geometrical interpretation of the full cotangent complex and gives a natural setting for deformation and obstruction theories.

연구 동기 및 목표

• 유도 대수기하학의 관점에서 재해석함으로써, 미분형식 복합체의 기하학적 역할을 명확히 하기 위해.
• 고전적 대수기하학에서 $\mathrm{Ext}^1(\mathbb{L}_{X,x}, k)$에 대한 기하학적 코표현 대상이 부재한 문제를 해결하기 위해.
• 유도 대수기하학의 공식적 발전 이전에도, 이미 미분형식 복합체가 유도 변형의 자료를 포함하고 있다는 것을 보여주기 위해.
• 유도 스킴 $\mathbf{D}_i$를 통해 모든 $\mathrm{Ext}^i(\mathbb{L}_{X,x}, k)$ 군에 대한 기하학적 해석을 제공하기 위해.
• 유도 미분형식 복합체 $\mathbb{L}_{\mathcal{X}^{\mathrm{der}}}$가 고전적 스택형 미분형식 복합체가 실패할 수 있는 경우에도 전체 변형 이론에 대해 적절한 객체임을 확립하기 위해.

제안 방법

• 기하학적 차수 $-i$에 생성자가 있는 cdga $k[\varepsilon_i] = k \oplus k[i]$를 사용하여 유도 $i$-차수 무한소 디스크 $\mathbf{D}_i = \mathbb{R}\mathrm{Spec}\,k[\varepsilon_i]$를 도입한다.
• 지정된 유도 스킴의 호모토피 범주 $\mathbf{dSch}_{*,k}$를 사용하여 $\mathbb{R}\mathrm{Hom}_*(\mathbf{D}_i, (X,x))$를 유도 변형의 공간으로 정의한다.
• 유도 Ext와 유도 호모지의 유도 범주 내에서의 관계를 통해 $\mathrm{Ext}^i_k(\mathbb{L}_{X,x}, k) \simeq \mathbb{R}\mathrm{Hom}_*(\mathbf{D}_i, (X,x))$의 표준적 동형을 확립한다.
• Illusie의 미분형식 복합체가 $X$를 유도 스킴로 간주할 때, 유도 복합체와 일치함을 [HAG-II]의 결과를 활용하여 보여준다.
• 유사한 프레임워크를 고차 스택에 적용하여, 유도 미분형식 복합체 $\mathbb{L}_{\mathcal{X}^{\mathrm{der}}}$가 전체 변형 이론을 제어함을 보여준다.
• 모듈리 스택 $\mathbf{Vect}_n(X)$의 사례를 통해, $\mathbb{L}^{\mathrm{der}}_{\mathcal{X}} \simeq \mathrm{C}^*_{\mathrm{Zar}}(X, \mathrm{End}(E))^\vee[-1]$임을 보이며, 기존의 알려진 변형 복합체와 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 모든 $i \geq 0$에 대해 고전적 Ext-군 $\mathrm{Ext}^i(\mathbb{L}_{X,x}, k)$가 일관된 방식으로 기하학적으로 코표현될 수 있는가?
• RQ2 $\mathrm{Ext}^1(\mathbb{L}_{X,x}, k)$가 고전적 대수기하학에서 기하학적 코표현 스킴를 갖지 못하는 이유는 무엇이며, 이를 어떻게 해결할 수 있는가?
• RQ3 유도 대수기하학에서의 미분형식 복합체의 역할은 무엇이며, 모든 차수에 걸쳐 변형 이론을 어떻게 통합하는가?
• RQ4 모듈리 스택 $\mathcal{X}$에 대해 유도 미분형식 복합체 $\mathbb{L}_{\mathcal{X}^{\mathrm{der}}}$는 고전적 스택형 미분형식 복합체와 어떻게 다를까?
• RQ5 주어진 $\mathcal{X}$에 대한 장애이론으로부터 유도 모듈리 확장 $\mathcal{X}^{\mathrm{der}}$를 재구성할 수 있는가?

주요 결과

• 유도 $i$-차수 무한소 디스크 $\mathbf{D}_i = \mathbb{R}\mathrm{Spec}\,k[\varepsilon_i]$는 동형 $\mathrm{Ext}^i_k(\mathbb{L}_{X,x}, k) \simeq \mathbb{R}\mathrm{Hom}_*(\mathbf{D}_i, (X,x))$를 통해 $\mathrm{Ext}^i_k(\mathbb{L}_{X,x}, k)$를 기하학적으로 코표현한다.
• 이 동형은 모든 $i \in \mathbb{N}$에 대해 성립하며, 이는 미분형식 복합체가 유도 범주 내에서 모든 유도 변형을 균일하게 캐릭터라이즈한다는 것을 보여준다.
• 고전적 미분형식 복합체 $\mathbb{L}_X$는 이미 유도 변형의 자료를 포함하고 있으므로, 유도 대수기하학은 이미 미분형식 복합체 안에 '이미 존재'하고 있었다는 것을 시사한다.
• 모듈리 스택 $\mathbf{Vect}_n(X)$의 경우, 유도 미분형식 복합체는 $\mathbb{L}^{\mathrm{der}}_{\mathcal{X}} \simeq \mathrm{C}^*_{\mathrm{Zar}}(X, \mathrm{End}(E))^\vee[-1]$로 주어지며, 기존의 표준 변형 복합체와 일치한다.
• 일반적으로 유도 미분형식 복합체 $\mathbb{L}_{\mathcal{X}^{\mathrm{der}}}$는 고전적 스택형 미분형식 복합체와 달리 진폭 $[-1, \infty)$로 유계되지 않으며, Avramov의 정리에 의해 제약을 받지 않는다.
• 다른 유도 확장 $\mathcal{X}^{\mathrm{der}}$는 서로 다른 장애이론을 유도할 수 있으며, K3 표면으로의 안정적 매핑의 경우 표준 장애이론과 감소 장애이론의 사례에서 이를 확인할 수 있다.