投稿

F₂₀ transducer ladder ## Trigger [[mm9qed]] の「少数生成元の height-one 表現を入力拡張で全元 alphabet へ移せるか」という問いを、2026-08-27の `gsh_bootstrap` 採掘で transducer の state monoid による段階構造として精密化した。同時に、F₂₀ word problem の幾何的な記述を同じ瓶へ統合する。 ## Question height 1 の言語 \(K\) と sequential transducer \(\sigma\) に対し、逆像 \(\sigma^{-1}(K)\) はどの条件下で再び generalized star height 1 以下になるか。 state monoid の仮定を強めると、次の ladder が現れる。 - 仮定なし: 問いは generalized star-height 予想そのものと同等の強さ。 - aperiodic: Pin–Straubing–Thérien 1992, Theorem 7.8 の範囲で肯定。 - elementary abelian 2-group: 同論文の Theorem 7.6 の範囲で肯定。 - cyclic group \(C_4\): F₂₀に対応する最初の未知段。 - 任意の abelian state group: 肯定できれば、Krasner–Kaloujnine の埋め込みにより全有限可解群へ広がる。 したがって、一般的な abelian 予想を直接攻めるのではなく、**state group \(C_4\)、入力が \(C_5\)-counting language** という最小の未知段を攻める。 ## Affine-bundle model 半直積 F₂₀ = C₅ ⋊ C₄ を、底 \(\mathbb Z/4\) と繊維 \(\mathbb Z/5\) からなる flat affine bundle と見る。半直積の平移成分 β は crossed homomorphism 条件の一意解で、word problem はその holonomy が自明になる条件である。この記述により、難しさは β の存在ではなく、**height-one言語の演算で β を定義できるか**に局在する。 ## Evidence boundary 二生成元の一つの標準的射に対しては height 1 表現が証明されているが、これは**F₂₀が認識する全言語や全元 alphabetの解決ではない**。affine-bundle記述と身近な計算証拠は lower bound を与えず、F₂₀全体の height-one 問題は未解決。一部の構造定理は repository 内で機械検査されているが、全体の独立査読と 1992–2026 の先行研究調査は未了である。 ## Goal \(C_4\)-state transducer の最小段で β の definability を明示的な height-one 表現にする。その証明と反例探索のどちらにも使えるよう、transducer ladder を独立の補題群へ分解する。

CORE2還元と素朴分解の限界 ## Trigger ChatGPT会話「理論的ゴリ押し」から生まれた `exploring-math/generalized-star-height` の成果群を、2026-08-27の採掘で「大域的に正確な還元」と「素朴な証明機構への反例」を混ぜない一系列として回収した。 ## Result 1: two-state CORE2 equivalence 有限 alphabet 上の star-free 言語を成分とする任意の 2×2 行列 \(Q\) に対し、\(Q^*\) の全成分が generalized star height 1 以下であるという命題 `M2` を考える。`M2` は、 \[ (A\cup BD^*C)^*\in GH_1 \] が全ての star-free \(A,B,C,D\) で成り立つという一つのスカラー命題 `CORE2` と同値である。さらに、これらは**全正則言語の generalized star height が1以下**という大域的肯定命題と同値である。 鍵は、一文字を新しい二文字の積へ置き換える elementary expansion を、aligned boundary と internal boundary の二状態で正確に追跡する cut compiler である。 ## Result 2: naive compilers fail 上の還元は GSH を解決しない。むしろ、次の素朴な解決ルートが不十分であることが正確に分かっている。 - 任意の有限DFAを単純な経路分解にすると、positive first-return language が必ず star-free になる、という補題は偽。最小の反例は3状態・2文字で得られる。 - canonical first-return set \(C\) を含む star-free \(S\) を選んで \(C^*=S^*\) に直す一生成元のrepairも、その反例で不可能。 - 予め固定した一つの短い syntactic collision、または有限個のcollision一覧で全 star-free operand を一様に排除することもできない。 ## Evidence boundary CORE2還元とloop-erasureの恒等式はcutoffを用いない全称定理として記録されている。finite-collision evasion には別実装によるhostile reviewもある。しかし、これらはいずれも generalized star-height 予想の肯定または否定を与えない。系列全体の外部査読と新規性調査は未了である。 ## Goal 完全なボトルネックである `CORE2` を独立の標的にする。次の候補機構は、固定collisionや一生成元rootではなく、実際の star-free operand の構造に応じて変化する contextual な不変量を持たねばならない。 ## Personal context [[w9v6hw]] の single-observer reduction と [[mm9qed]] の input extension は近い目的を持つが、この瓶はそれらから成立した系譜ではない。関連は slogan と本文内の参照に留める。

canonical pointとprofinite word ## Trigger automata の Galois-theoretic 類比を考える中で，Topoi of Automata I に現れる canonical point \[ p:\mathbf{Set}\to \mathbf{Cont}(\widehat{\Sigma^*}) \] が，どのモデルの自己写像を見ているのかを問うた． ## Idea canonical point の inverse image は underlying-set functor であり，有限対象に制限すると \[ U_\Sigma:\Sigma\text{-}\mathbf{FinSet}\to\mathbf{FinSet},\qquad (Q,\delta)\mapsto Q \] となる．したがって対応するモデルは，一つの finite automaton ではなく，**全ての finite \(\Sigma\)-automata の状態集合を同時に保持する fiber functor** である． その自己自然変換 \[ \alpha:U_\Sigma\Rightarrow U_\Sigma \] は，各有限 automaton \(Q\) に写像 \(\alpha_Q:Q\to Q\) を与え，任意の automaton morphism \(f:Q\to R\) と可換する「全有限オートマトン上で一様な状態変換」である．有限語 \(w\in\Sigma^*\) は \[ q\mapsto q\cdot w \] を与え，有限観測に関して完備化すると任意の profinite word \(u\in\widehat{\Sigma^*}\) が同様の自然変換を与える．逆に全ての自己自然変換は一意な profinite word から生じるため，右作用の規約では \[ \operatorname{Nat}(U_\Sigma,U_\Sigma)\cong \widehat{\Sigma^*}^{\mathrm{op}}, \qquad \widehat{\Sigma^*}\cong \operatorname{End}(p)^{\mathrm{op}}. \] pro-object として canonical point を表現する普遍モデルは regular profinite action \[ P_\Sigma=\widehat{\Sigma^*} \] であり，有限連続右作用 \(Q\) に対して \[ Q\cong \operatorname{Hom}^{\mathrm{cont}}_{\widehat{\Sigma^*}}(\widehat{\Sigma^*},Q), \qquad q\leftrightarrow(u\mapsto q\cdot u). \] 従って profinite word とは，「無限に長い語」というより，**全ての有限オートマトン上の互いに整合的な状態変換の族**そのものである． Galois 類比は \[ G_K\cong\operatorname{Aut}(\omega_K) \quad\leftrightarrow\quad \widehat{\Sigma^*}\cong\operatorname{End}(U_\Sigma)^{\mathrm{op}} \] である．Galois category では全ての対称性が可逆なので group，automata では語を読む操作が一般に不可逆なので monoid が復元される． ## Goal Topoi of Automata I/II における canonical point，profinite monoid，regular languages の関係を，semi-Galois reconstruction として明示する．特に canonical Boolean algebra への作用が language quotient \[ L\mapsto u^{-1}L \] を与えることまで一つの物語として整理する． ## Personal context ACF\(_0\) の Booleanization と \(G_{\mathbb Q}\) の関係において，分離閉包に対応する fiber functor の自己同型群が Galois group を復元するのと平行である．automata 側では「自己同型」を「自己準同型」に置き換えた semi-Galois 理論になる．

Aperiodic cycle rank ## Trigger 2026-07-24のChatGPT会話「幾何的手法」で、洞が *Transition Graphs and the Star-Height of Regular Events* を読む文脈で「否定があるから Boolean algebra、Stone duality、profinite monoid が現れる。その面白さを活用し、aperiodic cycle rank を定義したい」と提案した。2026-08-27のChatGPT履歴採掘でその問いを再発見した。 ## Question Eggan の cycle rank は、通常の star height と有限 automaton の graph 構造を結ぶ。generalized star height では complement が入るため、単なる有向graphのcycle数では Boolean 演算と profinite 構造を見失う。 そこで、次を同時に満たす **aperiodic cycle rank** または **Boolean cycle rank** を定義できないか。 1. 通常のgraph cycle rankへ忘却すると Eggan 型の上界を回復する。 2. star-free 言語、すなわち aperiodic monoid による観測を「高さ0」の豊かなlabelとして扱う。 3. complement・Boolean closure・quotient で不変または非増大。 4. language の generalized star height に対する上界を与え、可能なら最小表現の不変量として特徴づける。 5. Stone duality または free profinite monoid 上で、aperiodic quotient による切断と循環の層として読める。 ## First model star-free language をlabelに持つ有限 automaton、または状態間をaperiodicな言語で結ぶ enriched graph を考える。状態除去のときに発生するstarの層数をrankとし、Boolean演算は同一階層内の操作として吸収する。これは定義候補であり、不変性はまだ証明されていない。 ## Evidence boundary この瓶は洞自身の問いを保存するもので、定理や先行研究上の新規性を主張しない。関連文献の系統調査、定義の Morita 不変性、generalized star height との厳密な不等式は全て未解決である。 ## Goal Weis L2、F₂₀、および小さなDFAをcalibration例にして、通常のcycle rankでは区別できないが generalized star height では異なる構造を検出できる最小の定義を作る。 ## Personal context [[xadbpa]] の closure/isotropy と [[rkysd8]] の word-game language は実験対象になるが、この瓶がそれらから生まれたわけではない。

Topoi II 五重対応 ## Trigger *Topoi of automata II* の完成に向け，hora-tex の本文・proof audit・関連する未解決瓶を横断して，orbit-finite（= every orbit finite）な \(\Sigma^*\)-sets の toposについて中心予想を再構成した．Adámek--Milius--Myers--Urbat の local Eilenberg theorem，Gehrke--Grigorieff--Pin の equational theory，Reiterman 型定理，Uramoto の semi-Galois theory，Morgan Rogers の topological monoid action topoi と比較した． ## Result 有限 alphabet \(\Sigma\) と \(M=\Sigma^*\) に対し，\(\mathcal A=\mathbf{PSh}(M)\)，\(\mathcal A_{\mathrm{of}}\subseteq\mathcal A\) を every orbit finite な \(M\)-sets の full subtopos とする．また \(\Xi_f\) を finite-index right congruences の \(M\)-setとする．すると標準的な complete-lattice isomorphisms \[ \operatorname{HQ}(\mathcal A_{\mathrm{of}}) \cong \operatorname{Filt}(\Xi_f) \cong \operatorname{LV}(\Sigma) \cong \operatorname{LPV}(\Sigma) \cong \operatorname{ProfQuot}(\widehat{M}) \cong \operatorname{ProfCong}(\widehat M)^{\mathrm{op}} \] が得られる．ここで - \(\operatorname{LV}(\Sigma)\) は regular languages の Boolean subalgebrasで，left/right derivativesの双方で閉じるもの， - \(\operatorname{LPV}(\Sigma)\) は finite \(\Sigma\)-generated monoids の classesで，quotients と finite subdirect products で閉じるもの， - \(\operatorname{ProfQuot}(\widehat M)\) は free profinite monoid \(\widehat M\) の profinite quotient monoids， - \(\operatorname{ProfCong}(\widehat M)\) は quotient が profinite になる closed two-sided congruences（すべての closed congruences ではない） である． language-sideの写像は \[ \mathbb L(F)=\{L\subseteq M\mid \sim_L\in F\},\qquad \mathcal T(C)=\langle\sim_L\mid L\in C\rangle \] であり，Topoi II の既存の Galois connection \(\mathcal T\dashv\mathbb L\) は interval \(\operatorname{HQ}(\mathcal A_{\mathrm{of}})\) 上で同型へ強化される． ## Proof spine 1. Hyperconnected quotients of a hyperconnected quotient are the lower interval of ambient hyperconnected quotients．これにより \[ \operatorname{HQ}(\mathcal A_{\mathrm{of}})\cong\operatorname{Filt}(\Xi_f). \] 2. finite-index right congruence \(\rho\) の各 equivalence class \(C_i\subseteq M\) を language とみると，それぞれ regular で \[ \rho=\bigwedge_i\sim_{C_i}. \] したがって finite-index filter は Nerode congruences から復元できる． 3. two-sided core \[ \rho^\sharp:=\bigwedge_{w\in M}(\rho*w) \] は \(\rho\) 以下最大の two-sided congruence．\(\rho\) が finite-index なら orbit \(\{\rho*w\}\) は有限なので，これは finite meet で filter 内に残る． 4. 2と3から \(\mathbb L\mathcal T=\mathrm{id}\)，\(\mathcal T\mathbb L=\mathrm{id}\) および \(F\leftrightarrow F\cap\Xi^2\) を得る． 5. \(F\) に対し \[ N_F=\varprojlim_{\theta\in F\cap\Xi^2}M/\theta \] と置けば profinite monoidであり，\(\mathcal E_F\simeq\mathbf{Cont}(N_F)\)． 6. compactness により，local pseudovariety は profinite equations \(u=v\) で公理化できる．逆に equations の models は quotients と finite subdirect products で閉じる．これは fixed-alphabet Reiterman theoremである． ## Important correction \(\operatorname{HQ}(\mathcal A_{\mathrm{of}})^{\mathrm{op}}\) を「\(\widehat M\) 上の全 closed congruences」と同一視してはいけない．安全な対象は，quotient が再び profiniteになる congruences，すなわち intersections of clopen finite-index congruences である．一般の profinite algebraには closed congruence whose quotient is not profinite が存在しうる． ## Examples - top: all regular languages / all finite \(\Sigma\)-generated monoids / \(\widehat M\)． - bottom: \(\{\varnothing,M\}\) / trivial monoid / one-point profinite quotient． - group languages: finite \(\Sigma\)-generated groups / free profinite group quotient． - star-free languages: finite aperiodic \(\Sigma\)-generated monoids． - one-letter alphabet: \(p\)-power periodic languagesに \(\mathbb Z_p\) が対応する． ## Literature comparison local variety \(\leftrightarrow\) local pseudovariety自体は既知であり，その新規性を主張しない．本結果の候補的新規性は，同じ lattice を local state classifier によって **fixed ambient automata topos の hyperconnected quotient intervalそのもの** と同定し，\(\mathbb L/\mathcal T\) を具体的に inverseとして与える点にある．Uramoto の semi-Galois/topos-theoretic formulationとは競合ではなく，LSCによる quotient-topos側の明示化として比較する． ## Goal この五重対応を *Topoi of automata II* の主定理に昇格し，現在の abstract の bijection claim，local-variety conjecture，profinite-equation節を一つの定理として統合する． ## Terminology correction: prodiscrete topology versus prodiscrete monoid Morgan Rogersは次を明確に区別する． - **prodiscrete monoid**: discrete monoids の projective limitとして TopMon 内で得られるもの（Definition 2.19）． - **monoid endowed with a prodiscrete topology**: underlying topological spaceが discrete sets の projective limit topologyをもつ topological monoid．coordinate quotientsは monoidsである必要がない． 任意の hyperconnected quotientから得られる canonical complete powder monoid \(L_F\) は常に後者である（Theorem 3.20）．前者になる必要十分条件は filterが two-sided congruences の basisを持つこと（Corollary 3.33）．従って一般の language classについても topological/prodiscrete-topology representationは存在し，Dyckが否定するのは discrete monoids の pro-objectとしての representationだけである．regular/orbit-finite側ではこの distinctionが消え，canonical monoidは profiniteになる．

