[논문 리뷰] Detecting effectivity of motives, their weights, connectivity, and dimension via Chow-weight (co)homology: a "mixed motivic decomposition of the diagonal"

Mikhail V. Bondarko, Vladimir Sosnilo|arXiv (Cornell University)|2014. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 43인용 수 3

한 줄 요약

이 논문은 효과적 Voevodsky 모티브에 대한 새로운 초중량(co)homology 이론을 제안하며, 일반화된 '혼합 모티브적 대각선 분해'를 통해 모티브의 효과성, 가중치, 연결성 및 차원을 탐지한다. 이 이론은 모티브가 r-효과적일 조건을 초중량 호모로지가 r 이하의 차수에서 0이 되는 것으로 특징지으며, 높은 모티브 호모로지에서의 토판이 유한한 지수를 가짐을 증명한다. 이는 고전적인 대각선 분해 결과를 임의의 다양체와 코homology 이론으로 일반화한다.

ABSTRACT

We describe certain criteria for a motif $M$ to be $r$-effective, i.e., to belong to the $r$th Tate twist $Obj DM^{eff}_{gm,R}(r)=Obj DM^{eff}_{gm,R} \otimes L^{\otimes r}$ of effective Voevodsky motives (for $r\ge 1$; $R$ is the coefficient ring). In particular, $M$ is 1-effective if and only if a complex whose terms are certain Chow groups of zero-cycles is acyclic. The dual to this statement checks whether an effective motif $M$ belongs to the subcategory of $DM^{eff}_{gm,R}$ generated by motives of varieties of dimension $\le r$. These criteria are formulated in terms of the Chow-weight (co)homology of $M$. These (co)homology theories are introduced in the current paper and have several (other) remarkable properties: they yield a bound on the "weights" of $M$ (in the sense of the Chow weight structure defined by the first author) and detect the effectivity of "the lower weight pieces" of $M$. We also calculate the "connectivity" of $M$ (in the sense of Voevodsky's homotopy t-structure) and prove that the exponents of the higher motivic homology groups (of an "integral" motif) are bounded whenever these groups are torsion. These motivic properties of $M$ have important consequences for its cohomology. As a corollary, we prove that if Chow groups of an arbitrary variety $X$ vanish up to dimension $r-1$ then the highest Deligne weight factors of the (singular or étale) cohomology of $X$ with compact support are $r$-effective in the naturally defined sense. Our results yield a vast generalization of the so-called "decomposition of the diagonal" statements.

연구 동기 및 목표

• 체에 대한 효과적 기하 모티브에서 계수를 R로 가지는 새로운 초중량(co)homology 이론을 개발한다.
• 모티브 M이 r-효과적인지, 즉 효과적 모티브의 카테고리의 r번째 테이트 변위에 속하는지 여부를 탐지한다.
• 초중량 구조에서 M의 가중치를 유 bounds하고, 낮은 가중치 조각의 효과성을 탐지한다.
• 이러한 호모로지 불변량을 모티브 호모로지, 컴acts 지지가 있는 코homology, 그리고 모티브 스펙트럼의 성질과 연결한다.
• 고전적인 '대각선 분해' 결과를 임의의 다양체와 코homology 이론으로 일반화한다. 이는 특이 코homology와 에테일 코homology를 포함한다.

제안 방법

• 무게 구조와 무게 복합체를 사용하여 $ DM^{eff}_{gm,R} $ 카테고리에서 새로운 초중량(co)homology 이론을 정의한다.
• 무게 스펙트럴 시퀀스와 무게 복합체 기법을 사용하여 초중량 호모로지를 모티브의 효과성과 무게 필터링과 연결한다.
• 포앙카레 dualit를 적용하여 호모로지의 효과성 조건을 코homological 조건으로 변환한다.
• 기존의 [Bon18a], [Bon19], [BoS18c]에서의 결과를 활용하여 무게 복합체 이론과 국소화 방법을 적용해 차원과 효과성의 한계를 분석한다.
• 기저 변경과 비라시오널 사상에서의 초중량 호모로지의 행동을 연구하며, 매끄러운 기저의 경우에 대해 비라시오널 불변성을 보인다.
• 무게 필터링의 구조와 추측된 모티브 코hom로지의 성질을 이용해 높은 모티브 호모로지에서의 토판의 지수를 유 bounds한다.

실험 결과

연구 질문

• RQ1 모티브 M이 $ DM^{eff}_{gm,R} $ 에서 r-효과적일 조건은 무엇이며, 초중량 호모로지를 통해 어떻게 탐지할 수 있는가?
• RQ2 초중량 구조에서 모티브 M의 가중치는 그 초중량 호모로지의 영차수에서의 존재와 어떻게 관련되는가?
• RQ3 모티브 M의 낮은 가중치 조각의 효과성은 그 초중량 호모로지가 음의 차수에서 0이 되는 것과 어떻게 관련되는가?
• RQ4 정수 모티브의 높은 모티브 호모로지에서의 토판 지수는 어떻게 행동하는가?
• RQ5 이 새로운 호모로지 이론을 사용하여 고전적인 '대각선 분해' 결과를 얼마나 일반화할 수 있는가?

주요 결과

• 모티브 M이 r-효과적일 조건은 그 초중량 호모로지가 r 이하의 모든 차수에서 0이 되는 것과 동치이며, 이는 효과성에 대한 호모로지 기반 기준을 제공한다.
• 정수 모티브의 높은 모티브 호모로지에서의 토판은 유한한 지수를 가지며, 이는 무게 필터링과 이중성에 의해 증명된다.
• 만일 다양체 X의 초군집합이 차수 r−1 이하에서 0이면, 그 컴팩트 지지가 있는 코homology에서 최고의 델레인 가중치 요소는 r-효과적이다.
• 모티브 추측 A와 B가 성립할 경우, 특이 코hom로지에서 이 반대도 성립하여 효과성에 대한 코homological 특성화가 확립된다.
• 모티브의 초중량 호모로지는 보에바츠키의 호모로지 t-구조에서의 연결성을 탐지하며, 음의 차수에서의 영차수는 비음의 가중치를 의미하지는 않는다.
• 역사례는 초중량 호모로지가 가중치의 상한을 탐지할 수 없음을 보여주지만, 추측에 따라 특이 호모로지의 무게 필터링은 이를 가능하게 한다.