[논문 리뷰] Motives over simplicial schemes

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

Algebraic structures and combinatorial models참고 문헌 5인용 수 6

한 줄 요약

이 논문은 완전체 k 위의 매끄러운 심플리셜 스킴 $ \cal X $ 에서의 효과적 모티브의 텐서 트라이앵귤레이티드 카테고리 $ DM^{eff}_{-}({\cal X}) $ 를 도입하여, $ H^{p,q}({\cal X},A) = \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}, A(p)[q]) $ 를 통한 모티브 코homology의 통합 정의를 가능하게 한다. 주요 기여는 심플리셜 설정에서 모티브 코homology를 위한 프레임워크를 수립한 것으로, 블로크-카토 추측의 증명에 핵심적이며, 비정규 케이스에서 효과적 코homology와 안정 코homology를 정확히 구분한 것이다.

ABSTRACT

In this paper we define the triangulated category of motives over a simplicial scheme. The morphisms between the Tate objects in this category compute the motivic cohomology of the underlying scheme. In the last section we consider the special case of "embedded" simplicial schemes, which correspond to the subsheaves of the constant sheaf and naturally appear in the descent problems for motivic cohomology such as the Bloch-Kato conjecture.

연구 동기 및 목표

• 완전체 $ k $ 위의 매끄러운 심플리셜 스킴 $ \cal X $ 에서 효과적 모티브를 위한 텐서 트라이앵귤레이티드 카테고리 $ DM^{eff}_{-}({\cal X}) $ 를 정의하여, 매끄러운 스킴을 초월한 모티브 코homology를 일반화한다.
• 심플리셜 스킴에 대해 $ H^{p,q}({\cal X},A) = \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}, A(p)[q]) $ 를 통해 모티브 코homology의 일관된 정의를 제공하여, 매끄러운 경우에 알려진 결과와의 호환성을 확보한다.
• 비정규 케이스에서 효과적 모티브 코호몰로지와 안정 모티브 코호몰로지 사이의 구분을 하며, 스터핑 이sovomorphism이 실패하는 상황에서 안정 코호몰로지가 더 좋은 성질(예: 고지 시퀀스)을 만족함을 보인다.
• 블로크-카토 추측 증명에 사용되는 심플리셜 스킴 위의 모티브에 대한 기초 프레임워크를 마련하며, 특히 보에보츠키의 작업과 관련하여 기여한다.

제안 방법

• 심플리셜 스킴 $ \cal X $ 위의 전이를 갖는 예비층의 복합체 카테고리의 국소화로서 카테고리 $ DM^{eff}_{-}({\cal X}) $ 를 구축하며, 이를 텐서 구조와 전이를 통해 수행한다.
• 매끄러운 심플리셜 스킴 $ \cal X $ 의 모티브 $ M({\cal X}) $ 는 전이를 갖는 예비층의 복합체 $ \mathbb{Z}_{tr}({\cal X}) $ 로 정의되며, 이는 $ DM_{-}^{eff}(k) $ 에 속한다.
• 전이를 갖는 예비층의 가족 $ (F_i, F_\phi) $ 를 $ {\cal X}_i $ 에서 정의된 것들과 얼라인된 얼굴 및 분해 사상과 호환되도록, $ Sm/{\cal X} $ 위의 예비층과의 이분법을 수립한다.
• 객체가 $ Y \to {\cal X}_i $ 가 매끄러운 쌍 $ (Y,i) $ 인 카테고리 $ Sm/{\cal X} $ 를 도입하며, 이에 포함된 사상은 심플리셜 사상과 일치하는 스킴 사상이 포함된다.
• 기본적인 함자와 그 왼쪽 수반 함자 $ \mathbb{Z}_{tr}(-) $ 를 사용하여 전이를 갖는 예비층의 구조를 스킴에서 심플리셜 스킴으로 옮긴다.
• 삼각형 카테고리 내부의 내부 Hom-객체 이론을 적용하여 쌍대를 정의하고, 카테고리 $ DM^{eff}_{-}({\cal X}) $ 가 잘 정의된 텐서 트라이앵귤레이티드 구조를 지닌다는 것을 검증한다.

실험 결과

연구 질문

• RQ1 비정규 케이스에서, 특히 항등원이 정규가 아닐 경우, 어떻게 심플리셜 스킴에 대해 모티브 코호몰로지를 일관되게 정의할 수 있는가?
• RQ2 텐서 트라이앵귤레이티드 구조를 지닌다 할 때, 어떤 모티브 카테고리가 심플리셜 스킴 위에서 정의되어야 하며, 이는 모라피즘 군을 통해 모티브 코호몰로지를 복원하는가?
• RQ3 왜 비정규 케이스에서 효과적 모티브 코호몰로지 군은 스터핑 이sovomorphism을 만족하지 못하며, 안정 모티브 코호몰로지는 어떻게 정의되어야 하며, 이를 통해 이러한 성질을 복원할 수 있는가?
• RQ4 심플리셜 스킴 위의 모티브 구축이 기반 스킴의 매끄러움에 얼마나 의존하는가? 이는 표준 모티브 성질의 유효성에 어떤 영향을 미치는가?
• RQ5 블로크-카토 추측 증명의 기술적 요구를 충족시키기 위해, 전이를 갖는 모티브의 프레임워크를 스킴에서 심플리셜 스킴으로 확장할 수 있는가?

주요 결과

• 논문은 완전체 $ k $ 위의 매끄러운 심플리셜 스킴 $ \cal X $ 에 대해 임의의 텐서 트라이앵귤레이티드 카테고리 $ DM^{eff}_{-}({\cal X}) $ 를 구성하였으며, 이에 따라 모티브 코호몰로지가 $ H^{p,q}({\cal X},A) = \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}, A(p)[q]) $ 로 주어지며, 통합 정의를 제공한다.
• 비정규 케이스에서는 효과적 모티브 코호몰로지가 스터핑 이sovomorphism을 만족하지 못하므로, 프로젝티브 번들의 공식이나 고지 장점 시퀀스도 성립하지 않는다.
• 안정 모티브 코호몰로지는 $ H^{p,q}_{stable}({\cal X},A) = \varinjlim_n \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}(n), A(n+q)[p]) $ 로 정의되며, 고지 시퀀스와 같은 바람직한 성질을 만족한다.
• 매끄럽고 정규인 항목을 갖는 매끄러운 심플리셜 스킴의 경우, 캔슬레이션 정리에 의해 안정 및 효과적 모티브 코호몰로지가 일치하므로, 이 구분은 비정규 케이스에서만 관련이 있다.
• 이 구축은 기저 변경에 대해 강건하며 전이를 갖는 예비층의 구조를 유지하여 기존의 모티브 호모토피 이론과의 호환성을 확보한다.
• 논문은 카테고리 $ DM^{eff}_{-}({\cal X}) $ 가 내부 Hom-객체를 지니며 잘 정의된 시프트 함자를 지닌다는 것을 입증하여, 삼각형 및 텐서 구조가 잘 정의됨을 확인한다.