層でない前層の例：拡張が存在しない場合と一意でない場合

数学では張り合わせによって数学的対象を構成することがよくあります。多様体はその典型的な例です。層は、張り合わせによる構成をとにかく一般化した概念であるといえます。層の定義するのに、まず前層が定義されますが、これらの差は分かりづらいように思います。そこで、前層で層でないものの例を挙げてこれらを解説しようと思います。

前層と層の定義

equalizer であるという条件は以下のように言い換えられます。equalizer であることから、最初の矢印は単写です。よって、

• $s, t \in F(U)$ が全ての $i \in I$ について $s|_{U_i} = t|_{U_i}$ を満たすならば、$s = t$である。

となります。また、$\{s_i\}_{i \in I} \in \prod_{i \in I} F(U_i)$ が $\prod_{i, j} F(U_i \cap U_j)$ への 2 つの写像で一致することは

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

を意味し、equalizer の普遍性からある $s \in F(U)$ からくるので、

• $s_i \in F(U_i) \ (i \in I)$ で $s_i |_{U_i \cap U_j} = s_j|_{U_i \cap U_j}$ を満たすものは $s \in F(U)$ から来る。

となります。つまり層は、局所的に同じであれば同じ、かつ局所的に同じものは張り合わせることができるものであると言えます。

層でない前層

層でない前層は、局所切断を張り合わせたものが切断にならないことがある (拡張が存在しない) か、局所的に同じなのに異なる切断が存在する(拡張の一意性を満たさない) のどちらかです。これらの例を挙げます。

1. $\mathbb{R}$ 上の有界関数のなす前層

$f(x) = x^2$ は各 $U_i = (i -1, i + 1)$ $(i \in \mathbb{Z})$ 上で有界ですが、$\mathbb{R}$ 上では有界ではありません。よって局所切断を張り合わせたものが $\mathbb{R}$ の切断になりません。

2. $\mathbb{R}$ 上の距離関数のなす前層

$U \subset \mathbb{R}$ に対し、$F(U)$ を $U$ 上の距離関数の集合とします。$\rho$ を距離関数の制限で定めると、$F$ は $\mathbb{R}$ 上の前層となります。しかし、$U$ 上の距離 $d_U$ と $V$ 上の距離 $d_V$ で $U \cap V$ 上で一致するものがあったとしても、$x \in U \setminus V$, $y \in V \setminus U$ 間の距離はそれらの情報から一意に定まりません。従って、局所的に同じだが、異なる切断が存在します。

参考文献

[1] R.ハーツホーン. 代数幾何学 1

[2] S.マックレーン. 圏論の基礎