Slice LSCのisotropy束 ## Trigger [[e568dw]] の slice LSC formula と [[n6v2sg]] の normal local states を，群作用トポスで同時に具体化した．一般の「LSC と isotropy」の問題に対する，完全に計算できる test case である． ## Result **定理（local-state isotropy bundle）．** 離散群 \(G\) の左作用 \(G\curvearrowright X\) を取る．slice topos \(G\text{-}\mathbf{Set}/X\) の local state classifier は，\(X\) 上の \(G\)-set \[ \boxed{ \Xi_{/X} \cong \{(x,H)\mid x\in X,\ H\le G_x\} \longrightarrow X } \] である．ここで \[ G_x=\{g\in G\mid gx=x\}, \qquad g\cdot(x,H)=(gx,gHg^{-1}). \] さらに \(G\)-map \(p:Y\to X\) に対する canonical map は \[ \boxed{ \xi_Y^{/X}(y)=\bigl(p(y),G_y\bigr). } \] ## Proof action groupoid \(G\ltimes X\) を，objects を \(x\in X\)，arrows \(x\to gx\) を \(g\in G\) として定める．fiber \(Y_x=p^{-1}(x)\) を取り，arrow \(g:x\to gx\) に \(y\mapsto gy\) を対応させることで \[ G\text{-}\mathbf{Set}/X\simeq[G\ltimes X,\mathbf{Set}] \] を得る． 一般に groupoid \(\mathcal G\) の representable \(\mathcal G(x,-)\) の quotients は，subgroups \[ H\le\operatorname{Aut}_{\mathcal G}(x) \] と対応する．identity arrow の同値類が \(H\) を与え，equivariance により quotient relation 全体が決まる．arrow \(g:x\to x'\) に沿う transport は \(H\mapsto gHg^{-1}\) である． \(G\ltimes X\) では \(\operatorname{Aut}(x)=G_x\) なので，local states は pair \((x,H)\), \(H\le G_x\) である．また \(y\in Y_x\) が生成する representable quotient の kernel は \[ \{h\in G_x\mid hy=y\}=G_y, \] 従って canonical map の公式も従う． ## Corollaries 1. \(X=1\) なら，共役作用付き subgroup object \[ \Xi_{G\text{-}\mathbf{Set}}\cong\operatorname{Sub}(G) \] を回収する． 2. normalization operator は \(H\mapsto N_G(H)\) であり，\(\operatorname{Eq}(\nu,\top)\) は normal subgroups である． 3. slice formula \[ \Xi_{/X}\cong\{(x,H)\mid H\le\xi_X(x)\} \] が stabilizer の言葉で文字通り実現される． ## Interpretation \[ \text{local state at }x = \text{isotropy group }G_x\text{ の部分群} \] である．すなわち LSC は，固定した一つの isotropy group の opens ではなく，base point とともに変動する **subgroup-valued isotropy bundle** として現れる． ## Status 離散群作用の test case として証明済み．一般の localic isotropy group に対する sheaf/open-subgroup 版との比較は，既存の共同研究と区別して扱う必要がある．

Slice LSCと選択公理 ## Trigger [[e568dw]] の slice LSC と internal axiom of choice の接続を調べる過程で，非自明な群 \(G\) に対する epi \(G\to1\) が split しないことから \(G\text{-}\mathbf{Set}\) の IAC 失敗を結論してしまった．これは internal axiom of choice と，every epimorphism splits という external axiom of choice の混同である．[[y65duj]] の選択公理プログラムと [[j9bcyf]] の étendue criterion を正しく接続し直す． ## Result Barr--Wells の用語では，topos \(\mathcal E\) に対し： - \(\mathrm{AC}\)：すべての epimorphism が外的な section を持つ． - \(\mathrm{SS}\) (Supports Split)：codomain が \(1\) の subobject である epi が split する． - \(\mathrm{IAC}\)：任意の epi \(p:Y\twoheadrightarrow X\) と任意の \(C\) に対して \(p^C:Y^C\twoheadrightarrow X^C\) が epi である． また \(\mathrm{AC}=\mathrm{IAC}+\mathrm{SS}\) である． 射 \(p:Y\to X\) の sections の対象を \[ \operatorname{Sec}(p):=1\times_{X^X}Y^X \] とする．ここで \(1\to X^X\) は \(\operatorname{id}_X\) の transpose，\(Y^X\to X^X\) は \(p\) との postcomposition である．すると \[ p\text{ が split} \Longleftrightarrow \operatorname{Sec}(p)\text{ が global point を持つ}． \] 一方，Barr--Wells の Proposition 7.2.2 により，epi \(p\) が IAC の結論を満たすことは \[ \operatorname{Sec}(p)\to1\text{ が epi} \] すなわち \(\operatorname{Sec}(p)\) が globally supported であることと同値である． ここで [[e568dw]] の slice formula \[ D_X:=\Xi_{\mathcal E/X} \cong \{(x,u)\mid u\preceq\xi_X(x)\} \] を仮定する．top section と slice-state map を \[ t_X:=\langle\operatorname{id}_X,\xi_X\rangle:X\to D_X, \qquad \bar\xi_p:=\langle p,\xi_Y\rangle:Y\to D_X \] とおき， \[ \operatorname{Lift}_{\Xi}(p) :=1\times_{D_X^X}Y^X \] を定める．ここで \(Y^X\to D_X^X\) は \(\bar\xi_p\) との postcomposition，\(1\to D_X^X\) は \(t_X\) の transpose である． section \(s:X\to Y\) について \[ ps=\operatorname{id}_X \quad\Longleftrightarrow\quad \bar\xi_ps=t_X \] である．左辺なら \(s\) は monic なので \(\xi_Ys=\xi_X\) であり，逆向きは第一成分を取ればよい．従って自然な同型 \[ \operatorname{Lift}_{\Xi}(p)\cong\operatorname{Sec}(p) \] がある．よって slice LSC による正しい選択公理の判定は \[ \mathcal E\models\mathrm{IAC} \Longleftrightarrow \forall p:Y\twoheadrightarrow X, \ \operatorname{Lift}_{\Xi}(p)\to1\text{ is epi}, \] である．一方，every epi splits という external AC は，各 \(\operatorname{Lift}_{\Xi}(p)\) が actual global point を持つことを要求する． ## Example: \(G\)-sets 非自明な離散群 \(G\) に対し \(G\text{-}\mathbf{Set}\) は IAC を満たすが AC を満たさない（Barr--Wells，Exercise GAC）．左正則作用に対する epi \[ G\twoheadrightarrow1 \] には equivariant section がない．しかし \[ \operatorname{Sec}(G\to1)\cong G \] は global point を持たない一方で global support は持つ．従ってこの例は IAC の反例ではなく，Supports Split と external AC の失敗例である． ## Étendue との接続 Freyd--Scedrov の特徴づけによれば，Grothendieck topos が IAC を満たすことは Boolean étendue であることと同値である．従って [[j9bcyf]] の bottom criterion \[ \mathcal E\text{ is an étendue} \Longleftrightarrow \Xi\text{ has a global bottom} \] が確立されれば \[ \mathcal E\models\mathrm{IAC} \quad\Longleftrightarrow\quad \mathcal E\text{ is Boolean and }\Xi\text{ has a global bottom} \] となる．bottom は étendue 性を，Booleanity と合わせた条件は IAC を，さらに Supports Split を加えた条件は external AC を表す． ## Goal [[y65duj]] の permutation-model／choice 研究では，「global section の存在」ではなく「section object の global support」を計算対象にする．特に nominal sets や continuous action topoi で，\(\operatorname{Lift}_{\Xi}(p)\) の support を subgroup／stabilizer data から記述する． ## References - [Michael Barr and Charles Wells, *Toposes, Triples and Theories*, Chapter 7, §2](https://www.math.mcgill.ca/barr/papers/ttt.pdf) - Peter J. Freyd and Andre Scedrov, *Categories, Allegories*, North-Holland, 1990, p.181． - [Radu Diaconescu, *Axiom of Choice and Complementation*](https://doi.org/10.1090/S0002-9939-1975-0373893-X) - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html)

Reflected Day convolution ## Trigger [[jkjtsg]] の「box積はDay convolutionか」，[[f4qpnc]] の Games and Species，[[tauvfv]] の closed structures の三瓶を，dense generators 上の Day convolution と reflection の一般定理で接続した． ## Result **定理（reflected Day convolution）．** \((\mathcal C,\otimes,I)\) を cocomplete monoidal category とし，\(\otimes\) が各変数で小余極限を保つとする． \[ j:\mathcal A\hookrightarrow\mathcal C \] を小さい full dense monoidal subcategory で，unit を含み tensor に閉じるものとする．restricted Yoneda とその左随伴を \[ N:\mathcal C\to[\mathcal A^{\mathrm{op}},\mathbf{Set}], \qquad L(P)=\int^{a\in\mathcal A}P(a)\cdot a \] とする．\([\mathcal A^{\mathrm{op}},\mathbf{Set}]\) に \(\mathcal A\) の tensor から誘導される Day convolution \(\star\) を入れると，自然同型 \[ \boxed{L(P\star Q)\cong L(P)\otimes L(Q)} \] がある．特に \[ \boxed{X\otimes Y\cong L(NX\star NY)} \] である． ## Proof Day convolution の coend formula と co-Yoneda lemma により \[ L(P\star Q) \cong \int^{a,b\in\mathcal A}P(a)\times Q(b)\cdot(a\otimes b). \] 一方，\(\otimes\) の各変数での cocontinuity により \[ \begin{aligned} L(P)\otimes L(Q) &=\left(\int^aP(a)\cdot a\right)\otimes \left(\int^bQ(b)\cdot b\right)\\ &\cong \int^{a,b}P(a)\times Q(b)\cdot(a\otimes b). \end{aligned} \] 従って \(L\) は strong monoidal である．\(\mathcal A\) の density により \(LNX\cong X\) なので，第二の公式が従う． ## Application to games \(\mathcal C=\mathbf{Game}\)，\(\mathcal A=\mathbf{Game}_{\mathrm{fp}}\) を finitely presentable games の小 skeleton とし，Conway addition が各変数で cocontinuous かつ \(\mathcal A\) を保つ場合， \[ X+Y\cong L(NX\star_{\mathrm{Day}}NY). \] 従って Conway addition は Game 自身を前層圏と同一視した literal Day convolution ではないが，finite games 上の Day convolution を Gabriel--Ulmer 型 reflection で戻した **reflected Day convolution** である． ## Interpretation \[ \text{大きな圏の tensor} = \text{小さな生成対象上の組合せ論} + \text{free cocompletion/reflection} \] である．Games と Species の接点は対象の同一視ではなく，tensor の普遍表示にある． ## Status 一般定理は標準的な coend argument で証明済み．Game への適用では，選んだ finitely presentable subcategory が tensor に閉じることを原論文の定義に沿って明示確認する必要がある．

