Vendredi 14 février 2014 à 10h00 en salle C48
David A. Madore (Télécom Paristech)

Titre : Calculabilité au sens de Church-Turing de la cohomologie étale (modulo \ell)

Résumé :
La dimension des groupes de cohomologie étale, à coefficients dans \mathbb{F}_\ell, d'un schéma X de type fini sur un corps algébriquement clos de caractéristique différente de \ell, est calculable au sens de Church-Turing. Nous rappellerons ce que cela signifie et exposerons quelques idées de la démonstration. Il s'agit notamment de construire un hyperrecouvrement de X par des schémas dont des propriétés géométriques algorithmiquement testables permettent de ramener la cohomologie à celle de leur groupe fondamental complété.

Remarques : Travail en commun avec Fabrice Orgogozo