Az (20.179) egyenlet meghatározza η-t az AAH-nál, és az alábbiakban bizonyítjuk, hogy η csak egy értéket vesz fel (π, 2π) tartományban minden (z, x, y) értékre. Az egyenlet úgy jön létre, hogy a NRR-t (majdnem radiális sugarat) követjük, amely a (20.163) egyenletet teljesíti, miközben x és y állandóak maradnak. Az AAH-nál η meghatározása tehát nem csupán matematikai érdeklődést érdemel, hanem kulcsszerepet játszik a téridő geometriai tulajdonságainak megértésében.

A (20.179) egyenletben szereplő mennyiségek közül az egyik legfontosabb a t(η) függvény viselkedése, amely monoton növekvő a (0, 2π) tartományban. Ez azt jelenti, hogy minden egyes (z, x, y) értékre η1 < η2 → t(η1) < t(η2) érvényes. Ha feltételezzük, hogy (20.179) több megoldással rendelkezik η-ra egy adott (z, x, y) esetén, a megoldások η1, η2, ..., ηk jelölhetők, ahol η1 < η2 < ... < ηk. Mivel a t(η) függvény monoton nő, a z(t) függvény két különböző t1, t2 pillanatban való egybeesése ellentmondásos eredményhez vezetne, így kizárt, hogy több megoldás létezzen. Ez tehát azt jelenti, hogy η-nek csak egyetlen megoldása van az adott (z, x, y) esetén.

Ez az egyedi meghatározás kulcsfontosságú a téridő geometriai struktúrájának megértésében, mivel a fenti analízis segít eldönteni, hogy mikor és hol találkozik a NRR az AAH-val, és milyen koherenciát mutat a folyamat során a térbeli változók viselkedése.

A további elemzések során az egyenletek egyszerűsítése lehetővé teszi a koherens téridő-modellek számításait, például a (20.180) egyenletben szereplő t(M)AAH értékeinek meghatározását. Az analitikus számítások és a numerikus programok közötti megbízhatóság kérdése, különösen a határértékek kiszámításánál, rendkívül fontos a megfelelő téridő-modellek felállításában.

A (20.179) egyenlet egy fontos további megfigyelése, hogy a határértékek számítása során M → 0 esetén η viselkedése kulcsfontosságú. Itt a (24.57) egyenlet mutatja, hogy a határérték 0-ra megy η = 0 és η = 2π esetén, amely a téridő struktúrájában különleges helyeknek számítanak. Az AAH ezen határértéke az időtérbeli helyzetek precíz leírását adja, beleértve a Big Crunch helyét is.

Ezek az analízisek és számítások nem csupán a kozmológiai modellek szempontjából fontosak, hanem a modern asztrofizikai kutatásokban is, mivel az ilyen típusú egyenletek segítenek megérteni a fekete lyukak és egyéb gravitációs objektumok viselkedését.

A geometriai modellezés során a kozmikus struktúrák, mint például a Kruskal-Szekeres féle fúrt alagutak, kulcsszerepet játszanak a megfelelő téridő-konfigurációk felismerésében. Az ilyen típusú különleges esetek, mint a nyak vagy a ϵ = 0 pontok, figyelmeztetnek arra, hogy a fizikai valóság nem csupán lineáris és egyszerűen modellezhető; az egyes elméleti modellek alaposan kidolgozott matematikai keretét kell figyelembe venni a számítások során.

Ezeket a lépéseket követve, és figyelembe véve a téridő egyedi geometriáját, lehetséges az AAH pontos meghatározása és az arra vonatkozó egyedi megoldás végrehajtása. Az egyes paraméterek és a hozzájuk tartozó koordinátatranszformációk mélyebb megértése nélkülözhetetlen a kozmológiai és asztrofizikai kutatásokban.

A kovariáns vektorok és a Weyl-tenzor spinor képe

