DIPLOMARBEIT
Die Regge-Wirkung
eines sphärischen
Friedmann-Universums
Autor: Arbeitsgruppe:Andrea Goertsches Prof. Dr. Gernot Münster
Münster, den 16.02.2010
In dieser korrigierten Version wurde Abschnitt 8.2 entfernt. Im Übrigen unter-scheidet sie sich nur geringfügig von der am 16.02.2010 im Prüfungssekretariateingereichten Arbeit. Die Verbesserungen betreffen im Wesentlichen explizite Zah-lenwerte.
Inhaltsverzeichnis
1. Einleitung 1
I. Voraussetzungen 3
2. Topologische Voraussetzungen 42.1. Triangulierungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.1.1. Definition eines Simplizialkomplexes . . . . . . . . . . . . . 42.1.2. Definition einer Triangulierung . . . . . . . . . . . . . . . . 5
2.2. Die verallgemeinerten Platonischen Körper . . . . . . . . . . . . . . 52.2.1. Schläfli-Symbol . . . . . . . . . . . . . . . . . . . . . . . . . 6
3. Differentialgeometrische Voraussetzungen 83.1. Tensoren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.1.1. Das Tensorprodukt . . . . . . . . . . . . . . . . . . . . . . . 83.1.2. Der metrische Tensor . . . . . . . . . . . . . . . . . . . . . . 103.1.3. Die kovariante Ableitung . . . . . . . . . . . . . . . . . . . . 113.1.4. Der Riemannsche Krümmungstensor . . . . . . . . . . . . . 12
4. Allgemeine Relativitätstheorie 144.1. Prinzipien der Allgemeinen Relativitätstheorie . . . . . . . . . . . . 14
4.1.1. Kosmologisches Prinzip . . . . . . . . . . . . . . . . . . . . 144.1.2. Äquivalenzprinzipien und allgemeine Kovarianz . . . . . . . 15
4.2. Die Einsteinschen Feldgleichungen . . . . . . . . . . . . . . . . . . 154.3. Die Einstein-Hilbert-Wirkung . . . . . . . . . . . . . . . . . . . . . 164.4. Friedmann-Universen . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.4.1. Das Robertson-Walker-Linienelement . . . . . . . . . . . . . 174.4.2. Zeitentwicklung der Friedmann-Universen . . . . . . . . . . 18
5. Der Regge-Kalkül 22
II. Die Regge-Wirkung eines statischen, sphärischen Friedmann-Universums 24
6. Die Wahl der Triangulierungen 256.1. Vorüberlegungen zur Einstein-Hilbert-Wirkung . . . . . . . . . . . 256.2. Die gewählten Simplizialkomplexe . . . . . . . . . . . . . . . . . . . 26
ii
Inhaltsverzeichnis iii
7. Die Regge-Wirkungen im statischen Fall 287.1. Gleichseitige Triangulierungen . . . . . . . . . . . . . . . . . . . . . 28
7.1.1. Die Regge-Wirkung . . . . . . . . . . . . . . . . . . . . . . . 287.2. Triangulierungen variabler Kantenlängen . . . . . . . . . . . . . . . 31
7.2.1. Definition der Bezeichnungen . . . . . . . . . . . . . . . . . 317.2.2. Variation der Kantenlängen des Tetraeders . . . . . . . . . 327.2.3. Die Regge-Wirkung . . . . . . . . . . . . . . . . . . . . . . . 35
III. Die Regge-Wirkung eines dynamischen, sphärischen Friedmann-Universums 36
8. Die Regge-Wirkungen im dynamischen Fall 378.1. Gleichseitige Triangulierungen . . . . . . . . . . . . . . . . . . . . . 37
8.1.1. Die Differenz der Ricci-Skalare Rg und Rγ . . . . . . . . . . 378.1.2. Die Regge-Wirkung . . . . . . . . . . . . . . . . . . . . . . . 408.1.3. Die alternative Regge-Wirkung . . . . . . . . . . . . . . . . 41
IV. Die resultierenden Bewegungsgleichungen 44
9. Die simplizialen Bewegungsgleichungen 459.1. Die simplizialen Bewegungsgleichungen der gleichseitigen Triangu-
lierungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459.2. Ausblick hinsichtlich der Bewegungsgleichungen der Triangulierun-
gen durch einen n-Zeller mit variabler Kantenlänge . . . . . . . . . 47
V. Anhang 49
A. Herleitungen 50A.1. Die Einstein-Hilbert-Wirkung . . . . . . . . . . . . . . . . . . . . . 50A.2. Die Regge-Wirkung . . . . . . . . . . . . . . . . . . . . . . . . . . . 52A.3. Schläflis notwendige Existenzbedingungen der verallgemeinerten Pla-
tonischen Körper . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
B. Existenzbedingungen eines n-Simplizes 60
C. Die benötigten charakteristischen Werte der Platonischen Körper 62
D. Die statischen Regge-Wirkungen 63
1. Einleitung
Die Problematik die Gravitation zu quantisieren ist ein seit vielen Jahren aktuel-les Thema der Forschung. Man möchte eine Theorie der Quantengravitation, dadie Allgemeine Relativitätstheorie beim Übergang zu quantenmechanischen Skalenihre Gültigkeit verliert. Sie ist also nicht geeignet, um beispielsweise den Urknalloder schwarze Löcher zu beschreiben. Da die Gravitation die Raumzeit als das dy-namische Feld und nicht nur als umgebenden Raum besitzt, unterscheidet sie sichwesentlich von den anderen elementaren Wechselwirkungen. Auf der anderen Sei-te sind alle diese Wechselwirkungen Eichtheorien und sind daher im Rahmen desWirkungsformalismus beschreibbar. Für die freie Gravitation ist diese Wirkung dieEinstein-Hilbert-Wirkung
SEH =∫M
12κ
(R(x)− 2Λ)√|g(x)|d4x
mit dem metrischen Tensor g(x), dem Ricci-Skalar R(x) und der kosmologischenKonstanten Λ und einer beliebigen randlosen Mannigfaltigkeit M als Integrati-onsgebiet. Die Simpliziale Quantengravitation ist ein Zugang, der dieser RaumzeitM durch Triangulieren eine Quantisierung aufzwingt. Der Ursprung dieser Sim-plizialen Quantengravitation ist der Regge-Kalkül, in welchem dem nur auf einerglatten Mannigfaltigkeit definierten Ricci-Skalar ein auf der Triangulierung distri-butionswertiges Analogon zugeordnet wird. Dies führt zu dem simplizialen Analo-gon der Einstein-Hilbert-Wirkung, der Regge-Wirkung. Im Rahmen dieser Arbeitwird als Integrationsgebiet ein Universum betrachtet, das topologisch einem sphä-rischen Friedmann-UniversumM = S3×R entspricht. Das sphärische Friedmann-Universum basiert auf der Verwendung des Robertson-Walker-Linienelementes,welches im leeren Raum nur einen dynamischen Freiheitsgrad, den Weltradius,besitzt. Dieses Universum kann also nur radialsymmetrisch expandieren bzw. kon-trahieren. Auf Grund der besonderen Form dieses metrischen Tensors g(x), hat dieDeterminante des auf den räumlichen Anteil eingeschränkten metrischen Tensorsden gleichen Wert, wie die Determinante des gesamten metrischen Tensors. Dies
1
2 Einleitung
ermöglicht eine unmittelbare Trennung des statischen und des dynamischen An-teils der Einstein-Hilbert-Wirkung und somit eine Anwendung des Regge-Kalkülsallein auf die räumliche Mannigfaltigkeit S3. Dies impliziert, dass die Zeit konti-nuierlich bleibt. Zur Anwendung des Regge-Kalküls auf die Oberfläche S3, mussdiese zunächst trianguliert werden. Hierzu werden im Wesentlichen genau die ver-allgemeinerten Platonischen Körper verwendet, deren Oberfläche gleichzeitig einenSimplizialkomplex bilden. Man beschränkt sich also erheblich auf die einfachstenTriangulierungen, die der Symmetrie der S3 gerecht werden. Diese Triangulierun-gen durch die verallgemeinerten Platonischen Körper ist auf Grund ihres Ursprungszunächst gleichseitig. Da allerdings nichts dagegen spricht die Kantenlängen, abge-sehen von den natürlichen geometrischen Einschränkungen, als beliebig variierbaranzunehmen, können durch diese Erweiterung auch nicht-radiale Deformationenbeschrieben werden. Somit sind alle Deformationen des Raumes, die die Topologienicht verändern, in der letzten Fassung der Regge-Wirkung enthalten.
2. Topologische Voraussetzungen
Die natürliche Approximation einer glatten zweidimensionalen Mannigfaltigkeit istein (beliebig feines) Gitter von Dreiecken, welches man daher anschaulich auchals Triangulierung bezeichnet. Das folgende Kapitel beschäftigt sich damit, dieseanschaulichen Begriffe abstrakt einzuführen.
2.1. Triangulierungen
Um von einer Triangulierung sprechen zu können, müssen zunächst ein paar Begriffedefiniert werden. Da im Rahmen dieser Arbeit nur Triangulierungen der Oberflä-che S3 der Vollkugel durchgeführt werden, reichen die Definitionen bezüglich einesumgebenden Rn von beliebiger endlicher Dimension n aus. Sie sind [Zie 2003] ent-nommen.
2.1.1. Definition eines Simplizialkomplexes
Definition (Simplex):
Ist V = v0, v1, . . . , vk ⊂ Rn eine Menge von k + 1 affin unabhängigen Punkten,so ist die konvexe Hülle
σk = conv v0, v1, . . . , vk =
k∑i=0
λivi ∈ Rn|λi ≥ 0,k∑i=0
λi = 1
ein k-Simplex. Die Simplizes τ = conv(G) für G ⊆ V heißen dann Seiten von σk.Desweiteren bezeichne σ ein Simplex beliebiger Dimension. Die Abbildung 2.1 zeigtzwei Beispiele von k-Simplizes.
Definition (Simplizialkomplex):
Ein (geometrischer) Simplizialkomplex K ist eine Menge von Simplizes in einemRN (für ein N ≥ 0), die folgende Eigenschaften erfüllt
• ∅ ∈ K
4
2.2 Die verallgemeinerten Platonischen Körper 5
Abbildung 2.1.: Beispiele von Simplizes aus [JoTh 2008, S.21]
• Für σ ∈ K liegen alle Seiten τ ⊆ σ in K
• Für σ, σ′ ∈ K ist auch σ ∩ σ′ eine Seite von σ und σ′.
Insbesondere bildet die Oberfläche jedes k-Simplizes einen (k − 1)-dimensionalenSimplizialkomplex.
2.1.2. Definition einer Triangulierung
Definition (Triangulierung):
Eine Triangulierung eines kompakten topologischen Raumes X ist ein endlichersimplizialer Komplex K zusammen mit einem Homöomorphismus
τ : K∼=−→ X.
Die Anzahl i-dimensionaler Teilsimplizes der Triangulierung wird mit Ni(T ) be-zeichnet.
2.2. Die verallgemeinerten Platonischen Körper
Der Grund verallgemeinerte Platonische Körper zu betrachten ist der, dass eini-ge von ihnen eine Oberfläche haben, die einen Simplizialkomplex bilden. In dreiDimensionen hat man die folgenden bekannten Platonischen Körper: Tetraeder,Oktaeder, Hexaeder bzw. Würfel, Ikosaeder, Dodekaeder. Sie sind dadurch cha-rakterisiert, dass sich ihre Oberfläche aus gleichseitigen, identischen n-Ecken sozusammensetzt, dass an jeder Ecke gleich viele n-Ecke zusammentreffen. DieseCharakterisierung lässt sich in höheren Dimensionen analog fortsetzen und man
6 Topologische Voraussetzungen
erhält die verallgemeinerten Platonischen Körpern. Um die Sprache der regelmä-ßigen, konvexen Polyeder in allen abzählbaren Dimensionen erheblich zu vereinfa-chen, verwendet man die durch Ludwig Schläfli eingeführten Schläfli-Symbole, dieauf dieser eindeutigen Charakterisierung beruhen.
2.2.1. Schläfli-Symbol
Die Schläfli-Symbole lauten p, q, r, · · · mit p, q, r · · · ∈ N für die hier relevantenPolyeder. Wir werden gleich sehen, dass man für einen m-dimensionalen Polyederm − 1 Einträge benötigt. Naheliegender Weise verwendet man im Fall von zweiDimensionen, also für ein n-Eck, die Angabe der Kantenanzahl p = n. Injeder höheren Dimension k gibt der hinzukommende Eintrag die Anzahl (k − 1)-dimensionaler Polyeder an, die sich an den (k − 3)-dimensionalen Teilkörpern be-rühren. Im Falle von drei Dimensionen, also einem Schläfli-Symbol der Form p, q,bedeutet der zweite Eintrag q demnach die Anzahl p-Ecke, die sich an den Vertizesberühren.Unter Berücksichtigung rein geometrischer Gründe (vgl. Anhang B) erhält manbis zur Dimension 4 die Existenz von genau den folgenden regelmäßigen, konve-xen Polyedern, die in Tabelle 2.1 angegeben sind. Auf Grund der Regelmäßigkeitdieser Polyeder lassen sich eine Reihe geometrischer Größen berechnen, die natür-lich teilweise Funktionen der Kantenlänge l sind. Zu diesen geometrischen Größengehören die Anzahl k-dimensionaler Teilsimplizes Nk, das Volumen V (l), der Flä-chenöffnungswinkel α und der Radius R(l) der Umkugel, die alle Vertizes tangiert.Aus der Tabelle 2.1 lässt sich ablesen, dass nur die Oberfläche des 5-, des 16- unddes 600-Zeller aus Tetraedern 3, 3 besteht und somit ein Simplizialkomplex ist.Die für die gewählten Triangulierungen notwendigen Werte dieser drei Zeller sindim Anhang C und sind [Cox 1973, S.292f] entnommen. Zusätzlich befinden sichdie Werte des 24-Zellers in dieser Tabelle, da dieser ebenfalls für eine gleichseitigeTriangulierung verwendet werden kann.
2.2 Die verallgemeinerten Platonischen Körper 7
Dimension n Polyeder Schläfli-Symbol
2 n-Eck n
3 Tetraeder 3, 33 Oktaeder 3, 43 Hexaeder 4, 33 Ikosaeder 3, 53 Dodekaeder 5, 3
4 5-Zeller 3, 3, 34 16-Zeller 3, 3, 44 Tesseract 4, 3, 34 24-Zeller 3, 4, 34 120-Zeller 5, 3, 34 600-Zeller 3, 3, 5
Tabelle 2.1.: Die verallgemeinerten Platonischen Körper bis zur Dimension 4 aus[Cox 1973]
3. DifferentialgeometrischeVoraussetzungen
3.1. Tensoren
Das folgende Kapitel beschäftigt sich mit Tensoren, den zentralen mathemati-schen Objekten der Allgemeinen Relativitätstheorie, und ist im Wesentlichen an[Brö 2003, S.212ff] angelehnt.
3.1.1. Das Tensorprodukt
Seien V , W zwei K-Vektorräume. Dann ist das Tensorprodukt von V und W einVektorraum V ⊗W über K zusammen mit einer bilinearen Abbildung
τ⊗ : V ×W → V ⊗W, (v, w) 7→ v ⊗ w,
die die folgende universelle Eigenschaft erfüllt:Sei X ein weiterer K-Vektorraum, dann existiert zu jeder bilinearen Abbildung
α : V ×W → X,
genau eine lineare Abbildung ϕα : V ⊗W → X, so dass das folgende Diagrammkommutiert:
V ×Wτ⊗ //
α&&LLLLLLLLLLL V ⊗Wϕα
X
d.h. α = ϕα τ⊗.Seien (e1, · · · , en), (e′1, · · · , e′n) Basen von V bzw. W , dann ist ei ⊗ e′j eine Basisvon V ⊗W , die die universelle Eigenschaft respektiert. Die Elemente von V ⊗Wheißen Tensoren.Für einen Koordinatenwechsel, der durch die linearen Abbildungen
β : V → V , γ : W → W
8
3.1 Tensoren 9
gegeben ist, wird eine lineare Abbildung
(β ⊗ γ) : V ⊗W → V ⊗ W
induziert, indem die universelle Eigenschaft auf X = V ⊗ W und α = τ⊗ (β × γ)
angewendet wird, d.h. man erhält das Diagramm:
(v, w)_
V ×W
(β×γ)
τ⊗// V ⊗W
(β⊗γ)
(β(v), γ(w)) V × W τ⊗// V ⊗ W
Diese linearen Abbildungen lassen sich auch in Basisdarstellung angeben. Dafürseien β und γ in Koordinaten ohne Einsteinsche Summenkonvention durch
β(ei) =∑k
bki ek, γ(e′j) =∑l
clj e′l
gegeben. Es folgt also erst
(β ⊗ γ)(ei ⊗ e′j) =∑k,l
bki clj ek ⊗ e′l
und damit
(β ⊗ γ)
∑i,j
Aijei ⊗ ej
=∑k,l
∑i,j
bki cljA
ij
ek ⊗ e′l.
Die Transformation der Koordinaten ist also
(β ⊗ γ) : (Aij)→
∑i,j
bki cljA
ij
(3.1.1)
Dieses Transformationsverhalten der Aij nennt man kontravariant.Da der Dualraum V ∗ eines K-Vektorraums V als Menge aller K-linearen Abbil-dungen von V in den zugrunde liegenden Körper K, d.h.
V ∗ := HomK(V,K),
selbst ein Vektorraum ist, lässt sich das Tensorprodukt auch auf dem Dualraumdefinieren. Im Falle des Vektorraums V der Dimension n mit Basis (e1, . . . , en)
lässt sich die duale Basis (e1, . . . , en) durch
ei(ej) := δij
10 Differentialgeometrische Voraussetzungen
definieren. Durch die entgegengesetzte Indexstellung der Basiselemente erhält manfür das Transformationsverhalten der Elemente des Dualraums ebenfalls die entge-gengesetzte Indexstellung
(Aij)→
∑i,j
bikcjlAij
zu Gleichung (3.1.1). Jeder Tensor lässt sich also durch seine Komponenten via(
Ai1···ikj1...jl
)∈ V1 ⊗ . . .⊗ Vk ⊗W ∗1 ⊗ . . .⊗W ∗l
darstellen und man kann ohne Betrachtung der expliziten Homomorphismen desDualraums in der Basisdarstellung arbeiten.
Ein Tensor mit n kontravarianten undm kovarianten Indizes heißt Tensor vom Typ(n,m) und hat die Stufe n+m.
3.1.2. Der metrische Tensor
Auf einer abstrakt eingeführten differenzierbaren MannigfaltigkeitM besteht zu-nächst keine Möglichkeit, die Länge eines Tangentialvektors zu messen. Da derTangentialraum TpM in jedem Punkt p ∈ M ein Vektorraum ist, lässt sich aufTpM× TpM ein (0, 2)-Tensor gik(p), also eine Bilinearform, definieren. Um sicherzu stellen, dass die durch diese Bilinearform eingeführte Metrik mit der Topologiedes Raumes verträglich ist, wählt man eine sogenannte Riemannsche Metrik, diedurch die folgenden Eigenschaften charakterisiert ist: Der metrische Tensor gik(p)soll in jedem Punkt p ∈ M ein hinreichend oft stetig differenzierbarer, symmetri-scher Tensor sein, mit
det gik(p) =: |g| 6= 0 ∀p ∈M.
Im eigentlichen Sinne ist der metrische Tensor gik ein Tensorfeld auf M und dasTupel (M, gik) heißt dann (Pseudo-)Riemannscher Raum. Das Linienelement ds2
nimmt damit die Form
ds2 := gikdxidxk
an. Dieses Linienelement ist invariant unter Koordinatentransformationen, da diedxk kontravariante Vektoren sind und gik ein kovarianter Tensor 2.Stufe ist.Auf dem Riemannschen Raum (M, gik) sind Abstände wohldefiniert und man kann
3.1 Tensoren 11
eine Bewegung im Gravitationsfeld, welches durch gik beschrieben ist, charakteri-sieren. Die extremale Kurve x(t), mit t einem Zeitparameter, die zwei Raumzeit-punkte miteinander verbindet, nennt man Geodätische und sie erfüllt die Geodä-tengleichung
xm + Γmklxkxl = 0
mit den Christoffel-Symbolen 2. Art
Γmkl := gimΓikl, (3.1.2)
die über die Christoffel-Symbole 1. Art
Γikl =12
(∂gik∂xl
+∂gli∂xk− ∂gkl∂xi
)(3.1.3)
gegeben sind.
3.1.3. Die kovariante Ableitung
In einer Tensorgleichung sind partielle Ableitungen eine ungeeignete Wahl, da sienicht invariant sind unter Koordinatenwechsel. Denn betrachtet man ein VektorfeldAi unter einer Koordinatentransformation xi 7→ xi, so transformiert das Vektorfeldnach Gleichung (3.1.1) kontravariant in der Form
Ai =∂xi
∂xkAk.
Leitet man nun das transformierte Vektorfeld nach den neuen Variablen partiellab, so ist die Ableitung in gekrümmten Koordinaten kein Tensor mehr. Dies giltinsbesondere für gekrümmte Koordinaten eines flachen Raumes. Daher definiertman die kovariante Ableitung eines Vektorfeldes Ai
Ai ;k := Ai,k + ΓikaAa, (3.1.4)
so, dass die Ableitung wieder einen Tensor ergibt. Durch die Struktur des Tensor-produktes lässt sich diese Definition der kovarianten Ableitung eines Vektors Ai
auf Tensoren beliebiger Stufe konsistent zu
T ik···lm··· ;r := T ik···lm··· ,r
+ΓirsTsk···lm... + für jeden kontravarianten Index
−ΓsrlTik···sm··· − für jeden kovarianten Index
12 Differentialgeometrische Voraussetzungen
erweitern. Die unterschiedliche Vorzeichenwahl ist notwendig, um für jedes Skalar-feld die gewünschte Übereinstimmung der partiellen und der kovarianten Ableitungsowie die Gültigkeit der Produktregel zu erhalten.Eine wesentliche Eigenschaft der kovarianten Ableitung ist, dass die Komponentendes metrischen Tensors kovariant konstant sind, d.h. es gilt
gik;l = δki;l = gik;l = 0.
Daher lassen sich die Indizes mittels des metrischen Tensors sogar innerhalb kova-rianter Ableitungen beliebig hinauf und hinunter ziehen.
3.1.4. Der Riemannsche Krümmungstensor
Auf einem Riemannschen Raum gibt es für kovariante Ableitungen im Allgemeinenkein Analogon zum Satz von Schwarz. Die Differenz der beiden Ausdrücke Ai;k;j
und Ai;j;k hängt direkt mit dessen lokaler Krümmung zusammen und ist durch dieRicci-Identität
Ai;k;j −Ai;j;k = ArRrikj , (3.1.5)
mit dem Riemannschen Krümmungstensor
Rrikj := Γrij,k − Γrik,j + ΓrmkΓmij − ΓrmjΓ
mik (3.1.6)
und den Christoffel-Symbolen 2. Art aus Gleichung (3.1.2), gegeben. Die Tensorei-genschaft von Rrikj folgt mittels des Quotiententheorems [Schrö 2005, S.51] sofortaus der Ricci-Identität (3.1.5).Durch Herunterziehen des ersten Indizes von Rrikj aus Gleichung (3.1.6), erhältman die vollständig kovariante Form des Riemannschen Krümmungstensors
Rhijk = Rrijkghr
=12
(ghk,ij + gij,hk − gik,jh − gjh,ik) +
gml (ΓmijΓlhk − ΓmikΓlhj) ,
aus dem man seine Symmetrieeigenschaften ablesen kann:
(i) Rhijk = −Rihjk
(ii) Rhijk = −Rhikj
(iii) Rhijk = Rjkhi
3.1 Tensoren 13
(iv) Rhijk +Rhjki +Rhkij = 0
Im n-dimensionalen Raum werden durch diese Symmetrieeigenschaften die Zahl derunabhängigen Komponenten des Krümmungstensors auf n2(n2 − 1)/12 reduziert.Im Fall n = 4 bleiben somit noch 20 unabhängige Komponenten. Genau dannwenn der Riemannsche Krümmungstensor in jedem Punkt verschwindet, ist derRiemannsche Raum lokal flach. Durch Kontraktion von Rhijk lassen sich zwei neueGrößen definieren. Dies ist zum einen der Ricci-Tensor
Rik := Rhikh = Rki (3.1.7)
und zum anderen der Ricci-Skalar
R := gikRik. (3.1.8)
Aus der Symmetrieeigenschaft (iv) lässt sich durch ein paar algebraische Umfor-mungen der in n = 4 Dimensionen einzige divergenzfreie Tensor ablesen, der nuraus gik und und dessen ersten beiden Ableitungen besteht [AmDuJo 1997, S. 40,Referenz hierin]. Er heißt Einstein-Tensor.
Gik := Rik −12gikR mit Gik;k = 0 (3.1.9.a,b)
4. Allgemeine Relativitätstheorie
Die Allgemeine Relativitätstheorie (ART) ist eine Feldtheorie, die die Gravita-tion als geometrische Eigenschaft der gekrümmten vierdimensionalen Raumzeitbeschreibt. Da die ART für hinreichend kleine Gebiete in die Spezielle Relativi-tätstheorie übergeht, muss die ART lokal lorentzkovariant sein. Damit ist die Lor-entzgruppe O(3, 1) die lokale Symmetriegruppe und die ART ist eine Eichtheorie.Die grundlegenden Prinzipien und die für diese Arbeit relevanten Gleichungen derART des folgenden Kapitels sind sinngemäß aus [SeUr 2002] und [Schrö 2007] ent-nommen.
4.1. Prinzipien der Allgemeinen Relativitätstheorie
Die Prinzipien der ART stellen Forderungen an die Raumzeit, die globaler und auchlokaler Natur sein können. Sie fordern insbesondere den Zusammenhang zwischenSpezieller und Allgemeiner Relativitästheorie.
4.1.1. Kosmologisches Prinzip
Das kosmologische Prinzip besagt, dass das Weltall isotrop ist. Dies impliziert Ho-mogenität und somit hat die Erde keinen priviligierten Platz im Universum. Derwichtigste experimentelle Hinweis hierfür ist die Isotropie der kosmischen Hinter-grundstrahlung. Bei dem Versuch, das Weltall als Ganzes zu betrachten, kann mandie nichtgravitativen Kräfte vernachlässigen, da sie entweder kurzreichweitig sindoder sich wegen der Ladungsneutralität über weite Strecken kompensieren. Auchfür den Energie-Impuls-Tensor lassen sich vereinfachende Annahmen machen. Manfasst die Materie als ein Gas auf, in dem die Galaxien die Rolle der Atome, die Hau-fen von Galaxien diejenige der Moleküle spielen. Es ist also ein Gas einheitlicherDichte zu beschreiben.
14
4.2 Die Einsteinschen Feldgleichungen 15
4.1.2. Äquivalenzprinzipien und allgemeine Kovarianz
Das schwache Äquivalenzprinzip:
Das schwache Äquivalenzprinzip besagt, dass man für jedes beliebige Gravitati-onsfeld in jedem Raumzeitpunkt ein lokales Inertialsystem wählen kann, so dassgravitative Effekte auf Bewegungen makroskopischer Teilchen in einer hinreichendkleinen Umgebung des Raumzeitpunktes vernachlässigbar sind.
Das starke Äquivalenzprinzip:
Das starke Äquivalenzprinzip fordert, dass man für jedes beliebige Gravitationsfeldin jedem Raumzeitpunkt ein lokales Inertialsystem wählen kann, so dass in ihm dieSpezielle Relativitätstheorie gilt.
Allgemeine Kovarianz:
Um sich von den ausgezeichneten globalen Intertialsystemen der Speziellen Relati-vitätstheorie zugunsten der lokalen Inertialsysteme zu lösen, muss die ART unterbeliebigen nichtlinearen Koordinatentransformationen invariant sein. Eine solcheTheorie nennt man dann kovariant und sie lässt sich durch Tensorgleichungen for-mulieren.
4.2. Die Einsteinschen Feldgleichungen
Zur Herleitung der Einsteinschen Feldgleichungen betrachtet man erneut den Einstein-Tensor Gik aus Gleichungen (3.1.9.a,b)
Gik := Rik −12gikR
mit den üblichen Bezeichnungen aus Kapitel 3.1. In der ART ist der Energie-Impuls-Tensor die Quelle der Raumzeitkrümmung Gik = κ
c2Tik mit κ = 8πG
c2der
Einsteinschen Gravitationskonstanten und G der Newtonschen Gravitationskon-stanten. Damit erhält man die übliche Form der Einsteinschen Feldgleichungenzu
Rik −12gikR =
κ
c2Tik. (4.2.1)
Da der Einstein-Tensor Gik symmetrisch und divergenzfrei ist, ist Tik ebenfallssymmetrisch und divergenzfrei. Da experimentell nur Energiedifferenzen und kein
16 Allgemeine Relativitätstheorie
Absolutwert der Energie messbar ist, addiert man zu den Einsteinschen Feldglei-chungen einen lokal lorentzkovarianten Energiebeitrag des Vakuums T Vik = Λ
κ gik
mit der Vakuumenergiedichte Λ, die nur in der Kosmologie von Bedeutung ist. Dieverallgemeinerten Einsteinschen Feldgleichungen lauten damit
Rik −12gikR =
κ
c2Tik + Λgik . (4.2.2)
Setzt man die Definitionen des Ricci-Tensors und des Ricci-Skalars in die Gleichun-gen (4.2.1) bzw. (4.2.2) ein, so stellt man fest, dass diese in den zweiten Ableitungenlinear, in den ersten Ableitungen hingegen nicht linear sind. Diese Kopplung ist derGrund, der das Auffinden von Lösungen so kompliziert macht.
4.3. Die Einstein-Hilbert-Wirkung
Wenn eine Feldtheorie lorentzkovariant ist, kann man die Bewegungsgleichungenstets aus einem Variationsprinzip herleiten. Es lässt sich zeigen, dass die Einstein-Hilbert-Wirkung, die auf die verallgemeinerten Einsteinschen Feldgleichungen (4.2.2)führt, für jede randlose MannigfaltigkeitM durch
SEH =∫M
[1
2κ(R(x)− 2Λ) + LM (x)
]√|g(x)|d4x (4.3.1)
gegeben ist. Hierbei ist LM die Lagrangedichte der Materie, |g| die Determintedes metrischen Tensors und R wieder der Ricci-Skalar. Ein Beweis dafür, dass dieEinsteinschen Feldgleichungen aus der Einstein-Hilbert-Wirkung folgen, befindetsich im Anhang A.1. Auf die genaue Form der Lagrangedichte wird hier verzichtet,da im Rahmen dieser Arbeit nur ein freies Gravitationsfeld Tik = 0 betrachtetwird, für das die Lagrangedichte ebenfalls verschwindet. Damit reduziert sich dieEinstein-Hilbert-Wirkung des leeren Raumes zu
SEH =1
2κ
∫M
(R(x)− 2Λ)√|g(x)|d4x . (4.3.2)
Für das freie Gravitationsfeld hängt die Einstein-Hilbert-Wirkung also vom Ricci-Skalarfeld R(x), vom metrischen Tensorfeld g(x) sowie vom Wert der kosmologi-schen Konstanten Λ und der Geometrie der RaumzeitM ab.
4.4. Friedmann-Universen
Für die Friedmann-Universen macht man einschränkende Annahmen an die Man-nigfaltigkeitM. Zusätzlich zur Isotropieforderung des kosmologischen Prinzips soll
4.4 Friedmann-Universen 17
die Projektion der Stromlinien, auf den räumlichen Anteil der Mannigfaltigkeit,aller bewegten Teilchen frei von Rotation und Scherung sein. Hierdurch werdendie zugelassenen Mannigfaltigkeiten auf einfach zusammenhängende Geometrieneingeschränkt, deren Raumanteil rotationssymmetrisch ist.
4.4.1. Das Robertson-Walker-Linienelement
Das Robertson-Walker-Linienelement ist das Resultat der Annahmen einesFriedmann-Universums in problemangepassten Koordinaten. Hierbei bieten sichauf Grund der Rotationssymmetrie des Raumanteils offenbar Kugelkoordinaten(r, θ, φ) an. Für die Zeitkoordinate t wählt man die Eigenzeit eines geeignet mitbe-wegten Bezugssystems. Durch Einführen zweier Skalenfaktoren k ∈ 1, 0,−1 undR(t), so dass k die Topologie charakterisiert und R(t) die Ausdehnung des Raumesskaliert, folgt das Robertson-Walker-Linienelement zu
ds2 = dt2 −R2(t)[
dr2
1− kr2+ r2dθ2 + r2 sin2 θdφ2
]. (4.4.1)
Diese Metrik erlaubt auf Grund ihrer Konstruktion nur eine rotationssymmetrischeExpansion und Kontraktion des Universums. Das induzierte räumliche Linienele-ment dσ2 = dt2 − ds2 ist für
• k = 0 euklidisch,
• k = 1 (lokal) sphärisch,
• k = −1 (lokal) hyperbolisch
und der durch die Robertson-Walker-Metrik beschriebene Raum hat für
• k = 0 keine Krümmung und ist auf Grund der Annahme einfach zusammen-hängend unendlich ausgedehnt,
• k = 1 eine positive Krümmung, ist endlich ausgedehnt und hat eine Koordi-natensingularität in r = 1,
• k = −1 eine negative Krümmung und ist unendlich ausgedehnt.
Im Falle der sphärischen Symmetrie ist der SkalenfaktorR(t) der Radius des Raum-es und r kann nur Werte in [0, 1) annehmen. Überlegungen, die die scheinbare Hel-ligkeit des Universums betreffen, bestärken Vermutungen für eine Geometrie mitk 6= 0.
18 Allgemeine Relativitätstheorie
4.4.2. Zeitentwicklung der Friedmann-Universen
Um die Zeitentwicklung der Friedmann-Universen besser zu verstehen, setzt mandie Metrik des Robertson-Walker-Linienelements (4.4.1) in die Feldgleichungen(4.2.2) ein und es verbleiben nur die folgenden zwei Bedingungen
κρ+ Λ = 3k + R2
R2und κp− Λ = −2RR+ R2 + k
R2, (4.4.2.a,b)
da alle anderen Gleichungen identisch erfüllt sind. Beschreibt man weiter die Ma-terie des Friedmann-Universum als ideale Flüssigkeit, so erhält man im Fall inko-härenter Materie, also für einen Druck p = 0, dass ρ = M
R3 gilt. Hierbei istM eineIntegrationskonstante aus der hydrodynamischen Kontinuitätsgleichung(
ρuk)
;k+ puk;k = 0,
wobei uk die Vierergeschwindigkeit der mitbewegten Materie ist. Somit folgt ausGleichungen (4.4.2.a,b) die Relation
R2 =κM3R
+13
ΛR2 − k. (4.4.3)
Für den Fall eines strahlungsdominierten Universums mit Druck p = ρ3 erhält man
mit einer analogen Betrachtung ρ = KR4 , wobei auch K = const. eine Integrations-
konstante aus der hydrodynamischen Kontinuitätsgleichung ist und man erhält
R2 =κK
3R2+
13
ΛR2 − k. (4.4.4)
Die schnellere Abnahme der Dichte der elektromagnetischen Strahlung um einenFaktor 1
R kommt durch die Rotverschiebung zustande. Falls die Materie und dieStrahlung nicht miteinander wechselwirken, kann man die Gleichungen (4.4.3) und(4.4.4) zu
R2 =κK
3R2+κM3R− k +
13
ΛR2 =: Fk(R) (4.4.5)
zusammenfassen.
Die statische Lösung der Gleichungen (4.4.5)
Eine statische Lösung ist offenbar dadurch charakterisiert, dass R = 0 = R gilt.Daher folgt aus den Gleichungen (4.4.2.a,b) die Gleichgewichtsbedingung des Uni-versums
κρ = 2Λ. (4.4.6)
4.4 Friedmann-Universen 19
Hieran lässt sich ablesen, dass höchstens im Fall einer positiven Vakuumenergie-dichte, der sogenannten kritischen Vakuumenergiedichte Λc, eine (instabile) stati-sche Lösung existieren kann.
Die nicht-statischen Lösungen der Gleichungen (4.4.5)
Um die nicht-statischen Lösungen von (4.4.5) zu finden, muss Fk(R) analysiert wer-den. Es muss also eine Fallunterscheidung für k = ±1, 0 und verschiedene Λ-Wertedurchgeführt werden. Man findet, dass es neben den intuitiven Fallunterscheidun-gen Λ < 0, Λ = 0 und Λ > 0 für k = 1 den oben angegebenen zusätzlichen positivenkritischen Wert Λc gibt. Bemerkenswert ist weiterhin, dass sich das Verhalten vonk = 0 und k = −1 nur geringfügig unterscheidet.
• Negative Vakuumenergiedichte Λ < 0 für beliebige Werte k: FallsΛ < 0 ist, dann existiert nach Gleichung (4.4.5) immer ein Wert R0, sodass F (R0) = 0 und F (R) < 0 ∀R > R0. R0 ist im Falle der sphärischenGeometrie der maximale Radius des Universums (vgl. Abbildung 4.1).
Abbildung 4.1.: Lösungstypen der Friedmann-Gleichungen für Λ < 0, k = ±1, 0 und Λ =0, k = 1 aus [SeUr 2002, S. 135]
• Keine Vakuumenergiedichte Λ = 0:
– Für k = 1 bleibt Gleichung (4.4.5) qualitativ wie im Fall negativerEnergiedichte, also wie in Abbildung 4.1.
– Für k = −1, 0 verschwindet der negative Summand in Gleichung (4.4.5)und Fk(R) ist eine monoton wachsende Funktion. Insbesondere giltR(Λ < 0, k = −1) ≥ R(Λ < 0, k = 0) (vgl. Abbildung 4.2)
20 Allgemeine Relativitätstheorie
Abbildung 4.2.: Lösungstypen der Friedmann-Gleichungen für Λ ≥ 0, k = −1, 0 und Λ >
Λc, k = 1 aus [SeUr 2002, S. 137]
• Positive Vakuumenergiedichte Λ > 0 Wie bereits erwähnt, kann man imFall einer positiven Vakuumenergiedichte eine statische Lösung von Gleichung(4.4.5) erhalten. Für die oben angesprochene Fallunterscheidung bezüglichdieser kritischen Vakuumenergiedichte betrachtet man die Funktion Fk(R)
in Abbildung 4.3.
Abbildung 4.3.: Charakterisierung der Lösungstypen für Λ > 0 aus [SeUr 2002, S. 136]
– Für k = 0,−1 ist Fk(R) für alle Werte des Skalenfaktors R und alle po-
4.4 Friedmann-Universen 21
sitiven Werte von Λ selbst positiv und man hat ein stetig expandierendesUniversum.
– Für k = 1 hat man den oben eingeführten kritischen Wert der Va-kuumenergiedichte Λc, denn im Minimum gilt wegen Fk(R) = R2 so-wie R = 1
2dFk(R)dR natürlich R = 0 = R. Zusätzlich zu dieser stati-
schen Lösung kann sich das Universum auch, wie in Abbildung 4.4 ge-zeigt, asymptotisch an den statischen Einstein-Kosmos annähern. Für
Abbildung 4.4.: Asymptotische Lösungstypen für Λ = Λc aus [SeUr 2002, S. 137]
0 < Λ < Λc erhält man abhängig vom Anfangsradius die in Abbildung(4.5) dargestellte Zeitentwicklung. Und für Λ > Λc hat man das gleiche
Abbildung 4.5.: Lösungstypen für 0 < Λ < Λc für k = 1 aus [SeUr 2002, S. 137]
Verhalten wie für Λ > 0, k = 0,−1 (vgl. Abbildung 4.2).
5. Der Regge-Kalkül
Der Regge-Kalkül liefert simpliziale Approximationen von Raumzeiten, die Lösun-gen der Einsteinschen Feldgleichungen sind. Hierzu trianguliert man eine Mannig-faltigkeit der DimensionD durch einen Simplizialkomplex, der ausD-dimensionalenSimplizes σD (vgl. Kapitel 2.1) besteht. Die Teilsimplizes niedrigerer Dimensionwerden mit σd, d ∈ 0, 1, . . . D, bezeichnet. Regge schlug 1961 vor [AmDuJo 1997,S. 279], dass das simpliziale Analogon der Einstein-Hilbert-Wirkung ohne Materie-felder durch
SR =∑
σD−2∈T
εσD−2VσD−2 − Λ∑σD∈T
VσD (5.0.1)
gegeben ist. Hierbei ist der erste Summand
SKR :=∑
σD−2∈T
εσD−2VσD−2 (5.0.2)
der Krümmungsanteil mit dem Defizit-Winkel
εσD−2 := 2π −∑
σD3σD−2
α(σD−2, σD) (5.0.3)
und dem Öffnungswinkel α(σD−2, σD) am Simplex σD−2. Der zweite Summand
SV olR := Λ∑σD∈T
VσD (5.0.4)
ist der Volumenanteil der Regge-Wirkung. Wie in Regges ursprünglicher Formu-lierung wurde auch hier auf den Vorfaktor κ−1 verzichtet. Falls ein numerischerVergleich der Regge-Wirkung und der Einstein-Hilbert-Wirkung von Interesse ist,muss dieser Faktor natürlich berücksichtigt werden.Man überlegt sich leicht, dass der Krümmungsterm auf Grund seiner Proportio-nalität zum Defizit-Winkel nur auf Triangulierungen gekrümmter Mannigfaltig-keiten einen Beitrag liefern kann. Für eine gleichseitige Triangulierung T einerD-dimensionalen Mannigfaltigkeit vereinfacht sich dieser Ausdruck zu
SR =∑
σD−2∈T
εσD−2VσD−2 − ΛND(T )VσD , (5.0.5)
22
23
wobei ND(T ) die Anzahl D-dimensionaler Simplizes der Triangulierung T angibt(vgl. Kapitel 2.2.1). Eine Herleitung der Regge-Wirkung aus der Einstein-Hilbert-Wirkung wurde unter anderem 1984 von R. Friedberg und T.D. Lee gegeben[FrLe 1984]. In ihrem Beweis, der im Anhang A.2 skizziert ist, liefern sie eine imVergleich zur Regge-Wirkung etwas stärkere Aussage, da sie insbesondere die fol-gende distributionswertige Relation zwischen Integrand und Summand beweisen√
|g|R = 2εσD−2δ(x1)δ(x2) , (5.0.6)
die im üblichen Sinne zu verstehen ist. Hierbei sind x1 und x2 die zu σD−2 senk-rechten Koordinatenachsen in dem umgebenden RD.
6. Die Wahl der Triangulierungen
Eine der drei möglichen Topologien, die Lösungen der Friedmann-Modelle sind,ist, wie bereits erwähnt, die durch den Wert k = 1 charakterisierte sphärischeGeometrie. In diesem Fall sieht der Raumanteil topologisch aus wie die OberflächeS3 der vierdimensionalen Vollkugel. Im Rahmen dieser Arbeit wird der Regge-Kalkül auf die triangulierte Oberfläche S3 angewendet, wohingegen der ZeitanteilR kontinuierlich bleibt.
6.1. Vorüberlegungen zur Einstein-Hilbert-Wirkung
Die Mannigfaltigkeit M = S3 × R ist als randlose, glatte Mannigfaltigkeit einmögliches Integrationsgebiet der Einstein-Hilbert-Wirkung und man kann diese inder Form
SEH =1
2κ
∫R
dt
∫S3
√|g(x, t)|d3x (R(x, t)− 2Λ) (6.1.1)
schreiben. Die Robertson-Walker-Metrik aus Kapitel 4.4.1, die den Friedmann-Modellen zugrunde liegt, ist eine Metrik der Form
g(x, t) =
(1 0
0 γ(x, t)
),
mit γ dem räumlichen Anteil des metrischen Tensors g. Da der Ricci-Skalar alleinaus der zugrunde liegenden Metrik berechnet wird, wird dieser im folgenden mitRg bzw. Rγ bezeichnet. In solch einer Metrik g(x, t) sind Raum- und Zeitanteiloffenbar senkrecht zueinander und es gilt√
|g(x, t)| =√|γ(x, t)|.
Schiebt man noch eine Null der Form (Rγ −Rγ) in Gleichung (6.1.1) ein und ziehtden Integranden auseinander, so erhält man die zentrale Gleichung:
SEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ)
+1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rg(x, t)−Rγ(x, t)) (6.1.2)
25
26 Die Wahl der Triangulierungen
Die Einstein-Hilbert-Wirkung lässt sich also in die zwei Summanden
SIEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ) (6.1.3)
undSIIEH =
12κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rg(x, t)−Rγ(x, t)) (6.1.4)
zerlegen, die zunächst unabhängig voneinander betrachtet werden können. DieseZerlegung begründet sich darin, dass das räumliche Integral
SI,S3
EH :=∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ) (6.1.5)
des ersten Teils SIEH der Einstein-Hilbert-Wirkung genau die Form hat, die zur An-wendung des Regge-Kalküls benötigt wird. Desweiteren zeigt man in Kapitel 8.1.1,dass aus der Forderung R = 0 = R eines statischen Friedmann-Universums sofortSIIEH ∝ (Rg(x, t)−Rγ(x, t)) = 0 folgt. Der erste Teil der Einstein-Hilbert-WirkungSIEH beschreibt also allein den statischen Anteil des sphärisches Friedmann-Universums und ist demnach der einzige Summand, der in diesem Kapitel betrach-tet wird.
6.2. Die gewählten Simplizialkomplexe
Möchte man den Regge-Kalkül auf Gleichung (6.1.5) anwenden, muss zunächst dasIntegrationsgebiet trianguliert werden. Die einfachsten Triangulierungen, die derSymmetrie der S3 gerecht werden, sind genau die Oberflächen der vierdimensiona-len verallgemeinerten Platonischen Körper p, q, r aus Kapitel 2.2, die gleichzeitigeinen Simplizialkomplex bilden. Die anderen verallgemeinerten Platonischen Kör-per können auch nicht bezüglich eines verallgemeinerten Triangulierungsbegriffsverwendet werden. Der Grund hierfür ist, dass die geringere Anzahl geometrischerExistenzbedingungen zu einer größeren Anzahl übriger Freiheitsgrade führt, so dassdie Angabe der Kantenlängen hier nicht ausreicht um diese Polyeder eindeutig zubestimmen. Sogar im gleichseitigen Fall reicht die Angabe der Kantenlänge bei dem16-Zeller, der aus Würfeln zusammengesetzt ist, und bei dem 120-Zeller, der ausIkosaedern zusammengesetzt ist, nicht aus, um diese eindeutig zu bestimmen, dainsbesondere die Scherung auch nach Zusammensetzung zur Oberfläche der vierdi-mensionalen verallgemeinerten Platonischen Körper noch möglich ist. Im Gegensatzdazu ist der 24-Zeller, der aus Oktaedern zusammengesetzt ist, im gleichseitigen
6.2 Die gewählten Simplizialkomplexe 27
Fall eindeutig, da seine Oberfläche aus Dreiecken besteht. Um zu verstehen, dassdies für die Eindeutigkeit des gleichseitigen Falls ausreicht, betrachtet man zunächsteinen Oktaeder beliebiger Kantenlänge. Offenbar sind die einzelnen Dreiecke, ausdenen die Oberfläche zusammengesetzt ist, jeweils eindeutig. Die zusätzlichen Frei-heitsgrade haben also nur einen Einfluss auf die drei Schnittvierecke (ABFD),(ACFE) und (BCDE) mit den Bezeichnungen wie in Abbildung 6.1. Diese las-
Abbildung 6.1.: Die Schnittvierecke innerhalb eines Oktaeders
sen sich innerhalb des Oktaeders allerdings nicht kontinuierlich deformieren, dadies durch die beiden Pyramiden verhindert wird. Dies geschieht dadurch, dass dieEndpunkte von vier Kanten, die an einem gemeinsamen Vertex beginnen, nur fürendlich viele Ausrichtungen in einer gemeinsamen Ebene liegen, also die Vertizeseines Vierecks bilden. Da von diesen Vierecken nur eines konvex ist, ist dieses imgleichseitigen Fall auch das einzige existierende Viereck, da die hypothetischen,nicht-konvexen das Volumen Null zur Folge hätten. Daher ist der gleichseitige 24-Zeller durch Angabe seiner Kantenlänge ebenfalls eindeutig bestimmt, obwohl seineOberfläche keinen Simplizialkomplex bildet und kann daher ebenfalls zum triangu-lieren verwendet werden. Formal müsste man natürlich erst jeden dieser Oktaederin 3-Simplizes zerlegen, um dann den definierten Begriff der Triangulierung benut-zen zu können. Dies ist allerdings nicht notwendig, da die Oktaeder im Innerenflach sind und die neuen Kanten damit keinen zusätzlichen Beitrag zur Krümmungliefern.
7. Die Regge-Wirkungen imstatischen Fall
Die Zerlegung der Einstein-Hilbert-Wirkung in zwei Summanden wie in Gleichung(6.1.2) hat den statischen Anteil
SIEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ) ,
mit dem sich dieses Kapitel beschäftigt, absepariert. Auf Grund der unterschied-lichen Herangehensweise können und müssen Raum- und Zeitanteil separat be-trachtet werden. Aber auch zur Triangulierung des Raumanteils mit den soebeneingeführten Oberflächen verallgemeinerter Platonischer Körper geht man in zweiSchritten vor. Im ersten Schritt wird eine gleichseitige Triangulierung der Kanten-länge l verwendet, so dass die Regge-Wirkung nur von diesem einen Parameterl abhängt. Dies hat die unmittelbare Folge, dass nur radiale Fluktuationen desRaumes beschreibbar sind, da die (diskrete) Kugelsymmetrie für jede Kantenlängel natürlich erhalten bleibt. Im zweiten Schritt werden alle im Rahmen der geometri-schen Existenzbedingungen (vgl. Anhang B) möglichen Kantenlängen zugelassen.Dadurch ist letztendlich jede Geometrie, die die Topologie nicht verändert, in derBeschreibung enthalten.
7.1. Gleichseitige Triangulierungen
Um alle verwendbaren, besonders symmetrischen Approximation auszunutzen, wirdhier neben dem 5-, dem 16- und dem 600-Zeller zusätzlich noch der gleichseitige 24-Zeller, der nach Kapitel 6.2 ebenfalls durch die Kantenlänge l eindeutig bestimmtist, zur Triangulierung verwendet.
7.1.1. Die Regge-Wirkung
Der Regge-Kalkül liefert die Regge-Wirkung als simpliziales Analogon zur Einstein-Hilbert-Wirkung zunächst als Funktion der Kantenlänge l. Da im gleichseitigen Fall
28
7.1 Gleichseitige Triangulierungen 29
die (diskrete) Kugelsymmetrie erhalten bleibt, ist neben der Kantenlänge auchder Radius R der Kugel, die alle Vertizes tangiert, ein sinnvoller Parameter. Zumspäteren Vergleich mit den Einsteinschen Feldgleichungen und insbesondere zumbesseren Vergleich untereinander werden die Regge-Wirkungen abschließend in eineFunktion des Kugelradius umgerechnet.
Die Regge-Wirkung als Funktion der Kantenlänge
Wendet man den Regge-Kalkül auf den ersten Summanden der Einstein-Hilbert-Wirkung SIEH an, so erhält man je ein simpliziales Analogon für den Krümmungs-und den Volumenterm. Daher werden diese beiden Terme im Folgenden zunächstseparat betrachtet. Im gleichseitigen Fall erhält man also für den Volumenterm derRegge-Wirkung SI,V olR wegen Gleichung (5.0.4) sofort
SI,V olR = Λ∫R
dt N3(T )Vσ3 , (7.1.1)
mit N3(T ) der Anzahl und Vσ3 dem Volumen der 3-Simplizes der gewählten Tri-angulierung T . Die Abhängigkeit der Größen vom Zeitpunkt t wird hier und imFolgenden zunächst unterdrückt, da er in den nächsten Berechnungen keine Be-deutung hat. Vor der eigentlichen Betrachtung des Krümmungsterms SKR aus Glei-chung (5.0.2) vereinfacht man zunächst die Notation, indem man das eindimensio-nale Volumen Vσ1 , also die Kantenlänge, mit l bezeichnet.Es gilt also
SI,KR =∫R
dt∑l∈T
εl l (7.1.2)
mit dem Defizit-Winkelεl := 2π −
∑σ33l
α(l, σ3). (7.1.3)
und dem Öffnungswinkel α(l, σ3) an der Kante l bezüglich des anliegenden 3-Simplizes σ3. Auf Grund der Symmetrie der Triangulierung hat man an jeder Kantealler 3-Simplizes p, q den gleichen Öffnungswinkel αp,q := α(l, σ3) und somitauch den gleichen Defizit-Winkel
εl = 2π − rαp,q. (7.1.4)
Der Parameter r ist nach Definition des Schläfli-Symbols p, q, r genau der Para-meter r des dritten Eintrags des gewählten 4-Simplizes (vgl. Kapitel 2.2.1), da erdie Anzahl r von 3-Simplizes angibt, die sich an jeder Kante berühren. Nach Wahl
30 Die Regge-Wirkungen im statischen Fall
der Triangulierung T hängt der Defizit-Winkel also nur noch von der Kantenlängel ab und man erhält insgesamt
SI,KR =∫R
dt N1(T )[2π − rαp,q
]l,
mit N1(T ) der Anzahl Kanten der Triangulierung T . Die Regge-Wirkung einergleichseitigen Triangulierung der S3, als Teil der Mannigfaltigkeit M = S3 × R,durch die Oberfläche eines 4-dimensionalen Platonischen Körpers p, q, r lautetalso
SIR =∫R
dt N1(T )l[2π − rαp,q(l)
]− Λ
∫R
dt N3(T )Vσ3 . (7.1.5)
Setzt man nun die charakteristischen Werte aus den Tabellen in Anhang C in(7.1.5) ein, so erhält man auf Grund der gerundeten Werte der Winkel die Regge-Wirkungen SI,nR der n-Zeller als Funktion der jeweiligen Kantenlänge l approxima-tiv zu:
SI,5R (l) =∫R
dt
[371π45
l(t)− 5√
2Λ12
l3(t)
]
SI,16R (l) =
∫R
dt
[2336π225
l(t)− 4√
2Λ3
l3(t)
]
SI,24R (l) =
∫R
dt
[1264π
75l(t)− 8
√2Λ l3(t)
]SI,600R (l) =
∫R
dt
[88π3
l(t)− 50√
2Λ l3(t)]
Die Regge-Wirkung als Funktion des Kugelradius
Da l stets die Kantenlänge der jeweiligen Triangulierung ist, bietet sich, wie bereitserwähnt, für die Regge-Wirkung der gleichseitigen Triangulierungen stattdessen derKugelradius R als Parameter an. Mit den Werten der letzten Spalte aus Tabelle
7.2 Triangulierungen variabler Kantenlängen 31
C.1 im Anhang C folgt nach Skalieren näherungsweise:
SI,5R (R) =∫R
dt
[R(t)− 3
√2Λ
380πR3(t)
]
SI,16R (R) =
∫R
dt
[R(t)−
√2Λ
62πR3(t)
]
SI,24R (R) =
∫R
dt
[R(t)−
√2Λ
34πR3(t)
]
SI,600R (R) =
∫R
dt
[R(t)− 2
√2Λ
49πR3(t)
]
(7.1.6)
(7.1.7)
(7.1.8)
(7.1.9)
Die weniger anschauliche, aber wesentlich genauere Form dieser Regge-Wirkungenbefindet sich im Anhang D.
7.2. Triangulierungen variabler Kantenlängen
Nachdem die Regge-Wirkung für den gleichseitigen Fall eines statischen Friedmann-Universums berechnet wurde, werden in diesem Kapitel die Kantenlängen beliebigvariierbar sein. Beliebig bedeutet hier und im folgenden stets nur bis auf die na-türlichen geometrischen Einschränkungen, die im Anhang B angegeben sind. DieRegge-Wirkung SIR lässt sich durch Angabe aller Kantenlängen lij zwischen denVertizes i und j angeben, da jeder Simplizialkomplex, wie bereits in Kapitel 2.1erwähnt, dadurch eindeutig bestimmt ist. Um dies zu erreichen, ist sowohl die Ab-hängigkeit der Öffnungswinkel als auch die der Volumina von den Kantenlängenzu bestimmen. Dies hat man letztendlich bereits im Fall gleichseitiger Polyedergemacht, doch in diesem Fall reduzierte sich der Öffnungswinkel α auf eine von derKantenlänge l unabhängige Konstante und das Volumen war schlicht proportio-nal zu l3. Da dies für beliebig wählbare Kantenlängen erheblich komplizierter ist,müssen zunächst ein paar Bezeichnungen definiert werden.
7.2.1. Definition der Bezeichnungen
An der Kante lij(= lji) des 3-Simplizes ∆ = (ijkl) wird der Öffnungswinkel durchαij(∆) bezeichnet. Auf Grund der Eindeutigkeit des Polyeders ist αij(∆) natürlichebenfalls für beliebige Kantenlängen eindeutig. Durch diese Notation unterdrücktman bewusst die genauen Vertizes des 3-Simplizes ∆, da man im Folgenden zu-nächst nur einen einzelnen 3-Simplex berücksichtigt um dann im Anschluss über
32 Die Regge-Wirkungen im statischen Fall
eine Auswahl 3-Simplizes zu summieren, die sich ohne explizite Vertizes sogar bes-ser angeben lässt. Was dies bedeutet, lässt sich bereits in der nächsten Formel fürden Öffnungswinkel ϑij der gesamten Triangulierung T an der Kante lij erken-nen. Denn nach Berechnung aller Öffnungswinkel αij(∆) für die an die Kante lijanliegenden 3-Simplizes ∆, ergibt sich der gesamte Öffnungswinkel zu
ϑij :=∑
∆3lij
αij(∆). (7.2.1)
Es wird also schlicht über alle 3-Simplizes summiert, die an die Kante lij anliegen.
7.2.2. Variation der Kantenlängen des Tetraeders
Da alle dreidimensionalen Simplizialkomplexe aus 3-Simplizes zusammengesetztsind, genügt es zunächst die Kantenlängen eines einzelnen Tetraeders zu variieren,um die Abhängigkeit des Öffnungswinkels und des Volumens von den Kantenlängenzu erhalten.
Öffnungswinkel eines 3-Simplizes
Der Öffnungswinkel αij(∆) bezüglich des 3-Simplizes ∆ = (ijkl) an der Kante lijberechnet sich zu
αij(∆) =
arccos
l2ij(l2jk + l2ik + l2il + l2jl − l2ij − 2l2lk
)+ l2jkl
2il + l2ikl
2jl − l2jkl2jl − l2ikl2il∏
a∈k,l
√2(l2ijl
2ja + l2jal
2ia + l2ial
2ij
)−(l4ij + l4ia + l4ja
) .
(7.2.2)
Um dies zu beweisen, betrachtet man den 3-Simplex ∆ mit den Vektoren der Kan-ten ~lab vom Vertex a zum Vertex b, mit a, b ∈ i, j, k, l , a 6= b. Der Öffnungswinkelαij(∆) befindet sich damit zwischen den auf die Kante lij senkrechten Projektionen
~l⊥ik(~lij) := ~lik −1l2ij
(~lik ·~lij)~lij (7.2.3)
~l⊥il (~lij) := ~lil −1l2ij
(~lil ·~lij)~lij (7.2.4)
7.2 Triangulierungen variabler Kantenlängen 33
der Vektoren ~lil und ~lik und berechnet sich somit einfach aus der Definition desSkalarproduktes zu
αij(∆) = arccos
(~l⊥ik(~lij) ·~l⊥il (~lij)l⊥ik(~lij) l
⊥il (~lij)
). (7.2.5)
Alternativ lassen sich selbstverständlich auch die senkrechten Projektionen derVektoren ~ljl und ~ljk verwenden. Im Folgenden hat man sich allerdings für die obenexplizit angegebenen Projektionen entschieden. Weiter folgt für den Zähler vonGleichung (7.2.5):
~l⊥ik(~lij) ·~l⊥il (~lij) =
(~lik −
1l2ij
(~lik ·~lij)~lij
)·
(~lil −
1l2ij
(~lil ·~lij)~lij
)= ~lik ·~lil −
1l2ij
(~lik ·~lij
)(~lij ·~lil
)− 1l2ij
(~lil ·~lij
)(~lik ·~lij
)+
1l2ij
(~lik ·~lij
)(~lil ·~lij
)=
1l2ij
(~lik ·~lil
)l2ij −
1l2ij
(~lil ·~lij
)(~lik ·~lij
)(7.2.6)
Zusammenfassen des Zählers führt also auf Skalarprodukte von Vektoren aneinan-der anliegender Kanten. Um diese Skalarprodukte der Vektoren der Kanten in eineFunktion der Kantenlängen umzuschreiben, benötigt man zum einen die allgemeineDefinition des Skalarproduktes
lialib cos ∠(~lia,~lib) = ~lia ·~lib
und zum anderen den Kosinussatz
l2ab = l2ia + l2ib − 2 lialib cos ∠(~lia,~lib),
wobei a, b ∈ j, k, l. Fasst man diese beiden Gleichungen zusammen, so erhält man
~lia ·~lib =12(l2ia + l2ib − l2ab
). (7.2.7)
34 Die Regge-Wirkungen im statischen Fall
Durch Einsetzen von Gleichung (7.2.7) in Gleichung (7.2.6) kann man den Zählernoch weiter umformen
~l⊥ik(~lij) ·~l⊥il (~lij) =1
4l2ij
[2(l2ik + l2il − l2kl
)l2ij −
(l2il + l2ij − l2lj
) (l2ik + l2ij − l2jk
)]=
14l2ij
(−l2ijl2ij + l2ijl
2jk + l2ijl
2ik + l2ijl
2il + l2ijl
2jl − 2l2ijl
2lk + l2jkl
2il+
l2ikl2jl − l2jkl2jl − l2ikl2il
)=
14l2ij
(l2ij(−l2ij + l2jk + l2ik + l2il + l2jl − 2l2lk
)+
l2jkl2il + l2ikl
2jl − l2jkl2jl − l2ikl2il
). (7.2.8)
Offenbar hängt Gleichung (7.2.8) nur noch von den Kantenlängen ab und ist somitdie gewünschte Form des Zählers aus Gleichung (7.2.5).Der Nenner aus Gleichung (7.2.5) lässt sich ebenfalls mit Hilfe von (7.2.7) in eineFunktion der Kantenlängen umschreiben:
l⊥ik(~lij)l⊥il (~lij)
(7.2.4),(7.2.4)=
(√~lik −
1l2ij
(~lik ·~lij
)~lij
)2
·
(√~lil −
1l2ij
(~lil ·~lij
)~lij
)2
=1l2ij
√(l2ikl
2ij −
(~lik ·~lij
)2)·
√(l2ill
2ij −
(~lil ·~lij
)2)
(7.2.7)=
14l2ij
∏a=k,l
√(2l2ijl
2ja + l2jal
2ia + l2ial
2ij
)−(l4ij + l4ia + l4ja
)(7.2.9)
Damit sind nun Zähler und Nenner in Funktionen der Kantenlängen umgeschriebenund man erhält durch Einsetzen von Gleichung (7.2.8) und Gleichung (7.2.9) in dieallgemeine Definition eines Skalarproduktes (7.2.5) die behauptete Formel (7.2.2)zur Berechnung des Öffnungswinkels.
Volumen eines 3-Simplizes
Im vorherigen Abschnitt wurde der Öffnungswinkel eines 3-Simplizes als Funktionder Kantenlängen formuliert. Nun möchte man das gleiche für das Volumen erhal-ten. Nach dem Paper von Hartle [Har 1985] ist das Volumen eines n-Simplizes σn
mit Vertizes (0, 1, · · ·n) durch
V 2σn =
1(n!)2
det(~l0i ·~l0j) (7.2.10)
7.2 Triangulierungen variabler Kantenlängen 35
gegeben. Offenbar hat der Vertex 0 eine ausgezeichnete Stellung in dieser Formel.Hieran soll man sich allerdings nicht stören, denn es lässt sich eine äquivalenteFormel für das Volumen herleiten, in der alle Vertizes symmetrisch eingehen. Diesewird allerdings selten verwendet, da es sehr umständlich ist, mit ihr zu arbeiten[Har 1985]. Für den Tetraeder ∆ ergibt sich damit durch Einsetzen von Gleichung(7.2.7) in Gleichung (7.2.10) das Volumen zu
V 2∆ =
136
det
l2ij
12(l2ij + l2ik − l2jk)
12(l2ij + l2il − l2jl)
12(l2ij + l2ik − l2jk) l2ik
12(l2ij + l2il − l2jl)
12(l2il + l2ij − l2jl)
12(l2il + l2ik − l2lk) l2il
. (7.2.11)
Nun sind alle Vorarbeiten erledigt und die Regge-Wirkung der drei Triangulierun-gen lässt sich prinzipiell als Funktion der Kantenlängen angeben.
7.2.3. Die Regge-Wirkung
Die Regge-Wirkung des 5-, des 16- und des 600-Zellers berechnet sich damit durchEinsetzen des Volumens (7.2.11) und des Öffnungswinkels (7.2.2) bezüglich eineseinzelnen anliegenden 3-Simplizes über die Formel (7.2.1) in die folgende Gleichung
SIR =12
∫dt
N1(T )∑i,j=1
lij [2π − ϑij ]− Λ∫dt∑∆∈T
V∆. (7.2.12)
Hierbei geht die erste Summe über alle N1(T ) Vertizes und die zweite Summe überalle N3(T ) 3-Simplizes ∆ der Triangulierung T . Dabei benötigt man im Vergleichzu Gleichung (5.0.2) einen zusätzlichen Faktor 1
2 vor der ersten Summe, da manjede Kante doppelt zählt.
8. Die Regge-Wirkungen imdynamischen Fall
Bisher wurde nur der statische Anteil
SIEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ)
der Einstein-Hilbert-Wirkung
SEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ)
+1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rg(x, t)−Rγ(x, t))
betrachtet. Zur Berücksichtigung der vollständigen Einstein-Hilbert-Wirkung einessphärischen Friedmann-Universums, muss zunächst die Differenz der beiden Ricci-Skalare Rg und Rγ berechnet werden.
8.1. Gleichseitige Triangulierungen
Im Fall der gleichseitigen Triangulierungen ist die zu triangulierende Mannigfaltig-keit kugelsymmetrisch und die zugrunde liegende Metrik ist die Robertson-Walker-Metrik g bzw. ihre Einschränkung γ auf den räumlichen Anteil.
8.1.1. Die Differenz der Ricci-Skalare Rg und Rγ
Betrachtet man also die Differenz dieser beiden Ricci-Skalare Rg und Rγ so erhältman allgemein die Beziehung
Rg −Rγ = 6¨R(t)R(t)
+ 6R2(t)R2(t)
, (8.1.1)
wobei R(t) auch hier wieder der Radius der Kugel, die alle Vertizes tangiert, ist.
37
38 Die Regge-Wirkungen im dynamischen Fall
Die Robertson-Walker-Metrik
Vor der eigentlichen Berechnung dieser Differenz aus den metrischen Tensoren g
und γ werden alle Komponenten und alle benötigten Ableitungen zusammenge-stellt. Man hat also die kovarianten
gtt = 1, grr = γrr = −R2(t)
1− r2, gθθ = γθθ = −R2(t)r2, gφφ = γφφ = −R2(t)r2 sin2 θ
und die kontravarianten
gtt = 1, grr = γrr = −1− r2
R2(t), gθθ = γθθ = − 1
R2(t)r2, gφφ = γφφ = − 1
R2(t)r2 sin2 θ
Einträge der metrischen Tensoren sowie die nicht verschwindenden Ableitungen deskovarianten metrischen Tensors
grr,t = γrr,t = −2R(t)R(t)1− r2
, grr,r = γrr,r = − 2R2(t)r(1− r2)2
gθθ,t = γθθ,t = −2R(t)R(t)r2, gθθ,r = γθθ,r = −2R2(t)r
gφφ,t = γφφ,t = −2R(t)R(t)r2 sin2 θ, gφφ,r = γφφ,r = −2R2(t)r sin2 θ,
gφφ,θ = γφφ,θ = −2R2(t)r2 sin θ cos θ.
Der Riemannsche Krümmungstensor
Da der Ricci-Skalar über den Riemannschen Krümmungstensor definiert ist, benö-tigt man zunächst die Definition des Riemannschen Krümmungstensors.
Rhijk = Γhik,j − Γhijk + ΓhmjΓmik − ΓhmkΓ
mij , mit i, j, k, h ∈ t, r, θ, φ .
Die sehr aufwändige separate Berechnung der Ricci-Skalare Rg und Rγ ist allerdingsgar nicht notwendig, da diese Differenz offenbar nur die Summanden enthält, indem mindestens ein Index den Wert t annimmt. Hierbei gibt es die folgenden zweiTypen:
• die Rhijk in denen ein Index den Wert t annimmt,
• der Summand aus jedem(
ΓhmjΓmik − ΓhmkΓ
mij
)in denen m den Wert t an-
nimmt.
8.1 Gleichseitige Triangulierungen 39
Bezeichnet man den Anteil vom Typ eins mit RI und den Anteil vom Typ zweimit RII , so gilt offenbar
Rg −Rγ = RI +RII . (8.1.2)
Aus der Literatur, wie beispielsweise [Olo 2004, S.216], entnimmt man die Wertedes ersten Typs:
Rrttr = Rθttθ = Rφttφ =R(t)R(t)
Rtrrt = −R(t)R(t)1− r2
Rtθθt = −R(t)R(t)r2
Rtφφt = −R(t)R(t)r2 sin2 θ
Berechnet man hieraus den Anteil RI vom Typ eins des Ricci-Skalars, so folgt
RI = 6R(t)R(t)
. (8.1.3)
Die im Allgemeinfall sehr umfangreiche Berechnung der Summanden vom Typzwei vereinfacht sich hier erheblich, da der hier verwendete metrische Tensor gDiagonalform hat. Damit ist
ΓhtjΓtik − ΓhtkΓ
tij
(3.1.2)= ghhΓhtjgttΓtik − ghhΓhtkgttΓtij
(3.1.3)=
14ghh (ght,j + gjh,t − gtj,h) gtt (gti,k + gkt,i − gik,t)
−14ghh (ght,k + gkh,t − gtk,h) gtt (gti,j + gjt,i − gij,t)
= −14ghhgjh,tgik,t +
14ghhgkh,tgij,t.
Da(
ΓhtjΓtik − ΓhtkΓ
tij
)ein Summand in Rhijk ist, müssen wegen Rij = Rhijh zunächst
k und h kontrahiert werden und man erhält
ΓhtjΓtih − ΓhthΓtij =
14ghh (ghh,tgij,t − gjh,tgih,t) . (8.1.4)
Analog, da R = gijRij gilt, multipliziert man Gleichung (8.1.4) mit gij und manerhält die Summanden vom Typ zwei
gii(
ΓhtiΓtih − ΓhthΓtii
)=
14giighh (ghh,tgii,t − gih,tgih,t)
des Ricci-Skalars. Betrachtet man nun die möglichen Werte von h und i, so siehtman, dass für h = i die Differenz (ghh,tgii,t − gih,tgih,t) verschwindet. Da der zweite
40 Die Regge-Wirkungen im dynamischen Fall
Summand wegen der Diagonalform von g für h 6= i immer verschwindet, verbleibtnur der erste Summand
gii(
ΓhtiΓtih − ΓhthΓtii
)=
14giighhghh,tgii,t.
Da für die Summanden von Typ II ausgeschlossen war, dass einer der Indizes amRiemannschen Krümmungstensor Rhijk den Wert t annimmt, bleiben demnach nurdie sechs Fälle h, i ∈ r, θ, φ |h 6= i und so erhält man den Anteil RII vom Typzwei des Ricci-Skalars zu
RII =12
[grrgθθgθθ,tgrr,t + grrgφφgφφ,tgrr,t + gφφgθθgθθ,tgφφ,t
].
Setzt man weiter die Komponenten des metrischen Tensors ein, so ergibt sich
RII = gii(
ΓhtiΓtih − ΓhthΓtii
)= 6R2(t)R2(t)
. (8.1.5)
Addition der Summanden von Typ I aus Gleichung (8.1.3) und der vom Typ II ausGleichung (8.1.5) liefert das behauptete Resultat (8.1.1).
8.1.2. Die Regge-Wirkung
Setzt man die Differenz der beiden Ricci-Skalare aus Gleichung (8.1.1) in dieEinstein-Hilbert-Wirkung aus Gleichung (6.1.2) ein, so erhält man
SEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x (Rγ(x, t)− 2Λ)
+1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x
(6R(t)R(t)
+ 6R2(t)R2(t)
).
Da der Radius R(t) nur eine Funktion der Zeit ist, lässt er sich aus dem räumlichenIntegral herausziehen und es bietet sich die folgende Notation der Einstein-Hilbert-Wirkung an
SEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x Rγ(x, t)
+1
2κ
∫R
dt
[6 ·
(R(t)R(t)
+R2(t)R2(t)
)− 2Λ
]∫S3
√|γ(x, t)|d3x. (8.1.6)
Das räumliche Integral des zweiten Summanden reduziert sich demnach genau wiebei der kosmologischen Konstanten auf das Volumen des Integrationsgebietes. Da-mit liefert der Regge-Kalkül mit den expliziten Werten der Triangulierungen nä-herungsweise die dynamischen Regge-Wirkungen auf der teilweise triangulierten
8.1 Gleichseitige Triangulierungen 41
Mannigfaltigkeit zu:
S5R(R) =
∫R
dt
R(t) +
3√
2380π
[3(R(t)R2(t) + R2(t)R(t)
)− ΛR3(t)
](8.1.7)
S16R (R) =
∫R
dt
R(t) +
√2
62π
[3(R(t)R2(t) + R2(t)R(t)
)− ΛR3(t)
](8.1.8)
S24R (R) =
∫R
dt
R(t) +
√2
34π
[3(R(t)R2(t) + R2(t)R(t)
)− ΛR3(t)
](8.1.9)
S600R (R) =
∫R
dt
R(t) +
2√
249π
[3(R(t)R2(t) + R2(t)R(t)
)− ΛR3(t)
](8.1.10)
Die Zuordnung des dynamischen Zusatzterms zum Volumenanteil der Einstein-Hilbert-Wirkung ist allerdings, wie der nächste Abschnitt zeigt, nicht die einzigeMöglichkeit.
8.1.3. Die alternative Regge-Wirkung
Betrachtet man den zweiten Teil
SIIEH =1
2κ
∫R
dt
∫S3
√|γ(x, t)|d3x
(6R(t)R(t)
+ 6R2(t)R2(t)
)
der Einstein-Hilbert-Wirkung erneut und setzt die Determinante des metrischenTensors √
|γ(x, t)| = R3(t)r2 sin θ√
1− r2
ein, so erhält man
SIIEH =1
2κ
∫R
dt(
6R(t)R2(t) + 6R2(t)R(t))∫
S3
r2 sin θ√1− r2
d3x.
Partielle Integration des ersten Summanden liefert∫R
dt R(t)R2(t) =[RR2
]− 2
∫R
R2(t)R(t)
= −2∫R
dt R2(t)R(t),
42 Die Regge-Wirkungen im dynamischen Fall
da der Randterm verschwindet. Insgesamt folgt daraus
SIIEH = − 12κ
∫R
dt 6R2(t)R(t)∫S3
r2 sin θ√1− r2
d3x
und durch Rücksubstitution der Determinante des metrischen Tensors (8.1.3) ergibtsich die alternative Form des zweiten Teils der Einstein-Hilbert-Wirkung
SII,AEH = − 12κ
∫R
dt
∫S3
√|γ(x, t)|d3x 6
R2(t)R2(t)
. (8.1.11)
Zieht man nun allein die Ableitung des Radius R aus dem räumlichen Integral undverwendet, dass Rγ = 6
R2 ist, so folgt
SII,AEH = − 12κ
∫R
dt R2(t)∫S3
√|γ(x, t)|d3x 6
1R2(t)
= − 12κ
∫R
dt R2(t)∫S3
√|γ(x, t)|d3x Rγ .
Zusammen mit dem statischen Anteil der Einstein-Hilbert-Wirkung erhält maninsgesamt die alternative Form der Einstein-Hilbert Wirkung
SAEH =1
2κ
∫R
dt
[(1− R2(t)
)∫S3
√|γ(x, t)|d3x Rγ − 2Λ
∫S3
√|γ(x, t)|d3x
]
und der dynamische Zusatzterm wird hier nicht als Korrektur des Volumen- sonderndes Krümmungsterms betrachtet. Analoges Einsetzen der charakteristischen Werteder Triangulierungen wie oben, liefert die Regge-Wirkungen:
S5,AR (R) =
∫R
dt
[R(t)− R2(t)R(t)− 3
√2
380πΛR3(t)
]
S16,AR (R) =
∫R
dt
[R(t)− R2(t)R(t)−
√2
62πΛR3(t)
]
S24,AR (R) =
∫R
dt
[R(t)− R2(t)R(t)−
√2
34πΛR3(t)
]
S600,AR (R) =
∫R
dt
[R(t)− R2(t)R(t)− 2
√2
49πΛR3(t)
]
(8.1.12)
(8.1.13)
(8.1.14)
(8.1.15)
Der Unterschied dieser beiden Betrachtungsweisen wird deutlicher, wenn man fürdie Gleichungen (8.1.7) bis (8.1.10) ebenfalls die partiell integrierte Form aus Glei-
8.1 Gleichseitige Triangulierungen 43
chung (8.1.11) verwendet. Es ergeben sich damit die zu (8.1.7) bis (8.1.10) voll-kommen äquivalenten Gleichungen:
S5R(R) =
∫R
dt
R(t)− 3
√2
380π
[3R2(t)R(t) + ΛR3(t)
]
S16R (R) =
∫R
dt
R(t)−
√2
62π
[3R2(t)R(t) + ΛR3(t)
]
S24R (R) =
∫R
dt
R(t)−
√2
34π
[3R2(t)R(t) + ΛR3(t)
]
S600R (R) =
∫R
dt
R(t)− 2
√2
49π
[3R2(t)R(t) + ΛR3(t)
]
(8.1.16)
(8.1.17)
(8.1.18)
(8.1.19)
Der einzige Unterschied ist der Vorfaktor des dynamischen Zusatzterms. In Kapitel9.1, welches sich mit den resultierenden Bewegungsgleichungen befasst, werden dieVorfaktoren genauer untersucht. Im folgenden Abschnitt wird allerdings zunächstdie Regge-Wirkung für Triangulierungen beliebiger Kantenlängen hergeleitet.
9. Die simplizialenBewegungsgleichungen
9.1. Die simplizialen Bewegungsgleichungen der
gleichseitigen Triangulierungen
Die resultierenden Bewegungsgleichungen der beiden Varianten der Regge-Wirkungder Gleichungen (8.1.12) bis (8.1.15) sowie (8.1.16) bis (8.1.19) erhält man durchExtremieren der Wirkung. Für den statischen Anteil der Regge-Wirkung alleinmacht diese Betrachtung keinen Sinn, da in diesem Fall sowohl die kosmologischeKonstante Λ als auch der Radius R proportional zur Gesamtmasse sind und somitverschwinden.
Extremieren der Wirkungen (8.1.12) bis (8.1.15)
Da sich die Wirkungen (8.1.12) bis (8.1.15) nur um den Wert des Vorfaktors un-terscheiden, extremiert man eine Wirkung der Form
SR(R) =∫R
dt[R(t)− R2(t)R(t)− aΛR3(t)
], a ∈ R+.
Damit folgt zunächst
0 !=δSR(R)δR(t)
=δR(t)δR(t)
− δ(R2R)δR(t)
− δ(aΛR3(t))δR(t)
+∂
∂t
δ(R2R)δR(t)
= 1− R2(t)− 3aΛR2(t) + 2∂
∂t
(R(t)R(t)
)= 1− R2(t)− 3aΛR2(t) + 2R(t)R(t) + 2R2(t)
= 1− 3aΛR2(t) + 2R(t)R(t) + R2(t)
und nach Auflösen erhält man
3aΛR2(t) = 1 + 2R(t)R(t) + R2(t). (9.1.1)
45
46 Die simplizialen Bewegungsgleichungen
Setzt man die jeweiligen Werte für a ein, so folgen die Bewegungsgleichungen zu
5-Zeller :19√
2802π
ΛR2(t) = 1 + 2R(t)R(t) + R2(t)
16-Zeller :17√
2353π
ΛR2(t) = 1 + 2R(t)R(t) + R2(t)
24-Zeller :17√
2191π
ΛR2(t) = 1 + 2R(t)R(t) + R2(t)
600-Zeller :47√
2385π
ΛR2(t) = 1 + 2R(t)R(t) + R2(t).
Näherungsweise ergibt dies
5-Zeller : 0, 171ΛR2(t) = 1 + 2R(t)R(t) + R2(t) (9.1.2)
16-Zeller : 0, 347ΛR2(t) = 1 + 2R(t)R(t) + R2(t) (9.1.3)
24-Zeller : 0, 641ΛR2(t) = 1 + 2R(t)R(t) + R2(t) (9.1.4)
600-Zeller : 0, 880ΛR2(t) = 1 + 2R(t)R(t) + R2(t). (9.1.5)
Extremieren der Wirkungen (8.1.16) bis (8.1.19)
Beim Extremieren der Regge-Wirkungen (8.1.16) bis (8.1.19) geht man genausovor und betrachtet eine Wirkung der Form
SR(R) =∫R
dt[R(t)− 3aR2(t)R(t)− aΛR3(t)
], a ∈ R+.
Analog folgt zunächst
3aΛR2(t) = 1 + 6aR(t)R(t) + 3aR2(t)
und nach Einsetzen der Werte für a erhält man
5-Zeller :19√
2802π
ΛR2(t) = 1 +38√
2802π
R(t)R(t) +19√
2802π
R2(t)
16-Zeller :17√
2353π
ΛR2(t) = 1 +34√
2353π
R(t)R(t) +17√
2353π
R2(t)
24-Zeller :17√
2191π
ΛR2(t) = 1 +34√
2191π
R(t)R(t) +17√
2191π
R2(t)
600-Zeller :47√
2385π
ΛR2(t) = 1 +94√
2385π
R(t)R(t) +47√
2385π
R2(t).
9.2 Ausblick hinsichtlich der Bewegungsgleichungen der Triangulierungendurch einen n-Zeller mit variabler Kantenlänge 47
Näherungsweise ergibt dies
5-Zeller : 0, 171ΛR2(t) = 1 + 0, 341R(t)R(t) + 0, 171R2(t) (9.1.6)
16-Zeller : 0, 347ΛR2(t) = 1 + 0, 694R(t)R(t) + 0, 347R2(t) (9.1.7)
24-Zeller : 0, 641ΛR2(t) = 1 + 1, 282R(t)R(t) + 0, 641R2(t) (9.1.8)
600-Zeller : 0, 880ΛR2(t) = 1 + 1, 759R(t)R(t) + 0, 880R2(t). (9.1.9)
Vergleich mit den Friedmann-Gleichungen
Vergleicht man die simplizialen Approximationen (9.1.2) bis (9.1.5) sowie (9.1.6)bis (9.1.9) mit der Friedmann-Gleichung (4.4.2.a,b) in der Form
ΛR2 = 1 + 2RR+ R2,
so erkennt man in beiden Fällen eine langsame Annäherung an diese Bewegungs-gleichung, die direkt aus der Einstein-Hilbert-Wirkung mit der Robertson-Walker-Metrik folgt. Die Güte dieser Approximation ist vergleichbar mit dem Verhältnisder Volumina der Triangulierungen und dem Volumen 2π2R3 der Oberfläche S3:
Polyeder Volumenanteil
5-Zeller 16%
16-Zeller 24%
24-Zeller 40%
600-Zeller 88%
9.2. Ausblick hinsichtlich der Bewegungsgleichungen
der Triangulierungen durch einen n-Zeller mit
variabler Kantenlänge
Stellt man noch einmal die endgültige Form der Regge-Wirkung einer Raumzeitzusammen, bei der der räumliche Anteil topologisch wie die Oberfläche S3 aussiehtund der zeitliche Anteil kontinuierlich bleibt, so hat man
SR =12
∫dt
N1(T )∑i,j=1
[2π − ϑij ] lij − Λ∫dt∑∆∈T
V∆
− 3∫R
dt
N1(T )∑i,j=1
[∂2
∂t2(2π − ϑij)
]2
[2π − ϑij ]2lij , (9.2.1)
48 Die simplizialen Bewegungsgleichungen
mit dem gesamten Öffnungswinkel
ϑij :=∑
∆3lij
αij(∆),
der über die einzelnen Flächenöffnungswinkel
αij(∆) =
arccos
l2ij(l2jk + l2ik + l2il + l2jl − l2ij − 2l2lk
)+ l2jkl
2il + l2ikl
2jl − l2jkl2jl − l2ikl2il∏
a∈k,l
√2(l2ijl
2ja + l2jal
2ia + l2ial
2ij
)−(l4ij + l4ia + l4ja
)
gegeben ist sowie dem Volumen
V 2∆ =
136
det
l2ij
12(l2ij + l2ik − l2jk)
12(l2ij + l2il − l2jl)
12(l2ij + l2ik − l2jk) l2ik
12(l2ij + l2il − l2jl)
12(l2il + l2ij − l2jl)
12(l2il + l2ik − l2lk) l2il
. (9.2.2)
Für jede Kante lij erhält man prinzipiell durch Extremieren der Wirkung oder An-wenden von Euler-Lagrange dessen Bewegungsgleichung. Hat man erstmal diesesgekoppelte Gleichungssystem der Bewegungsgleichungen aller Kantenlängen aufge-stellt, so lässt es sich (numerisch) lösen und liefert die globale Zeitentwicklung dersphärischen Raumzeit. Darüber hinaus bietet sich vermutlich an, die statistischeVerteilung der Kantenlängen zu jedem festen Zeitpunkt zu betrachten.
A. Herleitungen
A.1. Die Einstein-Hilbert-Wirkung
Die Einstein-Hilbert-Wirkung
SEH =∫ [
12κ
(R− 2Λ) + LM]√|g|d4x (A.1.1)
liefert auf Mannigfaltigkeiten ohne Rand eine zu den verallgemeinerten Einstein-schen Feldgleichungen
Rik −12gik(R− 2Λ) =
8πGc4
Tik. (A.1.2)
äquivalente Formulierung der Relativitätstheorie. Man beweist dies durch Anwen-den des Prinzips extremaler Wirkung δS != 0 bzw. Extremieren der funktionalenAbleitung von SEH .
0 !=δSEHδgik
=1
2κ
(δ(√|g|R)
δgik−
2Λδ√|g|
δgik
)+δ(√|g|LM )δgik
=
√|g|
2κ
(δR
δgik+
R√|g|δ√|g|
δgik− 2Λ√
|g|δ√|g|
δgik
)+δ√|g|LMδgik
(A.1.3)
Zur Berechnung dieser Funktionalableitungen benötigt man die zu Tik = κc2Gik
äquivalenten Formel des Energie-Impuls-Tensors [SeUr 2002, S.74, Referenzen hier-in]
Tik :=2√|g|δLMδgik
(A.1.4)
und zunächst die Definition des Riemannschen Krümmungstensors aus Gleichung(3.1.6), da der Ricci-Skalar über den Ricci-Tensor aus dem Riemannschen Krüm-mungstensor definiert ist (vgl. Gleichungen (3.1.8) und (3.1.9.a,b)). Daher betrach-tet man zunächst die Variation des Riemannschen Krümmungstensors
δRhijk = ∂jδΓhki − ∂kδΓhji + δΓhjsΓski + ΓhjsδΓ
ski − δΓhksΓsji − ΓhksδΓ
sji.
50
A.1 Die Einstein-Hilbert-Wirkung 51
Mit der Definition der kovarianten Ableitung Dj aus Gleichung (3.1.4) folgt
δRhijk = Dj(δΓhki)−Dk(δΓhji).
Verjüngung des Riemannschen Krümmungstensors liefert hieraus die Variation desRicci-Tensors
δRij = Dh(δΓhij)−Dj(δΓhhi). (A.1.5)
Kontrahiert man die verbleibenden Indizes durch Multiplikation mit gij , so erhältman die Variation des Ricci-Skalars R
δR = Rijδgij + gijδRij
Dhgij=0
= Rijδgij +Dh
(gijδΓjji − g
ijδΓhhi)
und damit auch seine Funktionalableitung
δR
δgik= Rik. (A.1.6)
Der zweite Summand Dh
(gikδΓjki − g
ijδΓhhi)liefert keinen Beitrag zur Funktional-
ableitung, da er selbst eine totale Ableitung und somit nur ein Randterm ist, derauf den betrachteten randlosen Mannigfaltigkeiten verschwindet. Abschließend be-nötigt man noch die Funktionalableitung der Determinante des metrischen Tensors√|g| =
√−g. Die Kettenregel liefert zunächst
δ√−g
δgik= − 1
2√−g
δ|g|δgik
. (A.1.7)
Entwickelt man die Determinante mit der üblichen Definition der Adjunkten Aik
von gik in|g| =
∑k
gikAik,
wobei hier ausnahmsweise keine Einsteinsche Summenkonvention gilt, so folgt fürdie Funktionalableitung unmittelbar
δ|g|δgik
= Aik,
da per Konstruktion Aik 6= Fkt(gik) gilt. Andererseits ist der zu gik inverse metri-sche Tensor gik ebenfalls über die Adjunkte durch
gik =Aik
|g|
52 Herleitungen
gegeben. Insgesamt gilt alsoδ|g|δgik
= |g| gik (A.1.8)
und durch Einsetzen von Gleichungen (A.1.4),(A.1.6) und (A.1.8) in (A.1.3) erhältman die oben angegebene Form der Einsteinschen Feldgleichungen (A.1.2).
A.2. Die Regge-Wirkung
R. Friedberg und T.D. Lee leiteten 1984 in [FrLe 1984] die Regge-Wirkung aus derEinstein-Hilbert-Wirkung ab. Der Ricci-Skalar R in der Einstein-Hilbert-Wirkungist nur für glatte Mannigfaltigkeiten und damit nicht auf einem Simplizialkomplexdefiniert. Durch eine Folge glatter Mannigfaltigkeiten, die einen Simplizialkomplexals Grenzwert haben, lässt sich der Übergang konstruieren. Für eine D-dimensionaleMannigfaltigkeit ergibt sich der Volumenterm offenbar als Summe über die einzel-nen Volumina der D-Simplizes. Es verbleibt also der Beweis des Krümmungstermsder Regge-Wirkung
SKR =∑
σD−2∈T
εσD−2VσD−2 , εσD−2 := 2π − ϑσD−2 (A.2.1)
aus dem Krümmungsterm der Einstein-Hilbert-Wirkung
SKEH =1
2κ
∫ √|g|R dDx. (A.2.2)
Hierbei ist εσD−2 der Defizit-Winkel am Simplex σD−2 und ϑσD−2 ist der entspre-chende Öffnungswinkel. Vorab sei noch bemerkt, dass bereits 1984 die Übereinstim-mung der Ausdrücke (A.2.1) und (A.2.2) in Dimension D = 2 durch das Gauß-Bonnet-Theorem gegeben war. Der hier nachskizzierte Beweis von Friedberg undLee beweist, wie bereits erwähnt, darüber hinaus einen Zusammenhang zwischenden lokalen Größen, dem Summand und dem Integrand der Form
√|g|R = 2εσD−2δ(x1)δ(x2), (A.2.3)
wobei x1 und x2 die zum Simplex σD−2 senkrechten Koordinatenachsen sind. Ausdieser stärkeren Aussage lässt sich selbstverständlich unmittelbar die Gleichheitvon (A.2.1) und (A.2.2) im Sinne des obigen Grenzprozesses folgern.
A.2 Die Regge-Wirkung 53
Dimension D = 2
Zunächst betrachtet man den Fall eines 2-dimensionalen Simplizialkomplexes ein-gebettet in einem flachen R3. Es gelten die üblichen Existenzbedingungen fürSimplizes (vgl. Anhang B). Da man zeigen möchte, dass sich die Krümmung inden Vertizes konzentriert, betrachtet man einen Vertex p und alle benachbartenVertizes 1, 2, · · ·n. Die Umgebung von p besteht also aus n Dreiecken ∆(1) :=
(p n 1), ∆(2) := (p 1 2), · · · ,∆(n) := (p n − 1 n). Jeder Punkt des Dreiecks∆(i) lässt sich mittels seines Normalenvektors ~n(i) := (nx1(i), nx2(i), nx3(i)) be-reits durch die x1- und die x2- Koordinate angeben, da für jeden Punkt die Zwangs-bedingung
3∑k=1
nxk(i)xk = 0 (A.2.4)
gilt. Die Metrik des mittels der Abbildung π : R3 → R2, (x1, x2, x3) 7→ (x1, x2)
in die (x1, x2)-Ebene projezierten Dreiecks π(∆(i)), die den Abstandsbegriff nichtverändert, ist durch
gµν = δµν +∂z
∂xµ
∂z
∂xν
gegeben. Mit der Definition
ξ(i) :=
(ξx1(i)
ξx2(i)
):=
(∂z∂x1
∂z∂x2
)(A.2.4)
=
−nx1 (i)
nx3 (i)
−nx2 (i)
nx3 (i)
(A.2.5)
lässt sich der metrische Tensor zu
g = 1 + ξ(i)ξT (i) (A.2.6)
kompakt umschreiben. Hierbei ist ξT (i) der transponierte Vektor. An Gleichung(A.2.6) lässt sich der inverse metrische Tensor
g−1 = 1− 1|g|ξξT , |g| = 1 + ξT ξ (A.2.7)
ablesen. Mit den üblichen Definitionen erhält man den Ricci-Skalar zu
R = 2|g|−2∂(ξx1 , ξx2)∂(x1, x2)
,∂(ξx1 , ξx2)∂(x1, x2)
=∂ξx1
∂x1
∂ξx2
∂x2− ∂ξx1
∂x2
∂ξx2
∂x1. (A.2.8)
Inbesondere folgt hiermit und mit Gleichung (A.2.5) die Flachheit des Inneren je-des Dreiecks. Um die behauptete Relation des Ricci-Skalars zu beweisen, führt mannoch einen weiteren Koordinatenwechsel durch. Die Wahl dieses Koordinatenwech-sels begründet sich darin, dass die Unstetigkeit von ξ(i) im Übergang von ∆(i)
54 Herleitungen
nach ∆(i+ 1) nur in der zu π(lip) orthogonalen Richtung e⊥(i) auftritt. Bezeichnedie zu π(lip) parallele Richtung mit e||(i). Man führt also den Koordinatenwechsel
P : ξ 7→
(ξ||(i)
ξ⊥(i)
):=
(ξ · e||(i)ξ · e⊥(i)
)(A.2.9)
durch. Entlang der offenen Kante lip − i, p ist also nur ξ⊥ unstetig. In allenPunkten des Dreiecks, außer der Vertizes, gilt weiter
∂ξ||(i)∂x||(i)
=∂ξ||(i)∂x⊥(i)
= 0⇒ R ∝ ∂(ξx1(i), ξx2(i))∂(x1(i), x2(i))
=∂(ξ||(i), ξ⊥(i))∂(x||(i)x⊥(i))
= 0,
was bedeutet, dass im Grenzwert der glatten Mannigfaltigkeiten, dem Simplizial-komplex, die Krümmung überall verschwindet, außer in den Vertizes. Nun lässt sichder Krümmungsterm der Einstein-Hilbert-Wirkung durch Einsetzen von Gleichung(A.2.7.b) und (A.2.8.a) in ein elementares Integral∫
ω
√|g|R dx1dx2 =
∫Ω
2(1 + ξT ξ)3/2
dξx1dξx2
=n∑i=1
∫Ω(i)
2(1 + ξ2(i))3/2
dξx1(i)dξx2(i) (A.2.10)
umschreiben, wobei zuletzt noch Ω in eine den Dreiecken ∆(i) zugeornete SummeΩ =
∑ni=1 Ω(i) zerlegt wurde. Durch den Koordinatenwechsel, der durch die Abbil-
dung P aus Gleichung (A.2.9) gegeben ist und einer längeren Rechnung, die manin [FrLe 1984, S.152f] nachlesen kann, folgt für jede Umgebung ω, die als einzigenVertes den Vertex p enthält, die Relation∫
ω
√|g|R dx1dx2 = 2εp. (A.2.11)
Definieren der Testfunktion
ψ3/2(i) :=∫
Ω(i)
dξx1dξx2
(1 + ξ2(i))3/2
liefert mit Gleichung (A.2.10) sowie (A.2.11) die gesuchte, distributionswertigeGleichheit
√|g|R = 2δ(x1)δ(x2)
n∑i=1
ψ3/2(i) = 2εpδ(x1)δ(x2), (A.2.12)
die im üblichen Sinne zu verstehen ist.
A.2 Die Regge-Wirkung 55
Beliebige Dimension D
Bis jetzt wurde nur ein zweidimensionaler Simplizialkomplex betrachtet, der ineinem R
3 eingebettet ist. Für einen Simplizialkomplex der Dimension D mit N0
Vertizes hat man nach Berücksichtigung der NK Zwangsbedingungen, die durch dieKantenlängen impliziert werden in einem flachenRN , N ∈ N, noch NN0−NK ver-bleibende Freiheitsgrade. Da jedes Gitter im RN N Freiheitsgrade der Translationund 1
2N(N − 1) Freiheitsgrade der Rotation besitzt, muss stets
NN0 −NK ≥ N +12N(N − 1)
gelten. Für sehr große Gitter lässt sich die rechte Seite vernachlässigen und manerhält
N ≥ NK
N0. (A.2.13)
Für einen sehr großen zweidimensionalen Simplizialkomplex folgt hieraus, dass dereinbettende Raum mindestens die Dimension drei haben muss. Durch Abzählenvon Freiheitsgraden, wie in [FrLe 1984, S. 156f], lässt sich zeigen, dass sich jederD-dimensionale Simplizialkomplex durch stetige Koordinatentransformationen ineinen RD+1 einbetten lässt. Transformationen dieser Art sind zugelassen, da dieEinstein-Hilbert-Wirkung kovariant ist. Um die Krümmung an einem (D − 2)-dimensionalen Teilsimplex σD−2
s zu erhalten, rotiert man das Koordinatensystemso, dass die x1- und die x2- Achse senkrecht zu diesem Teilsimplex stehen. Damitergibt sich die Metrik zu
g = 1 +
(ξξT 0
0 0
), (A.2.14)
mit ξ(i) wie vorher. Die Metrik der zweidimensionalen Oberfläche des D − 2-dimensionalen Teilsimplizes hat also erwartungsgemäß die gleiche Form wie dieeines Dreiecks im D = 2-dimensionale Fall. Setzt man dieses Ergebnis (A.2.14) indie Formel des Ricci-Skalars ein und wendet wieder die gleiche Testfunktion ψ3/2(i)
an, so erhält man die Verallgemeinerung von Gleichung (A.2.12)√|g|R = 2εD−2
s δ(x1)δ(x2), (A.2.15)
mit dem einzigen Unterschied, dass hier der Defizit-Winkel an σD−2s steht. Damit
folgt für eine Umgebung ω, die keinen weiteren D − 2-dimensionalen Teilsimplexneben σD−2
s beinhaltet, ∫ω
√|g|R dDx = 2εsVσD−2
s. (A.2.16)
56 Herleitungen
Integration über den gesamten Raum liefert die behauptete Gleichheit:∫ √|g|R dDx = 2
∑s
εsVσD−2s
(A.2.17)
A.3. Schläflis notwendige Existenzbedingungen der
verallgemeinerten Platonischen Körper
Schläflis notwendiges Kriterium für die Existenz eines regelmäßigen verallgemeine-ren Platonischen Körpers ist die Verallgemeinerung von der in n = 3 Dimensionenfür den Polyeder p, q gültigen anschaulichen Bedingung, dass die q Flächenwinkel(
1− 2p
)π (vgl. Abbildung A.1) an jedem Vertex kleiner 2π bleiben müssen:
q ·(
1− 2p
)< 2π ⇔ 1
p+
1q>
12
(A.3.1)
Die rechte Ungleichung ist die übliche Notation dieser Bedingung, die insbesonderedie Symmetrie zwischen p und q zum Ausdruck bringt. Zur Vorbereitung definiertman die Mittelpunkte Oi einer geschachtelten Folge von i-dimensionalen Teilsim-plizes mit i = 0, 1, · · ·n. In Abbildung A.1 ist diese Folge für ein 5-Eck dargestellt.
Abbildung A.1.: Beispiele der Mittelpunkte Oi anhand eines 5-Ecks aus [Cox 1973, S. 3]
Nun betrachtet man die Winkel φ, χ und ψ am Mittelpunkt On (vgl. AbbildungA.2) des Polyeders p, q, · · · , v, w, die wie folgt definiert sind:
φ := ∠(0n00, 0n01) Halber Öffnungswinkel einer Kante
χ := ∠(0n00, 0n0n−1) Anteil des Umkreises einer (n− 1)-dim. Zelle
φ := ∠(0n0n−2, 0n0n−1) π − 2ψ ist der Hyperflächen-Öffnungswinkel
A.3 Schläflis notwendige Existenzbedingungen der verallgemeinertenPlatonischen Körper 57
Abbildung A.2.: Die Winkel φ, χ, ψ am Mittelpunkt 0n modifiziert aus [Cox 1973, S. 21]
Nimmt man eine Kantenlänge 2l an, so erhält man aus dem linken Dreieck ausAbbildung A.2 sofort
R0 sinφ = 0001 = l, (A.3.2)
wobei R0 der Radius der Kugel ist, die alle Vertizes tangiert. Ganz analog kannman die Größen R(k)
0 , l(k) und φ(k) als die entsprechenden Größen der k-ten Ver-texfigur definieren Die k-te Vertexfigur erhält man durch Streichen der ersten k
Einträge von p, q, · · · , v, w. Insbesondere ist die gestrichelte Linie in AbbildungA.1 die Vertexfigur des 5-Ecks. Analog zu Gleichung (A.3.2) gilt dann für die ersteVertexfigur
R(1)0 sinφ(1) = l(1) = l cos
π
p.
Außerdem lässt sich aus Abbildung (A.3) die Beziehung
Abbildung A.3.: Das Dreieck OnO0O1 modifiziert aus [Cox 1973, S.22]
R(1)0 = l cosφ (A.3.3)
ablesen und somit gilt
cosφ =1
sinφ(1)cos
π
p⇔ sin2 φ = 1−
cos2 πp
sin2 φ(1). (A.3.4)
58 Herleitungen
Für die anderen Vertexfiguren folgt damit unmittelbar
sin2 φ(1) = 1−cos2 π
q
sin2 φ(2), · · · , sin2 φ(n−3) = 1−
cos2 πv
sin2 φ(n−2)mit φ(n−2) =
π
w.
Man sieht, dass sin2 φ iterativ durch Angabe von p, q, · · · , v, w eindeutig be-stimmt ist. Definiert man eine Funktion D durch
Dp,q,··· ,v,w := det
1 c1 0 · · · 0 0 0
c1 1 c2 . . . 0 0 0
· · · . . .
0 0 0 · · · cn−2 1 cn−1
0 0 0 . . . 0 cn−1 1
,
mit den Koeffizienten c1 := cos πp , c2 := cos πq , · · · , cn−1 := cos πw , so lässt sich diese
Iteration kompakt zu
sin2 φ =Dp,q,··· ,v,wDq,··· ,v,w
(A.3.5)
umschreiben, da die Iteration in die Funktion D, die selbst durch die Iteration
Dp,q,r,··· ,w = Dq,r,··· ,w −Dr,··· ,w cos2 π
p
mit den Anfangsbedingungen D = 1 sowie Dp = sin2 πp gegeben ist, absorbiert
wird. Durch vollständige Induktion zeigt man, dass D wie oben definiert, dieserIteration genügt. Durch wiederholte Anwendung von Gleichung (A.3.5) folgt nunsofort
sin2 φ sin2 φ(1) · · · sin2 φ(n−2) = Dp,q,··· ,v,w
und daherDp,q,··· ,v,w > 0 . (A.3.6)
Im Fall n = 3, also für p, q, bedeutet dies
Dp,q = sin2 π
p− cos2 π
q> 0 ⇔ sin2 π
p+ sin2 π
q> 1. (A.3.7)
Da natürlich immer p, q ≥ 2 gelten muss, folgt die Äquivalenz von Gleichung(A.3.7.b) mit der anschaulichen Bedingungen (A.3.1) sofort aus dem Verlauf derFunktion sin2 π
x .Im Fall n = 4, also für p, q, r, besagt Gleichung (A.3.6), dass
sinπ
psin
π
r> cos
π
q(A.3.8)
A.3 Schläflis notwendige Existenzbedingungen der verallgemeinertenPlatonischen Körper 59
gelten muss. Aus Abbildung A.3 lässt sich cosψ =cos π
q
sin πp
ablesen und es folgt dieBeziehung
sinπ
r> cosψ. (A.3.9)
Mit sin πr = − cos
(πr + π
2
)und da cosx auf (0, π) monoton fallend und bezüglich
(0, π2 ) punktsymmetrisch ist, erhält man, dass Gleichung (A.3.9) genau dann erfülltist, wenn 2π
r größer ist als der Öffnungswinkel π − 2ψ von p, q, also wenn
2πr> π − 2ψ (A.3.10)
gilt. Da π − 2ψ der Flächenöffnungswinkel von p, q ist, ist Gleichung (A.3.10)bzw. (A.3.8) anschaulich ein notwendiges Kriterium dafür, dass an einem Vertexgenug Platz ist r p, q’s anzuordnen. Dieses Kriterium liefert die Aussage, dass eshöchsten die folgenden sechs 4-dimensionalen Platonischen Körper
Polyeder Schläfli-Symbol
5-Zeller 3, 3, 38-Zeller 3, 3, 416-Zeller 4, 3, 324-Zeller 3, 4, 3120-Zeller 3, 3, 5600-Zeller 5, 3, 3
gibt. Da Schläfli’s Bedingung nur ein notwendiges aber kein hinreichendes Krite-rium ist, ist hiermit lediglich gezeigt, dass es keine weiteren 4-dimensionalen Pla-tonischen Körper geben kann. Durch explizite Konstruktion, wie beispielsweise in[Cox 1973], lässt sich zeigen, dass diese wirklich existieren.
B. Existenzbedingungen einesn-Simplizes
Die Volumenformel eines n-Simplex mit Vertizes 0, 1, · · · , n ist, wie bereits erwähnt,nach [Har 1985] durch
V 2k =
1(k!)2
det(~lai~laj
), mit a ∈ 0, 1, · · · , n , (B.0.1)
mit der n × n-Matrix(~l0i~l0j
)(also i, j ∈ 0, . . . , n , i, j 6= a), dessen Einträge
nach Gleichung (7.2.7) durch
~lai~laj =12(l2ai + l2aj − l2ij
)berechnet werden, gegeben. In dieser etwas allgemeineren Form zeichnet diese For-mel nicht mehr den Vertex 0 sondern den Vertex a aus. Da die Existenzbedingungeneines n-Simplizes fordern, dass jeder k-dimensionale Teilsimplex ein reelles, positi-ves k-dimensionales Volumen hat, d.h. dass
V 2k > 0 ∀k ∈ 0, 1, . . . , n . (B.0.2)
gilt, musste der Vertex 0 gegen den Vertex a ersetzt werden, da der Vertex 0
natürlich nicht in jedem Teilsimplex enthalten ist.
Dimension n = 3
Im Fall eines (n = 3)-Simplizes Vσ3 mit den Vertizes i, j, k, l bedeutet dies, dassdie folgenden Bedingungen gelten müssen
• Das Volumen Vσ3 ist reell und positiv:
V 2σ3 =
136
det
l2ij
12
(l2ij + l2ik − l2jk
)12
(l2ij + l2il − l2jl
)12
(l2ij + l2ik − l2jk
)l2ik
12
(l2ik + l2il − l2kl
)12
(l2ij + l2il − l2jl
)12
(l2ik + l2il − l2kl
)l2il
> 0
60
61
• Jede Fläche in σ3 hat einen reellen, positiven Flächeninhalt:
V 2(abc) =
1(2!)2
det
(l2ab
12
(l2ab + l2ac − l2bc
)12
(l2ab + l2ac − l2bc
)l2ac
)> 0
∀a, b, c ∈ i, j, k, l , a 6= b 6= c 6= a
• Jede Kante in σ3 hat eine reelle, positive Länge:
V 2ab = l2ab > 0 ∀a, b ∈ i, j, k, l , a 6= b
C. Die benötigten charakteristischenWerte der Platonischen Körper
Wie bereits erwähnt, lassen sich auf Grund der Regelmäßigkeit der (verallgemei-nerten) Platonischen Körper diverse geometrische Größen berechnen. Die folgen-den Tabellen geben die zur Quantisierung der Einstein-Hilbert-Wirkung auf dertriangulierten S3 benötigten Werte an und sind [Cox 1973, S.292f] entnommen.Von den vierdimensionalen verallgemeinerten Platonischen Körpern, deren Ober-fläche aus einem Simplizialkomplex besteht, benötigt man die Anzahlen Ni ani-dimensionalen Teilsimplizes und den Quotienten aus Radius R der Kugel, die al-le Vertizes tangiert und der Kantenlänge l. Da diese Polyeder aus Tetraedern oderOktaedern zusammengesetzt sind, benötigt man außerdem deren Anzahlen an i-dimensionalen Teilsimplizes, deren Flächenöffnungswinkel α sowie ihr Volumen Vσ3
als Funktion der Kantenlänge.
Polyeder Schläfli-Symbol N0 N1 N2 N3 R/l
5-Zeller 3, 3, 3 5 10 10 5 20,5 · 5−0,5
16-Zeller 3, 3, 4 8 24 32 16 2−0,5
24-Zeller 3, 4, 3 24 96 96 24 1
600-Zeller 3, 3, 5 120 720 1200 600 50,5+12
Polyeder Schläfli-Symbol N0 N1 N2 α Vσ3
Tetraeder 3, 3 4 6 4 70 32’√
212 l
3
Oktaeder 3, 4 6 12 8 109 28’√
23 l
3
Tabelle C.1.: Die für die Regge-Wirkung benötigten charakteristischen Werte aus[Cox 1973, S.292f]
62
D. Die statischen Regge-Wirkungen
Die genauere Form der statischen Regge-Wirkungen lautet:
S5R(R) =
∫dt
[R− 375
√2Λ
47488πR3
](D.0.1)
S16R (R) =
∫dt
[R− 75
√2Λ
4672πR3
](D.0.2)
S24R (R) =
∫dt
[R− 75
√2Λ
2528πR3
](D.0.3)
S600R (R) =
∫dt
[R− 236375
√2Λ
5808824πR3
](D.0.4)
Die dynamischen Regge-Wirkungen sind hier nicht zusätzlich angeführt, da dessenVorfaktoren die gleichen sind wie im statischen Fall.
63
Danksagung
An dieser Stelle möchte ich mich bei all denjenigen bedanken, die mich bei der Er-stellung meiner Diplomarbeit unterstützt haben. Mein herzlicher Dank gilt HerrnProf. Dr. Gernot Münster für sein Vertrauen, die interessanten Diskussionen so-wie die geduldige Betreuung meiner Arbeit. Außerdem möchte ich mich bei meinerganzen Familie dafür bedanken, dass sie nie den Glauben an mich verloren hat.Mein besonderer Dank gilt meinem Freund Daniel Kasprowski für die vielen Ge-spräche, das Korrekturlesen der Arbeit und die moralische Unterstützung währenddes gesamten Studiums, insbesondere während der Diplomarbeit. Auch bei meinemBruder Oliver Goertsches möchte ich mich für die intensiven Gespräche und dasKorrekturlesen der Arbeit besonders bedanken. Darüber hinaus bedanke ich michbei Petra Kasprowski für das kurzfristige Korrekturlesen der Arbeit. Zuletzt dankeich noch Lorenz Quack für die ausgesprochen angenehme Atmosphäre im Büro.
64
Selbstständigkeitserklärung
Hiermit versichere ich, dass ich die vorliegende Arbeit selbst angefertigt und keineweiteren als die angegebenen Hilfsmittel verwendet habe.
Münster, den 16.02.2010
65
Literaturverzeichnis
[AmDuJo 1997] J. Ambjørn, B. Durhuus und T.Jonsson, Quantum Geometry,Cambridge University Press, 1. Auflage, 1997, ISBN: 0-521-46167-7.
[Brö 2003] T. Bröcker, Lineare Algebra und Analytische Geometrie, BirkhäuserVerlag, 1. Auflage, 2004, ISBN: 3-7643-7144-7.
[Cox 1973] H.S.M. Coxeter, Regular Polytopes, Dover Publications, Inc. New York,3. Auflage, 1973, ISBN-10:0-486-61480-8.
[FrLe 1984] R. Friedberg und T.D. Lee, Derivation of Regge’s action from Ein-stein’s theory of general relativity, Nucl. Phys. B 242, 145 (1984).
[Har 1985] J.B. Hartle, Simplicial minisuperspace I. General discussion,J. Math. Phys. 26 (4), 804 (1985).
[JoTh 2008] M. Joswig und T. Theobald, Algorithmische Geometrie, Vieweg &Sohn Verlag, 1. Auflage 2008, ISBN: 978-3-8348-0281-1.
[Olo 2004] R. Oloff, Geometrie der Raumzeit, Vieweg Verlag, 3. Auflage, 2004,ISBN: 3-528-26917-0.
[Schrö 2005] U.E. Schröder, Spezielle Relativitätstheorie, Verlag Harry Deutsch, 4.Auflage, 2005, ISBN: 3-8171-1724-8.
[Schrö 2007] U.E. Schröder, Gravitation, Verlag Harry Deutsch, 4. Auflage, 2007,ISBN: 978-3-8171-1798-7.
[SeUr 2002] R.U. Sexl und H.K. Urbantke, Gravitation und Kosmologie, SpektrumVerlag, 5. Auflage, 2002, ISBN: 978-3-8274-2109-8.
[Zie 2003] G.M. Ziegler, Vorlesung Topologie im WS03/04, Online unterwww.math.tu-berlin.de/ ziegler/TOP/notes2.ps, [Stand: Januar 2010].
66