圏上の前層に関する備忘録

投稿日：2024/12/25

数学

圏論

層論

メモ

本記事の状況設定は概ね Fu, Etale Cohomology Theory の第 5 章に則っている．また，前層は全て Abel 群に値を取るものとする．

C\cat{C} を任意の小圏とする．このとき，PSh(C)\cat{PSh}(\cat{C}) で C\cat{C} 上の前層の圏を表すこととする．これは Abel 圏である．関手 f ⁣:C→C′f \colon \cat{C} \to \cat {C}' が与えられたとき，前層圏の間の加法的関手

fp ⁣:PSh(C′)→PSh(C)fp ⁣:PSh(C)→PSh(C′)\begin{align*} &f^p \colon \cat{PSh}(\cat{C}') \to \cat{PSh}(\cat{C})\\ &f_p \colon \cat{PSh}(\cat{C}) \to \cat{PSh}(\cat{C}')\\ \end{align*}

を次のようにして定める．

まず，C′\cat{C}' 上の前層 F′\sheaf{F}' に対して fpF′f^p\sheaf{F}' を

fpF′(U)=F′(fU)(U∈ObjC)\begin{align*} f^p\sheaf{F}'(U) = \sheaf{F}'(fU) \quad (U \in \obj\cat{C}) \end{align*}

となる前層とする．

C′\cat{C}' の対象 U′U' に対して，圏 If,U′\cat{I}_{f, U'} を，対象が (U∈ObjC,(φ ⁣:U′→f(U))∈MorC′)(U \in \obj\cat{C}, (\varphi \colon U' \to f(U)) \in \mor\cat{C}') という組であり，二つの対象 (U,φ)(U, \varphi), (V,ψ)(V, \psi) の間の射が ξ ⁣:U→V\xi \colon U \to V で f(ξ)φ=ψf(\xi)\varphi = \psi を満たすものであるような圏とする．このとき，C\cat{C} 上の前層 F\sheaf{F} に対して fpFf_p\sheaf{F} を

fpF(U′)=colim(U,φ)∈If,U′opF(U)(U′∈ObjC)\begin{align*} f_p\sheaf{F}(U') = \colim_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} \sheaf{F}(U) \quad (U' \in \obj\cat{C}) \end{align*}

となる前層とする．

以上の二つの関手が加法的であることは定義からすぐに分かる．

命題

fpf_p は fpf^p の左随伴関手である．即ち，C\cat{C} 上の前層 F\sheaf{F} と C′\cat{C}' 上の前層 F′\sheaf{F}' に対して，自然な全単射

