EnglishFrançais

Site Web DMA

Bannière DMA Site de l'ENS Site Paris Sciences et Lettres Site du CNRS Accueil

Séminaire Géométrie et théorie des modèles

Horaires : Le vendredi 04 octobre 2013, 11h

Lieu : ENS, salle W (escalier B, 4è étage)

Church-Turing computability of the étale cohomology mod l

David Madore (ENST)

[Work in common with Fabrice Orgogozo] The dimension of the étale cohomology groups, with coefficients in Z/lZ, of a scheme of finite type over an algebraically closed field of characteristic different from l, is computable in the sense of Church-Turing. To prove this, we construct a hypercovering of X by schemes (analogous to Artin's ??good neighborhoods?) having algorithmically testable geometric properties which allow to reduce the computation of the cohomology of X to that of their completed fundamental group.

 

Autres séances du séminaire


45 rue d'Ulm - F 75230 PARIS cedex 05 | phone : (33) 1 44 32 20 49 | fax : (33) 1 44 32 20 69

Plan du site | Mentions légales | | Edition du site | Web site designed under SPIP