Computing modular Galois representations
| hal.structure.identifier | Lithe and fast algorithmic number theory [LFANT] | |
| hal.structure.identifier | Institut de Mathématiques de Bordeaux [IMB] | |
| dc.contributor.author | MASCOT, Nicolas | |
| dc.date.accessioned | 2024-04-04T03:19:09Z | |
| dc.date.available | 2024-04-04T03:19:09Z | |
| dc.date.created | 2013 | |
| dc.date.issued | 2013-12 | |
| dc.identifier.issn | 0009-725X | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/194478 | |
| dc.description.abstractEn | We compute modular Galois representations associated with a newform $f$, and study the related problem of computing the coefficients of $f$ modulo a small prime $\ell$. To this end, we design a practical variant of the complex approximations method presented in the book edited by B. Edixhoven and J.-M. Couveignes. Its efficiency stems from several new ingredients. For instance, we use fast exponentiation in the modular jacobian instead of analytic continuation, which greatly reduces the need to compute abelian integrals, since most of the computation handles divisors. Also, we introduce an efficient way to compute arithmetically well-behaved functions on jacobians, a method to expand cuspforms in quasi-linear time, and a trick making the computation of the image of a Frobenius element by a modular Galois representation more effective. We illustrate our method on the newforms $\Delta$ and $E_4 \Delta$, and manage to compute for the first time the associated faithful representations modulo $\ell$ and the values modulo $\ell$ of Ramanujan's $\tau$ function at huge primes for $\ell \in {11,13,17,19,29}$. In particular, we get rid of the sign ambiguity stemming from the use of a non-faithful representation as in J. Bosman's work. As a consequence, we can compute the values of $\tau(p) \bmod 2^11.3^6.5^3.7.11.13.17.19.23.29.691 \approx 2.8.10^19$ for huge primes $p$. These representations lie in the jacobian of modular curves of genus up to 22. | |
| dc.language.iso | en | |
| dc.publisher | Springer-Verlag Italia | |
| dc.subject.en | modular form | |
| dc.subject.en | modular jacobian | |
| dc.subject.en | algorithmic | |
| dc.subject.en | Galois representation | |
| dc.title.en | Computing modular Galois representations | |
| dc.type | Article de revue | |
| dc.identifier.doi | 10.1007/s12215-013-0136-4 | |
| dc.subject.hal | Mathématiques [math]/Théorie des nombres [math.NT] | |
| dc.subject.hal | Informatique [cs]/Bibliothèque électronique [cs.DL] | |
| dc.identifier.arxiv | 1211.1635 | |
| dc.description.sponsorshipEurope | Algorithmic Number Theory in Computer Science | |
| bordeaux.journal | Rendiconti del Circolo Matematico di Palermo | |
| bordeaux.page | 451 - 476 | |
| bordeaux.volume | 62 | |
| bordeaux.hal.laboratories | Institut de Mathématiques de Bordeaux (IMB) - UMR 5251 | * |
| bordeaux.issue | 3 | |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-01110451 | |
| hal.version | 1 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-01110451v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Rendiconti%20del%20Circolo%20Matematico%20di%20Palermo&rft.date=2013-12&rft.volume=62&rft.issue=3&rft.spage=451%20-%20476&rft.epage=451%20-%20476&rft.eissn=0009-725X&rft.issn=0009-725X&rft.au=MASCOT,%20Nicolas&rft.genre=article |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||