2026-04-19 16:14 kandidát (s konkrétní formalizací) B3CCCLawverereflexivní-doménaP6funktorpreaxiom

CCC substrát — formální konstrukce funktoru z reflexivní domény na PSL(2,ℤ)

Účel. Konkrétní funktor-level konstrukce, která spojuje KRT kategoriální preaxiom (reflexivní doménu D ≅ D^D s rotací) s topologickou strukturou ℍ²/PSL(2,ℤ). Navazuje na seberference-kategorie.md (CCC formalismus, Lawvereho věta) a lawvere-23-derivace.md (argument pro řády (2,3)). Tato esej je B3 úkol z roadmapy: vyložit funktor F: RefDom → FuchsAction.

I. Motivace

Lawvereho věta aplikovaná na reflexivní doménu s distingvovaným endomorfismem dává:

  1. Existence pevných bodů. Pro každou funkci f: D → D existuje d₀ s f(d₀) = d₀.
  2. Konečnost řádu. V diskrétní projekci pevné body mají celočíselné řády (z M0).
  3. Restrikce na {2, 3}. V PSL(2,ℤ) jsou jedině možné řády.

Předešlé eseje argumentují kroky 1–3 oddělené. Co chybí: funktor, který formálně realizuje přechod z CCC kategorie do kategorie Fuchsových akcí. Tato esej ten funktor konstruuje.

II. Zdrojová kategorie: RefDom

Definice (kategorie reflexivních domén s rotací). RefDom je kategorie s:

  • Objekty: páry (D, r) kde D je objekt v CCC (kartézsky uzavřená kategorie) splňující existenci retrakce ι: D^D → D s sekcí ev: D → D^D (tedy ι∘ev = id_D), a r: D → D je endomorfismus splňující:

    • (R1) netrivialita: r ≠ id_D
    • (R2) reflexivita: r = ι(λd. r(ev(d)(d))) — rotace je definována přes seberferenci
    • (R3) kontinuita: r je morfismus v CCC (respektuje produkty a exponenciály)

  • Morfismy: (D, r) → (D', r') je morfismus f: D → D' v CCC splňující f ∘ r = r' ∘ f.

Komentář. Podmínka (R2) je klíčová — říká, že rotace je sama sebou definovaná, ne externí struktura. To formalizuje preaxiom x^x: rotace r je fixed point rovnice r = F(r) pro F(g)(d) = ι(λx. g(ev(x)(x)))(d).

III. Cílová kategorie: FuchsAction

Definice (kategorie Fuchsových akcí na ℍ²). FuchsAction je kategorie s:

  • Objekty: páry (Γ, X) kde Γ je Fuchsova grupa (diskrétní podgrupa PSL(2,ℝ)), X ⊂ ℍ² je Γ-invariantní podmnožina, a akce Γ na X je netriviální.
  • Morfismy: (Γ, X) → (Γ', X') je ekvivariantní spojité zobrazení φ: X → X' spolu s homomorfismem h: Γ → Γ' splňujícím φ(γ·x) = h(γ)·φ(x).

Zvláštní objekt. (PSL(2,ℤ), ℍ²) je iniciální objekt v subkategorii „modulárních akcí" (akce generované řády (2,3) a jednou parabolou).

IV. Funktor F: RefDom → FuchsAction

Konstrukce (čtyři kroky).

IV.1 Krok 1: Přiřazení grupy automorfismů

Pro objekt (D, r) ∈ RefDom definujeme grupu:

$$\text{Aut}r(D) = {,g \in \text{End}{\text{CCC}}(D) \mid g\circ r = r\circ g,}^{\times}$$

— centralizátor r ve skupině automorfismů D.

Pozorování 1. Z (R2) (reflexivita r) plyne, že r ∈ Aut_r(D) (r komutuje sám se sebou). Tedy r generuje podgrupu ⟨r⟩ ⊆ Aut_r(D).

Pozorování 2. Lawvereho věta: pro každý g ∈ End(D) existuje pevný bod. Aplikováno na mocniny r: pro každé n ∈ ℕ, r^n má pevný bod d_n ∈ D.

IV.2 Krok 2: Diskrétní redukce přes M0

M0 (strukturální realismus) vynucuje, že pozorovatelné jsou funkce izomorfních tříd. Dva pevné body d, d' jsou ekvivalentní, pokud existuje iso α: D → D s α(d) = d' a α ∘ r = r ∘ α.

Definice. Spektrum rotace Spec(r) = {(n, [d_n]) : n ∈ ℕ, r^n(d_n) = d_n, [d_n] je třída ekvivalence}.