自由monoidのcohomology ## Trigger [[u7jfpc]] の離散力学系トポスの cohomology を，[[da9hkj]] の automata/language topoi へ拡張する最初の基準計算として，自由 monoid \(\Sigma^*\) の cohomology を完全に計算した． ## Result **定理（free-monoid cohomology）．** 非空 alphabet \(\Sigma\) と free monoid \(M=\Sigma^*\) を取る．\(A\) を左 \(\mathbb Z[M]\)-module とし，各 generator \(a\in\Sigma\) の作用を \(T_a:A\to A\) と書く．このとき \[ H^0(M;A)=\{x\in A\mid T_ax=x\ \forall a\in\Sigma\}, \] \[ H^1(M;A) \cong A^\Sigma/ \{(T_ax-x)_{a\in\Sigma}\mid x\in A\}, \] かつ \[ H^q(M;A)=0\qquad(q\ge2). \] 従って \(\Sigma\ne\varnothing\) なら \(\operatorname{cd}(\Sigma^*)=1\) である． ## Proof \(R=\mathbb Z[M]\) と置き，左 \(R\)-modules の列 \[ 0\longrightarrow\bigoplus_{a\in\Sigma}Re_a \xrightarrow{d}R \xrightarrow{\varepsilon}\mathbb Z \longrightarrow0, \qquad d(e_a)=a-1 \] を考える．任意の word \(w=a_1\cdots a_n\) に対し \[ w-1=(a_1-1)+a_1(a_2-1)+\cdots+a_1\cdots a_{n-1}(a_n-1), \] 従って \(\operatorname{im}d=\ker\varepsilon\) である． \(d\) の injectivity を示す．\(\sum_ar_ae_a\in\ker d\) とし，係数 \(r_a\) に現れる word length の最大値を \(N\) とする．\(\sum_ar_a(a-1)\) の length \(N+1\) の項は \(r_aa\) からしか来ない．word \(ua\) の最後の letter \(a\) は一意なので，その係数は \(r_a\) における \(u\) の係数である．よって最高次数の係数はすべて0であり，下降帰納法により各 \(r_a=0\) である． 従って上は projective resolution である．\(\operatorname{Hom}_R(-,A)\) を適用すると \[ 0\longrightarrow A \xrightarrow{\delta}A^\Sigma \longrightarrow0, \qquad \delta(x)=(T_ax-x)_{a\in\Sigma} \] を得る．その kernel と cokernel が \(H^0,H^1\)，高次は0である．trivial module \(A=\mathbb Z\) では \(\delta=0\) なので \(H^1\cong\mathbb Z^\Sigma\ne0\) であり，cohomological dimension は正確に1である． ## Interpretation \[ \boxed{ \text{alphabet の大きさは }H^1\text{ の横幅を増やすが，cohomological degree は増やさない} } \] \(\Sigma=\{t\}\) では \[ H^0=\ker(T-1),\qquad H^1=\operatorname{coker}(T-1) \] という \(\mathbb N\)-action の公式を回収する． ## Next step hyperconnected quotient \(q:\Sigma\text{-}\mathbf{Set}\to\mathcal H\) に対する Leray spectral sequence は，高次方向が1段しかないため短完全列へ退化する可能性が高い．quotient ごとの \(R^1q_*\) の計算が次の核心である． ## Status 基準計算は証明済み．regular-language quotient topoi 自体の cohomology は未計算である．

双連続観測の一点評価 ## Trigger Kobin 全体の横断監査で，[[etdzdy]] の「独裁は表現可能性」と [[bpjn8j]] の「認識論的再構成」を，前層圏から集合への双連続な observer の分類として定理化した． ## Result **定理（双連続観測の一点評価）．** 小さい Cauchy complete category \(\mathcal C\) と前層圏 \[ \widehat{\mathcal C}=[\mathcal C^{\mathrm{op}},\mathbf{Set}] \] を取る．すべての小極限とすべての小余極限を保つ関手 \[ F:\widehat{\mathcal C}\longrightarrow\mathbf{Set} \] は，ある \(c\in\mathcal C\) における evaluation と自然同型である： \[ F(X)\cong X(c). \] \(\mathcal C\) が Cauchy complete でない場合，\(c\) は \(\operatorname{Kar}(\mathcal C)\) の対象として取れる． ## Proof \(\widehat{\mathcal C}\) と \(\mathbf{Set}\) は locally presentable である．\(F\) は全余極限を保つので accessible であり，全極限も保つので adjoint functor theorem により左随伴 \[ L:\mathbf{Set}\rightleftarrows\widehat{\mathcal C}:F \] を持つ．\(P=L(1)\) と置けば \[ F(X)\cong\mathbf{Set}(1,F(X))\cong\widehat{\mathcal C}(P,X). \] したがって \(F\) は \(P\) により表現される．さらに \(F\) は全余極限を保つので \(P\) は tiny projective である． 標準的な category-of-elements 表示 \[ P\cong\operatorname*{colim}_{(c,x)\in\int P}y(c) \] へ \(\widehat{\mathcal C}(P,-)\) を適用する．この関手は上の余極限を保つため，\(\operatorname{id}_P\) はある一つの成分から来る．従って，ある \(c\) と射 \[ P\xrightarrow{r}y(c)\xrightarrow{i}P, \qquad ir=\operatorname{id}_P \] が存在し，\(P\) は representable の retract である．Cauchy completeness によりこの retract は representable \(y(d)\) である．Yoneda lemma から \[ F(X)\cong\widehat{\mathcal C}(y(d),X)\cong X(d). \] ## Interpretation 十分な exactness を持つ「全体から値を取り出す操作」は，generalized point ではなく一つの Cauchy point に硬化する．したがって \[ \text{双連続 observer}=\text{representing point} \] である．Arrow 型の独裁を直接証明する定理ではないが，「独裁者＝合意形成作用を表現する一点」という物語の厳密な圏論的原型を与える． ## Status 証明は自己完結しているが，文献上の既知性・priority は未監査である．

理論コホモロジー論文化 ## Trigger 幾何的理論の classifying-topos cohomology に関する瓶 `sygmu8` と具体計算瓶 `a3zvh7` を，論文・査読・horaXiv 公開単位へ整理した． ## Completed manuscripts 1. **Cohomological Jumps in Classifying Toposes under Geometric Quotients** - finitary algebraic theory の classifying topos では global sections が free model on $0$ generators での evaluation となり，任意の abelian coefficient に対して $H^{>0}=0$． - finite group $G$ の action theory の geometric quotient である torsor theory は $\mathbf BG$ を classify し，$G=C_m$ では $H^{2r}(\mathbf BC_m;\mathbb Z)=\mathbb Z/m$．従って cohomological dimension $0$ の presheaf topos が infinite integral cohomological dimension の Boolean atomic subtopos を持つ． - Bockstein を generic torsor の definable lift obstruction として解釈． - LHS spectral sequence により $S_3$-torsor theory の integral cohomology を完全計算． - $\overline{\mathbb F}_p$ を classify する Boolean field component $\operatorname{Cont}(\widehat{\mathbb Z})$ について $H^2(-;\mathbb Z)=\mathbb Q/\mathbb Z$． - Leray collapse により quotient axioms が作る higher obstruction を $R^qj_*$ に集中させる． 2. **Two Derived Geometries of a Logical Theory** - classifying-topos cohomology（models の descent geometry）と Lawvere/Quillen/Baues--Wirsching cohomology（syntax/presentation の derived geometry）を区別． - algebraic theory では前者が消える一方，Mirai Ikebuchi の Anick resolution・homological lower bounds により後者は axiom 数や rewriting syzygy を検出することを整理． - universal model，square-zero extension の relative classifying topos，stabilization を介する comparison program を明示的な open questions として定式化． ## Internal review 各論文について，topos/categorical logic，group cohomology，categorical algebra，rewriting logic の4役による adversarial AI referee report を作成した．主な修正は，presheaf orientation，action theory と torsor theory の区別，field theory の主張を positive-characteristic Boolean component に限定，Euler characteristic の存在条件，Bockstein/Leray/LHS の仮定，Ikebuchi 2026 を preprint とする訂正，fixed signature の限定である．これは外部人間査読ではない． ## Documents - `horaxiv_batch_2026-08-27/01_cohomological_jumps/main.pdf` - `horaxiv_batch_2026-08-27/02_two_derived_geometries/main.pdf` - `horaxiv_batch_2026-08-27/03_reviews/referee_dossier.pdf` - `horaxiv_batch_2026-08-27/04_portfolio/publication_audit.pdf` - `horaxiv_batch_2026-08-27.zip` ## Publication audit 他の chat/Kobin 履歴も，proof text が現在の runtime に存在するかを基準に棚卸しした．coskeletality/no-go，double category of games，games の symmetric monoidal closed classification，Topoi of automata II，relative LSC，LSC in presentable categories は manuscript-level candidate だが，完全な TeX・証明本文を取得できない状態で完成扱いにすることを避けた．Wythoff Grundy，CFL density，IUT/LANA，rieg theory 等は現段階では open/speculative と分類した． ## Transport status 論文・source・metadata は horaXiv upload-ready まで完成．ただしこの session では `秘書`/hora-tex connector が network error で到達不能で，GitHub write connector も無かったため，authenticated upload のみ未実行．接続復旧後に manifest の2件を AI-generated batch として投入する．