A kovariáns vektor vα képe a következő módon van definiálva: vȦB = vα gαȦB (11.6). A vȦB egy Hermitikus spinor, amely egy skaláris a koordinátatranszformációk szempontjából a sokaságon. Mivel a gαȦB a Hermitikus 2×2-es mátrixok terében vett bázis, a vȦB e bázisra való felbontásának együtthatói egyértelműen meghatározottak, ezért létezik egy inverz lineáris leképezés vȦB és vα között; ezt az inverz leképezést az alábbi módon jelöljük: vα = gȦB vȦB (17.2). Mivel ez bármely vektor vα és spinor vȦB esetén érvényes, a Pauli mátrixoknak és azok reciprok mátrixainak gαȦB az alábbi tulajdonságokkal kell rendelkezniük:

  1. gαȦB gβȦB = δβα.

  2. g2αĊD gαȦB = δȦĊ δB D.

Az előzőek igazolásához szükséges a Pauli mátrixok explicitebb reprezentációja a Minkowski téridőben. A Pauli mátrixok bármely Hermitikus 2×2-es mátrixbázisként definiálhatók, de a hagyomány szerint a sík M[i(nkowski) sokaság esetén] az alábbi módon definiáljuk őket:

ηiA˙B=(1001),(0ii0).η_{iȦB} =
\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}, \quad \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}.

A Minkowski térben mindig található egy e iα bázis, i és α = 0, 1, 2, 3, amely biztosítja, hogy g α αβ ei e β j = ηij, ahol ηij a Minkowski-metrika (lásd a 9. fejezetet). Így a Minkowski térbeli vektorok a megfelelő görbült térbeli vektormezőkké alakíthatók az e αi leképezés alapján: a Minkowski térbeli vektor vi képe a görbült térben vα = e α vii. Következésképpen a Pauli mátrixok görbült térben, a gαβ metrikával a következő módon vannak definiálva:

gαA˙B=eαηiA˙B.gαȦB = eα ηiȦB.

Példa: A Schwarzschild-metrika esetén, amely a következőképpen van kifejezve:

ds2=dt2(12mr)1dr2r2dϑ2+sin2ϑdφ2,ds^2 = dt^2 - \left( 1 - \frac{2m}{r} \right)^{ -1} dr^2 - r^2 d\vartheta^2 + \sin^2 \vartheta d\varphi^2,

a megfelelő ortonormált kovariáns vektorbázis, amely az (11.11) metrikát a Minkowski metrikává transzformálja, az alábbi:

e0=(112mr,0,0,0),e1=(0,112mr,0,0),e0 = \left( \frac{1}{\sqrt{1 - \frac{2m}{r}}}, 0, 0, 0 \right), \quad e1 = \left( 0, \frac{1}{\sqrt{1 - \frac{2m}{r}}}, 0, 0 \right),
e2=(0,0,1r,0),e3=(0,0,0,1rsinϑ).e2 = \left( 0, 0, \frac{1}{r}, 0 \right), \quad e3 = \left( 0, 0, 0, \frac{1}{r \sin \vartheta} \right).

A továbbiakban részletesen foglalkozunk annak igazolásával, hogy a (11.6) és (11.8) közötti notáció önkonzisztens.

Most vizsgáljuk meg az ϵṘṠ g αṘA g βṠB kifejezést, amelyet az αβ szimmetrikus és az αβ antiszimmetrikus részre bontunk:

AαβAB=ϵ(gαR˙AβS˙B+gβR˙AαS˙B),AαβAB = ϵ(gαṘA βṠB + gβṘA αṠB),
SαβAB=ϵαR˙AβS˙BgβR˙gAαS˙B.SαβAB = ϵαṘA βṠB gβṘ g − AαṠB.

Ez a bontás megmutatja, hogy AαβAB antiszimmetrikus AB-re, míg SαβAB szimmetrikus AB-re. Az antiszimmetrikus objektumok, mint például AB és ϵAB, a 2 dimenziós vektortérben mindig arányosak ϵAB-vel. Ezért AαβAB = Λαβ ϵAB, ahol Λαβ az inverz metrikus tenzorral azonos.

