Moduli-friendly Eisenstein series over the p-adics and the computation of modular Galois representations

被引:0
作者
Nicolas Mascot
机构
[1] Trinity College,
来源
Research in Number Theory | 2022年 / 8卷
关键词
Modular form; Galois representation; Jacobian; -Adic; Moduli; Algorithm; 11F80; 11Y40; 14H40; 14G20; 14G35; 11G18; 11F11;
D O I
暂无
中图分类号
学科分类号
摘要
We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of “moduli-friendly” Eisenstein series introduced by Makdisi, which allow us to evaluate modular forms at p-adic points of modular curves and dispenses us of the need for equations of modular curves and for q-expansion computations in the construction of models of modular Jacobians. The resulting algorithm compares very favourably to our complex-analytic method.
引用
收藏
相关论文
共 12 条
  • [1] Dokchitser T(2013)Identifying Frobenius elements in Galois groups Algebra Number Theory 7 1325-1352
  • [2] Vladimir N(2018)Companion forms and explicit computation of J. Algebra 509 476-506
  • [3] Mascot K(2004) number fields with very little ramification Math. Comp. 73 333-357
  • [4] Khuri-Makdisi K(2007)Linear algebra algorithms for divisors on an algebraic curve Math Comput 76 2213-2239
  • [5] Khuri-Makdisi N(2020)Asymptotically fast group operations on Jacobians of general curves Math. Comput. 89 1417-1455
  • [6] Mascot N(2018)Hensel-lifting torsion points on Jacobians and Galois representations Math. Comput. 87 381-423
  • [7] Mascot K(2012)Certification of modular Galois representations Int. J. Number Theory 8 715-748
  • [8] Khuri-Makdisi P(2013)Moduli interpretation of Eisenstein series Math. Comput. 82 1711-1756
  • [9] Bruin NM(1976)Computing in Picard groups of projective curves over finite fields Ann. Math. (2) 104 459-571
  • [10] Katz J-P(1968)-Adic interpolation of real analytic Eisenstein series Ann. Math. (2) 88 492-517