请求提供拓扑空间上茎处处同构但层不同构的示例

嘿，这个问题问得好！这是层论里一个经典的“陷阱”场景——所有茎都同构，但层本身却不同构。我用单位圆周上的两个整数层来给你具体说明，非常直观：

我们选**单位圆周 $S^1$**作为拓扑空间（就是平面上绕原点一圈的圆），构造两个层：

1. 常数层 $\mathbb{Z}$ #

常数层的定义很直接：

• 对 $S^1$ 上任意开集 $U$，截面 $\Gamma(U, \mathbb{Z})$ 是所有从 $U$ 到整数集 $\mathbb{Z}$ 的局部常值函数（因为 $\mathbb{Z}$ 带离散拓扑，连续函数等价于局部常值）。
• 对任意点 $x \in S^1$，它的茎 $\mathbb{Z}_x$ 是 $x$ 附近局部常值函数的等价类（两个函数等价如果在 $x$ 的某个小邻域上完全一致）。

因为 $S^1$ 上任意点的小邻域都是连通的（比如一段小圆弧），连通邻域上的局部常值函数就是常数函数，所以每个茎 $\mathbb{Z}_x$ 都和 $\mathbb{Z}$ 同构——每个等价类对应唯一的整数。

2. 扭曲整数层 $\mathbb{Z}_{\text{twist}}$ #

这个层是关键，我们通过“粘合”开集上的截面来构造扭曲：
首先取 $S^1$ 的两个开覆盖集：

• $U_1 = S^1 \setminus {(1,0)}$（去掉圆最右侧的点，剩下的部分同胚于开区间）
• $U_2 = S^1 \setminus {(-1,0)}$（去掉圆最左侧的点，剩下的部分也同胚于开区间）

它们的交集 $U_1 \cap U_2$ 是两个不相交的连通分支：上半圆周 $V_+$ 和下半圆周 $V_-$。

现在定义扭曲层的截面规则：

• 对 $U_1$，$\Gamma(U_1, \mathbb{Z}_{\text{twist}}) = \mathbb{Z}$（每个整数对应 $U_1$ 上的常数函数）
• 对 $U_2$，$\Gamma(U_2, \mathbb{Z}_{\text{twist}}) = \mathbb{Z}$（同样每个整数对应 $U_2$ 上的常数函数）
• 扭曲的核心：在交集上的限制映射不一样：
  • 从 $U_1$ 到 $V_+$ 和 $V_-$ 的限制：直接把整数映射为对应分支上的常数函数
  • 从 $U_2$ 到 $V_+$ 的限制：也是直接映射为常数函数，但从 $U_2$ 到 $V_-$ 的限制：把整数 $n$ 映射为 $V_-$ 上的常数函数 $-n$

扭曲层的茎 #

对 $S^1$ 上任意点 $x$，取一个足够小的邻域（比如只包含在 $U_1$、$U_2$ 或者交集的单个分支里），这个邻域上的截面都是常数函数，所以每个茎 $\mathbb{Z}_{\text{twist},x}$ 也和 $\mathbb{Z}$ 同构——和常数层的茎完全一样！

判断层是否同构，整体截面是个很好的切入点：

• 常数层的整体截面 $\Gamma(S^1, \mathbb{Z})$：因为 $S^1$ 是连通的，局部常值函数必须是全局常数，所以这个集合和 $\mathbb{Z}$ 同构（每个整数对应一个全局常数函数）。
• 扭曲层的整体截面 $\Gamma(S^1, \mathbb{Z}_{\text{twist}})$：整体截面需要满足在 $U_1$ 和 $U_2$ 上的截面在交集处一致。假设 $U_1$ 上的截面对应整数 $n$，$U_2$ 上的对应整数 $m$：
  • 在 $V_+$ 上，$n = m$（限制后相等）
  • 在 $V_-$ 上，$n = -m$（因为 $U_2$ 到 $V_-$ 的限制会变号）

联立这两个等式，只能得到 $n = m = 0$，所以扭曲层的整体截面只有一个平凡的零函数，即 $\Gamma(S^1, \mathbb{Z}_{\text{twist}}) \cong {0}$。

因为层同构会诱导整体截面的同构，但 $\mathbb{Z}$ 和 ${0}$ 显然不同构，所以这两个层不可能是同构的——完美符合你要的“茎全同构但层不同构”的条件！

内容的提问来源于stack exchange，提问作者Kristaps John Balodis