A metrikának spinor transzformációk szempontjából skalárnak kell lennie, mivel a Levi-Civita szimbólumok súlyokat hordoznak, a Pauli mátrixoknak spinor sűrűségeket kell képviselniük, amelyek súlya w = −1/2. Az SαβAB egy spin-tenzor, amely a {α, β} tekintetében valódi tenzor, de spinor sűrűség w = −1-t jelent. Az SαβAB = S[αβ]AB = Sαβ(AB) tulajdonságok lehetővé teszik, hogy antiszimmetrikus tenzorokat spinorokká alakítsunk. A spin-tensorok további tulajdonságai a következők:

SαβABSαβCD=4δACδBD+δADδBC,SαβAB SαβCD = 4 δAC δBD + δAD δBC,
SABγαβSδAB+SA˙B˙γδδαβSγA˙B˙=4δαβ.SAB γαβ SδAB + S ȦḂ γδ δαβ Sγ ȦḂ = 4 δαβ.

A nullvektor spinor képe különleges tulajdonságokkal rendelkezik. Legyen kα egy nullvektor, akkor kαkα = 0, amely (11.8) szerint azt jelenti, hogy a spinor képnek kȦBkȦB = 0 kell teljesítenie. Az ϵ szimbólumok miatt kȦBkȦB det|kȦBkȦB| = 0. Ezért létezik egy spinor, amely megfelel a nullvektornak, amely kȦB = kȦkB, és a kȦ csak fázis szerint van meghatározva.

A Weyl-tenzor spinor képe az alábbiak szerint van definiálva:

CABCD=SαβγδABSCDCαβγδ.CABCD = Sαβ γδ ABS CDCαβγδ.

A Weyl-tenzor tulajdonságait figyelembe véve, az alábbi egyszerűsített eredményre jutunk:

CABCD=C(ABCD).CABCD = C(ABCD).

Ez a szimmetria megőrzi a Weyl-tenzor komplex identitásait.

A Petrov osztályozás a következő 4-lineáris formával kezdődik:

Ω(ζ)=CABCDζAζBζCζD,Ω(ζ) = CABCD ζA ζB ζC ζD,

ahol ζA egy tetszőleges spinor. Az Ω(ζ) kifejezés egy negyedik fokú polinommá bomlik, amelynek gyökei a Debever-spinorok, azaz a Weyl-tenzor fő spinorai. Ezek az azonos szimmetriával rendelkező spinorok a Weyl-tenzor jellemzőit biztosítják a Petrov-típusok osztályozásánál.

Miként oldották meg az inflációs modellek a "horizont problémát" és a "laposság problémát"?

A kozmológiai modellek egyik legérdekesebb kérdése, hogy miként magyarázzák a kezdeti univerzum állapotát és annak fejlődését. Az inflációs modellek, amelyek az 1980-as évek elején nyertek teret, számos olyan problémát oldottak meg, amelyek a hagyományos Robertson-Walker modellekben rejlő anomáliákhoz kapcsolódtak. Két kulcsfontosságú probléma, amelyek az inflációs modellek előzményei voltak, a „laposság probléma” és a „horizont probléma”.

A laposság problémája azzal kapcsolatos, hogy a világmindenség bármely modelljének kezdeti állapota során a sűrűségnek rendkívül közel kellett lennie a kritikus értékhez ahhoz, hogy ma egyáltalán megfigyelhető legyen a hatalmas univerzum szélessége. A teória szerint, ha az univerzum a Big Bang után egyetlen, „lapos” modellként fejlődött volna, akkor rendkívül finomhangolt kezdeti körülményekre lett volna szükség, hogy a világegyetem elérje a ma ismert szerkezetet. A problémát az okozza, hogy a kezdeti sűrűségnek rendkívül pontosan a kritikus értékhez kellett igazodnia, különben az univerzum bármely mértékű eltérése a jelenlegi sűrűségtől elképzelhetetlenné tette volna a világmindenség mai állapotát. Ez a kérdés az inflációs modellek szerint a korai univerzum rendkívül gyors tágulásával oldódott meg, amely az univerzum különböző részeit rendkívül gyors ütemben egyesítette.

