[논문 리뷰] Algebraic Geometry over model categories (a general approach to derived algebraic geometry)

Bertrand Toën, Gabriele Vezzosi|ArXiv.org|2001. 10. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 11

한 줄 요약

이 논문은 모델 범주를 이용한 유도 대수기하학의 일반적 프레임워크를 제안하며, 대칭 모노이드 모델 범주 위에서 기하 스택을 정의한다. 이는 모델 범주 위의 그로텐디크 위상으로 스택의 호모토피 이론을 구축하고, 복소수 위에서의 DG-스키마를 스택으로 해석하며, $E_\infty$-링 스펙트럼에 대해 에탈 K-이론을 정의하는 데 응용한다.

ABSTRACT

For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model category; geometric stacks are the fundamental objects to "do algebraic geometry over model categories". We give two examples of applications of this formalism. The first one is the interpretation of DG-schemes as geometric stacks over the model category of complexes and the second one is a definition of etale K-theory of E_{\infty}-ring spectra. This first version is very preliminary and might be considered as a detailed research announcement. Some proofs, more details and more examples will be added in a forthcoming version.

연구 동기 및 목표

• 대칭 모노이드 모델 범주 위에서의 일반적인 대수기하학 이론을 개발하여, 고전적 스킴과 스택을 유도적 설정으로 확장한다.
• 호모토피 그로텐디크 위상이 부여된 모델 범주 위에서 호모토피 층(스택)으로서 기하 스택을 정의한다.
• 고전적 대상들인 DG-스키마와 $E_\infty$-대수를 유도 기하적 맥락에서 통합적으로 해석할 수 있는 프레임워크를 제공한다.
• 스택 이론적 형식을 사용하여 $E_\infty$-링 스펙트럼에 대해 에탈 K-이론을 구축한다.
• 모델 범주 구조를 통한 $\Pi$-범주와 $\infty$-범주 기반의 유도 대수기하학 프로그램의 기초를 다진다.

제안 방법

• 반모델 범주 위에 호모토피 그로텐디크 위상을 도입하여, 고전적 위상을 호모토피적 설정으로 일반화한다.
• 단순형 집합의 사전층 위의 국소화 모델 구조에서의 프라브리언트 재구성으로 스택의 모델 범주를 구성한다.
• 요다 임bedding을 사용하여 형식적으로 호모토피 쌓음(colimit)을 추가함으로써, 사전층 범주 내에서 호모토피 쌓음으로써 아핀 대상들을 붙일 수 있도록 한다.
• 스펙트럼 내 $E_\infty$-대수의 모델 범주에 이 형식을 적용하여, K-이론 사전층의 프라브리언트 재구성으로 에탈 K-이론을 정의한다.
• 호모토피 하이퍼커버에 대해 효과적인 내림림을 만족하는 스택으로서 기하 스택을 정의하여, 고전적 대수기하 스택을 일반화한다.
• 강하게 이중가능한 모듈러의 발라운드만 범주 림프레시프레시프의 림프레시프를 정의하여, 단순형 집합에 값이 있는 K-이론 사전층을 이끌어낸다.

실험 결과

연구 질문

• RQ1 대칭 모노이드 모델 범주 위에서의 유도적 대수기하학을 어떻게 정의할 수 있는가?
• RQ2 모델 범주와 그 위상이 스택의 범주가 좋은 호모토피 이론의 성질을 갖도록 하기 위해 어떤 조건이 필요한가?
• RQ3 DG-스키마는 체인 복소수의 모델 범주 위에서 자연스럽게 기하 스택으로 해석될 수 있는가?
• RQ4 호모토피 대수학과 스택 이론적 내림림을 사용하여 $E_\infty$-링 스펙트럼에 대해 에탈 K-이론을 어떻게 정의할 수 있는가?
• RQ5 이 유도 기하 맥락에서 강하게 이중가능한 모듈러가 K-이론 사전층을 구성하는 데 어떤 역할을 하는가?

주요 결과

• DG-스키마는 무한 복소수의 모델 범주 위에서 기하 스택으로서 실현되어, 고전적 대수기하학의 유도적 해석을 제공한다.
• 대칭 모노이드 모델 범주 위에서의 스택의 범주는 호모토피 하이퍼커버에 대해 내림림을 만족하는 잘 정의된 모델 구조를 갖는다.
• $E_\infty$-대수의 스펙트럼 위의 K-이론 사전층은 발라운드만 범주 림프레시프의 림프레시프로 구성되며, 단순형 K-이론 공간을 이끈다.
• $E_\infty$-링 스펙트럼 $A$의 에탈 K-이론은 에탈 위상에서 K-이론 사전층의 프라브리언트 재구성으로 정의되며, 자연스러운 국소화 준동형 $ \mathbb{K}(A) \to \mathbb{K}_{\text{et}}(A)$ 를 유도한다.
• $\mathbb{K}_{\text{et}}(A)$ 의 구성은 $Sp^\Sigma_{\mathbb{U}}$-아핀 스킴 위에 정의된 위상(형식적 에탈성, 유한 표현성, 기저 변경 함자에 대한 보존성)을 통해 잘 정의된다.
• $E_\infty$-대수 위의 모듈러의 호모토피 범주는 닫힌 대칭 모노이드 범주임을 보여주어, 강하게 이중가능한 대상의 정의가 가능하고 따라서 잘 정의된 K-이론이 가능하다.