8.3 Sheafification and associated sheaf functor

Sheafification is a process that transforms presheaves into sheaves, bridging local and global information. It's crucial for studying geometric structures like manifolds and fiber bundles, ensuring coherent global structure while preserving local properties.

The sheafification functor uses a two-step process: plus construction and iteration. This method creates a sheaf from a presheaf, maintaining important properties and establishing a universal property. It's widely used in various mathematical applications.

Sheafification Process and Functor

Concept of sheafification

• Presheaf defined as contravariant functor from topological space to category of sets fails to satisfy sheaf axioms
• Sheaf defined as presheaf satisfying locality and gluing conditions ensures coherent global structure
• Sheafification process minimally modifies presheaf to create sheaf preserves local properties while adding global coherence
• Motivation bridges local and global information essential for studying geometric and topological structures (manifolds, fiber bundles)

Construction of sheafification functor

• Two-step process involves plus construction and iteration
• Plus construction defines sections over open sets as compatible families $F^+(U) = \{(s_i)_{i \in I} | s_i \in F(U_i), s_i|_{U_i \cap U_j} = s_j|_{U_i \cap U_j}\}$
• Iteration applies plus construction twice $F^{++}$ results in a sheaf
• Universal property establishes natural transformation from presheaf to its sheafification unique up to isomorphism
• Functorial nature preserves morphisms between presheaves commutes with restrictions to open subsets

Applications of sheafification process

• Constant presheaf sheafification yields locally constant sheaf (étalé spaces)
• Presheaf of continuous functions already a sheaf sheafification is identity
• Presheaf of bounded functions sheafification gives sheaf of locally bounded functions
• Presheaf of rational functions sheafification results in sheaf of meromorphic functions (complex analysis)
• Stalk-wise sheafification constructs sheaf from presheaf by considering stalks at each point

Presheaves vs sheaves categories

• Adjunction between categories establishes sheafification functor as left adjoint to inclusion functor
• Reflection of sheaves in presheaves positions sheafification as reflector
• Sheafification functor preserves colimits maintains structural relationships
• Effect on morphisms induces bijection between morphism sets in certain cases
• Sheafification as idempotent operation applying sheafification to a sheaf yields isomorphic sheaf
• Connection to site theory generalizes to Grothendieck topologies expands applicability