[논문 리뷰] Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne)

Vladimir Voevodsky|ArXiv.org|2008. 05. 28.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 모티브 코homology와 모티브 호모토피 범주에 대한 기초 강의를 제시하며, 모델 구조를 피하는 접근법을 강조하면서 핵심 결과를 증명한다. 고체 층과 두 개의 함자—$X \mapsto X/G$ 및 $X \mapsto X^W$—를 도입하여, 이들이 일괄적인 (ind-)고체 층 위에서 국소 및 $\mathbf{A}^1$-동치를 유지함을 보이고, 비가환 함자(예: 대칭 곱)를 모티브 호모토피 범주로 확장하는 데 기여한다.

ABSTRACT

These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show that they preserve equivalences between term-wise ind-solid simplicial sheaves.

연구 동기 및 목표

• 모델 구조에 의존하지 않고 모티브 코호몰로지와 모티브 호모토피 범주를 개발하며, 대체 호모토피 기법을 통해 핵심 정리를 증명한다.
• 비가환 모티브 호모토피 범주에서 $G$-스키마의 $\mathbf{A}^1$-동치를 새로운 닫힘 조건($\bar{\Delta}$-닫힘)을 사용하여 특성화한다.
• 고체 층을 정의하고 연구한다. 이는 주요 호모로지 연산에 대해 닫혀 있고, 표현 가능 층 및 톰 공간을 포함하는 클래스이다.
• 함자 $X \mapsto X/G$ 및 $X \mapsto X^W$ 가 (ind-)$고체 층에 제한되었을 때 국소 및 $\mathbf{A}^1$-동치를 유지함을 보인다.
• 고체 층 위에서 유도 함자를 통해 비가환 함자(예: 대칭 곱)를 스킴에서 모티브 호모토피 범주로 확장할 수 있도록 한다.

제안 방법

• 모티브 호모토피 범주는 $G$-스키마 위의 단순 층에서의 브라운-저르텐 닫힘 모델 구조를 통해 구성되며, 주요 증명에서는 명시적 모델 범주 기법을 피한다.
• $\mathbf{A}^1$-동치의 집합은 $\mathbf{A}^1$-국소화 후에 동형이 되는 사상들의 집합의 $\bar{\Delta}$-닫힘으로 특성화된다.
• 고체 층은 임의의 오른쪽 정확한 함자가 열린 포함을 보존하면 왼쪽 정확한 성질을 갖는다. 이 성질은 유도 함자를 제어하는 데 사용된다.
• 함자 $X \mapsto X/G$ 및 $X \mapsto X^W$ 는 점을 가진 층으로 확장되며, 쌍대곱 및 합집합의 논증을 통해 고체 구조와 동치를 유지함을 보인다.
• 핵심 기술적 도구로는 코카르티esian 사각형과 피보트 제품을 사용하여, 특히 국소 헨젤링 설정에서 $F^W$ 의 열린 사상과 고체 사상에 대한 행동을 분석한다.
• $F^{\wedge W}$ 를 $(F,\text{pt})^W_1$ 으로 몫을 취해 스마시 곱으로 구성함으로써, 호모토피 유형을 제어하고 $\mathbf{A}^1$-동치를 유지할 수 있다.

실험 결과

연구 질문

• RQ1 모델 구조에 의존하지 않으면서도 주요 정리인 $\mathbf{A}^1$-동치에 대한 결과를 증명할 수 있는 모티브 호모토피 범주를 어떻게 구성할 수 있는가?
• RQ2 등변 모티브 호모토피 범주에서 $G$-스키마의 $\mathbf{A}^1$-동치는 정확히 어떻게 특성화될 수 있는가?
• RQ3 고체 층의 집합을 정의하는 성질는 무엇이며, 왜 이들은 주요 호모토피 구조에 대해 안정적인가?
• RQ4 함자 $X \mapsto X/G$ 와 $X \mapsto X^W$ 는 고체 층에서 어떻게 행동하며, 국소 및 $\mathbf{A}^1$-동치를 유지하는가?
• RQ5 비가환 함자(예: 대칭 곱)는 모티브 호모토피 범주로 어떻게 확장될 수 있으며, 유도 함자와 어떤 조건에서 가환하는가?

주요 결과

• 모티브 호모토피 범주에서 $G$-스키마의 $\mathbf{A}^1$-동치 집합은 $\mathbf{A}^1$-국소화 후에 동형이 되는 사상들의 집합의 $\bar{\Delta}$-닫힘으로 특성화된다.
• 자명한 군 $G$ 의 경우, 이는 비등변 설정에서의 $\mathbf{A}^1$-동치에 대한 새로운 특성화를 제공한다.
• 고체 층은 함자 $X \mapsto X/G$ 와 $X \mapsto X^W$ 에 대해 닫혀 있으며, 이 함자들은 일괄적인 (ind-)$고체 층 사이의 국소 및 $\mathbf{A}^1$-동치를 유지한다.
• 스마시 곱 구성 $F^{\wedge W}$ 는 국소 및 $\mathbf{A}^1$-동치를 유지하며, $G$-국소 헨젤링 스킴에서의 값은 $W \times Y$ 의 성분들에 대한 곱으로 주어진다.
• 점 $pt \to F$ 가 고체일 때이고, 그리고 오직 그 때에만 $F^{\wedge W}$ 가 점을 가진 고체가 된다. 이는 호모토피 구조와의 호환성을 보장한다.
• 비가환 함자 $T(X) = (X^W \times E)/G$ 의 유도 함자 $\mathbf{L}T$ 는 고체 층 위에서 $T$ 와 일치한다. 이는 이러한 함자를 모티브 호모토피 범주에서 표현할 수 있음을 보여준다.