概念

层与局部环

结构层把函数组织到每个开集，茎与局部化记录点附近的局部信息，是概形的微积分。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

层与局部环代数几何

01定义

层把「函数」组织成系统：每个开集

U

分配截面集

\mathcal{F}(U)

，限制映射满足粘合公理——局部数据若在交上一致，就能唯一粘合成整体。茎

\mathcal{F}_x

是点

x

附近的极限信息，即局部化/局部环。

层的限制映射：𝒪(V) → 𝒪(U)，逐点取茎得到局部环 𝒪ₓ

开覆盖 $\{U_i\}$ 上的截面 $s_i$ 若在交 $U_i\cap U_j$ 上一致，则存在唯一的整体截面——层是「可局部化」的数据结构。

茎 $\mathcal{O}_{X,x}=\varinjlim_{x\in U}\mathcal{O}_X(U)$ 是点附近的函数芽；对簇而言即坐标环在极大理想处的局部化，维数＝局部维数。

层的态射逐点开集作用；正合列 $0\to\mathcal{F}\to\mathcal{G}\to\mathcal{H}\to 0$ 把代数关系搬到几何上，是上同调理论的舞台。

\mathcal{O}_{X,x}=\varinjlim_{x\in U}\mathcal{O}_X(U)

s_i|_{U_i\cap U_j}=s_j|_{U_i\cap U_j}\Rightarrow\exists!\ s\ (\text{粘合})

Leray 1945 年为代数拓扑发明层；Cartan 与 Serre 在 1950 年代把层论引入复分析与代数几何，一举解决多复变中的难题；Serre 1955 年的 FAC 是里程碑。

层是现代几何的统一语言：微分流形上的光滑函数层、概形上的结构层；计算机科学中「局部数据一致粘合」的思想启发了分布式一致性研究。

开覆盖上的截面：限制与粘合换 opens：把区间切得更细，各开集截面在交叠处一致即可粘成整体

开集个数3