层与函数芽 | Codeboy's Blog

形式陈述

设 $X$ 是拓扑空间。一个集合值预层 $\mathcal F$ 为每个开集 $U$ 指定集合 $\mathcal F(U)$ ，并对 $V\subseteq U$ 指定限制映射

\rho_{U,V}:\mathcal F(U)\longrightarrow\mathcal F(V)

使

\rho_{U,U}=1,\qquad \rho_{V,W}\rho_{U,V}=\rho_{U,W} \quad(W\subseteq V\subseteq U).

$\mathcal F(U)$ 的元素称为 $U$ 上的截面，限制 $\rho_{U,V}(s)$ 简写为 $s|_V$ 。信息从大开集流向小开集。

预层称为层，若对任意开覆盖 $U=\bigcup_i U_i$ 及满足

s_i|_{U_i\cap U_j}=s_j|_{U_i\cap U_j}

的截面族，存在唯一 $s\in\mathcal F(U)$ ，使 $s|_{U_i}=s_i$ 对所有 $i$ 成立。存在性称为粘合，唯一性也称为局部可判定性。允许空覆盖，因此 $\mathcal F(\varnothing)$ 必须是单元素集合。

若每个 $\mathcal F(U)$ 是交换含幺环，限制映射保幺，且底层集合满足上述层条件，就得到环层。空集上的截面环是零环，允许 $0=1$ 。群层、模层也按同样方式增加代数结构。

点 $x\in X$ 处的茎 $\mathcal F_x$ 由所有 $(U,s)$ （ $x\in U$ 、 $s\in\mathcal F(U)$ ）取商构成：

(U,s)\sim(V,t) \quad\Longleftrightarrow\quad \exists\,x\in W\subseteq U\cap V,\quad s|_W=t|_W.

等价类记为 $s_x$ ，称为截面在 $x$ 处的芽。这里比较的是某个邻域上的一致，不是只比较一个点值。

直觉

连续函数、光滑函数和正则函数都允许限制到更小区域；如果局部函数在重叠区一致，就应组成一个全局函数。层把这一过程抽象出来，并把“能拼”和“只能拼成一个”分开规定。

茎进一步只保留一个点附近最终稳定的信息。允许不断缩小邻域，却始终保留局部关系。因此两个函数可能在这个点取值相同而芽不同；在代数几何中，茎还可保留非零幂零元，这些元素在所有域值点上都无法被看见。

连续函数为什么构成层

令 $\mathcal C_X(U)$ 为连续函数 $U\to\mathbb R$ ，限制映射取通常限制。若 $f_i$ 在重叠区一致，定义

f(x)=f_i(x)\qquad(x\in U_i).

一致条件保证该值与 $i$ 无关。对任意开集 $O\subseteq\mathbb R$ ，

f^{-1}(O)=\bigcup_i f_i^{-1}(O)

是 $U$ 中的开集，所以 $f$ 连续。任一满足限制条件的函数在每个点都必须取上述值，故唯一。逐点加乘还使它成为环层。

这个证明用到了连续性的局部性。若给函数增加一个不能逐开集判断的全局条件，层条件就可能失效。

例子与边界

有界连续函数的预层不能总是粘合

在 $\mathbb R$ 上令 $\mathcal B(U)$ 为有界连续实函数。限制有界函数仍有界，所以它是预层。用 $U_n=(-n,n)$ 覆盖 $\mathbb R$ ，令

f_n(x)=x\quad(x\in U_n).

每个 $f_n$ 在自身定义域上有界，并且所有重叠限制一致。但唯一可能的全局函数是 $f(x)=x$ ，它在 $\mathbb R$ 上无界，因而不属于 $\mathcal B(\mathbb R)$ 。这里唯一性没有出问题，失去的是粘合存在性。

常值预层与常值层不是同一个对象

给每个非空开集都指定同一集合 $\mathbb Z$ ，非空开集间的限制为恒等；空集取单元素。这个常值预层在两个不交非空开集 $U_1,U_2$ 上，可以分别选择 $0$ 和 $1$ 。重叠为空，兼容条件自动成立；但在 $U_1\cup U_2$ 上只有一个整数可选，无法同时限制为两种值。

相应的常值层 $\underline{\mathbb Z}$ 应取所有局部常值函数 $U\to\mathbb Z$ ：每个点附近取常值，但不同连通部分可以不同。局部常值函数能够唯一粘合，故构成层。在任意点 $x$ ，一个这样的函数在足够小邻域上等于某个整数，因而

\underline{\mathbb Z}_x\cong\mathbb Z.

常值预层与这个层的每个茎都相同，却未必是同一个预层。后面的逐茎同构判据要求两端都已经是层。

芽保留的内容多于点值

在实线连续函数层中， $f(t)=t$ 与 $g(t)=0$ 都在 $0$ 处取值 $0$ ，但它们在任何零点邻域都不同，所以

f_0\ne g_0\quad\text{于 }\mathcal C_{\mathbb R,0}.

若 $h$ 在 $(-1,1)$ 上恒为零，而在更远处不为零，则 $h_0=g_0$ 。芽忽略远处行为，却没有把整个邻域压成一个数。

等价关系的传递性也依赖缩小邻域：若 $s,t$ 在 $W_1$ 上一致， $t,u$ 在 $W_2$ 上一致，则 $s,u$ 在仍含 $x$ 的开集 $W_1\cap W_2$ 上一致。环层的芽相加、相乘同样先限制到共同邻域，再取运算，因而不依赖代表。

