[论文解读] Conductors and minimal discriminants of hyperelliptic curves with rational Weierstrass points

Padmavathi Srinivasan|arXiv (Cornell University)|Aug 21, 2015

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

一句话总结

本论文证明了：对于在离散赋值环上定义的、亏格 $g \geq 1$ 的双椭圆曲线，其剩余域为完美域且特征不为 2，且所有魏尔斯特拉斯点均为 $K^{\mathrm{sh}}$-有理点时，其最小正规适当模型的负阿廷导子被最小判别式所上界。关键结果为 $-\operatorname{Art}(\mathcal{X}/S) \leq \nu(\Delta)$，将刘在亏格 2 时的结果推广至任意亏格，前提是魏尔斯特拉斯点有理。

ABSTRACT

Let $C$ be a hyperelliptic curve of genus $g$ over the fraction field $K$ of a discrete valuation ring $R$. Assume that the residue field $k$ of $R$ is perfect and that $\mathop{ extrm{char}} k eq 2$. Assume that the Weierstrass points of $C$ are $K$-rational. Let $S = \mathop{ extrm{Spec}} R$. Let $\mathcal{X}$ be the minimal proper regular model of $C$ over $S$. Let $\mathop{ extrm{Art}} (\mathcal{X}/S)$ denote the Artin conductor of the $S$-scheme $\mathcal{X}$ and let $ν(Δ)$ denote the minimal discriminant of $C$. We prove that $-\mathop{ extrm{Art}} (\mathcal{X}/S) \leq ν(Δ)$. As a corollary, we obtain that the number of components of the special fiber of $\mathcal{X}$ is bounded above by $ν(Δ)+1$.

研究动机与目标

• 将刘在亏格 2 时的不等式 $-\operatorname{Art}(C/K) \leq \nu(\Delta)$ 推广至在魏尔斯特拉斯点为 $K^{\mathrm{sh}}$-有理点条件下任意亏格的双椭圆曲线。
• 为满足上述条件的此类曲线，建立负阿廷导子的统一上界，其表达式以最小判别式表示。
• 通过显式正规模型与对偶图，采用模型论与组合方法证明，避免对纤维类型进行逐类分类。
• 根据最小判别式，推导出最小正规模型的特殊纤维中分量数目的上界。

提出的方法

• 通过迭代地对 $\mathbb{P}^1_R$ 进行爆破，以分离魏尔斯特拉斯点的特殊化，然后在曲线 $C$ 的函数域中取正规化，构造曲线 $C$ 的显式正规适当模型 $X$。
• 使用公式 $-\operatorname{Art}(X/S) = n(X) - 1 + \tilde{f}$，其中 $n(X)$ 为特殊纤维的分量数，$\tilde{f}$ 为 $\ell$-进伽罗瓦表示的导子。
• 通过双图 $T_B$ 的顶点索引的局部贡献，定义并计算所构造模型的德利涅判别式。
• 分析特殊纤维的对偶图 $T_B$，根据顶点权重、度数和分量类型，将判别式分解为局部项。
• 通过分析顶点贡献并利用权重与分量数约束导出的不等式，界定德利涅判别式与最小判别式之间的差值。
• 通过在所有顶点上求和局部上界，并利用最终模型的最小性，证明主不等式 $-\operatorname{Art}(\mathcal{X}/S) \leq \nu(\Delta)$。

实验结果

研究问题

• RQ1 当所有魏尔斯特拉斯点为 $K^{\mathrm{sh}}$-有理点时，双椭圆曲线是否满足不等式 $-\operatorname{Art}(\mathcal{X}/S) \leq \nu(\Delta)$？
• RQ2 能否显式计算所构造正规模型的德利涅判别式？其与最小判别式相比如何？
• RQ3 特殊纤维对偶图的何种条件可推出等式 $-\operatorname{Art}(\mathcal{X}/S) = \nu(\Delta)$？
• RQ4 最小正规模型的特殊纤维中分量数目与最小判别式之间有何关系？

主要发现

• 最小正规适当模型的负阿廷导子满足 $-\operatorname{Art}(\mathcal{X}/S) \leq \nu(\Delta)$，将刘在亏格 2 时的结果推广至在魏尔斯特拉斯点有理条件下的任意亏格。
• 最小正规适当模型的特殊纤维中不可约分量数 $n$ 满足 $n \leq \nu(\Delta) + 1$。
• 等式 $-\operatorname{Art}(\mathcal{X}/S) = \nu(\Delta)$ 成立当且仅当所构造模型为最小模型，且对偶图 $T_B$ 满足严格的拓扑与权重约束，包括高度至多为 2 且顶点度数有界。
• 导子 $\tilde{f}$ 当且仅当曲线 $C$ 的雅可比簇具有良好约化时为零，此时 $n = \nu(\Delta) + 1$。
• 当且仅当其对偶图包含一个奇顶点，无偶子节点，一个偶子节点，且无 $l'_v$-贡献时，模型 $X$ 不是最小模型。
• 证明通过显式爆破构造与对偶图分析，避免了对纤维类型的分类，从而绕过了对奈米卡瓦-上田类型分类的依赖。