Skip to Main content Skip to Navigation

Computing modular Galois representations

Abstract : It was conjectured in the late 60's by J.-P. Serre and proved in the early 70's by P.Deligne that to each newform f = q +Σn ⩾2 anqn 2 Sk(N; "), k ⩾2, and each primel of the number field Kf = Q(an; n ⩾ 2), is attached an l-adic Galois representationPf;l : Gal(Q=Q) ! GL2(ZKf;l ), which is unrami fied outside ℓN and such the characteristicpolynomial of the Frobenius element at p ∤ ℓN is X2 apX +"(p)pk1. Reducing modulo land semi-simplifying, one gets a mod l Galois representation Pf;l : Gal(Q=Q) ! GL2(Fl),which is unrami filed outside ℓN and such that the characteristic polynomial of the Frobeniuselement at p ℓN is X2 apX +"(p)pk1 mod l. In particular, its trace is ap mod l, whichgives a quick way to compute ap mod l for huge p.The goal of this thesis is to study and implement an algorithm based on this idea(originally due to J.-M. Couveignes and B. Edixhoven) which computes the coefficients apmodulo l by computing the mod l Galois representation first, relying on the fact that ifk < ℓ, this representation shows up in the ℓ-torsion of the jacobian of the modular curveX1(ℓN).Thanks to several improvements, such as the use of K. Khuri-Makdisi's methods tocompute in the modular Jacobian J1(ℓN) or the construction of an arithmetically well-behaved function alph 2 Q(J1(ℓN)), this algorithm performs very well, as illustrated bytables of coefficients. This thesis ends by the presentation of a method to formally provethat the output of the algorithm is correct.
Document type :
Complete list of metadata

Cited literature [51 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Thursday, May 7, 2015 - 4:30:28 PM
Last modification on : Saturday, December 4, 2021 - 3:43:04 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 7:34:45 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01110658, version 2



Nicolas Mascot. Computing modular Galois representations. General Mathematics [math.GM]. Université de Bordeaux, 2014. English. ⟨NNT : 2014BORD0108⟩. ⟨tel-01110658v2⟩



Les métriques sont temporairement indisponibles