推论与应用

截面能由全部芽判定，却不能任意指定全部芽

对任意层，映射

\mathcal F(U)\longrightarrow\prod_{x\in U}\mathcal F_x, \qquad s\longmapsto(s_x)_{x\in U}

是单射。若 $s_x=t_x$ 对每个 $x$ 成立，就有开邻域 $V_x\subseteq U$ 使 $s|_{V_x}=t|_{V_x}$ 。这些邻域覆盖 $U$ ，层的唯一性遂给出 $s=t$ 。

这张映射一般不满射。例如在实线连续函数层中，对 $x<0$ 指定常值零函数的芽，对 $x\geq0$ 指定常值一函数的芽。如果来自一个全局连续截面，其点值必为在 $0$ 跳跃的阶跃函数，矛盾。各点的芽还必须在邻域内能由同一个截面表示，不能独立任意选取。

层的同构可以逐茎检查

层态射 $\varphi:\mathcal F\to\mathcal G$ 是一族映射 $\varphi_U$ ，与全部限制映射交换，因此诱导 $\varphi_x:\mathcal F_x\to\mathcal G_x$ 。若所有 $\varphi_x$ 都是双射，则每个 $\varphi_U$ 都是双射。

先证单射。若 $\varphi_U(s)=\varphi_U(t)$ ，逐茎单射给出 $s_x=t_x$ ，再用上一节得到 $s=t$ 。

再证满射。固定 $t\in\mathcal G(U)$ 。对每个 $x$ ，逐茎满射给出某个局部截面 $s^{(x)}$ 的芽，映成 $t_x$ 。进一步缩小其邻域 $V_x$ ，可使

\varphi_{V_x}(s^{(x)})=t|_{V_x}.

在 $V_x\cap V_y$ 的任意点，两份截面的芽由逐茎单射而相等；层的局部可判定性又使它们在整个重叠区相等。因此这些局部提升能够粘成 $s\in\mathcal F(U)$ ，其像在覆盖上等于 $t$ ，故全局也等于 $t$ 。

逐开集的逆映射与限制相容，因为原映射相容且逐开集单射。因此 $\varphi$ 确实是层同构。对环层，原态射保环运算，双射的逆也保环运算，结论同样成立。

从拓扑基上的数据构造整空间的层

很多时候只容易写出一组基开集上的截面。本节假设基 $\mathcal B$ 对有限交封闭并含空集。给定每个 $B\in\mathcal B$ 上的集合 $F(B)$ 及相容限制，并假定：一个基开集被任意多个基开集覆盖时，兼容截面能唯一粘合。

对一般开集 $U$ ，定义

\mathcal F(U)= \left\{(s_B)_{\substack{B\in\mathcal B\\B\subseteq U}}: s_B\in F(B),\ s_B|_C=s_C\ \text{当 }C\subseteq B\subseteq U \right\}.

限制只需删去不再属于小开集的分量。若 $U=B_0$ 本身是基开集，全部分量由 $s_{B_0}$ 的限制唯一确定，所以 $\mathcal F(B_0)\cong F(B_0)$ 。

验证层条件时，设 $U=\bigcup_iU_i$ ，且已有彼此兼容的 $\mathcal F(U_i)$ 截面。固定 $B\subseteq U$ ，用所有满足 $C\subseteq B\cap U_i$ 的基开集 $C$ 覆盖 $B$ 。各 $C$ 上的截面来自相应 $U_i$ ，在交集上的一致性由原数据的兼容性保证，所以能唯一粘成 $s_B\in F(B)$ 。对不同 $B$ ，唯一性保证这些 $s_B$ 的限制相容。它们就是所求全局截面；再次用基开集上的唯一性得到全局唯一性。

若 $F(B)$ 是环且限制保环，兼容族逐分量运算就给出环层。任何具有相同基开集数据的层都必须按上述方式恢复一般开集上的截面，因此这个扩张在典范同构意义下唯一。

结构层把代数接到空间上

在环的素谱上，主开集 $D(f)$ 构成对有限交封闭的基；把 $D(f)$ 配以局部化环 $R_f$ ，就可以沿上一节构造环层。真正需要证明的是这些分式在主开覆盖上满足粘合，而不是只写出一个符号 $\mathcal O(D(f))=R_f$ 。

概形与结构层完成这一步：用清分母和单位理想关系构造粘合元素，证明茎为 $R_{\mathfrak p}$ ，再以双数与射影直线展示局部环数据如何决定几何结构。

参考资料

The Stacks Project，Definition 6.7.1，Tag 006T：集合层的唯一粘合公理。
The Stacks Project，§6.11，Tag 0078：函数芽、茎与逐芽判定截面；§6.16，Tag 007S：层态射的局部检验。
The Stacks Project，Lemma 6.30.6，Tag 009N 与 Lemma 6.30.9，Tag 009Q：从基上的层扩张到整空间；本页用兼容族直接给出构造。

形式陈述 ​

连续函数为什么构成层 ​

有界连续函数的预层不能总是粘合 ​

常值预层与常值层不是同一个对象 ​

芽保留的内容多于点值 ​

截面能由全部芽判定，却不能任意指定全部芽 ​

层的同构可以逐茎检查 ​

从拓扑基上的数据构造整空间的层 ​

结构层把代数接到空间上 ​

反向链接