Champ algébrique

Un article de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 8 janvier 2015 à 02:31 et modifiée en dernier par Jaipasdepseudo (discuter | contributions). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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[modifier | modifier le code]

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.