[논문 리뷰] On weights for relative motives with integral coefficients

Mikhail V. Bondarko|arXiv (Cornell University)|2013. 04. 08.

Advanced Algebra and Geometry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 임의의 우수하고 분리된 유한차원 스킴 $ S $ 위에서 정수 계수를 가진 보에보츠키의 모티브 복합체의 범주 $ DM(S) $ 에 대해 Chow 무게 구조 $ w_{\text{Chow}} $ 가 존재함을 확립한다. 이 무게 구조를 구성함으로써, 모든 (코)호몰로지 함자 $ H: DM(S) \to \underline{A} $ 에 대해 함수적 Chow-무게 스펙트럴 시퀀스와 필터링을 얻게 되며, 이는 유리수 계수 결과를 정수 계수로 확장하고 모티브 (코)호몰로지 이론을 정수 계수로 연구하는 데 새로운 도구를 제공한다.

ABSTRACT

The goal of this paper is to define a certain Chow weight structure for the category of Voevodsky's motivic complexes with integral coefficients (as described by Cisinski and Deglise) over any excellent finite-dimensional separated scheme $S$. Our results are parallel to (though substantially weaker than) the corresponding 'rational coefficient' statements proved by D. Hebert and the author. As an immediate consequence of the existence of 'weights', we obtain certain (Chow)-weight spectral sequences and filtrations for any (co)homology of $S$-motives.

연구 동기 및 목표

• 임의의 우수하고 분리된 유한차원 스킴 $ S $ 에 대해 보에보츠키의 정수 계수 모티브 복합체의 범주 $ DM(S) $ 에서 Chow 무게 구조 $ w_{\text{Chow}} $ 를 정의하는 것.
• 이전에 유리수 계수에서 확립된 무게 구조 이론을 정수 계수의 경우로 확장하는 것—이는 더 기술적으로 도전적인 과제이다.
• 모든 (코)호몰로지 함자 $ H: DM(S) \to \underline{A} $ 에 대해 함수적 Chow-무게 스펙트럴 시퀀스와 필터링을 구성하는 것—이는 $ w_{\text{Chow}} $ 의 존재를 활용한다.
• $ DM_{\mathbb{Q}}(S) $ 에서의 유리수 무게 구조와 정수 계수 $ w_{\text{Chow}} $ 를 비교하여, 비교 함자들을 통해 호환성을 보이는 것.
• 모티브 (코)호몰로지 이론을 정수 계수로 연구하기 위한 기초를 마련하는 것—무게 구조에서 유도된 스펙트럴 시퀀스와 필터링을 활용한다.

제안 방법

• 무한대 호모토피 쐐기(colimit)를 갖는 삼중분할 범주에 대해 무게 구조 존재를 보장하는 새로운 존재 보조정리(lemma)를 사용하여, $ DM(S) $ 에서 Chow 무게 구조 $ w_{\text{Chow}} $ 를 구성한다.
• 시스키니와 데글리즈가 시트 이론적 방법으로 정의한 삼중분할 범주 $ DM(S) $ 에 대해 무게 구조 이론을 적용함으로써 정수 계수와의 호환성을 보장한다.
• 무게 구조의 하트(heart)로써 $ S $ 위의 Chow 모티브의 카루비-클로처(Caroubi-closure)를 사용함으로써, 무게 절단(weight truncations)의 존재를 보장한다.
• $ f^* $, $ f_* $ 및 기타 표준 함자들에 대해, $ f $ 가 준다각형(quasi-projective) 사상일 경우 $ w_{\text{Chow}} $ 의 함수성(functioriality)을 확립한다.
• 무게 복합체 함자 $ t_S: DM(S) \to K(\underline{Hw}_{\text{Chow}}(S)) $ 의 구성에 허용하는, $ DM(S) $ 의 미분적 등급 강화(differential graded enhancement)의 존재를 활용한다.
• 정수 계수 $ w_{\text{Chow}} $ 와 $ DM_{\mathbb{Q}}(S) $ 에서의 유리수 무게 구조를 비교하여, 정칙 $ S $ 에서는 비교 함자 $ DM(S) \otimes \mathbb{Q} \to DM_{\mathbb{Q}}(S) $ 가 무게 정확함(weight-exact)임을 보인다.

실험 결과

연구 질문

• RQ1 임의의 우수하고 분리된 유한차원 스킴 $ S $ 에 대해, 정수 계수를 가진 $ DM(S) $ 에서 Chow 무게 구조를 정의할 수 있는가?
• RQ2 정수 계수의 Chow 무게 구조는 이미 알려진 $ DM_{\mathbb{Q}}(S) $ 에서의 유리수 무게 구조와 어떻게 관련이 있는가?
• RQ3 무게 구조 $ w_{\text{Chow}} $ 의 존재가 정수 계수 모티브 (코)호몰로지 이론에 대해 어떤 함의를 지닌다?
• RQ4 모티브 호모토피 이론의 표준 연산들—예를 들어 $ f^*, f_* $—에 대해 $ w_{\text{Chow}} $ 의 함수성은 어느 정도 유지되는가?
• RQ5 무게 구조를 사용하여 선택에 의존하지 않고 내재된(intrinsic) 스펙트럴 시퀀스와 필터링을 구성할 수 있는가?

주요 결과

• 모든 우수하고 분리된 유한차원 스킴 $ S $ 에 대해 $ DM(S) $ 에서 Chow 무게 구조 $ w_{\text{Chow}} $ 가 존재하며, 이는 이론을 유리수 계수에서 정수 계수로 확장한다.
• $ w_{\text{Chow}} $ 의 존재는 모든 호모로지 또는 코호몰로지 함자 $ H: DM(S) \to \underline{A} $ 에 대해 함수적 Chow-무게 스펙트럴 시퀀스의 존재를 암시하며, $ M $ 이 유계일 경우 $ H(M) $ 로 수렴한다.
• 모든 $ M \in DM(S) $ 에 대해, 스펙트럴 시퀀스 $ E_1^{pq} = H_q(M^p) $ 가 존재하며, 이는 $ H_{p+q}(M) $ 로 수렴한다. 여기서 $ (M^p) $ 는 무게 복합체 $ t(M) $ 의 항들이다.
• 무게 필터링 $ (W^k H)(M) = \operatorname{Im}(H({w_{\text{Chow}}_{\geq k}} M) \to H(M)) $ 는 선택에 영향을 받지 않으며 $ M $ 에 대해 함수적이다. 이는 $ H(M) $ 에 대한 표준 필터링을 제공한다.
• 정칙 기저 스킴 $ S $ 에서, 비교 함자 $ DM(S) \otimes \mathbb{Q} \to DM_{\mathbb{Q}}(S) $ 는 무게 정확함이므로, 유리수 계수의 스펙트럴 시퀀스와 필터링은 정수 계수 $ w_{\text{Chow}} $ 를 통해 유도된 것과 일치한다.
• 결과들은 표준 모티브 함자들과 호환된다: $ f $ 가 준다각형 사상일 경우 $ w_{\text{Chow}} $ 는 $ f^*, f_*, f^!, f_! $ 에 대해 함수적이다.