投稿

The object of normal subgroups ## Trigger 旧HP Problems 1.2.2（2026-04-27版）と issue #43 の下書き14/Nから移した。normalization operator を使うと、任意の topos で群作用トポスの「正規部分群全体」に対応する部分対象を定義できるという観察が出発点である。 ## Idea local state classifier \(\Xi\) の normalization operator を \[ \nu:=\xi_\Xi:\Xi\to\Xi \] とし、\(\top:\Xi\to\Xi\) を最大元へ送る射とする。自然な候補 \[ \operatorname{NorSub}(\mathcal E):=\operatorname{Eq}(\nu,\top)\rightarrowtail\Xi \] を「normal local states の対象」と呼ぶとき、これは \(\mathcal E\) のどのような幾何的・群論的データを分類するか？ group action topos \(\mathbf{PSh}(G)\) では、\(\Xi\) は共役作用を持つ部分群全体、\(\nu(H)=N_G(H)\) である。したがって \(\nu(H)=G\) は \(H\trianglelefteq G\) と同値で、上の equalizer は通常の正規部分群全体を回収する。 ## Known distinctions - \(\operatorname{Eq}(\nu,\top)\) は正規部分群に対応する。一方、\(\operatorname{Eq}(\nu,\mathrm{id}_\Xi)\) は group case では self-normalizing subgroups に対応し、別の対象である。 - arXiv:2511.05012 は normalization operator、群作用の場合の normalizer、normalization lemma \(\mathrm{id}_\Xi\leq\nu\) を確立するが、上の equalizer の分類普遍性までは与えていない。 - 公式 Problems は group action case で正規部分群と essential connected geometric morphisms の関係を動機として挙げる。ただし一般化には、幾何射の向き・余域・同値関係を明示した representability の定式化が必要である。 - topos の isotropy group は隣接する既存理論だが、\(\operatorname{NorSub}(\mathcal E)\subseteq\Xi\) と同じ対象ではない。両者の間の写像や作用は別途構成する必要がある。 ## Goal まず group action topoi で、正規部分群に対応する幾何射のデータを関手として正確に書き、\(\operatorname{NorSub}(\mathcal E)\) がそれを表現するか検証する。その後、presheaf topoi、continuous group actions、isotropy quotient をテストケースとして、一般の topos における分類対象と必要な追加構造を特定する。 ## Personal context normalization operator 論文の自然な次の問いであり、\(\Omega\) による subobject 分類、\(\Xi\) の internal filters による hyperconnected quotient 分類に続く「分類対象」の候補である。ただし、この三者が同じ型の分類定理を持つことはまだ仮定しない。 ## References - [Ryuya Hora, *Normalization of a subgroup, in a topos, and of a word-congruence*](https://arxiv.org/abs/2511.05012) - [Simon Henry, *The localic isotropy group of a topos*](https://arxiv.org/abs/1706.04835) ## 旧HP Problems 1.2.1 の吸収（2026-07-14） 旧HPでは次の問いとして記録されていた。 > In the topos of \(G\)-actions, \(\Xi\) is the \(G\)-set of subgroups of \(G\), and the canonical morphism \(\xi:\Xi\to\Xi\) is the normalizer operator. How does this operator look in other topoi? 補足は、\(\xi\) は一般に恒等射ではなく、群作用の場合が動機的な例だと述べていた。 この問いの前段は arXiv:2511.05012 によって具体化された。同論文は local state classifier を持つ任意の圏で \(\nu=\xi_\Xi:\Xi\to\Xi\) を normalization operator と定義し、群作用トポスでは \(H\mapsto N_G(H)\) と一致する。本瓶はこの作用素を起点に、\(\operatorname{Eq}(\nu,\top)\) が一般のトポスで何を分類するかという次の未解決問題を保持する。したがって旧1.2.1は別瓶にせず、本瓶の先行段階として吸収する。 - 旧ID: 1.2.1 - 旧テーマ: Normalizer operator - 旧分類: informal question - 旧タグ: normalizer, group actions, subgroups - 旧出典: [ryuya-hora-homepage `scripts/site.js`（commit `1b8b74c`, lines 630–638）](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c/scripts/site.js#L630-L638) ## 旧HP Problems 1.0.6 の吸収（2026-07-14） 旧HPでは次の問いとして記録されていた。 > Is there a direct connection between local state classifiers and the isotropy group of a topos? 旧HPのdescriptionは次のとおり。 > A short problem linking local states to topos-theoretic isotropy. 本瓶はすでに、normal local statesの対象 \(\operatorname{NorSub}(\mathcal E)\subseteq\Xi\) とtoposのisotropy groupは同一ではないと区別したうえで、両者の間の写像や作用を構成する必要を記している。Goalでもisotropy quotientをテストケースに含めている。したがって、旧1.0.6の広い接続問題は本瓶が保持する未解決部分に含まれると判断し、別瓶にせず吸収する。 - 旧ID: 1.0.6 - 旧テーマ: Local state classifier - 旧分類: informal question - 旧タグ: isotropy, topos - [旧出典 `scripts/site.js` 745–752行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L745-L752) - 取り下げ済みPR #33の候補UID `ewupmf` はmain未収録のため、archived瓶を新設しない。 ## 2026-08-26 AI研究監査：群作用 test case $G$-Set では local state classifier は共役作用付き subgroup object \[ \Xi=\operatorname{Sub}(G) \] であり，normalization map $\nu=\xi_\Xi$ は \[ \nu(H)=N_G(H) \] （normalizer）で与えられる．従って \[ \operatorname{Eq}(\nu,\top) =\{N\le G\mid N_G(N)=G\} =\{N\trianglelefteq G\} \] は normal subgroups の離散部分対象である． さらに normal subgroup $N$ が生成する principal internal filter $\uparrow N$ は essential hyperconnected quotient \[ (G/N)\text{-Set}\longrightarrow G\text{-Set} \] に対応する．これは「normal subgroup object」と principal internal filters の対応の群作用 test case を完全に記述する．一般の topos では principal 性の内在的特徴づけが残る． ## 2026-09-08 AI研究継続：NorSub の内在的同定（[[um88u4]]） - **Theorem.** 任意の Grothendieck topos で \(\operatorname{NorSub}(\mathcal E)=\operatorname{Eq}(\nu,\top)=\Xi^{\mathrm{st}}\)（\(\Xi\) の subterminal な subobject 全体の union）．より一般に任意の \(Y\) で \(\operatorname{Eq}(\xi_Y,\top_Y)=Y^{\mathrm{st}}\)．証明は，一点 filter \(\{\top\}\) に対応する hyperconnected quotient が localic reflection \(\mathbf{Sh}(\operatorname{Sub}1)\) であり，その像が subterminal の union からなることによる． - **presheaf topos.** \(\operatorname{NorSub}(c)\cong\mathcal E(\operatorname{supp}y(c),\Xi)\)，global sections \(\Gamma(\Xi)\) は「商圏の射がすべて mono になる congruence」，すなわち **étendue である essential hyperconnected quotient** と一対一（Rosenthal 1981 と [[kg9sny]] の既知定理を使用）．monoid では「商が left-cancellative な two-sided congruence」． - 「principal 性の内在的特徴づけ」は presheaf の場合こう答えられる：principal filter \(\uparrow s\)（\(s\in\Gamma(\Xi)\)）\(\iff\) 対応する quotient が étendue（\(\uparrow s\) が \(s\) を global bottom に持つ）．一般 topos への拡張は [[j9bcyf]] の bottom criterion に帰着．

