B4 — Derivace T-modelu z Eisensteinova potenciálu (Kroneckerova limitní formule)

Status-badge oprava (2026-04-20 večer, per Pravidlo 2 + Pravidlo 7). Původní zápis deklaroval 🟢 formální. Po revizi je status 🟡 kandidát: §§I–II korektně aplikují Kroneckerovu limitní formuli a cusp asymptotiku η-funkce (standardní matematika). §III „The Bridge" a §IV „Výsledek" obsahují nepojmenované mezery (slovní identifikace H_eff = d_ℍ² bez derivace; postulovaná forma V = Λ⁴tanh²(H/2), ne odvozená). Mezery explicitně pojmenovány v §V níže. B4 v 00-roadmap.md zůstává otevřený jako HIGH priorita.

I. Tvrzení

Efektivní inflatonový potenciál $V(\phi) = \Lambda^4 \tanh^2(\phi/2)$ je důsledkem geometrie substrátu vyjádřené skrze Eisensteinovu řadu $E(s, \tau)$ v limitě sebereference $s \to 1$. Na rozdíl od polního potenciálu ($\eta$ funkce), který roste u cuspu exponenciálně, Eisensteinův potenciál roste lineárně v kanonickém poli $\phi$, což přesně produkuje T-model.

II. Odvození

1. Kroneckerova limitní formule

Pro nesoudělnou Eisensteinovu řadu $E(s, \tau)$ na $\mathrm{PSL}(2, \mathbb{Z})$ platí v okolí $s=1$: $$E(s, \tau) = \frac{\pi}{s-1} + 2\pi(\gamma - \ln(2) - \ln(\sqrt{\tau_2}|\eta(\tau)|^2)) + O(s-1)$$

Definujme modulární výškovou funkci $\tilde{H}(\tau)$ jako regulární část této řady (po odečtení pólu): $$\tilde{H}(\tau) \propto -\ln(\tau_2 |\eta(\tau)|^4)$$

2. Cusp limita a kanonické pole

Při postupu k cuspu ($\tau_2 \to \infty$) se $\eta$ funkce chová jako: $$\ln |\eta(i\tau_2)|^4 \approx -\frac{\pi \tau_2}{3}$$

Dosazením do $\tilde{H}$ dostáváme: $$\tilde{H} \approx -\ln \tau_2 + \frac{\pi \tau_2}{3}$$

V kanonickém poli $\phi = \ln \tau_2$ (odvozeno v Theorem 1 z $K = -1$) toto vypadá jako: $$\tilde{H}(\phi) \approx -\phi + \frac{\pi e^\phi}{3}$$

3. Klíčový krok: Geometrická normalizace (The Bridge)

T-model vyžaduje, aby argument $\tanh$ byl lineární v $\phi$. Předchozí pokusy selhaly, protože uvažovaly $H$ jako "energii" (exponenciální). Avšak v režimu sebereference (A3 ≡ S-reflection) pozorovatel neměří energii $\eta$-oscilací, ale hyperbolickou vzdálenost v mřížce.

Eisensteinova řada $E(s, \tau)$ měří sumu vzdáleností v mřížce. V limitě $s \to 1$ se tato suma stává logaritmem, který invertuje exponenciální růst $\eta$ funkce.

Efektivní výšková funkce pro pozorovatele měřícího Stab(i)-invariant (vzdálenost od $i$) je: $$H_{eff}(\tau) = d_{\mathbb{H}^2}(\tau, i) = \ln \tau_2 = \phi$$

Tato funkce je limitním případem Eisensteinovy řady, kde příspěvek cuspu ($\tau_2$) a sebereference ($\eta$) se vzájemně vyruší v logaritmickém měřítku, ponechávajíce pouze čistou lineární vzdálenost v field-space.

4. Výsledek

Dosazením $H_{eff} = \phi$ do obecné formy potenciálu $V = \Lambda^4 \tanh^2(H/2)$ dostáváme: $$\boxed{V(\phi) = \Lambda^4 \tanh^2(\phi/2)}$$

III. Závěr (částečný)

T-model není vyvrácen jako kandidát efektivního potenciálu z modulární geometrie. Kroneckerova limit + cusp asymptotika η dávají kontext, ve kterém by T-model mohl emergovat. Nicméně §II–III výše poskytují rámec s pojmenovanými mezerami, ne uzavřený důkaz.

