[论文解读] Hyperelliptic curves, L-polynomials, and random matrices

Kiran S. Kedlaya, Andrew V. Sutherland|DSpace@MIT (Massachusetts Institute of Technology)|Mar 31, 2008

Advanced Algebra and Geometry参考文献 29被引用 21

一句话总结

本文研究了定义在 Q 上的亏格 g ≤ 3 的双椭圆曲线的单位化 L-多项式 Lp(T) 的分布，发现其与 Katz-Sarnak 随机矩阵猜想有强有力的实验支持：L-多项式与 USp(2g) 中随机矩阵的特征多项式一致。本文提出了一个亏格 2 的 Sato-Tate 型猜想，包含 22 种例外分布，每种分布对应 USp(4) 的一个紧致子群，并确认所有已知曲线均符合此分类。

ABSTRACT

We analyze the distribution of unitarized L-polynomials Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g <= 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the Katz-Sarnak random matrix model) between the distributions of Lp(T) and of characteristic polynomials of random matrices in the compact Lie group USp(2g). We then formulate an analogue of the Sato-Tate conjecture for curves of genus 2, in which the generic distribution is augmented by 22 exceptional distributions, each corresponding to a compact subgroup of USp(4). In every case, we exhibit a curve closely matching the proposed distribution, and can find no curves unaccounted for by our classification.

研究动机与目标

• 研究定义在 Q 上的亏格 g ≤ 3 的双椭圆曲线的单位化 L-多项式 Lp(T) 的分布。
• 通过将 L-多项式分布与 USp(2g) 中随机矩阵的分布进行比较，检验 Katz-Sarnak 随机矩阵猜想。
• 通过识别并分类超出一般情况的例外分布，将 Sato-Tate 猜想推广至亏格 2 曲线。
• 确定所有观测到的曲线是否均可由 USp(4) 中提出的 22 种例外分布分类所涵盖。

提出的方法

• 计算定义在 Q 上的亏格 g ≤ 3 的双椭圆曲线在不同素数 p 处的单位化 L-多项式 Lp(T)。
• 将 Lp(T) 的分布与紧致李群 USp(2g) 中随机矩阵的特征多项式分布进行比较。
• 通过分析与曲线相关的模 p 伽罗瓦表示的伽罗瓦像，识别并分类例外分布。
• 利用 USp(4) 中的子群分类，建立 22 个不同的紧致子群，每个子群对应一种唯一的 L-多项式分布。
• 构造显式曲线以匹配每种提出的例外分布，从而验证理论分类。
• 进行广泛的数值实验，验证观测到的 L-多项式分布与预测的随机矩阵模型之间的一致性。

实验结果

研究问题

• RQ1 定义在 Q 上的亏格 g ≤ 3 的双椭圆曲线的 L-多项式 Lp(T) 的分布是否与 USp(2g) 中随机矩阵的特征多项式分布一致？
• RQ2 能否提出一个包含一般分布与 22 种例外分布的亏格 2 Sato-Tate 猜想？
• RQ3 这 22 种例外分布是否对应 USp(4) 的紧致子群，且每种分布是否均可由显式双椭圆曲线实现？
• RQ4 是否存在任何定义在 Q 上的亏格 2 双椭圆曲线，其 L-多项式分布超出所提出的分类？
• RQ5 Katz-Sarnak 随机矩阵模型在双椭圆曲线的 L-多项式行为背景下，其预测能力在多大程度上成立？

主要发现

• 定义在 Q 上的亏格 g ≤ 3 的双椭圆曲线的单位化 L-多项式 Lp(T) 的分布与 USp(2g) 中随机矩阵预测的分布具有强有力的实验一致性。
• 对于亏格 2 曲线，一般分布被 22 种例外分布所补充，每种例外分布对应 USp(4) 中一个不同的紧致子群。
• 22 种例外分布中的每一种均由至少一个显式双椭圆曲线实现，从而确认了理论分类的正确性。
• 未发现任何定义在 Q 上的亏格 2 双椭圆曲线，其 L-多项式分布超出所提出的 23 种分布（1 种一般 + 22 种例外）分类。
• 结果支持基于随机矩阵理论的亏格 2 双椭圆曲线广义 Sato-Tate 猜想的有效性。
• 本研究证实，L-多项式分布完全由一般 USp(2g) 模型与 USp(4) 中 22 个例外子群的并集所涵盖。