[논문 리뷰] Motivic Eilenberg-Maclane spaces

Vladimir Voevodsky|arXiv (Cornell University)|2008. 05. 28.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 9

한 줄 요약

이 논문은 특성 0인 체 위의 스킴에 대해, f-적합한 범주(스무스 및 준정규 준사영 스킴 포함)에서 모티브 호모토피 범주에서 대칭 거듭제곱을 구성하여, 모티브 코homology를 표현하는 모티브 Eilenberg-MacLane 공간을 기술한다. 핵심 결과는 특성 0인 체 위에서 스투스 스킴에서의 이중안정 모티브 코homological 연산 대수의 완전한 계산을 통해, 이 대수가 특성 0인 체 위에서의 모티브 스틴로드 대수와 정확히 일치함을 보여준다.

ABSTRACT

This paper is the second one in a series of papers about operations in motivic cohomology. Here we show that in the context of smooth schemes over a field of characteristic zero all the bi-stable operations can be obtained in the usual way from the motivic reduced powers and the Bockstein homomorphism.

연구 동기 및 목표

• 체 위의 스킴에 대해 모티브 호모토플리이 범주에서 대칭 거듭제곱 구성법을 개발한다.
• 스무스 및 준정규 준사영 스킴을 포함한 f-적합한 범주에서 모티브 Eilenberg-MacLane 공간을 기술하여, 이들이 모티브 코homology를 표현함을 설명한다.
• 특성 0인 체 위의 스투스 스킴에서의 이중안정 모티브 코homological 연산 대수의 완전한 계산을 제공한다.
• 블로흐-카토 추측의 증명에 필수적인 불안정 연산을 이해하기 위한 기초 도구를 확립한다.
• 모티브 호모토플리이 이론에서, 점이 있는 대상, 유한 대응, r-덧셈 함수의 호모토피 이론을 동일한 프레임워크 안에서 통합한다.

제안 방법

• f-적합한 범주—곱, 에테일 사상, 코프로덕트, 유한군 몫에 대해 닫혀 있는 스킴의 부분범주—를 도입하여, 스투스 스킴을 초월한 범위로 확장한다.
• r-덧셈 함수의 형식적 체계를 적용하여, 단순한 r-덧셈 함수의 맥락에서 비점이 있는, 점이 있는, 전이를 포함한 호모토플리이 이론을 통일적으로 다룬다.
• C_+와 Cor(C,R)의 (Nis, bA^1)-호모토플리이 범주에서 일반화된 대칭 거듭제곱을 구성하여, 모티브 Eilenberg-MacLane 공간의 연구를 가능하게 한다.
• Dold-Kan 대응을 사용하여 단순한 r-덧셈 함수와 비양성 복합체를 연결함으로써, 호모로지 대수 도구의 사용을 가능하게 한다.
• 베르디에르 폐쇄와 $ar{Delta}$-폐쇄 기법을 적용하여, r-덧셈 함수의 도파인 범주에서의 호모토플리이 클래스와 프로젝티브 동치 관계를 분석한다.
• 모티브 Dold-Thom 정리를 확립하고, 모티브 무어 쌍을 정의하여 모티브 Eilenberg-MacLane 공간의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 모티브 호모토플리이 범주에서, 유한 대응과 점이 있는 스킴의 대칭 거듭제곱은 어떻게 구성할 수 있는가?
• RQ2 p \geq q 일 때, C에서의 모티브 Eilenberg-MacLane 공간 K(A,p,q)_C는 대칭 거듭제곱과 r-덧셈 함수에 대해 어떻게 정확히 기술할 수 있는가?
• RQ3 모티브 Eilenberg-MacLane 공간이 모티브 코homology를 표현하는 f-적합한 범주는 무엇인가?
• RQ4 특성 0인 체 위의 스투스 스킴에서의 이중안정 모티브 코호몰로지 연산 대수의 구조는 무엇인가?
• RQ5 블로흐-카토 추측에 필요한 불안정 연산은 모티브 Eilenberg-MacLane 공간과 그들의 대칭 거듭제곱 구조와 어떻게 관련되어 있는가?

주요 결과

• f-적합한 범주(스무스 및 준정규 준사영 스킴 포함)에서, (Nis, bA^1)-호모토플리이 범주에서의 대칭 거듭제곱을 통해 모티브 Eilenberg-MacLane 공간 K(A,p,q)_C가 기술된다.
• 특성 0인 체에서, bZ/l 계수를 가진 \\Delta^{op}(Sm/k)_+^\sharp에서의 모든 이중안정 모티브 코호몰로지 연산 대수는 정리 3.49에 따라 모티브 스틴로드 대수 \\mathcal{A}^{*,*}(k,\bbZ/l)와 동형이다.
• H_{Nis,\bbA^1}(Cor(C,R))에서의 대칭 거듭제곱 구성은 모티브 코호몰로지의 안정적 기술을 제공하며, 고전적 Dold-Thom 정리를 모티브 설정으로 일반화한다.
• C_+와 Cor(C,R) 위의 r-덧셈 함수의 범주는 모티브 호모토플리이 이론을 통일적으로 다룰 수 있게 하여, 점이 있는 설정과 전이를 포함한 설정을 통합한다.
• 정리 2.76, 3.25, 3.32는 불안정 연산에 대한 필수 결과를 제공하며, 블로흐-카토 추측의 증명에 핵심적인 기초를 마련한다.
• 모티브 Dold-Thom 정리와 모티브 무어 쌍의 구조는 모티브 Eilenberg-MacLane 공간의 호모토플리이 유형을 분석하는 도구로 확립된다.