[논문 리뷰] Derived Algebraic Geometry IV: Deformation Theory

Jacob Lurie|ArXiv.org|2007. 09. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 43인용 수 14

한 줄 요약

이 논문은 유도 대수기하학을 통해 $E_\infty$-링의 맥락에서 코탄제너트 복합체와 변형 이론의 이론을 개발한다. 에탈 사상이 상대 코탄제너트 복합체의 영함으로 특징지어지고, 이러한 사상들이 그들의 단절로 감지됨을 증명함으로써, 강력한 변형론적 분류가 가능해진다.

ABSTRACT

In this paper, we prove some foundational results on the deformation theory of E-infinity ring spectra.

연구 동기 및 목표

• 유도 대수기하학에서 $E_\infty$-링으로의 클래스적 켈러 미분과 코탄제너트 복합체 이론을 일반화하기 위해.
• 코탄제너트 복합체를 핵심 불변량으로 삼아 $E_\infty$-링을 위한 변형론적 프레임워크를 개발하기 위해.
• 상대 코탄제너트 복합체의 영함으로 $E_\infty$-링의 에탈 사상들을 특징지기 위해.
• 단절과 사상 공간의 동치를 통해 $E_\infty$-대수 사상의 호모토피론적 분류를 확립하기 위해.
• 코탄제너트 복합체가 $E_\infty$-링의 $\infty$-카테고리에서 변형 문제를 지배함을 증명하기 위해.

제안 방법

• 절대 코탄제너트 복합체 $L_A$를 보편 유도 객체로 정의하기 위해 $\infty$-카테고리적 탄젠트 복합체 구축을 사용한다.
• 안정된 캡슐화와 상대 수반 구조의 형식을 적용하여 일반 $\infty$-카테고리에서 코탄제너트 복합체를 정의한다.
• $E_\infty$-링의 사상에 대해 상대 코탄제너트 복합체 $L_{B/A}$를 구성하고, $C$ 위의 모듈러의 안정 카테고리에서 분리 삼각형을 증명한다.
• 제곱영 확장과 포스트니코프 타워를 사용하여 변형 함수를 분석하고 사상 공간의 호모토피 동치를 증명한다.
• 연결 캐버링과 단절 이론을 적용하여 문제를 연결된 경우로 환원한다.
• 기저 전환 함자 $f_!$를 사용하여 사상들 사이에서 코탄제너트 복합체를 연결하고 기본 분리 삼각형을 도출한다.

실험 결과

연구 질문

• RQ1 클래식한 교환 복합체의 이론을 어떻게 $E_\infty$-링으로 일반화할 수 있는가? 유도 대수기하학의 맥락에서.
• RQ2 에탈 사상이 코탄제너트 복합체의 어떤 성질로 특징지어지는가?
• RQ3 어떤 조건에서 $E_\infty$-링의 사상이 그들의 단절로 가는 사상 공간에 대해 호모토피 동치를 유도하는가?
• RQ4 코탄제너트 복합체는 $E_\infty$-링의 $\infty$-카테고리에서 변형 문제를 어떻게 지배하는가?
• RQ5 상대 코탄제너트 복합체 $L_{B/A}$, $L_{C/A}$, $L_{C/B}$를 포함하는 분리 삼각형은 변형 이론에서 어떤 역할을 하는가?

주요 결과

• 상대 코탄제너트 복합체 $L_{B/A}$가 영이 되는 것과 연결된 $E_\infty$-링의 사상 $f: A \to B$가 $π_0$에서 동형을 유도하고, 등가사상이 되는 것은 필수적 조건이다.
• 에탈 사상은 상대 코탄제너트 복합체의 영함으로 특징지어지며, 이는 고전적 기준을 일반화한다.
• 단절 사상 $C \to π_0 C$는 좋은 사상이며, 이는 사상 공간 $\operatorname{Map}_{({\mathfrak{E}}_{\infty})_{A/}}(B,C) \to \operatorname{Map}_{({\mathfrak{E}}_{\infty})_{\pi_0A/}}(B^\prime,\pi_0C)$ 에 대해 호모토피 동치를 유도한다.
• 코탄제너트 복합체는 변형 문제를 지배한다: $A$-모듈 $M$에 대해, $A$-대수 사상의 호모토피 피브어는 $\operatorname{Map}_{\operatorname{Mod}_B}(L_{B/A}, M)$ 에 의해 제어된다.
• 호모토피 카테고리에서 $C$ 위의 안정 카테고리의 모듈에 대해 분리 삼각형 $f_!L_{B/A} \to L_{C/A} \to L_{C/B} \to f_!L_{B/A}[1]$ 이 성립하며, 이는 기본적인 구조적 도구를 제공한다.
• 연결된 $E_\infty$-링의 포스트니코프 타워는 제곱영 확장들로 이루어져 있으며, 타워의 극한은 원래 링과 호모토피 동치이므로, 귀납적 추론이 가능하다.