关联层

定义： $X^{\sharp} := h_{X}^{\#}$

def.associated-sheaf · 定义 · 关联层 · 层化 · 米田嵌入 · 左正合

又称Definition 3.2.10·Def 3.2.10

陈述

设 $\mathcal{C}$ 是 site， $X \in \mathcal{C}$ 。关联层（associated sheaf）是「先米田嵌入、再层化」：

X^{\sharp} \;:=\; h_{X}^{\#}, \qquad h_{X} = \operatorname{Hom}_{\mathcal{C}}(-, X).

它由一条万有性质刻画：对任何层 $F$ ，

\operatorname{Hom}\bigl(X^{\sharp},\ F\bigr) \;\cong\; F(X).

这个同构怎么来的。 层化 $(-)^{\#}$ 与含入 $\widehat{\mathcal{C}}^{\#} \hookrightarrow \widehat{\mathcal{C}}$ 互为伴随，所以

\operatorname{Hom}\bigl(h_{X}^{\#},\ F\bigr) \cong \operatorname{Hom}(h_{X}, F) \cong F(X),

最后一步是米田引理 ✓。

⭐ 用处：它给出「把 $\mathcal{C}$ 的对象当成层看」的规范做法 $X \mapsto X^{\sharp}$ 。当拓扑次标准时 $h_{X}$ 本来就是层，于是 $X^{\sharp} = h_{X}$ ，米田嵌入直接经过层范畴 ✓（这也是「次标准」最常用的等价说法）。

⚠️ 这个函子左正合（米田嵌入保极限、层化也左正合），但一般不忠实，也不保余极限与无穷极限：层化会把「同一个对象的不同预层描述」粘起来。