What do maps into Ξ classify? ## Trigger 旧HP Problems（2026-04-27版、question 1.0.3）にあった問いを、issue #43 の下書き2/Nから移した。subobject classifier \(\Omega\) が \[ \mathcal{E}(X,\Omega)\cong\operatorname{Sub}_{\mathcal{E}}(X) \] を与えることとの対比が出発点である。 ## Idea Grothendieck topos \(\mathcal{E}\) の local state classifier を \(\Xi\) とする。各 \(X\in\mathcal{E}\) について、射 \(X\to\Xi\) はどのような幾何的データを分類するか？ より正確には、\(\Xi\) を使わずに定義され、\(X\) に反変に関手的な \(F:\mathcal{E}^{\mathrm{op}}\to\mathbf{Set}\) と自然同型 \[ \mathcal{E}(-,\Xi) \cong F(-) \] を見つけたい。 ## Known partial structure presheaf topos では、representable \(y(c)\) に限れば Yoneda により \(\mathcal{E}(y(c),\Xi)\cong\Xi(c)\) であり、右辺は \(y(c)\) の co-subobject（quotient）の集合として記述できる。さらに自然性を展開すると、一般の presheaf \(X\) から \(\Xi\) への射は、各 figure \(x:y(c)\to X\) に \(y(c)\) の quotient を割り当て、precomposition による pullback と両立させた族とみなせる。この presheaf 固有の記述を、一般の topos で内在的・幾何的な moduli problem としてどう言い換えるかが未解決部分である。 また、既知の対応 \(\mathcal{E}(\Xi,\Omega)\cong\{\text{coherent families of subobjects}\}\) は射の向きが逆である。Menni の non-singular map は標準射 \(\xi_X:X\to\Xi\) の可換性から定義され、任意の射 \(X\to\Xi\) を分類するものではない。一方、reflexive graphs では \(\Xi_\top\to\Xi\) が lightly dense monomorphism の restricted classifier になるため、求める意味論のテストケースになる。 ## Goal \(\Xi\) の moduli 的な意味を明らかにし、presheaf topoi などでの計算や保存性に概念的な説明を与える。単純な \(F\) が存在しない場合は、成立する対象・射の範囲と障害を特定する。 ## Personal context local state classifier は洞の中心テーマである。この問いは \(\Xi\) の基本的な意味論を問うもので、étendue や local monomorphism に関する近縁の問いを理解する手掛かりにもなりうる。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - [Matías Menni, *Non-singular maps in toposes with a local state classifier* (arXiv:2505.07131)](https://arxiv.org/abs/2505.07131)

Totally disconnected topoi ## Trigger 公式 Problems 3.0.1 と旧HP Problems（2026-04-27版）にある逆問題を、issue #43 の下書き16/Nから移した。 ## Idea Grothendieck topos \(\mathcal E\) を、\(\mathcal E\) から出る connected geometric morphismがすべて equivalence であるとき totally disconnected と呼ぶ。これは \(\mathcal E\) が非自明な quotient toposを持たない、という条件である。 既知の方向として、totally disconnected な Grothendieck topos は、totally disconnected locale \(L\) 上の sheaf topos \(\mathbf{Sh}(L)\) と同値になる。逆に、\(L\) が totally disconnected locale なら \(\mathbf{Sh}(L)\) は上の意味で totally disconnected か。 ## Goal 逆向きを証明するか反例を構成する。まず localic topos \(\mathbf{Sh}(L)\) からの connected quotientsを locale側の構成へ翻訳し、\(L\) の connected sublocalesが点だけであることが、それらを全て自明にするか調べる。 逆が成り立たない場合は、追加すべき locale側の条件を特定して iff の特徴づけに直す。 ## Personal context quotient topoiの一般論における「非自明な商が存在しない側」の構造問題である。totally disconnected、zero-dimensional、totally separated は一般には同じ語ではないため、証明ではそれぞれを区別する。 ## References - [Ryuya Hora, Problems 3.0.1](https://sites.google.com/view/ryuya-hora/problems) - [Yuhi Kamio and Ryuya Hora, *Solution to Lawvere's first problem*](https://arxiv.org/abs/2407.17105) - [Olivia Caramello, *A topos-theoretic approach to Stone-type dualities*](https://arxiv.org/abs/1103.3493) - [Georgi Dimov and Elza Ivanova-Dimova, *Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces*](https://arxiv.org/abs/1901.04537) ## hora-tex 調査（2026-08-16） Notion「研究テーマ」DBに `Totally disconnected topoi`（優先度★★★★、進行状況 Not started、coresearcher 欄は空）というページがあるが、本文は空で、問い自体は本瓶がすでに持っている。 新しく分かったのは草稿の所在である。 - `overleaf/Totally disconnected topoi/`（`Ver1/` あり）

Topos quotients as R-modules ## Trigger 旧HP Problems 1.0.4（theme: Local state classifier）から移住する公開問題。旧HP Problems 40問のうち最後まで残った3問の1つ。`created` は旧HPページの版日付（2026-04-27版）を代理値とし、正確な着想日は不明。 ## Idea The meet-semilattice endomorphisms of the subobject classifier \(\Omega\) form a noncommutative semiring \(R\), whose idempotents correspond to subtopoi. By the local-state-classifier theory, hyperconnected quotients of \(\mathcal{E}\) form an \(R\)-module. How are subtopoi and hyperconnected quotients related? The guiding image is that a Lawvere-Tierney topology behaves like a clopen in \(\operatorname{Spec} R\), while the module of hyperquotients behaves like a quasi-coherent sheaf on it. ## Goal トポスの2種類の「商」— localic方向（subtopos）とhyperconnected方向 — が、半環 \(R\) とその上のmoduleという1つの代数の中で統一的に見えるようにする。hyperconnected–localic分解の代数的対応物の完成。 ## Personal context 準備中論文 *The lattice of hyperconnected quotients is a module of the semiring of productive weak topologies* がこの問いの前半（module構造の確立）を進めている。瓶として残る核心は、冪等元（subtopos）とmoduleの作用がどう噛み合うかの後半。issue #43 下書き3/Nの新規性チェック（2026-07-08）では、この組み合わせを扱う外部文献は見つからず、洞自身の系列のみだった。論文でやることと論文後に残ることの線引きは洞の確認待ち。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.0.4 - 旧分類: informal question - [旧出典 `scripts/site.js` 724–735行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L724-L735) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。 - issue #43 下書き3/N（2026-07-08・新規性チェック付き）を経由して瓶化。 ## Notion からの吸収（2026-08-16） Notion「研究テーマ」DBの `Actions of productive weak LT topology on HQ`（優先度★★★★、進行状況 ●○○、coresearcher 欄に Nakata）を、洞の判断でこの瓶へ吸収した。Notion のページに本文は無い。 上の Personal context が挙げる準備中論文 *The lattice of hyperconnected quotients is a module of the semiring of productive weak topologies* の草稿は、`overleaf/The semiring of productive weak topologies/`（`Ver1/` あり）にある。 Nakata の関与について、洞は「共著というよりは謝辞に載せる感じ」と述べている（2026-08-16）。discussed_with へはその位置づけで追加する。 ## Notion からの追記（2026-08-16）: Subtopoi and hyperquotients Notion「研究テーマ」DBの `Subtopoi and hyperquotients`（優先度★★★★、進行状況 Not started、coresearcher 欄は空）の本文を、洞の判断でこの瓶へ移す。 > hyperquotientのlatticeや，それに関係するjump operator? (=normalizer morphism)やLT-位相との関係など．そしてLawvereの第二問題に挑む． Menniの論文との関係も調べる． 本瓶は「subtopos（\(R\) の冪等元）と hyperconnected quotient（\(R\)-module）がどう関係するか」を問うが、次の3点はそこに書かれていない。 - hyperquotient の lattice に作用する **jump operator（= normalizer morphism）**。これは [[n6v2sg]] の normalization operator \(\nu=\xi_\Xi\) にあたる - Lawvere--Tierney 位相との関係を、その jump operator の側から見ること - Lawvere の第二問題への接続（[[cntfdy]] が3つの読みを整理している）と、Menni の論文との関係

