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 へ昇格するかは洞の判断に委ねる。