圏論の問題

集合 $X$ と二項演算 $X\times X\to X,(x,y)\mapsto x\ast y$ と元 $e\in X$ の組 $(X,\ast ,e)$ で、すべての $x,y\in X$ に対して $x\ast y=y\ast x$ かつ $e\ast x=x$ を満たすものを単位的可換マグマという（結合法則は仮定しない）。$(X,\ast ,e)$ から $(X^{\prime },{\ast }^{\prime },e^{\prime })$ への射を、$h(x\ast y)=h(x){\ast }^{\prime }h(y)$ と $h(e)=e^{\prime }$ を満たす写像 $h:X\to X^{\prime }$ とし、この圏を $\mathbf{CUMag}$ とする。

次の有限積スケッチ $\mathcal{S}$ を考える。
- グラフ: 頂点は $1,A,P$ の 3 つ。辺は
$$p_1,p_2:P\to A,m:P\to A,t:P\to P,u:1\to A,k:A\to 1,r:A\to P$$
の 7 本。
- 可換であるべき図式（道の等式。${\mathrm{id}}_A$ は長さ 0 の道）:
$$p_1\circ t=p_2,p_2\circ t=p_1,m\circ t=m,p_1\circ r={\mathrm{id}}_A,p_2\circ r=u\circ k,m\circ r={\mathrm{id}}_A.$$
- 錐: 頂点 $1$ をもつ空の図式上の錐 ${\lambda }_0$ と、頂点 $P$ をもち 2 つの頂点 $A,A$ からなる離散図式上の錐 ${\lambda }_2=(p_1,p_2)$ の 2 つ。

$\mathcal{S}$ の（集合の圏 $\mathbf{Set}$ での）モデル $M$ とは、各頂点 $v$ に集合 $M(v)$ を、各辺 $f:v\to w$ に写像 $M(f):M(v)\to M(w)$ を対応させたもので、上の 6 つの等式が写像の等式として成り立ち（${\mathrm{id}}_A$ は $M(A)$ の恒等写像と読む）、錐 ${\lambda }_0,{\lambda }_2$ を $\mathbf{Set}$ の極限錐に移すものとする。すなわち $M(1)$ は 1 点集合であり、写像 $c_M=(M(p_1),M(p_2)):M(P)\to M(A)\times M(A)$ は全単射である。モデル $M$ から $N$ への射とは、写像の族 ${\alpha }_v:M(v)\to N(v)(v=1,A,P)$ で、すべての辺 $f:v\to w$ に対して $N(f)\circ {\alpha }_v={\alpha }_w\circ M(f)$ を満たすものとし、合成は成分ごとの合成で定める。この圏を $\mathbf{Mod}(\mathcal{S})$ とする。

モデル $M$ に対して $M(1)=\{{\ast }_M\}$ とし、$M(A)$ 上の演算と元を
$$x\ast y=M(m)(c_M^{-1}(x,y)),e=M(u)({\ast }_M)$$
で定め、モデルの射 $\alpha$ に ${\alpha }_A$ を対応させる。この対応 $\Phi$ が関手 $\Phi :\mathbf{Mod}(\mathcal{S})\to \mathbf{CUMag}$ を定め、圏同値であることを証明せよ。

ただし、充満忠実かつ本質的全射な関手は圏同値であることは用いてよい。

$G$ を有限群（単位元 $e$）とし、$n$ を正の整数とする。有限集合 $X$ と左作用 $G\times X\to X,(g,x)\mapsto gx$ の組を有限左 $G$ 集合といい、有限左 $G$ 集合を対象、$G$ 同変写像（$t(gx)=gt(x)$ をみたす写像 $t$）を射とする圏を $\mathcal{C}$ とする。

忘却関手 $U:\mathcal{C}\to \mathbf{Set}$（$G$ 集合をその台集合に、$G$ 同変写像を写像そのものに送る）と、関手 $U^n:\mathcal{C}\to \mathbf{Set}$ を
$$U^n(X)=X^n=\underset{n}{\underbrace{X\times \cdots \times X}},U^n(t)(x_1,\dots ,x_n)=(t(x_1),\dots ,t(x_n))$$
で定める。$U^n$ から $U$ への自然変換全体の集合を $\mathrm{Nat}(U^n,U)$ とするとき、
$$|\mathrm{Nat}(U^n,U)|=n|G|$$
であることを示せ。

ただし、次の米田の補題は用いてよい: 圏 $\mathcal{D}$ の対象 $A$ と関手 $F:\mathcal{D}\to \mathbf{Set}$ に対し、$\alpha \mapsto {\alpha }_A({\mathrm{id}}_A)$ は $\mathrm{Nat}({\mathrm{Hom}}_{\mathcal{D}}(A,-),F)$ から $F(A)$ への全単射である。

