Champ algébrique
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, un champ algébrique est une catégorie généralisant la notion de schéma ; elle permet notamment l'étude des actions de groupes lorsqu'elles ne sont pas libres.
Définition
Un champ X est une catégorie fibrée (en) au-dessus d'un site étale satisfaisant les propriétés suivantes :
- la catégorie X est fibrée en groupoïdes au-dessus du site étale ;
- les isomorphismes sont un faisceau pour X ;
- toute donnée de descente est effective.
