[논문 리뷰] Triangulated categories of mixed motives

Denis-Charles Cisinski, Frédéric Déglise|2009. 12. 10.

Psychological Testing and Assessment인용 수 12

한 줄 요약

이 논문은 유한 차원의 노에테르 스킴 위에서 혼합 모티브의 삼등분 카테고리들을 구축하며, 체 위에서의 보에보드스키의 프레임워크를 확장한다. 유계 이론, 특이점의 조정을 통한 해소, 쿠릴렌의 K-이론 국소화를 사용하여 유리수 계수에 대해 그로텐디크의 여섯 연산 형식체계를 수립하며, 절대 순수성 정리를 증명하고, 구조적 모티브 층에 대해 그로텐디크-베르디에 이중성의 한 형태를 확립한다.

ABSTRACT

This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational coefficients satisfy the formalism of the six operations of Grothendieck. This is achieved by studying descent properties of motives, as well as by comparing different presentations of these categories, following and extending insights and constructions of Deligne, Beilinson, Bloch, Thomason, Gabber, Levine, Morel, Voevodsky, Ayoub, Spitzweck, Röndigs, Østvær, and others. In particular, the relation of motives with $K$-theory is addressed in full, and we prove the absolute purity theorem with rational coefficients, using Quillen's localization theorem in algebraic $K$-theory together with a variation on the Grothendieck-Riemann-Roch theorem. Using resolution of singularities via alterations of de Jong-Gabber, this leads to a version of Grothendieck-Verdier duality for constructible motivic sheaves with rational coefficients over rather general base schemes. We also study versions with integral coefficients, constructed via sheaves with transfers, for which we obtain partial results. Finally, we associate to any mixed Weil cohomology a system of categories of coefficients and well behaved realization functors, establishing a correspondence between mixed Weil cohomologies and suitable systems of coefficients. The results of this book have already served as ground reference in many subsequent works on motivic sheaves and their realizations, and pointers to the most recent developments of the theory are given in the introduction.

연구 동기 및 목표

• 체 위에서의 보에보드스키의 모티브 이론을 일반적인 유한 차원 노에테르 스킴 위에서 혼합 모티브로 확장하는 것.
• 알제브라 기하학에서 유리수 계수의 모티브에 대해 그로텐디크의 여섯 연산 형식체계를 수립하는 것.
• 알제브라적 K-이론의 쿠릴렌의 국소화 정리와 그로텐디크-리만-로흐 정리의 변형을 사용하여 절대 순수성 정리를 증명하는 것.
• 일반적인 기저 스킴 위에서 유리수 계수의 구조적 모티브 층에 대해 그로텐디크-베르디에 이중성의 한 형태를 개발하는 것.
• 잘 정의된 실현 함자들을 통해 혼합 위르 코homology와 계수 체계 사이의 관계를 규명하는 것.

제안 방법

• 이행을 가진 층과 니스네비치 위상수를 사용하여 모델 카테고리 기법을 통해 혼합 모티브의 삼등분 카테고리들을 구축한다.
• 호모토피적 불변성과 국소화 성질을 확보하기 위해 P-섬유화된 카테고리와 하이퍼커버에 대한 내림내림 이론을 적용한다.
• 데 장-감브르의 조정을 통한 특이점의 해소를 활용하여 순수성과 이중성 결과를 확립한다.
• 알제브라적 K-이론의 쿠릴렌의 국소화 정리를 사용하여 유리수 계수의 절대 순수성 정리를 증명한다.
• 모티브 설정에서 캐런 클래스와 푸시포워드 간의 관계를 규명하기 위해 그로텐디크-리만-로흐 정리의 변형을 도입한다.
• 계수 체계를 통한 모티브 카테고리에서 혼합 위르 코호몰로지로의 실현 함자를 수립한다.

실험 결과

연구 질문

• RQ1 보에보드스키의 체 위에서의 모티브 복합체는 어떻게 일반적인 유한 차원 노에테르 스킴 위에서 혼합 모티브로 일반화될 수 있는가?
• RQ2 일반적인 기저 스킴 위에서 유리수 계수의 모티브에 대해 그로텐디크의 여섯 연산 형식체계가 성립하는가?
• RQ3 알제브라적 K-이론과 특이점의 해소를 사용하여 모티브 설정에서 절대 순수성 정리를 증명할 수 있는가?
• RQ4 모티브 프레임워크에서 혼합 위르 코호몰로지와 계수 체계 사이의 관계는 무엇인가?
• RQ5 정수 계수 모티브는 어느 정도까지 여섯 연산 형식체계를 만족하며, 그 제한은 무엇인가?

주요 결과

• 유한 차원의 노에테르 스킴 위에서 유리수 계수의 혼합 모티브의 삼등분 카테고리가 전체 그로텐디크의 여섯 연산 형식체계를 갖는다.
• 유리수 계수의 모티브 층에 대해 절대 순수성 정리가 성립하며, 쿠릴렌의 국소화 정리와 수정된 그로텐디크-리만-로흐 정리의 조합을 통해 증명된다.
• 조정을 통해 일반적인 기저 스킴 위에서 유리수 계수의 구조적 모티브 층에 대해 그로텐디크-베르디에 이중성의 한 형태를 확립한다.
• 혼합 위르 코호몰로지와 계수 체계 사이에 대응관계를 설정하고, 잘 정의된 실현 함자를 통해 모티브 카테고리에서의 실현을 확보한다.
• 정수 계수의 경우, 이행을 가진 층을 통한 구성은 삼등분 카테고리를 얻지만, 여섯 연산 형식체계는 부분적으로만 성립한다.
• 이 결과들은 에테일 모티브, 모티브 스태이블 호모토피 이론, 강화된 실현 등 모티브 층 이론의 후속 발전을 위한 기초 참고 자료로 기능한다.