9
現代数学
文献あり

前層と層・層化

4321
0
$$\newcommand{bbC}[0]{\mathbb C} \newcommand{bbN}[0]{\mathbb N} \newcommand{bbQ}[0]{\mathbb{Q}} \newcommand{bbR}[0]{\mathbb R} \newcommand{bbU}[0]{\mathbb{U}} \newcommand{bbZ}[0]{\mathbb Z} \newcommand{bfk}[0]{\mathbb{k}} \newcommand{C}[0]{\mathsf{C}} \newcommand{cA}[0]{\mathcal{A}} \newcommand{cB}[0]{\mathcal{B}} \newcommand{Cb}[0]{\mathsf{C}^\mathrm{b}} \newcommand{cC}[0]{\mathcal{C}} \newcommand{cD}[0]{\mathcal{D}} \newcommand{cHom}[0]{\mathcal{H}om} \newcommand{cI}[0]{\mathcal{I}} \newcommand{cJ}[0]{\mathcal{J}} \newcommand{cM}[0]{\mathcal{M}} \newcommand{Cm}[0]{\mathsf{C}^-} \newcommand{cO}[0]{\mathcal O} \newcommand{Coker}[0]{\operatorname{Coker}} \newcommand{Cp}[0]{\mathsf{C}^+} \newcommand{CP}[0]{\mathbb{CP}} \newcommand{cRHom}[0]{R\mathcal{H}om} \newcommand{cT}[0]{\mathcal{T}} \newcommand{D}[0]{\mathsf{D}} \newcommand{Db}[0]{\mathsf{D}^\mathrm{b}} \newcommand{dim}[0]{\operatorname{dim}} \newcommand{Dm}[0]{\mathsf{D}^-} \newcommand{Dp}[0]{\mathsf{D}^+} \newcommand{End}[0]{\operatorname{End}} \newcommand{Ext}[0]{\operatorname{Ext}} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{id}[0]{\mathrm{id}} \newcommand{Image}[0]{\operatorname{Im}} \newcommand{Int}[0]{\mathrm{Int}} \newcommand{K}[0]{\mathsf{K}} \newcommand{Kb}[0]{\mathsf{K}^\mathrm{b}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{Km}[0]{\mathsf{K}^-} \newcommand{Kp}[0]{\mathsf{K}^+} \newcommand{lten}[0]{\overset{L}{\otimes}} \newcommand{lto}[0]{\longrightarrow} \newcommand{Mc}[0]{\mathrm{Mc}} \newcommand{Mod}[0]{\operatorname{Mod}} \newcommand{MS}[0]{\operatorname{SS}} \newcommand{MS}[0]{\mathrm{SS}} \newcommand{op}[0]{\mathrm{op}} \newcommand{or}[0]{\mathrm{or}} \newcommand{PSh}[0]{\mathrm{PSh}} \newcommand{pt}[0]{\mathrm{pt}} \newcommand{RG}[0]{R\Gamma} \newcommand{RHom}[0]{R\mathrm{Hom}} \newcommand{RP}[0]{\mathbb{RP}} \newcommand{Sh}[0]{\mathrm{Sh}} \newcommand{simto}[0]{\overset{\sim}{\to}} \newcommand{supp}[0]{\operatorname{supp}} \newcommand{Supp}[0]{\operatorname{Supp}} \newcommand{tl}[0]{\widetilde} \newcommand{toone}[0]{\overset{+1}{\to}} \newcommand{U}[0]{\mathbb{U}} $$

前層

ここでは層を定義する前に前層というものを定義します.

前層の定義

前層は位相空間$X$の開集合$U$に対して,$U$上の函数全体を対応させる対応を抽象化して定義されるものです.函数はより小さな開集合に制限することができました.これと同様により小さな開集合上の函数に制限するというような写像たちを考えることで前層は定義されます.

前層

$X$を位相空間とする.$X$上のアーベル群の前層$F$とは次のデータ

  • $X$の開集合$U$に対してアーベル群$F(U)$
  • $X$の開集合の組$U \subset V$に対してアーベル群の準同形$\rho_{U,V} \colon F(V) \to F(U)$

が定まっていて以下の条件を満たすことをいう:
(1) 任意の$X$の開集合$U$に対して$\rho_{U,U}=\id_{F(U)}$である.
(2) 任意の開集合の三つ組$U \subset V \subset W$に対して$\rho_{U,W}=\rho_{U,V} \circ \rho_{V,W}$.すなわち次の図式が可換である:
\begin{xy} \xymatrix { F(W) \ar[rr]^{\rho_{V,W}} \ar[rd]_{\rho_{U,W}} & & F(V) \ar[ld]^{\rho_{U,V}} \\ & F(U). & } \end{xy}

$F(U)$の元を$F$$U$上の切断と呼ぶ.$\Gamma(U;F)=F(U)$とも書くことがある.$\rho_{U,V}$制限写像とも呼ぶ.誤解がない場合は$s \in F(V)$に対して$\rho_{U,V}(s)$$s|_{U}$とも書く.

二つ目の条件は$W$上の函数を$V$に制限してからさらに$U$に制限することは一気に$U$に制限することと同じだということの類似です.前層$F$に関する制限写像であることを強調するために$\rho_{U,V}^F$とも書きます.以下ではアーベル圏に値を取る前層だけを考えるので単に前層と言います.

前層は函手であると見ることもできる.すなわち,位相空間$X$に対して圏$\mathcal{T}_X$を対象が$X$の開集合で
$$ \Hom_{\mathcal T_X}(U,V) = \begin{cases} \{ i \colon U \to V \ \style{font-family:inherit}{\text{包含写像}}\} \quad & (U \subset V) \\ \emptyset & (U \not\subset V) \end{cases} $$
と定めると,前層とは$\mathcal T_X$からアーベル群の圏$Ab$への反変函手のことである.ここではアーベル群に値を取る前層を考えたが,$Ab$$R$加群の圏・環の圏などに取り替えることで$R$加群や環に値を取る前層を考えることもできる.

前層の例

$X$を位相空間とする.
(i) 任意の$U$に対して$F(U)=0$として制限写像をすべて$\rho_{U,V}=0$とすれば,$F$は前層になる.これを零前層と呼び単に$0$であらわす.
(ii) $M$をアーベル群として,任意の開集合$U$に対して$F(U)=\{ f \colon U \to M \mid \text{$f$は$U$上の定数函数} \}$として制限写像を通常の函数の制限として定めれば,$F$は前層になる(定数前層と呼ぶこともある).
(iii) より一般に$x \in X$に対してアーベル群$M_x$が定まっているときに$F(U)=\prod_{x \in U} M_x$として制限写像を単なる制限とすれば,$F$は前層になる.
(iv) 開集合$U$に対して$C^0_X(U)=\{ f \colon U \to \bbR \mid \text{$f$は$U$上連続} \}$として,制限写像を通常の函数の制限として定めれば$C^0_X$は前層になる.
(v) $X$$C^\infty$級多様体であるとする.このとき,開集合$U$に対して$C^\infty_X(U)=\{ f \colon U \to \bbR \mid \text{$f$は$U$上$C^\infty$級} \}$として,制限写像を通常の函数の制限として定めれば$C^\infty_X$は前層になる.
(vi) $X$$\bbC$内の領域であるとする.このとき,開集合$U$に対して$\mathcal O_X(U)=\{ f \colon U \to \bbC \mid \text{$f$は$U$上正則} \}$として,制限写像を通常の函数の制限として定めれば$\mathcal O_X$は前層になる.また$\mathcal M_X(U)=\{ \text{$U$上の有理型函数} \}$と定めると$\mathcal M_X$も前層になる.
(vii) $X=\bbR^n$とする.このとき,開集合$U$に対して$L^1(U)=\{ f \colon U \to \bbR \mid \text{$f$は$U$上可積分} \}$として,制限写像を通常の函数の制限として定めれば$L^1$は前層になる.

前層の間の射を定義しましょう.前層は各開集合にアーベル群が対応するものなので各開集合に対してそれらのアーベル群の間の写像のデータとするのが自然です.さらに前層には制限写像というデータも付いているので,これらと両立するという条件も加える必要があるでしょう.こうして次の定義を得ます.

前層の射

$F,G$を位相空間$X$上の前層とする.前層の射$\varphi \colon F \to G$とは,$X$の開集合$U$に対して$\varphi_U \colon F(U) \to G(U)$が定まっていて,任意の開集合の組$U \subset V$に対して$\varphi_U \circ \rho^F_{U,V}=\rho^G_{U,V} \circ \varphi_V$を満たすことをいう.言い換えると前層の射とは前層を函手だとみなしたときの函手間の射(自然変換)である.このように射を定義した$X$上の前層全体のなす圏を$\PSh(X)$と書く.

二つの前層の射$\varphi, \varphi' \colon F \to G$に対して,$(\varphi+\varphi')_U:=\varphi_U+\varphi'_U$と定めると$\varphi+\varphi'$は前層の射となります.こうして前層の射の集合に加法が入ります.さらに前層の射$\varphi \colon F \to G$に対して,$K(U):=\Ker \varphi_U, I(U):=\Image \varphi_U$と定めると,これらは前層になることが確認できます.これらを核と像と定めることで$\mathrm{PSh}(X)$はアーベル圏をなすことが分かります.核と像の定義から前層の射の列$F \xrightarrow{\varphi} G \xrightarrow{\psi} H$が完全であることは,任意の$X$の開集合$U$に対して$F(U) \xrightarrow{\varphi_U} G(U) \xrightarrow{\psi_U} H(U)$が完全であることと同値です.

