(−)^Xとslice LSC conjecture

## Trigger Nivar論文読解中、λ_j構成の一般化を考えた際、Horaノート末尾の問い「exponential functor (−)^A はΞのどんなendomorphismを誘導するか」がétale caseの言い換えだと気づいた（claudeとの会話より）。 ## Idea ノートの問いは「étale geometric morphism π_X : E/X → E のmonad T = (−)^X が誘導するT̂_X」の言い換え。T̂_Xはinflationary semilattice endoだが非idempotent（idempotenceが落ちる最初の非自明例）。Open question：T̂_Xのfixed points（またはtransfinite iterationの極限）と、ノートのslice LSC conjectureのcomma構成 Ξ_X = X ×_Ξ (≤_Ξ) の関係は何か。embeddingでは「fixed pointsを取ってからlocalize」が答えだったが、étaleで同じレシピが通るかは非自明。 ## Goal 検証の最短ルートはPSh(G)/(H\G) ≃ PSh(H)での具体計算（例：G = S_3）。T̂_{H\G}のfixed pointsと「subgroups of H」の関係を見る。 ## Personal context Horaノート§LSC of slice toposのconjectureと§Exponential structureの問いを接続する。 ## 2026-09-07 追記（Kobin研究継続 run） [[u32zsb]] で解決．\(\hat T_X\)（定義 \(\hat T_X\xi_A=\xi_{A^X}\eta_A\)）は \(\operatorname{supp}X\) だけで決まり idempotent，\(X\to1\) が epi なら恒等射．よって「非 idempotent」という見立ては誤りで，\(G=S_3\), \(X=G/H\) では fixed points は \(\operatorname{Sub}(G)\) 全体，一方 \(\Xi_{/X}\)（[[ybzxdp]]）は \(\Xi\) のどの subobject の pullback でもない（\(\Xi_{/X}\to\Xi\) が mono でない）．「fixed points を取ってから localize」の recipe は étale では通らない．