[论文解读] Trace formula for component groups of Néron models

Johannes Nicaise|ArXiv.org|Jan 13, 2009

Algebraic Geometry and Number Theory参考文献 14被引用 6

一句话总结

本文证明了在完备离散赋值域上，对一个具有良好分歧的阿贝尔簇，其奈罗模型的成分群的迹公式，表明特殊纤维的欧拉示性数等于在 $ω$-进上同调上的驯化单峰算子的迹。关键结果是该迹公式成立当且仅当阿贝尔簇具有纯加性减少，此时两边均等于成分群 $\phi_A$ 的阶。证明使用了动机积分和格罗滕迪克环中代数簇的上同调技术。

ABSTRACT

We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components of the special fiber of the Néron model.

研究动机与目标

• 建立完备离散赋值域上阿贝尔簇的奈罗模型成分群的上同调迹公式。
• 证明迹公式对所有具有良好分歧的阿贝尔簇成立，从而证实作者的猜想。
• 在纯加性减少的情形下，为奈罗模型特殊纤维的连通分支数提供上同调解释。
• 通过动机和伽罗瓦理论技术，将迹公式从光滑射影簇推广至阿贝尔簇。

提出的方法

• 使用 $k$-代数簇的格罗滕迪克环，以及奈罗模型特殊纤维的切瓦莱分解（分为幂零、环面和阿贝尔部分）。
• 应用动机积分和邻近上同调理论，计算阿贝尔簇模型的 zeta 函数。
• 利用驯化单峰算子 $\varphi$ 及其在 $\ell$-进上同调上的作用，定义迹公式。
• 依赖赛塔的几何驯化判别法和科迪拉-内罗减少表，分析成分群。
• 使用动机塞雷不变量和特殊化不变量，将特殊纤维的欧拉示性数与上同调数据关联起来。
• 应用公式 $\chi_{\acute{e}t}(\mathcal{A}_s) = \mathrm{Trace}(\varphi \mid H(A \times_K K^t, \mathbb{Q}_\ell))$，并证明在驯化与纯加性减少条件下该公式成立。

实验结果

研究问题

• RQ1 在完备离散赋值域上，对所有具有良好分歧的阿贝尔簇，迹公式 $\chi_{\acute{e}t}(\mathcal{A}_s) = \mathrm{Trace}(\varphi \mid H(A \times_K K^t, \mathbb{Q}_\ell))$ 是否成立？
• RQ2 当 $A$ 具有纯加性减少时，奈罗模型的成分群 $\Phi_A$ 的上同调解释是什么？
• RQ3 在良好分歧情形下，奈罗模型特殊纤维的欧拉示性数与 $\ell$-进上同调上的伽罗瓦作用有何关系？
• RQ4 是否可以在不假设几何驯化的情况下，仅通过上同调驯化建立迹公式？

主要发现

• 迹公式对所有具有良好分歧的阿贝尔簇在完备离散赋值域上成立，证实了猜想 1.1。
• 除非 $A$ 具有纯加性减少，否则迹公式的两边均为零。
• 当 $A$ 具有纯加性减少时，迹公式的两边均等于 $\phi_A$，即奈罗模型成分群的阶。
• 成分群 $\phi_A$ 的 $p$-余部分 $\phi_A'$ 等于 $P_\varphi(1)$，即 zeta 函数在 $T=1$ 处的取值。
• 若 $A$ 良好分歧且具有纯加性减少，则 $\phi_A = \phi_A'$，因此成分群的阶是与 $p$ 互素的。
• 该证明提供了一种动机与上同调方法的替代方案，避免使用奇点解析技术，为迹公式提供了新的视角。