essential商はcongruence

## Trigger scheduled run「Kobin研究継続」（2026-09-07, claude）で，[[grf766]] の未監査予想「\(\mathbf{PSh}(\mathcal C)\) の hyperconnected essential quotients と \(\mathcal C\) の congruences の一対一対応」と，[[muwz6c]] の対応表の essential 行「hyperconnected かつ essential ↔ internally principal filter」を選び，完全な証明を試みた．結果は肯定的で，証明は初等的（LSC の一般論を使わず，tiny object の議論だけで閉じる）． ## Idea 以下 \(\mathcal C\) は small category．\(\mathcal C\) の **congruence** \(\equiv\) とは，各 hom 集合上の同値関係の族で合成と両立するもの（\(h\equiv h'\Rightarrow ghk\equiv gh'k\)）．商 functor \(F_\equiv\colon\mathcal C\to\mathcal C/{\equiv}\) は bijective on objects かつ full で，逆にそのような functor の kernel は congruence である．quotient は \(\mathbf{PSh}(\mathcal C)\) からの geometric morphism \(f\) で \(f^*\) が fully faithful なものとし，2つの quotient は \(f^*\) の essential image が一致するとき同一視する． **Theorem A（congruence ⟹ essential hyperconnected quotient）.** congruence \(\equiv\) に対し，\(F_\equiv^*\colon\mathbf{PSh}(\mathcal C/{\equiv})\to\mathbf{PSh}(\mathcal C)\) を inverse image とする geometric morphism \(\mathbf{PSh}(\mathcal C)\to\mathbf{PSh}(\mathcal C/{\equiv})\) は essential かつ hyperconnected である．その essential image は \[ \{P\in\mathbf{PSh}(\mathcal C)\mid h\equiv h'\Rightarrow P(h)=P(h')\} \] である． *Proof.* essential: \(F_\equiv^*\) は左随伴 \(\mathrm{Lan}_{F_\equiv}\) を持つ．faithful: \(F_\equiv\) が object 上全射なので natural transformation は成分で決まる．full: \(\alpha\colon F^*Q\to F^*Q'\) は \(\mathcal C\) の射について自然だが，\(F\) が full なので \(\mathcal C/{\equiv}\) の全ての射について自然，すなわち \(Q\to Q'\)．image closed under subobjects: \(S\subseteq F^*Q\) は \(\mathcal C\) の射の作用で閉じ，full 性から \(\mathcal C/{\equiv}\) の射の作用でも閉じるので \(Q\) の subpresheaf を定める．Johnstone A4.6.6（\(f^*\) fully faithful ＋ image が subobject で閉 ⟺ hyperconnected）で終わる．image の記述は定義から直ちに従う．∎ **Theorem B（essential hyperconnected quotient ⟹ congruence）.** \(f\colon\mathbf{PSh}(\mathcal C)\to\mathcal E\) を essential hyperconnected geometric morphism，\(f_!\dashv f^*\dashv f_*\) とする．\(h\equiv_f h'\iff f_!(\mathbf y h)=f_!(\mathbf y h')\) は \(\mathcal C\) の congruence であり，\(\mathcal E\simeq\mathbf{PSh}(\mathcal C/{\equiv_f})\) かつ \(f\) はこの同値のもとで Theorem A の geometric morphism と一致する． *Proof.* (i) 単位 \(\eta_P\colon P\to f^*f_!P\) は epi：image 分解 \(P\twoheadrightarrow I\rightarrowtail f^*f_!P\) をとる．hyperconnected 性から \(I=f^*J\)，mono は \(f^*(m)\)（\(m\colon J\rightarrowtail f_!P\)）と書ける．\(P\to f^*J\) の転置 \(a\colon f_!P\to J\) について \(f^*(ma)\circ\eta=\eta=f^*(\mathrm{id})\circ\eta\) なので \(ma=\mathrm{id}\)．よって \(m\) は split epi かつ mono，したがって iso． (ii) 各 \(f_!(\mathbf y c)\) は \(\mathcal E\) の tiny object：\(\mathcal E(f_!\mathbf y c,X)\cong(f^*X)(c)\) で，\(f^*\) と evaluation は colimit を保つ．また \(f^*\) が fully faithful なので余単位 \(f_!f^*X\to X\) は iso，\(f^*X\) は representable の colimit，\(f_!\) は colimit を保つので，\(X\) は \(\{f_!\mathbf y c\}_c\) の colimit である． (iii) \(\mathcal D\) を object 集合 \(\mathrm{ob}\,\mathcal C\)，\(\mathcal D(c,c'):=\mathcal E(f_!\mathbf y c,f_!\mathbf y c')\) で定める（\(\mathcal E\) の full subcategory と同値）．nerve \(N\colon\mathcal E\to\mathbf{PSh}(\mathcal D)\) は左随伴 \(L\) を持ち，(ii) より \(N\) は colimit を保ち，\(NL\cong\mathrm{id}\)（representable 上で Yoneda，あとは colimit），\(LN\cong\mathrm{id}\)（\(X\) が \(\mathcal D\) の object の colimit で \(LN\) が colimit を保つ）．ゆえに \(\mathcal E\simeq\mathbf{PSh}(\mathcal D)\)． (iv) \(F\colon\mathcal C\to\mathcal D\)，\(F(h)=f_!(\mathbf y h)\) は bijective on objects．随伴の転置で \(\mathcal D(c,c')\cong(f^*f_!\mathbf y c')(c)\) であり，この同一視のもとで \(F\) の hom 上の写像は \((\eta_{\mathbf y c'})_c\colon\mathcal C(c,c')\to(f^*f_!\mathbf y c')(c)\) に等しい．(i) よりこれは全射，すなわち \(F\) は full．したがって \(\mathcal D\cong\mathcal C/{\equiv_f}\)． (v) \((f^*X)(c)\cong\mathcal E(f_!\mathbf y c,X)=(NX)(Fc)\) が \(c\) について自然なので \(f^*\cong F^*\circ N\)．∎ **Theorem C（一対一対応）.** \(\mathcal C\) の congruences の完備束 \(\mathrm{Con}(\mathcal C)\)（包含順）と，\(\mathbf{PSh}(\mathcal C)\) の essential hyperconnected quotients の poset（quotient の大小順）は，\(\equiv\mapsto\mathbf{PSh}(\mathcal C/{\equiv})\) により **順序を逆にして同型**である． *Proof.* Theorem A・B で全射性．単射性：\(\equiv\) は image から復元できる．実際 \(P=\mathcal D(F(-),Fc')\) は image に属し，\(P(h)(\mathrm{id})=F(h)\) なので \(P(h)=P(h')\Rightarrow h\equiv h'\)．順序：\(\equiv\subseteq\equiv'\iff\mathrm{Im}(F_{\equiv'}^*)\subseteq\mathrm{Im}(F_\equiv^*)\) は image の記述から明らか．∎ これで [[grf766]] の予想（lemma と一対一対応の両方）は **証明済み**． ## Proposition D（filter 側：internally principal） \(\mathbf{PSh}(\mathcal C)\) の LSC は \(\Xi(c)=\mathrm{Quot}(\mathbf y c)\)（representable の co-subobject 全体，TAC 42-11 Example 3.18）で，\(\xi_X(x)\) は \(x\colon\mathbf y c\to X\) の image \(\mathbf y c\twoheadrightarrow\langle x\rangle\)，制限 \(\Xi(k)\)（\(k\colon c'\to c\)）は \(\mathbf y k\) に沿った同値関係の引き戻しである．congruence \(\equiv\) は各 \(c\) について \(\mathbf y c\) 上の同値関係 \(\equiv_c\)（\(\mathcal C(-,c)\) 上の \(\equiv\)）を定める． **Proposition D.** quotient \(\mathbf{PSh}(\mathcal C/{\equiv})\) に対応する \(\Xi\) の subobject（image に属する object の local state 全体）は \[ S_\equiv(c)=\{R\in\mathrm{Quot}(\mathbf y c)\mid R\supseteq\equiv_c\}=\uparrow\!\equiv_c , \] すなわち **各 fiber で principal な upset** である．生成元の族 \((\equiv_c)_c\) は \(\equiv_{c'}\subseteq\Xi(k)(\equiv_c)\) を満たす（lax な global element）が，一般には global element ではない． *Proof.* \(X\) が image に属す ⟺ 全ての \(x\in X(c)\) について \(\ker(x\colon\mathbf y c\to X)\supseteq\equiv_c\)．逆に \(R\supseteq\equiv_c\) なら \(\mathbf y c/R\) 自身が image に属し，その生成元の local state が \(R\)．subpresheaf 性は \(\Xi(k)(R)\supseteq\Xi(k)(\equiv_c)\supseteq\equiv_{c'}\)（\(g\equiv g'\Rightarrow kg\equiv kg'\)）．global element でない例：\(M=\{1,0\}\)（\(0\) 吸収元），\(\equiv\)＝恒等 congruence のとき \(\Xi(0)(=)\) は全体関係．∎ したがって [[muwz6c]] の表の essential 行は，presheaf topos に関しては「**essential ⟺ filter が各 fiber で principal かつ生成元が congruence をなす**」という形で確定する．群作用 topos では \(\Xi(k)\) が共役なので生成元 \(N\) は global element になり，[[n6v2sg]] の「\(\uparrow N\leftrightarrow (G/N)\text{-Set}\)」（externally principal ＝ étendue 行）と整合する．internally principal と externally principal の差は，まさに生成元が global element か lax global element かの差である． ## Corollaries 1. **generated by one object.** 各 essential hyperconnected quotient は1つの presheaf \(P\) で生成される：\(\equiv_P\)（\(h\equiv_P h'\iff P(h)=P(h')\)）は congruence で，\(P=\coprod_c\mathcal D(F(-),Fc)\) をとれば \(\equiv=\equiv_P\)．逆に任意の \(P\) について，\(P\) を含む最小の essential hyperconnected quotient は \(\mathbf{PSh}(\mathcal C/{\equiv_P})\)（\(P\) の "transition category"）． 2. **syntactic monoid.** \(\mathcal C=\Sigma^*\)（one object），\(L\subseteq\Sigma^*\) の minimal automaton \(X_L\)（Nerode 類，右作用）について，\(X_L\in\mathrm{Im}(F_\equiv^*)\iff\equiv\subseteq\equiv_L\)（syntactic congruence）．よって \(\mathbf{PSh}(\mathrm{Synt}(L))\) は「\(X_L\) を含む最小の essential hyperconnected quotient」として topos 論的に特徴づけられる．これが [[grf766]] の動機 (2) の正確な形． 3. **群.** \(\mathcal C=G\) なら congruence ＝ 正規部分群，essential hyperconnected quotients ＝ \(B(G/N)\)（[[n6v2sg]] の test case を再現）． 4. **\(\mathbb N\)-Set.** \(\mathbb N\) の congruence は恒等と「\(n\ge\nu\Rightarrow n\equiv n+N\)」型に限るので，essential hyperconnected quotients は \(\mathbf{PSh}(\mathbb N)\) 自身と \(\{X\mid t^{\nu+N}=t^\nu\}\)（有限 monoid 上の presheaf topos）だけ．「eventually periodic \(\mathbb N\)-sets」の topos（Hora–Kamio の hyperconnected quotient）は，包含が積 \(\prod_N\mathbb Z/N\) を保たないので reflective でなく，よって essential でない（定理と整合，[[veu6t2]] の \(H_{\nu,N}\) と比較可）． 5. **境界の例.** hyperconnected でない essential connected quotient：\(F\colon\mathbf 2\to\mathbf 1\) は full でないが \(F^*\colon\mathbf{Set}\to\mathbf{PSh}(\mathbf 2)\) は fully faithful（定数 presheaf），image は subobject で閉じない．よって「hyperconnected」の仮定は Theorem B に必要． ## 未解決・次の一手 - **文献照合（要）.** El Bashir–Velebil, *Simultaneously reflective and coreflective subcategories of presheaves* (TAC 10, 2002) は，bireflective full subcategory of presheaves を特徴づけている．Theorem B の (ii)(iii) はこれと重なる可能性が高い（今回 本文を取得できず未照合）．新規性の主張は「hyperconnected ⟺ congruence（full かつ bijective on objects）」の精密化と Proposition D の LSC 側の記述に置くのが安全． - **Con(\(\mathcal C\)) の束演算 vs hyperconnected quotient 全体の束演算.** Theorem C は poset 同型だが，essential quotients の join/meet が全 hyperconnected quotients の束の中でも join/meet になるか（部分束か）は未検証． - **"internally principal filter" の内部言語的定義との突き合わせ.** Proposition D の「各 fiber で principal，生成元は lax global element」が Overleaf ノートの定義と一致するか，洞の確認が要る． - **一般 topos への拡張.** Theorem B の議論は「tiny generator の存在」に依存する．一般の（Grothendieck）topos で essential hyperconnected quotient を LSC の filter の条件で言い当てるには，tiny object を使わない置き換え（例：\(f_!\) が \(\Xi\) に誘導する構造）が必要． ## Goal [[grf766]] の予想を定理として確定し，[[muwz6c]] の対応表 essential 行を presheaf topos の範囲で埋める．syntactic monoid の topos 論的特徴づけ（Corollary 2）は [[r8c6wy]]・[[h6q9vx]] の言語クラス側の議論に直接接続する． ## Personal context 「圏の congruence」という古典的対象を quotient topos の言葉に翻訳したもので，Hora–Kamio の \(\mathbb N\)-Set 分類（principal ideal 部分）と Topoi of automata の syntactic monoid を同じ定理の系として並べられる．LSC 側では internally / externally principal の差が「生成元が global element か否か」に落ちる点が，[[muwz6c]] の辞書を育てる手がかり． ## References - [Ryuya Hora, *Internal parameterization of hyperconnected quotients* (arXiv:2302.06851, TAC 42-11)](https://arxiv.org/abs/2302.06851) - [R. El Bashir, J. Velebil, *Simultaneously reflective and coreflective subcategories of presheaves*, TAC 10 (2002)](http://www.tac.mta.ca/tac/volumes/10/16/10-16abs.html) - [Ryuya Hora and Yuhi Kamio, *Quotient toposes of discrete dynamical systems* (arXiv:2310.02647)](https://arxiv.org/abs/2310.02647) - P. T. Johnstone, *Sketches of an Elephant*, A4.6.6（hyperconnected の特徴づけ） ## 2026-09-07 追記：先行との照合（洞の指摘「前も別のAIが証明していた」を受けて） 洞の指摘を受け，Notion・Google Drive・事務repo を横断して照合した．結果： - **Theorem B の核（essential quotient ⟹ presheaf topos，bo–ff 分解）は洞自身の既知結果．** 手書きノート *Essential Quotients of Presheaf Topoi*（6/21 院生セミナー用，Notion「2023/06/13 院生セミナー構成」の §Essential Quotient of presheaf topoi に対応．[Drive PDF](https://drive.google.com/file/d/1r3GXVUPCpzDXhtlSCin4tvmGccxZ5zIX/view)）の §1.3 Main Theorem：「\(\mathbf{Set}^{\mathcal C^{op}}\) の essential quotient は，bijective-on-objects な lax epi functor（bole functor）\(\mathcal C\to\mathcal D\) と一対一に対応する」．証明も同じ（nerve/realization，tiny objects による presheaf 圏の特徴づけ，\(L\circ\mathbf y\) の bo–ff 分解）．参考文献として El Bashir–Velebil を挙げている．§0.4 に「同じ現象」の表（Set: bole functor／Ω: 集合の全射／Ab: ring epi）がある． - 同趣旨の短い手書きメモ *Essential Quotient of Presheaf Topos*（[Drive PDF](https://drive.google.com/file/d/1k-dq1DfnH3iKpqK5zy-sAFa9Hc53fH8K/view)，問い「presheaf topos の essential quotient は presheaf topos か？」）も同じ bo–ff 分解の図で解答している． - Discord 作業ログ 2025-06-17 に「Essential hyperconnected quotient の分類を考えていた」とあり，[[grf766]] の予想自体はその頃の洞の考察に由来する可能性が高い． - 洞の言う「別のAIによる証明」の会話本文は，この session から到達できる範囲（Notion・Drive・事務repo）では見つからなかった．所在が分かれば documents に追加する． したがって本瓶の新規部分は次に縮む： 1. bole functor が **full** であること ⟺ 対応する essential quotient が **hyperconnected**（\(F^*\) の像が subobject で閉じる）．つまり洞の 2023 定理の hyperconnected 版が「congruence 商」である，という一行の精密化（Theorem A・B(iv)・C）． 2. Proposition D（filter 側：\(\uparrow\equiv_c\)，fiberwise principal，生成元は lax global element）と系（syntactic monoid，\(\mathbb N\)-Set の非 essential 例）． 証明の正しさは変わらないが，「未監査予想を証明した」という位置づけは「洞の既知定理＋一行の補題で予想が従うことを確認した」に改める．