[论文解读] Explicit CM-theory in dimension 2

Reinier Bröker, David Gruenewald+1 more|arXiv (Cornell University)|Oct 9, 2009

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

一句话总结

本文對四次域上具有复乘法的阿贝尔簇的Igusa不变量j1、j2、j3的反射域类群的伽罗瓦作用提供了明确描述。通过Siegel模簇之间的几何映射，该方法可对小范数理想实现该作用的显式计算，改进了计算Igusa类多项式的CRT方法，并揭示了将同源火山算法推广至阿贝尔簇时的结构性限制。

ABSTRACT

Abstract. For a complex abelian surface A with endomorphism ring isomorphic to the maximal order in a quartic CM-field K, the Igusa invariants j1(A), j2(A), j3(A) generate an abelian extension of the reflex field of K. In this paper we give an explicit description of the Galois action of the class group of this reflex field on j1(A), j2(A), j3(A). We give a geometric description which can be expressed by maps between various Siegel modular varieties. We can explicitly compute this action for ideals of small norm, and this allows us to improve the CRT method for computing Igusa class polynomials. Furthermore, we find cycles in isogeny graphs for abelian surfaces, thereby implying that the ‘isogeny volcano ’ algorithm to compute endomorphism rings of ordinary elliptic curves over finite fields does not have a straightforward generalization to computing endomorphism rings of abelian surfaces over finite fields. 1.

研究动机与目标

• 明确描述四次域上复乘法的阿贝尔簇的Igusa不变量j1、j2、j3的反射域类群的伽罗瓦作用。
• 利用Siegel模簇之间的映射，建立几何框架以建模该伽罗瓦作用。
• 实现对小范数理想伽罗瓦作用的显式计算。
• 通过该显式作用改进计算Igusa类多项式的CRT方法。
• 研究将同源火山算法推广至有限域上阿贝尔簇的自同态环计算时的结构性障碍。

提出的方法

• 本文利用Siegel模簇之间的几何映射，描述Igusa不变量j1、j2、j3上的伽罗瓦作用。
• 通过模参数化，显式构造反射域类群对Igusa不变量的作用。
• 该方法依赖于CM阿贝尔簇及其相关反射域与类群的理论。
• 对小范数理想进行显式计算，以具体实现伽罗瓦作用。
• 该方法将类域论与Siegel模簇的几何相结合，导出算法改进。
• 该框架被应用于改进计算Igusa类多项式的CRT方法。

实验结果

研究问题

• RQ1 如何对二维CM阿贝尔簇的Igusa不变量j1、j2、j3，显式描述其反射域类群的伽罗瓦作用？
• RQ2 是否可利用Siegel模簇之间映射的几何结构来建模并计算该伽罗瓦作用？
• RQ3 该显式伽罗瓦作用在多大程度上可改进计算Igusa类多项式的CRT方法？
• RQ4 阿贝尔簇同源图的何种结构性特征阻碍了同源火山算法的直接推广？
• RQ5 阿贝尔簇同源图中发现的循环是否意味着通过类似火山的算法计算自同态环存在根本性障碍？

主要发现

• 通过Siegel模簇之间的几何映射，显式描述了类群对Igusa不变量j1、j2、j3的伽罗瓦作用。
• 该方法可对小范数理想实现伽罗瓦作用的显式计算，提供了具体的算法工具。
• 对伽罗瓦作用的改进理解，使得Igusa类多项式计算的CRT方法实现更高效。
• 本文识别出阿贝尔簇同源图中的循环，这些循环阻碍了同源火山算法的直接推广。
• 这些循环表明，适用于普通椭圆曲线的同源火山方法无法直接推广至有限域上阿贝尔簇的自同态环计算。
• 本研究为二维显式类域理论建立了基础框架，对密码学与算法数论具有应用价值。