Le processus qui associe à un préfaisceau le faisceau le plus proche qui lui coïncide sur les germes, en imposant les axiomes de localité et de recollement ; le résultat s'appelle le faisceau associé ou faisceautisation aF.

Principe

La faisceautisation est adjoint à gauche du foncteur d'inclusion des faisceaux dans les préfaisceaux : elle universalise l'imposition des axiomes de faisceau, produisant le faisceau minimal recevant un morphisme du préfaisceau.

Démonstration

Exemple : pour un préfaisceau de fonctions sur ouverts qui viole la condition de recollement, la faisceautisation remplace chaque section par ses germes et recolle les germes compatibles pour former des sections du faisceau associé ; au niveau des germes, le préfaisceau et sa faisceautisation coïncident.

Mauvaise application

Appliquer un remplacement naïf valeur par valeur sans former les germes et vérifier la compatibilité peut produire des objets qui ne sont pas des faisceaux ou qui modifient le comportement des germes ; omettre la vérification de la propriété universelle confond le faisceau associé.

Conséquence

La faisceautisation fournit un réflecteur : tout morphisme d'un préfaisceau vers un faisceau se factorise de façon unique par le faisceau associé, permettant d'appliquer des méthodes faisceautiques (cohomologie, principes local-vers-global) à des données initialement non-faisceautiques.

Inversion

La perspective duale consiste à oublier la condition de faisceau pour voir un faisceau comme un simple préfaisceau ; cette inversion supprime les contraintes de recollement et fait perdre la propriété universelle de réflexion fournie par la faisceautisation.

Limite

S'applique aux sites et espaces topologiques avec préfaisceaux à valeurs dans une catégorie admettant les colimites pertinentes ; la faisceautisation dépend du recouvrement sous-jacent et ne produit pas de résultat significatif pour des assignations sans données de localité.

Tension sémantique

Tension entre les constructions concrètes (germes, construction plus via préfaisceau séparé puis faisceautisation) et le point de vue abstrait d'adjoint/réflecteur ; se concentrer sur l'un masque le calcul pratique ou le sens universel.

Synthèse

La faisceautisation est le processus réflexif transformant des données locales en données faisceau compatibles globalement : elle préserve les germes, impose le recollement et fournit le faisceau minimal par lequel tout morphisme préfaisceau→faisceau se factorise.