スケッチ #320

零次元⇒完全不連結topos ## Trigger scheduled run（2026-09-07，5回目）で Kobin の未解決 question [[t6d3kx]]（Problems 3.0.1：totally disconnected locale $L$ に対して $\mathbf{Sh}(L)$ は totally disconnected topos か）を選び，証明を試みた．本日の先行4回は LSC 系だったので，quotient topos の一般論側の問いを選んだ． ## Idea 用語．Grothendieck topos $\mathcal E$ が **totally disconnected** とは，$\mathcal E$ から出る connected geometric morphism（$f^*$ が fully faithful）がすべて equivalence であること．locale $L$ が **zero-dimensional** とは，complemented element（clopen）が $O(L)$ の base をなすこと．位相空間 $X$ が **totally disconnected** とは連結成分がすべて一点であること． **Lemma 1（connected quotient は complemented subobject で閉じる）.** $f:\mathcal E\to\mathcal F$ が connected なら，$f^*$ の essential image $\mathcal F'\subseteq\mathcal E$ は (i) $\mathcal E$ の small colimit と finite limit で閉じ，(ii) $A\in\mathcal F'$ の complemented subobject をすべて含む．特に $1$ の complemented subterminal（clopen）はすべて $\mathcal F'$ に入る． 証明．(i) は $f^*$ が fully faithful で colimit と finite limit を保つことから．(ii) $B\sqcup B'\cong A$ なる subobject $B\hookrightarrow A$ は射 $\chi:A\to 1\sqcup 1$ で分類される（coproduct は disjoint かつ universal）．$A=f^*A_0$，$1\sqcup 1=f^*(1\sqcup 1)$ と fullness から $\chi=f^*\chi_0$．$B$ は $\chi$ に沿った第1成分の pullback なので，$f^*$ が pullback を保つことから $B\cong f^*(\chi_0$ の pullback$)$．∎ **Theorem 2.** $L$ が zero-dimensional locale なら $\mathbf{Sh}(L)$ は totally disconnected topos である． 証明．$f:\mathbf{Sh}(L)\to\mathcal F$ を connected とする．Lemma 1 より $\mathcal F'$ はすべての clopen を含む．$U=\bigvee_i U_i$（$U_i$ clopen）は coequalizer $\bigsqcup_{i,j}(U_i\wedge U_j)\rightrightarrows\bigsqcup_i U_i$ であり $U_i\wedge U_j$ も clopen なので $U\in\mathcal F'$．よってすべての subterminal が $\mathcal F'$ に入る．$\mathbf{Sh}(L)$ の任意の対象 $X$ は，canonical epi $\bigsqcup U_i\to X$ の kernel pair をさらに $\bigsqcup V_j$ で覆えば，subterminal だけからなる図式の coequalizer $\bigsqcup V_j\rightrightarrows\bigsqcup U_i\to X$ に書ける（射は fullness で $\mathcal F$ から来る）ので $X\in\mathcal F'$．ゆえに $f^*$ は essentially surjective で，$f$ は equivalence．∎ **Theorem 3（localic quotient への帰着）.** 任意の locale $L$ について次は同値．(a) $\mathbf{Sh}(L)$ は totally disconnected．(b) connected な locale morphism $L\to M$（$\mathbf{Sh}(L)\to\mathbf{Sh}(M)$ が connected）はすべて iso．言い換えると，$O(L)$ の proper subframe $O(M)\subsetneq O(L)$ で，包含が connected morphism の inverse image になるものが存在しない． 証明．(a)⇒(b) は自明．(b)⇒(a)：$f:\mathbf{Sh}(L)\to\mathcal F$ を connected とし，$h:\mathcal F\to\mathbf{Sh}(M)$（$O(M)=\mathrm{Sub}_{\mathcal F}(1)$）を $\mathcal F\to\mathbf{Set}$ の hyperconnected–localic factorization の hyperconnected part とする．hyperconnected は connected なので $p=hf$ は connected で，localic topos 間の射なので locale morphism $L\to M$ から来る（frame map は $f^*$ の $\mathrm{Sub}(1)$ への制限で単射）．(b) より $p$ は equivalence，したがって $hf\cong\mathrm{id}$ とみなせる．このとき $f^*h^*\cong\mathrm{id}$ と $f_*f^*\cong\mathrm{id}$ から $h^*\cong f_*f^*h^*\cong f_*$，ゆえに $f^*f_*\cong f^*h^*\cong\mathrm{id}$ となり $f$ は equivalence．∎ 系．totally disconnected topos は localic である（$\mathcal E\to\mathbf{Sh}(\mathrm{Sub}_{\mathcal E}1)$ は hyperconnected ゆえ connected，よって equivalence）．また localic topos は非自明な hyperconnected quotient を持たない（hyperconnected なら image が subobject で閉じるので全 subterminal を含み，Theorem 2 の後半と同じ論法で全対象を含む）． **Theorem 4（閉連結部分空間の collapse）.** $X$ を位相空間，$C\subseteq X$ を空でない closed connected subset，$q:X\to Y=X/C$ を collapse map（quotient topology）とする．このとき $q:\mathbf{Sh}(X)\to\mathbf{Sh}(Y)$ は connected である．$X$ が $T_0$ で $|C|\ge 2$ なら $q$ は equivalence でない． 証明．unit $F\to q_*q^*F$ が全 stalk で iso であることを示す．$y\neq[C]$ では $Y\setminus\{[C]\}$ が open（逆像 $X\setminus C$ が open）で，$q$ はその上で $X\setminus C$ との homeomorphism なので iso．$y=[C]$：$(q_*q^*F)_{[C]}=\mathrm{colim}_{V\ni[C]}\Gamma(q^{-1}V,q^*F)$．$q^*F|_C$ は fibre $F_{[C]}$ の constant sheaf で $C$ が connected なので，section の $C$ への制限は定数となり，写像 $\rho:(q_*q^*F)_{[C]}\to F_{[C]}$ を得る．単射性：$C$ 上で germ が一致する2つの section は open $W\supseteq C$ 上で一致し，$C$ 以外の fibre が一点なので $W=q^{-1}q(W)$ かつ $q(W)$ は open．よって colimit で等しい．全射性と，unit との合成が id であることは明らか．非自明性：$O(Y)\cong\{U\in O(X)\mid U\supseteq C\ \text{or}\ U\cap C=\emptyset\}$ で，$T_0$ と $|C|\ge 2$ から $\emptyset\neq U\cap C\subsetneq C$ なる open が存在する．∎ **Corollary 5.** $T_0$ 空間 $X$ について $X$ zero-dimensional ⇒ $\mathbf{Sh}(X)$ totally disconnected ⇒ $X$ totally disconnected（連結成分が一点）． 特に locally compact Hausdorff（Stone space を含む）では両端の条件が古典的に一致するので $\mathbf{Sh}(X)$ totally disconnected ⟺ $X$ totally disconnected ⟺ $X$ zero-dimensional． これは Problems 3.0.1 の逆向きを locally compact Hausdorff の範囲で肯定的に解決する． ## 未解決（残る gap） - 一般の locale・空間では，特徴づけは「zero-dimensional」と「totally disconnected」の間にある．両者の古典的な差（Erdős space，Knaster–Kuratowski fan から頂点を除いた空間 $T$：totally disconnected だが $\dim=1$）が試金石．Theorem 3 により，$\mathbf{Sh}(T)$ の非自明な connected quotient は，$O(T)$ の proper subframe $O'$ で $T\to(T,O')$ が connected になるものと同値．最有力候補は clopen が生成する subframe $O_{\mathrm{cl}}$．$1\sqcup 1$ と subterminal の coproduct については unit が iso になることまで確認した（$O_{\mathrm{cl}}$-open の X-clopen 分割は各 clopen 成分との交わりを取れば $O_{\mathrm{cl}}$ に入る）が，一般の coequalizer（descent data を X-open cover から $O_{\mathrm{cl}}$-cover に貼り替えられるか）で止まっている． - 次の一手：(1) $T\to(T,O_{\mathrm{cl}})$ の connectedness を，$O_{\mathrm{cl}}$-cover に細分できない X-open cover で貼った section を用いて反証するか，貼り替え補題で証明する．(2) Theorem 4 の locale 版（closed connected sublocale の collapse＝pushout）を書き，Corollary 5 を sober 仮定なしの locale 命題に直す．(3) Theorem 3 の条件（$O(L)$ が connected surjection を持たない）を [[j4zrsg]] の「同値関係の germ 層」の言葉で言い換えられるか． ## Goal Problems 3.0.1 の完全解決．quotient topos の一般論で「商を持たない側」を localic な言葉で完全に特徴づける． ## Personal context [[t6d3kx]]（Problems 3.0.1，overleaf/Totally disconnected topoi/Ver1）の直接の継続．Theorem 3 の帰着は Lawvere 第一問題の解（Kamio–Hora）と同じ「hyperconnected 部分は localic topos では消える」という観察に基づく．