Quotient topoi of {a,b}* ## Trigger 公式 Problems 2.0.2 と旧HP Problems（2026-04-27版）にある問いを、issue #43 の下書き11/Nから移した。1文字 alphabet と可算無限 alphabet では quotient topoi の大きさが異なるため、未決着の最小の場合は2文字 alphabet である。 ## Idea 2文字 alphabet \(\Sigma=\{a,b\}\) に対し、free monoid \(\Sigma^*\) の作用の topos \[ \mathbf{PSh}(\Sigma^*) \] は set-many の quotient topoi だけを持つか、それとも proper class many を持つか？ より一般に有限 \(|\Sigma|\ge 2\) での個数・順序構造を求めたいが、\(|\Sigma|=2\) を解けば「1生成」と「有限多生成」の境界をまず確定できる。 ## Known partial structure \(|\Sigma|=1\) では \(\Sigma^*\cong\mathbb N\) であり、Hora–Kamio は \(\mathbf{PSh}(\mathbb N)\) の全 quotient topoi を \(\mathbb N\times\mathbb N^{\mathrm{div}}\) の ideals で分類した。これは可算 poset の部分集合族なので set-sized であり、実際には continuum many になる。 一方、Kamio–Hora は可算無限生成 free monoid \(M_\omega\) に対し、\(\mathbf{PSh}(M_\omega)\) が proper class many quotient topoi を持つことを示した。その証明では、countable relational language を表す countable encoding monoid \(N_{\mathcal L}\) を作り、全射 \(M_\omega\twoheadrightarrow N_{\mathcal L}\) を用いる。2生成の場合へ進むには、この encoding を有限生成化するか、全射でない lax epimorphism など connected morphism を与える別の仕組みを見つける必要がある。 また、任意の空でない有限 \(\Sigma\) には全射 \(\Sigma^*\twoheadrightarrow\mathbb N\) があるので、\(\mathbf{PSh}(\mathbb N)\) は \(\mathbf{PSh}(\Sigma^*)\) の quotient になる。したがって既知の分類から、有限非空の場合にも少なくとも continuum many の quotient topoi がある。 **中心の問いは解決した（2026年、Yuhi Kamio）。** Kamio の未公開ノート（hora-tex `papers/quotient-topoi-note/`）は、\(\mathbf{PSh}(M_2)\) が **proper class many** の quotient topoi を持つことを証明した。骨子: monoid 準同型 \(\Phi\colon M_\omega\to M_2\) の precomposition \(\Phi^*\) が limit/colimit を保つため topos-rigid objects を引き戻せることに着目し、可算個の endomorphism を2生成の語で表す Sierpiński の定理（\(g^2 f^{i+1} g f = \varphi_i\)）で encoding を有限生成化する。英語での exposition は private preprint `pre-h94ssa` にあり、そこでは \(|\Sigma|\ge 2\) の任意の有限 alphabet への拡張も与えられている。功績は Kamio に帰属する（この瓶の記録の責任は洞）。 ## Goal set/proper-class の二分は確定した（\(|\Sigma|=1\) で continuum many、\(|\Sigma|\ge 2\) で proper class many）。残る目標は次の2つ。quotient たちの順序構造・支配する不変量を記述すること。そして全 quotients と hyperconnected quotients の振る舞いを比較し、finite alphabet の automata-theoretic 構造が境界をどう制御するか説明すること。 ## Personal context Lawvere 第1問題の解決と、\(\Sigma\)-actions を研究する Topoi of automata 系列の直接の接点である。1生成の完全分類と可算無限生成の proper-class 現象の間に残った、最初の具体的なケースでもある。 ## References - [Ryuya Hora and Yuhi Kamio, *Quotient toposes of discrete dynamical systems* (arXiv:2310.02647)](https://arxiv.org/abs/2310.02647) - [Yuhi Kamio and Ryuya Hora, *Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi* (arXiv:2407.17105)](https://arxiv.org/abs/2407.17105) - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages* (arXiv:2411.06358)](https://arxiv.org/abs/2411.06358) - [Ryuya Hora, Problems](https://sites.google.com/view/ryuya-hora/problems)

LSC and Gabriel's theorem ## Trigger 旧HP Problems 1.5.1（2026-04-27版）と issue #43 の下書き5/Nから移した。local state classifier による hyperconnected quotient の分類と、Gabriel に始まる module category の localizing subcategory・商圏の理論が似た形を持つという観察が出発点である。 ## Idea 次の二つを特殊例として回収する「商・局所化の内部パラメータ化」の共通一般化はあるか？ 1. topos \(\mathcal E\) では、local state classifier \(\Xi\) の internal filter が hyperconnected quotient を分類する。 2. module category などの abelian category では、Gabriel の localizing subcategory が exact reflective localization と quotient category を統制する。 候補となる舞台として enriched category theory や Grothendieck enriched category が考えられるが、現段階では共通一般化が存在することも、この舞台が正しいことも確定していない。特に cartesian で非加法的な topos 側と、加法的・exact な Gabriel 側で、どの構造を共通に残すべきかが最初の問題である。 ## Comparison axes - **分類される商**: hyperconnected geometric morphism と exact reflective localization をどう同じ2-categorical概念に置くか。 - **分類パラメータ**: internal filter of \(\Xi\) と localizing/Serre subcategoryまたは Gabriel filter をどう同じ型に置くか。 - **生成と小ささ**: Grothendieck topos の生成子と Grothendieck abelian category の generator が、分類対象の存在をどこまで共通に保証するか。 - **再構成**: 分類パラメータから商を戻す構成が、base change や enrichment と両立するか。 ## Goal まず二つの分類定理を同じ表に置き、最小限共通する公理を抽出する。共通定理が得られない場合も、非加法性・exactness・内部論理のどこが障害かを特定し、「形式的な類似」と「実際に一般化できる構造」を分ける。 ## Personal context local state classifier 理論を presentable / enriched な圏へ広げる長期方向である。公式 Problems は enriched topos theory を可能性として挙げるが、この瓶では研究仮説として保持し、既存の準備中研究や未公開結果を確定事項として使わない。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - [Pierre Gabriel, *Des catégories abéliennes*](https://numdam.org/articles/10.24033/bsmf.1583/) - [Yuki Imamura, *Grothendieck enriched categories*](https://arxiv.org/abs/2105.05108) ## Notion からの吸収（2026-08-16） Notion「研究テーマ」DBの次の2件を、洞の判断でこの瓶へ吸収した。どちらも本文が空で、タイトルと分類欄だけが記録されていた。 - `Generalized LSC and Serre subcategory`（優先度★★★★、進行状況 Not started、coresearcher 欄は空） - `Serre subcatgeoryの分類とLSC`（優先度★★★★、進行状況 Not started、Categorical Structures 欄は Abelian category・Enriched category・Factorization system・LSC・Topos） 本瓶の Comparison axes にある「internal filter of \(\Xi\) と localizing/Serre subcategory または Gabriel filter をどう同じ型に置くか」が、この2件の指す内容にあたる。後者の Categorical Structures 欄が Enriched category を含むことも、本瓶が enriched category theory を候補の舞台として挙げていることと合う。

