Galois Symbols for a Jacobian and Multiplicative Groups

技術要約：ヤコビアンおよび乗法的群に関するガロア記号

問題設定
本論文は、Somekawa $K$群に関連するガロア記号写像の単射性を取り扱う。$k$を体とし、$G_1, \dots, G_s$を$k$上の半加法的アーベル多様体とする。Somekawaは、有限次拡大上の記号に対して射影公式および相反関係（reciprocity relations）を課すことで、Somekawa $K$群 $K(k; G_1, \dots, G_s)$ を定義した。整数 $n$ が $k$ の標数と互いに素であるとき、ガロア記号写像は以下のように定義される：
$$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$有理点を持つ）のヤコビアン $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群およびモチーフ的コホモロジーの確立された2つの結果に帰着させることに依拠している：

1. 高次Chow群との同型： 著者らは、混合$K$群に関するAkhtarの記述を利用する。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)$ の特定の直和成分、具体的にはモチーフ $h^1(C)$ に対応する部分と同一視される。

2. Beilinson–Lichtenbaumの定理： 著者らは、Beilinson–Lichtenbaumの比較定理を利用する。これは、特定の次数における有限係数エタール・サイクル写像の単射性を意味する。具体的には、写像：
   $$\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. 写像の比較： 核となる議論は、ガロア記号写像 $S_{J,r}^n$ とエタール・サイクル写像 $\rho$ を関連付ける可換図式の構成である。

   • 著者らは、フルな高次Chow群への $J$ 成分の包含 $\iota_{J,r}$ を定義する。
   • Hochschild–Serreスペクトル系列およびChow–Künneth射影因子を用いて、モチーフ $h^1(C)$ のコホモロジーを $H^{r+1}_{\text{ét}}(k, J[n] \otimes \mu_n^{\otimes r})$ に関連付ける。
   • サイクル写像の交わり積、カップ積、および適切な押し出し（転送写像）に対する適合性を分析することにより、エタール・サイクル写像を $J$ 成分に制限したものが、符号因子 $(-1)^r$ を除いてガロア記号写像と一致することを証明する。

主要な貢献と結果

• 主定理 (Theorem 1.1)： 本論文は、$k$上の滑らかで射影的かつ幾何学的に連結な曲線 $C$（$k$有理点を持つ）に対し、任意の整数 $r \geq 1$ について、ガロア記号写像
  $$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})$$
  が（$n$ が $k$ の標数と互いに素であるとき）単射であることを証明している。
• Spiessの定理の一般化： この結果は、Spiessの定理（$r=1$の場合）を、任意の数の乗法的群 $\mathbb{G}_m$ を含むケースへと一般化するものである。著者らは、$r=1$ の場合、彼らの証明は、元の証明で使用されたBloch–Ogus理論やMerkurjev–Suslin定理を用いるのではなく、高次Chow群とBeilinson–Lichternbaum定理を用いた代替的な導出を提供していると述べている。
• 構造的分解： 本論文は、モチーフ $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群との接続を利用することで、この特定のクラスの半加法的アーベル多様体におけるガロア記号の単射性に関する統一的な証明を提供することを主張している。その意義は以下の点にある：

1. 範囲の拡張： $r=1$ のケースを超えて任意の $r$ へと広げ、ヤコビアンとトーラスを含むより広いクラスの混合$K$群をカバーしている。
2. 手法の転換： 単射性がBeilinson–Lichtenbaumの定理とAkhtarの同型から導かれ得ることを示し、従来の異なるコホモロジー理論に依存した証明とは異なる視点を提供している。
3. 限定的な範囲： 著者らは、単射性の予想がすべての半加法的アーベル多様体に対して成り立つわけではないことを明言している。彼らの研究は、ヤコビアンと乗法的群という自然なクラスに限定されている。彼らは一般的な予想を解決しようとしているのではなく、それが成立する具体的かつ自然なクラスを特定し、証明しているのである。

さらに、本論文にはSomekawa $K$群に関する安定範囲の $l$ 分割可能性の結果に関する注釈（Remark 3.1）が含まれており、$\mathbb{G}_m$ の因子の数が体のコホモロジー次元を超える場合、その群は $l$ 分割可能となり、その特定の範囲においてガロア記号写像は自明に単射となることが述べられている。