[논문 리뷰] Derived Algebraic Geometry V: Structured Spaces

Jacob Lurie|ArXiv.org|2009. 05. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 50인용 수 53

한 줄 요약

이 논문은 구조적 ∞-토포스와 전기하학을 사용하여 파생 대수기하학의 프레임워크를 개발하며, 파생 텐서곱과 Τ-구조를 통해 비전이 교차를 다룰 수 있도록 고전적 스킴 이론을 일반화한다. 파생 기하학에서 베즈우의 정리가 보편적으로 성립함을 입증하며, 교차의 차수를 파생 함자로 표현함으로써 대수기하, 복소해석기하, 미분기하의 설정을 동일한 형식론으로 통합한다.

ABSTRACT

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

연구 동기 및 목표

• 구조적 ∞-토포스와 Τ-구조의 ∞-카테고리 도입을 통해 고전적 스킴 이론을 파생 기하학으로 일반화하는 것.
• 비전이 교차에서의 베즈우의 정리 실패 문제를 파생 텐서곱과 Τ-구조를 통한 교차 차수의 표현으로 해결하는 것.
• τZar(C), τét(C), τDiff와 같은 전기하학을 사용하여 대수기하, 복소해석기하, 미분기하의 설정을 하나의 파생 프레임워크로 통합하는 것.
• C 위의 파생 델리뉴-멈포드 스택에서 파생 복소해석기하 공간으로의 분석화 함자를 구성하여 기하학적 구조를 유지하는 것.

제안 방법

• 전기하학 T를 사용하여 ∞-토포스 위의 T-구조를 정의함으로써 고전적 대수기하학에서의 구조층 개념을 일반화한다.
• T-대수에서 파생 스킴을 구성하기 위해 상대 스펙트럼 함자 SpecT를 도입함으로써 고전적 Spec 구성의 확장한다.
• 전체 파생 함자 ⊗L을 적용하여 고차 Tor-항을 포함하는 일반화된 링을 정의함으로써 스킴 이론 수준을 초월한 교차 차수를 포착한다.
• 구조적 공간의 카테고리에 인수 분해 체계를 설정하여 파생 설정에서 기하학적 모르피즘과 강하를 형식화한다.
• 전기하학 TStein을 사용하여 C 위의 파생 G-스킴에서 파생 복소해석기하 공간으로의 분석화 함자를 구성한다.
• 매끄러운 다양체와 오르비포드가 스펙트럼 구성 SpecTDiff(M)을 통해 TDiff-스킴의 ∞-카테고리에 완전충실하게 통합됨을 보여준다.

실험 결과

연구 질문

• RQ1 파생 대수기하학을 통해 비전이 교차에 대한 고전적 교차 이론을 어떻게 확장할 수 있는가?
• RQ2 교차 차수에서 고차 Tor-항을 포착하는 데 적합한, 고전적 구조층의 일반화된 형태는 무엇인가?
• RQ3 일반적인 형식론이 파생 설정에서 대수기하, 복소해석기하, 미분기하의 설정을 통합할 수 있는가?
• RQ4 파생 분석화 함자는 고전적 복소해석기하학과 어떻게 관련되어 있으며, 왜 ∞-카테고리 설정에서는 완전충실하지 않은가?
• RQ5 전기하학은 어떻게 구조적 ∞-토포스를 분류하고 파생 스킴을 구성하는 데 기여하는가?

주요 결과

• 전체 파생 텐서곱 O_C ⊗^L O_C'를 통해 정의된 파생 교차 C ∩ C'는 Tor-군의 오일러 지표로서 교차 차수를 정확히 표현하며, 전이 조건 없이도 베즈우의 정리가 성립함을 입증한다.
• 오른쪽 항이 파생 교차를 해석할 경우, [C] ∪ [C'] = [C ∩ C'] 공식은 비전이 또는 비기본적 교차의 경우에도 파생 기하학에서 보편적으로 성립한다.
• C 위의 파생 델리뉴-멈포드 스택에서 파생 복소해석기하 공간으로의 분석화 함자는 잘 정의되어 있으며 기하학적 구조를 유지하지만, ∞-카테고리 버전은 파생 해석기하층의 더 풍부한 구조로 인해 완전충실하지 않다.
• 매끄러운 다양체와 오르비포드는 스펙트럼 구성 SpecTDiff(M)을 통해 TDiff-스킴의 ∞-카테고리에 완전충실하게 통합된다.
• 파생 복소해석기하 공간의 구조층은 단순히 심플리셜 C-대수의 층이 아니라 임의의 복소해석함수와의 합성도 가능하며, 이는 대수기하의 경우에 존재하지 않는 특성이다.
• 파생 복소해석기하 공간의 카테고리와 국소적으로 링이 된 공간의 0-로컬릭 부분카테고리는 서로 동치가 아니며, 이는 파생 기하학과 고전적 해석기하학 사이의 근본적인 차이를 드러낸다.