問い #148

Local monos and Ξ ## Trigger 公式 Problems 1.1.2（2025-03-25更新）と issue #43 の下書き1/Nから移した。Grothendieck topos \(\mathcal E\) の local state classifier \(\Xi\) は、Kock–Moerdijk の local monomorphism を使っても構成できるという観察が出発点である。 ## Idea Kock–Moerdijk の意味で local monomorphism である射 \(f:A\to B\) は、local state classifier の標準射と \[ \xi_B\circ f=\xi_A \] を満たすことと同値か？ Menni は右辺の等式を満たす射を **non-singular map** と定義した。したがって現在の問いは、Kock–Moerdijk の local monomorphism と Menni の non-singular map が一致するか、という二つの独立に定義されたクラスの比較として定式化できる。 ## Known distinctions - \(\Xi\) は通常の monomorphism 全体の図式の余極限なので、通常の monomorphism はすべて自動的に non-singular である。しかし、これは local monomorphism との同値をまだ示さない。 - Menni の non-singular map は \(\xi\) の等式という topos 内の大域的条件で定義される。同論文は、これらが任意の shell に関して cartesian であること、固定余域上で topos をなすことを示す一方、一般には calibration の降下条件を満たさない例も与える。 - Kock–Moerdijk の local monomorphism は local equivalence relation と étendue の文脈から来る。両者の用語・仮定・局所性を同一視せず、まず各定義を同じ site または同じ topos の内部で比較する必要がある。 ## Goal 同値が成り立つ範囲を特定し、成立しない場合は反例と追加仮定を明らかにする。特に presheaf topoi、étendue、pre-cohesive topoi をテストケースとし、local monomorphism の判定を \(\Xi\) への標準射の計算へ落とせるか調べる。 ## Personal context local state classifier の幾何的意味を問う中心問題であり、étendue の特徴づけ（瓶 `j9bcyf`）と対になる。Menni の定義によって問いの片側に名前と一般結果が与えられたため、比較対象が以前より明確になった。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - [Anders Kock and Ieke Moerdijk, *Every étendue comes from a local equivalence relation*](https://doi.org/10.1016/0022-4049(92)90118-Y) - [Matías Menni, *Non-singular maps in toposes with a local state classifier*](https://arxiv.org/abs/2505.07131) ## 追記（2026-08-27・AI採掘）: 2026-03 の Menni 往復で得られていた証明主張 2026-03-17〜25 のメール往復（ChatGPT 会話「LSC etendue conjecture」）で、洞は Grothendieck topos において \[ f:X\to Y\ \text{が locally monic}\iff \xi_X=\xi_Y\circ f \] （Lemma 2.1 の不等式 \(\xi_X\preceq\xi_Y\circ f\) の等号成立）を主張し、証明の筋（mono なら等号、一般には jointly epimorphic な部分対象族への分解）まで述べていた。Menni の用語では「Kock–Moerdijk local mono ⟺ non-singular」の片側具体化にあたる。検証状態: 会話中の証明スケッチであり独立査読未了。本瓶の問いの直接の答え候補なので、まずこのスケッチを厳密化・検証するのが次の一手。 あわせて同じ往復の周辺（2024-11 の Menni 提案）に、関連する別ルートの問いが2つ残っている: (1) 「任意の \(X\) から \(K\) への locally monic 射がただ一つ存在する」対象 \(K\) は presheaf topos で LSC と一致するか。(2) locally monic かつ discrete fibre を持つ射（固定余域上）の圏は topos をなすか（Menni が証明できなかった主張。Kock–Moerdijk *Presentations of étendues* の再解析と結びつく）。 ## 追記（2026-09-07・scheduled run, Claude）: 解決候補 本瓶の問い「Kock–Moerdijk の locally monic ⟺ Menni の non-singular（\(\xi_A=\xi_B f\)）」を一般の Grothendieck topos で証明し，あわせて周辺問題 (1)（locally monic 射の終対象 \(K\)）を「存在 ⟺ \(\xi_\Xi=\mathrm{id}_\Xi\)，そのとき \(K\cong\Xi\)」として解いた（\(G\text{-}\mathbf{Set}\)，\(G\ne1\) では不成立）．詳細と証明は [[n59qhv]]．周辺問題 (2)（discrete fibre 条件）は未解決．kind を result へ昇格するかは洞の判断に委ねる．