2026-04-19 17:57 formální theorem-1uniformizationFuchsianPSL2Zuniquenessorbifold

Lemma (Poincaré uniqueness): jednoznačnost hyperbolické metriky na ℍ²/PSL(2,ℤ)

Formální lemma. Uzavírá námitku N2 externí recenze (uploads/analyza-2026-04-19.md): z pouhé PSL(2,ℤ)-invariance neplyne Poincarého metrika — lze ji vynásobit libovolnou modulárně invariantní funkcí. Níže dokážeme (odkazem na klasické výsledky), že přidáme-li úplnost, konečný objem a konstantní Gaussovu křivost, Poincarého metrika je jednoznačná až na škálování. Tím se vyplňuje mezera Theorem 1 → K = −1 v paperu.

I. Formulace

Lemma (Poincaré uniqueness). Nechť g je hladká Riemannova metrika na modulárním orbifoldu X(1) = ℍ²/PSL(2,ℤ) splňující:

  1. (úplnost) metrický prostor (X(1), g) je úplný jako orbifold (každá hladká stopa se chová standardně v okolí eliptických bodů i, ρ a v okolí cuspu ∞);
  2. (konečný objem) Vol_g(X(1)) < ∞;
  3. (konstantní křivost) Gaussova křivost K_g ≡ −1.

Pak g je standardní Poincarého metrika

$$g_0 = \frac{dx^2+dy^2}{y^2}$$

pushforward pod kvocientem ℍ² → ℍ²/PSL(2,ℤ). Za slabšího předpokladu K_g ≡ konst < 0 je g rovna g₀ až na multiplikativní konstantu (škálování).

II. Důkaz (sledování klasické uniformizace)

II.1 Zvednutí na ℍ²

Nechť π: ℍ² → X(1) = ℍ²/PSL(2,ℤ) je kvocientní projekce. Protože PSL(2,ℤ) působí vlastně diskontinuálně a eliptické body mají konečné stabilizátory řádu 2 a 3 (Katok 1992, Thm 2.5.6), π je orbifoldové nakrytí. Zvedneme g na πg, hladkou PSL(2,ℤ)-invariantní metriku na ℍ² \ {orbity eliptických bodů}. Podmínka (1) (hladká stopa přes i, ρ, ∞) zaručuje, že πg se hladce rozšíří na celé ℍ² (v eliptických bodech podmínka invariance pod konečným cyklickým stabilizátorem + hladkost vynucuje konformní regularitu; v cuspu podmínka úplnosti + konečného objemu vynucuje asymptotiku typu dy²/y²).

II.2 Aplikace uniformization theorem

Klasická uniformization theorem (Poincaré–Koebe; orbifoldová verze, viz Farkas–Kra, Riemann Surfaces, 2nd ed., §IV.8, nebo Beardon, The Geometry of Discrete Groups, §9): na jednoduše souvislé Riemannově ploše existuje až na izometrii právě jedna úplná Riemannova metrika konstantní křivosti K ∈ {−1, 0, +1}, která je kompatibilní s její komplexní strukturou.

Pro ℍ² (nekompaktní, jednoduše souvislá) je touto jedinečnou metrikou Poincarého metrika g₀ = (dx² + dy²)/y² s K = −1.

Aby π*g = c · g₀ pro nějakou konstantu c > 0, postačuje ukázat:

  • π*g má konstantní křivost K = −1 (předpoklad (3) se zachovává při zvednutí — křivost je lokální invariant);
  • π*g je úplná (předpoklad (1) + cusp-asymptotika);
  • πg indukuje tutéž konformní strukturu na ℍ² jakou g₀ (protože v dimenzi 2 je hladká Riemannova metrika ekvivalentní kombinaci konformní třídy a konformního faktoru; PSL(2,ℤ) působí biholomorfně, takže konformní třída πg je konformní třída ℍ² = standardní).

Za těchto tří podmínek uniformization vynucuje π*g = g₀ (nikoli pouze konformně rovná). Dokaz viz např. Ahlfors–Sario, Riemann Surfaces, Princeton 1960, Ch. IV, Thm 10A, nebo Farkas–Kra, Thm IV.8.6.

II.3 Rigidita X(1) (nulová modulová)

