引き戻し (圏論)

圏論という数学の分野において，引き戻し（ひきもどし，英: pullback），あるいはファイバー積 (fiber/fibre/fibered product)，デカルトの四角形 (Cartesian square) とは，共通の終域を持つ2つの射 $f : X \to Z$ , $g : Y \to Z$ からなる図式の極限である．引き戻しはしばしば

P = X \times Z Y

と書かれ，2つの自然な射 $P \to X$ , $P \to Y$ を備えている．2つの射の引き戻しが存在するとは限らないが，存在すれば2つの射から本質的に一意に定義される．多くの状況において， $X \times Z Y$ は，元 $x \in X$ と $y \in Y$ の対 $(x, y)$ であって $f (x) = g (y)$ なるものからなるものと直観的に考えることができる．一般の定義には普遍性が用いられ，このことを本質的な理由として，引き戻しは2つの与えられた射を可換四角形に適合させる「最も一般の」方法である．

引き戻しの双対概念は押し出し（英語版） (pushout) である．

普遍性

明示的には，2つの射 $f$ , $g$ の引き戻しは，対象 $P$ と2つの射 $p 1 : P \to X$ と $p 2 : P \to Y$ であって次の図式が可換となるものからなる：

さらに，引き戻し $(P, p 1, p 2)$ はこの図式について普遍的でなければならない，つまり，別のそのような3つ組 $(Q, q 1, q 2)$ であって次の図式が可換であるような任意のものに対して，一意的な $u : Q \to P$ （仲介射 (mediating morphism) と呼ばれる）が存在して

p_{2}\circ u=q_{2},\qquad p_{1}\circ u=q_{1}

とならなければならない．

すべての普遍的な構成がそうであるように，引き戻しは，存在すれば，同型を除いて一意である．実際，同じ cospan（英語版） $X \to Z \leftarrow Y$ の2つの引き戻し $(A, a 1, a 2)$ と $(B, b 1, b 2)$ が与えられると， $A$ と $B$ の間の引き戻し構造を尊重した一意的な同型が存在する．

弱い引き戻し

余スパン $X \to Z \leftarrow Y$ の弱引き戻し (weak pullback) は「弱い普遍性」しか持たない（つまり、上記の仲介射 $u : Q \to P$ が一意であることを要求しない）ような余スパン上の錐を言う。^[1]

引き戻しと積

引き戻しは積と似ているが，同じではない．射 $f$ , $g$ と対象 $Z$ の存在を「忘れる」ことによって積が得られる．このとき2つの対象 $X$ , $Y$ のみを持ちそれらの間に何の射もない離散圏が残るが，この離散圏は通常の二項積を構成するための添字集合として用いることができる．したがって，引き戻しは付加構造を持った通常の（デカルト）積と考えることができる． $Z$ , $f$ , $g$ を「忘れる」代わりに，それらを「自明化」することも $Z$ を終対象（存在は仮定する）に特殊化すれば可能で（この場合 $f$ と $g$ は一意に決まって，しかも何の情報も与えない），この cospan の引き戻しは $X$ と $Y$ の積と見ることができる．

例

可換環

（単位元を持つ）可換環の圏 $CRing$ において，引き戻しはファイバー積と呼ばれる．

A, B, C \in Ob(CRing)

,

α : A \to C \in Hom(CRing)

,

β : B \to C \in Hom(CRing)

とする．したがって $A$ , $B$ , $C$ は単位元を持つ可換環であり， $α$ , $β$ は単位元を保つ環準同型である．するとこの図式の引き戻しはデカルト積 $A \times B$ の部分環

A\times _{C}B=\{(a,b)\in A\times B\mid \alpha (a)=\beta (b)\}

と次で定義される射

\beta '\colon A\times _{C}B\to A,\qquad \alpha '\colon A\times _{C}B\to B

の組である：すべての $(a,b)\in A\times _{C}B$ に対して $\beta '(a,b)=a$ および $\alpha '(a,b)=b.$ このとき

\alpha \circ \beta '=\beta \circ \alpha '

である．

集合

集合の圏において， $f$ と $g$ の引き戻しは集合

X\times _{Z}Y=\{(x,y)\in X\times Y\mid f(x)=g(y)\}

と射影 $π 1$ , $π 2$ の $X \times Z Y$ への制限の組である．

あるいは， $Set$ における引き戻しを非対称的に

X\times _{Z}Y\cong \coprod _{x\in X}g^{-1}[\{f(x)\}]\cong \coprod _{y\in Y}f^{-1}[\{g(y)\}]

と見ることもできる．ここで ${\textstyle \coprod }$ は非交和を表す（現れる各集合は、それぞれ $f$ または $g$ が単射でない限り交わりを持つことに注意）。前者の式の場合、射影 $π 1$ は $x$ を添字として取り出すこと、それと同時に $π 2$ は添字であることを忘れて単に $Y$ の元とみるものになっている。

この例は引き戻しを特徴づける別の方法を動機付ける，すなわち射 $f \circ p 1, g \circ p 2 : X \times Y \to Z$ のイコライザである，ただし $X \times Y$ は $X$ と $Y$ の二項積で， $p 1$ と $p 2$ は自然な射影である．これは二項積とイコライザを持つ任意の圏において引き戻しが存在することを示す．実は，極限の存在定理（英語版）によって，終対象，二項積，イコライザを持つ圏において，すべての有限極限が存在する．

