Symboles modulaires surconvergents et fonctions $L$ $p$-adiques
Overconvergent modular symbols and $p$-adic $L$-functions
![Symboles modulaires surconvergents et fonctions $L$ $p$-adiques](https://smf.emath.fr/sites/default/files/styles/image_165x234/public/2017-08/ens_ann-sc_44_1-42.jpg?itok=ziNJICFJ)
Anglais
Cet article est une exploration constructive des rapports entre les symboles modulaires iques et les symboles modulaires $p$-adiques surconvergents. Plus précisément, nous donnons une preuve constructive d'un théorème de contrôle (Théorème ??) du deuxième auteur [?] ; ce théorème démontre l'existence et l'unicité des « liftings propres » des symboles propres modulaires iques de pente non-critique. Comme application, nous décrivons un algorithme en temps polynomial pour le calcul explicite des fonctions $L$ $p$-adiques associées dans ce cas-là. Dans le cas de pente critique, le théorème de contrôle échoue toujours à produire des « liftings propres » (voir Théorème ?? et [?] pour un succédané), mais l'algorithme « réussit » néanmoins à produire des fonctions $L$ $p$-adiques. Dans les deux dernières sections, nous présentons des données numériques pour plusieurs exemples de pente critique et examinons le polygone de Newton des fonctions $L$ $p$-adiques associées.