[论文解读] An explicit version of Shimura's reciprocity law for Siegel modular functions

Marco Streng|arXiv (Cornell University)|Dec 29, 2011

Advanced Algebra and Geometry参考文献 31被引用 7

一句话总结

本文提出了希爾伯特模形式的志村互反律的显式版本，使四次CM域的类不变量得以系统计算。通过利用模变换和理想作用于水平N的希爾伯特模形式上的伽罗瓦作用，作者构建了首个已知的、显著小于伊古萨不变量的四次CM域类不变量，关键多项式系数大小减少了40%。

ABSTRACT

We give an explicit version of Shimura's reciprocity law for singular values of Siegel modular functions. We use this to construct the first examples of class invariants of quartic CM fields that are smaller than Igusa invariants. Our statement also enables a new proof of Shimura's reciprocity law by Tonghai Yang.

研究动机与目标

• 开发志村互反律在高维类域论中的显式、可计算的有效版本。
• 为四次CM域构造高度小于伊古萨不变量的类不变量，提升显式类域论与密码学中的效率。
• 提供一种实用框架，通过理想群与希尓伯特类群作用计算希爾伯特模形式奇异值上的伽罗瓦作用。
• 通过CM方法中使用更小的不变量，加速阿贝尔簇与超椭圆曲线雅可比簇的计算。
• 为志村互反律提供一种新证明，并将施尔茨的类不变量推广至更高亏格。

提出的方法

• 本文使用理想与希尓伯特类群代替阿代尔群来表述志村互反律，实现显式计算。
• 定义了 $ U \in \mathrm{GSp}_{2g}(\mathbb{Z}/N\mathbb{Z}) $ 对希爾伯特模形式 $ f \in \mathcal{F}_N $ 的作用，使得 $ f(\tau)^{[\mathfrak{a}]} $ 可转化为 $ f^U(\tau') $。
• 构造的变换点 $ \tau' $ 位于基本域内，确保 $ f^U(\tau') $ 的数值计算高效。
• 利用θ常数显式表达模形式，便于在SageMath中结合PARI实现。
• 提出一个充分条件（命题2.13），使类不变量为实数，从而提升计算效率。
• 该方法可利用插值与格鲁伯基技术计算类不变量的最小多项式及其与伊古萨不变量的关系。

实验结果

研究问题

• RQ1 如何使志村互反律在高维CM域中显式化并具备可计算性？
• RQ2 能否利用显式互反律为四次CM域构造出小于伊古萨不变量的类不变量？
• RQ3 何种条件可确保类不变量为实数，从而降低计算复杂度？
• RQ4 显式互反律如何用于加速CM方法中阿贝尔簇的构造？
• RQ5 能否利用显式互反律将施尔茨的类不变量推广至更高亏格？

主要发现

• 本文首次构造出四次CM域类不变量的已知实例，其大小小于伊古萨不变量，关键多项式中最大系数的大小减少了40%。
• 显式互反律使 $ f(\tau)^\sigma $ 的计算高效，通过理想作用与模变换实现，取代了阿代尔近似。
• 提供了类不变量为实数的充分条件（命题2.13），简化了数值计算并降低了精度需求。
• 该方法通过在CM方法中用更小的不变量替代伊古萨不变量，加快了有限域上超椭圆曲线雅可比簇的计算。
• 作者在SageMath中实现了该算法并公开发布，支持可重现与可扩展的计算。
• 该显式互反律还使童海阳（Tonghai Yang）得以给出志村互反律的新证明，证明了其理论上的稳健性。