Exact Stratification and Affine Mass Formulas for Split Richelot Data over Finite Fields

技术摘要：有限域上分裂 Richelot 数据的精确分层与仿射质量公式

问题陈述
Richelot $(2, 2)$-同构是显式亏格-2 同构计算的基础构造。它作用于域曲线 $C: y^2 = f(x)$，其中 $f$ 是一个由三个单项二次型 $f = uvw$组成的无平方因子六次多项式。标准步骤通过$u, v, w$ 的导数计算三个“括号”（brackets）$U, V, W$，并返回一个商曲线。然而，经典的构造并未完全描述输入在这些步骤可能的几何结果上的分布，也未能在标准亏格-2 输出失效时刻画商曲线的算术性质。

具体而言，存在三种可能的结果：

1. 亏格-2 输出（次数 6）： $UVW$ 是次数为 6 的无平方因子多项式。
2. 亏格-2 输出（次数 5）： $UVW$ 是次数为 5 的无平方因子多项式（发生于两个因子“对齐”时，即它们共享中间系数）。
3. 可分解输出： 系数行列式 $d$ 消失，导致三个二次型构成一个射影丛（pencil）。在这种情况下，商曲线不是亏格-2 曲线，而是椭圆曲线的乘积。

本文解决了关于 $\mathbb{F}_q$（奇特征）上这些分层的精确计数公式的缺失，以及对于可分解情况中定义域的算术分类的缺失。

方法论
作者采用几何字典，将 Richelot 步骤的代数条件转化为 $\mathbb{A}^2(\mathbb{F}_q)$ 仿射平面内的相交几何问题。

• 几何识别： 一个单项二次型 $x^2 + ax + b$ 被识别为一个点 $(a, b)$。判别式条件（可分性）对应于避开判别式抛物线 $\Pi: b = a^2/4$。
• 相交字典：
  • 两个二次型共享一个根（非互素）当且仅当它们的点位于 $\Pi$ 的一条公切线上。
  • 两个二次型是“对齐”的（括号次数下降）当且仅当它们的点位于一条垂直线上。
  • 行列式 $d=0$（可分解情况）当且仅当这三个点共线。
• 组合计数： 分层问题被简化为计算直线（切线、垂直线、割线、外切线）与可分点集的相交情况。这使得推导出容许区域及其分层的精确闭合形式公式成为可能。
• 仿射群质量（Affine Groupoid Mass）： 为了处理坐标自由度，作者通过仿射群 $\text{Aff}(\mathbb{F}_q)$ 对显示的拆分进行商运算。他们计算了“仿射群质量”，即轨道加权和 $\sum 1/\#\text{Stab}(O)$，该质量是关于 $q$ 的四次多项式。
• 证书构造： 作者利用输入对的 Bezoutian 小因子构造了一个运行时证书。这些小因子在计算 Richelot 括号时已经计算完毕，用于确定判别式、结式（resultants）以及分支行列式 $d$。

主要贡献与结果

1. 精确分层公式：
   论文证明了对于任何奇素数幂 $q$，各层中序三元组 $(u, v, w)$ 的精确闭合公式：

   • 总容许区域 $A_q$。
   • 可分解层 $D_q$（其中 $d=0$）。
   • 亏格-2 层 $G_{5,q}$（次数 5 输出）和 $G_{6,q}$（次数 6 输出）。
     非泛型层的密度被证明为：可分解情况为 $1/q + O(q^{-3})$，五次情况为 $3/q + O(q^{-2})$。

2. 仿射质量公式与稳定子分类：
   作者提供了各层的仿射群质量，它们是关于 $q$ 的四次多项式。他们对仿射作用的稳定子进行了分类，表明非平凡稳定子（自同构 $x \mapsto -x+b$）仅出现在可分解层 $D$ 中，且仅限于三个二次型共享中间系数的子集上。

3. 运行时证书与冗余证明：

   • 算法 1： 提出了一个经过认证的 Richelot 步骤，它仅使用在标准括号组装期间计算的数据，即可将输入分类为 无效 (Invalid)、亏格-2 (Genus2) 或 可分解 (Decomposable)。
   • 代价： 除了括号计算外，分类增加的代价为 $5M + 6S$（乘法和平方运算），或者如果输入已通过认证，则仅需 $2M$。
   • 冗余性： 论文证明了输出后检查（验证 $U, V, W$ 的次数和互素性）以及仿射重试（通过移动坐标来修复失败）是可证明冗余的。证书保证了如果输入满足判别式和结式检查，则输出属性成立。

4. 可分解层的算术：
   对于 $d=0$ 的情况，论文提供了完整的算术分类：

   • 拆分类（Splitting Class）： 任一对因子的结式的平方类是保持不变的，它决定了连接三个参数点的直线的几何性质。
   • 两种情况：
     • 平方拆分类： 椭圆因子定义在 $\mathbb{F}_q$ 上。
     • 非平方拆分类： 椭圆因子定义在 $\mathbb{F}_{q^2}$ 上，并由伽罗瓦群交换。在这种情况下，Jacobian 的 Weil 多项式是偶的，且点计数满足恒等式 $\#C(\mathbb{F}_q) = q + 1$。
   • 自同构： 论文显式构造了曲线 $C$ 的额外自同构，该自同构提升了射影丛的覆盖变换（deck transformation），证明了 $d=0$ 对应于这种额外对称性的存在。

意义与主张
论文声称其结果在以下领域具有新颖性：

• 有限域上 Richelot 输入分层的精确计数定理。
• 带有完整稳定子分类的仿射群质量分析。
• 将“拆分类”识别为线不变量，从而实现了对可分解层的精细计数，并确定了椭圆因子的定义域。
• 证明了可分解分支并非失败状态，而是一个具有特定性质（例如点计数恒等式）的独特算术情况。

作者强调，分类是现有计算的副产品，不需要对数据进行额外的遍历。结果通过对小有限域（最高至 $q=49$）的穷举枚举以及在整数上的符号验证得到了验证。论文明确指出，它并不声称在提供拆分之前对六次模型进行分类，也不解决因子不是单独有理的情况下的伽罗瓦置换核（Galois-permuted kernels）的分层问题。同时指出，由于括号中中间系数的消失，特征 2 的情况需要单独的分类。