[논문 리뷰] Weights for relative motives; relation with mixed sheaves

Mikhail V. Bondarko|arXiv (Cornell University)|2010. 07. 26.

Advanced Algebra and Geometry참고 문헌 9인용 수 1

한 줄 요약

이 논문은 기초 스킴 $S$ 위의 베일린슨 모티프의 카우 차 구조를 도입하여, 혼합 층과 유사한 함의적 성질을 확립하고, $K^b(Chow(S))$로의 정확하고 충실한 무게 복합체 함의를 가능하게 한다. 이는 그로텐디크의 $S$-모티프의 $K_0$-군이 $K_0(Chow(S))$와 동형임을 증명하고, 모티프적 오일러 지표를 정의하며, 새로운 상대 무게 구조 형식을 통해 정수 모티프 코homology와 혼합 층의 무게와 연결된 카우-무게 스펙트럴 시퀀스를 구성한다.

ABSTRACT

The main goal of this paper is to define the so-called Chow weight structure for the category of Beilinson motives over any 'reasonable' base scheme $S$ (this is the version of Voevodsky's motives over $S$ defined by Cisinski and Deglise). We also study the functoriality properties of the Chow weight structure (they are very similar to the well-known functoriality of weights for mixed complexes of sheaves). As shown in a preceding paper, the Chow weight structure automatically yields an exact conservative weight complex functor (with values in $K^b(Chow(S))$). Here $Chow(S)$ is the heart of the Chow weight structure; it is 'generated' by motives of regular schemes that are projective over $S$. Besides, Grothendiek's group of $S$-motives is isomorphic to $K_0(Chow(S))$; we also define a certain 'motivic Euler characteristic' for $S$-schemes. We obtain (Chow)-weight spectral sequences and filtrations for any cohomology of motives; we discuss their relation to Beilinson's 'integral part' of motivic cohomology and to weights of mixed complexes of sheaves. For the study of the latter we introduce a new formalism of relative weight structures.

연구 동기 및 목표

• 기초 스킴 $S$ 위의 베일린슨 모티프의 카우 무게 구조를 정의하여, 무게 이론을 모티프로 확장한다.
• 혼합 층의 복합체와 유사한 카우 무게 구조의 함의적 성질을 확립한다.
• 값이 $K^b(Chow(S))$인 정확하고 충실한 무게 복합체 함의를 구성한다. 여기서 $Chow(S)$는 무게 구조의 하트이다.
• 그로텐디크의 $S$-모티프의 $K_0$-군이 $K_0(Chow(S))$와 자연스럽게 동형임을 보여주며, $K$-이론을 무게 구조의 하트와 연결한다.
• 모티프적 오일러 지표를 $S$-스킴에 대해 정의하고, 카우-무게 필터링이 베일린슨의 모티프 코homology의 정수 부분과 혼합 층의 무게와 관련됨을 밝힌다.

제안 방법

• 기초 스킴 $S$ 위의 정규적 $S$-스킴 중에서 $S$에 대해 프로젝티브인 것을 이용하여, 하트 $Chow(S)$의 생성자로 삼아, $S$ 위의 베일린슨 모티프의 카우 무게 구조를 정의한다.
• 무게 구조의 형식론을 활용하여, 유한 호모토피 범주 $K^b(Chow(S))$로의 무게 복합체 함의를 구성하고, 정확성과 충실성을 확보한다.
• 기저 변경 및 푸시포워드/풀백 연산에 대한 카우 무게 구조의 함의적 성질을 확립하여, 혼합 층의 무게와 유사한 성질을 갖도록 한다.
• 혼합 층의 복합체의 무게와 모티프의 관계를 분석하기 위해 상대 무게 구조의 새로운 형식론을 도입한다.
• 모든 모티프의 코homology에 대해 카우-무게 스펙트럴 시퀀스를 구성하고, 무게 구조를 통해 정수 모티프 코homology와 연결한다.
• $Chow(S)$의 $K_0$-군을 사용하여, $S$-스킴에 대한 모티프적 오일러 지표를 정의한다.

실험 결과

연구 질문

• RQ1 기초 스킴 $S$ 위의 베일린슨 모티프의 카우 무게 구조는 어떻게 정의할 수 있으며, 그 함의적 성질은 무엇인가?
• RQ2 그로텐디크의 $S$-모티프의 $K_0$-군과 카우 무게 구조의 하트 $Chow(S)$의 $K_0$-군 사이의 관계는 무엇인가?
• RQ3 모티프의 카우-무게 스펙트럴 시퀀스는 베일린슨의 모티프 코homology의 '정수 부분'과 어떻게 관련되는가?
• RQ4 혼합 층의 복합체의 무게는 모티프의 카우 무게 구조와 어떤 식으로 관련되는가?
• RQ5 상대 무게 구조의 형식론은 어떻게 모티프와 혼합 층의 무게 이론을 통합적으로 연구하는 데 기여하는가?

주요 결과

• 기초 스킴 $S$ 위의 베일린슨 모티프의 카우 무게 구조는 정규적 $S$-스킴 중에서 $S$에 대해 프로젝티브인 것들을 생성자로 삼는 하트 $Chow(S)$를 갖는 $K^b(Chow(S))$로의 정확하고 충실한 무게 복합체 함의를 유도한다.
• 그로텐디크의 $S$-모티프의 $K_0$-군은 $K_0(Chow(S))$와 자연스럽게 동형이 되며, 이는 무게 구조의 하트에 대한 $K$-이론적 실현을 제공한다.
• 모티프적 오일러 지표는 무게 구조와 $Chow(S)$의 $K_0$-군을 사용하여 정의되며, 고전적 오일러 지표를 모티프적 맥락으로 일반화한다.
• 모든 모티프의 코homology에 대해 카우-무게 스펙트럴 시퀀스가 구성되며, 베일린슨의 예상한 바와 같이 정수 모티프 코homology의 부분과 연결된다.
• 상대 무게 구조의 형식론은 혼합 층의 복합체의 무게와 모티프의 무게를 systematic하게 비교할 수 있게 한다.
• 카우 무게 구조의 함의적 성질은 혼합 층의 무게와 유사하여, 모티프 이론과 층 이론의 무게 이론 사이의 깊은 유사성을 지지한다.