[논문 리뷰] Affine stacks (Champs affines)

B. Toen|arXiv (Cornell University)|2000. 12. 21.

Avian ecology and behavior인용 수 4

한 줄 요약

이 논문은 아핀 스킴의 호모토피적 일반화로 아핀 스택을 제안하며, 유리수 및 p진 호모토피 이론을 위한 새로운 프레임워크를 제공한다. 일반적인 아핀화 유니버설 함자(affination functor)를 통해 스킴적 호모토플 타입을 구성함으로써, 유리수 및 p진 설정을 초월하여 그로텐디크의 스킴화 문제를 해결하고, 다양한 코homological 이론들을 대수적 다양체에 대한 호모토피적 모델을 통해 통합한다.

ABSTRACT

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and $p$-adic homotopy theory. This gives a first solution to A. Grothendieck's \emph{schematization problem} described in \cite{gr}. We also use affine stacks in order to introduce a notion of \emph{schematic homotopy types}. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyound rational and $p$-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various cohomology theories (Betti, de Rham, $l$-adic, ...), extending the well known constructions of the various fundamental groups. Finally, as algebraic stacks are obtained by gluing affine schemes we define \emph{$\infty$-geometric stacks} as a certain gluing of affine stacks. Example of $\infty$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.

연구 동기 및 목표

• 아핀 스택을 통해 아핀 스킴의 호모토피적 일반화를 개발하여, 유리수 및 p진 호모토피 이론에 대한 새로운 기하학적 해석을 가능하게 한다.
• 기본 군이 임의일 수 있는 공간을 위한 일반적인 구성으로서 스킴적 호모토플 타입을 도입함으로써 A. 그로텐디크의 스킴화 문제를 해결한다.
• 베티, 드 라무, l-진, 크리스탈린 코homology 이론들을 통합하기 위해 대수적 다양체에 스킴적 호모토플 타입을 연결한다.
• ∞-기하 스택을 아핀 스택의 붙임(gluing)으로 정의함으로써, dga 구조의 준동형에 대한 모듈리 이론을 고전적인 대수적 스택을 초월하여 확장한다.
• 필터링된 dga의 구조를 사용하여 비아벨리안 주기 매핑을 정의함으로써, 고전적인 아벨-자코비 이론을 일반화한다.

제안 방법

• 기본 환 위의 아핀 스킴의 fpqc 사이트 위의 단순형 프레시브레인을 사용하여 ∞-군족 값을 갖는 스택의 모델을 제공한다.
• 코연결 코단순 대수의 표현을 통해 표현되는 호모토플 타입으로서 아핀 스택을 정의하며, 이를 아핀 스킴의 일반화로 한다.
• 호모토플 타입에서 아핀 스택으로 가는 유니버설 아핀화 함자를 구성하며, 이는 유도된 유니버설 성질을 만족한다.
• 유니버설 함자적 구성에 의해, 유리수 및 p진 호모토플 타입의 개선된 형태로서 스킴적 호모토플 타입을 도입한다.
• 아핀화 함자를 적용하여, 베티, 드 라무, l-진, 크리스탈린 코homology 이론과 관련된 호모토플 타입을 구성한다.
• ∞-기하 스택을 아핀 스택의 ∞-카테고리적 코일림(colimit)으로 정의함으로써, dga의 구조와 필터링된 대수에 대한 모듈리 문제를 가능하게 한다.

실험 결과

연구 질문

• RQ1 아핀 스택은 어떻게 아핀 스킴의 호모토피적 일반화로서 유리수 및 p진 호모토플 타입을 모델링할 수 있는가?
• RQ2 호모토플 타입에서 아핀 스택으로 가는 유니버설 함자가, 유리수 및 p진 설정을 초월하여 그로텐디크의 스킴화 문제를 해결할 수 있는가?
• RQ3 스킴적 호모토플 타입은 어떻게 호모토플 모델을 통해 다양한 코homological 이론들(예: 베티, l-진, 크리스탈린)을 통합하는가?
• RQ4 필터링된 dga의 구조는 비아벨리안 주기 매핑을 정의하고 호지 필터의 변화를 제어하는 데 어떤 역할을 하는가?
• RQ5 ∞-기하 스택은 어떻게 고전적인 대수적 스택을 초월하여 대수적 구조의 모듈리 이론을 확장하는가?

주요 결과

• 아핀화 함자는 임의의 호모토플 타입에 대해 유도된 유니버설 성질을 만족하는 아핀 스택을 부여하는 유니버설 구성이다.
• 스킴적 호모토플 타입은 그로텐디크의 스킴화 문제에 대한 두 번째 해결책으로서, 임의의 기본 군을 가진 공간에 대해 유효하다.
• 복소수 프로젝티브 다양체의 경우, 스킴적 호모토플 타입은 기본 군과 유리수 호모토플 타입으로까지 연장되는 일반화된 호지 구조를 지닌다.
• l-진 스킴적 호모토플 타입은 연속적인 갈루아 작용을 지니며, 크리스탈린 타입은 F-이소크리스탈 구조를 지닌다.
• 준동형에 대해 dga의 구조를 분류하는 ∞-기하 스택은 아핀 스택의 붙임으로 구성된다.
• 비아벨리안 주기 매핑은 필터링된 dga의 구조를 통해 정의되며, 매끄러운 프로젝티브 다양체의 가속에서 호지 필터의 변화를 제어한다.