[论文解读] Logarithmic good reduction and the index

Kentaro Mitsui, Arne Smeets|arXiv (Cornell University)|Nov 30, 2017

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

一句话总结

本文研究离散赋值域上光滑射影概形的指标，其具有对数良好约化。当 $\varepsilon$-进欧拉示性数非零时，证明了该指标与剩余特征标 $p$ 互素；但对亏格 1 曲线，该结论一般不成立，通过伽罗瓦作用与上同调平坦性条件，完全刻画了此类情形。

ABSTRACT

Let $K$ be the fraction field of a complete discrete valuation ring, with algebraically closed residue field of characteristic $p > 0$. This paper studies the index of a smooth, proper $K$-variety $X$ with logarithmic good reduction. We prove that it is prime to $p$ in `most' cases, for example if the Euler number of $X$ does not vanish, but (perhaps surprisingly) not always. We also fully characterise curves of genus $1$ with logarithmic good reduction, thereby completing classical results of T. Saito and Stix valid for curves of genus at least $2$.

研究动机与目标

• 确定具有对数良好约化的光滑射影 $K$-概形的指标是否总是与剩余特征标 $p$ 互素。
• 将关于亏格 $\geq 2$ 曲线的良好约化之经典结果推广至亏格 1 曲线的情形。
• 精确刻画哪些亏格 1 曲线在 $K$ 上具有对数良好约化，特别是当指标被 $p$ 整除时的情形。
• 调和海泽勒引理的预期与正特征情况下实际行为之间的张力，尤其在无有理点时。
• 通过伽罗瓦表示的驯服性与上同调平坦性，提供亏格 1 曲线对数良好约化的完整判别准则。

提出的方法

• 使用 $\ell$-进欧拉示性数 $\chi(X) = \sum_{i\geq 0}(-1)^i \dim_{\mathbb{Q}_\ell} H^i(X_{K^s}, \mathbb{Q}_\ell)$ 作为关键不变量，以检测 $K^t$-有理点的存在性。
• 应用对数几何与对数正规模型的结果，分析亏格 1 曲线 $C$ 在整环 $S$ 上的最小正规模型 $\mathcal{C}$ 的结构。
• 利用尼伦模型理论及 $C$ 的雅可比簇 $J$，将周期（等于指标）与约化类型及伽罗瓦作用联系起来。
• 将 $H^1(C_{K^s}, \mathbb{Q}_\ell)$ 上的伽罗瓦作用的驯服性分析为对数良好约化的必要条件。
• 当 $p$ 整除周期 $m$ 时，引入 $\mathcal{C}$ 关于 $S$ 的上同调平坦性作为关键技术条件。
• 依赖于正特征下具有野性纤维的椭圆曲面的已知构造（如 Katsura–Ueno、Harbourne–Lang）以构造反例。

实验结果

研究问题

• RQ1 具有对数良好约化的光滑射影 $K$-概形的指标是否总是与剩余特征标 $p$ 互素？
• RQ2 哪些伽罗瓦作用与上同调结构条件是亏格 1 曲线具有对数良好约化的充分必要条件？
• RQ3 即使曲线具有对数良好约化，指标是否仍可能被 $p$ 整除？若可能，其条件为何？
• RQ4 周期、雅可比簇的约化类型与最小模型的上同调平坦性之间的相互作用，如何影响 $K^t$-有理点的存在性？
• RQ5 关于亏格 $\geq 2$ 曲线的良好约化之经典结果，在无有理点时，能在多大程度上推广至亏格 1 曲线？

主要发现

• 若光滑射影 $K$-概形 $X$ 具有对数良好约化且其 $\ell$-进欧拉示性数 $\chi(X)$ 非零，则 $X(K^t) \neq \emptyset$，故 $\iota(X)$ 与 $p$ 互素。
• 对于亏格 1 曲线，对数良好约化成立当且仅当：(a) $H^1(C_{K^s}, \mathbb{Q}_\ell)$ 上的伽罗瓦作用是驯服的，且 (b) 若 $p$ 整除周期 $m$，则雅可比簇具有良好约化，且最小模型 $\mathcal{C}$ 关于 $S$ 是上同调平坦的。
• 存在具有对数良好约化的亏格 1 曲线，使得 $C(K^t) = \emptyset$，即 $p$ 整除指标，表明一般情况下指标未必与 $p$ 互素。
• 亏格 1 曲线在 $K$ 上的周期等于其指标，这是由于 $K$ 的布饶尔群为零，此为 Lichtenbaum 的结果。
• 反例来源于正特征下具有野性纤维的椭圆曲面，如 Katsura–Ueno 等人所构造。
• 本结果完成了对曲线对数良好约化的分类，将亏格 1 情形与此前对亏格 $\geq 2$ 的结果统一起来。