Galois Symbols for a Jacobian and Multiplicative Groups

技术摘要：Jacobian 与乘法群的 Galois 符号

问题陈述
本文探讨了与 Somekawa $K$-群相关的 Galois 符号映射的单射性。设 $k$ 为一个域，$G_1, \dots, G_s$ 是 $k$ 上的半阿贝尔簇（semi-abelian varieties）。Somekawa 定义了 $K$-群 $K(k; G_1, \dots, G_s)$，它是通过有限扩张生成的符号，并受投影公式和互反关系约束。对于一个与 $k$ 的特征互素的整数 $n$，Galois 符号映射定义为：
$$S_n(k; G_1, \dots, G_s): K(k; G_1, \dots, G_s)/n \to H^s_{\text{ét}}(k, G_1[n] \otimes \cdots \otimes G_s[n]).$$
虽然 Somekawa 猜想该映射是单射的，但对于一般的半阿贝尔簇存在反例。本文研究的具体问题是建立如下情况下的单射性：当半阿贝尔簇由一条光滑射影几何连通曲线 $C$（带有 $k$-有理点）的 Jacobian 簇 $J$ 以及 $r$ 个乘法群 $\mathbb{G}_m$ 组成时。具体而言，本文研究的是映射：
$$S_{J,r}^n: K(k; J, \mathbb{G}_m, \dots, \mathbb{G}_m)/n \to H^{r+1}_{\text{ét}}(k, J[n] \otimes \mu_n^{\otimes r}).$$
这扩展了 Spiess 的前人结果（由 Yamashita 证明），其建立了 $r=1$ 时（即 $K(k; \mathbb{G}_m, J)$）的单射性。

方法论
证明过程依赖于将问题归约为高阶 Chow 群和动机上同调理论中两个已建立的结果：

1. 与高阶 Chow 群的同构： 作者利用了 Akhtar 对混合 $K$-群的描述。Akhtar 证明了附属于零维循环群 $\text{CH}_0(C)$ 和 $r$ 个 $\mathbb{G}_m$ 的混合 $K$-群，自然同构于高阶 Chow 群 $\text{CH}^{r+1}(C, r)$。

   • $k$-有理点 $P \in C(k)$ 的存在诱导了 $\text{CH}_0(C)$ 的分解 $\mathbb{Z}[P] \oplus J(k)$。
   • 这种分解提升到了混合 $K$-群，产生了一个直和分解：
     $$K(k; \text{CH}_0(C), \mathbb{G}_m, \dots, \mathbb{G}_m) \simeq K^M_r(k) \oplus K(k; J, \mathbb{G}_m, \dots, \mathbb{G}_m).$$
   • 通过 Nesterenko–Suslin–Totaro 定理，$K^M_r(k)$ 被识别为 $\text{CH}^r(k, r)$。因此，$K(k; J, \mathbb{G}_m, \dots, \mathbb{G}_m)$ 被识别为 $\text{CH}^{r+1}(C, r)$ 中对应于 Chow 动机 $h^1(C)$ 的一个特定直和部分。

2. Beilinson–Lichtenbaum 定理： 作者采用了 Beilinson–Lichtenbaum 比较定理，该定理蕴含了特定双度数下有限系数 étale 循环映射的单射性。具体而言，映射：
   $$\rho^{r+1, r}_{C, n}: \text{CH}^{r+1}(C, r)/n \to H^{r+2}_{\text{ét}}(C, \mu_n^{\otimes (r+1)})$$
   已知是单射的。

3. 映射的比较： 论证的核心在于构造一个交换图表，将 Galois 符号映射 $S_{J,r}^n$ 与 étale 循环映射 $\rho$ 联系起来。

   • 作者定义了 $J$-分量到完整高阶 Chow 群的包含映射 $\iota_{J,r}$。
   • 他们利用 Hochschild–Serre 谱序列和 Chow–Künneth 投影算子，将动机 $h^1(C)$ 的上同调与 $H^{r+1}_{\text{ét}}(k, J[n] \otimes \mu_n^{\otimes r})$ 联系起来。
   • 通过分析循环映射与交积、杯积以及适当推前（transfer maps）之间的相容性，他们证明了 étale 循环映射在 $J$-分量上的限制在相差一个符号因子 $(-1)^r$ 的情况下与 Galois 符号映射一致。

主要贡献与结果

• 主定理 (Theorem 1.1)： 本文证明了对于定义在 $k$ 上的光滑射影几何连通曲线 $C$ 及其 $k$-有理点，对于任何整数 $r \geq 1$，若 $n$ 与 $k$ 的特征互素，则 Galois 符号映射
  $$S_{J,r}^n: K(k; J, \mathbb{G}_m, \dots, \mathbb{G}_m)/n \to H^{r+1}_{\text{ét}}(k, J[n] \otimes \mu_n^{\otimes r})$$
  是单射的。
• 对 Spiess 定理的推广： 该结果将 Spiess 的定理（针对 $r=1$）推广到了任意数量的乘法群 $\mathbb{G}_m$。作者指出，对于 $r=1$ 的情况，他们的证明提供了一种利用高阶 Chow 群和 Beilinson–Lichtenbaum 定理来导出 Spiess 结果的替代方法，而非原证明中所使用的 Bloch–Ogus 理论和 Merkurjev–Suslin 定理。
• 结构分解： 本文详细阐述了通过动机 $h^1(C)$ 对高阶 Chow 群 $\text{CH}^{r+1}(C, r)$ 进行的分解，并识别了对应于 Somekawa $K$-群 $K(k; J, \mathbb{G}_m, \dots, \mathbb{G}_m)$ 的特定直和部分。

意义与主张
本文声称，通过利用 Somekawa $K$-群与高阶 Chow 群之间的联系，为这一特定类别的半阿贝尔簇的 Galois 符号单射性提供了一个统一的证明。其意义在于：

1. 扩展范围： 超出了 $r=1$ 的情况，涵盖了任意数量的 $\mathbb{G}_m$ 复制，从而覆盖了更广泛的涉及 Jacobian 和环（tori）的混合 $K$-群。
2. 方法论转变： 展示了单射性可以从 Beilinson–Lichtenbaum 定理和 Akhtar 同构中导出，这为此前依赖于不同上同调理论的证明提供了一个不同的视角。
3. 限定范围： 作者明确指出，单射性猜想并不对所有半阿贝尔簇成立。他们的工作仅限于带有有理点的曲线的 Jacobian 及其乘法群这一自然类别。他们并未声称解决了一般的猜想，而是确定并证明了一个特定的、自然的满足该性质的类。

此外，论文包含了一项关于 Somekawa $K$-群的稳定范围 $l$-可除性的备注（Remark 3.1），指出如果 $\mathbb{G}_m$ 的因子数量超过了域的上同调维度，则该群是 $l$-可除的，从而使 Galois 符号映射在该特定范围内平凡地单射。