理論コホモロジー計算 ## Trigger 幾何的理論 $\mathbb T$ の classifying topos の $H^0,H^1$ と Euler characteristic を理論の言葉で記述する議論を，具体計算・論理的 obstruction・Mirai Ikebuchi の仕事との比較まで進めた．親瓶 `sygmu8` の計算部分を検算し，特に「algebraic theory」と「torsor theory」，および「全体の体論」とその Boolean quotient を区別して記録する． ## 0. 二種類の cohomology 幾何的理論 $\mathbb T$ と $A\in\mathbf{Ab}(\mathbf{Set}[\mathbb T])$ に対する classifying-topos cohomology は \[ H^n_{\mathrm{top}}(\mathbb T;A):=R^n\Gamma_{\mathbf{Set}[\mathbb T]}(A). \] これは torsor，gerbe，descent，definable global choice/lift の obstruction を測る． 一方，Lawvere theory $\mathbf L$ に対する Ikebuchi--Jibladze--Pirashvili 型の cohomology/homology は，enveloping ringoid $\mathcal U_{\mathbf L}$ と Kähler differentials $\Omega_{\mathbf L}$ を用いる \[ H^n_Q(\mathbf L;D)\simeq \operatorname{Ext}^n_{\mathcal U_{\mathbf L}}(\Omega_{\mathbf L},D), \qquad H_n(\mathbf L;Z_d)=\operatorname{Tor}^{\mathcal U_{\mathbf L}}_n(Z_d,\Omega_{\mathbf L}). \] これは presentation，axiom 数，rewriting syzygy，deformation を測る．両者は同じではない． ## 1. Algebraic theories では topoi 側が消える $\mathbb T$ を finitary algebraic theory（より一般に cartesian theory）とする．これは presheaf type で \[ \mathbf{Set}[\mathbb T]\simeq [\operatorname{fp}\mathbb T\text{-}\mathbf{Mod}(\mathbf{Set}),\mathbf{Set}]. \] $\mathcal A:=\operatorname{fp}\mathbb T\text{-}\mathbf{Mod}(\mathbf{Set})$ は free model on $0$ generators $F_{\mathbb T}(0)$ を initial object として持つ．従って \[ 1\cong \mathcal A(F_{\mathbb T}(0),-) \] は representable かつ projective であり，任意の abelian object $A$ に対し \[ \Gamma(A)\cong A(F_{\mathbb T}(0)),\qquad H^n_{\mathrm{top}}(\mathbb T;A)=0\quad(n>0). \] 具体的には，groups では $F(0)=1$，unital rings では $F(0)=\mathbb Z$，$R$-modules では $F(0)=0$ である． 重要な対比：$C_m$-actions の理論は algebraic なので高次 cohomology は消えるが，$C_m$-torsors の理論はその geometric quotient であり，以下のように非零になる． ## 2. $\mathbb Z$ 係数：cyclic torsor theory $\mathbb T^{\mathrm{tor}}_{C_m}$ を，sort $P$ と unary operation $\sigma$ を持ち，$\sigma^m=1$，inhabited，free，transitive を課す幾何的理論とする．その classifying topos は \[ \mathbf{Set}[\mathbb T^{\mathrm{tor}}_{C_m}]\simeq BC_m=C_m\text{-}\mathbf{Set}. \] periodic resolution \[ \cdots\xrightarrow{N}\mathbb Z[C_m] \xrightarrow{\sigma-1}\mathbb Z[C_m] \xrightarrow{N}\mathbb Z[C_m] \xrightarrow{\sigma-1}\mathbb Z[C_m]\to\mathbb Z\to0, \quad N=1+\sigma+\cdots+\sigma^{m-1}, \] に $\operatorname{Hom}_{\mathbb Z[C_m]}(-,\mathbb Z)$ を施すと differential は $0,m,0,m,\dots$ となる．よって \[ H^n(\mathbb T^{\mathrm{tor}}_{C_m};\mathbb Z)= \begin{cases} \mathbb Z & n=0,\\ 0 & n\text{ odd},\\ \mathbb Z/m & n>0\text{ even}. \end{cases} \] 特に \[ H^2(\mathbb T^{\mathrm{tor}}_{C_m};\mathbb Z)=\mathbb Z/m\neq0. \] これは $H^2$ が非自明な，極めて初等的な幾何的理論の例である． ## 3. 長完全列：Bockstein と lift obstruction 短完全列 \[ 0\to\mathbb Z\xrightarrow{\times m}\mathbb Z\to\mathbb Z/m\to0 \] から \[ \beta:H^1(BC_m;\mathbb Z/m)\xrightarrow{\sim}H^2(BC_m;\mathbb Z) \] を得る．左辺は \[ H^1(C_m;\mathbb Z/m)=\operatorname{Hom}(C_m,\mathbb Z/m)\cong\mathbb Z/m. \] その generator は generic $C_m$-torsor．$\beta$ は，この torsor を $\mathbb Z\twoheadrightarrow C_m$ に沿って $\mathbb Z$-torsor へ lift する gerbe の class である．従って「局所的 lift は存在するが，parameter-free definable な大域的 lift は存在しない」という論理的事実が Morita-invariant に証明される． より一般に有限群 $G$ について $0\to\mathbb Z\to\mathbb Q\to\mathbb Q/\mathbb Z\to0$ と $H^{>0}(G;\mathbb Q)=0$ より \[ H^2(G;\mathbb Z)\cong H^1(G;\mathbb Q/\mathbb Z) \cong\operatorname{Hom}(G_{\mathrm{ab}},\mathbb Q/\mathbb Z). \] 例えば $H^2(S_3;\mathbb Z)\cong\mathbb Z/2$． ## 4. LHS spectral sequence：$S_3$-torsor theory 群拡大 \[ 1\to C_3\to S_3\to C_2\to1 \] に対する Lyndon--Hochschild--Serre spectral sequence \[ E_2^{p,q}=H^p(C_2;H^q(C_3;\mathbb Z))\Longrightarrow H^{p+q}(S_3;\mathbb Z) \] を用いる．$H^{2k}(C_3;\mathbb Z)=\mathbb Z/3$，odd degree は $0$．$C_2$ の conjugation は inversion であり，degree $2k$ 上では $(-1)^k$ として作用する．また $2$ は $\mathbb Z/3$ 上可逆なので $p>0,q>0$ の項は消える．従って spectral sequence は collapse し \[ H^n(S_3;\mathbb Z)= \begin{cases} \mathbb Z & n=0,\\ 0 & n\text{ odd},\\ \mathbb Z/2 & n\equiv2\pmod4,\\ \mathbb Z/6 & n>0,\ n\equiv0\pmod4. \end{cases} \] 特に \[ H^2=\mathbb Z/2,\qquad H^3=0,\qquad H^4=\mathbb Z/6. \] これは $S_3$-torsor の幾何的理論の非自明な完全計算である． ## 5. Ikebuchi の最近の仕事との関係 Mirai Ikebuchi の 2026 年 preprint *Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory*（arXiv:2603.28382）は，normalized bar resolution を algebraic discrete Morse theory で collapse し，Lawvere theory の Anick resolution を高次元まで構成する． presentation $(\Sigma,E)$ に対する homological inequality \[ \#E-\#\Sigma+1\ge s(H_2(\mathbf L;Z_d))-\operatorname{rank}H_1(\mathbf L;Z_d)+\operatorname{rank}H_0(\mathbf L;Z_d) \] を用い，group signature \[ \Sigma_0=\{\_\cdot\_,e,\_^{-1}\} \] について任意の equivalent equation set $E$ が \[ \#E\ge\#\Sigma_0-1=2 \] を満たすことを得る．従ってこの signature では groups を single equation で axiomatize できない．これは従来 group-specific だった論理学的 no-go を homology から得る例である． 2025 年の *Homological Invariants of Higher-Order Equational Theories*（arXiv:2505.10149）はこの axiom-number obstruction を simply typed $\lambda$-calculus with products and unit，すなわち CCC presentations へ拡張する．さらに *Cohomology of Small Cartesian Closed Categories*（arXiv:2510.00488）は \[ H_Q^n(C;D)\cong H_{BW}^{n+1}(C;D)\quad(n>0) \] を示し，Lawvere theory に対する Jibladze--Pirashvili の証明中の不正確な proposition を修正している． 結論として，algebraic $\mathbb T$ では \[ H^{>0}_{\mathrm{top}}(\mathbb T;A)=0 \] だが，$H_*^{\mathrm{Lawvere}}(\mathbf L;-)$ は非自明で，axiom の最小数を検出する．これは「models の descent geometry」と「syntax/presentation の derived geometry」という二種類の geometry の明確な分離である． ## 6. 体論：正確に計算できる Boolean quotient 全ての fields の coherent theory $\mathbb T_{\mathrm{Fld}}$ 自体については，ここでは integral cohomology の完全計算を得ていない．Caramello--Johnstone は，その classifying topos が De Morgan でなく，DeMorganization が「nonzero characteristic で prime field 上 algebraic な fields」を classify することを示した． 固定した prime $p$ に対し \[ \mathbb T_{\overline{\mathbb F}_p} = \{\text{algebraically closed field of char. }p\} + \left(x\vdash_x\bigvee_{n\ge1}x^{p^n}=x\right) \] を考える．Set-model は $\overline{\mathbb F}_p$ 一つ（同型を除く）で，classifying topos は \[ \mathbf{Set}[\mathbb T_{\overline{\mathbb F}_p}] \simeq\operatorname{Cont}(G_p), \qquad G_p=\operatorname{Gal}(\overline{\mathbb F}_p/\mathbb F_p)\cong\widehat{\mathbb Z}. \] $0\to\mathbb Z\to\mathbb Q\to\mathbb Q/\mathbb Z\to0$，$H^{>0}_{\mathrm{cont}}(\widehat{\mathbb Z};\mathbb Q)=0$，torsion coefficients に対する $\mathrm{cd}(\widehat{\mathbb Z})=1$ を使うと \[ H^n(\mathbb T_{\overline{\mathbb F}_p};\mathbb Z)= \begin{cases} \mathbb Z & n=0,\\ 0 & n=1,\\ \mathbb Q/\mathbb Z & n=2,\\ 0 & n>2. \end{cases} \] ここで \[ H^2\cong H^1(\widehat{\mathbb Z};\mathbb Q/\mathbb Z) =\operatorname{Hom}_{\mathrm{cont}}(\widehat{\mathbb Z},\mathbb Q/\mathbb Z) \cong\mathbb Q/\mathbb Z. \] Caramello--Johnstone の Booleanization 全体は，prime $p$ ごとのこれら $\operatorname{Cont}(G_p)$ の coproduct である． ## 7. 研究課題 1. theory extension $\mathbb T'\to\mathbb T$ に対する Leray spectral sequence \[ E_2^{p,q}=H^p(\mathbb T;R^qf_*A)\Rightarrow H^{p+q}(\mathbb T';A) \] を，relative definability/descent obstruction として構文化する． 2. $H^2$ を definable gerbe，model extension，conservative definitional extension の obstruction として体系化する． 3. $H^*_{\mathrm{top}}$ と Lawvere/Quillen/Baues--Wirsching cohomology を結ぶ comparison morphism または spectral sequence の有無を調べる． ## References - O. Caramello and P. T. Johnstone, *De Morgan's law and the Theory of Fields*, Adv. Math. 222 (2009), arXiv:0808.1972. - M. Ikebuchi, *A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods*, LMCS 18(3), 2022. - M. Ikebuchi, *Homological Invariants of Higher-Order Equational Theories*, LICS 2025, arXiv:2505.10149. - M. Ikebuchi, *Cohomology of Small Cartesian Closed Categories*, arXiv:2510.00488. - M. Ikebuchi, *Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory*, arXiv:2603.28382. - M. Jibladze and T. Pirashvili, *Quillen cohomology and Baues--Wirsching cohomology of algebraic theories*, 2006.

理論のトポスコホモロジー ## Trigger 幾何的理論 $\mathbb T$ の classifying topos $\mathbf{Set}[\mathbb T]$ の $H^0,H^1$ と Euler characteristic を，$\mathbb T$ の構文だけで記述したいという会話から出発した． ## Basic dictionary $A\in\mathbf{Ab}(\mathbf{Set}[\mathbb T])$ に対して \[ H^n(\mathbb T;A):=R^n\Gamma(A). \] $H^0$ は $\mathbb T$-provably uniquely definable な $A$-元，$H^1$ は $A$-torsor の同型類．構文 site 上では covering sequent と definable transition function の Čech cocycle で記述できる．全次数は hypercover で記述できる．Euler characteristic は一般には係数なしには定義されず，$R\Gamma(A)$ が perfect のとき $K_0$-class，体係数で有限次元・有限振幅なら交代次元和として定義する． ## Integral coefficients and explicit examples 有限群 $G$ の $G$-torsor 理論の classifying topos は $BG=G\text{-}\mathbf{Set}$ であり，定数係数 $\mathbb Z$ に対して \[ H^*(\mathbb T_G;\mathbb Z)=H^*(G;\mathbb Z). \] 特に $G=C_n$ では periodic resolution から \[ H^0=\mathbb Z,\qquad H^{2k}=\mathbb Z/n\;(k\ge1),\qquad H^{2k+1}=0. \] 従って $H^2\neq0$ となる非常に初等的な geometric theory の例が得られる．また \[ 0\to\mathbb Z\xrightarrow{n}\mathbb Z\to\mathbb Z/n\to0 \] の Bockstein で $H^1(C_n;\mathbb Z/n)\cong H^2(C_n;\mathbb Z)\cong\mathbb Z/n$．generic $C_n$-torsor の非自明性を integral $H^2$ の obstruction として見られる． ## Algebraic theories: surprising collapse finitary algebraic/cartesian theory $\mathbb T$ は presheaf type で \[ \mathbf{Set}[\mathbb T]\simeq [\mathrm{fp}\,\mathbb T\text{-Mod}(\mathbf{Set}),\mathbf{Set}]. \] $\mathrm{fp}\,\mathbb T\text{-Mod}$ には初期対象（0 generators の free model）があるため，global sections はその初期対象での evaluation に一致し exact．従って任意の abelian object $A$ について \[ H^n(\mathbf{Set}[\mathbb T];A)=0\qquad(n>0). \] 特に classifying-topos cohomology は algebraic theory の presentation complexity を全く検出しない． ## Relation to Mirai Ikebuchi これは Ikebuchi/Jibladze--Pirashvili の Lawvere theory cohomology と本質的に別物．彼らは Lawvere theory $\mathbf L$ 自体の Quillen/Baues--Wirsching cohomology（enveloping ringoid $\mathcal U_{\mathbf L}$ と Kähler differentials $\Omega_{\mathbf L}$ に対する Ext/Tor）を使う．Mirai Ikebuchi の 2026 年 Adv. Math. 論文 “Anick resolutions for Lawvere theories via algebraic discrete Morse theory” は normalized bar resolution を algebraic discrete Morse theory で collapse し，高次 Anick resolution を構成する．群の signature $\Sigma_0=\{\cdot,e,^{-1}\}$ について homology inequality から任意の equivalent equational presentation $E$ が \[ \#E\ge \#\Sigma_0-1=2 \] を満たすことを導き，「群はこの signature では single equational axiom では公理化できない」という古典的論理学的事実を homology から再証明する．これはまさに「syntactic proof は難しいが homological invariant なら obstruction が一行で出る」タイプの例． ## Spectral-sequence calculation 群拡大 $1\to C_3\to S_3\to C_2\to1$ の Lyndon--Hochschild--Serre spectral sequence \[ E_2^{p,q}=H^p(C_2;H^q(C_3;\mathbb Z))\Rightarrow H^{p+q}(S_3;\mathbb Z) \] を使う．$H^{2k}(C_3;\mathbb Z)=\mathbb Z/3$，odd degree は 0．$C_2$ の inversion action は degree $2k$ 上で $(-1)^k$．したがって total degree $\le4$ で \[ H^2(S_3;\mathbb Z)=\mathbb Z/2,\qquad H^3=0,\qquad H^4=\mathbb Z/6. \] これは theory of $S_3$-torsors の classifying-topos cohomology の非自明な spectral-sequence 計算になる． ## Field-theoretic example $\mathbb F_q$-algebraとしての algebraic closure を記述する geometric theory \[ \mathbb T_{\overline{\mathbb F_q}}: \text{field of char. }p,\ \text{algebraically closed},\quad x\vdash_x\bigvee_{m\ge1}(x^{q^m}=x) \] を考える．Set-model は $\overline{\mathbb F_q}$ 一つ（同型を除く）で automorphism group は Frobenius により $\widehat{\mathbb Z}$．対応する atomic/Galois classifying topos は $B\widehat{\mathbb Z}$（continuous actions）．よって discrete trivial coefficient $\mathbb Z$ に対し \[ H^0=\mathbb Z,\quad H^1=0,\quad H^2\cong\operatorname{Hom}_{\mathrm{cont}}(\widehat{\mathbb Z},\mathbb Q/\mathbb Z)\cong\mathbb Q/\mathbb Z,\quad H^{n>2}=0. \] 計算は $0\to\mathbb Z\to\mathbb Q\to\mathbb Q/\mathbb Z\to0$ と torsion discrete modules に対する $\mathrm{cd}(\widehat{\mathbb Z})=1$ を使う．これは「field theory 由来で $H^2$ が巨大に非自明」という例． Caramello--Johnstone は theory of fields の DeMorganization が「nonzero characteristic で prime field 上 algebraic な fields」の理論を classify することを示しており，field logic と Galois/atomic topology の接続を掘る上で重要． ## Logical meaning $H^1$ の非零元は locally inhabited だが globally trivialize できない definable torsor を表す．$C_n$-torsor theory では generic torsor が $H^1(B C_n;\mathbb Z/n)$ の generator であり，parameter-free definable global point が存在しないことを Morita-invariant に示す．Bockstein はこの failure を $H^2(-;\mathbb Z)$ の obstruction に送る． ## Goal 幾何的理論の「論理的複雑さ」と classifying topos の cohomological invariants の対応を体系化する．特に，(1) geometric morphism induced by theory extension/reduct に対する Leray spectral sequence，(2) torsor/gerbe の論理的 obstruction，(3) algebraic theories では classifying-topos cohomology が消える一方，Lawvere-theory Quillen cohomology が axiomatization complexity を検出するという二種類の cohomology の比較，を論文化可能な形に整理する．