Tvrzení A. Spec(r) je diskrétní — spočetná množina. Důkaz: CCC nad množinami / dostatečně malými universami (Grothendieck universe) má diskrétní spektrum pevných bodů (Lawveres fixed-point theorem explicit form).

IV.3 Krok 3: Realizace v SL(2,ℤ)

Tvrzení B (klíčové). Existuje injektivní homomorfismus h: Aut_r(D) → SL(2,ℤ) takový, že h(r) je eliptický prvek řádu 4 nebo 6 v SL(2,ℤ).

Skicář důkazu (tento krok je kandidát, ne formální).

Z (R1) a (R3): r je netriviální kontinuální endomorfismus. V CCC nad analytickými varietami (realizace D jako podmnožina ℍ²) je r lokálně reprezentovatelný jako lineární frakční transformace:

$$r(\tau) = \frac{a\tau + b}{c\tau + d}, \qquad ad - bc = 1$$

Z diskrétnosti Spec(r) (Tvrzení A) + celočíselnosti M0: a, b, c, d ∈ ℤ. Tedy r ∈ SL(2,ℤ).

Z (R2): r má pevný bod v ℍ² (Lawveres). To nutí |tr(r)| < 2 (elliptic). Z celočíselnosti tr(r): |tr(r)| ∈ {0, 1}.

tr(r) řád v SL(2,ℤ) řád v PSL(2,ℤ)
0 4 2
±1 6 3

Závěr. h(r) má řád 4 nebo 6 v SL(2,ℤ), tedy 2 nebo 3 v PSL(2,ℤ). ∎ (skicář)

IV.4 Krok 4: Funktor F

Pro objekt (D, r) ∈ RefDom definujeme:

$$F(D, r) = (\Gamma_r, X_r) \in \text{FuchsAction}$$

kde:

  • Γ_r = h(Aut_r(D)) ⊆ SL(2,ℤ), redukované modulo ±I na PSL(2,ℤ)
  • X_r ⊆ ℍ² je uzávěr orbity Γ_r · p₀ pro libovolný výchozí bod p₀

Pro morfismus f: (D, r) → (D', r') funktor přiřazuje indukované zobrazení h(f): Γ_r → Γ_{r'} + odpovídající X_r → X_{r'}.

Funktorialita. Identity a kompozice se zachovávají (snadné: h je grupový homomorfismus, akce je ekvivariantní).

V. Klíčový výsledek

Věta (B3 kandidát). Pro každý objekt (D, r) ∈ RefDom s netriviální seberferencí je F(D, r) Fuchsova akce generovaná eliptickými prvky řádu 2 a 3 (a/nebo parabolickými prvky). Speciálně: iniciální objekt RefDom(kanonická reflexivní doména s minimální strukturou) se mapuje na (PSL(2,ℤ), ℍ²).

Důsledek. KRT axiomy A1 + A2 + M0 přidané k existenci CCC se rotací automaticky generují modulární strukturu X(1). Topologie fundamentální domény s body (i, ρ, ∞) není empiricky postulována; je to funktoriálně vynucený důsledek reflexivní kategorie.

VI. Co tento konstrukt řeší

VI.1 P6 (kategoriální preaxiom) — posun 🟡 → 🟢 kandidát

Před B3: P6 směr byl identifikován (x^x = μ∘Δ v CCC, Lawvere + Yanofsky), ale chyběla „derivace (2,3) z Lawvereho". Po B3: derivace je explicitní přes Krok 3 (Tvrzení B). Zbývá formalizovat skicář důkazu.

VI.2 Theorem 1 — nová interpretace

Theorem 1 (PSL(2,ℤ)-invariance z A1 + A2 + M0) byl dosud odvozován přes moduli space eliptických křivek. B3 poskytuje druhou, nezávislou cestu: PSL(2,ℤ) vypadne z Aut_r(D) pro reflexivní doménu s rotací.

Obě cesty dávají PSL(2,ℤ), což posiluje self-konzistenci teorie. Moduli space + kategoriální preaxiom se potkávají v téže grupě.

VI.3 Theorem 2 attribution — nová motivace

Řády (2, 3) nejsou empirické. Jsou to dvě jediná možná řeší podmínky „reflexivní endomorfismus s pevným bodem v diskrétní kategorii". Pár (2, 3) dostává tím status logicky vynucené struktury, ne volby.

To zpětně motivuje attribution hypothesis z theorem-2-completeness.md: síly nejsou libovolně přiřazené k místům; místa jsou přímo sekvenčně generovaná preaxiomem (rotace + její pevné body).