LSC of a slice topos ## Trigger 旧HP Problems 1.3.1（theme: Local state classifier）から移住する公開問題。旧HP Problems 40問のうち最後まで残った3問の1つ。`created` は旧HPページの版日付（2026-04-27版）を代理値とし、正確な着想日は不明。 ## Idea Is the local state classifier of the slice topos \(\mathcal{E}/X\) given by pulling back the order projection \(\preceq\to\Xi\times\Xi\to\Xi\) along the canonical morphism \(\xi:X\to\Xi\)? Informally: is it the object of all local states that are more unfolded than \(X\)? ## Goal \(\Omega\) のslice安定性 \(\Omega_{\mathcal{E}/X}=X^*\Omega\) に対応する \(\Xi\) 版の公式を確立する。\(\Xi\) の相対化の最初の一歩であり、これが通ると [[nfrbb5]]（bounded elementary topoiのLSC）やrelative topos theoryへの道が具体的な公式レベルで開く。 ## Personal context 非公開ノート *Notes on advances of LSC* に §LSC of slice topos のongoing節が既にあり、部分的に解けている可能性が高い。ノートの現状（どこまで証明済みか）の転記は洞の確認後。関連瓶: [[jmenm6]] がこのslice LSC conjectureと §Exponential structure の問いの接続を扱う。issue #43 下書き15/Nの新規性チェック（2026-07-08）では、slice toposのLSCを扱う外部文献はヒットせず（LSC文献は自著系列のみ）、型として最近接なのは \(\Omega\)・partial map classifierのslice安定性（教科書事項）と相対トポス系（arXiv:2104.05650等）。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.3.1 - 旧分類: formal question - [旧出典 `scripts/site.js` 661–671行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L661-L671) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。 - issue #43 下書き15/N（2026-07-08・新規性チェック付き）を経由して瓶化。 ## 2026-08-26 AI研究監査：slice formula の候補解 $\preceq\hookrightarrow\Xi\times\Xi$ を internal order とし，第二射影を $\pi_2$ とする．任意の $X\in\mathcal E$ について，slice topos の local state classifier は $X$ 上の対象として \[ \Xi_{\mathcal E/X}\cong X\times_{\xi_X,\Xi,\pi_2}\preceq =\{(x,u)\mid u\preceq\xi_X(x)\} \] で与えられる．$p:Y\to X$ の canonical map は \[ y\longmapsto (p(y),\xi_Y(y)) \] である． 証明は site of elements で行える．$x:ay(c)\to X$ に対し，slice 内の $ay(c)$ の quotient は，$x$ が factor する quotient $q:ay(c)\twoheadrightarrow Q$ と同じである．$q_x:ay(c)\twoheadrightarrow\langle x\rangle$ を image quotient とすれば，これは $q\preceq q_x$ と同値である．したがって presheaf-level classifier は上記 pullback であり，sheafification の左完全性により公式が保たれる．canonical map の well-definedness は $\xi_Y\preceq\xi_Xp$ から従う． この証明は完全解候補だが，公開前に site 表示と order の向きを人間が再検証する必要がある． ## 2026-08-27 接続整理：relative LSC，local mono，étendue，choice 以下 \[ D_X:=X\times_{\xi_X,\Xi,\pi_2}\preceq =\{(x,u)\mid u\preceq\xi_X(x)\} \] と書く．slice formula の主張は，\(D_X\to X\) が \(\mathcal E/X\) の local state classifier であり，\(p:Y\to X\) の canonical state map が \[ \bar\xi_p:=\langle p,\xi_Y\rangle:Y\longrightarrow D_X \] である，というものである． ### Relative LSC における étale branch Nivar の relative LSC は geometric embedding \(j:\mathcal E_j\hookrightarrow\mathcal E\) に対し，ambient \(\Xi\) 上の inflationary idempotent semilattice endomorphism \(\lambda_j\) を構成し， \[ \Xi_j=\operatorname{Eq}(\operatorname{id}_\Xi,\lambda_j) \] を sheafify して \(\mathcal E_j\) の LSC を得る．これに対し，射影 \(\pi_X:\mathcal E/X\to\mathcal E\) は étale，したがって localic であり，slice formula はその relative states を fiberwise principal ideal \[ \downarrow\xi_X=\{(x,u)\mid u\preceq\xi_X(x)\} \] として与える．従って一般の localic morphism に対する relative LSC は，少なくとも embedding の fixed-point localization と étale morphism の principal-ideal restriction を統合する必要がある．これは [[mhv4sn]] の relative LSC program における étale branch である． ### Base change，non-singular maps，local monomorphisms 任意の \(f:A\to B\) に対し，一般不等式 \(\xi_A\preceq\xi_Bf\) から canonical monomorphism \[ c_f:D_A\hookrightarrow f^*D_B \] が得られ， \[ c_f\text{ is an isomorphism} \quad\Longleftrightarrow\quad \xi_A=\xi_Bf \] である．右辺は Menni の non-singular map の定義である．従って non-singular maps は，slice LSC が cartesian base change を満たす射に正確に一致する．さらに [[b7m4yk]] の問い「Kock--Moerdijk の local monomorphism と Menni の non-singular map は一致するか」が肯定的なら，local monomorphisms はちょうど \(D_A\cong f^*D_B\) を満たす射である． ### Étendue と bottom Hora の localic criterion と slice formula から \[ \mathcal E/X\text{ is localic} \quad\Longleftrightarrow\quad D_X\cong X \] を得る．これは \(\xi_X\) が fiberwise minimal state を取ることに等しい．epi \(X\to1\) に沿った descent と合わせると，[[j9bcyf]] の \[ \mathcal E\text{ is an étendue} \quad\Longleftrightarrow\quad \Xi\text{ has a global bottom} \] が slice formula から導かれる． ### 訂正：internal AC と external AC 以前の監査で「非自明な群 \(G\) に対して \(G\to1\) が section を持たないので \(G\text{-}\mathbf{Set}\) は IAC を満たさない」と述べたのは誤りである．これは internal axiom of choice と，every epimorphism splits という external axiom of choice を混同していた． Barr--Wells の用語では： - \(\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{ が external に 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 であることと同値である． slice formula の top section \[ t_X:=\langle\operatorname{id}_X,\xi_X\rangle:X\longrightarrow 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_p s=t_X \] である．実際，左辺なら \(s\) は monic なので \(\xi_Ys=\xi_X\) であり，逆向きは第一成分を取ればよい．従って自然な同型 \[ \operatorname{Lift}_{\Xi}(p)\cong\operatorname{Sec}(p) \] がある．よって正しい LSC criterion は \[ \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)\) が global point を持つことを要求する． 非自明な離散群 \(G\) に対し \(G\text{-}\mathbf{Set}\) は IAC を満たすが AC を満たさない（Barr--Wells，Exercise GAC）．左正則作用に対する epi \(G\to1\) には equivariant section がないが，その section object は \(G\) 自身であり，global point は持たない一方で global support は持つ．従ってこの例は IAC の反例ではなく，\(\mathrm{SS}\) および external AC の失敗例である． Freyd--Scedrov の特徴づけによれば，Grothendieck topos が IAC を満たすことは Boolean étendue であることと同値である．従って [[j9bcyf]] の bottom criterion が確立されれば \[ \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 を表す． ### References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - Nivar, *Relative Local State Classifiers and Hyperconnected Quotients of Sheaf Subtoposes*，draft． - [Matías Menni, *Non-singular maps in toposes with a local state classifier*](https://arxiv.org/abs/2505.07131) - [Anders Kock and Ieke Moerdijk, *Every étendue comes from a local equivalence relation*](https://doi.org/10.1016/0022-4049(92)90118-Y) - [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) ### 公開前の検証項目 1. quotient order が identity quotient \(\preceq\) terminal quotient という convention と一致すること． 2. category of elements の各 representable \((ay(c)\xrightarrow{x}X)\) における slice quotient が，\(x\) の factorization を許す ambient quotient \(q\preceq q_x\) と一致すること． 3. presheaf-level の同型と sheafification 後の ambient pullback \(D_X\) の同一視を明記すること． 4. Freyd--Scedrov の Boolean étendue characterization と [[j9bcyf]] の bottom criterion の仮定範囲を最終原稿で揃えること．