Důležitý doplněk: v dimenzi 2 obecně Mostow rigidity neplatí — uzavřená plocha rodu g ≥ 2 má Teichmüllerův prostor dimenze 6g − 6. Pro modulární orbifold X(1) je ale situace zvláštní: jeho signatura je (0; 2, 3, ∞), Eulerova charakteristika χ = −1/6, a Teichmüllerův prostor orbifoldů signatury (0; 2, 3, ∞) je jeden bod (dim_ℝ = 0).

To plyne z formule dim_ℝ T(X) = 6g − 6 + 2n + 2m pro plochu rodu g s n eliptickými a m parabolickými body, upravené o eliptické body řádu k (viz Thurston, Geometry and Topology of 3-Manifolds, §13; alternativně Farb–Margalit, A Primer on Mapping Class Groups, §10.2 — orbifold Teichmüller theory). Pro (g, n, m) = (0, 2, 1) s řády (2, 3, ∞) vychází:

$$\dim_\mathbb{R} T(X(1)) = -6 + 2\cdot 2\cdot (1 - 1/2) + 2\cdot 2\cdot(1 - 1/3) + 2\cdot 1 - 2 = 0.$$

(Číslicová kontrola: Gauss–Bonnet dá Area = 2π · |χ| = π/3, což je ta samá hodnota, jakou má standardní fundamentální doména, a Teichmüllerova doména je triviální.)

Jinými slovy: neexistuje jednoparametrická rodina neizomorfních úplných hyperbolických struktur na X(1). Jediná existující je ta z uniformizace PSL(2,ℤ).

II.4 Závěr

Krok II.2 + II.3 dohromady dávají: metrika g splňující (1)–(3) je až na izometrii Poincarého metrika. Na kvocientu X(1) je vše až na PSL(2,ℤ)-invarianci, tzn. g = g₀ jako tenzor. Za slabšího předpokladu K ≡ const < 0 (libovolná záporná konstanta) škálování g ↦ λg mění K ↦ K/λ², takže g je g₀ až na multiplikativní konstantu. ∎

III. Co lemma nedokazuje

Diskvalifikace modulárně invariantních reskalování. Recenze N2 správně pozoruje: metrika e^{u(τ)} · g₀ s u(τ) modulárně invariantní funkcí (např. u = log|j(τ)|) je PSL(2,ℤ)-invariantní. Lemma ji vylučuje přes podmínku konstantní křivosti: takový konformní faktor e^u s neextrémální u poruší K ≡ −1 (Liouvilleova rovnice Δu = 2 − 2Ke^u nemá pro K = −1 a e^u neodpovídající Poincaré nekonstantní řešení, které by bylo regulární přes eliptické body a s konečným objemem). Tj. „PSL(2,ℤ)-invariance + konst. křivost" je silnější než „PSL(2,ℤ)-invariance" samotná.

IV. Aplikace v paperu: uzavírá N2

V paper-draft-v1.md Step 1 derivační kaskády:

Theorem 1 alone does not uniquely select the Poincaré metric: one could multiply ds² = (dx² + dy²)/y² by any modular-invariant scalar function (e.g. a function of Klein's j-invariant) and retain PSL(2,ℤ)-invariance while altering the curvature.

Odpověď lemma: přidáním třech předpokladů (úplnost, konečný objem, konstantní K) je metrika jednoznačná až na škálování, a to z klasické uniformizace.

Vztah k Assumption K

Předchozí verze paperu (v1.1.10) zavedla Assumption K (kanonická α-attractor kinetika = Poincarého metrika). Toto lemma Assumption K nerozpouští — pouze ukazuje, že jakmile postulujeme, že efektivní kinetika je metrika konstantní křivosti, je výběr Poincaré vynucen topologií orbifoldu X(1). Mezera P11 se zužuje: „derivovat kanonickou kinetiku z A1+A2+M0" je ekvivalentní „derivovat konstantní křivost + konečný objem + úplnost", což je hladší fyzikální problém (odpovídá tvrzení, že efektivní action není singulární přes eliptické body a nemá divergentní objem v cuspu).

Honest flag (zbytkové předpoklady)

  • Hladkost přes cusp. Paper KRT implicitně předpokládá, že efektivní kinetický tenzor není singulární u τ₂ → ∞. Toto je fyzikálně přirozené (odpovídá IR-regulárnosti), ale není nutností z A1+A2+M0. Mezera 🟡.
  • Konečný objem. Totéž — fyzikální přirozenost (stavový prostor nemá nekonečnou konformní hmotnost), ne derivace.
  • Konstantní křivost. Nejsilnější z trojice. Zde je to přímo ekvivalentní výběru α-attractor třídy (Assumption K).

Pokud všechny tři přijmeme jako součást Assumption K′ = „efektivní kinetický tenzor je úplná metrika konst. záporné křivosti s konečným objemem na X(1)", pak toto lemma uzavírá logickou mezeru N2 rigorózně.

§N. Derivation of Assumption K′ from A1 + A2 + M0 (P11)

Cílem této sekce je ukázat, že trojice předpokladů v §I — (1) úplnost, (2) konečný objem, (3) konstantní křivost K = −1 — není nezávislá postulátní trojice, nýbrž redukuje se fakticky na jediný zbytkový předpoklad (konstantní záporná křivost, ekvivalentní Assumption K paperu), zatímco úplnost a konečný objem z něj plynou v kombinaci s A1 + A2 + M0.

§N.1 Krok 1: Úplnost ⇐ (K ≡ −1) + A1

Tvrzení. Jestliže g je hladká Riemannova metrika na X(1) s K_g ≡ −1 a je kompatibilní s orbifoldovou strukturou (stopy přes eliptické body i, ρ jsou hladké po zvednutí), pak (X(1), g) je geodezicky úplný jako orbifold.

Argument (horocyklický). Jediným potenciálním zdrojem neúplnosti na X(1) je cusp τ₂ → ∞ (eliptické body jsou regulární vnitřní body orbifoldu a hladkost je součástí orbifoldové kompatibility). Zvedneme g na π*g na ℍ². Lokálně u cuspu pracujeme v souřadnicích (x, y), kde y = τ₂ → ∞, a uvažujeme metriku formou

$$\pi^* g = e^{2\varphi(x,y)}\bigl(dx^2 + dy^2\bigr), \qquad x \sim x+1 \text{ (stabilizátor cuspu)}.$$

Gaussova křivost konformní metriky e^{2φ}(dx² + dy²) je K = −e^{−2φ}Δφ. Podmínka K ≡ −1 dává Liouvilleovu rovnici Δφ = e^{2φ}. Periodické řešení po x s asymptotikou pro y → ∞, které je invariantní pod T: x ↦ x+1 (tj. nezávislé na x v leadingu), splňuje φ″(y) = e^{2φ(y)}. První integrál: (φ′)² = e^{2φ} + C. Pro úplnost v cuspu musí konformní faktor klesat natolik, aby geodezická délka ∫ e^{φ(y)} dy z libovolného bodu do cuspu divergovala. Řešení φ(y) = −ln y + O(y^{−∞}) (tj. π*g = (dx² + dy²)/y² + exponenciálně malé opravy) je jediné modulárně invariantní periodické řešení s K ≡ −1, protože non-trivial modes v x (Fourierovy komponenty) ničí K ≡ −1 nebo divergují v y → ∞ (klasická Liouville rigidity; viz Chen–Li, Classification of solutions of some nonlinear elliptic equations, Duke Math. J. 63, 1991). Pro tuto asymptotiku je délka cuspu ∫^∞ dy/y = ∞, tedy (X(1), g) je orbifold-úplný.

Role A1. A1 fixuje τ ∈ ℍ² jako celou horní polorovinu, tedy stavový prostor teorie je celé X(1) včetně cuspu (ne useknutá doména). Dynamika E-L generovaná efektivní akcí musí být definovaná na celém X(1); úplnost je pak ekvivalentní tvrzení „trajektorie τ(t) nevypadne z ℍ² v konečném proper time", což je splněno přesně pro Poincarého asymptotiku nad.

Status kroku: 🟢 (Liouvilleova rigidita + A1).

§N.2 Krok 2: Konečný objem ⇐ (K ≡ −1) + topologie X(1)

Tvrzení. Pro hladkou orbifoldovou Riemannovu metriku g na X(1) s K_g ≡ −1 platí Vol_g(X(1)) = π/3.

Argument (Gauss–Bonnet pro orbifoldy). Orbifoldová Gauss–Bonnetova věta (Satake 1956; Thurston 1980, §13.3):

$$\int_{X(1)} K_g , dA_g ;=; 2\pi ,\chi_{\mathrm{orb}}(X(1)).$$

Eulerova charakteristika orbifoldu X(1) signatury (0; 2, 3, ∞) je

$$\chi_{\mathrm{orb}} = 2 - 2\cdot 0 - \Bigl(1 - \tfrac{1}{2}\Bigr) - \Bigl(1 - \tfrac{1}{3}\Bigr) - 1 = -\tfrac{1}{6}.$$

(Poslední „−1" je příspěvek cuspu, ekvivalentní puncture.) Dosazením K ≡ −1:

$$-\mathrm{Vol}_g(X(1)) = 2\pi \cdot \bigl(-\tfrac{1}{6}\bigr) ;\Longrightarrow; \mathrm{Vol}_g(X(1)) = \tfrac{\pi}{3} < \infty.$$

Konečnost objemu je důsledek, nikoli nezávislý předpoklad — plyne ze znaménka a konstantnosti křivosti plus konečnosti χ_orb (topologická data A1).

Status kroku: 🟢 (orbifoldový Gauss–Bonnet).

§N.3 Krok 3: K ≡ −1 — kritická mezera, ekvivalentní Assumption K

Zbývá derivovat konstantní zápornou křivost kinetického tenzoru z A1 + A2 + M0. Zde je logická situace následující:

  1. Kinetický tenzor v efektivní akci. Paper (rov. 115) postuluje efektivní akci s kinetickým členem (∂τ)²/τ₂². Esej eom-odvozeni.md §I pozoruje: „kinetický term je přesně Poincarého metrika na ℍ²" a „Gaussova křivost K = −1 z definice". To je ale tautologie — K = −1 plyne z dosazení Poincaré, nikoli z A1 + A2 + M0 samostatně.

  2. M0 (strukturální realismus) redukce. M0 vyžaduje, aby efektivní akce nezaváděla struktury bez topologického / algebraického původu v (A1, A2). Z Theorem 1 plyne PSL(2,ℤ)-invariance kinetického tenzoru. Nejobecnější PSL(2,ℤ)-invariantní kinetika na ℍ² má tvar

$$G_{IJ}^{(\mathrm{gen})}(\tau) ;=; f(\tau) \cdot \frac{\delta_{IJ}}{\tau_2^2},$$

kde f: ℍ² → ℝ_{>0} je libovolná modulárně invariantní skalární funkce (např. f = 1, f = |j(τ)|, f = log|η(τ)|⁴, atd.). Poincarého metrika odpovídá f ≡ 1; obecné f mění křivost z konstantní.

  1. Co by stačilo. Pokud by bylo možno ukázat, že M0 + A2 vynucuje f ≡ const (a tedy K = −1 až na škálu), Assumption K by byla derivovatelná. Kandidátní argumenty:
    • (a) Minimalita / Occam z M0. Volba f ≡ 1 je minimální; jakékoli netriviální f zavádí dodatečný fyzikální obsah (Klein-invariantní pole), který nemá motivaci v A1 ∪ A2. Toto je heuristický, ne formální argument.
    • (b) Regularita přes eliptické body. Pokud f má singularity nebo nuly v i nebo ρ, kinetický tenzor degeneruje; bodová regularita + modulární invariance + holomorfní typ výrazně omezuje f, ale nevynucuje f ≡ const (např. f = 1 + ε·j^{-1}·(j − 1728)^{-1} zůstává regulární a modulárně invariantní mimo orbifoldové singularity).
    • (c) 2D Einstein-Hilbert funkcionál. V 2D je Einstein-Hilbertova akce ∫ R√g d²x = 4π·χ topologický invariant — nedává pohybové rovnice pro g. Tedy variační princip na field-space nemůže vybrat konst. křivost sám o sobě. Je třeba dodatečný dynamický princip (koupling s potenciálem V(τ), GR-gravitační Einsteinova rovnice v 4D), který Poincarého metriku stabilizuje.

Závěr kroku 3. Z A1 + A2 + M0 neplyne K ≡ −1 jako rigorózní matematický důsledek. Plyne z M0 v minimalistickém čtení (žádná přidaná struktura nad PSL(2,ℤ)-invarianci) plus fyzikální volbu kanonického kinetického termu známého z α-attractor supergravity. To je přesně obsah Assumption K paperu.

Status kroku: 🟡 (ekvivalentní Assumption K; nelze rozpustit bez dodatečného principu).

§N.4 Celková redukce P11

Assumption K′ (§I) = úplnost ∧ konečný objem ∧ K ≡ −1.

Z §N.1–§N.2 platí:

$$\bigl[,K \equiv -1 ,\wedge, \text{A1},\bigr] ;\Longrightarrow; \text{úplnost} ;\wedge; \text{konečný objem}.$$

Tedy Assumption K′ je logicky ekvivalentní užšímu předpokladu K ≡ −1, který je ekvivalentní Assumption K paperu (kanonický Poincarého kinetický term). Redukce trojice na jediný zbytkový předpoklad je rigorózní; samotná K ≡ −1 zůstává jako zbytková mezera a sdílí status s Assumption K.

Důsledek pro P11. Mezera P11 (derivace Assumption K z A1 + A2 + M0) se nerozpouští, ale přesně identifikuje: není to trojice, je to jediný bit — volba kanonického (Poincarého) kinetického termu oproti obecnému modulárně invariantnímu konformnímu deformátu. Dva ze tří předpokladů §I jsou z tohoto bitu odvoditelné; třetí zůstává vstupem, ekvivalentním existenci α-attractor struktury (α = 2/3).

§N.5 Honest flags (revize)

  • Krok §N.1 (úplnost z K ≡ −1 + A1): 🟢 Liouvilleova rigidita + A1 vynucuje Poincarého asymptotiku u cuspu, délka diverguje.
  • Krok §N.2 (konečný objem z K ≡ −1): 🟢 orbifoldový Gauss–Bonnet, Vol = π/3.
  • Krok §N.3 (K ≡ −1 z A1 + A2 + M0): 🟡 ekvivalentní Assumption K; M0 v minimalistickém čtení je heuristický, ne formální argument. Zbytková mezera P11.

§O. Variational / structural justification of f ≡ 1 (P11 residual bit)

Pět kandidátních cest, jak vynutit f(τ) ≡ 1 v nejobecnější PSL(2,ℤ)-invariantní kinetice

$$g_{IJ}(\tau) = f(\tau)\cdot \frac{\delta_{IJ}}{\tau_2^2}, \qquad f: \mathbb{H}^2 \to \mathbb{R}_{>0}\text{ modulárně invariantní.}$$

Každou proberme rigorózně.

§O.1 Cesta 1 — geodezická úplnost jako constraint. Selhává.

Pro f modulárně invariantní, hladkou a kladnou, je metrika g_f = f·g₀ konformní Poincarému s faktorem √f. Geodezická délka do cuspu je

$$L_{\text{cusp}}(g_f) = \int^{\infty} \frac{\sqrt{f(iy)}}{y}, dy.$$

Protože f je modulárně invariantní a hladká, má v cuspu (q = e^{2πiτ} → 0) Fourierův rozvoj f = f_0 + O(q). V cuspu f → f_0 > 0 konečné. Pak L_{\text{cusp}} ∼ √f_0 · ∫ dy/y = ∞, tj. úplnost je splněna pro libovolné hladké kladné modulárně invariantní f. Příklad: f(τ) = 1 + ε·(1728/j(τ)) zůstává regulární, modulárně invariantní, f>0 pro |ε|<1, a dává úplnou metriku s f≢1. Cesta 1 neuzavírá.

§O.2 Cesta 2 — Liouville akce. Kruhová.

Liouville akce pro konformní faktor φ = ½ log f vzhledem k Poincaré:

$$S_L[\varphi] = \int_{X(1)} \bigl(|\nabla_{g_0} \varphi|^2 + \mu, e^{2\varphi} - K_0 \varphi\bigr), dA_{g_0}.$$

Variační rovnice: Δ_{g₀} φ = μ e^{2φ} − K_0/2. Aby g_f měla konstantní křivost K_f = −1 (= K_0), musí platit Δ_{g₀}φ + e^{2φ}(K_f − K_0·e^{−2φ}) = 0, což v cílovém případě K_f = K_0 = −1 vynucuje Δ_{g₀}φ = 1 − e^{2φ}. Na kompaktním orbifoldu X(1) s konečným objemem max-principle dává φ ≡ 0 ⇔ f ≡ 1. Ale to je přesně argument §N.3, který předpokládá K_f = −1. Bez vstupu na K_f Liouville akce obecně vybírá jen K_f = konst (škálovací volba μ), ne hodnotu. Cesta 2 nepřidává nic nad §N.3.

§O.3 Cesta 3 — Kählerova struktura z A2. Částečně.

A2 identifikuje τ ∈ ℍ² s komplexním strukturním modulem eliptické křivky E_τ = ℂ/(ℤ + τℤ). Na moduli prostoru M_{1,1} ≅ X(1) je přirozená komplexní struktura J standardní (dědí se z ℍ²). Postulujme, že field-space kinetika je Kählerova vůči J. V komplexní dimenzi 1 je podmínka dω = 0 triviální, takže každá Hermitovská metrika je Kählerova. Obecná Kählerova metrika na ℍ² má tvar

$$g_K = \partial\bar\partial K(\tau,\bar\tau)\cdot |d\tau|^2,$$

kde Kählerův potenciál K je reálná funkce. Pro PSL(2,ℤ)-invarianci stačí K invariantní až na Kählerovu transformaci K → K + h(τ) + \bar h(\bar\tau). Standardní Poincaré: K_0 = −log τ₂, a pod S: τ₂ ↦ τ₂/|τ|², K_0 ↦ K_0 + log τ + log \bar\tau — Kählerova transformace, OK.

Obecný Kählerův potenciál K_ψ = −log τ₂ + ψ(τ,\barτ) s ψ modulárně invariantní (strict, ne up to Kähler) dává

$$g_\psi = \frac{|d\tau|^2}{\tau_2^2} + \partial\bar\partial\psi\cdot|d\tau|^2 = \Bigl(\tfrac{1}{\tau_2^2} + \partial_\tau\partial_{\bar\tau}\psi\Bigr)|d\tau|^2.$$

To je modulárně invariantní kinetika s f(τ) = 1 + τ₂²·∂τ∂{\barτ}ψ ≠ 1 obecně. Kähler requirement sám tedy f≡1 nevynucuje. Cesta 3 selhává na stejné úrovni jako §N.3.

§O.4 Cesta 4 — Weil-Petersson metrika. Uzavírá, modulo A2⁺.

Nejslibnější cesta. Weil-Petersson metrika na Teichmüllerově prostoru je definovaná variačně přes L²-normu holomorfních kvadratických diferenciálů:

$$\langle \mu_1, \mu_2 \rangle_{WP} = \int_{E_\tau} \mu_1 \bar\mu_2, dA_E,$$

kde μ_i jsou Beltramiho diferenciály parametrizující infinitezimální deformace komplexní struktury. Pro moduli prostor M_{1,1} eliptických křivek (rod g=1, jeden bod uvažujeme z důvodu konečného objemu) je základem tento klasický výsledek:

Věta (Wolpert 1985, Imayoshi–Taniguchi 1992 §7.6). Na Teichmüllerově prostoru T_{1,1} ≅ ℍ² je Weil-Petersson metrika rovna Poincarého metrice až na globální škálu:

$$g_{WP} = c\cdot \frac{d\tau,d\bar\tau}{\tau_2^2}, \qquad c > 0.$$

Skica důkazu. Eliptická křivka E_τ má jednoznačnou plochou Kählerovu metriku normalizovanou na jednotkový objem: dA_E = dz,d\bar z/(2\tau_2). Beltramiho deformace ∂/∂τ̄ je reprezentována Beltramiho diferenciálem μ(z) = (2i\tau_2)^{-1},d\bar z/dz (konstantní po E_τ, harmonická). Výpočet:

$$|\partial/\partial\bar\tau|{WP}^2 = \int{E_\tau} |\mu|^2, dA_E = \int_{E_\tau} \frac{1}{(2\tau_2)^2}\cdot \frac{dz,d\bar z}{2\tau_2} = \frac{1}{4\tau_2^2}\cdot\underbrace{\int_{E_\tau} dA_E}_{=1} \cdot 2 = \frac{1}{2\tau_2^2}.$$

(Faktor 2 od reálných × imaginárních složek Beltramiho diferenciálu; přesný číselný prefaktor závisí na konvenci WP normalizace; klíčový fakt je proporcionalita 1/τ₂² a nic jiného.) To je přesně Poincaré (až na c = 1/2), a v té derivaci nefiguruje žádná volba modulárně invariantní funkce — WP je jednoznačně určena holomorfní strukturou E_τ danou A2.

Ekvivalentně: WP na moduli prostorech Riemannových ploch je jediná Kählerova metrika, jejíž Kählerova forma je rovna (1/π)·Σ ∂∂̄ log det′Δ + kontribuce od čárek (Zograf–Takhtadzhyan 1987, „On Liouville's equation..." Commun. Math. Phys. 137). Pro M_{1,1} se Zograf–Takhtadzhyanova formule redukuje na g_{WP} ∝ dτ d\barτ/τ₂² přesně.

Klíčový fakt: WP metrika na M_{1,1} neobsahuje žádný PSL(2,ℤ)-invariantní konformní faktor f(τ)≢const. Její existence a jednoznačnost plyne z komplexně analytické struktury moduli prostoru, ne z dodatečné volby.

Co je potřeba z A2. Formálně A2 říká „foton = eliptická křivka", což identifikuje stavový prostor fotonu s M_{1,1}. Pro derivaci kinetického tenzoru efektivní akce z A2 je potřeba ještě identifikovat kinetický tenzor s WP metrikou na M_{1,1}. Tomu říkáme A2⁺ (canonical moduli-space kinetics):

A2⁺. Field-space kinetický tenzor τ ↦ g_{IJ}(τ) je (až na globální škálu) Weil-Petersson metrika na moduli prostoru eliptických křivek M_{1,1}.

Fyzikální motivace A2⁺. Ve stringové / supergravity redukci na eliptickém vlákně je moduli-space kinetika automaticky WP (to je obsah Dijkgraaf–Verlinde–Verlinde 1988 a navazujících prací o kompaktifikacích; obecný princip: kinetický tenzor skalárů pocházejících z deformací komplexní struktury internal manifoldu = WP na příslušném moduli prostoru). Pro α-attractor supergravity Kallosh–Linde 2013 je Kählerův potenciál K = −3α·log(τ₂/...) a WP je implicitní.

Status: A2⁺ je silnější než A2 v tom, že specifikuje měření „vzdálenosti mezi eliptickými křivkami" kanonicky přes Beltramiho L²-normu. Ve stringy / SUGRA derivacích je A2⁺ věta (plyne z redukce), ne postulát. V KRT, kde není explicitní mikroskopická Lagrangián, zůstává A2⁺ jako dodatečný strukturní postulát.

Závěr cesty 4. Jakmile přijmeme A2⁺, f ≡ 1 je věta (Wolpert/Imayoshi–Taniguchi/Zograf–Takhtadzhyan), ne postulát. P11 se uzavírá jako conditional 🟢 s explicitně pojmenovaným A2⁺.

§O.5 Cesta 5 — Fuchsiánská uniformizace. Duplikát §II.

Uniformizace vybírá Poincarého jako kanonického reprezentanta konformní třídy pod předpokladem konstantní křivosti. To je obsah §II. Bez předpokladu K ≡ konst uniformizace `nic neříká. Cesta 5 nepřidává nic nad §II.

§O.6 Souhrn pěti cest

Cesta Argument Rigorózně uzavírá f ≡ 1?
1 geodezická úplnost úplnost pro libovolné hladké f > 0 v cuspu ne
2 Liouville akce vyžaduje K = −1 na vstupu ne (kruhové)
3 Kähler z A2 v komp. dim 1 Kähler triviální; K_ψ deformace možné ne
4 Weil-Petersson z A2⁺ klasická věta: WP = Poincaré na M_{1,1} ano, modulo A2⁺
5 uniformizace duplikát §II, vyžaduje K = konst ne

§O.7 Formální závěr §O

Z pěti cest je cesta 4 jedinou rigorózní. Uzavírá P11 pod dodatečným postulátem A2⁺ („kinetický tenzor = WP na M_{1,1}"), který je v supergravity / stringy redukcích věta, v KRT bez explicitního mikroskopického modelu zůstává postulát. P11 se tím redukuje z „jednoho bitu f(τ)" na „volbu A2⁺", což je strukturně čistší (A2⁺ je jednořádkový geometrický postulát, ne arbitrární funkcionální volba).

Honest status §O:

  • Cesty 1, 2, 3, 5: selhávají rigorózně vynutit f ≡ 1. Dokumentováno výše.
  • Cesta 4 (WP): uzavírá f ≡ 1 rigorózně, ale zavádí A2⁺ jako nový postulát. Nejde tedy o čistou derivaci „z A1+A2+M0", nýbrž o redukci P11 na A2⁺.

Volba pro lemma:

  1. Konzervativní: §N.3 zůstává 🟡, lemma zůstává 🟢 pod Assumption K′ (resp. K), P11 zůstává 🟡 s explicitně popsanou redukcí na A2⁺ v cestě 4.
  2. Liberální: přijmout A2⁺ jako součást A2 (fyzikálně: „foton = eliptická křivka s kanonickou moduli-space kinetikou"), povýšit lemma na unconditional 🟢 a P11 na 🟢 s poznámkou, že A2 byla zesílena na A2⁺.

Korpus KRT používá disciplinární Pravidlo 7 (mezery se explicitně pojmenovávají). V souladu s tím volíme konzervativní cestu: §N.3 zůstává 🟡, P11 zůstává 🟡 s přesně pojmenovanou redukcí. Tím se honest flag posouvá z „volba f≡1" na „přijetí A2⁺", což je menší, pojmenovaná mezera, ne funkcionální arbitrárnost.

V. Status

  • Lemma samo: 🟢 formální, dokazuje se odkazem na Ahlfors–Sario / Farkas–Kra / Beardon (klasická uniformizace) + Thurston/Farb–Margalit (rigidita orbifoldu signatury (0;2,3,∞)).
  • Uzavření N2: 🟢 pro verzi Theorem 1 + Assumption K′ (trojice: úplnost + konečný objem + konst. křivost).
  • §N (redukce Assumption K′ na Assumption K): 🟢 pro kroky §N.1 (úplnost) a §N.2 (konečný objem); 🟡 pro krok §N.3 (K ≡ −1 sama).
  • §O (variational justification of f ≡ 1): 🟡 konzervativně. Pět kandidátních cest rigorózně prozkoumáno; cesty 1, 2, 3, 5 selhávají; cesta 4 (Weil-Petersson) uzavírá f ≡ 1 rigorózně, ale zavádí A2⁺ (kinetický tenzor = WP na M_{1,1}) jako dodatečný strukturní postulát. Redukce P11 na A2⁺ je strukturně čistší než volba f(τ).
  • P11 (derivace Assumption K): 🟡 dále redukováno v §O: zbytková mezera je přijetí A2⁺ (one-line geometrický postulát), ne arbitrární funkcionální volba f(τ). Pokud A2⁺ je přijat jako součást A2, lemma i P11 se povýší na 🟢; konzervativně zůstávají 🟡 s explicitně pojmenovanou mezerou.

Reference

  • Ahlfors, L. V., Sario, L. (1960). Riemann Surfaces. Princeton University Press. Ch. IV, Thm 10A.
  • Beardon, A. F. (1983). The Geometry of Discrete Groups. Springer GTM 91. §9.
  • Farkas, H. M., Kra, I. (1992). Riemann Surfaces, 2nd ed. Springer GTM 71. §IV.8, Thm IV.8.6.
  • Katok, S. (1992). Fuchsian Groups. University of Chicago Press. Thm 2.5.6.
  • Thurston, W. P. (1980). The Geometry and Topology of Three-Manifolds. Princeton lecture notes. §13 (orbifolds).
  • Farb, B., Margalit, D. (2012). A Primer on Mapping Class Groups. Princeton University Press. §10.2 (orbifold Teichmüller theory).
  • Poincaré, H. (1907). Uniformisation des fonctions analytiques. Acta Math. 31.
  • Koebe, P. (1907). Über die Uniformisierung reeller analytischer Kurven. Gött. Nachr.

Návaznost

← všechny poznámky