問い #278

Schanuel toposのLSC ## Trigger Notion「研究テーマ」DBの `LSC of Shanuel topos`（優先度★★★★、進行状況 ●○○、**問いの定式化: Yes**、Categorical Structures 欄は Species-like category と Topos、coresearcher 欄は空）から瓶化した。Notion のページに本文は無いが、「問いの定式化: Yes」が立っている数少ないページの一つであり、問いとしては形になっているものとして扱う。 hora-tex に関連する草稿がある。 - `overleaf/Finite axiom choice, Schanuel topos, and profinite Galois group/First_Ver/main.tex` ## Idea Schanuel topos の local state classifier \(\Xi\) が何になるかを計算する。 Schanuel topos は有限集合と単射のなす圏上の atomic topos で、nominal sets の圏として知られる。この topos の quotient を分類する \(\Xi\) が、どのような具体的な対象になるかを問う。 Notion の Categorical Structures 欄が「Species-like category」であることから、species（有限集合と全単射のなす圏上の前層）との類縁が意識されていると読める。ただし \(\Xi\) の具体形についての見立ては Notion のページに書かれていない。 ## Goal Schanuel topos の \(\Xi\) を明示的に書き下す。 ## Personal context [[y65duj]] は permutation model 一般と internal axiom of choice の関係を扱うが、こちらは Schanuel topos という特定の topos の \(\Xi\) を計算する問いである。上の overleaf の草稿は、有限選択公理・Schanuel topos・profinite Galois group を並べており、両方に関わる。 ## 2026-08-26 AI研究監査：Schanuel topos の明示計算 原子の可算無限集合を $\mathbb A$，$G=\operatorname{Sym}(\mathbb A)$ を pointwise convergence topology 付きとする．Schanuel topos は continuous $G$-sets（nominal sets）である．その local state classifier は open subgroups の共役作用 \[ \Xi_{\mathrm{Sch}}\cong\operatorname{OpenSub}(G) \] であり，より具体的には \[ \Xi_{\mathrm{Sch}} \cong\{(A,K)\mid A\subset\mathbb A\text{ finite},\ K\le\operatorname{Sym}(A)\} \] である．$(A,K)$ は \[ H_{A,K}=\{g\in G\mid gA=A,\ g|_A\in K\} \] を表す．canonical map は nominal element $x$ を stabilizer $\operatorname{Stab}(x)$ へ送る． 根拠：任意の open subgroup $H$ はある有限 $A$ について pointwise stabilizer $G_{(A)}$ を含む．有限 support の族は交わりで閉じ，最小 support $A$ を持つ．$H$ による共役から $A$ は $H$-不変なので \[ G_{(A)}\le H\le G_{\{A\}}, \] 従って $H$ は一意な $K\le G_{\{A\}}/G_{(A)}\cong\operatorname{Sym}(A)$ の逆像である． 自明部分群は open でないため bottom element は存在しない．よって bottom criterion を用いれば Schanuel topos は étendue ではない．公開前に open subgroup の最小 support の補題を人間が再検証する必要がある． ## 2026-09-07 監査（Kobin 研究継続 run） - 「open subgroup の最小 support の補題」（上の再検証要請）を検証した：有限集合 $A,B$ について $G_{(A\cap B)}=G_{(A)}G_{(B)}G_{(A)}$ が成り立つ（$\mathbb A\setminus(A\cap B)$ が無限であればよい）．証明と有限モデルでの総当たり確認は [[egr9q3]] Lemma 2 にある．これにより上の $\Xi_{\mathrm{Sch}}\cong\{(A,K)\}$ は正しい． - **既知結果との照合**：Google Drive の手書きノート *LSC of the Schanuel topos.pdf*（2026-08-01 upload，14 頁）に，$\operatorname{Fix}_S$ による両側剰余類の補題（$\sigma,\tau$ が同じ $\operatorname{Fix}_S$-double coset ⟺ $\sigma|_S=\tau|_S$）と「$S,T$ が $x$ を support すれば $S\cap T$ も support する」（$\sigma\in\operatorname{Fix}_S\operatorname{Fix}_T\operatorname{Fix}_S$）の証明があり，最小 support の存在まで到達している．よって本瓶の 2026-08-26 の result は **洞自身の既知結果** と位置づける． - ノート最終頁の推測「$\Xi(A)=\operatorname{Sub}(\mathfrak S_A)$ would be」（presheaf 表示）は修正が要る：stage $A$ の元は $\operatorname{Fix}_A$ で正規化される open subgroup，すなわち support $\subseteq A$ のものなので $\Xi(A)=\coprod_{B\subseteq A}\operatorname{Sub}(\mathfrak S_B)$（$|A|=1$ で 2 元）． - 帰結：この $\Xi$ から TAC 42-11 の main theorem で quotient が決まり，**Schanuel topos の quotient は $\mathbf{Sch}$ と $\mathbf{Set}$ の 2 つだけ**（conjugate closed filter が $\{G\}$ と全体しかない）．証明は [[egr9q3]]．