[논문 리뷰] On relative $K$-motives, weights for them, and negative $K$-groups

Mikhail V. Bondarko, A. Yu. Luzgarev|arXiv (Cornell University)|2016. 05. 26.

Algebraic structures and combinatorial models참고 문헌 32인용 수 10

한 줄 요약

이 논문은 좋은 기저 스킴 위의 상대 K-모티브에 대한 초우드 무게 구조를 도입하고, 그 무게가 음의 호모토피 불변 K-군과 연결됨을 보이며, K_i(Y)가 i < -codim(Y)일 때 0이 되고, 음의 K-군이 -i 차원에서 지지됨을 증명한다. 이는 가브버의 특이점 해소와 에탈 코homology를 사용하여 무게를 유계화하고, 음의 K-이론에 대한 뷰엘의 추측을 확장한다.

ABSTRACT

We study certain triangulated categories of $K$-motives $DK(-)$ over a wide class of base schemes, and define certain "weights" for them. We relate the weights of particular $K$-motives to (negative) homotopy invariant $K$-groups (tensored by $\mathbb{Z}[S^{-1}]$ for $S$ being the set of "non-invertible primes") $\mathcal{K}_*(-)$. Our results yield a (new) result on the vanishing of $\mathcal{K}_i(-)$ and of relative $\mathcal{K}$-groups for $i$ being "too negative"; this statement is closely related to a question of Ch. Weibel. We also prove that $\mathcal{K}_i(-)$ for $i&lt;0$ is "supported in codimension $-i$". Moreover, we establish several criteria for bounding (below) the weights of $f_*(1_Y)$ ($1_Y$ is the tensor unit in $DK(Y)$); this automatically implies the vanishing of the corresponding $E_2$-terms of Chow-weight spectral sequences (and of the factors of the corresponding Chow-weight filtrations) for any (co)homology of these motives. Our methods of bounding weights can be applied to various "motivic" triangulated categories; this yields some new statements on (constructible) complexes of étale sheaves. We also relate the weights of $K$-motives with rational coefficients to that of Beilinson motives; the Chow-weight spectral sequences converging to their $\mathbb{Q}_l$-étale (co)homology yield Deligne-type weights for the latter. Somewhat surprisingly, we are able to prove in certain ("extreme") cases that the corresponding weight bounds coming from étale (co)homology are precise. We illustrate these statements by simple examples.

연구 동기 및 목표

• 기저 스킴 위의 상대 K-모티브에 대한 초우드 무게 구조를 정의하여, 보다 이전의 보에보츠키 모티브 작업을 확장한다.
• K-모티브의 무게 f_* (1_Y)를 Z[S^{-1}]로 텐서곱한 음의 호모토피 불변 K-군과 연관지운다.
• K_i(Y)가 i < -codim(Y)일 때 0이 되며, 이는 뷰엘의 음의 K-이론 추측의 분류화된 형태를 지지함을 증명한다.
• 무게 유계화와 해소 기법을 사용하여 음의 K-군이 -i 차원에서 지지됨을 확립한다.
• 에탈 코hom올로지와 연결된 베일린슨 모티브와 델리뉴 타입의 무게를 K-모티브와 연결한다.

제안 방법

• 기저 스킴 S 위의 K-모티브의 삼각 범주 DK(S)를 구성하고, 비가역적 소수로 국소화하여 Λ-국소화 K-이론을 형성한다.
• 1_Y의 푸시포워드로부터 유도된 생성자들을 사용하여 DK(S) 위에 초우드 무게 구조를 정의한다.
• 특이점 해소 기법을 적용하여, 특히 유한형이 아닌 스킴에 대해 K-모티브 f_* (1_Y)의 무게를 유계화한다.
• 에탈 코hom올로지와 강하 기법을 사용하여 DK(X) 내의 무게를 탐지하고, 이를 델리뉴의 무게 필터링과 연관지킨다.
• 에탈 코hom올로지로 수렴하는 스펙트럴 시퀀스를 확립하여, 초우드-무게 필터링과 델리뉴 타입의 무게를 반영한다.
• K-모티브에 대해 네 개의 함자 형식(f_*, f_!, f^*, f^!)을 활용하여 사상에 따른 무게 행동을 분석한다.

실험 결과

연구 질문

• RQ1 일반적인 기저 스킴 위의 상대 K-모티브에 대해 초우드 무게 구조를 어떻게 정의할 수 있는가?
• RQ2 K-모티브 f_* (1_Y)의 무게가 음의 K-군 K_i(Y)의 소멸성에 얼마나 영향을 미치는가?
• RQ3 음의 K-군의 지지가 차원의 관점에서 어떻게 묘사될 수 있으며, 이는 무게 유계화와 어떻게 관련되는가?
• RQ4 에탈 코hom올로지와 델리뉴 무게는 K-모티브의 초우드-무게 구조와 어떻게 관련되는가?
• RQ5 특이점 해소로부터 유도된 무게 유계화가 극한 경우에 정확한가?

주요 결과

• K_i(Y)가 i < -codim(Y)일 때 0이 되며, 이는 뷰엘의 음의 K-이론 질문과 관련된 추측의 분류화된 증명을 제공한다.
• 음의 K-군 K_i(Y)는 -i 차원에서 지지되며, 이는 그 소멸성이 Y의 특이점 집합에 의해 결정됨을 의미한다.
• f_* (1_Y)에 대한 초우드-무게 스펙트럴 시퀀스의 E_2-항이 하한 무게를 가질 경우 0이 되며, 이는 해당 필터링 인자들이 자명함을 의미한다.
• 특성 0인 경우, 히로나카의 해소로부터 유도된 무게 유계화는 명시적 예시를 통해 정확함을 입증한다.
• K-모티브의 유리수 계수 에탈 코hom올로지가 델리뉴 타입의 무게를 실현하며, K-이론과 고전적 호지 이론 필터링을 연결한다.
• 이 방법은 구조적 에탈 코herent sheaf와 보에보츠키 모티브로 확장되어, 스펙트럴 시퀀스와 필터링 항에 대한 새로운 유계화를 도출한다.