Non-abelian congruences between $L$-values of elliptic curves

[Congruences non-abeliennes entres les valeurs $L$ des courbes elliptiques]

Delbourgo, Daniel¹  ; Ward, Tom²

¹Monash University School of Mathematical Sciences Victoria 3800 (Australia)
²University of Nottingham School of Mathematical Sciences Nottingham NG7 2RD (United Kingdom)

Annales de l'Institut Fourier, Tome 58 (2008) no. 3, pp. 1023-1055

Abstract (VO)

Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove weak forms of Kato’s $K_1$-congruences for the special values $L\left(1,E/\mathbb{Q}({\mu }_{p^n},\sqrt[p^n]{\Delta })\right).$ More precisely, we show that they are true modulo $p^{n+1}$, rather than modulo $p^{2n}$. Whilst not quite enough to establish that there is a non-abelian $L$-function living in $K_1\left({\mathbb{Z}}_p\left[\left[\mathrm{Gal}(\mathbb{Q}({\mu }_{{\mathrm{p}}^{\infty }},\sqrt[{\mathrm{p}}^{\infty }]{\Delta })/\mathbb{Q})\right]\right]\right)$, they do provide strong evidence towards the existence of such an analytic object. For example, if $n=1$ these verify the numerical congruences found by Tim and Vladimir Dokchitser.

Résumé

Soit $E$ une courbe elliptique définie sur $\mathbb{Q}$. Nous démontrons des versions faibles des congruences $K_1$ de Kato, pour les valeurs spéciales $L\left(1,E/\mathbb{Q}({\mu }_{p^n},\sqrt[p^n]{\Delta })\right).$ Plus précisément, nous vérifions que les congruences sont vraies modulo $p^{n+1}$, plutôt que modulo $p^{2n}$. Bien que ça ne suffise pas pour établir l’existence d’une fonction $L$ $p$-adique qui vit dans $K_1\left({\mathbb{Z}}_p\left[\left[\mathrm{Gal}(\mathbb{Q}({\mu }_{{\mathrm{p}}^{\infty }},\sqrt[{\mathrm{p}}^{\infty }]{\Delta })/\mathbb{Q})\right]\right]\right),$ elles fournissent beaucoup d’indices de l’existence de cet objet analytique. Par exemple, si $n=1$ les congruences trouvées numériquement par Tim et Vladimir Dokchitser sont vraies.

Détail

DOI : 10.5802/aif.2377

Classification : 11R23, 11G40, 19B28
Keywords: Iwasawa theory, modular forms, $p$-adic $L$-functions
Mots-clés : théorie d’Iwasawa, formes modulaires, fonctions $L$ $p$-adiques