[论文解读] 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

一句话总结

本文利用上同调方法，将经典理想类群的上翻问题推广至全局域上环面的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.

研究动机与目标

• 将经典理想类群的S-上翻问题推广至全局域上环面的Néron-Raynaud类群。
• 通过伽罗瓦上同调建立包含F-环面Néron-Raynaud类群的长正合列。
• 在经典理想类群的术语下，解析由幂零可解扩张分裂的环面的Néron-Raynaud类群。
• 利用Nisnevich上同调提供类群的上同调解释，简化类群的阿代尔定义。
• 在余挠假设下，以类群和范数映射表示范数环面的Ono不变量。

提出的方法

• 利用Nisnevich上同调，为Néron-Raynaud类群提供非阿代尔的、可上同调解释的描述。
• 应用伽罗瓦上同调研究S-上翻映射 $ j_{T,K/F,S} $，通过正合列分析其核与余核。
• 引入群 $ H^1(G, \widetilde{\mathcal{T}}^\circ(\widetilde{U}))' $ 作为核描述的关键对象。
• 利用局部化映射 $ \lambda_S $ 将全局上同调与 $ S $ 之外素点的局部上同调联系起来。
• 应用范数环面构造 $ T' = R^{(1)}_{K/F}(T_K) $，将问题约化为余挠化简。
• 利用涉及 $ \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, 定理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, 定理3.3]。
• 对于满足 $ T_K $ 为拟平凡的余挠环面 $ T $，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)) $ 的扭子群，推广了[11, §4]的结果。