[论文解读] On The Characteristic Polynomial of Frobenius of Supersingular Abelian Varieties Of Dimension up to 7 over Finite Fields

Vijaykumar Singh, Alexey Zatysev+1 more|arXiv (Cornell University)|Nov 10, 2010

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

一句话总结

本文对有限域 𝔽_q（其中 q = p^n 且 n 为奇数）上维度 1 至 7 的简单超奇异阿贝尔簇的弗罗贝尼乌斯自同态的特征多项式进行了分类。利用本田-塔特定理及韦伊 q-数的性质，作者通过分析不可约性、分圆因式分解与伽罗瓦下降，推导出此类多项式的完整列表，最终证明在这些域上不存在维度为 7 的简单超奇异阿贝尔簇。

ABSTRACT

In this article, we derive the list of the characteristic polynomials of the Frobenius endomorphism of simple supersingular abelian varieties of dimension $1,~2,~3,~4,~5,~6,~7$ over $\mathbb{F}_q$ where $q=p^n$, $n$ odd.

研究动机与目标

• 对有限域 𝔽_q（其中 q = p^n 且 n 为奇数）上维度 1 至 7 的简单超奇异阿贝尔簇的弗罗贝尼乌斯自同态的特征多项式进行分类。
• 将已知的超奇异阿贝尔簇分类扩展至维度 4 以上，尤其针对此类数据稀少的高维情形。
• 确定此类阿贝尔簇是否可作为曲线的雅可比簇出现，特别是在密码学与编码理论中的应用背景。
• 提供一种基于分圆多项式与伽罗瓦下降的系统性方法，该方法可推广至任意维度。
• 解决维度 7 的存在性问题，证明在 n 为奇数的 𝔽_q 上不存在此类简单超奇异阿贝尔簇。

提出的方法

• 应用本田-塔特定理，建立 𝔽_q 上简单阿贝尔簇的同源类与超奇异韦伊 q-数共轭类之间的双射关系。
• 通过代换 t = X/√q，将弗罗贝尼乌斯的特征多项式 P(X) 转化为 ℚ(√q) 上的多项式 G(t)，从而将问题简化为单位根的分析。
• 利用超奇异韦伊 q-数的形式为 √q ⋅ ζ（其中 ζ 为单位根）的条件，使得 G(t) 的根为单位根。
• 分析多项式 H(t) = G(t)G(t)^σ，其仅含偶次幂，且必须整除 t^m - 1（对某个满足 φ(m) = 4g 的 m）。
• 对于不可约 P(X)，要求 H(t) 是 t^m - 1 的不可约分圆因子，次数为 4g 且满足 φ(m) = 4g；对于可约 P(X)，分析其在 ℚ(√q) 上分解为次数为 g 的多项式乘积的情形。
• 利用 p-进赋值及自同态代数的不变量，从 ℚ_p 上关联多项式的因式分解中确定阿贝尔簇的维度。

实验结果

研究问题

• RQ1 在 q = p^n 且 n 为奇数的 𝔽_q 上，哪些弗罗贝尼乌斯特征多项式来自维度 g ≤ 7 的简单超奇异阿贝尔簇？
• RQ2 能否利用分圆与伽罗瓦理论方法，将超奇异阿贝尔簇的分类扩展至维度 4 以上？
• RQ3 在 q = p^n 且 n 为奇数的 𝔽_q 上，是否存在维度为 7 的简单超奇异阿贝尔簇？
• RQ4 所列的哪些特征多项式可作为 𝔽_q 上曲线的雅可比多项式出现？
• RQ5 自同态代数的不变量（通过系数的 p-进赋值）如何决定阿贝尔簇的维度？

主要发现

• 对于维度 1 至 6，本文提供了在 𝔽_q（其中 q = p^n 且 n 为奇数）上简单超奇异阿贝尔簇的弗罗贝尼乌斯特征多项式的完整列表。
• 该分类基于分圆多项式 t^m - 1 的因式分解及 ℚ(√q) 上伽罗瓦轨道的结构，维度由变换后多项式 G(t) 的不可约因子个数决定。
• 对于维度 7，作者证明不存在此类简单超奇异阿贝尔簇，因为不存在满足 φ(m) = 28 且对应分圆多项式仅含偶次项的合适 m。
• 当 p ≡ 1 mod 14 时，7 次分圆多项式在 ℚ_p 上分解为三个二次因子，这意味着阿贝尔簇的维度为 6。
• 本文确认，维度 1–2 的所有特征多项式以及部分维度 4 的特征多项式可作为 𝔽_q（其中 q = 2^n 且 n 为奇数）上超椭圆曲线的雅可比多项式出现，通过显式例子予以证明。
• 该方法可通过分析满足 φ(m) = 4g 的 m 的存在性，推广至任意维度：要么 H(t) 是 t^m - 1 的仅含偶次项的不可约因子，要么在 ℚ(√q) 上分解为次数为 g 的分量。