[論文レビュー] Chevalley's ambiguous class number formula for an arbitrary torus

Cristian D. González-Avilés|ArXiv.org|Nov 10, 2007

Geometric and Algebraic Topology参考文献 7被引用数 3

ひとこと要約

この論文は、グローバル体上の任意のトーラスへ、シェヴァリエの古典的不定類数公式を一般化する。乗法群 $\mathbb{G}_m$ の古典的結果を、ネロン＝レナードモデル、ガロアコホホロジー、局所因子を組み込むことで拡張する。主な結果は、ガロア拡大と基本体におけるトーラスの類数の比を、ガロアコホホロジー群、分岐指数、ネロン＝レナードモデルの成分群を用いて表す。

ABSTRACT

This version is a significant improvement of the original paper. It includes a new section where we discuss norm tori in some detail. The new abstract is the following: In this paper we obtain Chevalley's ambiguous class number formula for an arbitrary torus T over a global field. The classical formula of C.Chevalley may be recovered by setting T=G_{m} in our formula. As an illustration of the general result, we discuss norm tori in detail. A key ingredient of the proof of our main theorem is the work of X.Xarles on groups of components of Neron-Raynaud models of tori.

研究の動機と目的

• グローバル体上の任意のトーラスへ、乗法群 $\mathbb{G}_m$ におけるシェヴァリエの不定類数公式を拡張すること。
• ガロア拡大とその基底体におけるトーラスの類数比を、コホモロジー的公式として提供すること。
• 分岐指数やネロン＝レナードモデルの成分群といった局所不変量を、公式に組み込むこと。
• 一般公式をノルムトーラスに特化し、特に二次の場合に新しい類数関係を導出すること。
• トーラスの類数とノルム写像の核、単数群といった算術的不変量との関係を明確にすること。

提案手法

• 環 $\mathcal{O}_{F,S}$ 上のトーラス $T$ のネロン＝レナードモデル $\mathcal{T}^\circ$ と、ガロア拡大 $K/F$ への基底変換を用いる。
• 商 $T(K)/\widetilde{\mathcal{T}}^{\circ}(\widetilde{U})$ と単位成分 $\widetilde{\mathcal{T}}^{\circ}(\widetilde{U})$ にガロアコホホロジーを適用し、核を $H^1(G, \cdot)^\prime$ で表す。
• $v \notin S$ である素点 $w$ 上でのネロン＝レナードモデルの成分群 $\Phi_w(\kappa(w))$ に関連する局所因子 $\ell_v$ を導入し、$T_{F_v}$ の最大分解部分トーラスの次元 $d_v$ に応じて分岐指数 $e_v$ を $e_v^{d_v}$ とし、組み込む。
• X. カルレスのネロン＝レナードモデルの成分群に関する研究に依拠し、類群 $C_{T,K,S}$ の構造を分析する。
• ネロン＝レナードモデルの完全系列を用いて、ガロアコホホロジー群と類群構造を比較することで、主公式を導出する。
• ノルムトーラス $T = R^{(1)}_{K/F}(\mathbb{G}_{m,K})$ に公式を特化し、巡回の場合に明示的な類数関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 シェヴァリエの不定類数公式を、乗法群を超えてグローバル体上の任意のトーラスへどのように一般化できるか？
• RQ2 ネロン＝レナードモデルおよびその成分群は、トーラスの類数を計算する上でどのような役割を果たすか？
• RQ3 分岐指数や $d_v$ や $\ell_v$ のような局所不変量は、類数比にどのように寄与するか？
• RQ4 ガロア拡大 $K/F$ 上のトーラス $T$ に対して、類群 $C_{T,K,S}^G$ の構造は何か？また、基底体とはどのように関係するか？
• RQ5 一般公式をノルムトーラスに特化することで、類数に関する新しい算術的恒等式が得られるか？

主な発見

• 主な結果は、グローバル体 $F$ 上の任意のトーラス $T$ に対してシェヴァリエの公式を一般化し、$T = \mathbb{G}_m$ のとき古典的ケースが回復されることを示す。
• 類数比 $[C_{T,K,S}^G] / [C_{T,F,S}]$ は、核を伴うガロアコホホロジー群、分岐指数 $e_v^{d_v}$、局所因子 $\ell_v$ の商として表され、$[\widetilde{\mathcal{T}}^\circ(\widetilde{U})^G : \mathcal{T}^\circ(U)]^{-1}$ で補正される。
• ノルムトーラス $T = R^{(1)}_{K/F}(\mathbb{G}_{m,K})$ の場合、$h_{T,F,S}$ と $h_{F,S}$、ノルム写像の核、単数群の指数、分岐データを関連付ける新しい恒等式が得られる。
• 二次の場合（$[K:F] = 2$）には、公式が $[\mathcal{O}_{F,S}^* : W_{F,S}] \cdot [F^* : N_{K/F}(K^*)] \cdot [\ker(N_{\mathcal{O}}) : \mathcal{T}^\circ(U)] \cdot h_{T,F,S} = 4^{\mu + \nu - 1} h_{F,S}$ に簡略化され、ここで $\mu$ は $S$ 内にない非分解素点の数、$\nu$ は $S$ 外の分岐素点の数である。
• 公式により、$\mu + \nu \geq 1$ のとき $h_{T,F,S}$ が $4^{\mu + \nu - 1} h_{F,S}$ を割り切ることから、ノルムトーラスの類数に対する有限性条件が得られる。
• 本論文は、可能に非連結なファイバーを有するため、クラス数 $\mathcal{T}' = \ker N_{\mathcal{O}}$ のノルムトーラスと $\mathcal{T}^\circ$ のクラス数は直接比較できないことを明確にしている。これは、ネロンモデルの算術における重要な相違点を示している。