[论文解读] Primes dividing invariants of CM Picard curves

Kilicer, P., Elisa Lorenzo García+1 more|arXiv (Cornell University)|Jan 1, 2019

Algebraic Geometry and Number Theory参考文献 31被引用 10

一句话总结

本文通过一种新颖的方法，基于特定类型的良好约化而非不良约化，为具有复乘（CM）的三型Picard曲线的不变量分母所含素数提供了精确且明确的界。通过分析此类素数模下的雅可比簇的自同态结构，作者推导出一个极小且可计算的素数集合S，该集合中的素数可能出现在分母中，从而实现了CM Picard曲线的实际构造。该界显著优于以往方法，且已被证明在显式计算中具有实效性。

ABSTRACT

We give a bound on the primes dividing the denominators of invariants of Picard curves of genus 3 with complex multiplication. Our proof is simpler than the previous proofs for genus 2 and 3 and, unlike previous bounds for genus 3, our bounds are sharp enough for use in class polynomial computation.

研究动机与目标

• 确定具有复乘的三型Picard曲线的不变量分母中可能被整除的素数。
• 克服以往基于不良约化的界限所导致的过大且不切实际的估计值的局限性。
• 开发一种方法，得到一个极小且可计算的素数集合S，使得所有分母均为S-单位，适用于CM曲线的显式构造。
• 提供分母中指数的猜想界，以实现类多项式的完整计算。

提出的方法

• 为Picard曲线引入一组新的绝对不变量j1、j2、j3，其算术性质优于以往的不变量。
• 采用精细化的约化理论：不依赖于不良约化，而是聚焦于一种特定类型的良好约化，即模p下雅可比簇的自同态环包含CM域的完整整序。
• 应用稳定约化理论与极小正规模型理论，分析Néron模型的特殊纤维，确保约化类型强制自同态代数元素的交换性。
• 通过将CM整序嵌入到约化雅可比簇的自同态代数中，对大素数导出矛盾，从而证明仅小素数可能整除分母。
• 利用约化的显式结构，直接证明四元数代数元素的交换性，避免使用渐近论证。
• 在SageMath中实现该界，并提供数值示例以验证该方法的实际可行性。

实验结果

研究问题

• RQ1 哪些素数可能整除三型Picard曲线具有复乘的不变量的分母？
• RQ2 能否推导出一个足够小且可计算的素数界，适用于CM曲线的显式构造？
• RQ3 聚焦于特定类型的良好约化是否能比传统基于不良约化的手段提供更紧的界？
• RQ4 能否对分母中的指数施加一个界限，使得类多项式的完整计算成为可能？
• RQ5 为何Koike-Weng不变量的分母比其他不变量更小，尽管其尚无理论上的界限？

主要发现

• 本文证明了整除不变量j1和j2分母的素数恰好是某个极小且可显式计算的素数集合S中的素数，该集合仅依赖于CM域和整序。
• 对于不变量j1，其分母为S-单位，且集合S由具有特定分歧与剩余域结构的良好约化素数所界定。
• 该界足够紧致，可直接用于显式构造具有CM的Picard曲线，而以往的界限因过大而不可行。
• 作者提出了分母中指数的猜想界，若该猜想成立，将可实现类多项式的完整计算。
• 数值示例表明，j1和j2的分母显著小于基于判别式的不变量，且与Koike-Weng不变量的分母相当或更小。
• 该界在SageMath中的实现已公开发布，可直接用于密码学与算术几何领域的实际应用。