文脈商のGalois双対 ## Trigger [[ynue2x]] の language-class closure operators，[[tu4n5d]] の factorization/Galois 問題，[[f98jzd]] の Bouton monoid を，「全 context で区別できないものを同一視する」という一つの普遍構成へまとめた． ## Result 1：普遍文脈商 monoid \(M\) と写像 \(v:M\to A\) に対し \[ m\equiv_v n \iff \forall p,q\in M,\quad v(pmq)=v(pnq) \] と定める．すると \(\equiv_v\) は monoid congruence であり， \[ M_v:=M/{\equiv_v} \] は \(v\) が factor する最小の quotient monoid である． 実際，\(m\equiv_v n\) なら任意の \(r,p,q\) に対し \[ v(p(rm)q)=v((pr)mq)=v((pr)nq)=v(p(rn)q), \] 従って左積と右積に安定である．また \(v=a\pi\) が quotient \(\pi:M\twoheadrightarrow Q\) を通じて factor し，\(\pi(m)=\pi(n)\) なら，すべての \(p,q\) について \(v(pmq)=v(pnq)\) である．ゆえに \(\ker\pi\subseteq\equiv_v\) で，\(\pi\) は \(M_v\) を通じて一意に factor する． ## Result 2：Contextual Galois duality \(\operatorname{Cong}(M)\) を monoid congruences の束とする．\(\operatorname{BoolDer}(M)\) を，\(\mathcal P(M)\) の complete Boolean subalgebras で，すべての two-sided derivatives \[ p^{-1}Lq^{-1}:=\{m\in M\mid pmq\in L\} \] に閉じるものの束とする．このとき反同型 \[ \boxed{\operatorname{Cong}(M)^{\mathrm{op}}\cong\operatorname{BoolDer}(M)} \] がある． 対応は \[ \theta\longmapsto \mathcal B_\theta:=\{q_\theta^{-1}(S)\mid S\subseteq M/\theta\} \] および \[ m\mathrel{\theta_{\mathcal B}}n \iff \forall L\in\mathcal B,\quad(m\in L\Longleftrightarrow n\in L) \] で与えられる． ## Proof \(\mathcal B_\theta\) は inverse image により complete Boolean algebra であり，\(\theta\) が congruence なので derivatives に閉じる． 逆に \(m\theta_{\mathcal B}n\) なら，任意の \(p,q,L\) に対し \[ pmq\in L \iff m\in p^{-1}Lq^{-1} \iff n\in p^{-1}Lq^{-1} \iff pnq\in L. \] 従って \(\theta_{\mathcal B}\) は congruence である． \(\theta_{\mathcal B_\theta}=\theta\) は quotient の singleton subsets が異なる classes を分離することから従う．一方，complete Boolean subalgebra \(\mathcal B\subseteq\mathcal P(M)\) では \[ [m]_{\mathcal B} = \bigcap_{m\in L\in\mathcal B}L \cap \bigcap_{m\notin L\in\mathcal B}(M\setminus L) \] が存在し，\(\theta_{\mathcal B}\)-class になる．\(\mathcal B\) は任意和に閉じるので classes の任意の union をすべて含み，\(\mathcal B_{\theta_{\mathcal B}}=\mathcal B\) となる． ## Interpretation syntactic monoid，Bouton monoid，marked observer，言語クラスの closure は，いずれも \[ \text{全 context による観測} \quad\leftrightarrow\quad \text{最小の congruence quotient} \] という同じ Galois mechanism の具体例である． ## Status 定理は自己完結している．complete Boolean closure は通常の regular-language variety より強いため，finitary/algebraic 版との関係と文献上の既知性は未監査である．

Eventual affine mex則 ## Trigger [[tfvjca]] と [[f98jzd]] で得た selective sum の eventual birthday phenomenon を，[[ffk2ts]] の mex 力学系も含む一般の well-founded game operation に抽象化した． ## Result **定理（abstract eventual affine mex theorem）．** well-founded impartial games の二項 operation \(\diamond\) と test games \(H_k\) があり，次を満たすとする． 1. \(\operatorname{Gr}(H_k)=d(H_k)=k\)． 2. \(A\diamond H_k\) とその全 options は \(A\diamond H_{k+1}\) の options に含まれる． 3. \(d(A\diamond H_k)\le d(A)+k\)． 4. deepest option \(A'\) of \(A\) と任意の \(j\le k\) に対し，\(A'\diamond H_j\) は \(A\diamond H_k\) の option である． このとき任意の finite short impartial game \(A\) について \[ \boxed{ \operatorname{Gr}(A\diamond H_k)=k+d(A) \qquad(k\gg0) } \] が成り立つ．ここで \(d(A)\) は最大 play length である． ## Proof \(f_A(k)=\operatorname{Gr}(A\diamond H_k)\) と置く．仮定2より，\(A\diamond H_{k+1}\) の options は \(A\diamond H_k\) とその全 options を含む．mex の定義から後者の Grundy values は \(0,\dots,f_A(k)-1\) を含み，前者自身が \(f_A(k)\) を与えるので \[ f_A(k+1)>f_A(k). \] 従って \(\delta_A(k)=f_A(k)-k\) は非減少である．一方，Grundy number は depth 以下なので \[ f_A(k)\le d(A\diamond H_k)\le d(A)+k, \] よって \(\delta_A(k)\le d(A)\)．従って \(\delta_A(k)\) は最終的に定数 \(e\) になる． \(d(A)=d>0\) とし，\(d(A')=d-1\) の option \(A'\) を取る．depth に関する帰納法により \[ \operatorname{Gr}(A'\diamond H_j)=j+d-1\qquad(j\gg0). \] もし \(e\le d-1\) なら \[ j=k+e-(d-1)\le k \] と取れる．仮定4より \(A'\diamond H_j\) は \(A\diamond H_k\) の option だが \[ \operatorname{Gr}(A'\diamond H_j)=j+d-1=k+e=f_A(k), \] となり，position とその option が同じ Grundy number を持つという矛盾を得る．従って \(e=d\)． ## Selective-sum corollary \(\diamond=\nabla\) を selective sum，\(H_k=*k\) を Nim heap とすると仮定1--4が成立し， \[ \operatorname{Gr}(A\nabla*k)=k+d(A)\qquad(k\gg0). \] 特に \[ \boxed{ d(A)=\lim_{k\to\infty}\bigl(\operatorname{Gr}(A\nabla*k)-k\bigr) } \] であり，selective contexts は birthday/depth を復元する． ## Interpretation 大きな test object との compound が eventual affine になる機構は，個別の floor formula ではなく， - mex による strict growth； - depth による upper bound； - deepest option による lower forcing； の三点で説明される． ## Status 抽象定理と selective-sum specialization は証明済み．他の game operations・rev-mex dynamics・misère analogues が仮定を満たすかは未調査である．

Dyckのprodiscrete二義性 ## Trigger *Topoi of automata II* の conjecture「任意の language class \(C\) に対し \(\mathcal T(C)\simeq\mathbf{Cont}(M_C)\) となる canonical prodiscrete monoid \(M_C\) がある」を，Morgan Rogers の topological monoid action topos の構成と本文の Dyck exampleで監査した． ## Result \(\Sigma=\{a,b\}\)，\(D\) を Dyck language，\(F_D\subseteq\Xi\) を syntactic topos \(\mathcal T(D)\) の internal filter とする．すると \[ F_D\cap\Xi^2=\{\top\}. \] したがって，\(\mathcal T(D)\) を表現する prodiscrete monoid \(P\) と dense monoid homomorphism \(\Sigma^*\to P\) は存在しない．よって「任意の \(C\) で prodiscrete」は偽である． 一方，Rogers の canonical constructionは internal filter全体を使う inverse limit \[ M_F:=\varprojlim_{\rho\in F}U(\Sigma^*/\rho) \] であり，各 \(\Sigma^*/\rho\) は discrete **set** として使われる．thread \(\alpha,\beta\) の積は \[ (\alpha\beta)_\rho=[a_\rho b_{\rho*a_\rho}]_\rho \] で与えられる．この \(M_F\) は dense imageをもつ complete powder monoidで \[ \mathcal E_F\simeq\mathbf{Cont}(M_F). \] prodiscreteになる必要十分条件は \(F\) が two-sided congruences の basisをもつことである． language class \(C\) については次が同値である． 1. \(\mathcal T(C)\) が prodiscrete monoid action toposとして表示できる． 2. \(F_C\) が two-sided congruences の basisをもつ． 3. 各 \(L\in C\) の syntactic congruence \[ \equiv_L=\bigwedge_{w\in\Sigma^*}(\sim_L*w) \] が \(F_C\) に属する． 特に \(C\subseteq\mathrm{Reg}\) なら成立し，representing monoidは profinite．一文字 alphabetでもすべての right congruenceがtwo-sidedなので成立する． ## Dyck proof Dyck filterは有限集合 \(S\subseteq\mathbb N\) に対する finite meets \[ \tau_S=\bigwedge_{k\in S}\sim_k \] の upward closureで生成される．\(\sigma\in F_D\cap\Xi^2\) とし，\(n=\max S\) で \(\tau_S\leq\sigma\) とする．quotient monoidで \(\alpha=[a]\)，\(\beta=[b]\) と置くと，有限深さの同一視から \[ \beta^{n+1}=\beta^{n+1}\alpha,\qquad \beta^{n+1}=\beta^{n+2},\qquad 1=\alpha^{n+1}\beta^{n+1} \] を得る．第一式と第三式から \(\alpha=1\)，さらに第二式と第三式から \(\beta=1\)．よって quotient monoidは trivialで \(\sigma=\top\)． 仮に prodiscrete \(P=\varprojlim_iP_i\) が \(\mathcal T(D)\) を表すなら，各 projection kernel \(\ker(\Sigma^*\to P_i)\) は \(F_D\cap\Xi^2\) に属するためすべて \(\top\)．従って \(\Sigma^*\to P\) は trivialとなり，Dyckをrecognizeできない．矛盾． ## Concrete representing monoid Dyckの syntactic monoidは bicyclic monoid \[ B=\langle\alpha,\beta\mid\alpha\beta=1\rangle. \] Rogers completionは概念的に \[ B\sqcup\{\infty\} \] で，\(\infty\) は absorbing，その neighborhood basisは \[ U_k=\{\infty\}\cup\{\beta^i\alpha^j\mid i>k\}. \] これは jointly continuousな complete powder monoidで \(\mathbf{Cont}(B\sqcup\{\infty\})\simeq\mathcal T(D)\) だが，非自明な open two-sided congruenceを持たず prodiscreteでない． ## Significance non-locally-finite側で失敗する本質は「finite meetしか許されない filter」と「syntactic congruenceを得るために必要な infinite meet」の差である．regular/orbit-finite側では orbitが有限なのでこの差が消え，powderはprofiniteへ退化する．Dyckはこの境界を完全に可視化する running exampleである． ## Goal 現行原稿の prodiscrete conjectureを削除し，Rogersの complete powder construction，two-sided-basis criterion，Dyck counterexampleを theoremとして置き換える． ## Correction: two meanings of prodiscrete ここで `prodiscrete monoid` という語には区別すべき二つの意味がある． 1. **algebraic / strict sense**: discrete monoids の projective limitとして TopMon 内で得られる monoid（Rogers, Definition 2.19）．各 coordinate projection は monoid homomorphismである． 2. **topological sense**: topological monoid whose underlying topological space carries a prodiscrete topology，すなわち discrete sets の projective limit topologyをもつもの．coordinate objects は monoidsである必要がない． Rogers の canonical completion \[ L_F=\varprojlim_{\rho\in F}U(\Sigma^*/\rho) \] は任意の internal filter \(F\) に対して **常に後者**である．Rogers の Theorem 3.20 は canonical representative が prodiscrete topologyを持つと述べ，Remark 3.21 はそれが一般には Definition 2.19 の意味での prodiscrete monoidではないことを区別している． 従って上の Result の「Dyckを表現する prodiscrete monoid は存在しない」は，**Definition 2.19 の strict senseに限った主張**として読む．Dyck syntactic toposは，underlying topologyが prodiscreteな complete powder monoid \(B\sqcup\{\infty\}\) によって実際に表現される．失敗するのは「discrete monoids の pro-object」としての表示であり，「prodiscrete topologyを持つ topological monoid」としての表示ではない． この区別により，現行原稿の conjectureは用語を定義すれば次のように整理される． - weak/topological senseでは任意の language classに対して真（Rogers construction）． - strict/algebraic senseでは two-sided congruence basisを持つ場合に限り真で，Dyckは反例． - regular/orbit-finiteの場合はさらに profinite monoidになる．

