問い #259

LSCはisotropyのopensか ## Trigger Notion「研究テーマ」DBの `LSC as opens of isotropy groups`（優先度 Active、進行状況 ●●○、共著 Axel）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** 以下はタイトルが立てる問いの範囲にとどめ、内容の補完はしていない。 ## Idea タイトルが述べる主張は「local state classifier \(\Xi\) は、topos の isotropy group の opens として実現される」というものである。 topos の isotropy group（[[w6bzyj]] が先行研究として挙げる Funk--Hofstra の isotropy group、および [[n6v2sg]] が参照する Henry の localic isotropy group）は、topos に内在する群対象として各対象の自己同型を束ねる。一方 \(\Xi\) は quotient を分類する internal semilattice である。この二つを結ぶとき、\(\Xi\) の元が isotropy group の open subgroup に対応する、という形になるのではないか、というのがタイトルの見立てにあたる。 ただし次の点は Notion のページからは確定できない。 - どの isotropy group を取るか（内部群か localic 版か） - opens をどの位相に関して取るか - 対応をどの向きの写像として実現するか（\(\Xi\) から opens へか、逆か、同型か） ## Goal 「\(\Xi\) = isotropy group の opens」という対応を、どの isotropy group とどの位相について成り立つ主張なのかを正確に述べ、証明または反例を与える。 ## Personal context Axel との進行中のテーマ。[[n6v2sg]] は旧HP Problems 1.0.6「Is there a direct connection between local state classifiers and the isotropy group of a topos?」を吸収しているが、そちらは一般的な接続問題であり、この瓶が述べる具体的な形（opens としての実現）は入っていない。 ## hora-tex 調査（2026-08-16） 洞の示唆により hora-tex を探したところ、**共著草稿が存在した**。 - `overleaf/Isotropy and local state classifier/` — `Main.tex`、`Hora.tex`（4,970 bytes）、**`Axel.tex`（47,560 bytes）** 分量の大半は Axel 側が書いている。冒頭を確認した限り、localic group と (hyperconnected, localic) / (surjection, inclusion) の factorization、および open subgroups を対象とする圏の上の sheaf topos という、本瓶のタイトルが述べる方向がそのまま扱われている。 🔴 共著クリアランス前のため、**数学的な内容はこの瓶に写さない。** 中身を見るときは上の tex を直接読む。