[논문 리뷰] On the derived category of 1-motives

Luca Barbieri-Viale, Bruno Kahn|arXiv (Cornell University)|2010. 09. 09.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 지수 특성 값을 역수한 후 베조브스키의 기하 모티브의 에탈 트라이앵귤레이티드 카테고리인 DM_{gm,ét}^{eff}에 대해, 완전체 위에서 델 라인의 1-모티브의 유도 범주를 통합한다. 이 통합에 대해 왼쪽 수반 함자 LAlb를 구성하며, 이는 각 다양체의 모티브를 유한 복합체의 1-모티브로 계산한다. 이는 매끄러운 다양체에 대해 완전히 결정되며, 특이 다양체에 대해서는 부분적으로 결정된다. 이를 통해 1-모티브에 대한 로이트만 유형 정리의 모티브 증명과 델 라인의 1-모티브 추측의 새로운 사례를 얻는다.

ABSTRACT

This is the final version of the 2007 preprint titled "On the derived category of 1-motives, I". It has been substantially expanded to contain a motivic proof of (two thirds of) Deligne's conjecture on 1-motives with rational coefficients, hence the new title. Compared to the 2007 preprint, the additions mainly concern an abstract theory of realisations with weight filtrations; Deligne's conjecture is tackled though them by an adjunction game.

연구 동기 및 목표

• 지수 특성 값을 역수한 후, 베조브스키의 기하 모티브의 에탈 트라이앵귤레이티드 카테고리인 DM_{gm,ét}^{eff}에 대해 1-모티브의 유도 범주를 통합한다.
• 이 통합에 대해 왼쪽 수반 함자 LAlb를 구성하며, 이는 각 다양체에 대해 유한 복합체의 1-모티브를 부여한다.
• 매끄럽고 특이한 다양체에 대해 LAlb(X)와 RPic(X)를 계산하여, 알바네제 및 피카르 복합체의 모티브적 해석을 제공한다.
• 로이트만 유형 정리의 모티브 증명을 제시하고, 1-모티브에 대한 델 라인의 추측의 새로운 사례를 확립한다.
• 쌍대성과 이동 구조를 통해 1-모티브 층, 호모토피 t-구조, 1-모티브의 유도 범주 간의 관계를 명확히 한다.

제안 방법

• 지수 특성 값을 역수한 후, 베조브스키의 기하 모티브의 에탈 트라이앵귤레이티드 카테고리인 DM_{gm,ét}^{eff}에 대해 1-모티브의 유도 범주를 통합한다.
• 전이가 가능한 전이 구조를 갖는 유일한 실현 함자 T를 구성하며, 이는 D^b(M_1[1/p])를 DM_{gm,ét}^{eff}에 전이가 가능한 완전한 포함으로 삼으며, 그 이미지는 부분 범주 d_{≤1}DM_{gm,ét}^{eff}에 포함된다.
• 호모토피 t-구조를 사용하여, 총합 함자 Tot와 모티브적 카르티에 쌍대성을 이용해 왼쪽 수반 함자 LAlb를 복합함수로 정의한다.
• 호모토피 t-구조와 1-모티브 층 이론을 사용하여 통합의 본질적 이미지를 특성화하고, 핵심 함자들의 t-정확성을 증명한다.
• 블로우업 유도와 eh-위상구조를 적용하여 특이 스킴에 대해 LAlb(X)와 RPic(X)를 계산하며, 메이어-비에토리스 및 지신 구조를 활용한다.
• D^b(M_1 ⊗ ℚ)에 텐서 구조를 수립하고 내부 함자 Hom에 대한 공식을 유도함으로써, 초등 모티브와 피카르 복합체 간의 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 1-모티브의 유도 범주는 어떻게 베조브스키의 기하 모티브의 에탈 트라이앵귤레이티드 카테고리에 통합될 수 있으며, 이 통합의 이미지는 무엇인가?
• RQ2 1-모티브의 유도 범주가 DM_{gm,ét}^{eff}[1/p]에 통합될 때, 이 통합은 왼쪽 수반 함자를 가지는가? 그 기하학적 해석은 무엇인가?
• RQ3 매끄럽고 특이한 다양체에 대해 LAlb(X)의 명시적 계산은 무엇이며, 고전적 알바네제 및 피카르 스킴과의 관계는 어떠한가?
• RQ4 모티브적 방법을 사용하여 로이트만 유형 정리를 증명하고, 1-모티브에 대한 델 라인의 추측의 새로운 사례를 확립할 수 있는가?
• RQ5 1-모티브 층과 호모토피 t-구조는 1-모티브의 유도 범주와 모티브 t-구조와 어떻게 상호작용하는가?

주요 결과

• 완전체 위에서 1-모티브의 유도 범주는 지수 특성 값을 역수한 후, 베조브스키의 기하 모티브의 에탈 트라이앵귤레이티드 카테고리에 완전하고 충실한 포함으로 통합된다.
• 이 통합은 왼쪽 수반 함자 LAlb를 가지며, 이는 다양체의 모티브를 유한 복합체의 1-모티브로 보낸다.
• 매끄러운 다양체에 대해서는 LAlb(X)는 차수 0과 1에 놓인 복합체로 계산되며, H^0 = Alb(X)와 H^1 = Pic^0(X)로 주어지며, 고전적 알바네제 및 피카르 사상이 복원된다.
• 특이 다양체에 대해서는 eh-위상구조와 블로우업 유도를 사용하여 LAlb(X)를 부분적으로 계산하며, H^0은 호모로지 알바네제 복합체로 주어진다.
• RPic는 Tot에 대한 오른쪽 수반 함자로 구성되며, 그 코homology 군 R^iPic(X)는 X의 코homological 피카르 층으로 식별된다.
• 로이트만 유형 정리의 모티브 증명과 1-모티브에 대한 델 라인의 추측의 새로운 사례가 제시되며, 이는 유도 범주에서 특정 에크스트 군의 소멸을 포함한다.