[論文レビュー] On Neron-Raynaud class groups of tori and the Capitulation Problem

Cristian D. González-Avilés|ArXiv.org|Mar 18, 2009

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

ひとこと要約

本稿は、コhomologicalな手法を用いて、全球体上のトーラスのNéron-Raynaud類群への古典的核吸収問題の一般化を行う。この研究では、これらの類群とガロアコホモロジー、理想類群を結ぶ長完全系列を確立し、特に、メタシクル的拡大で分解するトーラスの類群を、古典的理想類群の言葉で解明する。

ABSTRACT

We discuss the Capitulation Problem for Neron-Raynaud class groups of tori over global fields F and obtain generalizations of the main results of [10]. We also show that short exact sequences of F-tori induce long exact sequences involving the corresponding Neron-Raynaud class groups. For example, we show that the Neron-Raynaud class group of any F-torus which is split by a metacyclic extension of F can be "resolved" in terms of classical ideal class groups of global fields.

研究の動機と目的

• 全球体上のトーラスのNéron-Raynaud類群に対する古典的S-核吸収問題を、理想類群の一般化すること。
• ガロアコホモロジーを用いて、F-トーラスのNéron-Raynaud類群を含む長完全系列を確立すること。
• メタシクル的拡大で分解するトーラスのNéron-Raynaud類群を、古典的理想類群の言葉で解明すること。
• Nisnevichコホモロジーを用いて、類群のコホモロジー的解釈を提供し、アデール的定義を単純化すること。
• cofaisque仮定の下で、ノルムトーラスのOno不変量を類群とノルム写像の言葉で計算すること。

提案手法

• Nisnevichコホモロジーを用いて、Néron-Raynaud類群の非アデール的でコホモロジー的に解釈可能な記述を提供する。
• ガロアコホモロジーを用いて、S-核吸収写像 $ j_{T,K/F,S} $ を研究し、完全系列を用いてその核と余核を分析する。
• 核の記述における重要な対象として、群 $ H^1(G, \widetilde{\mathcal{T}}^\circ(\widetilde{U}))' $ を導入する。
• 局所化写像 $ \lambda_S $ を用いて、S以外の素点における局所コホモロジーとグローバルコホモロジーを関連付ける。
• 問題をcofaisque分解に還元するために、ノルムトーラス構成 $ T' = R^{(1)}_{K/F}(T_K) $ を適用する。
• exact sequence において $ \operatorname{Ker} N_{\mathcal{O}} $, $ C_{T',F,S} $, および $ C_{T',F,S}^* $ を用いて、Ono不変量の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的理想類群の核吸収問題を、トーラスのNéron-Raynaud類群へ一般化する方法は何か？
• RQ2 全球体上のトーラスに対して、S-核吸収写像 $ j_{T,K/F,S} $ の核と余核の構造はどのようなものか？
• RQ3 どのような条件下で、トーラスのNéron-Raynaud類群を古典的理想類群の言葉で解明できるか？
• RQ4 ノルムトーラスのOno不変量は、ガロアコホモロジーおよびNéron-Raynaudモデル上のノルム写像とどのように関係するか？
• RQ5 Nisnevichコホモロジー的解釈は、トーラスの類群の研究をどのように単純化するか？

主な発見

• 自然な完全系列が確立された：$ 0 \to \operatorname{Ker} j_{T,K/F,S} \to H^1(G, \widetilde{\mathcal{T}}^\circ(\widetilde{U}))' \xrightarrow{\lambda_S} \bigoplus_{v \notin S} H^1(G_{w_v}, \widetilde{\mathcal{T}}^\circ(\mathcal{O}_{w_v}))' \to \operatorname{Coker} j_{T,K/F,S}' \to 0 $、これは[10, Theorem 2.4]の一般化である。
• T が K で分解するとき、$ H^2(G, \widetilde{\mathcal{T}}^\circ(\widetilde{U})) $, $ B_S(G,T) $, および $ H^3(G, \widetilde{\mathcal{T}}^\circ(\widetilde{U})) $ を含むより長い完全系列が、$ j_{T,K/F,S} $ の余核を記述する。これは[10, Theorem 3.3]の一般化である。
• cofaisqueトーラス T で $ T_K $ が擬似自明であるとき、Ono不変量は $ E_{c,S}(T') = \frac{[\operatorname{Sh}_{N,S}(T)]}{[\mathcal{T}^\circ(U) : N_{K/F}\widetilde{\mathcal{T}}^\circ(\widetilde{U})] \cdot [C_{T,F,S} : N_{T,K,S_{K}} C_{T,K,S_K}]} $ で与えられ、これはコホモロジー的公式を提供する。
• ノルム写像 $ N_{\mathcal{O}}: \widetilde{\mathcal{T}}^\circ(\widetilde{U}) \to \mathcal{T}^\circ(U) $ の核が $ \operatorname{Ker} \vartheta_{T',S}^* $ に同型であることが示され、これにより類群と結びつけられる。
• 完全系列が導出された：$ 0 \to W_{T,F,S}/N_{K/F}\widetilde{\mathcal{T}}^\circ(\widetilde{U}) \to C_{T',F,S} \to C_{T,K,S_K} \xrightarrow{\nu} C_{T,F,S}^N \to 0 $、ここで $ W_{T,F,S} $ は局所コホモロジーを用いて定義される群である。
• 群 $ H^1(F_v^{\rm{nr}}, T')^{G_{k(v)}} $ は、成分群 $ \Phi_v(T')(k(v)) $ の torsion 部分群に一致することが同定され、[11, §4]の結果が拡張された。