[论文解读] Motivic interpretation of Milnor $K$-groups attached to Jacobian varieties

Satoshi Mochizuki|ArXiv.org|Mar 10, 2006

Advanced Differential Equations and Dynamical Systems被引用 4

一句话总结

本文通过将 Somekawa 的 Milnor K-群与 Voevodsky 的有效动机范畴中的态射群相联系，为其附着于雅可比簇的 Milnor K-群提供了动机解释。它建立了同构关系：$ K(k,\text{Jac}C_1,\break \text{Jac}C_2,\break \text{Jac}C_n) $ 与 $ \text{Hom}_{\text{DM}^{\text{eff}}_-}(k)(\text{M}(\text{Spec}\thinspace k),\thinspace \bbZ(\text{C}_1 \times \text{C}_2 \times \text{C}_n)[n]) $，从而在动机框架下通过互惠律与动机上同调验证了 Somekawa 猜想的一个特例。

ABSTRACT

In the paper M. Somekawa, {\it{On Milnor $K$-groups attached at semi-Abelian varieties}}, K-theory, extbf{4} (1990) p.105, Somekawa conjectures that his Milnor K-group $K(k,G_1,...,G_r)$ attached to semi-abelian varieties $G_1$,...,$G_r$ over a field $k$ is isomorphic to ${ m Ext}_{\mathcal{M}_k}^r(\mathbb{Z},G_1[-1] \otimes ... \otimes G_r[-1])$ where $\mathcal{M}_k$ is a certain category of motives over $k$. The purpose of this note is to give remarks on this conjecture, when we take $\mathcal{M}_k$ as Voevodsky's category of motives ${ m DM}^{eff}_{-}(k)$ .

研究动机与目标

• 为定义在完美域上的雅可比簇相关的 Somekawa Milnor K-群提供动机解释。
• 验证一个特殊情形的 Somekawa 猜想，该猜想将 Milnor K-群与动机范畴中的 Ext-群联系起来。
• 建立动机上同调与经典算术不变量（如 Bloch 群与广义互惠律）之间的联系。
• 以 Voevodsky 的有效动机范畴 $ \text{DM}^{\text{eff}}_-(k) $ 作为此解释的基础框架。
• 证明动机互惠律蕴含 Milnor K-群的古典 Weil 互惠律。

提出的方法

• 将 Voevodsky 的有效动机范畴 $ \text{DM}^{\text{eff}}_-(k) $ 作为动机范畴 $ \frak{M}_k $，取代 Somekawa 猜想中抽象的范畴。
• 应用通过动机复形 $ \bbZ(n) $ 定义的动机上同调理论，其中 $ \bbZ(n) $ 由 $ n $ 重积的带基点光滑曲线表示。
• 利用源自 Gysin 三角形与 Thom 同构的动机互惠律，将周期类与 K-群元素联系起来。
• 通过动机上同调中的范数映射与配对，构造从 $ \bigotimes \text{Jac}C_i(L) $ 到 $ \text{H}^n_{\text{M}}(k, \bigwedge C_i) $ 的典范映射，该映射可分解为 Milnor K-群的因子。
• 利用 $ \bbA^1 $-同伦不变性导出的边界映射，从动机上同调 $ \text{H}^n_{\text{M}}(k, \bigwedge C_i) $ 构造到 $ K(k, \text{Jac}C_1, \break \text{Jac}C_2, \break \text{Jac}C_n) $ 的自然映射。
• 通过证明两个映射的复合为同构，证明逆映射存在，利用带基点曲线的结构与奇点消解技术。

实验结果

研究问题

• RQ1 能否在 Voevodsky 的有效动机范畴设定下验证 Somekawa 猜想中 Milnor K-群与动机 Ext-群之间的关系？
• RQ2 带基点光滑曲线的积的动机上同调是否计算 Milnor K-群 $ K(k, \text{Jac}C_1, \text{Jac}C_2, \text{Jac}C_n) $？
• RQ3 动机互惠律如何与 Milnor K-群的古典 Weil 互惠律相关联？
• RQ4 在雅可比簇的背景下，Bloch 群 $ V(C) $ 与动机上同调之间的精确关系为何？
• RQ5 能否利用 $ \text{Hom}_{\text{DM}^{\text{eff}}_-}(k)(\text{M}(\text{Spec}\thinspace k), \bbZ(\text{C}_1 \times \text{C}_2 \times \text{C}_n)[n]) $ 的结构重建雅可比簇的 Milnor K-群？

主要发现

• 本文建立了典范同构：$ K(k, \text{Jac}C_1, \text{Jac}C_2, \text{Jac}C_n) \to \text{Hom}_{\text{DM}^{\text{eff}}_-}(k)(\text{M}(\text{Spec}\thinspace k), \bbZ(\text{C}_1 \times \text{C}_2 \times \text{C}_n)[n]) $，证实了 Somekawa 猜想的一个特例。
• 源自 Gysin 三角形与 Thom 同构的动机互惠律，蕴含 Milnor K-群的古典 Weil 互惠律。
• 动机上同调群 $ \text{H}^n_{\text{M}}(k, \bigwedge C_i) $ 通过范数映射与配对构造的典范映射，与 $ K(k, \text{Jac}C_1, \text{Jac}C_2, \text{Jac}C_n) $ 同构。
• $ \bigoplus_L \bigotimes_{i=1}^n \text{Jac}C_i(L) \to \text{H}^n_{\text{M}}(k, \bigwedge C_i) $ 的映射可分解为 $ K(k, \text{Jac}C_1, \text{Jac}C_2, \text{Jac}C_n) $，表明其与伽罗瓦下降的相容性。
• 该构造依赖于 $ k $ 为完美域且允许奇点消解的假设，以确保动机上同调工具的有效性。
• 通过证明从 K-群到上同调与反向的两个映射互为逆映射，且利用带基点曲线结构与 $ \bbA^1 $-同伦不变性，证明了该同构为等价关系。