$X=\{1,2,3\}$ とし、写像 $X\to X$ 全体のなす集合を $T_3$ とする。$T_3$ は写像の合成 $a\cdot b=a\circ b$ を積とし、恒等写像を単位元とするモノイドである（$|T_3|=27$）。

次のように圏 $\mathcal{K}$ を定める。
- 対象は、$T_3$ の冪等元、すなわち $e\circ e=e$ をみたす $e\in T_3$ である。
- 対象 $e$ から対象 $f$ への射は、$f\circ a\circ e=a$ をみたす $a\in T_3$ である（異なる対象の組に対する射は、同じ写像 $a$ であっても別の射として数える）。
- 射 $a:e\to f$ と $b:f\to g$ の合成は $b\circ a:e\to g$、対象 $e$ の恒等射は $e$ 自身である。

（これは $T_3$ の冪等元完備化（Karoubi 包絡）である。）圏 $\mathcal{K}$ の射の総数、すなわち
$$\sum _{e,f}|{\mathrm{Hom}}_{\mathcal{K}}(e,f)|$$
（和は $\mathcal{K}$ の対象の順序対 $(e,f)$ 全体にわたる）を求めよ。

この問題では、環は可換で単位元 $1$ をもち、環準同型は $1$ を $1$ に移すものとする。$1\ne 0$ であって $0$ 以外のすべての元が乗法の逆元をもつ可換環を体といい、体を対象、環準同型を射とする圏を $\mathbf{Field}$ とする。

有限極限スケッチ $\mathcal{S}=(G,D,L)$ とは、次の組のことをいう。
- $G$ は（有向）グラフ（頂点の集合と辺の集合、各辺の始点と終点）。
- $D$ は、始点と終点が同じである $G$ の道（長さ 0 の道を含む）の組 $(\sigma ,\tau )$ の集合。
- $L$ は錐の集合。各錐は、頂点 $v$、有限グラフ $I$ とグラフの準同型 $\delta :I\to G$、および $I$ の各頂点 $i$ に対する $G$ の辺 ${\lambda }_i:v\to \delta (i)$ からなる。

$\mathcal{S}$ の（$\mathbf{Set}$ での）モデル $M$ とは、$G$ の各頂点 $w$ に集合 $M(w)$ を、各辺 $f:w\to w^{\prime }$ に写像 $M(f):M(w)\to M(w^{\prime })$ を対応させたもので、次の 2 条件を満たすものとする。
- $D$ の各組 $(\sigma ,\tau )$ について、道に沿った写像の合成が等しい（長さ 0 の道は恒等写像と読む）。
- $L$ の各錐 $(v,\delta ,({\lambda }_i))$ について、$I$ の頂点 $i$ にわたる直積の部分集合
$$\Lambda =\{(x_i{)}_i\in \prod _{i}M(\delta (i))|I\text{ の各辺 }a:i\to j\text{ について }M(\delta (a))(x_i)=x_j\}$$
を考えたとき、写像 $x\mapsto (M({\lambda }_i)(x){)}_i$ が $M(v)$ から $\Lambda$ への全単射である（$I$ の頂点がないとき ${\prod }_{i}M(\delta (i))$ は 1 点集合とする）。

モデル $M$ から $N$ への射は、写像の族 ${\alpha }_w:M(w)\to N(w)$（$w$ は $G$ の頂点全体を動く）で、$G$ のすべての辺 $f:w\to w^{\prime }$ について $N(f)\circ {\alpha }_w={\alpha }_{w^{\prime }}\circ M(f)$ を満たすものとし、合成は成分ごとの合成で定める。この圏を $\mathbf{Mod}(\mathcal{S})$ とする。

どのような有限極限スケッチ $\mathcal{S}$ に対しても、$\mathbf{Field}$ は $\mathbf{Mod}(\mathcal{S})$ と圏同値でないことを証明せよ。ただし、圏同値を与える関手は充満忠実かつ本質的全射であることは用いてよい。

有限集合（空集合を含む）を対象とし、それらの間のすべての写像を射とする圏を $\mathbf{FinSet}$ とする。$1=\{\ast \}$ を 1 点集合とし、有限集合 $A$ の要素の個数を $|A|$ で表す。

関手 $F:\mathbf{FinSet}\to \mathbf{FinSet}$ が右随伴 $G:\mathbf{FinSet}\to \mathbf{FinSet}$ をもつ（$F⊣G$）とする。すなわち、すべての有限集合 $X,Y$ に対して、$X,Y$ について自然な全単射
$$\mathrm{Hom}(F(X),Y)\cong \mathrm{Hom}(X,G(Y))$$
が与えられているとする。

このとき、すべての有限集合 $X$ に対して
$$|F(X)|=|F(1)|\cdot |X|$$
が成り立つことを示せ。