前層の茎

点がある普通の空間で前層を扱う際に便利な茎という概念を導入します.

前層の茎

$F$を位相空間$X$上の前層とする.$x \in X$に対して$x$の開近傍を渡る帰納系$\{ F(U), \rho_{U,V} \}_U$に関する帰納極限を
$$ F_x := \varinjlim_{x \in U} F(U) $$
と書き,$F$$x$におけると呼ぶ.$x$の開近傍$U$に対して定まる標準的な写像$F(U) \to F_x$$\rho_{x,U}$と書き,$s \in F(U)$に対して$s_x:=\rho_{x,U}(s)$と書く.

$s_x$$x$における函数の値$s(x)$とは異なります.$s_x$$x$一点の情報だけでなく$x$の十分小さな近傍の情報も持っています.$x$からちょっとだけ染み出している感覚です.帰納極限の性質から$x \in X$に対して任意の$F_x$の元はある$x$の開近傍$U$$s \in F(U)$により$s_x$の形にあらわされます.また$s \in F(U)$$x \in U$に対して$s_x=0$を満たすならば,ある$x$$U$内の開近傍$U_x$が存在して$s|_{U_x}=0$となります.

帰納極限の性質から,$\varphi \colon F \to G$を位相空間$X$上の前層の射とすると任意の$x \in X$に対して$\varphi_x \colon F_x \to G_x$であって任意の$x$の開近傍$U$に対して$\varphi_x \circ \rho^F_{x,U}=\rho^G_{x,U} \circ \varphi_U$が成り立つものが唯一つ存在します.すなわち,次の図式を可換にするものが唯一つ存在します:
\begin{xy} \xymatrix{ F(U) \ar[r]^{\varphi_U} \ar[d] & G(U) \ar[d] \\ F_x \ar@{-->}[r]_{\varphi_x} & G_x. } \end{xy}
$\varphi \colon F \to G, \psi \colon G \to H$を前層の射とすると,一意性から任意の$x \in X$に対して$\psi_x \circ \varphi_x = (\psi \circ \varphi)_x$が分かります.帰納極限は完全性を保つので,任意の$x \in X$に対して$F \mapsto F_x$は完全函手$\PSh(X) \to Ab$となります.

