Jeudi 18 avril 2013 à 15h30 en salle C47
Jérôme Plût (ANSSI)
Titre : Fonctions zêta : calculs cohomologiques --- Seconde partie
Résumé :
Les problématiques algorithmiques liées aux fonctions zêta ont été
présentées au mois d'octobre par B. Smith. Dans cet exposé, je décrirai
certaines constructions mathématiques permettant aussi bien de prouver
des propriétés des fonctions zêta (conjectures de Weil) que de les
calculer en pratique, notamment les diverses constructions
cohomologiques et l'utilisation algorithmique qui peut en être faite.
L'exposé se voudra au moins en partie accessible aux non-spécialistes,
et inclura notamment des exemples issus de l'analyse. Pour les
spécialistes: il y aura _vraisemblablement_ de la cohomologie
cristalline et du complexe de De Rham-Witt, mais le périmètre précis
sera annoncé ultérieurement.