[论文解读] Reduction type of smooth quartics

Lercier, Reynald, Liu, Qing+2 more|arXiv (Cornell University)|Mar 15, 2018

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文利用代数不变量与几何不变理论，对离散赋值域上的光滑平面四次曲线的约化类型（良好四次型、良好双阿贝尔型或坏约化）提供了完整的刻画。它基于Dixmier-Ohno不变量与Shioda不变量的赋值，建立了明确的判别准则，证明了在任意离散赋值环上，三元四次型形式在SL₃作用下存在齐次参数系，并给出了在潜在良好双阿贝尔约化情形下确定特殊纤维的算法，其应用涵盖Picard曲线与模曲线X₁(13)等。

ABSTRACT

Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model and, over $\bar{K}$, in terms of the valuations of certain algebraic invariants of $C$ when the characteristic of the residue field is not $2,\,3,\,5$ or $7$. On the way, we gather several results of general interest on geometric invariant theory over an arbitrary ring $R$ in the spirit of (Seshadri 1977). For instance when $R$ is a discrete valuation ring, we show the existence of a homogeneous system of parameters over $R$. We exhibit explicit ones for ternary quartic forms under the action of $ extrm{SL}_{3,R}$ depending only on the characteristic $p$ of the residue field. We illustrate our results with the case of Picard curves for which we give simple criteria for the type of reduction.

研究动机与目标

• 确定一个光滑平面四次曲线在离散赋值域上的约化类型（良好四次型、良好双阿贝尔型或坏约化）。
• 基于代数不变量（Dixmier-Ohno不变量与Shioda不变量）的赋值，提供明确判别准则，以区分约化类型，特别是区分良好双阿贝尔约化与坏约化。
• 在任意离散赋值环上，建立三元四次型形式在SL₃作用下齐次参数系的存在性，并给出依赖于剩余特征的显式构造。
• 发展一种算法框架，利用不变量理论与稳定模型，重构潜在良好双阿贝尔约化情形下的特殊纤维。
• 将结果应用于具体例子，包括Picard曲线与模曲线如X₁(13)，提供显式的toggle模型与特殊纤维方程。

提出的方法

• 在离散赋值环上使用几何不变理论（GIT）分析三元四次型形式在SL₃作用下的稳定性与不变量，证明齐次参数系的存在性。
• 引入‘toggle模型’Q² + π²ˢG = 0（其中G与Q为本原形式，s为偶数）以刻画光滑平面四次曲线C/K的良好数双阿贝尔约化。
• 应用不变量理论——特别是Dixmier-Ohno与Shioda不变量——推导基于赋值的约化类型判别准则，尤其在p ≠ 2, 3, 5, 7时。
• 利用曲线的稳定模型及其在完成后的不变量，将问题约化为ι₄₂(F)的赋值为零的情形，从而实现最小代表元的计算。
• 利用b₈(G) = 0蕴含在代数闭包上GIT稳定性的事实，并应用[MF82]与[LR12]的结果，重构双阿贝尔情形下的特殊纤维。
• 将判别准则应用于模曲线（如X₁(13)），计算在不同素数处的不变量赋值，以确定约化类型，包括具有CM的情形。

实验结果

研究问题

• RQ1 如何算法性地判断一个光滑平面四次曲线在离散赋值域上具有良好四次型、良好双阿贝尔型或坏约化？
• RQ2 哪些不变量——特别是Dixmier-Ohno或Shioda不变量——可用于区分良好双阿贝尔约化与坏约化？其赋值如何编码这一信息？
• RQ3 在潜在良好双阿贝尔约化情形下，能否显式构造出特殊纤维的方程？在何种条件下可实现？
• RQ4 自同构群的作用以及不存在圆锥模型在小特征情形下如何阻碍标准不变量理论方法的应用？
• RQ5 如何系统性地确定如X₁(13)或其他Shimura曲线在整除其判别式的素数处的约化类型？

主要发现

• 在13处，曲线X₁(13)具有潜在良好双阿贝尔约化，其特殊纤维同构于双阿贝尔曲线y² = x⁷ − 1，该结论由不变量赋值验证。
• 对于p ≠ 2, 3, 5, 7，光滑平面四次曲线的约化类型由其Dixmier-Ohno不变量的赋值决定：若v(DO(I₃)) = 0且v(DO(D₂₇)) > 0，且其它不变量满足特定赋值条件，则曲线具有潜在良好双阿贝尔约化。
• 存在良好toggle模型Q² + π²ˢG = 0当且仅当曲线具有良好双阿贝尔约化，且当不变量满足赋值条件时，该模型可被算法构造。
• 本文证明在完备离散赋值环上，三元四次型形式在SL₃作用下不变量环存在齐次参数系，且显式表达式依赖于剩余特征p。
• 对于模7的Klein四次曲线，自同构群PSL₂(F₇)不能实现为SO₃的子群，这阻碍了标准圆锥方法的应用，但toggle模型依然存在。
• 该方法成功分类了[KLL+18]中20条模曲线Xᵢ的约化类型，表4总结了结果，包括需使用CM阶分析的情形（以†标记）。