[논문 리뷰] Tate motives and the fundamental group

Hélène Esnault, Marc Levine|ArXiv.org|2007. 08. 29.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 15

한 줄 요약

이 논문은 수체 k 위의 $\mathbb{P}^1_k \setminus S$의 Deligne-Goncharov 모티브 기본군과 X 위의 혼합 테이트 모티브의 범주에 대한 Tannaka 쌍대 사이에 정확한 대응을 수립하며, 모티브 기본군이 기저 변경 하에 k의 Tannaka 군의 핵으로서 동형임을 보여준다. 핵심 결과는 Beilinson-Soulé 소멸성 조건과 테이트 모티브 가정 하에, $\pi^{\text{mot}}_1(X,x)$가 X의 사이클 대수에 대한 상대 바 건축을 통해 유도되는 $\mathrm{MT}(k)$ 내의 프로군 스킴으로서 식별됨을 밝힌다.

ABSTRACT

Let k be a number field, and let S be a finite set of k-rational points of P^1. We relate the Deligne-Goncharov contruction of the motivic fundamental group of X:=P^1_k- S to the Tannaka group scheme of the category of mixed Tate motives over X.

연구 동기 및 목표

• 모티브 기본군 $\pi^{\text{mot}}_1(X,x)$와 X 위의 혼합 테이트 모티브의 범주에 대한 Tannaka 군 사이에 정확한 연결 고리를 수립하기.
• 적절한 코homological 소멸 조건 하에, 기저 변경 하에 모티브 기본군이 k의 Tannaka 군의 핵으로 자연스럽게 유도됨을 보여주기.
• X의 사이클 대수에 대한 상대 바 건축을 통해 모티브 기본군의 기하학적 실현을 제공하기.
• Beilinson의 $DM_{\text{gm}}(k)$ 내의 인디-호프 대수 구조를 $\mathrm{MT}(k)$ 내의 Tannakian 프레임워크로 확장하기.
• $\pi^{\text{mot}}_1(X,x) \cong K_x$ 를 $\mathrm{MT}(k)$ 내의 프로군 스킴으로서 증명하기. 여기서 $K_x$는 $X \to \text{Spec}(k)$에 의해 유도되는 Tannaka 군 사상의 핵이다.

제안 방법

• 수체 $k$ 위의 혼합 테이트 모티브의 범주 $\mathrm{MT}(k)$에 대한 Tannaka 쌍대 프레임워크를 사용하며, 무게 필터링과 중립적 섬유 함수자를 갖춘다.
• X = $\mathbb{P}^1_k \setminus S$에 관련된 사이클 대수 $\mathcal{N}(X)$에 바 건축을 적용하며, 이는 $DM^\text{eff}(X)_{\mathbb{Q}}$ 내의 미분적 가환 대수로 간주된다.
• Voevodsky의 $DM_{\text{gm}}(k)$ 내에서 인디-호프 대수 대상 $h_k(\mathcal{P}_a(X))$를 구성하며, X가 k 위의 구멍 뚜렷한 사영 직선일 경우 $\mathrm{DMT}(k)$에 속한다.
• 등가 $H^0_\mathcal{N}(k) \circ \bar{B}_\mathcal{N}(k)(\mathcal{N}(X), i_x^*)$를 사용하여 모티브 기본군 $\pi^{\text{mot}}_1(X,x)$를 $H^0(\bar{B}(\mathcal{N}(X)))$의 쌍대로 식별한다.
• 비교 정리(정리 6.5.1)를 적용하여 $\mathcal{N}(X)$-모듈의 유도 범주와 Tannakian 범주 $\mathrm{MT}(k)$ 사이의 관계를 설정한다.
• 사상 $p: X \to \text{Spec}(k)$와 단면 $i_x: \text{Spec}(k) \to X$에 의해 유도되는 Tannaka 군의 분할 정확수열을 활용하며, $K_x$를 군 사상 $p_*$의 핵으로 식별한다.

실험 결과

연구 질문

• RQ1 Deligne-Goncharov의 모티브 기본군 $\pi^{\text{mot}}_1(X,x)$는 X 위의 혼합 테이트 모티브의 범주에 대한 Tannaka 군과 어떻게 관련되어 있는가?
• RQ2 모티브 기본군은 사이클 대수에 대한 바 건축과 같은 기하학적 구조를 통해 $\mathrm{MT}(k)$ 내의 프로군 스킴으로서 실현될 수 있는가?
• RQ3 모티브 기본군이 Tannaka 군 사상 $G(\mathrm{MT}(X)) \to G(\mathrm{MT}(k))$의 핵과 일치하는 조건은 무엇인가?
• RQ4 모티브 기본군 $\pi^{\text{mot}}_1(X,x)$와 $\mathcal{N}(X)$에 대한 상대 바 건축의 상대 쌍대 사이에 자연스러운 동형이 존재하는가?
• RQ5 Beilinson-Soulé 소멸성 추측은 $\mathrm{DMT}(X)$가 심장이 $\mathrm{MT}(X)$와 동치인 $t$-구조를 갖는다는 것을 의미하는가? 이는 Tannaka 쌍대를 가능하게 한다.

주요 결과

• 모티브 기본군 $\pi^{\text{mot}}_1(X,x)$는 기저 변경 하에 유도되는 사상 $X \to \text{Spec}(k)$에 의해 유도되는 Tannaka 군 사상 $p_*: G(\mathrm{MT}(X)) \to G(\mathrm{MT}(k))$의 핵인 $K_x$와 $\mathrm{MT}(k)$ 내의 프로군 스킴으로서 동형임을 보여준다.
• 이 동형은 $k$가 수체이고 $X = \mathbb{P}^1_k \setminus S$이며, $S$가 $k$-유리 점들의 유한 집합일 때, Beilinson-Soulé 소멸성 추측을 만족하는 조건 하에 성립한다.
• 모티브 $\mathfrak{h}_k(X)$는 $\mathrm{DMT}(k)$에 속하므로, Tannakian 범주 $\mathrm{MT}(X)$가 잘 정의되어 있으며, 심장이 $\mathrm{MT}(X)$와 동치인 $t$-구조를 갖는다.
• 사이클 대수 $\mathcal{N}(X)$에 대한 상대 바 건축을 통해 $\pi^{\text{mot}}_1(X,x)$를 구성하면 $\mathrm{MT}(k)$ 내의 프로군 스킴이 되며, Tannaka 쌍대를 통해 이는 $K_x$와 동형임을 보였다.
• 핵 $K_x$는 $H^0_{\mathcal{N}(k)}(\bar{B}_{\mathcal{N}(k)}(\mathcal{N}(X), i_x^*))$의 스펙트럼으로서 실현되며, 이 대상은 등가 $H^0_\mathcal{N}(k): \mathcal{H}^f_{\mathcal{N}(k)} \to \mathrm{MT}(k)$ 하에서 $\pi^{\text{mot}}_1(X,x)$로 식별된다.
• 결과적으로 Deligne-Goncharov의 모티브 기본군이 자연스럽게 $\mathrm{MT}(k)$ 내의 Tannakian 대상으로서 실현되며, X의 사이클 대수에 대한 상대 바 건축이라는 기하학적 기원을 지닌다.