2026-04-21 (pozdě večer… 🟢 strukturní argument (diff inv jako důsledek M… P22M2diffeomorphismgeneral-covariancegaugingM0structural-realismtau-fieldlocal-symmetry

P22 M2 — Diffeomorphism invariance spacetime jako důsledek M0 + PSL(2,ℤ) invariance, ne axiom

Plný status a historie aktualizací

Status:

🟢 strukturní argument (diff inv jako důsledek M0); 🟡 formální kategoriální derivace přes P6 funktor pending

Historie aktualizací:

2026-04-21 (pozdě večer +4h)

Teze. Diffeomorphism invariance (general covariance) spacetime není v KRT nezávislý axiom — je to přímý důsledek M0 strukturálního realismu aplikovaného na τ-geometrii. V standardní GR se diff inv postuluje jako fundamentální symetrie (Einstein 1915 general covariance, hole argument Earman–Norton 1987). V KRT: τ-pole $\tau: M \to \mathbb{H}^2$ + Lorentzova metrika $g_{\mu\nu}$ na 4-manifoldu $M$; M0 vyžaduje, aby observables faktorizovaly přes izomorfizmy struktur, a diffeomorphism je právě izomorfismus 4-manifoldu → diff-ekvivalentní konfigurace $(g_{\mu\nu}, \tau)$ a $(\phi^g_{\mu\nu}, \phi^\tau)$ jsou fyzikálně identické. M2 z p22-apendix-b-plan.md je strukturně uzavřeno.

Status. 🟢 strukturní argument (diff inv = theorem z M0 + τ-scalar nature). 🟡 formální kategoriální derivace přes P6 funktor RefDom → FuchsAction (ccc-substrat.md) pending jako M2.a. Další pod-mezery M2.b (lokální PSL(2,ℤ) gauging separate question) a M2.c (gauge fixing + BRST v path integral) zůstávají otevřené. M1 (p22-m1-einstein-equations.md) + M3 (p22-m3-equivalence-principle.md) předcházejí; M4, M5, M6 zůstávají otevřené per p22-apendix-b-plan.md.

I. Pozice v korpusu

I.1 Co předchází

  • M0 strukturální realismus (paper-draft-v1.md §M0, v1.3.8): observables faktorizují přes izomorfismy struktur. Dvě konfigurace propojené izomorfismem jsou fyzikálně identické. M0 je silnější než diff inv — zahrnuje ji jako speciální případ pro izomorfismy 4-manifoldu.
  • Theorem 1 (proc-psl2z.md): PSL(2,ℤ) je globální symetrie target space $\mathbb{H}^2$ modulárních souřadnic $\tau$; K = −1, α-attractor α = 2/3.
  • P6 kategoriální preaxiom (ccc-substrat.md, kategorie-preaxiom.md): funktor RefDom → FuchsAction, x^x = μ∘Δ v CCC, Lawvere + Yanofsky sjednocují substrát KRT jako reflexivní doménu $D \cong D \to D$.
  • Lawvere → (2,3) (lawvere-23-derivace.md): eliptické body $i$ (Z₂) a $\rho$ (Z₃) jako fixní body diagonal morphism v CCC.
  • P22 M1 (p22-m1-einstein-equations.md): Einsteinovy rovnice $G_{\mu\nu} = T_{\mu\nu}^{(\tau)}/M_{\text{Pl}}^2$ z variance plné PSL(2,ℤ)-invariantní akce.
  • P22 M3 (p22-m3-equivalence-principle.md): $m_{\text{grav}} = m_{\text{iner}}$ jako jediná projekce ℍ-substrátu přes $Y_{0,0}$.

I.2 Co M2 řeší

Einstein Equivalence Principle (EEP) má tři komponenty (Will 2014 §2):

  1. Weak Equivalence Principle (WEP): $m_{\text{grav}} = m_{\text{iner}}$ — uzavřeno v p22-m3-equivalence-principle.md.
  2. Local Lorentz Invariance (LLI): lokální rámy jsou Lorentzovy; uzavřeno v dirac-jako-h-schrodinger.md §IV.5 přes Spin(1,3) ≡ SL(2,ℂ).
  3. Local Position Invariance (LPI): fyzikální zákony neznámé od lokace; strukturně implicitní v diff inv.

Diffeomorphism invariance je nad-kategorie EEP — reprezentuje obecnou kovariantnost, že žádná souřadnicová volba není privilegovaná. Standardní GR ji postuluje. KRT to musí odvodit z M0 + τ-geometrie, jinak by M0 nebylo silnější než v1.3.0 čtyř-axiomový soubor.

M2 je třetí (po M1, M3) z šesti mezer P22 plánu. Strukturální uzavření v této eseji; formální kategoriální derivace přes P6 funktor jako M2.a pending.

II. Standardní GR: diff invariance jako postulát

II.1 Einstein 1915 general covariance

Einstein (1915) postuloval, že fyzikální zákony mají mít stejný tvar ve všech souřadnicových systémech. Matematicky: Einstein-Hilbertova akce $S_{\text{EH}} = \int d^4x, \sqrt{-g}, R$ je invariantní pod diffeomorphism $\phi: M \to M$; tedy pro libovolný $\phi \in \text{Diff}(M)$:

$$ S_{\text{EH}}[\phi^* g] ;=; S_{\text{EH}}[g]. $$

Varianta akce po $\delta g^{\mu\nu}$ indukovaná diffeomorphism generovaným vektorovým polem $\xi^\mu$ je

$$ \delta_\xi g^{\mu\nu} ;=; \mathcal{L}_\xi g^{\mu\nu} ;=; -\nabla^\mu \xi^\nu - \nabla^\nu \xi^\mu, $$

a nulovost $\delta S_{\text{EH}} = 0$ pro libovolné $\xi^\mu$ přímo implikuje Bianchiho identitu $\nabla^\mu G_{\mu\nu} = 0$ (Wald 1984 General Relativity §E.2).

II.2 Hole argument (Earman–Norton 1987)

Hole argument je klasický filosofický problém general covariance. Dvě diff-ekvivalentní metriky $g$ a $\phi^* g$ na stejném 4-manifoldu $M$ jsou matematicky různé (rozdílné funkce v souřadnicích), ale fyzikálně nerozlišitelné (generují stejné observables — skaláry, kontrakce, integrály).

Substantivalismus (Newton: spacetime bodies jsou fyzikální substance) je vylučován, protože by musel rozlišovat $g$ od $\phi^* g$, ale ve fyzice žádný experiment to neumí.

Relacionalismus (Leibniz: pouze vztahy mezi body mají fyzikální význam) je potvrzován — observables jsou diff-invarianty, tj. relations among points, ne property pozice.

M0 strukturálního realismu v KRT je silnější než relacionalismus: observables faktorizují přes libovolné izomorfismy struktur, ne jen přes diffeomorphism. M0 zahrnuje diff inv jako speciální případ izomorfismu spacetime manifoldu.

II.3 Diff-invariantní observables

V standardní GR jsou fyzikální observables:

  • Skaláry: $R$, $R_{\mu\nu} R^{\mu\nu}$, $R_{\mu\nu\rho\sigma} R^{\mu\nu\rho\sigma}$ (Kretschmann).
  • Integrály přes invariantní objem: $\int_M d^4 x, \sqrt{-g}, f(R, \ldots)$ pro skalární $f$.
  • Relacionální koincidence: „Tyto dvě geodetiky se protnou" — diff-invariantní propozice.

Ne-observable: „Metrika má hodnotu 2.3 v bodě $P$" — závisí na souřadnicové volbě.

KRT: observables faktorizují přes M0-izomorfismy, tj. skaláry v τ-poli (reálné invarianty $\tau_1, \tau_2$ v PSL(2,ℤ)-fundamental domain $\mathcal{F}$ z paperu §Canonical modular potential) + skaláry v metrice ($R$, $\text{vol}$) + jejich kontrakce přes $g^{\mu\nu}$.

III. KRT: diff inv jako důsledek M0

III.1 Setup KRT τ-geometrie

KRT postuluje dvě nezávislá pole na 4-manifoldu $M$:

  • Metrika $g_{\mu\nu}: TM \otimes TM \to \mathbb{R}$ se signaturou $(-, +, +, +)$ (Lorentzova 4-manifold).
  • τ-pole $\tau: M \to \mathbb{H}^2$ se složkami $\tau_1(x) = \text{Re},\tau(x)$, $\tau_2(x) = \text{Im},\tau(x) > 0$; target space je upper half-plane s Poincaré metrikou $ds^2 = (d\tau_1^2 + d\tau_2^2)/\tau_2^2$.

Plná akce (p22-m1-einstein-equations.md §I):

$$ S_{\text{full}}[g, \tau] ;=; \int d^4 x \sqrt{-g} \left[ \frac{M_{\text{Pl}}^2}{2} R ;-; \frac{1}{2 \tau_2^2} g^{\mu\nu} (\partial_\mu \tau_1 \partial_\nu \tau_1 + \partial_\mu \tau_2 \partial_\nu \tau_2) ;-; V(\tau, \bar{\tau}) \right]. $$

III.2 τ jako scalar pole pod diff

Pod diffeomorphism $\phi: M \to M$ (resp. souřadnicovou transformaci $x^\mu \to x'^\mu(x)$) se pole transformují:

  • $\tau$ je target-valued mapa $\tau: M \to \mathbb{H}^2$; pod $\phi$ se transformuje jako scalar: $$ \tau'(x') ;=; \tau(x), \qquad x' = \phi(x). $$ τ-hodnota v bodě $x$ je „připojena" k bodu, ne k souřadnicím — $\tau$ je scalar (0-form na $M$) s hodnotami v $\mathbb{H}^2$.
  • $g_{\mu\nu}$ je (0,2)-tensor s kovariantní transformací: $$ g'{\mu\nu}(x') ;=; \frac{\partial x^\alpha}{\partial x'^\mu}, \frac{\partial x^\beta}{\partial x'^\nu}, g{\alpha\beta}(x). $$
  • $\partial_\mu \tau_i$ je kovariantní vektor (1-form) s transformací $\partial'_\mu \tau'i = (\partial x^\alpha / \partial x'^\mu) \partial\alpha \tau_i$.
  • $\sqrt{-g}, d^4 x$ je invariantní objemový element.

III.3 Invariance plné akce

Dosazení do akce:

$$ S_{\text{full}}[g', \tau'] ;=; \int d^4 x', \sqrt{-g'} \left[ \frac{M_{\text{Pl}}^2}{2} R' ;-; \frac{1}{2 \tau_2'^2} g'^{\mu\nu} \partial'_\mu \tau'i \partial'\nu \tau'_j \delta^{ij} ;-; V(\tau', \bar{\tau}') \right]. $$

Protože:

  • $\sqrt{-g'}, d^4 x' = \sqrt{-g}, d^4 x$ (Jacobian kompenzuje),
  • $R' = R$ (Ricciho skalár je diff-invariant),
  • $\tau_2'(x') = \tau_2(x)$ (scalar),
  • $g'^{\mu\nu} \partial'\mu \tau'i \partial'\nu \tau'j = g^{\alpha\beta} \partial\alpha \tau_i \partial\beta \tau_j$ (tensor kontrakce je invariantní),
  • $V(\tau', \bar{\tau}') = V(\tau, \bar{\tau})$ (potenciál je skalární funkce $\tau$, $\tau$ je scalar),

dostáváme

$$ \boxed{;S_{\text{full}}[g', \tau'] ;=; S_{\text{full}}[g, \tau].;} $$

Akce je diff-invariantní konstrukčně — bez postulace. Klíčem je, že (1) τ je scalar pod diff, (2) Einstein-Hilbert + kinetický + potenciální člen jsou konstruovány z diff-kovariantních objektů.

III.4 M0 jako strukturní princip

M0 strukturální realismus říká: observables faktorizují přes izomorfismy struktur. Formálně: pokud $(M, g, \tau)$ a $(M', g', \tau')$ jsou propojeny izomorfismem $\phi: M \to M'$ s $\phi^* g' = g$ a $\phi^* \tau' = \tau$, pak pro libovolný observable $O$ platí $O[g, \tau] = O[g', \tau']$.

Diffeomorphism $\phi: M \to M$ (resp. $M \to M'$ s $M' = M$) je izomorfismus 4-manifold struktury. Tedy M0 vynucuje:

$$ O[g, \tau] ;=; O[\phi^* g, \phi^* \tau] \qquad \forall \phi \in \text{Diff}(M). $$

Diff invariance observables je přímý důsledek M0. Není postulát; je to teorém KRT.

III.5 Rozdíl od axiomatického GR

Aspekt Standardní GR KRT
Diff invariance axiom (general covariance) teorém z M0
Metrika role fundamentální pole emergent-like, proti τ-poli koexistuje
Observables diff-invarianty (postulát) izomorfismus-invarianty (M0)
Substantivalism/relacionalism debate vyřešeno M0 (silnější než relacionalismus)

M0 je silnější: zahrnuje diff inv + PSL(2,ℤ)-izomorfismy τ + gauge izomorfismy + kategoriální izomorfismy reflexivní domény (ccc-substrat.md).

IV. Globální vs lokální PSL(2,ℤ)

IV.1 PSL(2,ℤ) jako globální symetrie target space

Theorem 1 říká: PSL(2,ℤ) je globální symetrie modulárního prostoru $\mathbb{H}^2$ jako target space — každý element $\gamma \in \text{PSL}(2, \mathbb{Z})$ působí stejně v každém bodě $\tau$, a fundamental domain $\mathcal{F}$ je kvocient.

Pro τ-pole $\tau(x): M \to \mathbb{H}^2$ to znamená: transformace

$$ \tau(x) ;\to; \gamma \tau(x) ;=; \frac{a \tau(x) + b}{c \tau(x) + d}, \qquad \begin{pmatrix} a & b \ c & d \end{pmatrix} \in \text{PSL}(2, \mathbb{Z}) $$

je globální (stejné $\gamma$ v každém $x \in M$) symetrie plné akce (protože akce je PSL(2,ℤ)-invariantní po $\tau$).

IV.2 Lokální PSL(2,ℤ) gauging? Diskrétnost brání

Otázka: Je možné gaugovat PSL(2,ℤ) lokálně, tj. $\gamma \to \gamma(x)$ jako funkci na $M$?

Odpověď: Ne rigorózně — PSL(2,ℤ) je diskrétní grupa, ne Lie grupa. Lokální gauging v běžném smyslu (spojité pole gauge parameters $\gamma(x)$ s kovariantní derivací $D_\mu = \partial_\mu + A_\mu$) vyžaduje spojité Lie-algebra generátory. PSL(2,ℤ) nemá spojité generátory; jakýkoli „lokální" $\gamma(x)$ musí být buď:

  • po částech konstantní (diskrétní skoky mezi fundamental domains přes tileing) — není smooth gauge, ale topologický signature;
  • embedded do spojité nad-grupy jako SL(2,ℝ) nebo PSL(2,ℝ) — pak gauging je standard; PSL(2,ℤ) je aritmetická podgrupa.

Ale M2 nepožaduje lokální PSL(2,ℤ) gauging! Strukturní argument §III je silnější: diff inv plyne přímo z M0 + τ-scalar-nature, nezávisle na jakém by bylo lokální-PSL(2,ℤ) gauging definováno. Diskrétnost PSL(2,ℤ) je signature toho, že modulární struktura je aritmetická ne Lie; lokální gauge odpovídá spojitým Diff(M) transformacím, které τ (jako scalar) respektuje.

IV.3 Spin(1,3) jako lokální spojitá substituce

Kde je lokální spojitá symetrie? V tangent bundle $TM$ — lokální Lorentzovy transformace jsou Spin(1,3) ≡ SL(2,ℂ), P14 §IV.5 (dirac-jako-h-schrodinger.md). Toto je LLI komponenta EEP, uzavřená mimo M2.

Struktura:

  • Globální PSL(2,ℤ) na target $\mathbb{H}^2$: diskrétní aritmetická modulární symetrie.
  • Lokální Diff(M) na source $M$: spojitá diff invariance, důsledek M0.
  • Lokální Spin(1,3) na $TM$: spojitá Lorentz invariance v tangent bundle, P14 structural.

Tři různé symetrie na třech různých prostorech; nezaměňovat.

V. Hole argument reinterpretován

V.1 Earman–Norton (1987)

Klasická formulace: vezměme 4-manifold $M$ s „dírou" $H \subset M$ (otevřený podprostor). Definujme $\phi: M \to M$ jako identitu mimo $H$ a ne-triviální diffeomorphism uvnitř $H$. Pak $g$ a $\phi^* g$ se liší pouze uvnitř $H$, zatímco zbytek spacetime je identický.

Determinismus problém: Cauchy data mimo $H$ (initial hypersurface $\Sigma$ před $H$) jsou pro $g$ a $\phi^* g$ identická, ale uvnitř $H$ se liší → GR „není deterministická" v běžném smyslu.

Einsteinovo řešení (1915): „Žádné dvě diff-ekvivalentní metriky nejsou fyzikálně různé" — protože observables jsou diff-invarianty, $g$ a $\phi^* g$ generují identické předpovědi všech observables. Determinismus je zachován na úrovni observables, ne na úrovni koordinovaných polí.

V.2 KRT M0 interpretace

V KRT je to strukturní nevyhnutelnost, ne filosofické řešení post hoc:

  1. M0 definuje physical state jako izomorfismus-třídu $[g, \tau]_{\text{iso}}$, ne jako konkrétní reprezentaci $(g, \tau)$.
  2. $g$ a $\phi^* g$ jsou stejná izomorfismus-třída (spojené přes $\phi \in \text{Diff}(M)$).
  3. Hole argument „problém" je artefakt chápání state jako konkrétní reprezentace místo třídy.
  4. Určemism KRT: initial data $[g, \tau]|_\Sigma$ (jako izomorfismus-třída na $\Sigma$) → unique $[g, \tau]$ (jako izomorfismus-třída na $M$).

M0 je silnější postulát než diff inv: zahrnuje ji, plus PSL(2,ℤ) invariance τ, plus libovolné další izomorfismy (např. globální phase $\psi \to e^{i\alpha}\psi$ pro QM fields v Apendix A).

V.3 Relacionalismus → strukturalismus

Standardní filosofický výstup hole argumentu je relacionalismus (Leibniz): pouze vztahy mezi events jsou fyzikální.

M0 posouvá dál: strukturalismus — fyzikální jsou struktury (invariantní třídy pod izomorfismem), ne vztahy per se. Struktura je obecnější než vztahy: zahrnuje algebraické, topologické, kategoriální izomorfismy.

V kategoriálním jazyce (ccc-substrat.md): fyzikální stavy jsou objekty v quotient category $\text{Config}/\text{Iso}$, ne objekty $\text{Config}$.

VI. Bianchiho identita

VI.1 Standardní odvození

V GR je $\nabla^\mu G_{\mu\nu} = 0$ identita (ne equation of motion) — plyne z diff invariance Einstein-Hilbertovy akce:

$$ 0 ;=; \delta_\xi S_{\text{EH}} ;=; -\int d^4 x \sqrt{-g}, G^{\mu\nu} \nabla_\mu \xi_\nu - \nabla_\nu \xi_\mu = \int d^4 x \sqrt{-g}, 2 \nabla^\mu G_{\mu\nu} \xi^\nu $$

pro libovolné $\xi^\nu$, tedy $\nabla^\mu G_{\mu\nu} = 0$ (Wald 1984 §E.1.3).

VI.2 KRT konzistence

V KRT (p22-m1-einstein-equations.md §IV) je stress-energy tensor τ-pole $T_{\mu\nu}^{(\tau)}$ automaticky konzervovaný:

$$ \nabla^\mu T_{\mu\nu}^{(\tau)} ;=; 0, $$

což plyne z Euler-Lagrange rovnic τ-pole (on-shell identity, plně derivační).

Kombinace M1 Einsteinových rovnic $G_{\mu\nu} = T_{\mu\nu}^{(\tau)}/M_{\text{Pl}}^2$ + Bianchi $\nabla^\mu G_{\mu\nu} = 0$ + E-L $\nabla^\mu T_{\mu\nu}^{(\tau)} = 0$ je konzistentní jako triple identita.

V KRT je Bianchiho identita teorém, ne axiom — plyne z diff inv akce, která sama je teorém z M0.

VI.3 Matter coupling

Pro plné GR s matter Lagrangianem $\mathcal{L}{\text{matter}}$ je $T{\mu\nu}^{(\text{matter})} = (-2/\sqrt{-g}), \delta(\sqrt{-g}, \mathcal{L}{\text{matter}})/\delta g^{\mu\nu}$; konzervace $\nabla^\mu T{\mu\nu}^{(\text{matter})} = 0$ je teorém z diff invariance matter akce.

V KRT matter fields jsou derivovány z τ-pole přes Yukawa-like coupling (P21 dyad most, P22 M3 mass generation). Konzervace celkového stress-energy $\nabla^\mu (T_{\mu\nu}^{(\tau)} + T_{\mu\nu}^{(\text{matter})}) = 0$ je teorém z diff inv plné akce, která je teorém z M0.

VII. Formální derivace přes P6 funktor (pending — M2.a)

VII.1 P6 funktor RefDom → FuchsAction

P6 kategoriální preaxiom (ccc-substrat.md) definuje funktor:

$$ F: \text{RefDom} ;\longrightarrow; \text{FuchsAction} $$

kde RefDom je kategorie reflexivních domén $D \cong D \to D$ (Scott/Lawvere), a FuchsAction je kategorie Fuchsiánských grup action na $\mathbb{H}^2$.

Claim M2.a: Funktor $F$ zachovává izomorfismy — pokud $D \cong_{\text{RefDom}} D'$, pak $F(D) \cong_{\text{FuchsAction}} F(D')$. Observables na FuchsAction straně (reprezentované τ-polem a metrikou) musí respektovat tyto izomorfismy, což vynucuje diff invariance jako kategoriální důsledek.

VII.2 Pending work

Rigorózní functor construction chybí:

  • Explicitní definice objects a morphisms v RefDom.
  • Explicitní definice v FuchsAction (pravděpodobně: objekty jsou $(\Gamma, \mathbb{H}^2)$ páry s $\Gamma \leq \text{PSL}(2, \mathbb{R})$ Fuchsian; morphismy jsou ekvivariantní mapy).
  • Důkaz, že $F$ je covariant functor, zachovávající izomorfismy.
  • Důkaz, že diff invariance spacetime plyne z covariance $F$ nad spacetime (ne jen target space).

Toto je M2.a pod-mezera; odhad 2–6 týdnů kategoriální work (Mac Lane 1971, Awodey 2010, Barr–Wells 1990).

VII.3 Očekávaný výstup M2.a

Pokud se podaří zkonstruovat $F$ rigorózně:

  • Diff inv je důsledek funktoriality $F$ — žádná nezávislá postulace.
  • PSL(2,ℤ) arithmetic invariance je důsledek diskrétnosti morphismů RefDom — reflexivní domain má diskrétní automorphism group.
  • M0 strukturální realismus je kategoriálně vyjádřen jako „observables jsou funkcionály na quotient category Config/Iso".

M2.a by tím byla nejsilnější kategoriální derivace v korpusu — spojila by P6 preaxiom s P22 GR-projekcí.

VIII. Open sub-gaps

M2.a — Kategoriální derivace přes P6 funktor (🟡)

Rigorózní functor $F: \text{RefDom} \to \text{FuchsAction}$ a důkaz, že diff inv plyne z jeho covariance. Viz §VII. Odhad 2–6 týdnů.

M2.b — Lokální PSL(2,ℤ) gauging (🔴 otevřené, separate question)

Diff inv plyne z M0, ne z lokální PSL(2,ℤ). Ale zda existuje netriviální lokální PSL(2,ℤ) gauging (s diskrétním gauge polem, topologickou strukturou à la instantony) je samostatná otázka. Relevantní pro:

  • Topological defects v τ-poli (kosmické struny kolem eliptických bodů $i$, $\rho$).
  • Aharonov-Bohm-like phase když geodetika obejde defect.
  • Topological quantum field theory interpretace.

Odhad: 3–12 měsíců, pravděpodobně mimo rozsah M2.

M2.c — Gauge fixing a BRST v path integral (🟡 standard method applicable)

V path integral kvantování diff-invariantních teorií je třeba gauge fixing (Faddeev–Popov ghosts, BRST symetrie). Pro KRT:

  • Gauge fixing τ-pole (např. unitary gauge přes PSL(2,ℤ) symetrii — redukce na fundamental domain $\mathcal{F}$).
  • BRST kvantování + ghost fields pro diff inv.

Standard methodology (Weinberg 1996 Quantum Theory of Fields Vol II §15, Henneaux–Teitelboim 1992) aplikovatelná. Odhad 4–12 týdnů.

IX. Testable consequences

IX.1 Polarizace gravitačních vln

Diff inv + LLI (lokální Lorentz) vynucuje, že gravitační vlny v GR mají právě 2 tensor polarizations (+, ×) — Will 2014 §5.

Brans-Dicke teorie přidává scalar polarization (breathing mode); Jordan/vector-tensor teorie přidávají vector polarizations → celkem 6 polarizations.

LIGO/Virgo detekce (GW150914 a další) konzistentní s 2 polarizations. KRT jako M0-structural GR predikuje právě 2 polarizations (konzistentní s M1 linearized wave equation na FRW background).

Future test: LISA + Einstein Telescope na 2030s umožní precision test polarizací na $\mathcal{O}(10^{-3})$ úrovni. KRT predikce: přesně 2 tensor modes, žádné scalar/vector, konzistentně s M2 diff inv.

IX.2 Paramerized Post-Newtonian (PPN) parametry

PPN framework (Will 2014 §4) měří odchylky od GR přes 10 parametrů $\gamma, \beta, \xi, \alpha_1, \alpha_2, \alpha_3, \zeta_1, \ldots, \zeta_4$. GR má všechny rovny specifickým hodnotám (typicky 0 nebo 1).

KRT M0-structural GR má identické PPN predictions jako standard GR — M1 dává stejné Einsteinovy rovnice, M3 dává WEP, M2 dává diff inv + LLI. Žádná odchylka v Solar System testech.

Cassini measurement $|γ - 1| < 2.3 \times 10^{-5}$ (Bertotti et al. 2003) konzistentní s KRT.

IX.3 Background independence

KRT je background-independent (Rovelli 2004 Quantum Gravity §2): plná akce $S_{\text{full}}[g, \tau]$ nemá fixní background metric; $g$ i $\tau$ jsou dynamické pole. Diff inv spacetime je důsledek M0. To je strukturně konzistentní s LQG a spin foam approaches, ale s odlišnou substrate (τ místo spin network).

Testable: žádná preferovaná frame detekovatelná na kosmologické úrovni. CMB isotropie ($\Delta T/T \sim 10^{-5}$) + polarizace ($\tau_{\text{reion}}$) konzistentní s background-independent dynamikou.

X. Paper-level důsledky

X.1 Apendix B §B.4 zápis

Po uzavření M2.a (kategoriální derivace) bude Apendix B obsahovat sekci:

§B.4 Diffeomorphism invariance as structural consequence of M0.

Diffeomorphism invariance is not postulated in KRT. It follows from M0 structural realism applied to the $\tau$-geometry. The full PSL(2,ℤ)-invariant action $S_{\text{full}}[g, \tau]$ is constructed from diff-covariant objects ($\sqrt{-g}, d^4 x$, $R$, $\tau$ as scalar, $g^{\mu\nu} \partial_\mu \tau_i \partial_\nu \tau_j$ as scalar), hence diff-invariant by construction. M0 extends this: observables factorize through isomorphisms of structures, and diffeomorphism is an isomorphism of the 4-manifold structure. Therefore diff-equivalent configurations $(g, \tau)$ and $(\phi^ g, \phi^* \tau)$ are physically identical — the hole argument is resolved structurally. The Bianchi identity $\nabla^\mu G_{\mu\nu} = 0$ and stress-energy conservation $\nabla^\mu T_{\mu\nu}^{(\tau)} = 0$ are consequences, not axioms. [Functor derivation via P6 RefDom → FuchsAction pending as M2.a.]*

X.2 Paper v1.3.8 → v1.3.9 update

§Open problems bod 13 (diff invariance):

  • v1.3.8: „Diff invariance is assumed as per standard GR; derivation from M0 + τ-geometry is open problem."
  • v1.3.9 (po M2): „Diff invariance is a theorem from M0 applied to τ-geometry. Formal categorial derivation via P6 functor RefDom → FuchsAction pending as M2.a."

X.3 Public layer alignment

Public layer theory.yrx.cz (aktuálně v1.0) je 4-axiomový pre-M0 archaický soubor. Po M2 closure + v1.3.9 paper bude public layer update trigger (separate issue per p22-apendix-b-plan.md §I.2 bod 1 reviewer feedback).

XI. Revision history

2026-04-21 (v1.0, pozdě večer +4h). Esej napsaná po M1 (p22-m1-einstein-equations.md) + M3 (p22-m3-equivalence-principle.md) closures jako další M v P22 plánu. Strukturní argument:

  • Diff inv je důsledek M0 aplikovaného na τ-geometrii, ne nezávislý axiom.
  • τ je scalar pod diff; plná akce $S_{\text{full}}[g, \tau]$ je diff-invariantní konstrukčně.
  • Hole argument řešen strukturálně přes M0 (silnější než relacionalismus → strukturalismus).
  • Bianchi identita je teorém z diff inv akce, která je teorém z M0.
  • Globální PSL(2,ℤ) na target $\mathbb{H}^2$ × lokální Diff(M) na source $M$ × lokální Spin(1,3) na $TM$: tři symetrie na třech prostorech, nezaměňovat.

Otevřené:

  • M2.a — formální kategoriální derivace přes P6 funktor RefDom → FuchsAction. Odhad 2–6 týdnů.
  • M2.b — lokální PSL(2,ℤ) gauging jako separate question (topological defects, instanton-like structures). Odhad 3–12 měsíců.
  • M2.c — gauge fixing + BRST v path integral. Standard method applicable, odhad 4–12 týdnů.

M2 strukturně 🟢 uzavřeno; M2.a pending 🟡. Další v P22 plánu: M4 (Schwarzschild jako řešení), M5 (gravitační vlny jako ℍ-módy), M6 (Apendix B final zápis).

XII. Reference

  • Einstein, A. (1915). Die Feldgleichungen der Gravitation. Sitzungsberichte der Preussischen Akademie der Wissenschaften.
  • Earman, J. & Norton, J. (1987). What price spacetime substantivalism? The hole story. British Journal for the Philosophy of Science 38(4): 515–525.
  • Misner, C. W., Thorne, K. S., & Wheeler, J. A. (1973). Gravitation. W. H. Freeman. §21, §35.
  • Wald, R. M. (1984). General Relativity. University of Chicago Press. §E.
  • Rovelli, C. (2004). Quantum Gravity. Cambridge University Press. §2 (background independence), §3.
  • Will, C. M. (2014). Theory and Experiment in Gravitational Physics. 2nd ed., Cambridge University Press. §2 (EEP), §4 (PPN), §5 (gravitational waves).
  • Mac Lane, S. (1971). Categories for the Working Mathematician. Springer.
  • Awodey, S. (2010). Category Theory. 2nd ed., Oxford University Press.
  • Barr, M. & Wells, C. (1990). Category Theory for Computing Science. Prentice Hall.
  • Weinberg, S. (1996). Quantum Theory of Fields, Vol. II: Modern Applications. Cambridge University Press. §15 (BRST).
  • Henneaux, M. & Teitelboim, C. (1992). Quantization of Gauge Systems. Princeton University Press.
  • Bertotti, B., Iess, L., & Tortora, P. (2003). A test of general relativity using radio links with the Cassini spacecraft. Nature 425: 374–376.
  • Korpus: p22-apendix-b-plan.md, p22-m1-einstein-equations.md, p22-m3-equivalence-principle.md, proc-psl2z.md, ccc-substrat.md, kategorie-preaxiom.md, lawvere-23-derivace.md, paper-draft-v1.md, dirac-jako-h-schrodinger.md, ricci-theorem-3.md, eom-odvozeni.md.
← všechny poznámky