[論文レビュー] The Spiegelungssatz for the Carlitz module

Bruno Anglès, Lenny Taelman|arXiv (Cornell University)|Dec 13, 2012

Algebraic and Geometric Analysis参考文献 2被引用数 3

ひとこと要約

本稿は関数体の文脈において、カルツィットモジュールに対するレオポルトのスピーゲルブルクサッツの類似を確立し、クラスモジュールの $\pi$-部の双対からクラス群の $p$- torsion への自然な準同型の核および余核が、$(A/\mathfrak{p})[\Delta]$ 上の巡回モジュールであることを証明する。この結果は、カハラー微分とカミー理論を含む完全系列から導かれる。この結果は、関数体の Kummer-Vandiver 予想の反例を構成するための重要な道具を提供する。

ABSTRACT

In this addendum to arXiv:1110.0292 we prove a function field analogue of the Spiegelungssatz. It provides a relation between the Galois module structure of the class group of a cyclotomic function field, and the Galois module structure of the class module introduced by the second author. The result is already implicit in earlier work of the authors, but not stated explicitly.

研究の動機と目的

• カルツィットモジュールに対する関数体の類似版のレオポルトのスピーゲルブルクサッツを確立すること。
• クラスモジュールの $\pi$-部の双対の構造が、クラス群の $p$- torsion とどのように関係するかを明確にすること。
• 関数体の Kummer-Vandiver 予想の反例を構成するための理論的基盤を提供すること。
• アングルスとテーマン（2012）が暗黙的に提示した関数体におけるヘルブランド＝リベット定理に関する結果を明示すること。

提案手法

• カハラー微分と $q$-カルティエ作用素を含む完全系列を [7] より用い、クラスモジュールをコホモロジー的データと関連付ける。
• カミー理論の適用により、$A/\mathfrak{p}$ 上で単位元と微分形式を結ぶ短完全系列を構成する。
• 完全系列からの写像の合成により、ガロア作用に可換な準同型 $\alpha: \operatorname{Hom}_A(H(R), \Lambda) \to A/\mathfrak{p} \otimes_{\mathbb{F}_p} (\operatorname{Pic} R)[p]$ を構成する。
• $\Omega_R / \mathfrak{q}^{q^d} \Omega_R$ 上のフィルトレーションの分析により、$1 - c^d$ の核の次元を決定し、それが巡回的であることを示す。
• テイクミュラー特徴 $\omega$ を用いて、$\Delta = \mathrm{Gal}(L/K)$ が微分形式およびその商モジュール上に作用する様子を記述する。
• 核および余核が、巡回モジュールに埋め込まれ、特徴分解を用いて構造を分析することにより、$\alpha$ の核および余核が両方とも $(A/\mathfrak{p})[\Delta]$-巡回モジュールであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 カルツィットモジュールに対して、関数体の文脈でレオポルトのスピーゲルブルクサッツの類似は成り立つか？
• RQ2 $\operatorname{Hom}_A(H(R), \Lambda)$ から $A/\mathfrak{p} \otimes_{\mathbb{F}_p} (\operatorname{Pic} R)[p]$ への自然な準同型の核および余核の構造は何か？
• RQ3 ガロア群 $\Delta$ がクラスモジュールおよびクラス群にこの準同型を通じてどのように作用するか？
• RQ4 この準同型を用いて、関数体の Kummer-Vandiver 予想の反例を構成できるか？
• RQ5 $q$-カルティエ作用素は、クラスモジュールのコホモロジー的構造を制御するために果たす役割は何か？

主な発見

• 準同型 $\alpha: \operatorname{Hom}_A(H(R), \Lambda) \to A/\mathfrak{p} \otimes_{\mathbb{F}_p} (\operatorname{Pic} R)[p]$ の核は、$\operatorname{Im} f \cap \operatorname{Im} g$ に同型であり、これは巡回モジュール $A/\mathfrak{p} \otimes_{\mathbb{Z}} R^\times$ の部分モジュールとして含まれるため、自身も巡回的である。
• 準同型 $\alpha$ の余核は $\frac{A/\mathfrak{p} \otimes_k \Omega_R^{c=1}}{\operatorname{Im} f + \operatorname{Im} g}$ に同型であり、$\Omega_R / \mathfrak{q}^{q^d} \Omega_R$ 上の写像 $1 - c^d$ の核を分析することにより、巡回的であることが示される。
• $1 - c^d$ の核は、その $\omega$-成分が1次元であるため、$(A/\mathfrak{p})[\Delta]$-巡回モジュールである。これにより、$\alpha$ の余核が巡回的であることが確認される。
• 準同型 $\alpha$ は、ガロア作用に可換な写像を誘導し、その核および余核が両方とも巡回的であるため、関数体におけるレオポルトのスピーゲルブルクサッツの類似が確立される。
• $\chi(k^\times) \neq \{1\}$ を満たす特徴 $\chi$ に対して、$H(R_\mathfrak{p})(\omega\chi^{-1}) = 0$ ならば、$A/\mathfrak{p} \otimes_{\mathbb{Z}} \mathrm{Cl}^0(L)(\chi)$ は $A/\mathfrak{p}$-巡回モジュールである。
• この結果は、[2] および [3] で示されるように、関数体の Kummer-Vandiver 予想の反例を構成するための重要な要素を提供する。