LSC for elementary topoi ## Trigger 旧HP Problems 1.1.4（theme: Local state classifier）から移住する公開問題。旧HP Problems 40問のうち最後まで残った3問の1つ。「すべてのGrothendieck toposはLSCを持つ」（TAC 42-11）の相対化。`created` は旧HPページの版日付（2026-04-27版）を代理値とし、正確な着想日は不明。 ## Idea Does an elementary topos have a local state classifier whenever it is bounded over a topos with a local state classifier? Every Grothendieck topos has a local state classifier; the question asks for a bounded elementary extension of that phenomenon. ## Goal LSCの存在定理をrelative topos theoryの言葉で閉じさせる。成立すれば「LSCを持つ」がbounded geometric morphismで下に閉じたクラスになり、base非依存の理論（任意のbase上のhyperconnected quotientのパラメータ付け）が立つ。 ## Personal context TAC 42-11の存在証明はsite表示（=Set上のbounded性）を本質的に使っており、証明のどのステップがinternal化できるかの棚卸しから始まる問い。非公開ノート *Notes on advances of LSC* に §Relationship with bounds のongoing節があり、この存在予想に加えて、boundという性質自体を \(\Xi\) で内在的に特徴づける予想が置かれている（statementの転記は洞の確認後）。関連瓶: [[mhv4sn]]（relative LSC program）が同じ相対化をbase-toposの側から進めている。issue #43 下書き4/Nの新規性チェック（2026-07-08）では、relative/bounded設定でのLSC存在を扱う外部文献はヒットせず、定式化自体が貢献級と判定。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.1.4 - 旧分類: formal question - [旧出典 `scripts/site.js` 619–629行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L619-L629) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。 - issue #43 下書き4/N（2026-07-08・新規性チェック付き）を経由して瓶化。

Rational subrieg of [0,∞) ## Trigger 旧HP Problems 7.0.3（theme: Riegs）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea What is the subrieg of \([0,\infty)\) generated by the nonnegative rational numbers? Are there nontrivial equations? Is it isomorphic to the free rieg generated by the rig \(\mathbb{Q}_{\ge 0}\)? ## Goal 非負有理数が \([0,\infty)\) 内で生成するsubriegを決定し、旧原文が問う非自明な方程式とfree riegとの同型の有無を明らかにする。 ## Personal context 旧タグはnonnegative rationals、free rieg、equations。旧一覧以後の進展は未確認であり、棚卸し待ちとして `status: dormant` とする。 ## Provenance - 旧ID: 7.0.3 - 旧分類: formal question - [旧出典 `scripts/site.js` 974–984行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L974-L984) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Completely connected morphisms ## Trigger 旧HP Problems 4.0.1（theme: Completely connected topoi、informal question）から移住する公開問題。旧HPは *Completely connected topoi* と *Colocal geometric morphisms* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea What is the right definition of completely connected geometric morphisms? Colocal geometric morphisms may provide the answer. ## Goal completely connected geometric morphismsの適切な定義を定め、colocal geometric morphismsがその答えを与えるかを明らかにする。 ## Personal context 旧タグは completely connected、colocal、geometric morphism。一次出典にない定義や研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor*](https://arxiv.org/abs/2503.04317) - [Colocal geometric morphisms](https://link.springer.com/article/10.1007/s10485-020-09620-y) ## Provenance - 旧ID: 4.0.1 - [旧出典 `scripts/site.js` 830–837行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L830-L837) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Points of regular languages ## Trigger 旧HP Problems 2.0.4（theme: Topoi of automata、formal question）から移住する公開問題。旧HPは *Topoi of automata* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Can we describe all points of the topos of regular languages? The points of the topos of \(\Sigma\)-sets can be fully described: there is one canonical point, and noncanonical points correspond to infinite words up to finite edit distance. A more conceptual version asks what theory this topos classifies. ## Goal regular languagesのtoposの全てのpointsを記述し、旧原文が示すより概念的な形として、このtoposが分類するtheoryを特定する。 ## Personal context 旧タグは point、regular language、Sigma-set、classified theory。一次出典にない研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 旧ID: 2.0.4 - [旧出典 `scripts/site.js` 786–795行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L786-L795) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

LSC of topoi of spaces ## Trigger 旧HP Problems 1.0.1（theme: Local state classifier）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea How does the local state classifier of a topos of spaces look? For example, what is the local state classifier of the topos of simplicial sets? A related formulation asks for a characterization of local, hyperconnected, or cohesive topoi in terms of a local state classifier. This is partially answered by Menni's work on non-singular maps. ## Goal topos of spaces、特にsimplicial setsのtoposのlocal state classifierを記述し、旧原文にある関連する特徴づけの問いを明確にする。 ## Personal context 旧タグは space、simplicial set、cohesive topos。Menniによる部分的回答より後の進展はこの移住では確認せず、棚卸し待ちとして `status: dormant` とする。 ## References - [Matías Menni, *Non-singular maps in toposes with a local state classifier*](https://arxiv.org/abs/2505.07131) - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.0.1 - 旧分類: informal question - [旧出典 `scripts/site.js` 694–703行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L694-L703) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

LSC of sheaf topoi ## Trigger 旧HP Problems 1.4.1（theme: Local state classifier）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Is there a simple description of \(\Xi\) when the defining site \((\mathcal{C},J)\) has a special form? For instance, what does \(\Xi\) look like for sheaf topoi over regular, coherent, atomic, local, locally connected, or extensive sites? ## Goal 列挙された特別なsiteについて、local state classifier \(\Xi\) の簡潔な記述を与える。 ## Personal context 旧タグは sheaf topos、site、regular site、coherent site。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.4.1 - 旧分類: informal question - [旧出典 `scripts/site.js` 673–682行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L673-L682) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。 ## 2026-09-07 AI 研究継続（Claude scheduled run）：extensive site の場合 [[bp8m8p]] 定理 A：extensive category \(\mathcal C\) の extensive topology では任意の前層 \(P\)（\(P(0)=1\)）について \(aP=P^{+}\)，\(P^{+}(c)=\operatorname{colim}_{c=\coprod c_i}\prod P(c_i)\)．従って Gaeta topos の LSC は \[\Xi(c)\cong\operatorname{colim}_{c=\coprod_ic_i}\prod_i\operatorname{Quot}(yc_i)\] （connected 対象では前層公式 \(\Xi(c)=\operatorname{Quot}(yc)\) に戻る）．condensed sets（ED site）ではさらに \(\operatorname{Quot}(\underline T)\) が閉関係の ideal で書け，\(\Xi_{\mathrm{Cond}}\) が明示的になる．regular・coherent・atomic・local・locally connected site の場合は未着手．

