[논문 리뷰] Derived Algebraic Geometry

Bertrand Toën|arXiv (Cornell University)|2014. 01. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 82인용 수 9

한 줄 요약

이 논문은 호모토피 데이터를 포함하는 유도된 스킴을 고전적 스킴 대신 사용하여 기하학적 병리—예를 들어 비교교차 교차점과 비자유 군 작용—을 해결하는 유도된 대수기하학을 프레임워크로 제안한다. 높은 호크시드 호모로지(cohomology)를 통한 이동된 파울슨 구조와 변형 양자화 사이의 대응을 수립함으로써, 대수기하학과 수학물리학에서의 양자화를 위한 유도된 기하학적 기초를 제공한다.

ABSTRACT

This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.

연구 동기 및 목표

• 기하학적 병리적 교차점과 몫을 내재된 호모토피적 구조를 가진 기하학적 대상으로 간주하는 유도된 기하학적 프레임워크를 개발하기 위해.
• 순수한 교차점 대신 다중성과 차원 결함을 포함하는 유도된 교차점을 사용하여 고전적 교차 이론을 일반화하기 위해.
• 이동된 파울슨 구조와 높은 호크시드 호모로지(cohomology)를 통한 변형 양자화의 유도된 기하학적 해석을 수립하기 위해.
• ∞-카테고리와 유도된 스택의 언어를 통해 대수기하학, 변형 이론, 수학물리학의 개념을 통합하기 위해.
• 특히 차원 3 이상의 높은 기하학적 설정에서 심플렉틱 및 파울슨 구조의 양자화를 위한 기초를 제공하기 위해.

제안 방법

• ∞-카테고리와 유도된 대수기하학을 사용하여, E∞-링에 값이 있는 구조층을 가진 ∞-군족으로서 유도된 스킴을 형식화한다.
• 비교교차성 결함을 캐릭터화하는 경로 α가 있는 삼중체 (y, z, α)로 구성된 군족으로서 유도된 교차점을 도입한다. 여기서 y ∈ Y, z ∈ Z 이다.
• 형식적 모듈리 문제와 유도된 스택을 적용하여, gx와 x 사이의 경로를 통한 호모토피적 몫으로서 몫 스택을 기술한다.
• 유도된 코herent sheaf의 유도된 카테고리의 변형을 제어하는 전역 불변량으로서 높은 호크시드 호모로지 $\mathit{H\!H}^{E_{n+1}}(X)$를 활용한다.
• 이동된 파울슨 구조와 그 양자화를 정의하기 위해 유도된 루프 공간 $\mathcal{L}^{(n)}(X) = \mathbb{R}\mathbf{Map}(S^n, X)$을 사용한다.
• 높은 대수학과 변형 이론의 추측적이고 증명된 결과—예를 들어 콘테비치의 형식성 정리와 타마르킨의 유도된 스택으로의 확장—에 의존한다.

실험 결과

연구 질문

• RQ1 유도된 대수기하학은 기하학에서 비교교차 교차점을 어떻게 호모토피적 데이터를 부여함으로써 기하학적 구조로 다룰 수 있는가?
• RQ2 경로와 같은 호모토피적 데이터(예: 부분다양체 내 점들 사이의 경로)는 고전적 몫과 교차점을 어떻게 정밀화하는가?
• RQ3 유도된 스택 위의 이동된 파울슨 구조는 변형 양자화와 어떻게 관련되는가?
• RQ4 유고한 호크시드 호모로지 $\mathit{H\!H}^{E_{n+1}}(X)$는 $n$-이동된 파울슨 구조의 변형 양자화를 제어하는 데 정확히 어떤 역할을 하는가?
• RQ5 유도된 루프 공간과 그 코homological 불변량은 차원 3 이상에서 다양체의 양자 불변량을 구성하는 데 사용될 수 있는가?

주요 결과

• 유도된 교차점은 점들 사이의 경로와 같은 호모토피적 데이터를 통해 다중성과 차원 결함을 포함하는 기하학적 대상이다.
• 유도된 몫 $X/G$는 $x$와 $gx$ 사이에 호모토피로 연결된 스택으로서 실현되며, 고전적 몫 스택 구성의 일반화이다.
• 추측 5.8은 유도된 스택 $X$ 위의 $n$-이동된 파울슨 구조가 $k[-1] \to \mathit{H\!H}^{E_{n+1}}(X)[n+1]$의 사상과 대응됨을 제안한다. 이 사상은 변형 양자화를 제어한다.
• $n > 0$일 경우 유한성 조건 하에서 이 추측은 증명되었고, $n = 0$일 경우 $X$가 스무스 딜리뉴-멈포드 스택이면 콘테비치의 형식성 정리로부터 유도된다.
• 요소 $p \in F_{\mathit{H\!H}^{E_{n+1}}(X)[n+1]}(k[[t]])$는 유도된 $∞$-카테고리 $L_{\textit{qcoh}}(X)$의 형식적 변형을 정의하며, 이는 $n$-이동된 파울슨 구조의 양자화를 유도한다.
• 만약 $X = BG$ 이고 $p \in \text{Sym}^2(\mathfrak{g})^G$ 이면, 이 양자화는 $G$와 $p$에 해당하는 양자군을 회복하며, 이는 유도 기하학과 양자군을 연결한다.