スケッチ #324

CondのLSCとCB rank ## Trigger [[m8r725]] は Notion メモ「LSC of condensed sets って，profinite set の Cantor–Bendixson rank を分類していたりしない？一般に，Gaeta topos の LSC を知りたい」を写した瓶で，本文は一行だけだった．[[wxggan]] は「extensive site など特別な site 上の sheaf topos で \(\Xi\) の簡潔な記述はあるか」と問う．2026-09-07 の scheduled run（Claude）で，同日の [[j4zrsg]]（\(\Xi=a(\text{商の前層})\)，\(\mathcal E(X,\Xi)\cong\) local equivalence relation）を道具にして両方に答えた： 1. **Gaeta topos（extensive topology）の \(\Xi\) は一段の plus construction で書ける**（定理 A）． 2. condensed sets では representable \(\underline S\) の subobject が「閉集合の ideal」，quotient が「閉関係の ideal で equivalence relation になるもの」に一致する（命題 B）．これで \(\Xi_{\mathrm{Cond}}\) が extremally disconnected \(T\) 上で明示的に書ける（定理 C）． 3. Cantor–Bendixson rank は \(\Xi_{\mathrm{Cond}}\) の中に **ordinal 添字の元の鎖** \([R_{\gamma}]\in\mathcal E(\underline S,\Xi)\) として現れ，鎖が伸びる長さが \(S\) の閉 scattered 部分空間の rank を測る（定理 E）． 4. さらに，同じ rank class は **Cond の hyperconnected quotient の鎖** \(\mathrm{Cond}\to\mathbf{Sh}(\mathcal K_\gamma)\) を与える（定理 F）．TAC 42-11 により hyperconnected quotient は \(\Xi\) の内部 filter で parametrize されるから，これが「\(\Xi\) が CB rank を分類する」の正確な意味である．副産物として light condensed sets → condensed sets が fully faithful で，\(\mathrm{Cond}\to\mathrm{Cond}_{\mathrm{light}}\) が hyperconnected になる． 🟥 新規性は未照合（下記 Verification）．命題 B は folklore の可能性が高い．定理 F の light の場合は Clausen–Scholze の講義で知られている主張（fully faithful）と整合するが，hyperconnected という言い方は見当たらなかった． ## Setting - \(\mathrm{ProFin}\)：profinite sets，\(\mathrm{ED}\subset\mathrm{ProFin}\)：extremally disconnected なもの．\(\mathrm{Cond}=\mathbf{Sh}(\mathrm{ProFin},\text{finite jointly surjective})\simeq\mathbf{Sh}(\mathrm{ED},\text{finite disjoint})\)（Scholze, Condensed Prop. 2.7）．\(S\in\mathrm{ProFin}\) の representable を \(\underline S\) と書く．集合の大きさ（cutoff cardinal）の問題は本瓶では無視する． - \(\mathrm{Cl}(X)\)：compact Hausdorff \(X\) の閉部分集合の束．\(\mathrm{Cl}(X)\) の **ideal** とは \(\emptyset\) を含み，閉部分集合を取る操作と有限和で閉じた族． - \(X^{(\alpha)}\)：Cantor–Bendixson derivative，\(\mathrm{ht}(x)\)：\(x\in X^{(\alpha)}\setminus X^{(\alpha+1)}\) なる \(\alpha\)（scattered なら全点で定義）．\(\oplus\)：ordinal の natural sum． - extensive category \(\mathcal C\) の **extensive topology**：sieve が covering \(\iff\) ある有限分解 \(c\cong\coprod_{i\in I}c_i\) の入射を含む．\(\mathcal G(\mathcal C)=\mathbf{Sh}(\mathcal C,\mathrm{ext})\)（Gaeta topos）．\(D(c)\)：\(c\) の有限分解の preorder（refinement）． - [[j4zrsg]] の記法：\(Q(T)=\{\)internal equivalence relation on \(T\}\cong\operatorname{Quot}(T)\)，\(\Xi_0=Q\circ ay\)，\(\Xi=a\Xi_0\)（TAC 42-11 Prop. 3.21），\(\theta_T:Q(T)\to\mathcal E(T,\Xi)\)，\([R]=\theta_T(R)\)． ## 定理 A（extensive site では層化は一段の plus construction） **補題 A1．** extensive \(\mathcal C\) と，\(P(0)=1\) なる前層 \(P\) について \[ P^{+}(c)\;=\;\operatorname{colim}_{(c=\coprod_i c_i)\in D(c)}\ \prod_i P(c_i), \] であり，\(P^{+}\) は既に sheaf である．したがって \(aP=P^{+}\)． *証明．* 分解 \(\{ \iota_i:c_i\to c\}\) が生成する sieve \(S\) は，\(d\neq0\) では \(S(d)=\coprod_i\mathcal C(d,c_i)\)（\(\iota_i\) は mono；\(f\) が \(\iota_i,\iota_j\)（\(i\ne j\)）を経由すれば \(d\to c_i\times_cc_j=0\) で \(d\cong0\)，0 は strict initial），\(d=0\) では一点．よって \(\operatorname{Nat}(S,P)=\{(p_i)\in\prod_iP(c_i)\mid P(!)(p_i)\text{ が }P(0)\text{ で一致}\}=\prod_iP(c_i)\)．\(D(c)\) は共通細分 \(\{c_i\times_cd_j\}\) をもつので directed（extensivity）．covering sieve は分解が生成する sieve を含むものなので，\(P^+(c)\) は上の colimit． \(P^{+}\) が sheaf であること：\(P^{+}(0)=1\)（空分解），かつ \[ P^{++}(c)=\operatorname{colim}_{D(c)}\prod_iP^{+}(c_i) =\operatorname{colim}_{D(c)}\prod_i\operatorname{colim}_{D(c_i)}\prod_jP(c_{ij}) =\operatorname{colim}_{D(c)}\operatorname{colim}_{\uparrow\{c_i\}}\prod_{ij}P(c_{ij}) =\operatorname{colim}_{D(c)}\prod P=P^{+}(c). \] （有限積と directed colimit の交換；\(\prod_iD(c_i)\cong\uparrow\!\{c_i\}\subseteq D(c)\) は cofinal．）canonical map \(P^{+}\to P^{++}\) がこの同型なので \(P^{+}\) は sheaf．∎ **定理 A．** extensive \(\mathcal C\) について，\(\Xi_{\mathcal G(\mathcal C)}(c)\cong\operatorname{colim}_{c=\coprod_ic_i}\prod_i\operatorname{Quot}_{\mathcal G(\mathcal C)}(y c_i)\)．制限は \(\iota_i^{*}\)（quotient の pullback），\(\xi_{yc}\) は自明分解上の \(\mathrm{id}\) の class，meet は成分ごとの kernel pair の交わり（[[qdhgdp]] Lemma 1）． 一般の \(f:d\to c\) に沿う制限は \(d=\coprod_i d\times_cc_i\) と分解して成分ごとに pullback する． *証明．* \(y c\) は sheaf（\(\mathcal C(\coprod d_j,c)=\prod\mathcal C(d_j,c)\)）なので \(\Xi_0(c)=\operatorname{Quot}(yc)\)，\(\Xi_0(0)=1\)（0 は strict initial なので 0 の quotient は 0 だけ）．補題 A1 を \(P=\Xi_0\) に適用．∎ **検算．** \(\mathcal C\) の全対象が connected 対象の有限余積なら \(\mathcal G(\mathcal C)=[\mathrm{Conn}(\mathcal C)^{\mathrm{op}},\mathbf{Set}]\) で，connected \(c\) には自明分解しかないから \(\Xi(c)=\operatorname{Quot}(yc)\)：TAC 42-11 の前層トポスの公式を回収する．\(\mathcal C=\mathbf{FinSet}\) なら最細分解（点）が終対象で \(\Xi=1\)（\(\mathbf{Set}\)）． ## 命題 B（Cond での representable の subobject と quotient） **命題 B1．** profinite \(S\) について（compact Hausdorff \(S\) へは \(\Sigma_F\) の定義を「\(K\) への profinite cover が \(F\) に入る」に変えれば拡張できるはずだが，下の証明は profinite の場合のみ） \[ \operatorname{Sub}_{\mathrm{Cond}}(\underline S)\;\cong\;\{\text{ideals }\Sigma\subseteq\mathrm{Cl}(S)\},\qquad F_\Sigma(T)=\{f:T\to S\mid f(T)\in\Sigma\}. \] *証明．* \(F_\Sigma\) は前合成で閉じ（\(f(T')\subseteq f(T)\)），finite jointly surjective \(\{T_k\to T\}\) について \(f(T)=\bigcup_kf(t_k(T_k))\in\Sigma\) なので subsheaf．逆に subsheaf \(F\subseteq\underline S\) に \(\Sigma_F=\{K\in\mathrm{Cl}(S)\mid \iota_K\in F(K)\}\) を対応させる．**鍵**：\(f\in F(T)\iff\iota_{f(T)}\in F(f(T))\)．\(\Leftarrow\) は前合成．\(\Rightarrow\)：\(f=\iota\circ p\)，\(p:T\twoheadrightarrow f(T)\) は cover．\(\iota\in\underline S(f(T))\) の \(p\) に沿う制限が \(f\in F(T)\) で，\(T\times_{f(T)}T\) 上の matching は \(F\subseteq\underline S\) が pointwise の包含であることから自動．\(F\) の sheaf 条件で \(g\in F(f(T))\)，\(g\circ p=f\)，\(p\) は epi なので \(g=\iota\)．これで \(F=F_{\Sigma_F}\)，\(\Sigma_{F_\Sigma}=\Sigma\)．\(\Sigma_F\) が ideal であることは前合成と有限和の sheaf 条件から．∎ 例：\(\Sigma=\mathrm{Cl}(S)\)（\(\underline S\)），有限集合（discrete \(|S|\)），\(\mathrm{Cl}(K)\)（\(\underline K\)），\(\{K\subseteq U\}\)（部分空間 \(U\)，任意の部分集合．ただし \(U\mapsto\{K\subseteq U\}\) は単射でない），**\(\{K\mid K^{(\omega^\gamma)}=\emptyset\}\)（CB rank による subobject）**，可算閉集合，metrizable 閉集合．特に \(\Omega_{\mathrm{Cond}}(S)\cong\operatorname{Idl}(\mathrm{Cl}(S))\)． **命題 B2．** \(\operatorname{Quot}_{\mathrm{Cond}}(\underline S)\cong\{\Sigma\in\operatorname{Idl}(\mathrm{Cl}(S\times S))\mid\Delta_S\in\Sigma,\ \Sigma^{\mathrm{op}}=\Sigma,\ K_1,K_2\in\Sigma\Rightarrow K_2\circ K_1\in\Sigma\}\)（**ideal equivalence relation**，IER\((S)\) と書く）．ここで \(K_2\circ K_1=\pi_{13}(K_1\times_SK_2)\) は閉． *証明．* B1 を \(S\times S\) に適用：\(R_\Sigma(T)=\{(f,g)\mid \operatorname{im}(f,g)\in\Sigma\}\)．トポスでは equivalence relation は generalized element ごとに判定できる．反射性 \(\iff\Delta_S\in\Sigma\)（\(\operatorname{im}(f,f)=\Delta(f(T))\subseteq\Delta_S\)）．対称性 \(\iff\Sigma^{\mathrm{op}}=\Sigma\)．推移性：\(\Leftarrow\) は \(\operatorname{im}(f,h)\subseteq\operatorname{im}(g,h)\circ\operatorname{im}(f,g)\)．\(\Rightarrow\)：\(T=K_1\times_SK_2\subseteq S^3\) と射影 \(f,g,h\) をとると \(\operatorname{im}(f,g)\subseteq K_1\)，\(\operatorname{im}(g,h)\subseteq K_2\) なので \((f,h)\in R(T)\)，\(\operatorname{im}(f,h)=K_2\circ K_1\in\Sigma\)．∎ 例：閉 equivalence relation \(E\) の \(\mathrm{Cl}(E)\)（商は compact Hausdorff \(S/E\)），任意の集合論的 equivalence relation \(E\) の \(\{K\subseteq E\}\)，\(R_{\mathrm{fin}}=\{K\mid K\setminus\Delta\text{ 有限}\}\)．制限 \(t^{*}\)（\(t:T\to S\)）は \(\Sigma\mapsto\{K\in\mathrm{Cl}(T\times T)\mid (t\times t)(K)\in\Sigma\}\)． ## 定理 C（\(\Xi_{\mathrm{Cond}}\) の明示形） **定理 C．** \(T\in\mathrm{ED}\) について \[ \Xi_{\mathrm{Cond}}(T)\;\cong\;\operatorname{colim}_{T=\coprod_iT_i}\prod_i\mathrm{IER}(T_i)\;\cong\;\mathrm{IER}(T)/\approx, \] \(\Sigma\approx\Sigma'\iff\) ある clopen 有限分割 \(\{T_i\}\) の各対角 block で \(\Sigma\cap\mathrm{Cl}(T_i^2)=\Sigma'\cap\mathrm{Cl}(T_i^2)\)．\(\xi_T=[\mathrm{Cl}(\Delta_T)]\)，\([\Sigma]\wedge[\Sigma']=[\Sigma\cap\Sigma']\)，top は \([\mathrm{Cl}(T^2)]\)．一般の profinite \(S\) では \(\theta_S\) が単射 \(\mathrm{IER}(S)/\approx'\hookrightarrow\mathcal E(\underline S,\Xi)\) を誘導する（\(\approx'\) は finite surjective family \(\{T_k\to S\}\) に沿った pullback の一致；[[j4zrsg]] 定理 A(2)）．⚠️ この単射が全射か（ED cover 上の descent datum つき IER が \(S\) 上の IER に降りるか）は未解決（下記）． *証明．* 定理 A を \(\mathcal C=\mathrm{ED}\) に適用し，B2 で \(\operatorname{Quot}(\underline{T_i})=\mathrm{IER}(T_i)\)．第二の同型：\((\Sigma_i)\) に block 対角 ideal \(\Sigma=\{K\subseteq\bigcup_iT_i^2\mid K\cap T_i^2\in\Sigma_i\}\) を対応させる（IER：合成は block 対角を保ち block ごとに計算される）．これは \(\theta_T\) が \(T\in\mathrm{ED}\) で全射であることの具体形（\(\underline T\) は projective なので cover が split）．∎ **系 C1．** \(\Gamma(\Xi_{\mathrm{Cond}})=\Xi(\ast)=1\)．よって \(\Xi_{\mathrm{Cond}}\) の global section は top だけで，global な bottom は無い（各 fibre の最小元 \([\mathrm{Cl}(\Delta_T)]\) は制限で \([\mathrm{Cl}(\ker f)]\) に化けて自然でない）． ## 補題 D（CB height と積） **補題 D．** compact scattered \(X,Y\) について \(\mathrm{ht}_{X\times Y}(x,y)\le\mathrm{ht}(x)\oplus\mathrm{ht}(y)\)．よって \(\gamma\) について \(X^{(\omega^\gamma)}=Y^{(\omega^\gamma)}=\emptyset\Rightarrow(X\times Y)^{(\omega^\gamma)}=\emptyset\)． *証明．* \((X\times Y)^{(\delta)}\subseteq Z_\delta:=\{(x,y)\mid\mathrm{ht}(x)\oplus\mathrm{ht}(y)\ge\delta\}\) を \(\delta\) の帰納法で示す．極限は交わり．後続：\((x,y)\in(X\times Y)^{(\delta+1)}\)，帰納法で \(\mathrm{ht}(x)\oplus\mathrm{ht}(y)\ge\delta\)，等号と仮定．\(x\) は \(X^{(\mathrm{ht}x)}\) で孤立，\(y\) も同様なので，近傍 \(U\times V\) 内の \((x_i,y_i)\ne(x,y)\) は「\(x_i=x\) または \(\mathrm{ht}(x_i)<\mathrm{ht}(x)\)」かつ「\(y_i=y\) または \(\mathrm{ht}(y_i)<\mathrm{ht}(y)\)」で両方等しくはない．natural sum の狭義単調性で \(\mathrm{ht}(x_i)\oplus\mathrm{ht}(y_i)<\delta\)，\((x_i,y_i)\notin Z_\delta\supseteq(X\times Y)^{(\delta)}\)．よって \((x,y)\) は \((X\times Y)^{(\delta)}\) で孤立，矛盾．\(\omega^\gamma\) は \(\oplus\) で閉じる．∎ 同様に標準的：閉部分集合・有限和（\((A\cup B)^{(\alpha)}=A^{(\alpha)}\cup B^{(\alpha)}\)，極限段階は compact 性）・連続像（\(f(X^{(\alpha)})\supseteq f(X)^{(\alpha)}\)）で \(X^{(\omega^\gamma)}=\emptyset\) は保たれる． **定義．** \(\mathcal P_\gamma:=\{X\in\mathrm{ProFin}\mid X^{(\omega^\gamma)}=\emptyset\}\)（\(\gamma\ge0\)；\(\mathcal P_0=\) 有限集合）．より一般に，閉部分空間・有限積・連続像（profinite 内）・有限和で閉じ，一点を含む profinite sets のクラスを **admissible class** と呼ぶ．例：\(\mathcal P_\gamma\)，有限，可算，metrizable，scattered． ## 定理 E（CB rank は \(\Xi\) の中の鎖） admissible \(\mathcal P\) と profinite \(S\) に対し \[ \Sigma_{\mathcal P}(S):=\{K\in\mathrm{Cl}(S\times S)\mid \overline{K\setminus\Delta_S}\in\mathcal P\},\qquad R_{\mathcal P}:=R_{\Sigma_{\mathcal P}}. \] \((f,g)\in R_{\mathcal P}(T)\iff\) 「\(f,g\) の不一致 graph \(\{(f(t),g(t))\mid f(t)\ne g(t)\}\) の閉包が \(\mathcal P\) に属す」． **定理 E．** 1. \(R_{\mathcal P}\in\mathrm{IER}(S)\)．（\(\mathcal P=\mathcal P_0=\{\text{有限}\}\) で \(R_{\mathrm{fin}}\)．admissible でない \(\mathcal P=\{\emptyset\}\) でも同じ定義で \(\Delta\) を与える．） 2. \(\mathcal P\subseteq\mathcal P'\) admissible について，\(\mathcal E(\underline S,\Xi)\) で \[ [R_{\mathcal P}]=[R_{\mathcal P'}]\iff R_{\mathcal P}=R_{\mathcal P'}\iff S\text{ は }\mathcal P'\setminus\mathcal P\text{ に属す閉部分空間をもたない}. \] 3. 特に \(\gamma\mapsto[R_{\mathcal P_\gamma}]\in\mathcal E(\underline S,\Xi_{\mathrm{Cond}})\) は ordinal 添字の増大鎖で，\(\gamma<\gamma'\) の間で狭義に増えるのは \(S\) が \(\omega^\gamma\le\mathrm{ht}(x)<\omega^{\gamma'}\) なる点をもつ閉 scattered 部分空間を含むときちょうどそのとき．scattered \(S\) なら鎖は \(S^{(\omega^\gamma)}=\emptyset\) となる最小の \(\gamma\) で止まる． *証明．* (1) hereditary・有限和・\(\Delta\)・対称は明らか（\(\overline{(K_1\cup K_2)\setminus\Delta}=\overline{K_1\setminus\Delta}\cup\overline{K_2\setminus\Delta}\)）．合成：\(B_i:=\overline{K_i\setminus\Delta}\) とすると \((K_2\circ K_1)\setminus\Delta\subseteq(K_1\setminus\Delta)\cup(K_2\setminus\Delta)\cup(B_2\circ B_1)\)（\(x\ne z\)，\((x,y)\in K_1,(y,z)\in K_2\) で \(x=y\) か \(y=z\) か両方とも異なるかで場合分け），\(B_2\circ B_1\) は \(B_1\times_SB_2\subseteq B_1\times B_2\) の連続像なので admissible 性で \(\mathcal P\) に属す． (2) 第二の同値：\(\Leftarrow\)：\(B\subseteq S\times S\) 閉で \(B\in\mathcal P'\) なら \(\pi_1B,\pi_2B\in\mathcal P'\) は \(S\) の閉部分空間なので \(\mathcal P\) に属し，\(B\subseteq\pi_1B\times\pi_2B\in\mathcal P\)．\(\Rightarrow\)：\(A\subseteq S\) 閉，\(A\in\mathcal P'\setminus\mathcal P\)，\(s_0\in S\) をとり \(K=A\times\{s_0\}\)：\(\overline{K\setminus\Delta}=\overline{A\setminus\{s_0\}}\times\{s_0\}\) は \(\mathcal P'\setminus\mathcal P\)（一点の付け外しは admissible class の所属を変えない）．第一の同値：\(\Leftarrow\) 自明．\(\Rightarrow\)：[[j4zrsg]] 系 2 により \([R]=[R']\) は jointly epi 族に沿った pullback の一致，representable への jointly epi 族は finite jointly surjective \(\{t_k:T_k\to S\}\) で refine できる．\(A=\bigcup_kA\cap t_k(T_k)\) なのである \(k\) で \(A_k:=A\cap t_k(T_k)\in\mathcal P'\setminus\mathcal P\)．\(B:=t_k^{-1}(A_k)\)，\(b_0\in T_k\)，\(K:=B\times\{b_0\}\) とすると \((t_k\times t_k)(K)=A_k\times\{t_k(b_0)\}\) は \(\Sigma_{\mathcal P'}(S)\setminus\Sigma_{\mathcal P}(S)\)，つまり \(K\in t_k^{*}R_{\mathcal P'}\setminus t_k^{*}R_{\mathcal P}\)． (3) (2) と補題 D．「点 \(x\) をもつ」向きは，\(A\) の \(x\) の clopen 近傍 \(U\) で \(U\cap A^{(\mathrm{ht}x)}=\{x\}\) なるものが \(\mathcal P_{\gamma'}\setminus\mathcal P_\gamma\) に入ることによる．∎ **読み方．** これが [[m8r725]] の「\(\Xi\) は CB rank を分類しているのでは」への一つ目の答え：**\(\Xi_{\mathrm{Cond}}\) の中に CB rank を測る ordinal 添字の鎖が図形ごとに入っている**．ただし同じ鎖は \(\Omega_{\mathrm{Cond}}\) の中（B1 の例 \(\{K\mid K^{(\omega^\gamma)}=\emptyset\}\subseteq\underline S\)）にもっと素朴に入っており，rank そのものは subobject の言葉で済む．\(\Xi\) 固有の内容は次の定理 F である． ## 定理 F（rank class ごとの hyperconnected quotient） \(\mathcal K\subseteq\mathrm{ProFin}\) を，閉部分空間・有限積（従って有限極限）・有限余積で閉じた full subcategory とする（例：\(\mathcal P_\gamma\)，有限，可算，metrizable（= light），scattered）．\(i:\mathcal K\hookrightarrow\mathrm{ProFin}\) は induced topology（finite jointly surjective）について cover と有限極限を保つので，geometric morphism \(f:\mathrm{Cond}\to\mathbf{Sh}(\mathcal K)\)，\(f_*=i^{*}\)（制限），\(f^{*}=a\circ\mathrm{Lan}_i\) がある． **定理 F．** \(f\) は hyperconnected である．すなわち \(f^{*}\) は fully faithful で，その像（\(\mathcal K\)-generated condensed sets）は subobject で閉じる． *証明．* \(G\in\mathbf{Sh}(\mathcal K)\)，\(P=\mathrm{Lan}_iG\)．\(P(T)=\operatorname{colim}_{(T\downarrow\mathcal K)}G=\operatorname{colim}_{T\twoheadrightarrow Q\in\mathcal K}G(Q)\)（\(T\to d\) は像 \(\in\mathcal K\) を経由するので全射が final；二つの \(\mathcal K\)-quotient は \(T/(E\cap E')\hookrightarrow T/E\times T/E'\in\mathcal K\) で共通細分をもつので filtered）．\(P|_{\mathcal K}=G\)． *(i) \(P\) は separated．* \(x=[g],x'=[g']\)，\(g,g'\in G(Q)\)（共通の \(\mathcal K\)-quotient \(Q\) of \(T\)）が cover \(\{T_k\to T\}\) 上で一致するとする．各 \(k\) で \(T_k\) の \(\mathcal K\)-quotient \(Q_k\to Q\) があって \(g|_{Q_k}=g'|_{Q_k}\)．\(K_k:=\operatorname{im}(Q_k\to Q)\) は \(Q\) の閉集合で \(\{K_k\}\) は \(Q\) を覆う．\(G\) は \(\mathcal K\)-sheaf で \(Q_k\twoheadrightarrow K_k\) は \(\mathcal K\)-cover なので \(G(K_k)\to G(Q_k)\) は単射，\(g|_{K_k}=g'|_{K_k}\)，\(\{K_k\hookrightarrow Q\}\) が \(\mathcal K\)-cover なので \(g=g'\)．よって \(aP=P^{+}\)． *(ii) \(d\in\mathcal K\) では \(P(d)\to P^{+}(d)\) が全単射，従って \(f_*f^{*}G=G\)．* 単射性は (i) と同様．全射性：\(\mathrm{ProFin}\)-cover \(\{T_k\to d\}\) 上の matching family \((x_k)\)，\(x_k=[g_k]\)，\(g_k\in G(Q_k)\)．細分して \(T_k\twoheadrightarrow Q_k\twoheadrightarrow K_k:=\operatorname{im}(T_k\to d)\hookrightarrow d\) としてよい．\(T_k\times_dT_k\twoheadrightarrow Q_k\times_{K_k}Q_k\) は全射（同じ像をもつ点は持ち上がる）なので，\(x_k\) の自己 matching（\(P(T_k\times_dT_k)\) の filtered colimit で等式，その代表 \(W\twoheadrightarrow Q_k\times_{K_k}Q_k\)，\(G(Q_k\times_{K_k}Q_k)\to G(W)\) 単射）から \(\pi_1^{*}g_k=\pi_2^{*}g_k\) in \(G(Q_k\times_{K_k}Q_k)\)．\(G\) の \(\mathcal K\)-sheaf 性で \(g_k\) は \(h_k\in G(K_k)\) に降りる．同様に \(T_k\times_dT_l\twoheadrightarrow Q_k\times_dQ_l\twoheadrightarrow K_k\cap K_l\) と単射性から \(h_k|_{K_k\cap K_l}=h_l|_{K_k\cap K_l}\)．\(\{K_k\hookrightarrow d\}\) は \(\mathcal K\)-cover なので \(h\in G(d)\) に貼り合い，\(h|_{T_k}=x_k\)．よって \(P^{+}(d)=\operatorname{colim}\operatorname{Match}=P(d)=G(d)\)，すなわち \(f^{*}\) は fully faithful． *(iii) 像は subobject で閉じる．* \(F\subseteq f^{*}G\) subsheaf，\(G':=f_*F\subseteq G\)．\(f^{*}G'\to F\) は，合成 \(f^{*}G'\to F\to f^{*}G\) が \(f^{*}(G'\hookrightarrow G)\) で mono なので mono．局所全射性：\(x\in F(T)\subseteq P^{+}(T)\) は cover \(\{T_k\to T\}\) 上で \(P(T_k)\) から来る：\(x|_{T_k}=g_k\circ p_k\)，\(p_k:T_k\twoheadrightarrow Q_k\in\mathcal K\)，\(g_k\in G(Q_k)=(f^{*}G)(Q_k)\)．\(F\) の \(p_k\) に沿う sheaf 条件（matching は \(f^{*}G\) の separatedness で自動）と \(p_k\) が epi であることから \(g_k\in F(Q_k)=G'(Q_k)\)，これが \(x|_{T_k}\) の \(f^{*}G'\) での持ち上げ．よって \(f^{*}G'\cong F\)．∎ **系 F1（rank filtration）.** \(\mathcal K_\gamma:=\mathcal P_\gamma\) について，hyperconnected quotient の transfinite 鎖 \[ \mathrm{Cond}\to\cdots\to\mathbf{Sh}(\mathcal K_\gamma)\to\cdots\to\mathbf{Sh}(\mathcal K_1)\to\mathbf{Sh}(\mathcal K_0)=\mathbf{Set} \] がある（\(\mathbf{Sh}(\mathcal K_\gamma)\to\mathbf{Sh}(\mathcal K_{\gamma'})\) も同じ証明）．⚠️ size：\(\underline{\omega^\gamma+1}\) がこれらを互いに区別するので，cutoff cardinal \(\kappa\) を固定した \(\kappa\)-condensed sets では鎖は \(\omega^\gamma<\kappa\) の範囲に切り詰められる．TAC 42-11（filter は集合）を使うのはその設定でである．\(\gamma=0\) は \(\Gamma\dashv\)discrete の hyperconnected morphism \(\mathrm{Cond}\to\mathbf{Set}\)．TAC 42-11 により hyperconnected quotient は \(\Xi_{\mathrm{Cond}}\) の内部 filter と一対一なので，**CB rank の各段階が \(\Xi_{\mathrm{Cond}}\) の filter として実現される**．これが [[m8r725]] への二つ目の（\(\Xi\) 固有の）答え． **系 F2（light condensed sets）.** \(\mathcal K=\) metrizable profinite sets（light）で，\(\mathrm{Cond}_{\mathrm{light}}\to\mathrm{Cond}\) は fully faithful・exact・colimit 保存で像は subobject で閉じ，\(\mathrm{Cond}\to\mathrm{Cond}_{\mathrm{light}}\) は hyperconnected．fully faithful は Clausen–Scholze（Analytic Stacks 講義）の主張と整合する． **注（局所性）.** \(f_*=i^{*}\) は右随伴 \(i_*\)（\((i_*G)(T)=\operatorname{Hom}(i^{*}\underline T,G)\)）をもちそうに見えるが，\(i_*G\) が \(\mathrm{ProFin}\)-sheaf になるとは限らない：\(\beta\mathbb N\twoheadrightarrow\omega+1\) は section をもたず，\(\{i^{*}\underline{\beta\mathbb N}\to i^{*}\underline{\omega+1}\}\) は \(\mathbf{Sh}(\mathcal K_{\text{可算}})\) で epi でない．\(\gamma=0\) の場合だけ codiscrete が右随伴を与え \(\mathrm{Cond}\) は local になる． ## Verification - 定理 A の鍵は「分解が生成する sieve の matching family は成分の積」と「directed colimit と有限積の交換」の二点．\(\mathbf{FinSet}\)・\(\mathbf{Fin}G\text{-}\mathbf{Set}\)（\(\mathcal G=[\mathcal O(G)^{\mathrm{op}},\mathbf{Set}]\)）で TAC の前層公式と一致することを確認． - 命題 B1 の鍵は「\(f\in F(T)\iff\iota_{f(T)}\in F(f(T))\)」で，全射 \(T\twoheadrightarrow f(T)\) が cover であることと \(F\subseteq\underline S\) が pointwise の包含であることだけを使う．discrete \(|S|\)・部分空間・閉部分空間の例で既知の subobject と一致． - 補題 D は \(\mathrm{ht}(x,y)=\mathrm{ht}(x)\oplus\mathrm{ht}(y)\) の \(\le\) 側だけを自己完結に証明した（等号は使わない）． - 定理 F の (ii) は「\(\mathrm{ProFin}\)-cover の matching family を像 \(K_k\) の \(\mathcal K\)-cover に降ろす」議論で，\(\mathcal K\) が閉部分空間と有限積で閉じることを本質的に使う． - 2026-09-07 に別の Claude subagent が adversarial に査読：定理 A・B1（profinite）・B2・C（\(T\in\mathrm{ED}\)）・D・E・F を正しいと判定．指摘に従い (a) B1 の compact Hausdorff への言及を弱め，(b) 定理 C の一般 \(S\) の主張を「単射」に弱め全射性を未解決に移し，(c) 系 F1 に cutoff cardinal の注意を加え，(d) 制限射・例の非単射性・E(3) の補足を追記した． - 🟥 新規性未照合：B1/B2（folklore の可能性大），定理 A（extensive site の sheafification が一段で済むこと自体は知られている可能性が高い），定理 F（light の場合の fully faithful は Clausen–Scholze の講義に近い記述がある）．Google Drive の手書きノート・Notion「数学活動」との照合は未了． ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients* (TAC 42-11)](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - [Peter Scholze, *Lectures on Condensed Mathematics*](https://people.mpim-bonn.mpg.de/scholze/Condensed.pdf)（Prop. 2.7：ED site） - [Clausen–Scholze, *Analytic Stacks* 講義ノート（Solovera e Nery 記録）](https://www.esaga.uni-due.de/f/thiago.solovera-e-nery/notes/analyticstacks.pdf)（Lecture 2, Def. 2.9：light condensed sets） - [nLab: light condensed set](https://ncatlab.org/nlab/show/light+condensed+set) ## 未解決・次の一手 - **\(\theta_S\) の全射性（一般の profinite \(S\)）**：ED cover \(p:T\twoheadrightarrow S\) 上の \(\Sigma\in\mathrm{IER}(T)\) が \(T\times_ST\) 上で descent datum（\(\approx\) の意味で）をもつとき，\(\Sigma'\in\mathrm{IER}(S)\) で \(p^{*}\Sigma'\approx\Sigma\) なるものがあるか．素朴な \(\Sigma'=\{L\mid(p\times p)^{-1}L\in\Sigma\}\) は \(\ker p\in\Sigma\) を要求し，block ごとにしか保証されない． - **filter の明示形**：系 F1 の quotient \(\mathbf{Sh}(\mathcal K_\gamma)\) に対応する \(\Lambda_\gamma\subseteq\Xi_{\mathrm{Cond}}\) を定理 C の言葉で書く．候補：\([\Sigma]\in\Lambda_\gamma(T)\iff\) ある clopen 分割の各 block で \(\underline{T_i}/R_{\Sigma_i}\) が \(\mathcal K_\gamma\)-generated．定理 E の鎖 \([R_{\mathcal P_\gamma}]\) と \(\Lambda_\gamma\) の関係（\(\underline S/R_{\mathcal P_\gamma}\) は \(\mathcal K_\gamma\)-generated か？）は未検討． - **Cond の hyperconnected quotient の完全分類**：定理 F の形（site の閉部分クラス）で尽きるか．\(\Xi_{\mathrm{Cond}}\) の filter で site から来ないものがあるか． - **[[dvp4vx]] への接続**：定理 A は任意の extensive site で使えるので，「gros topos の \(\aleph_0\)-Gaeta approximation」が定義できれば同じ公式でその \(\Xi\) を比較できる． - **一般の Gaeta topos の \(\operatorname{Quot}(yc)\)**：定理 A は \(\operatorname{Quot}\) を残す．\(\mathcal C\) が regular なら B2 型の記述（\(\mathcal C\) の \(\mathcal C\)-closed relation の ideal）が期待できる． ## 2026-09-07 追記（Claude，洞の指示で未解決を完了） - **「Cond の hyperconnected quotient は全部 admissible class から来るか」は No**．[[q94bet]]：\(R_{\mathrm{fin}}\)（有限個の点での書き換え）が生成する internal filter \(\Lambda_{\mathrm{fin}}\) の quotient \(Q_{\mathrm{fin}}\) は，representable part が \(\mathbf{FinSet}\) だけなのに \(\underline S/R_{\mathrm{fin}}\)（一点しかもたない非自明な condensed set）を含み \(\mathbf{Set}\) より大きい．正しい主張は「representable で生成される quotient ⟺ admissible class（像で閉じたもの）」，完全分類は「IER の admissible class」（TAC 42-11 の翻訳）．定理 F の admissible class は像の閉性を仮定していないが \(F_{\mathcal K}=F_{\bar{\mathcal K}}\)（像による閉包）． - CB rank は \(R_{\mathcal P_\gamma}\) 型の quotient \(Q_{\mathcal P_\gamma}\) として **二本目の鎖**も与える． - \(\theta_S\) の全射性（一般 profinite \(S\)）：[[age5ew]] 定理 A（IER は単独の全射について sheaf）により，第一段の plus construction は有限閉被覆上の exactly compatible family に帰着する．ただし閉被覆上の compatible family は貼れないことがある（[[age5ew]] 観察 B）ので依然未解決．