Champ algébrique
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.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.