Abstract
Soient un schéma algébrique sur un corps algébriquement clos et un nombre premier inversible sur . D’après le théorème 1.1 de (SGA , Th. finitude), les groupes de cohomologie étale sont de dimension finie. Utilisant une variante -adique des bons voisinages d’Artin et des résultats élémentaires sur la cohomologie des pro- groupes, on exprime la cohomologie de comme colimite bien contrôlée de celle de topos construits sur des , où les sont des -groupes finis calculables. On en déduit que les nombres de Betti modulo de sont algorithmiquement calculables (au sens de Church–Turing). La première partie du texte est consacrée à la démonstration de ce fait et de quelques compléments naturels. Elle s’appuie sur les outils de la seconde partie, dédiée à la géométrie algébrique effective.
Let be an algebraic scheme over an algebraically closed field and a prime number invertible on . According to Theorem 1.1 of (SGA , Th. finitude), the étale cohomology groups are finite-dimensional. Using an -adic variant of Artin’s good neighborhoods and elementary results on the cohomology of pro- groups, we express the cohomology of as a well controlled colimit of that of toposes constructed on where the are computable finite -groups. From this, we deduce that the Betti numbers modulo of are algorithmically computable (in the sense of Church and Turing). The proof of this fact, along with certain related results, occupies the first part of this paper. This relies on the tools collected in the second part, which deals with computational algebraic geometry.
Citation
David Madore. Fabrice Orgogozo. "Calculabilité de la cohomologie étale modulo $\ell$." Algebra Number Theory 9 (7) 1647 - 1739, 2015. https://doi.org/10.2140/ant.2015.9.1647
Information