Jeudi 28 mars 2013 à 10h15 en salle C48
Jérôme Plût (ANSSI)
Titre : Fonctions zêta : calculs cohomologiques --- Première 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.