Higgs Prime conjecture ## Trigger 旧HP Problems 7.0.4（theme: Riegs）から移住する公開問題。旧HPはHiggs primeへの参照を付しているが、予想の具体的なstatementは記録していない。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Higgs Prime conjecture. The older list records this as a rieg-related formal problem. ## Goal 旧原文には具体的なconjecture statementがないため、この移住では定式化を補わない。洞が意図または旧資料を確認できるよう、問題名とrieg-related formal problemという記録を保持する。 ## Personal context 旧タグはHiggs prime、number theory、rieg。どの命題を予想していたかは一次出典から特定できない。研究内容を創作せず、`status: dormant` の確認待ち瓶として保存する。 ## References - [Higgs prime](https://en.wikipedia.org/wiki/Higgs_prime) — 旧HPが付していた参照。具体的なconjecture statementの根拠としては扱わない。 ## Provenance - 旧ID: 7.0.4 - 旧分類: formal question - [旧出典 `scripts/site.js` 986–994行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L986-L994) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Galois from internal filters ## Trigger 旧HP Problems 1.0.2（theme: Local state classifier）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea For some Galois group action ringed topoi, internal filters of \(\Xi\) and hyperquotients produce a Galois-theoretic correspondence. How can this phenomenon be generalized? The older note records this as an active working direction. ## Goal 旧原文に記されたGalois-theoretic correspondenceが一般化できる範囲と形式を明らかにする。 ## Personal context 旧タグは Galois theory、ringed topos、internal filter、hyperquotient。旧ノートはactive working directionとしていたが、現在の進展はこの移住では未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.0.2 - 旧分類: informal question - [旧出典 `scripts/site.js` 705–713行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L705-L713) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Functions ℕ→ℕ from F1 ## Trigger 旧HP Problems 7.0.2（theme: Riegs）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea When can a function \(\mathbb{N}\to\mathbb{N}\) be described by an element of the free algebra \(F_1\)? A representability question for unary functions by terms in the free rieg. ## Goal 関数 \(\mathbb N\to\mathbb N\) がfree rieg \(F_1\) のtermによって表現される条件を明らかにする。 ## Personal context 旧タグはfree algebra、natural numbers、rieg。旧原文は \(F_1\) の追加の定義や表現方法を記していないため、この移住では補完しない。旧一覧以後の進展は未確認であり、棚卸し待ちとして `status: dormant` とする。 ## Provenance - 旧ID: 7.0.2 - 旧分類: formal question - [旧出典 `scripts/site.js` 964–972行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L964-L972) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Finite presheaf topoi ## Trigger 旧HP Problems 6.0.1（theme: Elementary topoi）から移住する公開問題。Jeremie Marquesと議論され、enumerative combinatoricsとBurnside riegsに動機づけられたと旧HPに記録されている。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea For a small category \(\mathcal{C}\), when is its finite presheaf category \(\mathbf{fPSh}(\mathcal{C})=[\mathcal{C}^{\mathrm{op}},\mathbf{Set}]\) an elementary topos, or a locally cartesian closed category? If \(\mathcal{C}\) is finite or a group, \(\mathbf{fPSh}(\mathcal{C})\) is known to be a topos. More generally, if every slice \(\mathcal{C}/c\) is essentially finite, then \(\mathbf{fPSh}(\mathcal{C})\) is a topos. This question has been discussed with Jeremie Marques and is motivated by enumerative combinatorics and Burnside riegs. ## Goal small category \(\mathcal C\)について、\(\mathbf{fPSh}(\mathcal C)\)がelementary toposまたはlocally cartesian closed categoryになる条件を明らかにする。 ## Personal context 旧タグはfinite presheaf、locally cartesian closed、Burnside rieg。Burnside riegsへの明記された動機により、slogan `riegs` に束ねる。旧一覧以後の進展は未確認であり、棚卸し待ちとして `status: dormant` とする。 ## Provenance - 旧ID: 6.0.1 - 旧分類: formal question - [旧出典 `scripts/site.js` 941–951行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L941-L951) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。 ## Notion からの追記（2026-08-16） Notion「研究テーマ」DBの `When is a finite presheaf category a topos?`（優先度 Active、進行状況 ●●○、共著 Jeremie Marques）に残っていた材料を移す。 - 「(essentially) finite category はそう。群もそう。一般には？ \(\mathbb N\) はだめ。species は ok なわけで」——上の Idea にある十分条件の、具体例による確認にあたる - 「前層圏の subobject classifier が住んでるかでどのくらい分かるだろ。ダメそうじゃね？ \(\omega\) とか simplex とか」——subobject classifier の所在を判定基準にする案。\(\omega\) や simplex では否定的という見立て - 「さらには、\(\mathbf{FinSet}\) で必ず limit を持つような圏のクラスを考え、コンマ圏がその形になるという条件を考えたい」 - 文献ポインタ: Elephant 2.2.22、および *A Criterion for Categories on which eve...*（原メモではタイトルが途中で切れている） 同ページにあった「Lex Comonad を用いて、Right Kan extension の存在に帰着する」は、洞の判断で独立した瓶へ切り出した。 ## 2026-08-26 AI研究監査：二つの必要十分条件と十分条件 $\mathbf{fPSh}(\mathcal C)$ を finite-valued presheaves $F:\mathcal C^{op}\to\mathbf{FinSet}$ の full subcategory とする．finite limits は pointwise に存在する． - ambient presheaf topos の subobject classifier $\Omega$ が finite-valued であることと，各 $c\in\mathcal C$ 上の sieve が有限個しかないことは同値． - $F,G\in\mathbf{fPSh}(\mathcal C)$ に対する exponential $G^F$ が finite-valued であることと，任意の $c$ について \[ \operatorname{Nat}(y(c)\times F,G) \] が有限であることは同値． 従って，すべての slice $\mathcal C/c$ が essentially finite なら通常の presheaf formula が finite-valued に留まり，$\mathbf{fPSh}(\mathcal C)$ は elementary topos になる．一方，reverse ordinal の uncountable cofinality の例から，slice に finite weakly initial family があるという単純条件は必要でない． 完全分類は，各 slice category のすべての finite representations に対し，limit と natural-transformation set が有限になる条件の分類へ帰着する．