以下では$X$を位相空間とします.前層にさらに条件を加えて層を定義します.

層の定義

前層は開集合上の函数空間を対応させる対応の類似でした.層はそのクラスの函数に属することが局所的な性質であるような函数空間の対応を抽象化したものです.すなわち,層は前層のうち貼り合わせ条件と呼ばれるものを満たすもののことです.

$X$上の前層$F$であるとは次の貼り合わせ条件を満たすことをいう:
任意の開集合$U$と任意の$U$の開被覆$\{U_i\}_{i \in I}$対して,$s_i \in F(U_i) \ (i \in I)$が与えられ任意の$i,j \in I$に対して$s_i|_{U_i \cap U_j}=s_j|_{U_i \cap U_j}$を満たすならば,$s \in F(U)$一意的に存在して任意の$i \in I$に対して$s|_{U_i}=s_i$を満たす.

テキストによっては貼り合わせ条件は
(S1) $s \in F(U)$が任意の$i \in I$に対して$s|_{U_i}=0$を満たすなら$s=0$
(S2) $s_i \in F(U_i) \ (i \in I)$が与えられ任意の$i,j \in I$に対して$s_i|_{U_i \cap U_j}=s_j|_{U_i \cap U_j}$を満たすならば,$s \in F(U)$が存在して任意の$i \in I$に対して$s|_{U_i}=s_i$を満たす.
と二つに分解されていることもあります.ちなみに$U=\emptyset$のとき空な添字集合からなる開被覆を取れば$F(\emptyset)=0$であることも分かります.上で見た前層の例たちが層になるかを見てみましょう.

