第8章層 — 局所を貼り合わせる

局所の情報を、大域へ

これまで、射影多様体は「アフィン地図を貼り合わせたもの」でした（第6章）。この「局所を貼り合わせて大域を作る」発想を、関数のレベルで精密にする道具が層です。層は、現代代数幾何（スキーム）の言葉であり、位相幾何・複素解析・微分幾何にも共通する、20世紀数学の基本語彙です。

問いはこうです。空間の各開集合に「その上で定義された関数（正則関数・連続関数など）」の集まりを対応させる。このとき、局所的な関数が、重なりで一致していれば、大域的な一つの関数に貼り合わさるか。この貼り合わせの性質を公理化したのが層です。

層＝各開集合に「その上の関数」を対応させ、局所的に整合する関数が大域に一意に貼り合わさる仕組み。

前層——開集合に集合を対応させる

まず、公理をつける前の素朴な対応（前層）から。各開集合に集合（環・加群など）を割り当て、開集合が縮むときに「制限」できる、というだけの構造です。

定義前層

位相空間 $X$ 上の前層 $\mathcal F$ とは、各開集合 $U$ に集合 $\mathcal F(U)$ （切断の集合）を対応させ、開集合の包含 $V\subseteq U$ ごとに制限写像 $\rho_{UV}:\mathcal F(U)\to\mathcal F(V)$ を与えるもの（ $\rho_{UU}=\mathrm{id}$ 、 $\rho_{VW}\circ\rho_{UV}=\rho_{UW}$ ）。 $\mathcal F(U)$ の元を「 $U$ 上の切断」という。

$\mathcal F(U)$ は「 $U$ 上の関数の集まり」、 $\rho_{UV}$ は「 $U$ 上の関数を小さい $V$ に制限する」操作。これは圏論の言葉では「開集合の圏から集合の圏への反変関手」——大きい開集合から小さい開集合へ制限が向かう。素朴な対応ですが、まだ「貼り合わせ」は保証されていません。

層——貼り合わせの公理

前層に、局所と大域をつなぐ二つの公理を課すと層になります。局所的に一致すれば大域で一致（一意性）、 局所的に整合すれば大域に貼り合わさる（存在）。

定義層

前層 $\mathcal F$ が層であるとは、任意の開集合 $U$ とその開被覆 $U=\bigcup_i U_i$ に対し次をみたすこと：

（一意性／分離） $s,t\in\mathcal F(U)$ が全ての $U_i$ で一致（ $s|_{U_i}=t|_{U_i}$ ）すれば $s=t$ 。
（貼り合わせ）切断 $s_i\in\mathcal F(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$ となるものが（一意に）存在する。

二つの公理は「関数らしさ」の核心です。関数は局所的に決まる——各点の近くでの姿がすべてを決め（一意性）、局所的な断片が矛盾なくつながれば一つの関数になる（貼り合わせ）。この性質をもつ前層が層です。

例層と前層の例

連続関数の層 $\mathcal C$ ： $\mathcal C(U)=U$ 上の連続関数。局所的に連続なら大域で連続——層。
正則関数の層 $\mathcal O$ ： $\mathcal O(U)=U$ 上の正則関数。層。多様体の構造層（第10章）の原型。
定数関数の前層（各 $U$ に同じ集合 $A$ を対応）：貼り合わせが壊れる（ $U$ が非連結だと各成分で違う値を貼れない） ——層でない前層の典型。層化（次章）でこれを直す。
有界関数の前層：局所有界でも大域で非有界になりうる——層でない。

「定数前層」が層でないのが示唆的です。非連結な開集合の各成分に違う定数を割り当てた切断は、貼り合わせると大域では“定数でない”関数になってしまう。局所の性質（定数）が大域で保たれない——これが「層でない」の意味で、次章の層化で修正します。

茎——一点の近くの情報

層のもう一つの主役が茎。「一点 $p$ のいくらでも小さな近傍での切断」を集めた極限で、点 $p$ の周りの局所的な情報を凝縮します。

定義茎・芽

点 $p\in X$ での層 $\mathcal F$ の茎を、 $p$ を含む開集合にわたる余極限（帰納極限）

\mathcal F_p=\varinjlim_{U\ni p}\mathcal F(U)

で定める。その元を芽という——「 $p$ の近くで一致する切断を同一視したもの」。

茎 $\mathcal F_p$ は「 $p$ の任意に小さい近傍での関数の芽」。二つの切断は、 $p$ のどこか小さい近傍で一致すれば同じ芽とみなします。正則関数の層なら、茎はべき級数（複素解析のテイラー展開）の環になります。層の性質の多くは茎で判定でき（「層の射が同型 ⟺ 各茎で同型」）、局所と大域を橋渡しする要の道具です。

注意なぜ層が現代幾何の言葉なのか

層は「局所的に定義され、貼り合わさる対象」を統一的に扱う。正則関数・微分形式・ベクトル束の切断・コホモロジー係数——幾何のあらゆる“局所データ”が層になる。とくに、層の大域切断がどれだけあるかを測る層係数コホモロジー （第12章）は、位相幾何のコホモロジーを一般化し、リーマン–ロッホ・セール双対など代数幾何の中心定理の舞台になる。次章以降、この層を土台にスキームを組み立てる。

つまずきポイント

注意よくある誤解

前層は「対応＋制限」だけ、層は「貼り合わせ」まで。 貼り合わせ二公理（一意性・存在）が層の条件。前層はそれを満たすとは限らない。
定数“前層”は層でない。 非連結開集合で貼り合わせが壊れる。層化（次章）で直す。この差が層の本質。
制限写像は反変（大→小）。 大きい開集合の切断を小さい開集合へ制限。圏論の反変関手。
茎＝一点の近くの芽。 小さい近傍で一致する切断を同一視。局所情報の凝縮。層の性質は茎で判定できる。

この章のまとめ

前層 $\mathcal F$ ＝各開集合に切断の集合 $\mathcal F(U)$ を対応させ、制限写像（大→小、反変）をもつもの。
層＝前層＋貼り合わせ二公理（局所一致⇒大域一致、局所整合⇒大域に一意に貼り合わさる）。連続・正則関数は層、定数前層は層でない。
茎 $\mathcal F_p=\varinjlim_{U\ni p}\mathcal F(U)$ ＝一点の近くの芽（局所情報の凝縮）。層の性質は茎で判定。
層は現代幾何の共通言語（コホモロジーの舞台）。次章では、層でない前層を層に直す層化と、層の射・完全系列を扱います。

次章では、前層を層に変換する層化（随伴として）と、層の射・核・像・完全系列（茎で判定）を導入します。

第8章 層 — 局所を貼り合わせる