[论文解读] Tate motives and the fundamental group

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

Algebraic Geometry and Number Theory参考文献 21被引用 15

一句话总结

本文建立了 $\mathbb{P}^1_k \setminus S$ 的 Deligne-Goncharov 动机基本群与 $X$ 上混合 Tate 动机范畴的 Tannaka 对偶之间的精确对应，表明动机基本群在基变换下同构于 $k$ 的 Tannaka 群的核。关键结果在 Beilinson-Soulé 范性与 Tate 动机假设下，将 $\pi^\text{mot}_1(X,x)$ 识别为由 $X$ 的循环代数上的相对 bar 构造所导出的 $\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$ 上混合 Tate 动机范畴的 Tannaka 群之间的精确联系。
• 在适当的上同调范性条件下，证明动机基本群自然地作为 $k$ 的 Tannaka 群在基变换下的核而出现。
• 通过如循环代数上的相对 bar 构造等几何构造，实现动机基本群的几何化。
• 将 Beilinson 的 $DM_{\text{gm}}(k)$ 中的 ind-Hopf 代数构造推广至 $\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$ 上混合 Tate 动机范畴 $\mathrm{MT}(k)$ 的 Tannaka 对偶框架，该框架配备有权重过滤与中性纤维函子。
• 对 $X = \mathbb{P}^1_k \setminus S$ 关联的循环代数 $\mathcal{N}(X)$ 应用 bar 构造，将其视为 $DM^\text{eff}(X)_{\mathbb{Q}}$ 中的微分分次代数。
• 在 Voevodsky 的 $DM_{\text{gm}}(k)$ 中构造 ind-Hopf 代数对象 $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$ 上混合 Tate 动机范畴的 Tannaka 群之间有何关系？
• RQ2 动机基本群是否可通过如循环代数上的 bar 构造等几何构造，在 $\mathrm{MT}(k)$ 中实现为拟群概形？
• RQ3 在何种 $X$ 与 $k$ 的条件下，动机基本群与 Tannaka 群映射 $G(\mathrm{MT}(X)) \to G(\mathrm{MT}(k))$ 的核重合？
• RQ4 是否存在 $\pi^{\text{mot}}_1(X,x)$ 与 $\mathcal{N}(X)$ 在 $k$ 上的相对 bar 构造的 Tannaka 对偶之间的典范同构？
• RQ5 Beilinson-Soulé 范性猜想是否蕴含 $\mathrm{DMT}(X)$ 具备一个 $t$-结构，其心等价于 $\mathrm{MT}(X)$，从而支持 Tannaka 对偶？

主要发现

• 动机基本群 $\pi^{\text{mot}}_1(X,x)$ 作为 $\mathrm{MT}(k)$ 中的拟群概形，同构于 $K_x$，其中 $K_x$ 是由结构映射 $X \to \text{Spec}(k)$ 导出的 Tannaka 群映射 $p_*: G(\mathrm{MT}(X)) \to G(\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)$ 良好定义，并可赋予一个 $t$-结构，其心等价于 $\mathrm{MT}(X)$。
• 通过循环代数 $\mathcal{N}(X)$ 上的相对 bar 构造构造 $\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$ 的循环代数上的相对 bar 构造。