層の例・層にならない前層の例

(i) 零前層$0$は層になる.$s_i$たちとして$0$しか取れないからである.$0$を零層とも呼ぶ.
(ii) $M$をアーベル群としたとき$M$に対応する定数前層は一般には層ではない.例えば$X=\{ 0,1 \}$に離散位相を入れて$M=\bbZ$とすれば,$U=X$$U_0=\{0\}, s_0=0, U_1=\{1\}, s_1=1$とすれば$s_0|_{U_0 \cap U_1}=0=s_1|_{U_0 \cap U_1}$だが$X$上の定数函数$s$$s|_{U_i}=s_i \ (i=0,1)$となるものは取れない.
定数前層の代わりに$M_X(U)=\{ f \colon U \to M \mid \text{$f$は$U$上の局所定数函数} \}$とすれば$M_X$は層になることが分かる.$M_X$$M$に対応する($M$を茎に持つ)定数層と呼ぶ.
(iii) $x \in X$に対してアーベル群$M_x$が定まっているときに$F(U)=\prod_{x \in U} M_x$として制限写像を単なる制限として定めた前層$F$は層である.
(iv) $C^0_X$は層である.局所的に連続な函数を貼り合わせて作った函数も連続だからである.
(v) $X$$C^\infty$級多様体のとき,$C^\infty_X$は層である.$C^\infty$級であるという性質も局所的なものだからである.
(vi) $X$$\bbC$内の領域のとき,$\mathcal O_X, \mathcal M_X$は層である.
(vii) $X=\bbR^n$のとき,$L^1$は層ではない.有界領域上の$0$でない定数函数はその上で可積分だが,貼り合わせて非有界な定数函数を作ると可積分ではないからである.
可積分函数の前層の代わりに$L^1_{\mathrm{loc}}(U)=\{ f \colon U \to \bbR \mid \text{$f$は$U$上局所可積分} \}$とすれば$L^1_{\mathrm{loc}}$は層になることが分かる.

上の例で見たように層であるというのはそこに属していることが局所的な条件であるということに対応します.つまり局所的なものを貼り合わせて大域的なものを作れるということを表しているのが層というものなのです.

層は次のように開部分集合に制限できます.

$F$$X$上の層として$U$$X$の開部分集合とする.このとき,$U$内の開部分集合$V$に対して$F(V)$を対応させることにより$U$上の層が定まる.これを$F|_U$と書いて,層$F$の開集合$U$への制限と呼ぶ.

層に対してすぐ分かる大切な性質として次があります.

$F$$X$上の層とする.$s,t \in F(U)$に対して$s=t \Leftrightarrow s_x =t_x \ (\forall x \in U)$である.

差を考えれば$t=0$の場合に示せば十分である.$\Rightarrow$は良い.$s_x =0 \ (\forall x \in U)$とすると$x$$U$内の開近傍$U_x$が存在して$s|_{U_x}=0$である.$\{U_x\}_{x \in U}$$U$の開被覆なので$s=0$である.