Regular-language exponentials ## Trigger 旧HP Problems 2.0.5（theme: Topoi of automata、informal question）から移住する公開問題。旧HPは *Topoi of automata* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea What are exponential objects in the topos of regular languages in automata-theoretic terms? This is possibly related to the syntactic construction problem in 2.0.1. ## Goal regular languagesのtoposにおけるexponential objectsをautomata-theoreticな言葉で記述する。 ## Personal context 旧HPには2.0.1との関係の可能性が記されていたが、それ以上の関係は一次出典から確定しない。旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 旧ID: 2.0.5 - 旧タグ: exponential object, automaton, regular language - [旧出典 `scripts/site.js` 797–805行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L797-L805) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Etendue via the bottom of Ξ ## Trigger Matias Menni とのメールのやり取りがきっかけ。local state classifier \(\Xi\) の研究(TAC 42-11)の「localic ⟺ \(\Xi\) が terminal」という特徴づけの、次の段階として。旧HPの Problems ページ(2026-03-30版、formal question 1.1.1)からの移住。 ## Idea Is a Grothendieck topos \(\mathcal{E}\) an etendue if and only if its local state classifier \(\Xi\), viewed as an internal semilattice, has a global bottom element \(\bot:1\to\Xi\)? presheaf topos では成立が既知。 ## Goal 「localic ⟺ \(\Xi\) is terminal」と対になる etendue の特徴づけが完成し、トポスの空間性の階層(localic / etendue / ...)が \(\Xi\) という一つの不変量で読めるようになる。 ## Personal context local state classifier は自分の中心テーマ(hyperconnected quotients の分類、TAC 42-11)。この問いは、不変量 \(\Xi\) がトポスの幾何的性質をどこまで捉えるかの試金石。2026-03-30 以降の進展は未反映(棚卸し待ち)。 ## References - [Local state classifier paper (TAC 42-11)](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## 2026-08-26 AI研究監査：slice formula からの短い証明 slice formula \[ \Xi_{\mathcal E/X}\cong\{(x,u)\mid u\preceq\xi_X(x)\} \] と「topos が localic iff その local state classifier が terminal」を用いると，次が従う： \[ \mathcal E\text{ is an étendue} \Longleftrightarrow \Xi_{\mathcal E}\text{ has a global bottom }\bot:1\to\Xi. \] ($\Rightarrow$) epi $p:X\to1$ で $\mathcal E/X$ localic とする．slice classifier の各 downset が singleton なので，$X\times X$ の二つの射影に沿って $\xi_X\pi_1=\xi_X\pi_2$．従って $\xi_X$ は $p$ に沿って global element $\bot$ へ descent する．任意の $u:U\to\Xi$ を $X\times U\to U$ に沿って引けば $\bot\preceq u$ が従う． ($\Leftarrow$) canonical maps $\xi_{G_i}:G_i\to\Xi$ が jointly epi となる小 generating family を選び，$\bot$ に沿って pullback する．その coproduct から epi $X\to1$ を得て $\xi_X=\bot$．slice formula より \[ \Xi_{\mathcal E/X}\cong\{(x,u)\mid u\preceq\bot\}\cong X, \] 従って $\mathcal E/X$ は localic． 瓶の novelty 評価どおり既知結果である可能性が高いが，この証明は slice formula による統一的な導出を与える． ## 追記（2026-08-27・AI採掘）: 4条件同値と出典の記録 2026-03-17〜25 の Menni とのメール往復（ChatGPT 会話「LSC etendue conjecture」）で、この問いは Menni の予想として明示され（"my conjecture is that a Grothendieck topos is an etendue if and only if its LSC has the bottom element"）、洞が「かなりきれいに証明できます」と証明を与えていた。上の 2026-08-26 監査の証明と同一線である。まとめると Grothendieck topos \(\mathcal E\) について次の 4 条件が同値: 1. \(\Xi\) が global bottom \(\bot:1\to\Xi\) をもつ 2. full support をもつ torsion-free object が存在する 3. \(\mathcal E\) は étendue 4. すべての射が monic な essentially small site 上の sheaf topos として表せる （(2)⇔(3)⇒(4) は Kock–Moerdijk。）あわせて同じ往復で、スローガン「LSC の順序は折り畳みの度合いであり、\(\bot\) の存在は『最大限の展開を globally に選ぶ方法』＝étendue の信念そのもの」という読みが得られている。kind を question から result へ昇格するかは洞の判断に委ねる。

Free rieg elements as games ## Trigger 旧HP Problems 7.0.1（theme: Riegs）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Let \(F_1\) be the free rieg generated by one element \(x\). Can elements of \(F_1\) be interpreted as a kind of combinatorial game? If so, can the morphism \(F_1\to\mathbb{N}\) sending \(x\) to \(0\) be interpreted in terms of games? ## Goal free rieg \(F_1\) の元をcombinatorial gameとして解釈できるか、また \(x\mapsto0\) で定まる射 \(F_1\to\mathbb N\) にゲームとしての解釈があるかを明らかにする。 ## Personal context 旧タグはfree rieg、combinatorial game、natural numbers。recursive coalgebraとしてのgamesを扱う既存瓶とは別の問いとして保持する。旧一覧以後の進展は未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Classical vs quantum computation](https://golem.ph.utexas.edu/category/2006/10/classical_vs_quantum_computati_3.html) ## Provenance - 旧ID: 7.0.1 - 旧分類: informal question - [旧出典 `scripts/site.js` 953–962行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L953-L962) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Elementary container objects ## Trigger 旧HP Problems 4.0.2（theme: Completely connected topoi、informal question）から移住する公開問題。旧HPは *Completely connected topoi* と *Local topos* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Is there an elementary definition of container object that makes sense in an arbitrary elementary topos? This is motivated by the fact that the definition of a local topos can be rephrased in an elementary way. ## Goal 任意のelementary toposで意味を持つcontainer objectのelementary definitionを定式化する。 ## Personal context 旧タグは container object、elementary topos、local topos。一次出典にない定義や研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor*](https://arxiv.org/abs/2503.04317) - [Local topos](https://ncatlab.org/nlab/show/local+geometric+morphism#LocalTopos) ## Provenance - 旧ID: 4.0.2 - [旧出典 `scripts/site.js` 839–847行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L839-L847) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Completely connected vs local ## Trigger 旧HP Problems 4.0.3（theme: Completely connected topoi）から移住する公開問題。出典は ryuya-hora-homepage の commit `1b8b74c`、`scripts/site.js` 849–858行。`created: 2026-03-30` は取り下げ済みPR #33の移住候補から引き継いだ代理値で、正確な着想日は不明。関連する公開論文は *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor*。 ## Idea A presheaf topos \(\mathbf{PSh}(\mathcal{C})\) is completely connected if and only if \(\mathbf{PSh}(\mathcal{C}^{\mathrm{op}})\) is local. Is there a broader duality between completely connected topoi and local topoi? For example, is the category of Lawvere distributions on a local topos completely connected as in the presheaf case? If not, is the obstruction described by the monoidal closed structure of presentable categories? ## Goal presheaf caseを越えたcompletely connected topoiとlocal topoiの双対性を明らかにし、旧原文が挙げるLawvere distributionsの例とpresentable categoriesのmonoidal closed structureによる障害の可能性を検討する。 ## Personal context 旧タグは local topos、Lawvere distribution、presentable category。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Ryuya Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor*](https://arxiv.org/abs/2503.04317) - [Lawvere distribution](https://ncatlab.org/nlab/show/Lawvere+distribution) - [Tensor product of presentable categories](https://ncatlab.org/nlab/show/Pr%28infinity%2C1%29Cat#tensor_product) ## Provenance - 旧ID: 4.0.3 - 旧分類: informal question - [旧出典 `scripts/site.js` 849–858行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L849-L858) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

LSC vs copower objects ## Trigger 旧HP Problems 1.0.5（theme: Local state classifier）から移住する公開問題。Richard GarnerとPeter Johnstoneが独立に尋ねたと旧HPに記録されている。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Is there a direct connection between local state classifiers and copower objects? This question was independently asked by Richard Garner and Peter Johnstone. ## Goal local state classifiersとcopower objectsの間に直接の関係があるかを明らかにする。 ## Personal context 旧タグは copower object、local state classifier。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Copower objects](http://www.tac.mta.ca/tac/volumes/16/32/16-32.pdf) - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.0.5 - 旧分類: informal question - [旧出典 `scripts/site.js` 736–743行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L736-L743) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Dedekind monoid topoi ## Trigger 旧HP Problems 1.2.3（theme: Normalizer operator）から移住した公開問題。出典は ryuya-hora-homepage の commit `1b8b74c`、`scripts/site.js` 652–659行。`created: 2026-03-30` は取り下げ済みPR #33の移住候補から暫定的に引き継いだ日付で、正確な着想日は不明。関連する公開論文は *Normalization of a subgroup, in a topos, and of a word-congruence*。 ## Idea Define a Dedekind topos to be a topos \(\mathcal{E}\) whose normalizer operator coincides with the top element \(T\). A group \(G\) is Dedekind if and only if \(\mathbf{PSh}(G)\) is Dedekind. When is \(\mathbf{PSh}(M)\) Dedekind for a monoid \(M\)? This is the monoid analogue of the group-theoretic condition that every subgroup is normal. ## Goal monoid \(M\) に対して、presheaf topos \(\mathbf{PSh}(M)\) が Dedekind であることと同値な代数的条件を特徴づける。 ## Personal context normalization operator の group-action topos での記述を、monoid actions の topos へ進める問い。旧タグは Dedekind group、monoid、presheaf topos。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちのため `status: dormant` とする。 ## References - [Ryuya Hora, *Normalization of a subgroup, in a topos, and of a word-congruence*](https://arxiv.org/abs/2511.05012) ## 2026-09-08 AI研究継続：解決（[[ce5p4f]]） **Theorem.** monoid \(M\) について，\(\mathbf{PSh}(M)\) が Dedekind（\(\nu=\top\)）\(\iff\) \(M\) は Dedekind 群． 証明の要点：\(\nu=\top\) は「すべての right congruence \(R\) と \(u\) について \(R\cdot u=R\)」と同値．right ideal \(aM\) の Rees right congruence \(R_a\) に \(u=a\) を適用すると \(e\,R_a\,a\) が出て \(a\) が right inverse を持つ．よって \(M\) は群で，群の場合は既知（arXiv:2511.05012 の Remark）．位数 \(\le4\) の全 monoid と \(S_3,Q_8\) で総当たり検証済み． 圏 \(\mathcal C\) の場合：\(\operatorname{End}(d)\) がすべて Dedekind 群であることが必要だが十分でなく（free category on \(e\rightrightarrows d\rightrightarrows c\) が反例），「相異なる parallel pair の domain がすべて thin」なら十分（graph topos）．一般 topos では「Dedekind \(\iff\) \(\Xi\) が subterminal の union」（[[um88u4]]）．圏の場合の閉じた特徴づけは未解決．

