Topos étale
En mathématiques, le topos étale d'un schéma X est la catégorie de tous les faisceaux étales sur X. Un faisceau étale est un faisceau situé sur le site étale de X.
Définition
modifierSoit X un schéma. Une couverture étale de X est une famille , où chaque est un morphisme étale de schémas, de telle sorte que la famille soit conjointement surjective .
La catégorie Ét(X) est la catégorie de tous les régimes étale sur X. La collection de tous les recouvrements étales d'un schéma étale U sur X, c'est-à-dire un objet dans Ét(X) définit une prétopologie de Grothendieck sur Ét(X) qui induit à son tour une topologie de Grothendieck, la topologie étale sur X. La catégorie associée à la topologie étale s’appelle le site étale sur X.
Le topos étale d'un schéma X est alors la catégorie de toutes les faisceaux d'ensembles sur le site Ét(X). Ces faisceaux s'appellent des faisceaux étales sur X. En d'autres termes, un faisceau étale est un foncteur (contravariant) de la catégorie Ét(X) sur la catégorie des ensembles satisfaisant l’axiome de faisceau suivant:
Pour chaque étale U sur X et chaque étale couvrant de U, la séquence :
où , est exacte.