上の補題から開部分集合$V$について任意の$x \in V$に対して$F_x \simeq 0$であれば$F|_V \simeq 0$となることも分かるので,次のように切断と層の台を定めることができます.

切断および層の台

$F \in \Sh(X)$とする.このとき,$X$の開部分集合$U$とその上の$F$の切断$s \in F(U)$に対して$s|_V=0$となる$U$内の最大の開部分集合$V$$U$内の補集合$U \setminus V$を切断$s$と呼び,$\supp(s)$であらわす.また,$F|_V \simeq 0$となる$X$内の最大の開部分集合$V$の補集合$X \setminus V$を層$F$と呼び,$\Supp(F)$であらわす.

台の記号・茎による表示

(i) 切断の台と層の台を同じ記号$\supp$で書く文献が多いが,ここでは記号を別にした.
(ii) 最大の開部分集合$V$の存在は貼り合わせ条件から分かる.
(iii) $s \in F(U)$に対して$\supp(s)=\{ x \in U \mid s_x \neq 0 \}$であるが,$\Supp(F)=\overline{\{x \in X \mid F_x \neq 0 \}}$である.後者は閉包を取らないと正しくない.

層の間の射は前層の射と同じもので定義しておきます.

層の射

$X$上の層$F,G$に対して層の射$\varphi \colon F \to G$とは$F,G$を前層と見たときの射のことである.このように射を定義した$X$上の層全体のなす圏を$\Sh(X)$と書く.

言い換えると$\Sh(X)$$\PSh(X)$の充満部分圏であるということです.前層のときと同様に射の集合には加法が定義できます.実はアーベル圏にもなるのですが,それは第2回で見ていきましょう.

層化

上で見たように前層であって層ではないものがあります.その際に定数前層に対して定数層を,$L^1$に対して$L^1_{\mathrm{loc}}$を与えるような「与えられた前層に一番近い層」を作る操作が欲しくなってきます.このような操作は存在するというのが次の定理です.

層化の存在

$X$上の前層$F$に対して,$X$上の層$F^+$と前層の射$\theta \colon F \to F^+$の組$(F^+,\theta)$であって次の条件(普遍性)を満たすものが唯一つ存在する:
任意の$X$上の層$G$と前層の射$\varphi \colon F \to G$に対して,層の射$\widetilde \varphi \colon F^+ \to G$が一意的に存在して$\varphi = \widetilde \varphi \circ \theta$を満たす.すなわち,次の図式を可換にする層の射$\widetilde \varphi$が一意的に存在する:
\begin{xy} \xymatrix{ F \ar[r]^{\theta} \ar[d]_{\varphi} & F^+ \ar@{-->}[ld]^{\widetilde \varphi} \\ G. & } \end{xy}
さらに任意の$x \in X$に対して茎に誘導される射$\theta_x \colon F_x \to F^+_x$は同形である.

定理中の条件は$F$からどんな層$G$への射も必ず層$F^+$を通って行けということを言っているので,この意味で「$F$に一番近い層」と言えるのです.また,普遍性から$F$が層なら$F^+ \simeq F$となります.

概略