HomPSh(C′)(fpF,F′)≅HomPSh(C)(F,fpF′)\begin{align*} \hom_{\cat{PSh}(\cat{C}')}(f_p\sheaf{F}, \sheaf{F}') \cong \hom_{\cat{PSh}(\cat{C})}(\sheaf{F}, f^p\sheaf{F}') \end{align*}

が存在する．更に，この全単射は Ab\cat{Ab} 値前層圏の射集合に自然に入る群構造と両立する．

証明

随伴関手の一般論 (例えば [CWM, IV.2]) より，単位 η ⁣:idPSh(C)→fpfp\eta \colon \id_{\cat{PSh}(\cat{C})} \to f^pf_p 及び余単位 ε ⁣:fpfp→idPSh(C′)\epsilon \colon f_pf^p \to \id_{\cat{PSh}(\cat{C}')} が定まって，それらが三角等式を満たす，即ち C\cat{C} 上の前層 F\sheaf{F} と C′\cat{C}' 上の前層 F′\sheaf{F}' に対して ηfpF′∘fpεF′=idfpF\eta_{f^p\sheaf{F'}} \circ f^p\epsilon_{\sheaf{F}'} = \id_{f^p\sheaf{F}}，fpηF∘εfpF=idfpFf_p\eta_{\sheaf{F}} \circ \epsilon_{f_p\sheaf{F}} = \id_{f_p\sheaf{F}} であることを示せば良い．

C\cat{C} 上の前層 F\sheaf{F} と U∈ObjCU \in \obj\cat{C} に対して

fpfpF(U)=fpF(fU)=colim(V,φ)∈If,fUopF(V)\begin{align*} f^pf_p\sheaf{F}(U) &= f_p\sheaf{F}(fU) = \colim_{(V, \varphi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}(V) \end{align*}

であり，If,fU\cat{I}_{f, fU} はその対象として (U,idfU)(U, \id_{fU}) を持つので，それによって定まる標準的包含射

i(U,idfU) ⁣:F(U)→colim(V,φ)∈If,fUopF(V)\begin{align*} i_{(U, \id_{fU})} \colon \sheaf{F}(U) \to \colim_{(V, \varphi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}(V) \end{align*}

を ηF(U)\eta_{\sheaf{F}}(U) とすれば，これは前層の射 ηF ⁣:F→fpfpF\eta_\sheaf{F} \colon \sheaf{F} \to f^pf_p\sheaf{F} を定める．これによって自然変換 η ⁣:idPSh(C)→fpfp\eta \colon \id_{\cat{PSh}(\cat{C})} \to f^pf_p が定まる．

C′\cat{C}' 上の前層 F′\sheaf{F}' と U′∈ObjC′U' \in \obj\cat{C}' に対して

fpfpF′(U′)=colim(U,φ)∈If,U′opfpF′(U)=colim(U,φ)∈If,U′opF′(fU)\begin{align*} f_pf^p\sheaf{F}'(U') &= \colim_{(U,\varphi) \in \cat{I}_{f, U'}^\opp} f^p\sheaf{F}'(U) = \colim_{(U,\varphi) \in \cat{I}_{f, U'}^\opp} \sheaf{F}'(fU) \end{align*}

であり，If,U′\cat{I}_{f, U'} の各々の対象 (U,φ)(U, \varphi) に対して射 F(φ) ⁣:F′(fU)→F′(U′)\sheaf{F}(\varphi) \colon \sheaf{F}'(fU) \to \sheaf{F}'(U') が定まり，それらは If,U′op\cat{I}_{f, U'}^\opp 上の余錐をなすので，余極限の普遍性より射 εF′(U′) ⁣:fpfpF′(U′)→F′(U′)\epsilon_{\sheaf{F}'}(U') \colon f_pf^p\sheaf{F}'(U') \to \sheaf{F}'(U') が定まる．これによって前層の射 εF′ ⁣:fpfpF′→F′\epsilon_{\sheaf{F}'} \colon f_pf^p\sheaf{F}' \to \sheaf{F}' が定まり，更に自然変換 ε ⁣:fpfp→idPSh(C′)\epsilon \colon f_pf^p \to \id_{\cat{PSh}(\cat{C}')} が定まる．

如上の自然変換が三角等式を満たすことを示そう．C′\cat{C}' 上の前層 F′\sheaf{F}' と U∈ObjCU \in \obj \cat{C} に対して

ηfpF(U) ⁣:fpF′(U)=F′(fU)→fpfpfpF′(U)=colim(V,φ)∈If,fUopF′(fV)\begin{align*} \eta_{f^p\sheaf{F}}(U) \colon f^p\sheaf{F}'(U) = \sheaf{F}'(fU) \to f^pf_pf^p\sheaf{F}'(U) = \colim_{(V, \varphi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}'(fV) \end{align*}

は余極限の標準的包含射 i(U,idfU)i_{(U, \id_{fU})} であり，

fpεF′(U) ⁣:colim(V,φ)∈If,fUopF′(fV)→F′(fU)\begin{align*} f^p\epsilon_{\sheaf{F}'}(U) \colon \colim_{(V, \varphi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}'(fV) \to \sheaf{F}'(fU) \end{align*}

は余極限の普遍性から定まる射なので，これらの合成は idF′(fU)\id_{\sheaf{F}'(fU)} である．

また，C\cat{C} 上の前層 F\sheaf{F} と U∈ObjC′U \in \obj \cat{C}' に対して，

fpηF(U′) ⁣:fpF(U′)=colim(U,φ)∈If,U′opF(U)→fpfpfpF(U′)=colim(U,φ)∈If,U′opcolim(V,ψ)∈If,fUopF(V)\begin{align*} f_p\eta_{\sheaf{F}}(U') \colon f_p\sheaf{F}(U') = \colim_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} \sheaf{F}(U) \to f_pf^pf_p\sheaf{F}(U') = \colim_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} \colim_{(V, \psi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}(V) \end{align*}

は標準的包含射の族 {i(U,idfU) ⁣:F(U)→colim(V,ψ)∈If,fUopF(V)}(U,φ)∈If,U′op\displaystyle \left\{i_{(U, \id_{fU})} \colon \sheaf{F}(U) \to \colim_{(V, \psi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}(V)\right\}_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} の余極限であり，

εfpF(U′) ⁣:colim(U,φ)∈If,U′opcolim(V,ψ)∈If,fUopF(V)→colim(U,φ)∈If,U′opF(U)\begin{align*} \epsilon_{f_p\sheaf{F}}(U') \colon \colim_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} \colim_{(V, \psi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}(V) \to \colim_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} \sheaf{F}(U) \end{align*}

は余極限の普遍性から定まる射の族 {colim(V,ψ)∈If,fUopF(V)→F(U)}(U,φ)∈If,U′op\displaystyle \left\{\colim_{(V, \psi) \in \cat{I}_{f, fU}^\opp} \sheaf{F}(V) \to \sheaf{F}(U)\right\}_{(U, \varphi) \in \cat{I}_{f, U'}^\opp} の余極限であるので，これらの合成は idfpF(U′)\id_{f_p\sheaf{F}(U')} である．

以上の議論によって定まる随伴が射集合の間の演算と両立することは，fpf^p と fpf_p が加法的であることから従う (例えば [志甫2016, 2.175])．

X∈ObjCX \in \obj \cat{C} に対して，{X}\{X\} を一点圏とし，iX ⁣:{X}→Ci^X \colon \{X\} \to \cat{C} を包含関手とする．Abel 群 MM に対して，X↦MX \mapsto M で定まる {X}\{X\} 上の前層を M{X}M_{\{X\}} で表し，MX:=ipXM{X}M_X := i^X_p M_{\{X\}} とする．このとき，U∈ObjCU \in \obj \cat{C} に対して圏 IiX,U\cat{I}_{i^X, U} は，ObjC={(X,φ)∣φ∈HomC(U,X)}\obj\cat{C} = \{(X, \varphi) \mid \varphi \in \hom_\cat{C}(U, X)\} であり，恒等射以外の射を持たない圏である．従って，

MX(U)=colim(X,φ)∈IiX,UopM=⨁HomC(U,X)M\begin{align*} M_X(U) = \colim_{(X, \varphi) \in \cat{I}_{i^X, U}^\opp} M = \bigoplus_{\hom_\cat{C}(U, X)} M \end{align*}

である．

　上述の命題より，C\cat{C} 上の前層 F\sheaf{F} に対して Abel 群としての同型

HomPSh(C)(ZX,F)≅HomPSh({X})(Z{X},(iX)pF)≅HomAb(Z,F(X))≅F(X)\begin{align*} \hom_{\cat{PSh}(\cat{C})}(\mathbb{Z}_X, \sheaf{F}) &\cong \hom_{\cat{PSh}(\{X\})}(\mathbb{Z}_{\{X\}}, (i^X)^p\sheaf{F}) \\ &\cong \hom_{\cat{Ab}}(\mathbb{Z}, \sheaf{F}(X)) \\ &\cong \sheaf{F}(X) \end{align*}

が存在する．この同型射を具体的に書き下してみよう．

C\cat{C} 上の前層の射 φ ⁣:ZX→F\varphi \colon \mathbb{Z}_X \to \sheaf{F} が与えられたとき，上述の随伴を通して対応する射は

Z{X}→ηZ{X}(iX)pipXZ{X}→(iX)pφ(iX)pF\begin{align*} \mathbb{Z}_{\{X\}} \xrightarrow{\eta_{\mathbb{Z}_{\{X\}}}} (i^X)^pi^X_p \mathbb{Z}_{\{X\}} \xrightarrow{(i^X)^p\varphi} (i^X)^p\sheaf{F} \end{align*}

である (ηZ{X}\eta_{\mathbb{Z}_{\{X\}}} は命題の証明中に定めた随伴の単位)．これの XX での切断は

Z→⨁HomC(X,X)Z→F(X)1↦eidX↦φ(X)(eidX)\begin{array}{c} \mathbb{Z} & \to & \displaystyle \bigoplus_{\hom_\cat{C}(X, X)} \mathbb{Z} & \to & \sheaf{F}(X)\\ 1 & \mapsto & e_{\id_X} & \mapsto & \varphi(X)(e_{\id_X}) \end{array}

である．ここで eidXe_{\id_X} は idX\id_X 成分のみが 11 であり，他の成分は全て 00 であるような元である．従って，φ ⁣:ZX→F\varphi \colon \mathbb{Z}_X \to \sheaf{F} に対応する F(X)\sheaf{F}(X) の元は φ(X)(eidX)\varphi(X)(e_{\id_X}) である．

逆に，F(X)\sheaf{F}(X) の元 ss が与えられたとき，それに対応する射 φ ⁣:ZX→F\varphi \colon \mathbb{Z}_X \to \sheaf{F} を具体的に与えよう．先ず，これに対応する HomPSh({X})(Z{X},(iX)pF)\hom_{\cat{PSh}(\{X\})}(\mathbb{Z}_{\{X\}}, (i^X)^p\sheaf{F}) の元は 1∈Z=Z{X}(X)1 \in \mathbb{Z} = \mathbb{Z}_{\{X\}}(X) を ss に送ることで定まる射である．この射を ψ ⁣:Z{X}→(iX)pF\psi \colon \mathbb{Z}_{\{X\}} \to (i^X)^p\sheaf{F} とすると，上述の命題を通して ψ\psi に対応する射は

ZX=ipXZ{X}→ipXψipX(iX)pF→εFF\begin{align*} \mathbb{Z}_X = i^X_p\mathbb{Z}_{\{X\}} \xrightarrow{i^X_p\psi} i^X_p(i^X)^p\sheaf{F} \xrightarrow{\epsilon_{\sheaf{F}}} \sheaf{F} \end{align*}

である (εF\epsilon_{\sheaf{F}} は命題の証明中に定めた随伴の余単位)．これの U∈ObjCU \in \obj\cat{C} での切断は

⨁HomC(U,X)Z→⨁HomC(U,X)F(X)→∑φ∈HomC(U,X)F(φ)F(U)eφ↦sφ↦F(φ)(s)\begin{array}{c} \displaystyle \bigoplus_{\hom_\cat{C}(U, X)} \mathbb{Z} & \to & \displaystyle \bigoplus_{\hom_\cat{C}(U, X)} \sheaf{F}(X) & \xrightarrow{\sum_{\varphi\in\hom_\cat{C}(U, X)}\sheaf{F}(\varphi)} & \sheaf{F}(U)\\ e_\varphi & \mapsto & s_\varphi & \mapsto & \sheaf{F}(\varphi)(s) \end{array}

である．ここで sφs_\varphi は φ\varphi 成分のみが ss であり，他の成分は全て 00 であるような元である．

参考文献