PHYM432 Relativity and Cosmology 6. Differential Geometry

Transcription

1 PHYM432 Relativity and Cosmology 6. Differential Geometry The central idea of general relativity is that gravity arrises from the curvature of spacetime. Gravity is Geometry matter tells space how to curve curved space tells matter how to move Geometry: in mathematics can be described several ways a small number of postulates (or axioms) can be given, which the other results of geometry can be derived. Euclid gave 5 axioms which fully describe Euclidean geometry 1) 2 points determine a unique line 2) parallel lines never intersect 3) all right angles are congruent...

2 Another way to specify Geometry is Differential Geometry where distances between nearby points are specified, and integral calculus is used, which fully describes the most general geometry. The results of Euclidean geometry include: Triangle: sum of angles = 180 degrees Circle: Sphere: C =2πR A =4πR 2 Euclidean geometry (with flat space) was long thought to be the only one possible up until the early 1800ʼs, when people started to realise other geometries were possible. For instance, like the curved 2D surface on a sphere (surface of Earth)

3 When people realised more than flat Euclidean geometry was possible, the question of what geometry the Universe has became an Empirical question, subject to hypothesis and tests. In other geometries space can be curved, meaning (for instance) the sum of the angles of a triangle can be different than 180 degrees. A curved 2D space triangle=270 degrees. Diagrams like this one are 2D geometries projected in 3D. Any N-dimensional geometry is a surface in a higher dimension, thought that extra dimension is completely superfluous. The full mathematics to describe the 2D surface only requires 2 dimensions.

4 In other geometries space can be curved, meaning (for instance) the sum of the angles of a triangle can be different than 180 degrees. A curved 2D space triangle=270 degrees. When trying to visualise curved space, itʼs probably best to limit yourself to 2D surfaces embedded in 3D diagrams. Imagining higher dimensions is extremely difficult (if not impossible) for people other than S. Hawking.

5 Differential geometry Begins with a systematic way of labeling points (cartesian coordinates, polar coordinates, ect). Nearby points then have nearby coordinates. ds = distance between nearby points (line element) ds ds (x, y) (r, θ) ds = ds = ds is only valid if the increments (dx,dy) are very small, but large differences can be built up with integration

6 Example: Circle x 2 + y 2 = R 2 Calculate circumference C C = C = ds [dx 2 + dy 2 ] 1/2 C =2πR

7 All geometry can be reduced to distances between two points ds All distances can be reduced to integrals of ds The exact form of used ds will vary depending on the coordinate system As Gravity is geometry, we will be able to fully describe this fundamental force with as well. ds

8 Non-Euclidean geometry of a 2D sphere use angles (θ, φ) of 3D polar coordinates r = a ds 2 = a 2 (dθ 2 +sin 2 θdφ 2 )

9 Calculate ratio of circumference to radius Can orient the polar axis at the centre of the sphere for simplicity θ =0 a θ = Θ constant theta Defines the circle C = ds R = ds 2 = a 2 (dθ 2 +sin 2 θdφ 2 ) ds 2 = a 2 sin 2 Θdφ 2 Θ 0 adθ C =2πa sin Θ C =2πa sin(r/a) R = aθ Relationship between circumference and radius

10 C =2πa sin(r/a) a is a fixed number characterising the geometry, measuring the scale at which the geometry is curved. when a is very large, the 2D sphere looks flat locally R<<a sin(x) = C = C 2πR

11 Map making: trying to show the curved 2D surface of the earth on a flat 2D map Equirectangular Mercator projection ds 2 = πa 2 [cos 2 (πy/l)dx 2 + dy 2 ] L ds 2 = 2 π cos(λ(y))a [dx 2 + dy 2 ] L

12 Manifold: a mathematical smooth space of any number of dimensions that on small enough scales resembles flat Euclidean space. In special relativity, the three spacial dimensions are combined with time to form a 4-D manifold representing spacetime (Lorentzian manifold). curved space flat space The Essence of GR is transforming our frame of reference from local inertial reference frames (where space on that small scale is approximately flat) to accelerated frames, where matter is seen to curve spacetime.

13 Back to the 2D sphere It is conventional to call this the metric for a sphere. A metric exists for any manifold which has a rule for computing distances. So our 2D sphere is our smooth surface of 2-dimensions (a manifold) and as we can compute an incremental distance for any two close by points on the sphere, a metric exists. Once you know the metric, the geometry of the space is entirely defined. However, there are different ways to write the metric for a given geometry, corresponding to the different choices of coordinate systems. For an n-dimensional Riemann space, the line element has the general form (ds) 2 = ds 2 = a 2 (dθ 2 +sin 2 θdφ 2 ) n n α=0 β=0 g αβ dx α dx β

14 Parallel Transport, Curvature, and the Affine Connection Curved space can change the direction of a vector flat space curved space Which gives a further way to characterise the curvature of spacetime.

15 Parallel Transport, Curvature, and the Affine Connection Curvature is also intimately related to parallel transport of a vector. Comparing vectors at different points in curves space is not so straightforward, as the coordinate basis vectors themselves change direction For a vector field v in a space with coordinates The position along the curve specified by parameter u Curve is described by coordinate functions v (u) =v α (u)ê α (u) x α = x α (u) In order to parallel transport a vector and preserve itʼs direction, we need to know precisely how the coordinate basis vectors change along the curve

16 v (u) =v α (u)ê α (u) dv du = dv du = ê α x β represents the rate of change of the coordinate basis vectors to the coordinate functions and is a vector itself We can rewrite this as ê α x β x β =Γλ αβê λ Γ λ αβ are the connection coefficients e.g. α =1 β =2 ê 1 x 2 =Γλ 12ê λ = ê α ˆx Γ λ 12 ê λ So the coordinate basis vector is changing by in the direction as you move along the y-coordinate direction on the curve

17 Γ λ αβ As the Affine Connection is determined only by unit vectors and the coordinates, it is uniquely determined by the metric which fully describes our curved space g αβ Γ λ αβ = 1 gσβ 2 gλσ X α + g ασ X β g αβ X σ we can ensure parallel transporting by specifying which required for each component dv α du = Thus a parallel transport of a vector: Γ λ αβ g αβ dv du =0 v i (u + du) =u i Γ i jkv j dxk du du g αβ The definition of introduces the dual metric which is the inverse of the metric g αβ g βγ = δ α γ

18 When space is curved can change. When space is flat its direction Γ i jk =0 the initial and final direction of a vector Γ i jk =0 and a parallel transported vector retains flat space curved space The affine connection is used to calculate the curvature of a manifold via the Riemann curvature tensor, which we will see later It is also used to calculate ʻstraight linesʼ in curved space via the geodesic equation, and thus is extensively used in GR

19 Lambourne begin reading ch 4 2.4, 2.6, 2.8, 2.9, , 3.5