$[F]$を茎を並べて作った層$[F](U)=\prod_{x \in U}F_x$を考える(これは一般的な記号ではない).これが層になることは上の例で見た.$F(U) \ni s \mapsto (s_x)_{x \in U} \in [F](U)$により前層の射$\varepsilon \colon F \to [F]$が定まる.この$[F]$の切断は近くの点でもバラバラに茎の元を対応させて良いので,とんでもなく大きな層である.もっともとの$F$に近づけるために各点近傍で$F$の切断でコントロールされているように条件をつけて$F^+$を定義する.つまり
$$ F^+(U):=\{ f \in [F](U) \mid \forall x \in U, \text{$\exists V$: $x$の$U$内の開近傍}, f(y)=s_y \ (\forall y \in V) \} $$
と定義する.$F^+$を定義するときの条件は局所的だから$F^+$は層になる.$\varepsilon$の像は$F^+$に入るので値域を制限して$\theta$が得られる.定義から各点の近傍では$F$の切断から来ているものなので$\theta_x$が同形はすぐ分かる.普遍性の条件をチェックするために開集合$U$$f \in F^+(U)$に対して$\widetilde \varphi_U(f)$を定めよう.定義から$U$の開被覆$\{U_i\}_{i \in I}$$s_i \in F(U_i) \ (i \in I)$$f(x)=(s_i)_x \ (x \in U_i)$を満たすものが存在する.すると
$$ (\varphi_{U_i}(s_i)|_{U_i \cap U_j}-\varphi_{U_j}(s_j)|_{U_i \cap U_j})_x=\varphi_x((s_i|_{U_i \cap U_j}-s_j|_{U_i \cap U_j})_x)=0 $$
であり$G$は層なので,補題1から$\varphi_{U_i}(s_i)|_{U_i \cap U_j}-\varphi_{U_j}(s_j)|_{U_i \cap U_j}=0$である.再び$G$が層であることを用いればある$t \in G(U)$が存在して$t|_{U_i}=\varphi_{U_i}(s_i) \ (i \in I)$を満たす.$t$$\{U_i\}_{i \in I}$$s_i$のとり方によらず$f$のみによることがチェックできるので$\widetilde \varphi_U(f):=t$と定めれば良い.作り方から$\varphi = \widetilde \varphi \circ \theta$を満たすことが分かり,射の一意性もやはり補題1を用いれば分かる.

層化

$F$$X$上の前層とする.上の定理中の条件を満たす層と前層の射の組$(F^+,\theta)$$F$層化,または付随した層と呼ぶ.多くの場合$\theta$は省略して単に$F^+$$F$の層化という.

層化の例

(i) 定数層は定数前層の層化である.
(ii) $L^1_{\mathrm{loc}}$$L^1$の層化である.

このようにして層でない前層が現れても層化することで層を作り出すことができるのです.実は前層の圏をアーベル圏だとみなしたときに出てきた$K$は層ですが,$I$は層ではないという問題があります.それでは層としての像をここから作るにはどうすれば良いでしょうか?答えは層化を取ることです!これは次節で考えます.

随伴としての層化

層化の普遍性は層の圏から前層の圏への埋め込み函手$\iota \colon \Sh(X) \to \PSh(X)$との随伴ともみなせる.実際,$F \in \PSh(X), G \in \Sh(X)$に対して定理2から
$$ \Hom_{\Sh(X)}(F^+,G) \simeq \Hom_{\PSh(X)}(F,\iota(G)) $$
は自然同値であることが分かる.

層の射についてもう少し

層の射についてもう少し調べておきます.今後は$F$$X$上の層であることを$F \in \Sh(X)$と書いてしまいます.

層の同形は茎の同形

$F,G \in \Sh(X)$と層の射$\varphi \colon F \to G$について,$\varphi$は同形$\Leftrightarrow$任意の$x \in X$に対して$\varphi_x \colon F_x \to G_x$は同形.

