[논문 리뷰] Homotopical Algebraic Geometry II: geometric stacks and applications

Bertrand Toën, Gabriele Vezzosi|ArXiv.org|2004. 04. 21.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 모델 범주를 통해 유도적, 복합적, 브레이브 뉴 신경적 설정으로 일반화된 기하적 스택의 통합 프레임워크를 제안한다. 대칭 모나이드 모델 범주 위에서 기하적 스택의 강력한 이론을 수립하고, 장애 이론을 사용한 표현 가능성 기준을 증명하며, 유도 대수기하학에서의 기하적 대상(예: 국소 계수의 D-스택, 오페라드 위의 대수의 D-스택)을 도출한다.

ABSTRACT

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in specializing C to several different contexts. First of all, when C=k-Mod is the category of modules over a ring k, with the trivial model structure, we show that our notion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod, the model category of simplicial k-modules, and obtain this way a notion of geometric derived stacks which are the main geometric objects of Derived Algebraic Geometry. We give several examples of derived version of classical moduli stacks, as for example the derived stack of local systems on a space, of algebra structures over an operad, of flat bundles on a projective complex manifold, etc. Finally, we present the cases where C=(k) is the model category of unbounded complexes of modules over a char 0 ring k, and C=Sp^Σ the model category of symmetric spectra. In these two contexts, called respectively Complicial and Brave New Algebraic Geometry, we give some examples of geometric stacks such as the stack of associative dg-algebras, the stack of dg-categories, and a geometric stack constructed using topological modular forms.

연구 동기 및 목표

• 모델 범주를 사용하여 유도적 대수기하학에서 기하적 스택의 일반 이론을 개발한다.
• 기본적인 대수기하 스택, 유도 스택, 위상 스택의 개념을 하나의 프레임워크로 통합하고 일반화한다.
• 장애 이론과 유도적 올림프 성질을 사용하여 D-스택의 표현 가능성 기준을 수립한다.
• 유도적 및 고차 범주론적 맥락에서 고전적 모듈리 문제의 기하적 실현을 제공한다.
• 단순 복합체, dg, 스펙트럴 맥락을 포함한 유도적 맥락으로 점의 함의론적 접근을 확장한다.

제안 방법

• 대칭 모나이드 모델 범주에서 선형 및 교환 대수를 형식화하며, 유도, 코탄젠트 복합체, 유한성 조건을 포함한다.
• 기하적 스택을 내림내림 조건과 유도적 의미에서 국소 표현 가능성을 만족하는 모델 사이트 위의 스택으로 정의한다.
• 장애 이론을 적용하여 절단으로부터의 아틀라스의 매끄러운 릿지르를 구성하며, 호모토피 섬광과 장애 군의 0이 되는 것을 사용한다.
• 루리 이후의 표현 가능성 기준을 사용하여, D-스택이 표현 가능함을 증명하며, 그 절단이 표현 가능하고 장애 군이 적절한 차수에서 0이면 된다.
• 유도 대수기하학 기법을 활용하여, 절단 위의 표현 가능 스택들의 호모토피 극한으로 기하적 D-스택을 구성한다.
• 특정 맥락에 프레임워크를 적용한다: 단순 복합체 k-모듈러스(유도 스택), 무한 차수 복합체(복합적 스택), 대칭 스펙트럼(브레이브 뉴 스택).

실험 결과

연구 질문

• RQ1 모델 범주를 사용하여 기하학적 스택의 개념을 유도적 및 유도적 맥락으로 어떻게 일반화할 수 있는가?
• RQ2 유도적 또는 유도적 맥락에서 스택이 표현 가능해지기 위한 조건은 무엇인가?
• RQ3 장애 군은 고차 스택에서 아틀라스의 매끄러운 릿지르 존재를 어떻게 제어하는가?
• RQ4 유도 대수기하학에서 고전적 모듈리 문제(예: 국소 계수, 오페라드 위의 대수)의 기하적 실현은 무엇인가?
• RQ5 D-스택과 S-스택 맥락에서 매끄러움, 에탈 사상, 평탄성의 개념은 어떻게 확장되는가?

주요 결과

• 논문은 대칭 모나이드 모델 범주 위에서 예상되는 성질(예: 내림내림 조건, 국소 표현 가능성)을 만족하는 기하적 스택의 일반적 개념을 수립한다.
• 유도적 올림프 과정을 통해, D-스택이 표현 가능함을 증명하며, 그 0-절단이 표현 가능하고 장애 군이 차수 n 이하에서 0이면 된다.
• 공간 위의 국소 계수의 D-스택은 기하적 D-스택임을 보이며, 고전적 국소 계수의 모듈리 공간을 일반화한다.
• 오페라드 위의 대수의 D-스택은 기하적 D-스택으로 구성되며, 대수적 구조의 유도 모듈리 공간을 제공한다.
• 복소수 프로젝티브 다양체 위의 평탄한 복합체의 D-스택은 기하적 D-스택으로 실현되며, 고전적 모듈리 이론을 확장한다.
• 대칭 스펙트럼 맥락에서, 위상적 모듈라 형식을 사용하여 기하적 S-스택이 구성되며, 대수기하학과 안정 호모토피 이론을 연결한다.