Regular languages from syntax ## Trigger 旧HP Problems 2.0.1（theme: Topoi of automata）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Is there a syntactic way to construct the Boolean ringed topos of regular languages from the syntax of regular expressions? A syntax-first version of the topos of regular languages. ## Goal regular expressionsのsyntaxからregular languagesのBoolean ringed toposを構成するsyntax-firstの方法を与える。 ## Personal context 旧タグは regular language、regular expression、Boolean ringed topos。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 旧ID: 2.0.1 - 旧分類: informal question - [旧出典 `scripts/site.js` 754–762行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L754-L762) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Connected compact Hausdorff riegs ## Trigger 旧HP Problems 7.0.5（theme: Riegs）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea Is there a nontrivial connected compact Hausdorff rieg? Lawvere's weak infinite-dimensional sphere is a contractible Hausdorff Boolean algebra, hence a Hausdorff rieg. Every compact Hausdorff ring, in particular every compact Hausdorff Boolean ring, is profinite. Every path-connected rig is contractible, via a homotopy from \(0\times -\) to \(1\times -\). ## Goal nontrivial connected compact Hausdorff riegが存在するかを明らかにする。 ## Personal context 旧タグはcompact Hausdorff、connected、Boolean algebra、profinite。旧descriptionにある比較以上の構成・反例は、この移住では補完しない。旧一覧以後の進展は未確認であり、棚卸し待ちとして `status: dormant` とする。 ## References - [Sketches of an Elephant](http://www.tac.mta.ca/tac/reprints/articles/27/tr27abs.html) — 旧HPではweak infinite-dimensional sphereをHausdorff Boolean algebraとして扱う参照。 - [Profinite Groups](https://link.springer.com/book/10.1007/978-3-642-01642-4) — 旧HPではcompact Hausdorff ringsがprofiniteであることの参照。 ## Provenance - 旧ID: 7.0.5 - 旧分類: formal question - [旧出典 `scripts/site.js` 996–1017行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L996-L1017) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Cohomology of regular languages ## Trigger 旧HP Problems 2.0.3（theme: Topoi of automata、formal question）から移住する公開問題。旧HPは *Topoi of automata* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea What is the topos cohomology of the topos of regular languages, or of the topos of star-free languages? A cohomological problem about language-theoretic topoi. ## Goal regular languagesのtoposまたはstar-free languagesのtoposについて、旧原文が問うtopos cohomologyを決定する。 ## Personal context 旧タグは topos cohomology、regular language、star-free language。一次出典にない研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 旧ID: 2.0.3 - [旧出典 `scripts/site.js` 775–784行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L775-L784) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Finite-orbit topos automorphisms ## Trigger 旧HP Problems 2.0.6（theme: Topoi of automata、formal question）から移住する公開問題。旧HPは *Topoi of automata* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea The automorphism group of the topos \(\Sigma\)-\(\mathbf{Set}\) is the symmetric group \(\mathfrak{S}(\Sigma)\). What is \(\operatorname{Aut}(\Sigma\text{-}\mathbf{Set}_{\mathrm{o.f.}})\), and what do its symmetries imply about regular languages? A symmetry problem for the finite-orbit side of the automata-topos story. ## Goal \(\operatorname{Aut}(\Sigma\text{-}\mathbf{Set}_{\mathrm{o.f.}})\) を決定し、そのsymmetriesがregular languagesについて何を意味するかを明らかにする。 ## Personal context 旧タグは automorphism group、finite orbit、regular language。一次出典にない研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 旧ID: 2.0.6 - [旧出典 `scripts/site.js` 807–816行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L807-L816) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

Gaussian整数のdigit dynamics ## Trigger chatgptで(alpha=-n+i)によるGaussian integerの展開問題を解いた後，洞がcanonical number systemという表現を避け，quotient mapのfixed point／periodic pointの問題として理解したいと指定した． ## Candidate result (nge2)， [ alpha=-n+i,qquad D={0,1,ldots,n^2} ] とする．各(zinmathbb Z[i])に対し，(z-d(z))が(alpha)で割り切れる唯一のdigit (d(z)in D)を選び， [ T_alpha(z)=rac{z-d(z)}{alpha} ] と定める．計算では，(T_alpha^2)は有限個の例外 [ {-1,-i,n-i} ] を除いて(|z|)を真に減少させ，例外も有限回で(0)へ入る．したがって非零periodic orbitは存在せず，全orbitが(0)へ到達する．これはdigit expansionの存在一意性をdynamicsから与える． ## Goal 一般のGaussian base／digit setについて，「非零cycleがない」「全orbitが0へ吸収される」をLyapunov functionと有限exception checkで判定する枠組みへ拡張する．上のexception集合と減少評価はAI生成の証明案なので，再検算が必要．

mex/rev-mex双対力学系 ## Trigger chatgptでadditive subtraction Nim (S={s_1,s_2,s_1+s_2}) のsink–wall dualityを検討し，(mathbb Z/pmathbb Z)上のnimber列をmex operatorとrev-mex involutionの力学系として扱う案が生じた．既存のgame differential構造 [[v7p3ka]] から派生する具体問題である． ## Idea [ X={0,1,2,3}^{mathbb Z/pmathbb Z} ] 上に [ (M_Sf)(x)=operatorname{mex}{f(x-s)mid sin S} ] を定める．nimber involution (sigma) を [ sigma(0)=2,quad sigma(2)=0,quad sigma(1)=1,quad sigma(3)=3 ] とし，reflection/translationを組み込んだ [ (J_bf)(x)=sigma(f(-b-x)) ] を考える．sink–wall予想 [ v_{mathrm{wall}}([x]_p) = sigma!left(v_{mathrm{sink}}([-s_2-x]_p) ight) ] を，(M_S)と(J_b)のintertwining relationまたはtime-reversal symmetryとして導出できるかを問う． ## Goal 個別のfloor formulaを，有限状態dynamical systemのreversibility／conjugacyとして説明する．まずoperator identityが全(X)で成り立つのか，sink/wall boundary conditionが定めるinvariant subset上だけで成り立つのかを切り分ける．