層の射$\varphi \colon F \to G$が同形とは任意の開集合$U$に対して$\varphi_U \colon F(U) \to G(U)$が同形であることである.
$\Rightarrow$: 任意の$U$に対して$0 \to F(U) \xrightarrow{\varphi_U} G(U) \to 0$は完全で帰納極限は完全性を保つので任意の$x \in X$に対して$0 \to F_x \xrightarrow{\varphi_x} G_x \to 0$は完全である.したがって,$\varphi_x$は同形.
$\Leftarrow$: 任意の$U$を取り$\varphi_U$が同形であることを示す.
まず単射性を示す.$s \in F(U)$$\varphi_U(s)=0$を満たしたとすると,任意の$x \in U$に対して$\varphi_x(s_x)=\varphi_U(s)_x=0$$\varphi_x$は単射だから$s_x=0$.ゆえに 第1回 の補題1より$s=0$である.
次に全射性を示す.任意の$t \in G(U)$を取る.任意の$x \in X$に対して$\varphi_x$は全射だから$t_x=\varphi_x(s_x)$と書けて,$s_x$はある$U$内の$x$の開近傍$U_x$$s_{U_x} \in F(U_x)$を使って$s_x=(s_{U_x})_x$となる.すると$t_x=\varphi_x(s_x)=\varphi_{U_x}(s_{U_x})_x$となるので,ある$U_x$内の$x$の開近傍$V_x$が存在して$t|_{V_x}=\varphi_{V_x}(s_{U_x}|_{V_x})$となる.記号を簡単にするため$s_{V_x}:=s_{U_x}|_{V_x}$とおきなおそう.すると,任意の$x,y$に対して
$$ \varphi_{V_x \cap V_y}(s_{V_x}|_{V_x \cap V_y}) = \varphi_{V_x}(s_{V_x})|_{V_x \cap V_y} = t|_{V_x \cap V_y} = \varphi_{V_x \cap V_y}(s_{V_y}|_{V_x \cap V_y}) $$
であり,前半で示したことから$\varphi_{V_x \cap V_y}$は単射だから$s_{V_x}|_{V_x \cap V_y}=s_{V_y}|_{V_x \cap V_y}$である.$\{V_x\}_x$$U$の開被覆で$F$は層であるから,ある$s \in F(U)$が存在して$x \in U$に対して$s|_{V_x}=s_{V_x}$となる.すると,任意の$x \in U$に対して$\varphi_U(s)|_{V_x}=\varphi_{V_x}(s|_{V_x})=\varphi_{V_x}(s_{V_x})=t|_{V_x}$であり$G$は層だから$\varphi_U(s)=t$を得る.

層化のもっとマシな証明

上の命題を先に得ておけば層化の証明を次のように少しだけスマートにできる.
一般に,前層の射$\varphi \colon F \to G$に対して$[\varphi] \colon [F] \to [G]$が誘導され,これは$\varphi^+ \colon F^+ \to G^+$に落ちていることが分かる.$\theta^G \colon G \to G^+$は全ての茎で同形になることが示されているので,$G$が層ならば上の命題より$\theta^G$は同形である.この同形の逆射を合成して$\tl \varphi \colon F^+ \to G$が得られる.
二度も同じような証明をする必要はないのだが,どこに層の貼り合わせ条件が使われているかよく分かるようにくどい証明を繰り返した.

まとめ

この節では

  • 前層の定義と例・茎の定義
  • 層の定義と例・層化の存在

について説明しました.

参考文献

[1]
Masaki Kashiwara and Pierre Schapira, Sheaves on Manifolds, Grundlehren der mathematischen Wissenschaften, Springer, 1990
[2]
Birger Iversen(著),前田博信(訳), 層のコホモロジー, 丸善出版, 1995
[3]
廣中平祐(講義),森重文(記録), 代数幾何学, 京都大学学術出版会, 2004
[4]
上野健爾, 代数幾何, 岩波書店, 2005
[5]
Masaki Kashiwara and Pierre Schapira, Categories and Sheaves, Grundlehren der mathematischen Wissenschaften, Springer, 2006
[6]
Alexandru Dimca, Sheaves in Topology, Universitext, Springer, 2013
[7]
Sergei I. Gelfand and Yuri I. Manin, Methods of Homological Algebra, Springer Monographs in Mathematics, Springer, 1997
[8]
Joseph Bernstein and Valery Lunts, Equivariant Sheaves and Functors, Lecture Notes in Mathematics, Springer, 1994
[9]
Jean-Pierre Schneiders, Introduction to characteristic classes and index theory, Textos de Matemática, Faculdade de Ciências da Universidade de Lisboa, 2000
[10]
Alexander Grothendieck, Sur quelques points d'algèbre homologique, Tohoku Math. J., 1957, pp. 119--221
投稿日:2021522

この本を高評価した人

高評価したユーザはいません

この本に送られたバッジ

バッジはありません。

投稿者

microsupport
microsupport
170
48758
層理論が好きです.広い意味での代数解析についての記事を書いています.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中

現在のページ

前層と層・層化
前のページへ
1 / 12
次のページへ
層理論と導来圏の表紙
次ページへ