Upload
louise-pierre
View
107
Download
4
Embed Size (px)
Citation preview
Géométrie et topologie Géométrie et topologie en cosmologie relativisteen cosmologie relativiste
J.-P.Luminet
Observatoire de Paris (LUTH)
Les 4 niveaux de la géométrieLes 4 niveaux de la géométrie
?
géométrie différentiellegéométrie différentielle
métrique : localemétrique : locale
topologietopologie
non métrique : globalenon métrique : globale
Problème des ponts de Königsberg (Euler, 1736) : Géométrie de position
• Topologie• Théorie des graphes
problèmes indépendants de la
métrique
même métriquemême métrique
différentes topologiesdifférentes topologies
même topologiemême topologie
différentes métriquesdifférentes métriques
Genre 0 Genre 1 Genre 2
€
dx 2 = dy 2 + dz2
Homotopie & degré de connexitéHomotopie & degré de connexité
Genre 0
Classes d’équivalen
ce des lacets = groupe
d’homotopie G
G(S2) = Id G(T2) = G(S1) + G(S1) = Z + Z
Sphère Tore Bretzel
domaine fondamental
a
a
a
ab b
a
a
b
bholonomies a,b G
g G
g G
Revêtement universelS2 (k>0) E2 (k=0) H2
(k<0)
pavage du plan hyperbolique
Double toreDouble tore
2 trous -> 8 côtés (octogone)
UC = H2
Pavage de H2 par des octogones
(Poincaré)
Espaces multiplement connexesEspaces multiplement connexes
• X : espace de revêtement universel => H 3, E 3, S 3 pour la cosmologie
• G : groupe d’holonomies sous-groupe discret sans point fixe du groupe d’isométries de X
at r
bt r
M = X/G
Classification des surfaces
5 surfaces euclidienn
es
E2
+ 4 MC
2 pavages du plan euclidien
• Tore • bouteille de Klein
Revêtement universel
Dom. fondamental
homogènenon
homogène
Groupe d’holonomie
2 surfaces sphériques
∞ surfaces hyperboliques(nombre de trous)
Classification des espaces homogènes 3D
E3, S3, H3• Espace de revêtement universel X
• Polyèdre Fondamental FP
• Groupe d’holonomie G
M=X/Gg∈G
Espèces d’Espaces
Espaces Euclidiens (« plats »)Espaces Euclidiens (« plats ») : 18 formes finis et infinis
Espaces SphériquesEspaces Sphériques : infinité dénombrable tous finis
Espaces Hyperboliques Espaces Hyperboliques : infinitéfinis et infinis
Espaces euclidiens (« plats »)
U.C : 0 direction compacte - 1 forme E3
Table : 1 direction compact - 2 formes
Cheminée: 2 directions compactes - 5 formes
Compacts: 3 directions compactes - 10 formes
€
X = E 3 Γ = R3 × SO(3)
G : translations, réflexions
2 Espaces « tabulaires »
5 Espaces « cheminée »
4 Espaces Compacts Non-
Orientables
6 Espaces Compacts
Orientables
Espaces hyperboliquesEspaces hyperboliques X H 3 = PSL(2,C)
• Infinité de tels espaces
• Pour les espaces hyperboliques compacts : Classification par volumes croissants
(Weeks)
• Plus petit espace connu : Espace de Weeks (vol(M) = 0.92 R3)
€
0.16668R3 < vol(M) < ∞
• X S 3 = SO(4)
• G = (Zp, Dm*, T*, O*, I*)
Espaces sphériquesEspaces sphériques
€
vol(M) =2π 2R3
G
Espaces sphériques
U.C. S3
Espaces lenticulaires S3/Zp
Espaces prismatiques S3/Dm
Espaces polyédriques S3/T*, S3/O*, S3/I*
Espaces lenticulaires
p tranches
L(p,1)
L(p,q), q <p/2
q pavages de l’hypersphère
avec p lentilles
L(p,2)
L(p,3)
120 copies
pavent S3
Espace dodécaédrique de Poincaré
©Jeff Weeks
geometry = matter-energy
Gij = k Tij
Spacetime metric ==> does
not specify global
properties of spacetime
ds2 = gij dxixj
2 Examples
1. Kerr black holes1. Kerr black holes
2. Friedmann-Lemaître 2. Friedmann-Lemaître solutionssolutions
M4 = R M
simply-connected E3, S3, H3 ?
L’espace est-il fini ou infini?
Cosmology Topology
1687 Newton : E3
1900 Schwarzschild: E3/G = T3
1917 Einstein: S3
1917 De Sitter: S3/Z2 = P3
1922 Friedmann : S3
1924 Friedmann : H3, H3/G
1927 Lemaître : P3, H3
1929 Robertson : S3, E3, H3
1931 Einstein-de Sitter: E3
1885 Fedorov : subgroups of E3
1890 Clifford-Klein : subgroups of S3
1906 Poincaré: S3/I*
1930-32 Threlfall-Seifert : S3/G
1934 Nowacki : E3/G
1960 Wolf : E3/G, S3/G
1978 Thurston, Fomenko, Weeks: H3/G
1971 Ellis: « small universe » M/G
Einstein to Weyl, 1918 : « I have an obscure feeling that spherical space must be preferred to elliptical space; the latter has a class of loops which cannot be continuously stretched to zero, it is why I like it less »
CMBCMB
ConcordancConcordance modele model
Inflation => scale invariant density Inflation => scale invariant density fluctuationsfluctuations
NOWNOW
• • Espace « plat » infini (monoconnexe) (k = 0)Espace « plat » infini (monoconnexe) (k = 0)••Densité d’énergie :Densité d’énergie : tottot = 1.00 ( = 1.00 (mm = 0.28, = 0.28, = =
0.72)0.72)• • Expansion accéléréeExpansion accélérée
T
G
Horizon
Infini
Hypothèse 1
L’univers est infini
Hypothèse 2L’univers est fini
(sans bord) mais plus grand que l’univers visible
T
G
Horizon
Hypothèse 3
L’univers est fini (sans bord) et plus petit que l’univers visible
T
G
Horizon
GG G
G G
G G G
Peut-être testablePas testable Testable
Quelle est la taille et la Quelle est la taille et la forme de l’espace ?forme de l’espace ?
Hypersphère : espace fini sans bord
Sphère = Surface (2D) d’un volume (3D)
sphérique
Lignes droites
€
x 2 + y 2 + z2 = R2
Hypersphère = Surface (3D) d’un hypervolume (4D)
€
x 2 + y 2 + z2 + w2 = R2
A finite flat space without boundary
• Torus
QuickTime™ et undécompresseur codec YUV420
sont requis pour visionner cette image.
Si le rayon d’injectivité de l’espace est plus petit que l’échelle d’observation, on doit observer des images multiples d’une même source.
Effet de mirage topologique
• zmax ~ 3 for galaxies
• zmax ~1100 for lss
Ex.: Espace de Weeks
Hypertore
Espace observé
Espace réel
Les images fantômes sont vues à différents époques (différents z)
Curvature radius
Euclidean spaces : no curvature scale
size of E3/G arbitrary
Hyperbolic spaces : 0.166 Rc
3 < vol(H3/G) ≤ ∞
Spherical spaces : 0 < vol(S3/G) ≤ vol(S3) = 22Rc
3
(Rigidity theorem)
€
RC = cH 0 |1−Ωm−Ωλ |
Spatial ScalesTopological scales
r+
r+ = outradius = smallest sphere circumscribable around the FP
r-
r- = inradius = largest sphere inscribable in the FP
rinj
rinj =injectivity radius = half the smallest geodesic from one
topological image to another
How to see topology?3D data (,,z)(galaxies, clusters) Cosmic Crystallography
2D data(CMB)T/T(,)at z ~ 1100 Statistical analysis of anisotropies
Comment détecter les images topologiques ?
• reconnaissance directeproblèmes : évolution, morphologie, angle-de-vue
•corrélations statistiques idée : les séparations (distances dans l’espace observable) entre les images multiples d’une même source sont des combinaisons simples des longueurs caractéristiques du polyèdre fondamental
Pics dans un Histogramme de
Séparations de Paires (PSH)
Cosmic Crystallography
Cosmic Crystallography: Simulations
Sky map simulation in hypertorus.
The F.P. is a cube with length = 60% the horizon size and
contains 100 « original » sources (red dots). One observes 1939 topological images (blue dots).
Pair Separation Histogram.Spikes emerge at values and with amplitudes depending on
topological lengths and holonomies.
PSH in Poincaré space
Premières images fantômes à z ~ 2
Rayonnement fossile : Carte WMAP, 2003Rayonnement fossile : Carte WMAP, 2003
T = 2,726 K - fluctuations à 0,00001 K
Chladni Patterns
Hypergeometric series, Euler, 1769
Cosmic Microwave Background
Observed on a 2-sphere
€
δT =l
∑ almYlmm
∑
€
Cl =1
2l +1alm
2
−l
l
∑
Multipole moments
The l = 0 term is often called the monopole term, and corresponds to the surface of a completely smooth and featureless sphere. In terms of the CMB, the monopole term is the 2.726 Kelvin microwave background, which is uniform out to a few milliKelvin.
The l = 0 term is often called the monopole term, and corresponds to the surface of a completely smooth and featureless sphere. In terms of the CMB, the monopole term is the 2.726 Kelvin microwave background, which is uniform out to a few milliKelvin.
The l = 1 term is called the dipole, and corresponds to a sphere with one part more positive than average and the other more negative. In terms of the CMB “positive” means warmer than
background, and “negative” means cooler.
The l = 1 term is called the dipole, and corresponds to a sphere with one part more positive than average and the other more negative. In terms of the CMB “positive” means warmer than
background, and “negative” means cooler.
The dipole variation of the CMB is approximately +/- .003 Kelvin, relative to the monopole term, and is a relic of our movement relative to the CMB, and not cosmological in origin.
The dipole variation of the CMB is approximately +/- .003 Kelvin, relative to the monopole term, and is a relic of our movement relative to the CMB, and not cosmological in origin.
The CMB multipolesQuadrupole
Power spectrum
l=180°/
Doppler peaks(Boomerang, Archeops, etc.)
Large scales (COBE, WMAP)
dTl2 = l(l+1)Cl/2
WMAP power spectrum (Bennett et al., Spergel et al. 2003)
flat infinite
universe
•Universe seems to be positively curved
= 1.02 ± 0.02 at 1
tot = 1.02 (m =0.28)
Curvature radius
(UC space S3)radius 98 Gly
€
RC = cH 0 |1−Ωm−Ωλ |
Rh
=
c
H0
dz
( 1 + z )
3
m
+
− ( 1 + z )
2
( m
+
− 1 )0
1100
∫
L’espace est-il « presque » plat??
Curvature Radius:
Horizon Radius:
Horizon 2-sphere radius 46 Gly
us
WMAP power spectrum (Bennett et al., Spergel et al. 2003)
flat infinite
universe
• Lack of power at large scales (> 60°)
L’espace est fini et a une forme précise !L’espace est fini et a une forme précise !
l = 2 quadrupole : 14%l = 3 octopole : 72%
« Low l anomalies »
flat infinite
universe CDM
l=2 l=3
error bars: 762 K2 608 K2
quadrupole plane and octopole planes aligned with local
planes
Possible explanations Not reliable : Cosmic variance, bad data analysis (“I never
believe anything less than a 5 result”) ==> wait for 2nd WMAP release… 2005? Low l alignements : Solar system effect (Schwarz et al. 2004;
Hansen et al. 2004) ==> cosmic quadrupole could be still lower!
Reliable : A special feature in the inflation potential (“Inflation can do everything”) ==> no physical model
Reliable : Other new physics/geometry, e.g. space is finite and cannot vibrate at scales larger than its size ==> non trivial topology!
Cosmic Microwave Background
€
δTT
=14
δρρ
+Φ+vb + (˙ Φ −˙ Ψ )dS∫
Origin of primordial fluctuations
Motion of plasma: Doppler
effect
Line of-sight:
Integrated Sachs-Wolfe effect
Density fluctuation +
Gravitational potential =
Sachs-Wolfe term
Simply-connected flat space
SW+D+ISW
Cut-off at large scale in cubic
torus RWULL: Phys.Rev.D69 (2004),
Simply-connected spherical space
Multiconnected spherical space
(PDS)
Aurich et al. MNRAS (2005)
Fundamental Polyhedron
from inside
S3/I* vol(PDS) = vol(S3) /120
Twist : 36°
Poincaré Dodecahedral Space
LWRLU, Nature 425, 593 (2003)
The « football Universe »
Luminet et al., Nature, 2003
36°
Power spectrum for l = 2,3,4
0=1.016, m=0.28)
Comparison to Cl data
variation of quadrupole (l=2)
and octopole (l=3) with
Best fit:
0 = 1.016(m=0.28)
Spectre de puissance simuléSpectre de puissance simulé
l
(Dodécaèdre de Poincaré – 0102 – kmax=1500)
Total
Sachs-Wolfe
Doppler
ISW
l(l+
1)C
l
Spectre de puissance simuléSpectre de puissance simulé
l
l(l+
1)C
l
-CDM
PDS
WMAP
L’espace dodécaédrique en « 2D »
Univers observable
Rayon = 53 milliards a.l.
Espace physique
Rayon = 43 milliards a.l.
Volume(Espace) = 80 % Vol(Uobs) !
Mirage cosmique !
Nearly Flat Spherical WP Spaces
Lens Prism Tetrahedral Octahedral Dodecahedral
FP
Holonomygroup
Zp D*m T* O* I*
Volume
Volume ( S
3
)
1/ p 1/4 m 1/24 1/48 1/120
min f orobservability
1+1/n2 1+1/4m2 1.025 1.015 1.009
Recall : tot = 1.054+0.048-0.041 => k =+1
Espace octaédrique
(tot > 1.015)
Espace tétraédrique
(tot > 1.025)
Volume(PDS) = 80 % Vol(Rh)
==> topological lensingSix pairs of back-to-back matched
circlestwisted by /5
Angular diameter ≤ 35°
Planck Surveyor
WMAP?
PDS predictions• fit low quadrupole
• fit low octopole
• < tot < 1.02
Pairs of Matched Circles
If Size of Space smaller than Rlss:
The lss surface overlaps
Cornish, Spergel & Starkman, 1998
Circles in the sky
Paire de
cercles
Chercher des cercles dans le ciel !
Matching is perfect (Sachs-Wolfe term alone)
Size of torus
« left » duplicate
« right » duplicate
Pairs of circles in computed PDS map
For
= 1.02(Caillerie et al. 2005)
Search for matched circlesGeneral 6 parameters search Location of first circle center (2) Location of second circle center (2) Radius of the circle (1) Relative phase of the two circles (1)
Search costWMAP : 3.106 pixels : full search takes 1023 operations
Reduced 4 parameters search (back-to-back circles) Location of first circle center (2) Radius of the circle (1) Relative phase of the two circles (1)
=> 10 million years on the computer!
No circles
Number of Circles depends on the size of space and topology
A few circles many circles
Size of circles decreases as
vol(PDS) increases
PDS excluded if PDS excluded if tottot < 1.009 < 1.009
Best fit LWRLU
Prediction of PDS :
Six pairs of back-to-back matched circles twisted by /5
Angular diameter ~ 35°
Testing PDS with WMAP observations
• Cornish et al (Phys Rev 2004): No
• Roukema et al (Astron. Astrophys. 2004): Yes• Aurich et al (MNRAS 2005): Yes?
Search for circles:
Search for circles > 25°
Back-to-back circles are NOT a generic situation
Simply-connected space
WMAP data
No signalspikes
Simulation in a flat torus
Cornish et al., 2003
If space is not homogeneous, circles are not back-to-back
Example : Klein bottle
Back-to-back Circles?
Position of matched circles depends on observer’s position
Half-turn flat space, the observer moves from (0,0,0) along x-direction
Found 6 pairs of matched circles in a dodecahedral pattern
Radius of circles 11 ± 1° => tot = 1.010 ± 0.001 (for m = 0.28 ± 0.02)
Roukema et al., 2004
Matched temperatures
Location and size of circles
Hint for 6 pairs of matched circles at tot = 1.015
Aurich, Lustig, Steiner, MNRAS 2005
Problem for inflation ? Standard models of inflation predict 1- << 1 and size
of space L >> Rlss
Can we have inflation with >1 and L >~ Rlss ?(Uzan, Ellis & Kirchner 2003, Linde 2003)
During inflation, a(t) = a0 exp(Ht) ~ 1.1 ==> Ne-foldings ~ 60 (“low scale inflation”)
Problem : fine-tuning
Quantum origin of topology?• Quantum
cosmology
• Brane cosmology
Classical GR Theorem: No
topological change after Planck era
==>
present-day topology is a remain of the
quantum era
Sum over topologiesWavefunction of the universe :
Wheeler-De Witt equation H(3g,) + R = 0
Sum over topologies dominated by small volumes and complex
topologies (Carlip, 1993)
• Closed spaces are favoured• S3 is the only closed simply-
connected manifold multiconnected closed spaces
favoured Zeldovich, Starobinsky, Goncharov, Bytsenko,
Fagundes, Linde (2004)
superspace
3-geometry
universe worldline(3g) =
Dimensions supplémentaires
Supercordes,théorie branaire
(10 ou 11 dim)
corde fermée
corde ouverte
Estampe XVIIe s., BnF