Cond_lightのLSC

## Trigger 洞の問い（2026-09-07，対話中）：「Cond ではなく \(\mathrm{Cond}_{\mathrm{light}}\) の LSC が何か知りたい」．[[bp8m8p]] は Cond の \(\Xi\) を extremally disconnected（ED）な対象上で明示したが，light profinite sets（= metrizable profinite sets）には有限集合以外に ED が無いので，同じ潰し方ができない．本瓶は light 版で何が残るかをまとめる．鍵は「IER は全射 1 本については既に sheaf」という補題（定理 A）で，これは Cond にもそのまま効く． ## Setting \(\mathrm{ProFin}_{\mathrm{light}}\)：metrizable profinite sets（閉部分空間・有限積・有限余積・像で閉じる）．\(\mathrm{Cond}_{\mathrm{light}}=\mathbf{Sh}(\mathrm{ProFin}_{\mathrm{light}},\text{finite jointly surjective})\)．記法は [[bp8m8p]] に従う：\(\underline S\)，\(\mathrm{IER}(S)\)，\(\theta_S\)，\(t^{*}\)，\(\Xi_0=\mathrm{IER}\circ(-)\)，\(\Xi=a\Xi_0\)． ## 命題 0（基礎は Cond と同じ） [[bp8m8p]] 命題 B1・B2 の証明は light でそのまま通る（像・fiber product が light）： \[ \operatorname{Sub}(\underline S)\cong\operatorname{Idl}(\mathrm{Cl}(S)),\qquad\operatorname{Quot}(\underline S)\cong\mathrm{IER}(S). \] [[j4zrsg]] 定理 A(2) により \(\mathcal E(\underline S,\Xi_{\mathrm{light}})\cong\) 「finite jointly surjective な light cover に沿った IER の germ」，\(\Gamma(\Xi_{\mathrm{light}})=1\)． ## 定理 A（全射に沿った descent は exact） \(p:T\twoheadrightarrow S\) を profinite sets の全射，\(\Sigma\in\mathrm{IER}(T)\)，\(\pi_1,\pi_2:T\times_ST\to T\) とする．次は同値． 1. \(\pi_1^{*}\Sigma=\pi_2^{*}\Sigma\)（\(\mathrm{IER}(T\times_ST)\) で等しい）； 2. \(\ker p:=T\times_ST\in\Sigma\)； 3. \(\Sigma=p^{*}\Sigma'\) なる \(\Sigma'\in\mathrm{IER}(S)\) が存在する． このとき \(\Sigma'=\{L\in\mathrm{Cl}(S\times S)\mid(p\times p)^{-1}L\in\Sigma\}\) で一意．すなわち **前層 \(\mathrm{IER}\) は単独の全射 \(p\) について sheaf 条件を満たす**． *証明．* (1)⇒(2)：\(K:=\{((t,t'),(t,t''))\}\subseteq(T\times_ST)^2\) は閉で \((\pi_1\times\pi_1)K=\Delta_T\in\Sigma\)，よって \(K\in\pi_1^{*}\Sigma=\pi_2^{*}\Sigma\)，\((\pi_2\times\pi_2)K=\ker p\in\Sigma\)．(2)⇒(3)：\(\Sigma'\) は ideal（逆像は和・包含を保つ），\(\Delta_S\)（\((p\times p)^{-1}\Delta_S=\ker p\)），対称，合成（\(p\) 全射なら \((p\times p)^{-1}(L_2\circ L_1)=(p\times p)^{-1}L_2\circ(p\times p)^{-1}L_1\)）で閉じる．\(p^{*}\Sigma'=\{K\mid(p\times p)^{-1}(p\times p)K\in\Sigma\}\) で \((p\times p)^{-1}(p\times p)K=\ker p\circ K\circ\ker p\)，これは \(\ker p\in\Sigma\) のとき \(K\in\Sigma\) と同値．(3)⇒(1)：\(\pi_1^{*}p^{*}\Sigma'=(p\pi_1)^{*}\Sigma'=(p\pi_2)^{*}\Sigma'=\pi_2^{*}p^{*}\Sigma'\)．一意性：\(p\) 全射なので \((p\times p)(p\times p)^{-1}L=L\)，\(p^{*}\) は単射．∎ **系 A1．** finite jointly surjective \(\{t_k:T_k\to S\}\) 上の \(\mathrm{IER}\) の matching family（第一段の plus construction で使う exact な意味）は，像 \(K_k=t_k(T_k)\) のなす **有限閉被覆** 上の exactly compatible な族 \((\Sigma'_k\in\mathrm{IER}(K_k))\)，\(\Sigma'_k|_{K_k\cap K_l}=\Sigma'_l|_{K_k\cap K_l}\)，と一対一． *証明．* \(k=l\) の matching に定理 A を \(T_k\twoheadrightarrow K_k\) に適用して \(\Sigma_k=p_k^{*}\Sigma'_k\)．\(k\ne l\) の matching は \(T_k\times_ST_l\twoheadrightarrow K_k\cap K_l\)（同じ像をもつ点は持ち上がる）に沿った pullback の一致で，\(p^{*}\) の単射性から \(\Sigma'_k|=\Sigma'_l|\)．∎ ## 観察 B（閉被覆上の compatible family は貼れない） \(S=\{x,w,z\}\)（離散），\(K_1=\{x,z\},K_2=\{x,w\},K_3=\{w,z\}\)，\(\Sigma_1=\mathrm{Cl}(\Delta_{K_1})\)，\(\Sigma_2=\mathrm{Cl}(K_2^2)\)，\(\Sigma_3=\mathrm{Cl}(K_3^2)\)．重なりは一点なので exactly compatible だが，\(S\) 上の IER で各 \(K_k\) に制限してこれになるものは無い（\((x,w),(w,z)\in\Sigma\) なら合成で \((x,z)\in\Sigma\cap\mathrm{Cl}(K_1^2)=\Sigma_1\) となり矛盾）．同じ組合せは Cantor 集合の clopen 3 片と同相写像のグラフで無限版も作れる．したがって \(\mathrm{IER}\) は閉被覆については「一意性」だけでなく「存在」も破れ，\(\Xi_{\mathrm{light}}\) は \(\mathrm{IER}(S)/(\text{局所一致})\) のような一段の商では書けない（少なくとも素朴には）．この 3 点例は点への細分で消えるので，一般の profinite \(S\) で \(\theta_S\) が全射かどうかとは別問題． ## まとめ（\(\Xi_{\mathrm{light}}\) の現状の記述） - \(\Xi_{\mathrm{light}}=a(\mathrm{IER})\)．定理 A により，plus construction の第一段では全射 cover は見えず，**有限閉被覆上の exactly compatible family の germ** だけが残る（系 A1）．第二段（局所一致の意味での matching）で全射 cover をさらに落とせるか（\(\mathrm{IER}^{+}\) が全射について sheaf か）は未確認． - Cond との違い：ED 上では閉被覆が clopen 分割で細分でき（[[bp8m8p]] 定理 C），重なりが消える．light では重なり（観察 B）が本質的に残り，\(\Xi_{\mathrm{light}}\) は Kock–Moerdijk の local equivalence relation（開被覆の germ）の **閉被覆版** という顔をもつ． - \(\xi_S=[\mathrm{Cl}(\Delta_S)]\)．2 点 \(a\ne b\) を同一視する閉 equivalence relation \(E\) は \([\mathrm{Cl}(E)]=\xi_S\)（\(a,b\) を分ける clopen 分割上で局所 monic；[[n59qhv]] と整合）． - hyperconnected quotient：admissible class of light profinite sets ごとに \(\mathrm{Cond}_{\mathrm{light}}\to\mathbf{Sh}(\mathcal K)\)（[[bp8m8p]] 定理 F の証明そのまま；CB rank の鎖は可算 ordinal の範囲）．一方 [[q94bet]] の \(R_{\mathrm{fin}}\) 型 quotient も light で動く（\(S=\omega+1\) の \(\underline S/R_{\mathrm{fin}}\) が反例）ので，light でも quotient は admissible class では尽きない． ## Verification - 定理 A は 3 行の計算で，\(K=\{((t,t'),(t,t''))\}\) の二つの射影像が \(\Delta_T\) と \(\ker p\) になることが全て． - 観察 B は 3 点集合での手計算． - ⚠️ 本瓶は「\(\Xi_{\mathrm{light}}\) の完全な明示形」ではない．与えたのは (a) 何が sheaf 条件として残るか（閉被覆），(b) それが自明でないこと（観察 B），(c) global section と簡単な元の計算，である． - ⚠️ 査読 subagent は rate limit で中断．Claude 本体の自己検証のみ． - 🟥 新規性未照合． ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients* (arXiv:2302.06851)](https://arxiv.org/abs/2302.06851) - [Clausen–Scholze, *Analytic Stacks* 講義ノート（Solovera e Nery 記録）](https://www.esaga.uni-due.de/f/thiago.solovera-e-nery/notes/analyticstacks.pdf)（Lecture 2：light condensed sets の site） - [Kock–Moerdijk, *Every étendue comes from a local equivalence relation*](https://doi.org/10.1016/0022-4049(92)90118-Y) ## 未解決・次の一手 - \(\mathrm{IER}^{+}\)（閉被覆に関する一段目）が全射について sheaf か．Yes なら \(\Xi_{\mathrm{light}}=a_{\text{閉被覆}}(\mathrm{IER})\) と言い切れる． - \(\theta_S:\mathrm{IER}(S)\to\Xi_{\mathrm{light}}(S)\) の全射性（[[bp8m8p]] の未解決と同じ問い）． - light profinite sets は全て Cantor 集合 \(2^{\mathbb N}\) の商なので，\(\Xi_{\mathrm{light}}(2^{\mathbb N})\) と Cantor 集合の自己全射に沿った descent だけで \(\Xi_{\mathrm{light}}\) が決まるはず．Cantor 集合の閉被覆の組合せ論（観察 B 型）を整理するのが次の一手．