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