[論文レビュー] Motivic interpretation of Milnor $K$-groups attached to Jacobian varieties

Satoshi Mochizuki|ArXiv.org|Mar 10, 2006

Advanced Differential Equations and Dynamical Systems被引用数 4

ひとこと要約

本稿は、ヴォエバドスキーの有効モチーフの圏における準同型群と同一視することで、ある完備体上のヤコビ多様体に付随するスモーカワのミルナー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]) $ の間に同型を確立し、再帰的法則とモチーフコホモロジーを用いて、スモーカワの予想の特別な場合をモチーフ的枠組みで検証する。

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)$ .

研究の動機と目的

• 完備体上におけるヤコビ多様体に付随するスモーカワのミルナーK群のモチーフ的解釈を提供すること。
• ミルナーK群とモチーフ圏におけるExt群を関連付けるスモーカワの予想の特別な場合を検証すること。
• モチーフコホモロジーとブロッハ群や一般化された再帰的法則といった古典的算術不変量との間の関係を確立すること。
• この解釈の基礎的枠組みとしてヴォエバドスキーの有効モチーフの圏 $ \text{DM}^{\text{eff}}_-(k) $ を用いること。
• モチーフ的再帰的法則がミルナーK群に対して古典的ワイエル再帰的法則を含意することを示すこと。

提案手法

• スモーカワの予想における抽象的圏を置き換えるために、ヴォエバドスキーの有効モチーフの圏 $ \text{DM}^{\text{eff}}_-(k) $ をモチーフの圏 $ \frak{M}_k $ として用いる。
• モチーフ複体 $ \bbZ(n) $ を用いて定義されるモチーフコホモロジー理論を適用し、$ \bbZ(n) $ は $ n $ 重の点付き曲線の積によって表現される。
• ギジン三角形とトム同型から導かれるモチーフ的再帰的法則を用い、サイクル類とK群の元を関連付ける。
• モチーフコホモロジーにおけるノルム写像とペアリングを用いて、$ \bigotimes \text{Jac}C_i(L) $ から $ \text{H}^n_{\text{M}}(k, \bigwedge C_i) $ への自然な写像を構成し、これがミルナーK群を通るよう因数分解されることを示す。
• アフィン直線のホモトピー不変性から得られる境界写像を用いて、モチーフコホモロジー $ \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) $ への自然な写像を構成する。
• 点付き曲線の構造と特異点の解消を用いて、2つの写像の合成が同型であることを示すことにより、逆写像が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ヴォエバドスキーの有効モチーフの圏の枠組みにおいて、ミルナーK群とモチーフ的Ext群を関連付けるスモーカワの予想を検証できるか。
• RQ2 点付き滑らか曲線の積のモチーフコホモロジーが、ミルナーK群 $ K(k, \text{Jac}C_1, \text{Jac}C_2, \text{Jac}C_n) $ を計算できるか。
• RQ3 モチーフ的再帰的法則は、ミルナーK群に対する古典的ワイエル再帰的法則とどのように関係するか。
• RQ4 ヤコビ多様体の文脈において、ブロッハ群 $ 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]) $ の構造を用いて、ヤコビ多様体のミルナー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]) $ の自然な同型を確立し、スモーカワの予想の特別な場合を確認する。
• ギジン三角形とトム同型から導かれるモチーフ的再帰的法則は、ミルナーK群に対して古典的ワイエル再帰的法則を含意する。
• ノルム写像とペアリングから構成された自然な写像を通じて、モチーフコホモロジー群 $ \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 $ が完備体であり、特異点の解消が可能であると仮定している。
• 点付き曲線の構造と $ \bbA^1 $-ホモトピー不変性を用いて、2つの写像（K群からコホモロジー、およびその逆）が互いに逆写像であることを示し、同型が同値であることを証明する。