[论文解读] Galois modules, ideal class groups and cubic structures

G. Pappas|ArXiv.org|Jun 20, 2003

Algebraic Geometry and Number Theory参考文献 29被引用 3

一句话总结

本文建立了分圆理想类群与 ℤ 上无分歧伽罗瓦覆盖的算术概形的凝聚上同调群的伽罗瓦模结构之间的深刻联系。通过在群概形上的线丛上引入超立方结构，作者证明了上同调中虚拟正规整基的障碍被伯努利数的乘积与 ℤ 的偶数阶 K-群阶的乘积所消去，从而将此结果与库默尔–万德瓦勒猜想联系起来。

ABSTRACT

We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z. In particular, we show that an invariant that measures the obstruction to the existence of a virtual normal integral basis for the coherent cohomology of such covers is annihilated by a product of certain Bernoulli numbers with orders of even K-groups of Z. We also show that the existence of such a normal integral basis is closely connected to the truth of the Kummer-Vandiver conjecture for the prime divisors of the degree of the cover. Our main tool is a theory of "hypercubic structures" for line bundles over group schemes.

研究动机与目标

• 将分圆理想类群理论与 ℤ 上无分歧伽罗瓦覆盖的凝聚上同调群的伽罗瓦模结构联系起来。
• 发展群概形上线丛的超立方结构理论，作为核心工具。
• 利用伯努利数与 K-群，确定 K₀(ℤ[G]) 中投影等变欧拉示性数的消去子。
• 研究正规整基的存在性与库默尔–万德瓦勒猜想之间的关系。
• 将数域中正规整基的古典结果推广至高维算术概形。

提出的方法

• 在有限平坦群概形上的线丛上引入超立方结构，以编码高阶乘法数据。
• 利用阿贝尔层的多重扩张与反射同态，将上同调不变量与算术数据联系起来。
• 通过赋予上同调的行列式以超立方结构，在 K-理论中定义特征类。
• 应用格罗滕迪克–黎曼–罗赫定理与导出范畴技术，计算 K₀(ℤ[G]) 中的欧拉示性数。
• 利用 Rumely 的积分点定理，通过算术 Bertini 定理构造具有所需性质的 ℤ 上的几何 G-扭子。
• 将伽罗瓦模结构问题约化为类群 Cl(ℤ[G]) 中的不变量，并通过伯努利数将它们与 L-函数的特殊值联系起来。

实验结果

研究问题

• RQ1 分圆理想类群如何与 ℤ 上伽罗瓦覆盖的凝聚上同调群的伽罗瓦模结构相关联？
• RQ2 超立方结构在编码虚拟正规整基存在性障碍中起什么作用？
• RQ3 正规整基障碍如何被伯努利数与 ℤ 的偶数阶 K-群阶的乘积所消去？
• RQ4 库默尔–万德瓦勒猜想与阿贝尔覆盖上同调中正规整基的存在性有何关联？
• RQ5 能否利用算术 Bertini 定理在 ℤ 上构造具有指定上同调性质的几何 G-扭子？

主要发现

• 在 ℤ-概形上的 G-扭子上同调中，虚拟正规整基的障碍被某些伯努利数与 ℤ 的偶数阶 K-群阶的乘积所消去。
• 当 G 为阿贝尔群且 dim(Y) ≤ 4 或为阿勒巴内塞型覆盖时，2·χᴾ(𝒪_X) 是 K₀(ℤ[G]) 中一个自由 ℤ[G]-模的类。
• 若 G 的阶为奇数，则 χᴾ(𝒪_X) 本身是 K₀(ℤ[G]) 中一个自由 ℤ[G]-模的类。
• 上同调中正规整基的存在性与 |G| 的素因子的库默尔–万德瓦勒猜想的真伪密切相关。
• 上同调行列式的超立方结构为 K₀(ℤ[G]) 中的欧拉示性数提供了自然的精化。
• 通过算术 Bertini 定理可构造 ℤ 上的几何 G-扭子，确保其在 Spec(ℤ) 上光滑且射影。