着想 #206

∞-local state classifier ## Trigger Claude との会話で「LSC の存在定理は ∞ でどうなるか」を追ったのが発端。Ξ = colim(ℰ_mono → ℰ) を ∞-topos に持ち込むと、mono の分類（mono ⟺ 成分の部分和）から点が mono であることをやめ、B F_κ 型の連結型が proper class あるため cocone-to-2 論法で **point を持つ Grothendieck ∞-topos は LSC を持たない**（n ≥ 2 の n-topos で既に破綻）。1次元の存在定理の本当の内容は「coSub(y(c)) が small」という有界性だった。 ## Idea 修繕と一般化のプログラム。 1. **κ-塔.** Ξ_κ := colim((ℰ^κ)_mono → ℰ)。presheaf ∞-topos で存在し、Ξ_κ(c) ≃ Epi_κ(y(c))（κ-compact な effective epi 商の moduli）。κ ≤ λ で Ξ_κ ↪ Ξ_λ は mono、colim = 大きい Ξ。object classifier U_κ（HTT 6.1.6）と同じ病理・同じ処方だが、**U は map を bound、Ξ は object を bound** する点で転置（relatively κ-compact mono への制限では存在が復活しない）。 2. **Idempotent locus.** 有限積から Ξ_κ は E_∞-monoid。∧([q],[q]) = [q] ⟺ Δ_Q mono ⟺ Q が 0-truncated。すなわち **1次元の Ξ（∧-semilattice）は Ξ_κ の idempotent locus**。冪等性の破れ Γ ×_G Γ ≅ Γ ⋉ ker φ は Čech data。 3. **Filter ↔ componentwise coreflection（定理D′）.** 𝒮 では hyperconnected quotient は id のみ（X ≃ colim_X pt）なので、分類定理の RHS を付け替える：ℰ = 𝒮^{BG}（Borel）で、internal filter F ⊆ Ξ（上向き閉＋∧-閉）と componentwise coreflection の間の全単射。**quotient 性は 1-categorical なボーナスで、∞ で生き残る本体は colocalization**。coherence の書き下しは残る。 4. **G = Z/2 の計算.** 古典の filter lattice は 2 点、∞ では proper class に爆発。最小 filter = ↑⊤ = homotopy fixed point を持つ成分（古典の「自明作用 ↔ quotient = Set」の変形）、新顔 F_surj = underlying 連結な成分（古典への影は F_min と同一）、任意の principal ↑T が filter。 5. **自然な舞台 = OFS / modality.** 構成は (effective epi, mono) しか使わない。accessible OFS (L,R) ごとに Ξ_R := colim(ℰ_R → ℰ) が定義でき、fiber = L-quotient の moduli、冪等 ⟺ Δ_Q ∈ R。∞-topos 上の stable OFS = Rijke–Shulman–Spitters の modality なので、**Ξ は modality lattice 上の monotone 関手**。端点：R = equiv で pointed objects の moduli（非存在）、R = all で 1。Ξ = quotient たちの fibration（coslice fibration の R-localization）の fiberwise classifying space であり、Ω/U（slice 側）との双対の正体は arrow category の source/target 双対。Ξ は Topos 上の lax section で、比較射 θ_f : f^*Ξ_ℰ → Ξ_ℱ の同値性判定は open。 次の一手：(a) D′ の coherence、(b) orbit category O_G 上（genuine）で family of subgroups と E𝓕 の回収、(c) nullification P_A の OFS に対する Ξ_{P_A} の計算（A-cellular moduli の予想）。 ## サーベイ（関連文献の位置づけ） - **Lurie, HTT 6.1.6**：object classifier U_κ の塔。非存在と κ-修復の設計図。HoTT 側は Voevodsky の univalent universe。 - **Rijke–Shulman–Spitters, Modalities in HoTT**：stable OFS = modality。Ξ の index の同定に使用。lex modality ↔ subtopos（Ω 側）に対し、非 lex 側が Ξ の縄張り。 - **Funk–Hofstra の isotropy group / Henry の localic isotropy**：ξ_X(x) = Ω_x(X_{hG})（∞-stabilizer、代数幾何では inertia stack）の topos 論的先行。crossed topos 構造は normalization operator の ∞-版（自由 crossed module + Peiffer 商、Whitehead の π₂）と接続する見込み。 - **Farjoun, Cellular spaces, null spaces and homotopy localization**：cellularization CW_A・nullification は coreflection 側の親戚。D′ により filter 理論と localization 理論が一枚の対応表に乗る可能性。 - **tom Dieck / equivariant homotopy の family of subgroups**：family 𝓕 ↔ E𝓕 ↔ isotropy separation。「Sub(G) 上の ideal-theoretic data が理論を分解する」の同型現象。genuine 版 (b) の本丸。 - **Toën / Lurie shape / Hoyois の higher Galois theory**：Sub(π₁) → Grp/π₁ の太り（covering → fibration）の体系化。Ξ の太り方と同型。 - **自分の既存結果**：LSC の存在定理と internal filter ↔ hyperconnected quotient、Set^G での filter = 群位相 ↔ Cont(G_τ)（D′ の 1次元の影）、Kamio–Hora の proper class quotient（size 問題の対）、normalization preprint（右合同→両側、(5) の crossed module 化と合流予定）。 ## Goal Ξ を「(epi, mono) の一点」から modality lattice 全体の関手に格上げし、存在（κ-塔）・構造（idempotent locus）・分類（filter ↔ colocalization）の三点セットで ∞-LSC の基礎理論を作る。うまくいけば equivariant homotopy の E𝓕 と unstable localization 理論に topos 側から名前が付く。 ## Personal context Lawvere 第一問題・LSC・normalization の直系の続き。Rogers との Stone 空間仕事や automata 方面とは独立だが、「1-categorical 構造は idempotent な影」という標語は semiring（tropical 化）の関心と響き合う。 ## Notion からの追記（2026-08-16） Notion「研究テーマ」DBの `Lawvere's open problem 1 (Yuhi Kamio) Quotient topos via object classifier`（進行状況 Published、共著 Yuhi Kamio）に、論文へ入らなかった未チェック項目が残っていた。そのうち次の1点を、洞の判断でこの瓶の材料として移す。 > 幾何的には連結性っぽい。実は∞-topos版だと分かりやすかったりしない？HTT読もう！ quotient topos を幾何的に読むと連結性の話に見える、それが ∞-topos では見やすくなるのではないか、という見立てである。本瓶の項目3が「quotient 性は 1-categorical なボーナスで、∞ で生き残る本体は colocalization」と述べていることと向きが重なる。ここでの「連結性」が hyperconnected の意味か、shape の連結性かは原メモからは確定できない。 同ページの他の2項目（extends LSC, mimicking the topos of DD／DirGraph への Graph の accessible reflective な埋め込みを使えないか）は、洞の判断でボツとした。