[论文解读] The Spiegelungssatz for the Carlitz module

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

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

一句话总结

本文在函数域背景下为Carlitz模建立了Leopoldt的Spiegelungssatz的类比，证明了从类模的$π$-部分的对偶到类群的$p$-挠子群的自然同态，其核与余核均为$(A/\mathfrak{p})[\Delta]$-上的循环模。该结果源自涉及Kähler微分与Kummer理论的正合列，为构造函数域版本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.

研究动机与目标

• 建立Carlitz模在函数域背景下Leopoldt的Spiegelungssatz的类比。
• 阐明类模的$π$-部分的对偶结构与类群的$p$-挠子群之间的关系。
• 为构造函数域Kummer-Vandiver猜想的反例提供理论基础。
• 明确表达Anglès与Taelman（2012）论文中隐含的函数域Herbrand-Ribet定理结果。

提出的方法

• 使用[7]中的正合列，涉及Kähler微分与$q$-Cartier算子，将类模与上同调数据联系起来。
• 应用Kummer理论，构造一个短正合列，将$A/\mathfrak{p}$上的单位与微分联系起来。
• 通过正合列中映射的复合，构造一个$Galois$-等变同态$\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$的核的维数，表明其为循环模。
• 使用Teichmüller特征$\omega$来描述$\Delta = \mathrm{Gal}(L/K)$在微分模及其商模上的作用。
• 通过将核与余核嵌入循环模并利用特征分解分析其结构，证明$\alpha$的核与余核均为$(A/\mathfrak{p})[\Delta]$-上的循环模。

实验结果

研究问题

• RQ1 Carlitz模在函数域背景下，Leopoldt的Spiegelungssatz是否成立？
• RQ2 从$\operatorname{Hom}_A(H(R), \Lambda)$到$A/\mathfrak{p} \otimes_{\mathbb{F}_p} (\operatorname{Pic} R)[p]$的自然同态的核与余核的结构是什么？
• RQ3 Galois群$\Delta$在类模与类群上的作用，通过该同态如何相互作用？
• RQ4 该同态能否用于构造函数域Kummer-Vandiver猜想的反例？
• RQ5 $q$-Cartier算子在控制类模的上同调结构中起什么作用？

主要发现

• 同态$\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$的核是$(A/\mathfrak{p})[\Delta]$-上的循环模，因其$\omega$-分量为一维，从而确认$\alpha$的余核为循环模。
• 同态$\alpha$诱导出一个$Galois$-等变映射，其核与余核均为循环模，从而确立了函数域背景下Leopoldt的Spiegelungssatz的类比。
• 对于满足$\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}$-上的循环模。
• 该结果为构造函数域版本Kummer-Vandiver猜想的反例提供了关键要素，如[2]与[3]所示。