V daném Riemannově prostoročase, kde jsou metrický tenzor gαβg_{\alpha\beta} a Riemannův tenzor RραβγR_{\rho\alpha\beta\gamma} funkcemi souřadnic {x}\{x\} v otevřených okolích libovolného nesingularního bodu, lze z rovnice (8.18) odvodit vztah, který nám umožňuje spočítat Killingovy vektorové pole Kγ;αβK_{\gamma; \alpha \beta} algebraicky, pokud je nám dáno Kγ(p0)K_{\gamma}(p_0). Pokud máme k dispozici i hodnotu Kγ;δ(p0)K_{\gamma; \delta}(p_0), můžeme zderivovat rovnice (8.22) a algebraicky spočítat Kγ;αβ(p0)K_{\gamma; \alpha \beta}(p_0). Tímto způsobem, po několika derivacích, získáme všechny kovariantní derivace KγK_{\gamma} v bodě p0p_0. Poté, pomocí Taylorovy řady, můžeme určit hodnoty Kγ(p)K_{\gamma}(p) v okolí bodu p0p_0, pokud je řada konvergentní.

Po každé derivaci se však objeví nový derivát Riemannova tenzoru, což znamená, že pro zachování konvergence řady musí být Riemannův tenzor analytický v daném okolí. Z tohoto důvodu je jasné, že hodnoty Kγ(p0)K_{\gamma}(p_0) a Kγ;δ(p0)K_{\gamma; \delta}(p_0) jsou potřebné pro unikátní určení Kγ(p)K_{\gamma}(p). V nn-dimenzionálním prostoročase jsou tedy Kγ;δ(p0)K_{\gamma; \delta}(p_0) konstanty, zatímco Kγ(p0)K_{\gamma}(p_0) jsou nn nezávislé konstanty. Taylorova řada pro Kγ(p)K_{\gamma}(p) bude obsahovat maximálně 12n(n+1)\frac{1}{2}n(n + 1) libovolných konstant, které jsou násobeny funkcemi závislými na souřadnicích {x}\{x\}. Tato konstanta bude představovat bázi, jejíž počet ne přesáhne 12n(n+1)\frac{1}{2}n(n + 1).

Pro nalezení báze Killingových vektorových polí pro metrický tenzor existuje následující postup:

  1. Řešit Killingovy rovnice. Obecné řešení bude závislé na N12n(n+1)N \leq \frac{1}{2}n(n + 1) libovolných konstantách, kμ=Kμ(A1,,AN,{x})k_{\mu} = K_{\mu}(A_1, \dots, A_N, \{x\}).

  2. Spočítat bázi definovanou jako KμAi\frac{\partial K_{\mu}}{\partial A_i}, kde i=1,,Ni = 1, \dots, N. Každé kμk_{\mu} generuje jedno-parametrovou subgroupu symetrií, jak je diskutováno v předchozí části.

Tento postup ukazuje, že i když hovoříme o Killingových vektorech, ve skutečnosti jde o vektorová pole, jejichž složky jsou funkce, což znamená, že počet lineárně nezávislých Killingových vektorových polí může být větší než dimenze manifoldu. Například v plochém Riemannově prostoru je počet lineárně nezávislých Killingových vektorů maximální a rovná se 12n(n+1)\frac{1}{2}n(n + 1). Pro jiné tenzorové pole než metrický tenzor nemusí báze existovat, což znamená, že obecné řešení invariančních rovnic bude obsahovat libovolné funkce namísto konstant.

Pokud uvažujeme Killingovo vektorové pole podél geodetiky, ukazuje se, že toto pole může být vnímáno jako pole odchylky geodetiky. Představme si geodetickou čáru GG s tečněm α\ell_{\alpha}, kde platí ρα;ρ=0\ell_{\rho} \ell_{\alpha; \rho} = 0. Pokud zkontrahujeme rovnici (8.22) s αβ\ell_{\alpha} \ell_{\beta}, dostaneme rovnice pro geodetickou odchylku, což ukazuje, že Killingovo vektorové pole podél geodetiky je v tomto případě polem odchylky geodetiky.

Důležitým poznatkem je, že při aplikaci invariantních transformací na jiné tenzorové pole, než je metrický tenzor, jsou podmínky invariance odlišné. Pro kontravariantní vektorové pole, pokud je Vα(x)=Vα(x)V'_{\alpha}(x) = V_{\alpha}(x), dostaneme vztah pro generátor transformační skupiny, což je klíčové pro výpočty invariancí a symetrií v různých geometriích.

Je také nezbytné pochopit, že všechny výše uvedené rovnice a výpočty lze použít pro analyzování symetrií nejen v geometrických prostorech, ale i pro tensorová pole, kde se může vyskytovat více či méně komplexních transformací. Tato teorie je základem pro pokročilou analýzu v matematické fyzice, zejména v teoriích gravitace a teoretických modelů vesmíru, kde symetrie hrají klíčovou roli.

Jak horizonty a červený posuv ovlivňují naše pochopení vesmíru?