Compact rieg no-go ## Trigger [[dyu9gy]] が問う connected compact Hausdorff rieg の存在問題を，[[suw4hw]] の rieg theory の指数法則と compact semigroup theory から攻めた．connectedness より強い結論として，加法が cancellative な場合を完全に排除できる． ## Result **定理（compact cancellative rieg no-go）．** compact Hausdorff topological rieg \(R\) の additive commutative monoid \((R,+,0)\) が cancellative なら \[ \boxed{R\cong 1.} \] connectedness は仮定しなくてよい． ## Lemma compact Hausdorff commutative cancellative topological monoid \((S,+,0)\) は abelian topological group である． ## Proof of Lemma まず任意の nonempty compact semigroup が idempotent を持つことを示す．nonempty closed subsemigroups の descending chain は compactness により nonempty intersection を持つので，Zorn lemma により minimal nonempty closed subsemigroup \(K\) を取れる． \(a\in K\) とする．\(a+K\) は nonempty closed subsemigroup なので minimality より \(a+K=K\)．従ってある \(x\in K\) があり \(a+x=a\)． \[ E=\{x\in K\mid a+x=a\} \] は nonempty closed subsemigroup なので \(E=K\)．特に \(a\in E\) であり \(a+a=a\)．従って idempotent が存在する． 任意の \(s\in S\) に対し，positive multiples \(\{ns\mid n\ge1\}\) の closure は compact subsemigroup なので idempotent \(e\) を含む．cancellativity と \[ e+e=e+0 \] から \(e=0\)．従って \(n_i s\to0\) となる net がある．compactness により \((n_i-1)s\) の subnet はある \(t\) に収束し，continuity から \[ s+t=\lim n_i s=0. \] よって各 \(s\) は additive inverse を持つ． ## Proof of Theorem 補題より \((R,+,0)\) は abelian group であり，\(1\) の additive inverse \(-1\) が存在する．rieg の指数法則 \[ x^{y+z}=x^yx^z, \qquad x^0=1, \qquad x^1=x \] に \(y=1,z=-1\) を代入すると \[ 1=x^0=x^{1+(-1)}=x^1x^{-1}. \] ここで \(x=0\) とすると，rig の absorption により \[ 1=0^1 0^{-1}=0. \] 従って \(R\) は one-element rieg である． ## Consequence 非自明な connected compact Hausdorff rieg が存在するとしても，その additive monoid は必ず genuinely noncancellative である．従って探索すべき対象は compact rings の類似ではなく， - idempotent addition， - absorptive addition， - order-theoretic addition を持つ構造である． ## Status no-go theorem は証明済み．元の存在問題は noncancellative case に縮約された．compact semigroup の idempotent theorem との文献上の比較は必要だが，rieg への帰結は短く明確である．

Codensity再構成の冪等性 ## Trigger [[bpjn8j]] の「認識から実在を再構成する codensity」と，[[akz63c]] の observable subcategory，[[mg2ynp]] の捨象/reflection を，一つの必要十分条件で結んだ． ## Result **定理（idempotent reconstruction theorem）．** 関手 \[ i:\mathcal O\to\mathcal C \] の codensity monad \[ T=\operatorname{Ran}_i i \] が存在するとする．次は同値である． 1. monad multiplication \(\mu:T^2\to T\) が自然同型である． 2. fixed objects \[ \mathcal C_{\mathrm{obs}}= \{Y\in\mathcal C\mid\eta_Y:Y\to TY\text{ が同型}\} \] は reflective full subcategory であり，reflector は \(T\) である． 3. 観測対象からの再構成を二度行っても，一度目以上の情報を加えない． ## Proof \(\mu\) が同型とする．monad laws より \[ \mu_X\eta_{TX}=\operatorname{id}_{TX}=\mu_XT\eta_X, \] 従って \[ \eta_{TX}=T\eta_X=\mu_X^{-1}. \] よって \(TX\) は fixed object である． \(Y\) が fixed のとき，写像 \[ \mathcal C(TX,Y)\longrightarrow\mathcal C(X,Y), \qquad h\longmapsto h\eta_X \] を考える．逆写像は \[ f\longmapsto\eta_Y^{-1}Tf \] である．unit の自然性から \[ (\eta_Y^{-1}Tf)\eta_X=f. \] 逆方向には \[ \eta_Y^{-1}T(h\eta_X) =\eta_Y^{-1}Th\,T\eta_X =\eta_Y^{-1}Th\,\eta_{TX} =h. \] 従って \[ T\dashv\mathcal C_{\mathrm{obs}}\hookrightarrow\mathcal C. \] 逆に reflective subcategory が誘導する monad の multiplication は常に同型なので，2から1も従う．3は1の意味論的言い換えである． ## Interpretation codensity monad は一般に「観測から再構成する」．しかしそれが「観測可能な部分圏を切り出す reflection」になるための正確な条件は \[ \boxed{\mu:T^2\to T\text{ が可逆}} \] である． - ultrafilter monad や double-dualization は一般に非冪等であり，再構成を反復すると新しい completion data が残る． - locale 化・sheafification・各種 separated reflection のような捨象が冪等なら，それは本当に observable world への reflection である． ## Goal Kobin にある locale，ultraproduct，compact generation，manifold reconstruction の各例について，対応する codensity monad の multiplication が可逆かを調べる．これにより「同じ捨象手続き」に見える例を，idempotent/non-idempotent の境界で分類する． ## Status 定理は任意の monad に対する標準的な idempotent-monad theorem であり証明済み．Kobin の個別例への適用と哲学的統一が新しい研究部分である．

有限自由atlas ## Trigger Paper II で classifying-topos cohomology と Lawvere-theory cohomology を単に対比したところ，洞から「有限生成 free algebra だけを見る，その間の injection だけを見る，という既存構成があるはず」と指摘された．そこで，finitary algebraic theory の有限自由部分を中心に文献と構成を再編した． ## Result 1：Lawvere theory は generic model の有限冪そのもの $\mathbb T$ を finitary algebraic theory， \[ \mathcal A_{\mathbb T}=\operatorname{fp}(\mathbb T\text{-Alg}),\qquad \mathcal F_{\mathbb T}=\{F_n\mid n<\omega\}\subseteq\mathcal A_{\mathbb T}, \qquad \mathcal L_{\mathbb T}=\mathcal F_{\mathbb T}^{\mathrm{op}} \] とする．classifying topos は \[ \mathcal E_{\mathbb T}=[\mathcal A_{\mathbb T},\mathbf{Set}] \] で，generic model $U_{\mathbb T}$ は underlying-set functor である．自由性から \[ U_{\mathbb T}^{n}\cong\mathcal A_{\mathbb T}(F_n,-). \] 従って Yoneda により \[ \mathcal L_{\mathbb T}\xrightarrow{\sim} \operatorname{Pow}_{\mathrm{fin}}(U_{\mathbb T})\subseteq\mathcal E_{\mathbb T}, \qquad n\longmapsto U_{\mathbb T}^{n} \] は有限積を保つ fully faithful functor である．つまり Lawvere theory は classifying topos の外部にある別の syntax ではなく，generic model の有限冪とその definable maps からなる full subcategory として内部に埋め込まれている． ## Result 2：finitely presented models は有限自由 atlas の finite-colimit completion 任意の finitely presented $\mathbb T$-algebra は有限 presentation から \[ F_r\rightrightarrows F_n\longrightarrow A \] という coequalizer で書ける．したがって $\mathcal A_{\mathbb T}$ は $\mathcal F_{\mathbb T}$ の finite-colimit closure である．semantic classifying topos は有限自由座標に relations と quotients を付加した completion と見られる． ## Result 3：同じ向きで有限自由だけに制限しても cohomology は消えたまま 包含 $i:\mathcal F_{\mathbb T}\hookrightarrow\mathcal A_{\mathbb T}$ は precomposition \[ i^*:[\mathcal A_{\mathbb T},\mathbf{Set}]\to[\mathcal F_{\mathbb T},\mathbf{Set}] \] を与え，これは essential geometric morphism の inverse image である．しかし $F_0$ は両 indexing category で initial なので，両 topos の global sections は $F_0$ での evaluation となり exact．従って「有限自由 algebra だけ見る」だけでは Quillen cohomology は現れない．必要なのは 1. arrows を反転して substitution category $\mathcal L_{\mathbb T}$ にすること， 2. objects ではなく definable arrows とその two-sided factorizations を見ること， である． ## Result 4：Quillen cohomology は有限冪 arrow-topos の topos cohomology $\operatorname{Fact}(\mathcal L)$ を factorization category とし，cartesian natural system $D:\operatorname{Fact}(\mathcal L)\to\mathbf{Ab}$ を取る．Jibladze--Pirashvili と Baues--Wirsching/Thomason comparison により \[ H_Q^0(\mathcal L;D)\cong\operatorname{Der}(\mathcal L;D), \] \[ H_Q^n(\mathcal L;D) \cong H_{BW}^{n+1}(\mathcal L;D) \cong H^{n+1}([\operatorname{Fact}(\mathcal L),\mathbf{Set}];D) \qquad(n>0). \] さらに simplex category $\Delta/\mathcal L$ と composite functor $\nu:\Delta/\mathcal L\to\operatorname{Fact}(\mathcal L)$ を用いて \[ H_Q^n(\mathcal L;D) \cong H^{n+1}([\Delta/\mathcal L,\mathbf{Set}];\nu^*D). \] したがって Quillen cohomology は実際に topos cohomology である．ただし ambient classifying topos $\mathcal E_{\mathbb T}$ ではなく，generic model の有限冪間の definable maps と factorization squares から作る arrow topos の cohomology である． ## Injection / symmetry layers 最大 subgroupoid \[ \mathcal G_{\mathbb T}=\mathcal F_{\mathbb T}^{\simeq} \] から Quillen bracket/homogeneous category $U\mathcal G_{\mathbb T}$ を作る．射 $F_m\to F_n$ は complement $F_r$ と同型 \[ F_r\amalg F_m\xrightarrow{\sim}F_n \] で表され，すなわち chosen complement を備えた split injection である．反対圏と generic-model embedding では \[ U^n\cong U^r\times U^m\longrightarrow U^m \] という split projection となる．論理的には fresh variables の追加，weakening，context extension を表す．一般の injection ではなく free-factor complement を持つ split injection である点が重要． この層は Randal-Williams--Wahl の homological stability framework を与える．さらに isomorphism のみを残した $\mathcal G_{\mathbb T}$ の group completion は Bohmann--Szymik の Lawvere theory の algebraic $K$-theory \[ K(\mathbb T)=K(\mathcal G_{\mathbb T}) \] で，$\operatorname{Aut}(F_n)$ の stable homology を記録する．generic-model 側では $U^n\cong U^n$ という invertible definable coordinate changes である． ## Ikebuchi との接続 Ikebuchi の normalized bar / Anick resolution は Lawvere theory 内の composable substitutions の strings と Kähler differential module $\Omega_{\mathcal L}$ から作られる．上の比較により，これは simplex/factorization topos の standard resolution を algebraic discrete Morse theory で collapse している，という topos-theoretic 解釈を持つ．これは Ikebuchi 自身の定式化ではなく，既知の比較定理を介した解釈である． ## Unified picture \[ \begin{array}{c|c|c} \text{layer}&\text{retained morphisms}&\text{derived invariant}\\\hline \mathcal A_{\mathbb T}&\text{all maps of finitely presented models}&R\Gamma(\mathcal E_{\mathbb T};-)\\ \operatorname{Fact}(\mathcal L_{\mathbb T})&\text{all substitutions + two-sided factorizations}&\text{BW/Quillen cohomology}\\ U\mathcal G_{\mathbb T}&\text{split injections with complements}&\text{homological stability}\\ \mathcal G_{\mathbb T}&\text{isomorphisms only}&K\text{-theory} \end{array} \] 結論は「二つの derived geometry」ではなく， \[ \boxed{\text{one finite-free atlas, several derived geometries}} \] である． ## Further questions - analytic monad の Lawvere theory にある active--inert factorization を使い，BW complex を structural/inert と operational/active の二方向へ濾過できるか． - inclusion $U\mathcal G_{\mathbb T}^{op}\to\mathcal L_{\mathbb T}$ に対する Baues--Wirsching spectral sequence で，homological stability と equational syzygy を同じ系列に置けるか． - $\mathcal F_{\mathbb T}\to\mathcal A_{\mathbb T}$ の finite-colimit completion と $\operatorname{Fact}(\mathcal L_{\mathbb T})$ の間に，generic model から直接定義される relative geometric morphism があるか．