A horizont probléma már egy másik szintet képvisel. Az univerzum tágulása miatt, az észlelt kozmikus háttérsugárzás (CMB) minden egyes irányból azonos hőmérsékletet mutat. Azonban a kozmológiai modellek szerint az egyes táguló téridő régiók között, amelyek különböző helyekről származó fényt bocsátanak ki, nem volt elég idő ahhoz, hogy kölcsönhatásba lépjenek és így egyensúlyba kerüljenek a hőmérsékletük. A horizont probléma tehát arra utal, hogy miért látunk egyenlő hőmérsékletű kozmikus háttérsugárzást olyan távoli területekről, amelyek nem voltak képesek kölcsönhatásba lépni a korai univerzumban.

Az inflációs modellek válasza erre a problémára az volt, hogy az ősrobbanás utáni kezdeti időszakban egy rendkívül gyors tágulás zajlott, amely lehetővé tette, hogy a kozmikus háttérsugárzás minden területéről származó fény információja gyorsabban elérje egymást. Ez az inflációs periódus kitöltötte a téridőt, és lehetővé tette, hogy a különböző részek a tágulás hatására egyesüljenek, így egyensúlyba kerültek, és a CMB-hez kapcsolódó hőmérséklet egyenletessége megmaradt. Az infláció tehát a horizont problémát úgy oldotta meg, hogy az univerzum egyes régióinak térbeli elrendeződése lehetővé tette számukra, hogy azonos információt osszanak meg egymással, még akkor is, ha nem volt közvetlen kapcsolatuk.

A két probléma tehát, bár első ránézésre nehezen érthetőnek tűnhet, valójában a kozmikus evolúció alapvető aspektusainak magyarázatához vezetett. Az inflációs modellek nem csupán egy elméleti megoldást kínálnak, hanem egy új módot is, ahogyan a világegyetem fejlődése és kezdeti állapotai leírhatók a táguló téridő keretein belül.

A laposság problémája és a horizont probléma megoldása révén az inflációs modellek képesek voltak a kozmológiai egyensúly megteremtésére, amely egyúttal válaszokat ad arra, hogy miért láthatjuk ugyanazt a kozmikus háttérsugárzást minden irányból az univerzumban, és hogyan sikerült az univerzumot úgy formálni, hogy az összes megfigyelhető jelenség, amit tapasztalunk, konzisztens legyen.

Fontos megérteni, hogy bár az inflációs modellek rendkívül sikeresek voltak a kosmológiai anomáliák magyarázatában, azok nem mentesek minden vitától. Az inflációs időszak kezdeti szakaszai és azok részletes mechanizmusa még mindig intenzív kutatás tárgyát képezik. Különböző alternatív elméletek is felmerültek, amelyek az inflációt más módon próbálják magyarázni vagy alternatív megoldásokat kínálnak. A tudományos közösségben folytatott kutatások, mérések és modellek továbbra is fontos szerepet játszanak a kozmológiai elméletek fejlődésében, és ahogy újabb adatokat nyerünk, elképzelhető, hogy a jövőben további finomhangolásokra lesz szükség.

Miért van szerepe a geodézikusok expanziójának és szimmetriájának az R–W metrikákban?

Az R–W (Robertson-Walker) metrikák különböző reprezentációi a relativisztikus kozmológiában, különös figyelmet érdemelnek, mivel számos alkalmazásuk van a táguló univerzum modellezésében. Az R–W metrikák szerepe a kozmológiai modellekben alapvető, mivel ezek a metrikák lehetővé teszik a különböző geometriák, mint a gömbi, sík és hiperbólikus tágulások, vizsgálatát, amelyeket a kosmikus háttérsugárzás és más kozmológiai megfigyelések indokolnak.

A különböző reprezentációk, mint például a (17.1), (17.3), (17.5) és (17.7) formák, már jól ismertek a szakirodalomban. Azonban ezek mellett számos alternatív ábrázolás is létezik, amelyek a geodézikusok és azok tágulási jellemzőinek mélyebb megértését segítik elő. A leggyakoribb reprezentációk az alábbiak:

ds2=dt2R2(t)dr2+f2(r)dϑ2+sin2ϑdϕ2ds^2 = dt^2 - R^2(t) dr^2 + f^2(r) d\vartheta^2 + \sin^2 \vartheta d\phi^2

ahol f(r) három különböző formában létezik:

f(r)={sin(r)ha k>0,rha k=0,sinh(r)ha k<0.f(r) = \begin{cases} \sin(r) & \text{ha } k > 0, \\ r & \text{ha } k = 0, \\ \sinh(r) & \text{ha } k < 0.
\end{cases}

Az R–W metrikák ezen három változata különböző kozmológiai geometriákhoz vezet. Például, ha k>0k > 0, az egyes metrikák egy 3-szféra felét fedhetik le, és nem megfelelőek a geometriák vizsgálatához az egyenlítő közelében, ahol r=1/kr = 1/\sqrt{k}.

Egy másik érdekes forma akkor keletkezik, amikor a megoldások két kommutáló Killing-vektormezőt tartalmaznak. Ebben az esetben az alábbi mérettel ábrázolható a metrikát:

ds2=dt2R2(t)dx2+f2(x)(dy2+dz2)ds^2 = dt^2 - R^2(t) dx^2 + f^2(x) (dy^2 + dz^2)

Ez a forma segíthet a sík szimmetriával rendelkező tágulás modellezésében, ahol a görbület és a metrikák szimmetriája lehetővé teszi a legegyszerűbb modellek alkalmazását a különböző kozmológiai helyzetek vizsgálatára.

A metrikák további érdekes megjelenései a Goode–Wainwright (G–W) reprezentációiban figyelhetők meg, amelyeket a Szekeres-modellek adják. Az egyik ilyen forma a következőképpen néz ki:

ds2=dt2S2W2fν2(z)dz2+e2νdx2+dy2ds^2 = dt^2 - S^2 W^2 f^2_{\nu}(z) dz^2 + e^{2\nu} dx^2 + dy^2

Ebben az ábrázolásban ϵ\epsilon és kk tetszőleges állandók, míg a különböző függvények, mint S(t),f(z),a(z),b(z)S(t), f(z), a(z), b(z) és mások, a görbület és a metrikák specifikus tulajdonságait tükrözik. A metrikákban szereplő különböző függvények a kozmológiai tágulás különböző aspektusait reprezentálják, és ezek figyelembevételével biztosítható, hogy a metrikák megfeleljenek az adott szimmetriák és fizikai törvényeknek.

A Goode–Wainwright formák különösen hasznosak lehetnek a geodézikusok és azok viselkedésének vizsgálatában, mivel ezek a geodézikák a táguló univerzum szimmetriáihoz igazodnak, és segítenek megérteni, hogyan változik a téridő görbülete a különböző tágulási modellekben. Az ilyen típusú metrikák esetén a táguló univerzum görbülete és a geodézikák expanziója szoros kapcsolatban állnak, és az expanzió skálája fontos szerepet játszik a kozmikus háttérsugárzás és a galaxisok közötti távolságok változásának modellezésében.

Fontos, hogy a geodézikák viselkedését nemcsak az általános relativitáselmélet keretében, hanem a táguló univerzum különböző modelleiben is figyelembe vegyük. A tágulás, a geodézikák és a metrikák közötti összefüggések megértése elengedhetetlen a kozmológiai kutatásokban, mivel ezek alapvetően befolyásolják az univerzum tágulásának és az anyag eloszlásának vizsgálatát.

A különböző reprezentációk és a geodézikusok közötti kapcsolatok fontos szempontot adnak a modern kozmológia számára, mivel a kozmikus háttérsugárzás, a galaxisok mozgása, valamint a fekete lyukak és a sötét anyag vizsgálata során is alapvető szerepük van. Az ilyen típusú metrikák segítségével lehetőség nyílik a kozmikus geometriák pontosabb modellezésére, ami elengedhetetlen a jövőbeli kozmológiai elméletek és megfigyelések szempontjából.