[论文解读] Arithmetic of hyperelliptic curves over local fields

Céline Maistret, Tim Dokchitser+2 more|arXiv (Cornell University)|Jan 1, 2017

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

一句话总结

本文引入了簇图（cluster picture）——一种编码多项式 f(x) 的根之间 p-进距离的组合不变量——以对奇剩余特征数局部域上的超椭圆曲线 y² = f(x) 的关键算术不变量进行分类。簇图完全决定了该曲线的伽罗华表示、导子、半稳定性质、最小模型的特殊纤维以及判别式。

ABSTRACT

We study hyperelliptic curves y^2=f(x) over local fields of odd residue characteristic. We introduce the notion of a cluster picture associated to the curve, that describes the p-adic distances between the roots of f(x), and show that this elementary combinatorial object encodes the curve's Galois representation, conductor, whether the curve is semistable, and if so, the special fibre of its minimal regular model, the discriminant of its minimal Weierstrass equation and other invariants.

研究动机与目标

• 开发一种组合框架，以捕捉超椭圆曲线中 f(x) 的根的 p-进几何性质。
• 理解根的配置如何影响导子和伽罗华表示等算术不变量。
• 确定曲线为半稳定的条件，并描述其最小正则模型的特殊纤维。
• 利用根的配置计算最小魏尔斯特拉斯方程的判别式。
• 通过单一、基本的组合对象——簇图——统一描述多个不变量。

提出的方法

• 基于根之间的 p-进距离，将 f(x) 的根划分为簇图。
• 利用簇图通过根的配置计算伽罗华群在塔特定模上的作用。
• 从簇的结构及其深度推导导子指数。
• 通过分析簇图的细化与深度性质来判断半稳定性。
• 从簇图的组合数据构造最小正则模型的特殊纤维。
• 利用簇的高度和根之间差值的赋值，计算最小魏尔斯特拉斯模型的判别式。

实验结果

研究问题

• RQ1 如何将 f(x) 的根之间的 p-进距离编码为一个组合对象，以捕捉全局算术不变量？
• RQ2 簇图在多大程度上决定了该曲线在局部域上的伽罗华表示？
• RQ3 簇图的何种条件意味着曲线的最小正则模型的半稳定性？
• RQ4 曲线的导子如何与簇结构及其深度相关联？
• RQ5 能否直接从簇图计算最小魏尔斯特拉斯方程的判别式？

主要发现

• 簇图完全决定了该超椭圆曲线在局部域上的伽罗华表示。
• 导子指数通过簇的深度和大小之和计算得出，反映了分歧行为。
• 曲线的半稳定性等价于簇图在最大深度处无非平凡细化。
• 最小正则模型的特殊纤维由簇图的划分结构及其关联的组合类型描述。
• 最小魏尔斯特拉斯方程的判别式由簇图的总高度和根之间差值的赋值决定。
• 所有不变量——导子、判别式、半稳定性及伽罗华作用——均编码于单一、有限的组合对象：簇图。