[논문 리뷰] Weight structures and motives; comotives, coniveau and Chow-weight spectral sequences, and mixed complexes of sheaves: a survey

Mikhail V. Bondarko|arXiv (Cornell University)|2009. 03. 02.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 7

한 줄 요약

이 종합 검토는 삼각 범주에서 t-구조의 쌍대체로 무게 구조를 설정하며, 모티브 호모토피 이론에서 무게 복합체, 무게 필터링, 스펙트럴 시퀀스를 구성하는 프레임워크를 제공한다. 주요 기여는 보에보츠키의 모티브, 공모티브, 혼합 층에 대해 무게 구조를 체계적으로 적용하여, 콘뷔에이주 및 아티야-히르체브루흐 스펙트럴 시퀀스를 통합하고 유한 차원성 및 모티브 코homology에 대한 새로운 통찰을 가능하게 한다.

ABSTRACT

This is a survey of author's results on weight structures and Voevodsky's motives. Weight structures are natural counterparts of t-structures (for triangulated categories) introduced by the author. They allow to construct weight complexes, weight filtrations, and weight spectral sequences for various cohomology theories. Partial cases of the latter are: 'classical' weight spectral sequences (for singular and etale cohomology), coniveau spectral sequences, and Atiyah-Hirzebruch spectral sequences. All of those are mentioned in the current paper. The details, proofs, and several more results could be found in other papers of the author (cited here). We also mention a certain triangulated category of comotives that contains reasonable (co)motives for all function fields (and also of other projective limits of smooth varieties).

연구 동기 및 목표

• 삼각 범주에서 t-구조의 쌍대체로 무게 구조 이론을 개발하고 체계화하기.
• 무게 구조를 보에보츠키의 모티브와 공모티브에 적용하여 무게 필터링과 스펙트럴 시퀀스의 새로운 구성 가능하게 하기.
• 기존의 스펙트럴 시퀀스—콘뷔에이주, 아티야-히르체브루흐, 초우-무게—를 동일한 프레임워크 아래 통합하기.
• 모티브의 유한 차원성과 모티브 범주 구조에 대한 응용 탐색하기.

제안 방법

• 삼각 범주에서 확장과 직접 합성분에 대해 닫혀 있는 부분범주로 정의된 무게 구조 도입.
• 무게 복합체를 무게 복합체 함자로 구성하며, 이는 유리 모티브에 대해 보존적이고 텐서 정확하다.
• 모티브 범주인 $DM^{c}(S)$, $DSH$, $D^b_{m}(X,Q_l)$에 무게 구조 적용하여 코homology에 대한 무게 필터링 도출.
• 무게 분해와 절단의 함자적 성질을 이용해 무게 정확한 함자들을 통해 모티브 코hom로와 $Q_l$-adic 코hom로를 연결.
• 비라시오널 슬라이스 기반의 접합 기법을 적용해 상대 모티브와 혼합 층에서의 무게 구조 구성.
• 유리 무게 복합체 함자 $t_{Q}$가 보존적이고 텐서 정확하다는 것을 입증하여 모티브의 유한성 기준 가능하게 함.

실험 결과

연구 질문

• RQ1 무게 구조를 보에보츠키의 모티브와 공모티브에 체계적으로 적용하여 기존의 스펙트럴 시퀀스를 통합할 수 있는가?
• RQ2 무게 정확한 함사가 모티브 코hom로와 $Q_l$-adic 코hom로를 연결하는 데 어떤 역할을 하는가?
• RQ3 $DM^{c}(S)$에서의 무게 구조가 유한체 위의 다양체에 대해 $DSH$에서 일致하는 무게 필터링을 유도할 수 있는가?
• RQ4 무게 구조가 모티브의 유한 차원성, 특히 아핀 다양체와 그 초평면 절단에 대해 어느 정도 지원하는가?
• RQ5 혼합 층과 모티브 범주에서의 무게 구조는 모티브 t-구조와 콘뷔에이주 필터링과 어떻게 관련되어 있는가?

주요 결과

• 유리 무게 복합체 함자 $t_{Q}$는 보존적이고 텐서 정확하므로, 모티브 $M$이 김우라-유한임과 $t_{Q}(M)$가 김우라-유한임은 동치이다.
• 유한체 위의 다양체에서 $DSH$의 임의의 대상은 $F$-무게 구조의 하트에 속하는 요소들을 가지는 무게 포스트니코프 타워를 가지며, 이는 코homology에 대한 무게 필터링을 암시한다.
• 모티브 실현 함자 $H$는 무게 정확하므로, $H^*(H(M))$에서의 초우-무게 필터링은 $DSH$에서의 $w_{DSH}$-필터링과 일致하며, 모티브와 $Q_l$-adic 필터링을 통합한다.
• 차원 $n$인 매끄럽고 아핀인 $X$와 그 일반 초평면 절단 $Y$에 대해, 복합체 $M = (Y o X)$는 $H_{et}^n(M_{ar k})$ 이외에는 모두 0이 되며, 이는 $M[-n]$이 균일하게 유한 차원적임을 시사한다.
• 합리적인 모티브 t-구조가 존재한다면, 모티브 코hom로에 대한 약한 레프셰츠 성질이 유도되며, 이는 이러한 $M$의 김우라-유한성에 대한 지지를 제공한다.
• 모든 이러한 $M$이 수적으로 김우라-유한하다면, 범주 $\operatorname{Mot_{num}}$는 탄나키안이 될 것이며, 이는 에탈 코hom로의 보존성의 결과이다.