VII. Co zbývá dokázat

Tvrzení B (Krok 3) je skicář, ne formální důkaz. Klíčový chybějící krok:

  • Formalizace „diskrétnosti M0". M0 říká, že observables faktorizují přes izomorfní třídy. Jak se z toho odvodí a, b, c, d ∈ ℤ (celočíselnost matic)? Intuice: diskrétnost spektra pevných bodů + volba ortonormální báze, která respektuje ekvivalenci ± identitu. Rigorózně to není triviální.
  • Realizace D jako podmnožiny ℍ². RefDom je abstraktní kategorie; pro Krok 3 potřebujeme konkrétní varietní strukturu. To vyžaduje volbu geometrické realizace — kandidát: D = prostor holomorfních germs e^(iΘ) na okolí τ ∈ ℍ², s CCC strukturou z funkčních prostorů.
  • Aut_r(D) ⊆ SL(2,ℤ) vs = SL(2,ℤ). Funktor dává injekci Aut_r(D) ↪ SL(2,ℤ); pro modulární interpretaci bychom potřebovali surjekci (Aut_r(D) generuje celé SL(2,ℤ)). To je silnější tvrzení, které vyžaduje argument „minimální RefDom objekt generuje maximální Fuchsovu grupu PSL(2,ℤ)".

VIII. Návaznost na další eseje

  • P8 most přes B3. Reformulace A3 ≡ S-reflection v p8-posledni-odraz-do-i.md říká, že pozorovatel měří Stab(i)-invariant. B3 to překládá kategoriálně: pozorovatel je objekt kategorie RefDom/Stab(i), kde Stab(i) = ℤ₂ ⊆ Aut_r(D) je podgrupa generovaná pevným bodem řádu 2.
  • Kauzální střed přes B3. kauzalni-stred-lokalni-i.md tvrdí, že pozorovatel je ℤ₂-entita. B3 dává formální zakotvení: pozorovatel je CCC objekt, jehož Aut_r má generátor řádu 2 (Lawveres), což se funktoriálně mapuje na Stab(i) v PSL(2,ℤ).
  • Fraktalita šipky přes B3. Hierarchie úrovní modulární věže X(N) odpovídá postupně obohaceným reflexivním doménám D₁ ⊂ D₂ ⊂ D₃ ⊂ … s rozšiřujícími se automorfismy Aut_r(D_N). Modulární věž vypadne funktoriálně, pokud RefDom má vlastní věž objektů s postupně složitější seberferencí.

IX. Status po B3

Před B3: P6 směr identifikován, (2,3) argumentováno „standardní matematikou", ale bez funktoru.

Po B3: Explicitní funktor F: RefDom → FuchsAction, s identifikovanou dírou v Kroku 3 (Tvrzení B). Oproti lawvere-23-derivace.md se struktura posouvá z „hypotéza" na „konkrétně specifikovaný úkol":

Položka Před B3 Po B3
P6 status 🟡 směr 🟡 s konkrétní formalizací
Funktor CCC → PSL(2,ℤ) implicitní explicitně definován (F)
Derivace (2,3) naznačena Tvrzení B (skicář)
Zbývající práce nespecifikovaná Tvrzení B formalizace + geometrická realizace D

Odhad do 🟢: 1–3 měsíce podle roadmapy. Klíčové kroky: (a) formální důkaz Tvrzení B, (b) volba konkrétní geometrické realizace D, (c) argument Aut_r = SL(2,ℤ) (surjekce, ne jen injekce).

Honest flags

  • Tvrzení B je skicář, ne důkaz. Intuitivně správný, formálně nedokončený. Klíčový nedostatek: přechod od abstraktní kategorie k celočíselným maticím vyžaduje explicitní volbu realizace.
  • RefDom definice pracuje s retrakcí D^D → D, ne plnou izomorfií. Silnější podmínka D ≅ D^D (Scottova doména) by byla matematicky čistší, ale restrikce je silnější než potřebujeme. Retrakce postačuje pro Lawvereho.
  • Geometrická realizace D není kanonická. Různé volby (holomorphic germs, Teichmüller prostor, algebraic stacks) by mohly dát různé výsledky. B3 to nevyřešilo.
  • Surjekce Aut_r = SL(2,ℤ) je přání, ne věta. Funktor F je definován, ale jeho image v PSL(2,ℤ) by mohl být vlastní podgrupa, ne celá. Pro modulární interpretaci potřebujeme celou.

X. Návaznost

← všechny poznámky