スケッチ #323

Cond商の反例と分類 ## Trigger [[bp8m8p]] は admissible class \(\mathcal K\subseteq\mathrm{ProFin}\)（閉部分空間・有限積・有限余積で閉じる full subcategory）ごとに hyperconnected quotient \(\mathrm{Cond}\to\mathbf{Sh}(\mathcal K)\) を作り，「逆に Cond の hyperconnected quotient は全部この形か（Cond の quotient topos の完全分類 ＝ profinite sets の閉包クラスの lattice か）」を未解決として残した．2026-09-07 の洞の指示（Claude, 対話中）でこれを完了した．**答えは No**：representable を含まない方向に太った quotient が存在する（反例 A）．正しい主張は「representable で生成される quotient ⟺ admissible class」（定理 B）で，完全分類は TAC 42-11 の filter 対応を [[bp8m8p]] 定理 C で翻訳した形になる（定理 C）． ## Setting [[bp8m8p]] の記法を使う：\(\underline S\)（representable），\(\mathrm{IER}(T)\)（ideal equivalence relation ＝ \(\operatorname{Quot}(\underline T)\)），\(\Xi=\Xi_{\mathrm{Cond}}\)，\(\theta_T:\mathrm{IER}(T)\to\mathcal E(\underline T,\Xi)\)，\([\Sigma]=\theta_T(\Sigma)\)，\(t^{*}\Sigma=\{K\mid(t\times t)(K)\in\Sigma\}\)．[[j4zrsg]] 系 1・2：\(\xi_X\circ x=[\ker x]\)，\([\Sigma]\le[\Sigma']\iff\) jointly epi 族に沿って局所的に \(\Sigma\subseteq\Sigma'\)，\([\Sigma]\wedge[\Sigma']=[\Sigma\cap\Sigma']\)． TAC 42-11 定理 4.1：hyperconnected quotient \(\leftrightarrow\) internal filter \(\Lambda\rightarrowtail\Xi\)（\(\top\) を含み \(\wedge\) と上方に閉じた subobject），対応する quotient は \(Q_\Lambda=\{X\mid\xi_X\text{ が }\Lambda\text{ を経由}\}\)．sheaf topos では internal filter の条件は site の対象からの generalized element ごとに検査できる（同 Appendix A）． hyperconnected quotient \(Q\) の **representable part** を \(\mathcal K(Q):=\{S\in\mathrm{ProFin}\mid\underline S\in Q\}\) と書く． ⚠️ 本瓶で **admissible class** \(\mathcal K\subseteq\mathrm{ProFin}\) とは，閉部分空間・有限積・有限余積に加えて **連続像**でも閉じる full subcategory をいう（[[bp8m8p]] 定理 F は像の閉性を仮定していないが，\(S=\operatorname{im}(Q\to S)\) なら \(\underline S=\operatorname{coeq}(\underline{Q\times_SQ}\rightrightarrows\underline Q)\) なので \(F_{\mathcal K}=F_{\bar{\mathcal K}}\)（\(\bar{\mathcal K}\)：像による閉包，これも閉部分空間・積・余積で閉じる）．以下の一対一対応には像の閉性が必要）． ## 補題 0（representable part は admissible class） 任意の hyperconnected quotient \(Q\subseteq\mathrm{Cond}\) について \(\mathcal K(Q)\) は admissible class（閉部分空間・有限積・有限余積・連続像・有限和で閉じ，\(\ast,\emptyset\) を含む）． *証明．* \(Q\) は有限極限・colimit・subobject で閉じる．閉部分空間 \(K\subseteq S\)：\(\underline K\rightarrowtail\underline S\)．有限積・余積：極限・余極限．像 \(S\twoheadrightarrow S'\)：\(\underline S\to\underline{S'}\) は epi でトポスでは effective なので \(\underline{S'}=\operatorname{coeq}(\underline{S\times_{S'}S}\rightrightarrows\underline S)\)，右辺は \(Q\) の有限極限と colimit．有限和は余積の像．∎ さらに \(Q\supseteq F_{\mathcal K(Q)}\)（\(\mathcal K(Q)\)-generated condensed sets；[[bp8m8p]] 定理 F の像）．問題は等号が成り立つかであった． ## 反例 A（representable part が有限集合だけなのに \(\mathbf{Set}\) より大きい quotient） profinite \(T\) に対し \(R_{\mathrm{fin}}^T:=\{K\in\mathrm{Cl}(T\times T)\mid K\setminus\Delta_T\text{ 有限}\}\in\mathrm{IER}(T)\)（[[bp8m8p]] 定理 E(1)，\(\mathcal P=\)有限集合）．\(t:T'\to T\) について \(t^{*}R_{\mathrm{fin}}^T\supseteq R_{\mathrm{fin}}^{T'}\)（\(K\setminus\Delta_{T'}\) 有限なら \((t\times t)(K)\setminus\Delta_T\) 有限）． **定義．** \(\Lambda_{\mathrm{fin}}(T):=\{u\in\mathcal E(\underline T,\Xi)\mid\exists\text{ finite jointly surjective }\{t_i:T_i\to T\},\ t_i^{*}u\ge[R_{\mathrm{fin}}^{T_i}]\}\)． **補題 A1．** \(\Lambda_{\mathrm{fin}}\) は \(\Xi\) の internal filter． *証明．* subsheaf：制限で閉じる（\(s:T'\to T\) に対し cover を pullback し \(t_i'^{*}s^{*}u=s_i'^{*}t_i^{*}u\ge s_i'^{*}[R_{\mathrm{fin}}^{T_i}]\ge[R_{\mathrm{fin}}^{T_i'}]\)），局所性は cover の合成．\(\top\)：自明．上方閉：\(u\le v\) なら同じ cover で \(t_i^{*}v\ge t_i^{*}u\)．\(\wedge\)：\(u,v\) の cover \(\{t_i\},\{s_j\}\) の共通細分 \(T_{ij}=T_i\times_TT_j\) 上で \([R_{\mathrm{fin}}^{T_i}]\) の pullback は \(\ge[R_{\mathrm{fin}}^{T_{ij}}]\) なので \(t^{*}(u\wedge v)=t^{*}u\wedge t^{*}v\ge[R_{\mathrm{fin}}^{T_{ij}}]\)．∎ よって TAC 42-11 により hyperconnected quotient \[ Q_{\mathrm{fin}}:=\{X\in\mathrm{Cond}\mid\forall T,\ \forall x\in X(T):\ [\ker x]\in\Lambda_{\mathrm{fin}}(T)\} \] がある（「どの figure も，局所的には有限個の点での書き換えに鈍感」な condensed sets）． **補題 A2．** \(\mathcal K(Q_{\mathrm{fin}})=\mathbf{FinSet}\)，従って \(F_{\mathcal K(Q_{\mathrm{fin}})}=\mathbf{Set}\)． *証明．* \(\underline S\in Q_{\mathrm{fin}}\iff[\Delta_S]\in\Lambda_{\mathrm{fin}}(S)\iff\) ある cover \(\{t_i\}\) で \([\mathrm{Cl}(\ker t_i)]=t_i^{*}[\Delta_S]\ge[R_{\mathrm{fin}}^{T_i}]\)．（\(\xi_{\underline S}\) が \(\Lambda\) を経由することは Yoneda により generic element \(\mathrm{id}_S\) だけで判定できる．）[[j4zrsg]] 系 2 により，これはさらに cover \(\{s_j:U_j\to T_i\}\) があって \(s_j^{*}R_{\mathrm{fin}}^{T_i}\subseteq\mathrm{Cl}(\ker(t_is_j))\) となること．\(s_j^{*}R_{\mathrm{fin}}^{T_i}\ni\{(a,b)\}\)（\(a,b\in U_j\) 任意）なので \(t_is_j\) は定数．\(\{t_is_j\}\) は jointly surjective なので \(S\) は有限．逆に有限 \(S\) の \(\underline S\) は discrete で \(\mathbf{Set}\subseteq Q_{\mathrm{fin}}\)（\(\Lambda_{\mathrm{fin}}\ni\top\)）．∎ **補題 A3．** 無限 profinite \(S\) について \(\tilde S:=\underline S/R_{\mathrm{fin}}^S\) は \(Q_{\mathrm{fin}}\) に属し，discrete でない（実際 \(\tilde S(\ast)=1\) かつ \(\tilde S\ne1\)）． *証明．* \(q:\underline S\twoheadrightarrow\tilde S\) は epi なので任意の figure \(x:\underline T\to\tilde S\) は cover \(\{t_k\}\) 上で \(x t_k=q s_k\)（\(s_k:T_k\to S\)）と持ち上がり，\(\ker(qs_k)=s_k^{*}\ker q=s_k^{*}R_{\mathrm{fin}}^S\supseteq R_{\mathrm{fin}}^{T_k}\)．よって \([\ker x]\in\Lambda_{\mathrm{fin}}(T)\)．\(\tilde S(\ast)=S/(\text{任意の 2 点を同一視})=1\)．\(\tilde S\ne1\)：generic figure \(q\in\tilde S(S)\) が定数 \(q\circ s_0\) と等しいのは，cover \(\{t_i\}\) 上で \((t_i,\mathrm{const})\in R_{\mathrm{fin}}(T_i)\)，すなわち \(t_i(T_i)\) が有限のときに限り，\(S\) 無限なら不可能．一点しかもたない discrete condensed set は \(1\) なので \(\tilde S\) は discrete でない．∎ **定理 A（反例）.** \(Q_{\mathrm{fin}}\) は Cond の hyperconnected quotient で，\(\mathbf{Set}=F_{\mathcal K(Q_{\mathrm{fin}})}\subsetneq Q_{\mathrm{fin}}\)．特に \(Q_{\mathrm{fin}}\) はどの admissible class \(\mathcal K\) についても \(F_{\mathcal K}=\mathbf{Sh}(\mathcal K)\) と一致しない． *証明．* A1–A3．\(Q_{\mathrm{fin}}=F_{\mathcal K}\) なら \(\mathcal K=\mathcal K(Q_{\mathrm{fin}})=\mathbf{FinSet}\) で矛盾．∎ **注．** 同じ構成は任意の admissible class \(\mathcal P\)（[[bp8m8p]] 定理 E）の \(R_{\mathcal P}\) で動き，quotient \(Q_{\mathcal P}\)（「\(\mathcal P\) に属す閉集合上の書き換えに鈍感な condensed sets」）を与える．\(\mathcal P\ni\) 有限集合なら \(\mathcal K(Q_{\mathcal P})=\mathbf{FinSet}\) のまま \(Q_{\mathcal P}\ni\underline S/R_{\mathcal P}\) は \(\mathcal P\) ごとに異なる（[[bp8m8p]] 定理 E(2) の議論）．したがって CB rank は **二本目の鎖** \(Q_{\mathcal P_\gamma}\) も与える．\(\tilde S\) は「一点しかもたないが自明でない」非 quasi-separated な condensed set で，\(Q_{\mathrm{fin}}\) は colimit と subobject で \(\{\tilde S\}\) から生成される（\(Q_{\mathrm{fin}}\) の figure は局所的に \(\underline T\to\tilde T\to X\) と分解する）． ## 定理 B（representable で生成される quotient ⟺ admissible class） hyperconnected quotient \(Q\subseteq\mathrm{Cond}\)，対応する filter \(\Lambda_Q\) について次は同値． 1. \(Q=F_{\mathcal K}\) なる admissible class \(\mathcal K\) がある（このとき \(\mathcal K=\mathcal K(Q)\)）． 2. \(\Lambda_Q\) は **profinite quotient の kernel で局所生成**される：\(u\in\Lambda_Q(T)\iff\) ある finite jointly surjective \(\{t_i:T_i\to T\}\) と全射 \(p_i:T_i\twoheadrightarrow S_i\)（\(S_i\) profinite，\([\Delta_{S_i}]\in\Lambda_Q(S_i)\)）で \(t_i^{*}u\ge[\mathrm{Cl}(\ker p_i)]\)． さらに \(\mathcal K\mapsto F_{\mathcal K}\) は admissible class の poset から hyperconnected quotient の poset への順序埋め込みで，逆は \(\mathcal K(-)\)． *証明．* (1)⇒(2)：\(X\in F_{\mathcal K}\)，\(x\in X(T)\) は cover 上で \(T_i\to S_i\to X\)（\(S_i\in\mathcal K\)）と分解する（[[bp8m8p]] 定理 F の証明）．像に置き換えて \(p_i:T_i\twoheadrightarrow S_i\in\mathcal K\) としてよく，\(\ker(xt_i)\supseteq\mathrm{Cl}(\ker p_i)\)，\([\Delta_{S_i}]\in\Lambda_Q(S_i)\)（\(\underline{S_i}\in Q\)）．逆向きの包含は \(\Lambda_Q\) が filter であることから． (2)⇒(1)：\(\mathcal K:=\mathcal K(Q)\)（補題 0 で admissible）．\(F_{\mathcal K}\subseteq Q\) は colimit 閉性．\(X\in Q\)，\(x\in X(T)\) について (2) と [[j4zrsg]] 系 2 により，細分した cover 上で \(\ker(xt_i)\supseteq\mathrm{Cl}(\ker p_i)\)，よって \(xt_i\) は \(\underline{T_i}\twoheadrightarrow\underline{S_i}\)（\(\ker p_i\) による coequalizer；\(S_i\) profinite なので \(\underline{S_i}\) がその商）を経由する．\(p_i^{*}[\Delta_{S_i}]=[\mathrm{Cl}(\ker p_i)]\in\Lambda_Q(T_i)\) と \(\Lambda_Q\) が subsheaf で \(p_i\) が cover であることから \([\Delta_{S_i}]\in\Lambda_Q(S_i)\)，すなわち \(S_i\in\mathcal K\)．よって counit \(f^{*}f_*X\to X\) は局所全射．hyperconnected quotient の counit は mono（TAC 42-11 Lemma 4.3）なので同型，\(X\in F_{\mathcal K}\)． 埋め込み：\(\mathcal K(F_{\mathcal K})=\mathcal K\)（\(\underline S\) が \(\mathcal K\)-generated なら \(S\) は \(\mathcal K\) の対象の像の有限和）．順序の保存・反映は明らか．∎ ## 定理 C（完全分類：IER の admissible class） **定義．** profinite sets とその IER の組の類 \(\mathcal A=(\mathcal A(T)\subseteq\mathrm{IER}(T))_T\) が **admissible** とは：(i) \(\mathrm{Cl}(T^2)\in\mathcal A(T)\)；(ii) \(\Sigma\in\mathcal A(T)\)，\(\Sigma\subseteq\Sigma'\Rightarrow\Sigma'\in\mathcal A(T)\)；(iii) \(\Sigma,\Sigma'\in\mathcal A(T)\Rightarrow\Sigma\cap\Sigma'\in\mathcal A(T)\)；(iv) \(f:T'\to T\)，\(\Sigma\in\mathcal A(T)\Rightarrow f^{*}\Sigma\in\mathcal A(T')\)；(v) finite jointly surjective \(\{t_i\}\) について \(t_i^{*}\Sigma\in\mathcal A(T_i)\ \forall i\Rightarrow\Sigma\in\mathcal A(T)\)． **定理 C．** \(\mathcal A\mapsto\Lambda_{\mathcal A}:=\)（\(\{[\Sigma]\mid\Sigma\in\mathcal A(T)\}\) の生成する subsheaf）と \(\Lambda\mapsto\theta^{-1}(\Lambda)\) は，IER の admissible class と \(\Xi_{\mathrm{Cond}}\) の internal filter，従って Cond の hyperconnected quotient の間の全単射．対応する quotient は \(Q_{\mathcal A}=\{X\mid\forall x:\underline T\to X,\ \ker x\in\mathcal A(T)\}\)． *証明．* \(\theta\) は locally surjective・locally injective（[[j4zrsg]] 定理 A(2)）．\(\theta^{-1}(\Lambda)\) が (i)–(v) を満たすことは filter の公理と subsheaf 性の翻訳．\(\Lambda_{\mathcal A}\) が filter：(ii)(iii)(i) と系 2．往復：\(\theta^{-1}(\Lambda_{\mathcal A})=\mathcal A\) は (v)（\([\Sigma]=[\Sigma']\)，\(\Sigma'\in\mathcal A\) なら局所的に \(t_i^{*}\Sigma=t_i^{*}\Sigma'\in\mathcal A\)），\(\Lambda_{\theta^{-1}\Lambda}=\Lambda\) は locally surjective 性．∎ **読み方．** admissible class of profinite sets（定理 B）は「閉 equivalence relation で生成される \(\mathcal A\)」に対応する部分 lattice であり，反例 A は「非閉な IER（\(R_{\mathrm{fin}}\)）で生成される \(\mathcal A\)」．Cond の quotient topos の lattice は profinite sets の閉包クラスの lattice より真に大きく，非 quasi-separated な対象（\(\tilde S\)）の分だけ膨らむ． ## Verification - 定理 A の要点は 3 つ：\(\Lambda_{\mathrm{fin}}\) が filter（cover の共通細分と \(t^{*}R_{\mathrm{fin}}\supseteq R_{\mathrm{fin}}\)），\(\underline S\in Q_{\mathrm{fin}}\Rightarrow S\) 有限（局所定数性），\(\tilde S\) が非自明（generic figure が定数でない）．有限 \(S\) では \(\tilde S=1\) で整合． - 定理 B の (2)⇒(1) は counit が mono であること（hyperconnected の定義）に依存する． - 定理 C は TAC 42-11 定理 4.1 と [[j4zrsg]] の翻訳であり新しい内容は少ない． - 🟥 新規性未照合．「Cond の hyperconnected quotient」を扱う文献は見当たらないが，\(\tilde S\) 型の非 quasi-separated な対象自体は condensed 界隈で知られている． - 反例 A の追加検算：\(Q_{\mathrm{fin}}\) が余積で閉じること（\(X=\tilde S\sqcup\tilde S\) の figure は clopen 分割で成分に分かれ，kernel は block 対角）を直接確認．internal filter の条件は，\(\Xi\) が sheaf なので site の対象からの generalized element で検査すれば十分（TAC 42-11 Appendix A）． - ⚠️ 査読 subagent は API の rate limit で中断したため，本瓶は Claude 本体の自己検証のみ．人間の再検証が必要な箇所：補題 A1 の \(\wedge\) 閉性（共通細分）と定理 B (2)⇒(1) の「subsheaf と cover から \([\Delta_{S_i}]\in\Lambda_Q(S_i)\)」． ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients* (TAC 42-11 / arXiv:2302.06851)](https://arxiv.org/abs/2302.06851)（定理 4.1，Lemma 4.3，Appendix A） - [Peter Scholze, *Lectures on Condensed Mathematics*](https://people.mpim-bonn.mpg.de/scholze/Condensed.pdf) ## 未解決・次の一手 - **\(Q_{\mathrm{fin}}\) の正体**：\(\tilde S\) たちの圏（\(\operatorname{Hom}(\tilde T,\tilde S)\) は「有限個の点の書き換えを除いた連続写像」の局所化か）を site として \(Q_{\mathrm{fin}}\simeq\mathbf{Sh}(\cdot)\) と書けるか． - **lattice の構造**：admissible class of IER の lattice のうち，閉関係生成（定理 B）と \(R_{\mathcal P}\) 型（反例 A の注）で尽きるか．中間にあるもの（例：閉関係と \(R_{\mathrm{fin}}\) の合成で生成）の例． - **light 版**：同じ議論は \(\mathrm{Cond}_{\mathrm{light}}\) でも動く（\(\omega+1\) の \(\tilde{}\) が反例）． - size：\(\kappa\)-condensed で述べるのが正確（[[bp8m8p]] 系 F1 の注）．