[논문 리뷰] Derived Fundamental Groups for Tate Motives

Markus Spitzweck|arXiv (Cornell University)|2010. 05. 15.

Algebraic structures and combinatorial models참고 문헌 9인용 수 7

한 줄 요약

이 논문은 체 위의 스무스하고 연결된 스킴에 대해 태트 모티프의 파생 기본 군 스킴을 구성하며, 유리수와 정수 계수의 혼합 태트 모티프를 완전한 표현을 통해 모델링하기 위해 파생 형식론을 사용한다. 주요 기여는 Q 위에서 조건 없이, Z 위에서는 약화된 베일리니-술레의 허무성 가설 하에 조건부로 구성된 것으로, 이 가설은 수체수에서 성립하며 유리수 모티브 기본 군에 정수 계수의 구조를 제공한다.

ABSTRACT

We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations models the triangulated category of rational mixed Tate motives. Under a hypothesis which is weaker than an integral version of the Beilinson-Soule vanishing conjecture we show that there is an affine derived group scheme over the integers such that its perfect representations model Tate motives with integral coefficients. The hypothesis is for example fulfilled for number fields. This generalizes previous non-derived constructions of fundamental group schemes for Tate motives with rational coefficients.

연구 동기 및 목표

• 체 위의 스무스하고 연결된 스킴에 대해 유리수 혼합 태트 모티프의 기본 군 스킴에 대한 조건 없는 구성 제공
• 베일리니-술레 추측보다 더 약한 허무성 가설을 사용하여 정수 계수로 이러한 구성 확장
• 파생 군 스킴과 프로 대상들을 통합하여 이전의 비파생 구성들을 일반화하여 태트 모티프의 전체 삼각 범주를 모델링
• 특히 수체수에서의 정수 계수를 포괄하는 기하학적이고 대수적 프레임워크를 구축하여 모티브 기본 군을 기술
• 유한 계수 및 기하 계수를 포함한 다양한 계수 체계에서 태트 모티프를 완전한 표현으로서의 파생 군 스킴으로 통합적으로 기술

제안 방법

• Q 또는 Z 위의 증강된 아담스-등급 dga에 Bar 구성법을 적용하여 코심플리셜 파생 호프 대수를 생성하고, 이를 통해 파생 군 스킴 형성
• 증강의 에이셰트 해상법을 적용하여 코심플리셜 대수를 구성하고, 이의 완전한 모듈러가 태트 모티프를 모델링
• 에이셰트 해상법의 첫 번째 단계로 파생 텐서곱 $\mathbb{Q} \otimes^\mathbf{L}_A \mathbb{Q}$ 를 사용하여 기본 대수적 구조 정의
• 정수 계수의 파생 군 스킴 존재를 보장하기 위해 정수 계수의 베일리니-술레 허무성 추측보다 더 약한 가정을 활용
• E_\infty-대수 위의 모듈러 범주에 대한 표현 정리 활용하여 삼각 범주인 태트 모티프를 파생 군 스킴의 완전한 표현의 범주로 실현
• 프로-아핀 파생 군 스킴 이론을 적용하여 정수 계수의 허무성 가설이 실패할 경우에도 전체 삼각 범주를 모델링

실험 결과

연구 질문

• RQ1 스무스하고 연결된 스킴 위의 체에 대해 유리수 혼합 태트 모티프에 대해 파생 기본 군 스킴을 조건 없이 구성할 수 있는가?
• RQ2 어떤 약화된 코homological 조건 하에서 이러한 구성이 정수 계수로 확장될 수 있는가?
• RQ3 파생 군 스킴 구성법이 유리수 경우의 고전적 모티브 기본 군과 어떻게 관련되는가?
• RQ4 다른 기저 스킴의 파생 기본 군 사이의 사상의 핵은 어떤 기하학적 해석을 갖는가?
• RQ5 파생 군 스킴 구성법은 베일리니 모티브 및 유리수 계수를 가진 다른 모티브 범주에 적용 가능한가?

주요 결과

• Q 위에서 프로-아핀 파생 군 스킴이 존재하며, 그 완전한 표현의 범주가 유리수 혼합 태트 모티프의 삼각 범주를 모델링한다.
• 약화된 정수 계수 허무성 가정 하에 Z 위에서 아핀 파생 군 스킴이 존재하며, 그 완전한 표현이 정수 계수 태트 모티프를 모델링한다.
• 가정은 수체수에서 성립하므로, 이 구성은 이러한 체수에서 유리수 모티브 기본 군에 자연스러운 정수 계수 구조를 제공한다.
• 유한 계수, 예를 들어 $\mathbb{F}_p$ 위에서는 블로크-카토 추측을 통해 구성이 적용되며, $R'$ 위에서의 파생 기본 군이 존재하고 $\mathsf{DMT}_{\mathrm{gm}}(k)_{R'} \simeq \mathrm{Perf}(B^\bullet)$ 를 만족한다.
• $\mathbf{P}^1_k \setminus \{0,1,\infty\}$ 와 $k$ 의 파생 기본 군 사이의 사상의 핵은 기저 환 위에서 $\mathbb{G}_m$ 와 동형인 기하학적 기본 군으로 식별된다.
• 수체수의 $S$-정수 또는 $\mathbf{P}^1_{{\mathcal{O}}_S} \setminus \{0,1,\infty\}$ 의 경우, 파생 기본 군은 차수 0에 집중되어 있으며 이전 연구에서 알려진 모티브 기본 군을 복원한다.