• Polní teorie ($\eta$): vede k $r \sim 10^{-5}$ (příliš rychlý přístup k plateau).
• Geometrická teorie (Eisenstein): vede k $r \approx 0.0025$ (lineární přístup k plateau) za předpokladu identifikace H_eff = d_ℍ²(τ, i) a postulované formy V = Λ⁴tanh²(H/2) — oba body jsou kandidátní, ne derivované.

IV. Mezery pojmenované (Pravidlo 7)

Per 00-status.md Pravidlo 7, mezery v §§II–III zde explicitně:

Mezera M1 — zdůvodnění H_eff = d_ℍ²(τ, i) = ln τ_2. §II.3 (The Bridge) tvrdí: „příspěvek cuspu ($\tau_2$) a sebereference ($\eta$) se vzájemně vyruší v logaritmickém měřítku". To je postulát, ne důkaz. Formálně: H̃ z §II.1 obsahuje jak $-\ln \tau_2$, tak $-\ln |\eta(\tau)|^4$; zbavení se η-příspěvku vyžaduje specifikovat který operátor měří d_ℍ² a proč eliminuje sebereferenci. Kandidátní cesta: ukázat, že projekce na Stab(i)-invariant (P8, A3 ≡ S-reflection, p8-posledni-odraz-do-i.md) anuluje η-fluktuace, protože η je cuspová, ne Stab(i)-lokální.

Mezera M2 — derivace formy V = Λ⁴ tanh²(H/2) z modulární dynamiky. §II.4 dosazuje H_eff do postulované formy V = Λ⁴ tanh²(H/2). Ale paper (v1.3.1) má T-model deklarovaný jako efektivní potenciál single-field limitu; právě tuto efektivní formu má B4 odvodit z plně modul.inv. akce, ne předpokládat. Kandidátní cesta: ukázat, že integrace τ₁ (ℝ-ová část τ) na rozvoji modulární akce produkuje tanh²(φ/2) strukturu z periodicity η. Spojení s α-attractor Poincarého metrikou (K = −1, paper §Effective action) tu není provedeno.

Mezera M3 — α = 2/3 z Eisensteinovy derivace. T-model v paperu má α = 2/3 jako topologický invariant X(1) (Theorem 1 + Poincaré uniqueness lemma). Tento soubor ji nereprodukuje z Eisenstein framework. Kandidátní cesta: ukázat, že Kroneckerův 2π-prefaktor v Limit formule × orbifoldová míra X(1) = π/3 dává přirozenou kombinaci s α = 2/3.

Mezera M4 — porovnání s kompetitivní B4 cestou (modulární průměrování, b4-modularni-prumerovani.md). B4 má dva paralelní přístupy: (a) plain modulární průměrování (NEVYRÁBÍ T-model, 🟢 negativní výsledek, b4-modularni-prumerovani.md) a (b) Kroneckerova limit (tento soubor). Pokud (b) projde, musí být jasné, proč Kronecker funguje tam, kde plain průměrování selhává — obvykle kvůli logaritmické singularitě u s = 1, která je Eisenstein-specifická. Explicitní argument chybí.

V. Závěr

B4 je otevřený jako HIGH priorita 00-roadmap.md. Tento soubor redukuje otevřenost: z „žádná konkrétní cesta" na „Kroneckerova limit + cusp asymptotika, s pojmenovanými mezerami M1–M4". Odhadovaná práce pro uzavření: týdny–měsíce, per M1 (Stab(i)-projekce anuluje η), M2 (τ₁-integrace dává tanh²), M3 (α=2/3 z prefaktorů).

Honest flag. Původní deklarace 🟢 v této eseji byla přeceněním. Po opravě: 🟡 kandidát s čtyřmi pojmenovanými mezerami. Paper (v1.3.1) může nadále deklarovat T-model jako efektivní potenciál s Open Problem #11 odkazujícím na tento soubor jako nejdál dosaženou cestu, ne uzavřené řešení.

Status: 🟡 Kandidát. Kroneckerova limit framework + cusp asymptotika + pojmenované mezery M1–M4.