Arity–coskeleton定理 ## Trigger [[zmpg4f]] が問う「公理に必要な変数数が coskeletal dimension を決める」という原理を，有限集合上の relational Horn structures について証明した．[[egzqw4]] の Arrow/Kori--Watanabe no-go 統一における低次元 rigidity の基礎定理にあたる． ## Result **定理（Arity--coskeleton theorem）．** \(\sigma\) を有限 relational signature，\(T\) を universal Horn \(\sigma\)-theory とする．各 relation symbol の arity と，各公理に現れる distinct variables の数がともに高々 \(n\) であると仮定する．有限集合 \(A\) 上の \(T\)-models を割り当てる presheaf \[ \operatorname{Mod}_T:\mathbf{FinInj}^{\mathrm{op}}\to\mathbf{Set} \] を考える．濃度高々 \(n\) の有限集合の full subcategory の包含を \[ i_n:\mathbf{FinInj}_{\le n}\hookrightarrow\mathbf{FinInj} \] とすると， \[ \operatorname{Mod}_T\cong\operatorname{Ran}_{i_n^{\mathrm{op}}}i_n^*\operatorname{Mod}_T. \] 従って simplex dimension の規約では \(\operatorname{Mod}_T\) は \((n-1)\)-coskeletal である． ## Proof 有限集合 \(A\) を固定する．右 Kan extension の \(A\)-成分は，すべての \(B\subseteq A\), \(|B|\le n\) 上の \(T\)-structures \(M_B\) で，包含に沿う restriction と両立する族である． arity \(r\le n\) の relation symbol \(R\) と tuple \(\bar a\in A^r\) に対し，\(\bar a\) の support を含む \(|B|\le n\) を選び， \[ R^M(\bar a)\iff R^{M_B}(\bar a) \] と定める．二つの選択は tuple の support への restriction 上で一致するので well-defined である． \(T\) の公理と \(A\) 上の valuation を取ると，公理に現れる変数の像は高々 \(n\) 点なので，ある \(|B|\le n\) に入る．\(M_B\) は \(T\)-model だから，公理は \(M\) でも成立する．逆に global model は restriction により compatible family を与え，relations の arity bound により一意に復元される． ## Corollary \(Y\) が \((n-1)\)-coskeletal なら，任意の presheaf \(X\) に対して \[ \operatorname{Nat}(X,Y)\cong\operatorname{Nat}(i_n^*X,i_n^*Y). \] 従って \(Y\) への自然変換は濃度高々 \(n\) の有限集合上のデータだけで決まる．graphs は1-coskeletal，preorders・equivalence relations・partial orders・linear orders は2-coskeletalである． ## Interpretation \[ \text{公理の essential variable arity} \Longrightarrow \text{自然変換の自由度の coskeletal dimension} \] という一般原理である．逆向き，最小 essential arity の不変化，既存文献との novelty 比較は未解決である． ## Status 上記の十分条件と証明は成立するが，priority は未監査である．

力学系のAlexandrov生成 ## Trigger [[x43qym]] の functorial dynamics と local states，[[sw5apc]] の pretopological dynamics，さらに「因果の不動点＝時間発展で安定な性質」という洞の見方を，reachability preorder の Alexandrov topology として定理化した． ## Result **定理（dynamical Alexandrov generation）．** monoid \(M\) が集合 \(X\) に作用するとする．reachability preorder を \[ x\preceq_M y \iff \exists m\in M,\quad y=mx \] で定める．このとき complete frames の同型 \[ \boxed{ \operatorname{Sub}_{M\text{-}\mathbf{Set}}(X) \cong \operatorname{Up}(X,\preceq_M) } \] がある．さらに包含 \[ \operatorname{Sub}_{M\text{-}\mathbf{Set}}(X)\hookrightarrow\mathcal P(X) \] の左随伴は \[ \boxed{ A\longmapsto MA:=\{ma\mid m\in M,\ a\in A\} } \] である． ## Proof 部分集合 \(S\subseteq X\) が \(M\)-subobject であることは \[ x\in S,\ y=mx\Longrightarrow y\in S \] と同値であり，これは \(S\) が \(\preceq_M\) に関して upper closed であることそのものである．任意和・任意共通部分は両側で同じように計算されるため complete frame isomorphism を得る． また \(MA\) は \(A\) を含む invariant subset である．invariant \(S\) に対して \[ MA\subseteq S \iff A\subseteq S \] なので，\(A\mapsto MA\) は包含の左随伴である． ## Discrete dynamical systems 自己写像 \(T:X\to X\) の場合は \(M=\mathbb N\) として \[ \operatorname{cl}_T(A)=\bigcup_{n\ge0}T^n(A). \] 命題 \(\varphi\subseteq X\) が \[ x\in\varphi\Longrightarrow T(x)\in\varphi \] を満たすことは，\(\varphi\) が reachability Alexandrov space の upper open であることと同値である． ## Interpretation \[ \boxed{ \text{因果的に安定な性質} = \text{reachability preorder の Alexandrov open} } \] である．進化や力学系における「安定な subspace への流入」は，数値的 attractor の前に，まず invariant propositions の frame として構造的に記述できる． ## Status 定理自体は基本的だが，LSC の local-state order，eventuality filters，Conley 型不変量へ接続する統一的な使い方は未展開である．

ACF₀のBooleanization ## Trigger \(\mathrm{ACF}_0\) の classifying topos を Booleanization すると，有理数体の絶対 Galois 群が現れるのではないか，という会話から得た観察． ## Known result \[ \mathcal E_0:=\mathbf{Set}[\mathrm{ACF}_0] \] とし，\(\mathrm{ACF}_0\) に「すべての元は \(\mathbb Q\) 上代数的」という infinitary geometric axiom \[ \top\vdash_x \bigvee_{\substack{f\in\mathbb Z[X]\\ \deg f>0}} f(x)=0 \tag{Alg}_{\mathbb Q} \] を加えた理論を \(\mathbb T_{\overline{\mathbb Q}}\) とする．すると \[ \operatorname{Sh}_{\neg\neg}(\mathcal E_0) \simeq \mathbf{Set}[\mathbb T_{\overline{\mathbb Q}}] \simeq \mathbf{Cont}\!\left(G_{\mathbb Q}\right), \qquad G_{\mathbb Q}=\operatorname{Gal}(\overline{\mathbb Q}/\mathbb Q), \] ここで \(G_{\mathbb Q}\) には Krull topology を入れる．したがって正確には「Booleanization が群そのものになる」のではなく，**絶対 Galois 群の連続作用の classifying topos** になる．\(\overline{\mathbb Q}\) に対応する点を選べば，その点の automorphism group として \(G_{\mathbb Q}\) が復元される（点の選択を忘れると inner automorphism の不定性が残る）． ## Why this is the Booleanization Generic algebraically closed field \(U\) の部分対象 \[ \operatorname{Alg}_{\mathbb Q}(U) = \bigvee_{f\in\mathbb Z[X],\,\deg f>0}\{x\mid f(x)=0\} \hookrightarrow U \] は proper だが dense である．実際，任意の nonempty coherent/constructible condition over \(\mathbb Q\) は \(\overline{\mathbb Q}\) に解を持つ．したがって Booleanization ではこの dense mono が同型になり，\((\mathrm{Alg}_{\mathbb Q})\) が強制される．一方，得られる理論は atomic で，\(\mathbf{Set}\)-model は同型を除いて \(\overline{\mathbb Q}\) のみ．Topological Galois theory により，その classifying topos は \(\mathbf{Cont}(G_{\mathbb Q})\) となる． ## Literature status これは既知．Caramello--Johnstone, *De Morgan's law and the Theory of Fields* は，固定正標数について「ACF に no-transcendentals axiom を加えたものが Booleanization」であることを明示し，characteristic \(0\) でも同じ結果が成り立つと述べている（証明詳細は省略）．また Wrigley の topological groupoid / topological Galois theory の議論は，一般の体 \(K\) に対する algebraic extensions と \(\overline K\) の ultrahomogeneity を扱い，対応する atomic theory を automorphism group/groupoid から表現している． - Olivia Caramello and Peter Johnstone, *De Morgan's law and the Theory of Fields*, arXiv:0808.1972: https://arxiv.org/abs/0808.1972 - Joshua Wrigley, *On topological groupoids that represent theories*, arXiv:2306.16331: https://arxiv.org/abs/2306.16331 ## Slogan / significance > \(\mathrm{ACF}_0\) の generic transcendence を \(\neg\neg\)-sheafification で潰すと，残る対称性が \(G_{\mathbb Q}\) である． これは \[ \text{model theory of fields} \longrightarrow \text{dense subtopos / Booleanization} \longrightarrow \text{absolute Galois symmetry} \] という非常に綺麗な橋であり，classifying topos の Booleanization を「不定な超越方向を除去し，代数的対称性だけを残す操作」と読む代表例になる．

Wythoff Nim完全値の計算量 ## Trigger Wythoff Nim の特殊な色、特に `G(n,m)=1` の判定ではなく、完全な Sprague--Grundy 値 `G(n,m)` を計算する時間計算量を上下から完全に決定したい。入力長を `L=Theta(log n+log m)` と見る単一問と、`0<=n,m<=N` の完全表を作る問題を区別する。 ## Goal 完全表について既知の素朴な cubic 計算を破り、最終的には単一問を入力桁数の多項式時間で 計算できるか、またはそのような算法が不可能であることを意味のある計算モデルで示す。 Wythoff の三方向を A2 正根系、Hall algebra、affine symmetric group と結び、単なる類似でなく mex の計算を実際に圧縮する構造を探す。 ## Current frontier - 三本の合法手を A2 の正根方向として、Boolean Hall support から厳密に復元できる。 - 完全表には word-RAM で `O(N^3/log N)` の厳密な word-parallel 算法がある。ただし bit 計算量は まだ cubic であり、この評価の文献上の新規性も未確定である。 - 各固定行は有限個の例外を除いて affine symmetric group の元になる。 - 自然な Zeckendorf prefix、有限個の先頭hole、隣接行の短い Coxeter 更新は高速化に使えない。 ## Next theorem target 色 `h` と行 `r` に対する三つの禁止集合 `D_h`, `B_h-r`, `L_r` の和集合が dyadic interval を 完全に覆うかを、polylogarithmic size の affine cut-set で判定する。これができれば、最初の 非被覆点を区間二分で求め、完全表を `O(N^2 polylog N)` で計算できる可能性がある。

Sylver Coinage 初手16 ## Trigger 「有名でシンプルな組合せゲームの未解決問題を一つ完全に解く」という探索から，Sylver Coinage の古典的な問い > 最初に 16 を選ぶと，先手は勝てるか． を最短の完全解決候補として選んだ．2026年の 6–16 Tables でも，単独位置 `{16}` は未解決の例外として残っている． ## Question Sylver Coinage の位置 `{16}` は N 位置か P 位置か．言い換えると，初手16は先手の勝ち手か． 現在の第一候補は，後手の応答26による否定である． > **候補:** `{16,26}` は P 位置である． これが証明できれば，後手は初手16に26と返せるので，初手16は勝ち手ではないと完全に決着する． ## Global route `{16,26}=2\{8,13\}` と置く．`\langle 8,13\rangle` は Frobenius 数83の quiet ender なので，Quiet End Theorem により `{16,26}` の無限個の奇数手を有限個へ落とせる．厳密に残るのは，奇数手3から83までの41枝と，`\langle 8,13\rangle` の42個の gap を2倍した偶数手の枝，合計83枝である． 2026-08-25時点で，奇数41枝をすべて含む66枝は，Quiet End Theoremまたは gcd 1 の完全gap再帰によって閉じた．未決は17個の偶数枝である．詳細，反例，機械検証の意味，正確な再開地点は `reports/qkvxgy/2026-08-25_research.md` に分離する． ## Goal 局所的な小補題を増やすのではなく，次のいずれかを完了する． 1. 残る17枝をすべて N と証明し，`{16,26}` が P であること，従って初手16が負け手であることを証明する． 2. 残る枝の一つが P なら `{16,26}` 路線を棄却し，その明示的反例を保ったうえで別の第二手候補へ移る． ## Boundary - 現在は `{16,26}` の P 性も，初手16の勝敗も未解決である． - 有限cutoffの gcd 2 solver 出力は証明に使わない．実際，低精度solverが示した応答12には明示反例がある． - 「66/83枝を閉じた」は機械検証を含む研究checkpointであり，数学的な完全解決ではない．