V současném kosmologickém výzkumu se používá Robertson-Walker (R–W) metrika, která popisuje homogenní a izotropní prostor-čas. Tato metrika je klíčová pro modely, které zohledňují různé vlastnosti expanze vesmíru, jako je například zrychlený růst nebo vliv temné hmoty a temné energie. V rámci těchto modelů se setkáváme s několika důležitými koncepty, mezi které patří červený posuv a horizonty. Oba tyto jevy mají zásadní vliv na naše porozumění dynamice vesmíru.

Představme si, že pozorovatel je umístěn v centru symetrie prostor-času, což znamená, že každý paprsek světla, který přijme nebo vyšle, je radiální. V takovémto modelu (například v R–W metrice) to není žádné omezení, protože díky homogenitě platí, že každý bod ve vesmíru má stejnou roli centrálního bodu symetrie. Tento přístup se uplatňuje při výpočtech vzdáleností mezi pozorovatelem a zdrojem světla, kde na základě metriky získáme výsledek, že vzdálenost pozorovatele k zdroji světla, označovaná jako rOr_O, je dána vztahem:

rO=rRray,r_O = r_R |_{\text{ray}},

kde rRrayr_R |_{\text{ray}} je vzdálenost podél světelného paprsku, který spojuje zdroj se pozorovatelem.

Pro výpočet této vzdálenosti musíme vyřešit rovnici pro radiální null geodetické v dané metrice. Začneme od bodu, kde se pozorovatel nachází, a sledujeme geodetickou křivku směrem k minulosti, až k místu, kde byl světelný paprsek vyslán. Z tohoto výpočtu získáme důležitou rovnici, která umožňuje propojit časové intervaly a vzdálenosti v závislosti na parametrech expanze a geometrie vesmíru.

Když připočteme k výpočtu červený posuv zz, zjistíme, že závislost mezi vzdáleností a červeným posuvem je neustále ovlivněna složkami, jako jsou hustota hmoty, zakřivení prostoru a temná energie. Vzorec pro luminositní vzdálenost se pak může vyjádřit jako:

DL(z)=1+zH00zdzΩm(1+z)3+Ωk(1+z)2+ΩΛ,D_L(z) = \frac{1 + z}{H_0} \int_0^z \frac{dz'}{ \sqrt{\Omega_m (1+z')^3 + \Omega_k (1+z')^2 + \Omega_\Lambda}},

kde H0H_0 je Hubbleova konstanta a Ωm\Omega_m, Ωk\Omega_k, ΩΛ\Omega_\Lambda jsou parametry odpovídající hustotám hmoty, zakřivení a temné energie. Tento vzorec nám dává jasnou představu o tom, jak se vzdálenosti k vzdáleným objektům mění v závislosti na červeném posuvu.

Důležitým tématem, které z tohoto vyplývá, je zrychlená expanze vesmíru. Historie tohoto fenoménu sahá až k odhadům, které v 60. letech 20. století prováděl Allan Sandage. Ten popsal, jak detekce změny Hubbleova parametru může potvrdit nebo vyvrátit hypotézu o zrychlené expanze. Měření změny tohoto parametru v čase, známé jako "redshift drift" nebo drift červeného posuvu, je dnes považováno za možný způsob potvrzení této hypotézy.

Pokud by se ukázalo, že tempo změny Hubbleova parametru je pozitivní (tj. dz/dt>0dz/dt > 0), znamenalo by to, že vesmír se skutečně rozpíná zrychleně. Naopak, pokud by bylo zjištěno, že dz/dt<0dz/dt < 0 pro všechny pozorované objekty, pak by to znamenalo, že expanze není zrychlená a může mít dokonce zpomalující charakter. Tento test je zásadní pro porozumění dynamice vesmíru.

Další významný aspekt, který se v tomto kontextu objevuje, jsou horizonty, specifické hranice v prostor-čase, které omezují naše pozorovací možnosti. V metrikách Robertson-Walker existují horizonty, které dělí vesmír na části, které jsou pro pozorovatele buď dosažitelné, nebo nikdy nebudou pozorovány. Tento fenomén se objevuje především v modelech, které popisují zrychlenou expanzi vesmíru. Horizonty lze rozdělit na dva hlavní typy: událostní horizont, který označuje hranici mezi událostmi, které mohou být pozorovány, a těmi, které nikdy nebudou, a částicový horizont, který dělí částice, které byly pozorovány, od těch, které ještě nebyly.

Horizonty jsou důsledkem expanze a zakřivení prostor-času, kde některé objekty (například galaxie nebo jiné vzdálené objekty) mohou být z našeho pohledu nikdy pozorovány. To znamená, že i když světlo z těchto objektů bylo emitováno, kvůli expanze vesmíru může být jejich pozorování v budoucnosti neuskutečnitelné. Tento jev má důležité důsledky pro naše chápání konečných limitů našich pozorování a pro vývoj teoretických modelů vesmíru.

Všechny tyto aspekty – červený posuv, drift Hubbleova parametru a horizonty – jsou vzájemně propojené a umožňují nám lepší porozumění tomu, jak vesmír funguje. Kromě toho je nezbytné si uvědomit, že různé metriky a modely vesmíru mohou poskytnout odlišné výsledky a interpretační rámce, což si musíme neustále ověřovat při testování na základě nových pozorování a experimentálních dat.