#GrothendieckTopos 4 : faisceaux sur un site, topos de Grothendieck

Suite de l’étude du cours d’Olivia Caramello sur les topoi de Grothendieck:

https://renatuscartesiusmathesisuniversalis.wordpress.com/2015/07/01/grothendiecktopos-3-topologie-de-grothendieck-sur-une-categorie/

cours qui est ici:

https://sites.google.com/site/logiquecategorique/cours/topos_caramello/cours-du-14-janvier-2013-rappels-sur-les-topos-de-grothendieck#TOC-Faisceaux-sur-un-site.-Topos-de-Grothendieck

Aujourd’hui nous étudions la video 5:

Faisceaux sur un site, topos de Grothendieck

Un site est simplement une catégorie arbitraire C à laquelle on associe une topologie de Grothendieck

La notion de topologie de Grothendieck a été vue dans #GrothendieckTopos 3 (lien donné au début de cet article).
Pour l’instant, sauf bien sûr si vous êtes déjà familier avec ces notions (auquel cas vous n’avez pas besoin de perdre votre temps à lire cet article, qui est juste une paraphrase du cours d’Olivia), je vous conseille de ne pas trop perdre de temps avec les détails des notions nouvelles introduites : crible, site, famille j-couvrante, etc..
Retenez par contre l’équivalent anglais de ces mots :

Crible = sieve

Topologie de Grothendieck = Grothendieck topology

Préfaisceau = presheaf, presheaves

Faisceau = sheaf, sheaves

Faisceau sur un site : sheaf on a site

Sauf bien sûr si vous comprenez tout immédiatement, retenez simplement dans un premier temps les principes et l’architecture des concepts : la doctrine des topos de Grothendieck procède par abstraction et généralisation en partant des prefaisceaux et faisceaux sur un espace topologique, c’est à dire sur la catégorie dont les objets sont les ouverts de la topologie.
Un Préfaisceau sur cette catégorie O est un foncteur :

O_op—————–> Ens

Où O_op est la catégorie O mais où l’on inverse le sens des flèches.

Un faisceau est un préfaisceau avec en plus des contraintes de compatibilité, Olivia l’explique dans la vidéo 4. Voir aussi 2.1 rappels catégoriques dans:

http://kevin.quirin.free.fr/Trucs/memoire_M2.pdf

On passe de l’exemple particulier des catégories des ouverts d’un espace topologique à une catégories générale par la notion de crible sur un objet c, déjà expliquée, c’est à dire d’une famille de flèches ayant pour cible cet objet, et ensuite par la notion de topologie de Grothendieck qui consiste à associer à chaque objet de la catégorie un ensemble de criblés respectant les trois conditions données dans la vidéo 4.
Olivia fait remarquer justement le degré de généralité énorme de la notion de site qui consiste à associer à une catégorie C générale une topologie de Grothendieck, or de par la construction même il y a beaucoup de topologies différentes sur une même catégorie (comme sur un ensemble de points pour aboutir à la notion banale d’espace topologique).
Cette page en anglais du Nlab fait bien la liaison avec les familles couvrantes et les recouvrements d’ouverts :

http://ncatlab.org/nlab/show/coverage

(Se contenter de « Idéal », définition et « sheaves on a site » qui explique la notion de compatibilité pour les faisceaux plus clairement qu’Olivia et sa craie:

« For any collection of elements xi∈X(Ui) such that, whenever g:V→Ui and h:V→Uj are such that fig=fjh, we have X(g)(xi)=X(h)(xj), then there exists a unique x∈X(U) such that X(fi)(x)=xi for all i. »

Mais encore une fois si cela vous semble trop technique retenez simplement que la catégorie ainsi définie notée:

Sh(C) des faisceaux sur le site C, Sh(C) qui est un topos de Grothendieck

est une sous-catégorie de la catégorie des préfaisceaux sur C, c’est à dire des foncteurs de la catégorie opposée de C vers la catégorie des ensembles.

Publicités

6 réflexions au sujet de « #GrothendieckTopos 4 : faisceaux sur un site, topos de Grothendieck »

  1. Ping : #GrothendieckTopos 4 : faisceaux sur un site, topos de Grothendieck | HENOSOPHIA Τοποσοφια μαθεσις uni√ersalis οντοποσοφια

  2. Ping : #GrothendieckTopos 4 : faisceaux sur un site, topos de Grothendieck | Henosophia Τοποσοφια οντοποσοφια μαθεσις uni√ersalis ενοσοφια

  3. Ping : #GrothendieckTopos 4 : faisceaux sur un site, topos de Grothendieck | RENATUS μαθεσις uni√ersalis οντοποσοφια

  4. Ping : Une note de Laurent Lafforgue sur les travaux d’Olivia Caramello | HENOSOPHIA Τοποσοφια μαθεσις uni√ersalis οντοποσοφια

  5. Ping : Préface de « Higher topos theory  : n-champs (« n-stacks ) | «HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion /  Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion /  Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion /  Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion /  Changer )

w

Connexion à %s