独裁は表現可能性 ## Trigger 洞が，集団の合意に独裁しか残らない現象を，coskeletality，topos の点，Riesz 型表現定理の共通パターンとして捉えた．「関数から整合的に値を取る操作は内積で表され，前層から集合を bicontinuously 取り出す操作は Cauchy completion 後の evaluation で表される．ならば Arrow の独裁者も，合意形成作用を表現する一点なのではないか」という観察である． ## Idea 十分な exactness・naturality・局所整合性を課された「全体から値を取り出す操作」は，一つの内部要素によって represent される，という共通の定理型があるように見える． 1. Hilbert 空間 \(H\) では，連続線形汎関数 \(\lambda:H\to\mathbb K\) は一意な \(v\in H\) により \[ \lambda(x)=\langle v,x\rangle \] と表される． 2. 小圏 \(\mathcal C\) の前層圏 \(\widehat{\mathcal C}=[\mathcal C^{\mathrm{op}},\mathbf{Set}]\) からの functor \[ T:\widehat{\mathcal C}\to\mathbf{Set} \] がすべての小極限と小余極限を保存するなら， \[ T(X)\cong\widehat{\mathcal C}(P,X) \] と表され，\(P\) は tiny object，したがって representable の retract である．ゆえに \(P\) は \(\operatorname{Kar}(\mathcal C)\) の対象であり，Cauchy completion 後には \(T\) は evaluation になる． 3. Arrow の設定では，IIA を選択肢部分集合への restriction との naturality，Pareto を diagonal condition，社会的選好の推移律を三点上の整合性と読む．decisive coalitions は ultrafilter をなし，有限 electorate では principal ultrafilter なので，一人の voter が aggregator を表現する． したがって dictator は政治的な例外ではなく， > **合意形成作用の representing object** と読める可能性がある．対応するスローガンは \[ \text{scalar observer}\simeq\text{vector},\qquad \text{bicontinuous observer}\simeq\text{Cauchy point},\qquad \text{Arrovian aggregator}\simeq\text{voter} \] である． coskeletality の役割は，order object が二者比較と三者上の推移律から復元されるため，IIA により局所化された aggregator のデータが低次元で拘束され，そこで選ばれた decisive voter が全選択肢へ伝播することにある．Arrow の定理を「2-coskeletal object への natural observer に対する representability theorem」として再定式化したい． ## Boundary / cautions - 一般の topos point は有限極限と全余極限を保存する inverse-image functor であり，presheaf topos の点は一般には flat functor であって evaluation とは限らない．全極限保存まで強めたときに Cauchy point へ硬化する． - Riesz–Fréchet は Hilbert 空間上の連続線形汎関数についての主張であり，任意の関数から値を取る操作についてではない． - \(C(X)\) 上の正規化正線形汎関数は一般には probability measure であり，multiplicativity／purity を課すと Dirac measure，すなわち一点評価になる．これは「分布的合意」と「独裁的合意」の境界を与える可能性がある． - game-theoretic な対応は一般的な evolutionary stability ではなく，まず Gibbard–Satterthwaite の strategy-proofness による dictatorship として扱うべきである． - Arrow の独裁結論には unrestricted domain，IIA，Pareto，完全かつ推移的な社会順序，有限 electorate などの仮定がある． ## Goal 保存クラスをパラメータにした一般原理を探す： > observer／aggregator が弱い exactness だけを保存すると generalized point や measure が現れ，すべての極限・純粋性・低次元整合性まで保存すると principal point に崩壊する． これを定理化し，Riesz representation，Riesz–Markov–Kakutani，presheaf-topos の points/Cauchy points，Arrow，Gibbard–Satterthwaite，Kori–Watanabe no-go theorem を「observer の representability と principalization」という一つの物語に置く．既存瓶 [[egzqw4]] の coskeletality による no-go 統一を，単なる rigidity から representability theorem へ押し進める．

stable universal rigidity ## Trigger Notion「研究テーマ」DBの `Stable universal rigidity as a property of topos`（優先度★★★★、進行状況 Not started、Categorical Structures 欄は Topos、coresearcher 欄に Jeremie Marques）から瓶化した。本文は次の一行のみ。 > 論文ないでうっすら提案されているので． （「論文内で」の誤記と読める。）どの論文かは洞の証言により特定できた（2026-08-16）。 - Jérémie Marquès, *A Criterion for Categories on which every Grothendieck Topology is Rigid*, Applied Categorical Structures (2025)、[arXiv:2407.18417](https://arxiv.org/abs/2407.18417) ## Idea Marquès の論文は、presheaf category \([\mathcal C^{\mathrm{op}},\mathbf{Set}]\) の subtopos がすべて \([\mathcal D^{\mathrm{op}},\mathbf{Set}]\)（\(\mathcal D\) は \(\mathcal C\) の full subcategory）の形になるための十分条件として、\(\mathcal C\) に対する **universal rigidity** を導入する。有限圏・Artinian poset・simplex category ではこれが起きる。universal rigidity には二つの同値な定義があり、一方は2人ゲームによるもの、他方は slice と endomorphism monoid に関する二つの局所的性質の組み合わせである。さらに universal rigidity は「slice のすべての subtopos が essential presheaf subtopos になる presheaf topos」を特徴づける。 Notion のタイトルが問うのは、この universal rigidity を **stable** な形に強めたものを、圏 \(\mathcal C\) の性質としてではなく **topos の性質**として述べられるか、である。ただし「stable」が何に関する安定性——slice を取る操作か、base change か、極限か——を指すかは Notion のページからは確定できない。 ## Goal stable universal rigidity を topos の不変な性質として定義し、Marquès の \(\mathcal C\) 上の条件との対応をつける。presheaf topos の外へ出たときに何が残るかを見る。 ## Personal context 同じ Marquès の論文は、Notion の別ページ `When is a finite presheaf category a topos?`（材料は [[tk8psy]] へ移した）でも「A Criterion for Categories on which eve…」とタイトルが途中で切れた形で参照されている。有限前層圏が topos になる条件を問う流れと、同じ論文が土台にある。

各種siteのLSC ## Trigger Notion「研究テーマ」DBの `LSC of ??-site`（優先度★★★★、進行状況 Not started、coresearcher 欄は空）から瓶化した。Notion のページに本文は無い。 タイトルの `??` は文字化けではなく**原文どおりのプレースホルダ**であり、そこに extensive や regular といった site の種類が入る（洞の説明、2026-08-16）。 hora-tex の草稿候補は `papers/lsc-choice`。 ## Idea site のクラスを一つ固定したとき、その site 上の sheaf topos の local state classifier \(\Xi\) をどう計算するかを問う。プレースホルダに入る候補として洞が挙げたのは extensive site と regular site である。 Grothendieck topos が必ず \(\Xi\) を持つことは既知だが（TAC 42-11）、site の性質から \(\Xi\) を直接構成する式は、site のクラスごとに違う形になりうる。 ## Goal extensive site、regular site など主要な site のクラスそれぞれについて、\(\Xi\) を site のデータから書き下す式を与える。クラスによって式がどう変わるかを比べる。 ## Personal context [[xnv3ty]]（\(\Xi\) を internal に、あるいは site から記述する）は site description を一般に問うが、こちらは site のクラスごとに具体的に計算する方向である。[[wxggan]]（sheaf topoi の LSC）や [[xyusjw]]（topoi of spaces の LSC）は個別の topos の族を扱う点で違う。 ## 訂正（2026-08-17） 上の Trigger で「hora-tex の草稿候補は `papers/lsc-choice`」と書いたのは誤りである。これはディレクトリ名だけの機械的なマッチによるもので、実際に中の tex を読むと `\title` は *Demystifying local state classifiers: local state classifier in total categories with factorization systems* であり、[[k8euz5]] の論文（Yuto Ikeda との共著）にあたる。本瓶の問い（site のクラスごとに \(\Xi\) を計算する）とは別物である。 **本瓶に対応する草稿は、現時点で hora-tex に見つかっていない。** なお `papers/lsc-choice` については、hora-tex の `papers/registry.yaml` が *Local state classifiers and choice*（authorship_status `solo`）と記録しているのに対し、中の tex は上記の共著論文である。ディレクトリ名・registry・中身が食い違っており、hora-tex 側の整理が必要な箇所として記録しておく。

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]]．

relative Gaeta toposの存在 ## Trigger Notion「研究テーマ」DBの `Relative Gaeta topos`（優先度★★★★、進行状況 Not started、coresearcher 欄に Matias Menni）の本文の前半から瓶化した。洞の判断で2つの瓶へ分けたうちの一つ。原文は次のとおり。 > 例のsite constructionはおそらくfunctorialで，Gaeta toposのなす圏のreflectionっぽくなっていそう．これは，relative版の存在も示唆している． なお coresearcher 欄は共著者を意味しない（洞の確認、2026-08-16）。 ## Idea Gaeta topos を作る site construction が functorial であり、Gaeta topos のなす圏への reflection を与えるのではないか。もしそうなら、base topos 上の相対版——relative Gaeta topos——が存在することが示唆される。 「例の site construction」が具体的に何を指すかは Notion のページからは確定できないため、ここでは補完しない。 ## Goal site construction の functoriality を確かめ、それが reflection を与えるかを判定する。成り立つなら relative 版を構成し、base topos を動かしたときの振る舞いを調べる。 ## Personal context Matias Menni との議論から出たもの。Menni とは他にも `Riegのcoextensivity`（Notion 優先度★★★★）が並んでいる。

Multi-select sumと普遍monoid ## Trigger Notion「研究テーマ」DBの `Multi-select sum of Games/ Universal Monoids`（優先度★★★、進行状況 ●○○、coresearcher: J.Koizumi, Tomoaki Abuku、Subfield: game theory、Last Edited 2023-09-01）から瓶化した。coresearcher 欄の2人は議論相手としての記録であり、共著の裏は取っていない。 ## Idea Games $A_1,\dots,A_n$ に対して、それらの **multi-select sum**（正の有限個の成分を選んでプレイする和）を考える。これは不偏ゲームの monoidal product で、Conway addition に似ている。 **問い: この operation に関する普遍的な monoid 不変量（universal monoid invariant）は何か。** 原メモの観察・部分結果: - LN(3,2) は 2山Nim と 1山Nim の multi-select sum なので、universal monoid invariant が分かれば LN(3,2) が解けるはず。 - 予想（原メモ自身が曖昧と注記）: universal monoid invariant は Birthday と Grundy number のペアか？（「しなさそう．いや，するかも」） - 性質: $1\mathrm{Nim}(n)+1\mathrm{Nim}(m)=1\mathrm{Nim}(n+m)$（一山）、$LN(3,2)(a,b,c)=2\mathrm{Nim}(a,c)+1\mathrm{Nim}(b)$、$X_1+\dots+X_1=\mathrm{Nim}_n$（$X_{n+1}=\{X_n\},\ X_0=0$）。 - Lemma: $A+B$ が P-position $\iff$ $A$ も $B$ も P-position（LN(3,2) のときに観察済み）。よって universal monoid では P-position は全て単位元（後手必勝ゲーム全体のなす同値類）につぶれる。 - universal monoid は群ではない: $\mathrm{Nim}_n$（$n>0$）に何を multi-sum しても単位元になれない（Lemma より）。 - $\{P,N\}$-universal monoid は $\{P,N\}$ 自体。だから本命は **Grundy-universal monoid** で、単位元も考え直す必要がある。Birthday が関わるかも。 - 「Game Operation and Universal Monoids」という観点からは、パス付き三山ニムの未解決問題も関連しそう。"Recursive aspect" にも注目する。 - 例の候補: Grundy数 / Remoteness / Selective sum + PN / 逆形ゲーム / Selective sum + Grundy / Selective and Conway sum（知りたい）/ パスつき3山Nim（"dependent sum"）。 ## Personal context Universal monoid・recursive coalgebras・monoidal structure を全部駆使したい方向（原メモの結び）。*Games as recursive coalgebras* 系の公開問題 [[f98jzd]]（Bouton monoid）・[[tauvfv]]（monoidal closed structures）と近い場所にあるが、multi-select sum という別の operation の普遍不変量を問う点で独立した問い。 ## 2026-08-26 AI研究監査：eventual birthday theorem selective compound を $A\nabla B$，Nim heap を $*k$，$d(A)$ を $A$ からの最大 play 長（birthday/depth）とする．任意の short finite impartial game $A$ について \[ \operatorname{Gr}(A\nabla *k)=k+d(A) \] が十分大きいすべての $k$ で成り立つ． 証明：$f_A(k)=\operatorname{Gr}(A\nabla *k)$ と置く．$A\nabla*(k+1)$ の option set は $A\nabla*k$ とその全 option を含むので $f_A(k+1)>f_A(k)$．一方 Grundy number は depth 以下だから $f_A(k)\le k+d(A)$．従って $\delta_A(k)=f_A(k)-k$ は非減少かつ $d(A)$ 以下で，最終的に定数 $e$ となる．$d=d(A)>0$ とし depth $d-1$ の option $A'$ を取る．帰納法で $\operatorname{Gr}(A'\nabla *j)=j+d-1$（$j\gg0$）．もし $e\le d-1$ なら $j=k+e-(d-1)\le k$ と置くと $A'\nabla *j$ は $A\nabla*k$ の option であり，その Grundy number は $k+e=f_A(k)$ となって mex に反する．よって $e=d$． 従って selective contexts に関する universal monoid は birthday を検出する： \[ d(A)=\lim_{k\to\infty}(\operatorname{Gr}(A\nabla*k)-k). \] また $(d,\operatorname{Gr})$ は普遍不変量ではない．$G=\{*2\}$ と $H=\{*1,*2\}$ はともに $(d,\operatorname{Gr})=(3,0)$ だが \[ \operatorname{Gr}(G\nabla*1)=1,\qquad \operatorname{Gr}(H\nabla*1)=4. \] Bouton monoid 全体の決定には，異なる hereditarily finite games を有限 selective context が必ず分離するか，または collision があるかを決める必要がある．