ファイバー束

引き戻しの別の例はファイバー束の理論から来る．束写像 $π : E \to B$ と連続写像 $f : X \to B$ が与えられると，位相空間の圏における引き戻し $X \times B E$ は引き戻し束（英語版）と呼ばれる $X$ 上のファイバー束である．付随する可換図式はファイバー束の射である．

逆像と共通部分

写像による集合の逆像は以下のように引き戻しとして記述できる．

$f : A \to B$ , $B 0 \subseteq B$ とする． $g$ を包含写像 $B 0 ↪ B$ とする．このとき，（ $Set$ における） $f$ と $g$ の引き戻しは，原像 $f -1 [B 0]$ と原像の $A$ への包含

f -1 [B 0] ↪ A

と $f$ の $f -1 [B 0]$ への制限

f -1 [B 0] \to B 0

によって与えられる．

この例のため，一般の圏において射 $f$ と単射 $g$ の引き戻しは， $g$ によって特定される部分対象の $f$ による「原像」と思うことができる．同様に，2つの単射の引き戻しは2つの部分対象の「共通部分」と思うことができる．

性質

終対象 $T$ を持つ任意の圏において，引き戻し $X \times T Y$ は単に通常の積 $X \times Y$ である^[2]．
単射は引き戻しで安定である，すなわち，上の射 $f$ が単射であれば，射 $p 2$ も単射であり，同様に， $g$ が単射ならば $p 1$ も単射である．
同型射も安定であり，したがって，例えば，任意の射 $Y \to X$ （射 $X \to X$ は恒等射）に対して $X \times X Y ≅ Y$ である．
アーベル圏はすべての引き戻しが存在し，次の意味で核を保つ：
引き戻し図式
を引き戻し図式とすると，誘導される射 $ker(p 2) \to ker(f)$ と $ker(p 1) \to ker(g)$ は同型である．したがってすべての引き戻し図式は次の形の可換図式を生じる，ただしすべての行と列は完全である： ${\begin{array}{ccccccc}&&&&0&&0\\&&&&\downarrow &&\downarrow \\&&&&L&=&L\\&&&&\downarrow &&\downarrow \\0&\to &K&\to &P&\to &Y\\&&\parallel &&\downarrow &&\downarrow \\0&\to &K&\to &X&\to &Z.\end{array}}$

自然な同型 (A×_CB)×_B D ≅ A×_CD が存在する．明示的には，これが意味するのは：
- 射 $f : A \to C$ , $g : B \to C$ , $h : D \to B$ が与えられ，
- $f$ と $g$ の引き戻しが $r : P \to A$ と $s : P \to B$ によって与えられ，
- $s$ と $h$ の引き戻しが $t : Q \to P$ と $u : Q \to D$ によって与えられるならば，
- $f$ と $gh$ の引き戻しは $rt : Q \to A$ と $u : Q \to D$ によって与えられる．

図式的には，これが意味するのは，2つの引き戻し正方形を，1つの射を共有するように隣に並べると，真ん中の共有された射を無視して，大きい引き戻し正方形が得られる．

${\begin{array}{ccccc}Q&{\xrightarrow {t}}&P&{\xrightarrow {r}}&A\\\downarrow _{u}&&\downarrow _{s}&&\downarrow _{f}\\D&{\xrightarrow {h}}&B&{\xrightarrow {g}}&C\end{array}}$

引き戻しと積を持つ任意の圏はイコライザを持つ．

脚注

^ weak limit in nLab 2. weak pullbacks
^ Adámek, p. 197.

参考文献

Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition).
Cohn, Paul M.; Universal Algebra (1981), D.Reidel Publishing, Holland, ISBN 90-277-1213-1 (Originally published in 1965, by Harper & Row).
Takeshi, SAITO.; Éléments de Mathématique (2020), University of Tokyo Press, ISBN 978-4-13-063904-0.

外部リンク

Interactive web page which generates examples of pullbacks in the category of finite sets. Written by Jocelyn Paine.
pullbacks in nLab

[1] weak limit in nLab 2. weak pullbacks

[FOOTNOTEAdámek197-2] Adámek, p. 197.

[1]

[2]

表話編歴圏論
主要項目	圏射エピモニック図式可換図式自然変換圏同値反対圏始対象と終対象普遍性米田の補題双対極限帰納極限射影極限積余積像余像等化子余等化子トポス核余核引き戻しモナド Kan拡張
関手	加法的完全充満随伴対角忠実導来表現可能本質的全射 Hom関手
具体的圏	関手圏前加法圏集合の圏マグマの圏群の圏アーベル群の圏擬環の圏環の圏加群の圏ベクトル空間の圏多元環の圏位相空間の圏距離空間の圏多様体の圏
圏の類	完備圏コンマ圏部分圏モノイド閉圏デカルト閉圏アーベル圏導来圏クライスリ圏デカルトモノイド圏
一般化	豊穣圏 2-圏圏の圏
人物	ソーンダース・マックレーンサミュエル・アイレンベルグアレクサンドル・グロタンディークウィリアム・ローヴェアハインリッヒ・クライスリ
関連分野	代数幾何学普遍代数ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ

普遍性