[논문 리뷰] Intersecting the dimension filtration with the slice one for (relative) motivic categories

Mikhail V. Bondarko|arXiv (Cornell University)|2016. 03. 30.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 5

한 줄 요약

이 논문은 (상대적) 모티브 카테고리에서 차원 필터링과 슬라이스 필터링 간의 정확한 교차 공식을 수립하며, 차원이 최대 $ m $인 모티브와 $ i $-번째 슬라이스 수준의 교차가 이동된 차원 필터링 $ d_{\leq m-i}DM^{∕{\mathrm{eff}}}_{-,R}(i) $ 와 일치함을 증명한다. 이 결과는 아유브의 추측이 특정 직교 조건과 동치임을 보여주는 데 응용되며, 새로운 공리계와 수정된 차원 함수를 사용하여 일반적인 기저 스킴 위의 상대 모티브 카테고리로 이 틀이 일반화된다.

ABSTRACT

In this paper we prove that the intersections of the levels of the dimension filtration on Voevodsky's motivic complexes over a field $k$ with the levels of the slice one are "as small as possible", i.e., that $Obj d_{\le m}DM^{eff}_{-,R} \cap Obj DM^{eff}_{-,R} (i)=Obj d_{\le m-i} DM^{eff}_{-,R} (i)$ (for $m,i\ge 0$ and $R$ being any coefficient ring in which the exponential characteristic of $k$ invertible). This statement is applied to prove that a conjecture of J. Ayoub is equivalent to a certain orthogonality assumption. We also establish a vast generalization of our intersection result to relative motivic categories (that are required to fulfil a certain list of "axioms"). In the process we prove several new properties of relative motives and of the so-called Chow weight structures for them.

연구 동기 및 목표

• 체 위의 보에보드스키의 모티브 카테고리에서 차원 필터링과 슬라이스 필터링의 교차를 계산하는 것.
• 이 교차가 가능한 한 작다는 것을 증명하는 것, 즉 이동된 차원 필터링 $ d_{\leq m-i}DM^{\mathrm{eff}}_{-,R}(i) $ 와 일치한다는 것.
• 교차 결과를 적용하여 아유브의 추측이 특정 직교 가정과 동치임을 보이는 것.
• 일반적인 기저 스킴 위의 상대 모티브 카테고리로 교차 결과를 일반화하는 것.
• gabber의 차원 함수의 새로운 수정을 정의하고 상대 모티브 설정에서 초콜릿 무게 구조의 새로운 성질을 확립하는 것.

제안 방법

• 모티브 카테고리에서의 초콜릿 무게 구조를 사용하여, 차원 필터링과 슬라이스 필터링의 교차에 속하는 대상들의 아래에서의 유계성을 분석한다.
• Bondarko(2015)의 컴팩트 생성된 부분카테고리와 무게 구조에 관한 결과를 적용하여, 교차에 속하는 대상들이 버드이어 몰입에서 오른쪽 초콜릿-무게 비탄성 상태가 됨을 보인다.
• 무게 번호 부여의 호환성 기준을 사용하고, 레프슈츠 매개변수 $ R\langle 1\rangle $ 의 텐서 작용을 활용하여 필터링을 이동시킨다.
• 상대 모티브 카테고리에 적합한 새로운 버전의 gabber의 차원 함수를 도입하고, 초콜릿 무게 구조와의 호환성을 확보한다.
• 기저 스킴 $ B $ 위의 모티브 복합체의 카테고리 $ \mathcal{D}(B) $ 에 이론적 무게 구조를 적용하며, 초콜릿 무게 구조의 존재를 보장하는 공리 조건을 포함한다.
• $ \delta $-호모토피 $ t $-구조와 핵심 보조정리들(예: 보조정리 2.3.2)의 상대적 형태를 사용하여, 필드에서의 결과를 일반적인 기저 스킴으로 확장한다.

실험 결과

연구 질문

• RQ1 차원 필터링 $ d_{\leq m}DM^{\mathrm{eff}}_{-,R} $ 과 슬라이스 필터링의 $ i $-번째 수준 $ DM^{\mathrm{eff}}_{-,R}(i) $ 간의 정확한 교차는 무엇인가요?
• RQ2 아유브의 추측, 즉 $ \underline{Hom}_{DM^{\mathrm{eff}}_R}(R\langle 1\rangle, -) $ 가 $ d_{\leq m}DM^{\mathrm{eff}}_R $ 를 보존한다는 것은 특정 직교 조건과 동치인가요?
• RQ3 차원 필터링과 슬라이스 필터링 간의 교차 공식은 일반적인 기저 스킴 위의 모티브 카테고리로 일반화될 수 있는가요?
• RQ4 주어진 공리 조건 하에서 상대 모티브 카테고리의 초콜릿 무게 구조는 어떤 새로운 성질을 만족하는가요?
• RQ5 gabber의 차원 함수는 상대 모티브 필터링과 무게 구조의 필요에 맞게 어떻게 수정할 수 있는가요?

주요 결과

• 교차 $ \operatorname{Obj}d_{\leq m}DM^{\mathrm{eff}}_{-,R} \cap \operatorname{Obj}DM^{\mathrm{eff}}_{-,R}(i) $ 는 $ \operatorname{Obj}d_{\leq m-i}DM^{\mathrm{eff}}_{-,R}(i) $ 와 일치하며, 이는 교차가 가능한 한 작다는 것을 증명한다.
• 이 교차 결과는 아유브의 추측 4.22가 몰입 $ {DM^{\mathrm{eff}}_{\mathrm{gm},R}}/d_{\leq m-1}{DM^{\mathrm{eff}}_{\mathrm{gm},R}} $ 에서 $ {DM^{\mathrm{eff}}_{\mathrm{gm},R}}(1) $ 에서 $ d_{\leq m}{DM^{\mathrm{eff}}_{\mathrm{gm},R}} $ 로의 비영인 사상이 존재하지 않는 조건과 동치임을 시사한다.
• 결과는 기저 체의 지수 특성치가 가역인 임의의 계수 환 $ R $ 에 대해 성립한다.
• 교차 공식은 기약 크룰 차원이 유한한 노에테르, 분리, 우수한 스킴 $ B $ 위의 상대 모티브 카테고리로 일반화되었으며, 초콜릿 무게 구조의 존재를 포함한 공리 조건을 만족한다.
• 논문은 상대 설정에서 모티브 필터링과 무게 구조와 호환되는 새로운 gabber의 차원 함수의 수정을 정의한다.
• 전체 $ \mathcal{D}(B) $ 에서의 초콜릿 무게 구조는 보렐-무어 모티브를 통한 표준 초콜릿 무게 구조와 일치하며, 컴팩트 대상들은 이 무게 구조에서 항상 아래에서 유계이다.