問い #234

GSH via closure and isotropy ## Trigger ZMC の generalized star-height project で得られた構造的整理を、言語クラス上の closure operators の瓶 [[ynue2x]]、local varieties と hyperconnected quotients の瓶 [[r8c6wy]]、prodiscrete Galois monoids の瓶 [[p7g4vm]] から派生する新しい問いとして保存する。 関連する作業メモは `hora-algebra/gsh_bootstrap` の PR #7 `Cenceptual_understanding.md` にある。 ## Idea 有限 alphabet \(A\) を固定し、 \[ \mathcal B_A := \operatorname{QBool} \bigl(\{K^*\mid K\subseteq A^*\text{ is star-free}\}\bigr) \] と置く。ここで `QBool` は Boolean 演算と左右 quotient による closure operator である。 一般化星高高々 \(1\) の言語クラスは、適切な star-free closure operator `SF` を用いて \[ \operatorname{GSH}_1(A) = \operatorname{SF}(\mathcal B_A) \] と記述できる。したがって generalized star-height problem は、個々の正規表現の問題ではなく、言語クラス上の closure operators の合成 \[ \operatorname{SF}\circ\operatorname{QBool} \] の fixed-point 問題として研究できる。 一方、Place--Zeitoun の ​\(\mathcal B_A\)-orbit \[ \operatorname{Orb}^{\mathcal B_A}_e(\alpha) = \{ete\mid(e,t)\text{ is a }\mathcal B_A\text{-pair}\} \subseteq eMe \] は、有限 monoid \(M\) の Karoubi envelope の対象 \(e\) において、\(\mathcal B_A\)-separation 後にも残る局所 endomorphism、特に residual isotropy と読める。 *Topoi of automata II* の Galois connection により、\(\mathcal B_A\) に対応する hyperconnected quotient を \[ \mathcal Q_{\mathcal B_A} \] とする。Navir/Kobin の isotropy に関する構想を正確化して、isotropy-bearing objects が生成する subtopos \(\mathcal I_A\) と、その最小 hyperconnected hull を考え、 \[ \operatorname{Hull}_{\mathrm{hc}}(\mathcal I_A) \stackrel{?}{\simeq} \mathcal Q_{\mathcal B_A} \] を問う。 この比較が成立するなら、さらに \[ L\in\operatorname{SF}(\mathcal B_A) \quad\Longleftrightarrow\quad L\text{ has trivial relative isotropy over }\mathcal Q_{\mathcal B_A} \] という relative-anisotropy theorem を目標にする。これは generalized star-height problem を hyperconnected quotient 上の isotropy 消滅問題として表現する候補である。 ## Goal 1. `QBool` と `SF` を同じ ambient lattice 上の closure operators として厳密に定義し、上の等式を検証する。 2. \(\mathcal B_A\) の fixed-point lattice、対応する local pseudovariety、free pro-\(\mathcal B_A\) monoid を同定する。 3. isotropy-generated subtopos \(\mathcal I_A\) の普遍性を Navir の議論から抽出する。 4. \(\operatorname{Hull}_{\mathrm{hc}}(\mathcal I_A)\) と \(\mathcal Q_{\mathcal B_A}\) の比較を local state classifier 上の internal filter の等式へ落とす。 5. Place--Zeitoun orbit の aperiodicity を relative isotropy の自明性として定理化する。 6. hard な marked \(A_5\)-language を有限テストケースとして、separability と residual isotropy を計算する。 ## Personal context この方針の利点は、generalized star height、local Eilenberg theory、profinite separability、Karoubi envelope、essential points、hyperconnected quotients を一つの closure-operator calculus に統合できる点にある。問題の解決を主張する瓶ではなく、解決に必要な比較定理を明確に切り出す研究計画である。 ## References - [gsh_bootstrap PR #7: conceptual understanding](https://github.com/hora-algebra/gsh_bootstrap/pull/7) - [[ynue2x]] Language-class closure operators - [[r8c6wy]] Hyperconnected quotients vs local varieties - [[p7g4vm]] Prodiscrete Galois monoids for language classes