Gravitation: Tensor Calculus
|
|
- Holly Shepherd
- 6 years ago
- Views:
Transcription
1 An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
2 Manifolds Gravity as geometry Manifolds Vectors and Tensors The Metric Causality Tensor Densities Differential Forms Integration
3 Gravity as Geometry According to Einstein: The metric tensor describing the curvature of spacetime is the dynamical field responsible for gravitation. Gravity is not a field propagating through spacetime. Gravitational interactions are universal (Principle of equivalence)
4 Weak Principle of Equivalence (WEP) The inertial mass and the gravitational mass of any object are equal F = m i a F g = m g Φ with m i and m g the inertial and gravitational masses, respectively. According to the WEP: m i = m g for any object. Thus, the dynamics of a free-falling, test-particle is universal, independent of its mass; that is, a = Φ Weak Principle of Equivalence (WEP) The motion of freely-falling particles are the same in a gravitational field and a uniformly accelerated frame, in small regions of spacetime
5 Einstein Equivalence Principle In small regions of spacetime, the laws of physics reduce to those of special relativity; it is impossible to detect the existence of a gravitational field by means of local experiments. Due to the presence of the gravitational field, it is not possible to built, as in SR, a global inertial frame that stretches through spacetime. Instead, only locally inertial frames are possible; that is, inertial frames that follow the motion of individual free-falling particles in a small enough region of spacetime. Spacetime is a mathematical structure that locally looks like Minkowski or flat spacetime, but may posses nontrivial curvature over extended regions.
6 Manifolds Generally speaking, a manifold is a space that with curvature and complicated topology that locally looks like R n. Examples: R n itself. R is a line and R 2 a plane. The n-sphere, S n ; that is, the locus of all points some fixed distance from the origin in R n+1. S 1 is a circle and S 2 sphere. The n-torus T n. T 2 is the surface of a doughnut. A Riemann surface of genus g. That is, a n-torus with g holes. A set of continuous transformations such as rotations in R n. The direct product of two manifolds is a manifold.
7 Manifolds identify opposite sides genus 0 genus 1 genus 2
8 Not manifolds
9 Map: Given two sets M and N, a map φ : M N is a relationship which assigns, to each element of M, exactly one element of N. Composition: Given two maps φ : A B and ψ : B C, we define the composition ψ φ : A C by the operation (ψ φ)(a) = ψ(φ(a)). So a A, φ(a) B, and thus (ψ φ)(a) C. One-to-one map: A map φ : M N such that each element of N has at most one element of M mapped into it. Onto map: A map φ : M N such that each element of N has at least one element of M mapped into it.
10 Examples: Consider a function φ : R R. Then φ(x) = e x is one-to-one, but not onto; φ(x) = x 3 x is onto, but not one-to-one; φ(x) = x 3 is both; and φ(x) = x 2 is neither. Given a map φ : M N, the set M is known as the domain of the map φ, and the set of points in N which M gets mapped into is called the image of φ. For some subset U N, the set of elements of M which get mapped to U is called the preimage of U under φ, or φ 1 (U). A map which is both one-to-one and onto is known as invertible and there exists a corresponding inverse map φ 1 : N M by (φ 1 φ)(a) = a.
11 Consider the maps φ : R m R n that takes an m-tuple (x 1, x 2,..., x m ) to an n-tuple (y 1, y 2,..., y n ) such that: y 1 = φ 1 (x 1, x 2,..., x m ) y 2 = φ 2 (x 1, x 2,..., x m ) y n = φ n (x 1, x 2,..., x m ) The functions φ i are C p if they are continuous and p-times differentiable. The entire map φ : R m R n is C p if each of its component functions are at least C p.
12 A C 0 map is continuous but not necessarily differentiable. A C or smooth map is continuous and can be differentiated as many times as one likes. Diffeomorphisms Two sets M and N are diffeomorphic if there exists a C map φ : M N with a C inverse φ 1 : N M; the map φ is then called a diffeomorphism.
13 Open ball: The set of all points x R n such that x y < r for some fixed y R n and r R. Open set: in R n is a set constructed from an arbitrary union of open balls. In other words, V R n is open if, for any y V, there is an open ball centered at y which is completely inside V. A chart or coordinate system consists of a subset U of a set M, along with a one-to-one map φ : U R n, such that the image φ(u) is open in R.
14 A C atlas is an indexed collection of charts {(U α, φ α )} such that 1 The union of the U α is equal to M 2 The charts are smoothly sewn together. That is, if two charts overlap, U α U β, then the map (φ α φ 1 β ) takes points in φ β (U α U β ) R n onto φ α (U α U β ) R n, and all of these maps must be C where they are defined. M U # U! "! n R " # -1 " "! # " ( U )!! n R " ( U ) # # -1 " " #! these maps are only defined on the shaded regions, and must be smooth there.
15 Manifold A C n-dimensional manifold is a set M along with a maximal atlas, one that contains every possible compatible chart. The requirement of a maximal atlas is needed so two equivalent spaces with different atlases do not count as different manifolds. Notice that the existence of a manifold does not depend on an embedding.
16 Most manifolds cannot be covered by a single chart. S 1 U 1 U 2 x3 x2 x 1 (x 1, x 2, x 3) (y 1, y 2) x 3 = -1
17 Chain Rule Consider two maps f : R m R n and g : R n R l, and their composition (g f ) : R m R l and each space in terms of coordinates: x a R m, y b R n, and z c R l. Chain rule: or x a (g f )c = b x a = b f b g c x a y b. y b x a y b.
18 Vectors Consider: The set of all parameterized curves γ(λ) through p, i.e. all maps γ : R M such that p is in the image of γ. The space F of all the C smooth maps f : M R. Tangent Space T p Each curve γ(λ) through p defines a directional derivative operator, which maps f df /dλ. T p is the space of directional derivative operators along curves through p
19 Vectors Notice: also they obey the Leibniz rule ( a d dλ + b d ) dη d dξ = a d dλ + b d dη (fg) = af dg df dg + ag + bf dλ dλ dη ( = a df dλ + b df ) g + dη + bg df dη ( a dg dλ + b dg dη ) f
20 T p basis Given a coordinate chart {x µ } in an n-dimensional manifold M, there is a set of n directional derivatives at p given by the partial derivatives µ at p. p! 2! 1 x 1 x 2
21 T p basis { µ } at p form a basis for the tangent space T p. Proof: Consider a coordinate chart φ : M R n, a curve γ : R M, and a function f : M R such that f " R " M f R! -1!! " R n f! -1 x µ
22 T p basis f " R " M f R! -1!! " R n f! -1 x µ Let λ be parameter along γ, then d dλ f = d d (f γ) = dλ dλ [(f φ 1 ) (φ γ)] d(φ γ)µ (f φ 1 ) = dλ x µ = dx µ dλ µf
23 T p basis Thus, d dλ f = dx µ dλ µf implies that µ is a good coordinate basis for the tangent space T p Coordinate Basis d dλ = dx µ dλ µ ê (µ) = µ
24 Vector transformation law Given then µ = x µ x µ µ. so V µ µ = V µ µ µ x µ = V µ, x µ V µ = x µ x µ V µ Lorentz transformations V µ = Λ µ µv µ are a special case.
25 Commutators [X, Y ](f ) = X(Y (f )) Y (X(f )) [X, Y ](a f + b g) = a[x, Y ](f ) + b[x, Y ](g) [X, Y ](f g) = f [X, Y ](g) + g[x, Y ](f ) [X, Y ] µ = X α α Y µ Y α α X µ
26 One-forms A Cotangent space T p is the set of linear maps ω : T p R. A one-form df is the gradient of a function f. Action of df on a vector d/dλ: ( ) d df dλ Recall ˆθ (µ) (ê (ν) ) = δ µ ν, thus dx µ ( ν ) = x µ = df dλ. x ν = δµ ν {dx µ } are a set of basis one-forms; that is, ω = ω µ dx µ. Transformation properties: and dx µ = x µ x µ dx µ, ω µ = x µ x µ ω µ.
27 Tensors A (k, l) tensor T can be expanded T = T µ 1 µ k ν1 ν l µ1 µk dx ν 1 dx ν l, Under a coordinate transformation the components of T change according to T µ 1 µ k ν 1 ν l = x µ 1 x µ x µ k x ν 1 1 x µ x ν l T µ 1 µ k ν1 ν k x ν 1 x ν l. l The partial derivative of a tensor is not a new tensor W ν x µ = x µ x µ = x µ x µ ( x ν x µ x ν x ν ) W ν x ( ν ) x µ W x µ ν + W ν x µ x ν x µ x ν
28 The Metric: g µν The metric g µν : (0, 2) tensor, g µν = g νµ (symmetric) g = g µν 0 (non-degenerate) g µν (inverse metric) g µν is symmetric and g µν g νσ = δ σ. µ g µν and g µν are used to raise and lower indices on tensors.
29 g µν properties The metric: provides a notion of past and future allows the computation of path length and proper time: ds 2 = g µν dx µ dx ν determines the shortest distance between two points replaces the Newtonian gravitational field provides a notion of locally inertial frames and therefore a sense of no rotation determines causality, by defining the speed of light faster than which no signal can travel replaces the traditional Euclidean three-dimensional dot product of Newtonian mechanics
30 g µν canonical form Canonical form: g µν = diag ( 1, 1,..., 1, +1, +1,..., +1, 0, 0,..., 0) If g µν is the metric in a n-dimension of the manifold M, and s is the number of +1 s in the canonical form, and t is the number of 1 s, then s t is the signature of g µν and s + t rank. If g µν is nondegenerate, the rank is equal to the dimension n. If g µν is continuous, the rank and signature of the metric tensor field are the same at every point. If all of the signs are positive (t = 0), g µν is called Euclidean or Riemannian or positive definite If there is a single minus (t = 1), g µν is called Lorentzian or pseudo-riemannian, If g µν with some +1 s and some 1 s is called indefinite The spacetimes of interest in general relativity have Lorentzian metrics.
31 Riemann normal coordinates: At any point p there exists a coordinate system such that: g µν takes its canonical form the first derivatives σ g µν all vanish the second derivatives ρ σ g µν cannot be made in general to all vanish the associated basis vectors constitute a local Lorentz frame. Notice: In Riemann normal coordinates, g µν at p looks, to first order, like the flat or Minkowski metric η µν. That is, in a small enough regions, the spacetime looks like flat or Minkowski space (local flatness theorem).
32 Proof: local flatness theorem g µ ν = xµ x µ Taylor expand both sides with x µ (p) = x µ (p) = 0 ν x gµν xν x µ = + ( ) x µ x µ x µ + 1 ( ) 2 x µ x µ 2 p x µ 1 x µ 1 x µ 2 2 p ( 1 3 x µ ) x µ 6 x µ 1 x µ 2 x µ 1 x µ 2 x µ 3 +, 3 p Thus to second order (g ) ( + g ) ( p p x + g ) p x x = + ( x x ( x x ) ( x x 2 x g x + p x x x g + x ) x x x g x p 3 x x x x g + 2 x x x 2 x x x g + x 2 x x x x g + x x x x g ) p x x.
33 Proof: local flatness theorem (g ) ( + g ) ( p p x + g ) p x x = + ( x x ( x x ) ( x x 2 x g x + p x x x g + x ) x x x g x p 3 x x x x g + 2 x x x 2 x x x g + x 2 x x x x g + x x x x g ) p x x. 16 numbers in ( x µ / x µ ) p to bring g µ ν (p) into a canonical form 40 numbers in ( 2 x µ / x µ 1 x µ 2 ) p to zero out the 40 components in σ g µ ν (p) 80 number in ( 3 x µ / x µ 1 x µ 2 x µ 3 ) p to zero out 80 of the 100 components in ρ σ g µ ν (p) Thus, the deviation from flatness is measured by 20 coordinate-independent degrees of freedom representing the second derivatives of the metric tensor field (Riemann curvature tensor).
34 Causality Initial-value problem or formulation: Given the appropriate initial data or state state of a system, the subsequent dynamical evolution of the system is uniquely determined. Causality: Future events are a consequence of past events. Fundamental principle: no signals can travel faster than the speed of light. Let (M, g µν ) be a spacetime, if a continuous choice of future and past is possible as one varies p in M, one says that M is time orientable. Lema: Let (M, g µν ) be time orientable, then there exists a smooth non-vanishing tim-elike vector field t µ on M.
35 Causality Causal curve: a curve γ that at every point p γ has a tangent t µ that is time-like or null. Causal future J + (S): Given any S M, the causal future of S is given by J + (S) M that can be reached from S by following a future-directed causal curves. Chronological future I + (S): Given any S M, the causal future of S is given by I + (S) M that can be reached from S by following a future-directed time-like curves. Notice: I + (S) J + (S) The causal past J (S) and chronological past I (S) are defined analogously.
36 Causality Achronal: A subset S M is called achronal if no two points in S are connected by a time-like curve. Future domain of dependence D + (S): Given a closed achronal set S, D + (S) is the set of points p M such that every past directed inextendible (goes on forever) causal curve through p intersects S. Future Cauchy horizon H + (S): The boundary of D + (S) (null surface). Notice: S D + (S) J + (S)
37 Causality Information at S is sufficient to predict the situation in p. Domain of dependence: D(S) = D + (S) D (S) Cauchy surface Σ: A closed achronal surface Σ is said to be a Cauchy surface if the domain of dependence is the entire manifold, i.e. D(Σ) = M A space-time (M, g µν ) which possesses a Cauchy surface is said to be globally hyperbolic.
38 Closed Timelike Curves Closed Timelike Curve: A forward directed curve that is everywhere time-like and intersects itself. Example: Consider the 2-dimensional spacetime (M, g µν ) with coordinates {t, x} with topology R S 1 ; that is, with coordinates (t, x) and (t, x + 1) identified, one can show that the metric ds 2 = cos (λ) dt 2 2 sin (λ) dt dx + cos (λ) dx 2 with λ = cot 1 t has closed time-like curves for t > 0 and a Cauchy horizon surface at t = 0.
39 Tensor Densities Levi-Civita symbol: +1 if µ 1 µ 2 µ n is an even permutation of 01 (n 1), ɛ µ1 µ 2 µ n = 1 if µ 1 µ 2 µ n is an odd permutation of 01 (n 1), 0 otherwise. It has the same components in any coordinate system It is not a tensor since it does not to change under coordinate transformations.
40 Tensor Densities Given some n n matrix M µ µ, the determinant M obeys ɛ µ 1 µ 2 µ n M = ɛ µ 1 µ 2 µ n M µ 1 µ 1 M µ 2 µ 2 M µn µ n. If M µ µ = x µ, x µ ɛ µ 1 µ = x µ 2 µ n x µ ɛ x µ1 x µ 2 µ 1 µ 2 µ n x µ 1 x µ 2 x µn x µ n Notice: It transforms almost as a tensor. Objects which transform in this way are known as tensor densities..
41 Tensor Densities g µ ν = x µ x ν g µν x µ x ν by taking the determinant in both sides one gets thus, g is not a tensor. x µ g(x µ ) = x µ 2 g(x µ ). Tensor density weight: The weight of a density is given by the power of the Jacobian. E.g. the Levi-Civita symbol is a tensor density of weight 1 and the determinant of the metric g is a scalar density of weight -2.
42 Levi-Civita tensor Given the Levi-Civita symbol, we can then define Levi-Civita tensor: ɛ µ1 µ 2 µ n = g ɛ µ1 µ 2 µ n. which will transform like a tensor.
43 Differential Forms Differential forms: A differential p-form is a (0, p) tensor which is completely antisymmetric. Examples: Scalars are 0-forms Dual vectors are 1-forms The electromagnetic tensor F µν is a 2-form ɛ µνρσ is a 4-form.
44 Differential Forms Λ p (M) is the space of all p-form fields over a manifold M. The number of linearly independent p-forms on an n-dimensional vector space is n!/(p!(n p)!). Thus, in a 4-dimensional spacetime there is one linearly independent 0-form, four 1-forms, six 2-forms, four 3-forms, and one 4-form. There are no p-forms for p > n.
45 Wedge Product: Given a p-form A and a q-form B, the wedge product A B as (A B) µ1 µ p+q = the result is a (p + q)-form. (p + q)! A [µ1 µ p! q! p B µp+1 µ p+q]. Example: (A B) µν = 2A [µ B ν] = A µ B ν A ν B µ. Notice: A B = ( 1) pq B A, so you can alter the order of a wedge product if you are careful with signs.
46 Exterior Derivative: (da) µ1 µ p+1 = (p + 1) [µ1 A µ2 µ p+1 ]. the result is a (p + 1)-form and thus a tensor. Example: (dφ) µ = µ φ. d(da) = 0, for any form A, a consequence that α β = β α. Property: d(ω η) = (dω) η + ( 1) p ω (dη) with ω a p-form and η a q-form.
47 Hodge duality: Hodge star operator on an n-dimensional manifold as a map from p-forms to (n p)-forms, ( A) µ1 µ n p = 1 p! ɛν 1 ν p µ1 µ n p A ν1 ν p, The Hodge dual does depend on the metric of the manifold If s is the number of minus signs in the eigenvalues of the metric, A = ( 1) s+p(n p) A, If A (n p) is an (n p)-form and B (p) is a p-form, (A (n p) B (p) ) R.
48 Cross Product If we restrict (A (n p) B (p) ) R. to the case of 3-dimensional Euclidean space, we get (U V ) i = ɛ i jk U j V k. which is the conventional cross product. It only exists in 3-dimensions because only in 3-dimensions do we have a map like this from two dual vectors to a third dual vector.
49 E&M revised µ F νµ = 4πJ ν [µ F νλ] = 0 thus df = 0. There must therefore be a one-form A µ such that F = da. The one-form A µ is the familiar vector potential of electromagnetism, Gauge invariance: The theory is invariant under A A + dλ for some scalar (zero-form) λ. The inhomogeneous Maxwell s equations are given by d( F ) = 4π( J),
50 Integration In ordinary calculus on R n the volume element d n x transforms as d n x x µ = x µ d n x. Identify thus d n x dx 0 dx n 1. dx 0 dx n 1 = 1 n! ɛ µ 1 µ n dx µ 1 dx µn, under a coordinate transformation, we have that ɛ µ1 µ n dx µ 1 x µ 1 µn x dx µn = ɛ µ1 µ n dx µ 1 dx µ n x µ 1 x µ n = x µ ɛ µ dx µ 1 µ 1 n dx µ n. x µ therefore volume element d n x transforms as a density, not a tensor.
51 Invariant Volume Element : g d n x = g dx 0 dx n 1 = g dx 0 dx (n 1) Integral: of a scalar function φ(x) in a n-dimensional manifold M I = φ(x) g d n x Stokes Theorem: Consider n-manifold M with boundary M, and an (n 1)-form ω on M, then dω = ω. M M
Chapter 7 Curved Spacetime and General Covariance
Chapter 7 Curved Spacetime and General Covariance In this chapter we generalize the discussion of preceding chapters to extend covariance to more general curved spacetimes. 145 146 CHAPTER 7. CURVED SPACETIME
More informationGravitation: Special Relativity
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More information2 Manifolds. December 1997 Lecture Notes on General Relativity Sean M. Carroll
December 1997 Lecture Notes on General Relativity Sean M. Carroll 2 Manifolds After the invention of special relativity, Einstein tried for a number of years to invent a Lorentz-invariant theory of gravity,
More informationCurved Spacetime I. Dr. Naylor
Curved Spacetime I Dr. Naylor Last Week Einstein's principle of equivalence We discussed how in the frame of reference of a freely falling object we can construct a locally inertial frame (LIF) Space tells
More informationCurved spacetime and general covariance
Chapter 7 Curved spacetime and general covariance In this chapter we generalize the discussion of preceding chapters to extend covariance to more general curved spacetimes. 219 220 CHAPTER 7. CURVED SPACETIME
More informationInitial-Value Problems in General Relativity
Initial-Value Problems in General Relativity Michael Horbatsch March 30, 2006 1 Introduction In this paper the initial-value formulation of general relativity is reviewed. In section (2) domains of dependence,
More informationÜbungen zu RT2 SS (4) Show that (any) contraction of a (p, q) - tensor results in a (p 1, q 1) - tensor.
Übungen zu RT2 SS 2010 (1) Show that the tensor field g µν (x) = η µν is invariant under Poincaré transformations, i.e. x µ x µ = L µ νx ν + c µ, where L µ ν is a constant matrix subject to L µ ρl ν ση
More informationProblem 1, Lorentz transformations of electric and magnetic
Problem 1, Lorentz transformations of electric and magnetic fields We have that where, F µν = F µ ν = L µ µ Lν ν F µν, 0 B 3 B 2 ie 1 B 3 0 B 1 ie 2 B 2 B 1 0 ie 3 ie 2 ie 2 ie 3 0. Note that we use the
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationBlack Holes and Thermodynamics I: Classical Black Holes
Black Holes and Thermodynamics I: Classical Black Holes Robert M. Wald General references: R.M. Wald General Relativity University of Chicago Press (Chicago, 1984); R.M. Wald Living Rev. Rel. 4, 6 (2001).
More informationEinstein Toolkit Workshop. Joshua Faber Apr
Einstein Toolkit Workshop Joshua Faber Apr 05 2012 Outline Space, time, and special relativity The metric tensor and geometry Curvature Geodesics Einstein s equations The Stress-energy tensor 3+1 formalisms
More informationPhysics 236a assignment, Week 2:
Physics 236a assignment, Week 2: (October 8, 2015. Due on October 15, 2015) 1. Equation of motion for a spin in a magnetic field. [10 points] We will obtain the relativistic generalization of the nonrelativistic
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY
INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),
More informationSyllabus. May 3, Special relativity 1. 2 Differential geometry 3
Syllabus May 3, 2017 Contents 1 Special relativity 1 2 Differential geometry 3 3 General Relativity 13 3.1 Physical Principles.......................................... 13 3.2 Einstein s Equation..........................................
More informationProblem Set #1: 1.1, 1.3, 1.7, 1.10, 1.13 (Due Monday Sept. 23rd)
Chapter 1 Special Relativity Problem Set #1: 1.1, 1.3, 1.7, 1.10, 1.13 (Due Monday Sept. 23rd) 1.1 Minkowski space In Newtonian physics the three spatial dimensions x, y and z are connected by coordinate
More informationIntroduction to relativistic quantum mechanics
Introduction to relativistic quantum mechanics. Tensor notation In this book, we will most often use so-called natural units, which means that we have set c = and =. Furthermore, a general 4-vector will
More informationHOMOGENEOUS AND INHOMOGENEOUS MAXWELL S EQUATIONS IN TERMS OF HODGE STAR OPERATOR
GANIT J. Bangladesh Math. Soc. (ISSN 166-3694) 37 (217) 15-27 HOMOGENEOUS AND INHOMOGENEOUS MAXWELL S EQUATIONS IN TERMS OF HODGE STAR OPERATOR Zakir Hossine 1,* and Md. Showkat Ali 2 1 Department of Mathematics,
More information1.13 The Levi-Civita Tensor and Hodge Dualisation
ν + + ν ν + + ν H + H S ( S ) dφ + ( dφ) 2π + 2π 4π. (.225) S ( S ) Here, we have split the volume integral over S 2 into the sum over the two hemispheres, and in each case we have replaced the volume-form
More informationTHE INITIAL VALUE FORMULATION OF GENERAL RELATIVITY
THE INITIAL VALUE FORMULATION OF GENERAL RELATIVITY SAM KAUFMAN Abstract. The (Cauchy) initial value formulation of General Relativity is developed, and the maximal vacuum Cauchy development theorem is
More informationGravitation: Gravitation
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationClass Meeting # 12: Kirchhoff s Formula and Minkowskian Geometry
MATH 8.52 COURSE NOTES - CLASS MEETING # 2 8.52 Introduction to PDEs, Spring 207 Professor: Jared Speck Class Meeting # 2: Kirchhoff s Formula and Minkowskian Geometry. Kirchhoff s Formula We are now ready
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationQuantum Field Theory Notes. Ryan D. Reece
Quantum Field Theory Notes Ryan D. Reece November 27, 2007 Chapter 1 Preliminaries 1.1 Overview of Special Relativity 1.1.1 Lorentz Boosts Searches in the later part 19th century for the coordinate transformation
More informationGeometry of SpaceTime Einstein Theory. of Gravity. Max Camenzind CB Sept-2010-D5
Geometry of SpaceTime Einstein Theory of Gravity Max Camenzind CB Sept-2010-D5 Lorentz Transformations Still valid Locally Vector notation for events (µ,ν=0,..,3) x γ 1 x vγ = 2 x 0 0 3 x 0 vγ γ 0 0 x
More informationTensor Calculus, Part 2
Massachusetts Institute of Technology Department of Physics Physics 8.962 Spring 2002 Tensor Calculus, Part 2 c 2000, 2002 Edmund Bertschinger. 1 Introduction The first set of 8.962 notes, Introduction
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationSpacetime Geometry. Beijing International Mathematics Research Center 2007 Summer School
Spacetime Geometry Beijing International Mathematics Research Center 2007 Summer School Gregory J. Galloway Department of Mathematics University of Miami October 29, 2007 1 Contents 1 Pseudo-Riemannian
More informationgoing vertically down, L 2 going horizontal. Observer O' outside the lift. Cut the lift wire lift accelerates wrt
PC4771 Gravitation Lectures 3&4 Einstein lift experiment Observer O in a lift, with light L 1 going vertically down, L 2 going horizontal Observer O outside the lift Cut the lift wire lift accelerates
More informationGeneral Relativity and Cosmology Mock exam
Physikalisches Institut Mock Exam Universität Bonn 29. June 2011 Theoretische Physik SS 2011 General Relativity and Cosmology Mock exam Priv. Doz. Dr. S. Förste Exercise 1: Overview Give short answers
More information3 Parallel transport and geodesics
3 Parallel transport and geodesics 3.1 Differentiation along a curve As a prelude to parallel transport we consider another form of differentiation: differentiation along a curve. A curve is a parametrized
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More informationLecture 9: RR-sector and D-branes
Lecture 9: RR-sector and D-branes José D. Edelstein University of Santiago de Compostela STRING THEORY Santiago de Compostela, March 6, 2013 José D. Edelstein (USC) Lecture 9: RR-sector and D-branes 6-mar-2013
More informationWeek 6: Differential geometry I
Week 6: Differential geometry I Tensor algebra Covariant and contravariant tensors Consider two n dimensional coordinate systems x and x and assume that we can express the x i as functions of the x i,
More informationPHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH
PHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH 1. Differential Forms To start our discussion, we will define a special class of type (0,r) tensors: Definition 1.1. A differential form of order
More information16. Einstein and General Relativistic Spacetimes
16. Einstein and General Relativistic Spacetimes Problem: Special relativity does not account for the gravitational force. To include gravity... Geometricize it! Make it a feature of spacetime geometry.
More informationThe Klein-Gordon Equation Meets the Cauchy Horizon
Enrico Fermi Institute and Department of Physics University of Chicago University of Mississippi May 10, 2005 Relativistic Wave Equations At the present time, our best theory for describing nature is Quantum
More informationGeneral Relativity and Differential
Lecture Series on... General Relativity and Differential Geometry CHAD A. MIDDLETON Department of Physics Rhodes College November 1, 2005 OUTLINE Distance in 3D Euclidean Space Distance in 4D Minkowski
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationVectors. January 13, 2013
Vectors January 13, 2013 The simplest tensors are scalars, which are the measurable quantities of a theory, left invariant by symmetry transformations. By far the most common non-scalars are the vectors,
More informationStability and Instability of Black Holes
Stability and Instability of Black Holes Stefanos Aretakis September 24, 2013 General relativity is a successful theory of gravitation. Objects of study: (4-dimensional) Lorentzian manifolds (M, g) which
More informationCurved Spacetime... A brief introduction
Curved Spacetime... A brief introduction May 5, 2009 Inertial Frames and Gravity In establishing GR, Einstein was influenced by Ernst Mach. Mach s ideas about the absolute space and time: Space is simply
More informationClassical differential geometry of two-dimensional surfaces
Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly
More informationThe principle of equivalence and its consequences.
The principle of equivalence and its consequences. Asaf Pe er 1 January 28, 2014 This part of the course is based on Refs. [1], [2] and [3]. 1. Introduction We now turn our attention to the physics of
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationBremen notes on black hole physics
Bremen notes on black hole physics Martin Scholtz and Norman Gürlebeck May 16, 2017 2 Contents 1 Introduction 5 1.1 Classical notion: Escape velocity.................................. 5 1.2 Evidence for
More informationRigidity of Black Holes
Rigidity of Black Holes Sergiu Klainerman Princeton University February 24, 2011 Rigidity of Black Holes PREAMBLES I, II PREAMBLE I General setting Assume S B two different connected, open, domains and
More informationCHAPTER 4 GENERAL COORDINATES. 4.1 General coordinate transformations
CHAPTER 4 GENERAL COORDINATES No one can understand the new law of gravitation without a thorough knowledge of the theory of invariants and of the calculus of variations J. J. Thomson Royal Society, 1919
More informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More informationIntroduction to General Relativity
Introduction to General Relativity 1 Recall Newtonian gravitation: Clearly not Lorentz invariant, since Laplacian appears rather than d'alembertian. No attempt to find Lorentz invariant equations that
More informationAn introduction to General Relativity and the positive mass theorem
An introduction to General Relativity and the positive mass theorem National Center for Theoretical Sciences, Mathematics Division March 2 nd, 2007 Wen-ling Huang Department of Mathematics University of
More informationPart 3 General Relativity
Part 3 General Relativity H.S. Reall 1 Introduction Special relativity has a preferred class of observers: inertial (non-accelerating) observers. Associated to any such observer is a set of coordinates
More informationPAPER 309 GENERAL RELATIVITY
MATHEMATICAL TRIPOS Part III Monday, 30 May, 2016 9:00 am to 12:00 pm PAPER 309 GENERAL RELATIVITY Attempt no more than THREE questions. There are FOUR questions in total. The questions carry equal weight.
More informationCovariant Formulation of Electrodynamics
Chapter 7. Covariant Formulation of Electrodynamics Notes: Most of the material presented in this chapter is taken from Jackson, Chap. 11, and Rybicki and Lightman, Chap. 4. Starting with this chapter,
More informationNotes on General Relativity Linearized Gravity and Gravitational waves
Notes on General Relativity Linearized Gravity and Gravitational waves August Geelmuyden Universitetet i Oslo I. Perturbation theory Solving the Einstein equation for the spacetime metric is tremendously
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationGeneral Relativity (j µ and T µν for point particles) van Nieuwenhuizen, Spring 2018
Consistency of conservation laws in SR and GR General Relativity j µ and for point particles van Nieuwenhuizen, Spring 2018 1 Introduction The Einstein equations for matter coupled to gravity read Einstein
More informationCovariant electrodynamics
Lecture 9 Covariant electrodynamics WS2010/11: Introduction to Nuclear and Particle Physics 1 Consider Lorentz transformations pseudo-orthogonal transformations in 4-dimentional vector space (Minkowski
More informationA5682: Introduction to Cosmology Course Notes. 2. General Relativity
2. General Relativity Reading: Chapter 3 (sections 3.1 and 3.2) Special Relativity Postulates of theory: 1. There is no state of absolute rest. 2. The speed of light in vacuum is constant, independent
More informationA873: Cosmology Course Notes. II. General Relativity
II. General Relativity Suggested Readings on this Section (All Optional) For a quick mathematical introduction to GR, try Chapter 1 of Peacock. For a brilliant historical treatment of relativity (special
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationProjective geometry and spacetime structure. David Delphenich Bethany College Lindsborg, KS USA
Projective geometry and spacetime structure David Delphenich Bethany College Lindsborg, KS USA delphenichd@bethanylb.edu Affine geometry In affine geometry the basic objects are points in a space A n on
More informationcarroll/notes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general
http://pancake.uchicago.edu/ carroll/notes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity. As with any major theory in physics, GR has been
More informationhas a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity.
http://preposterousuniverse.com/grnotes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity. As with any major theory in physics, GR has been framed
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationCALCULUS ON MANIFOLDS
CALCULUS ON MANIFOLDS 1. Manifolds Morally, manifolds are topological spaces which locally look like open balls of the Euclidean space R n. One can construct them by piecing together such balls ( cells
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationGeorgia Tech PHYS 6124 Mathematical Methods of Physics I
Georgia Tech PHYS 6124 Mathematical Methods of Physics I Instructor: Predrag Cvitanović Fall semester 2012 Homework Set #6a due Thursday, October 25, 2012 Notes for lectures 14 and 15: Calculus on smooth
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationRelativistic Mechanics
Physics 411 Lecture 9 Relativistic Mechanics Lecture 9 Physics 411 Classical Mechanics II September 17th, 2007 We have developed some tensor language to describe familiar physics we reviewed orbital motion
More informationGravitational waves, solitons, and causality in modified gravity
Gravitational waves, solitons, and causality in modified gravity Arthur Suvorov University of Melbourne December 14, 2017 1 of 14 General ideas of causality Causality as a hand wave Two events are causally
More informationLevel sets of the lapse function in static GR
Level sets of the lapse function in static GR Carla Cederbaum Mathematisches Institut Universität Tübingen Auf der Morgenstelle 10 72076 Tübingen, Germany September 4, 2014 Abstract We present a novel
More informationAccelerated Observers
Accelerated Observers In the last few lectures, we ve been discussing the implications that the postulates of special relativity have on the physics of our universe. We ve seen how to compute proper times
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationt, H = 0, E = H E = 4πρ, H df = 0, δf = 4πJ.
Lecture 3 Cohomologies, curvatures Maxwell equations The Maxwell equations for electromagnetic fields are expressed as E = H t, H = 0, E = 4πρ, H E t = 4π j. These equations can be simplified if we use
More informationMath 114: Course Summary
Math 114: Course Summary Rich Schwartz September 25, 2009 General Information: Math 114 is a course in real analysis. It is the second half of the undergraduate series in real analysis, M113-4. In M113,
More informationLecture: Lorentz Invariant Dynamics
Chapter 5 Lecture: Lorentz Invariant Dynamics In the preceding chapter we introduced the Minkowski metric and covariance with respect to Lorentz transformations between inertial systems. This was shown
More informationProblem Set #4: 4.1, 4.3, 4.5 (Due Monday Nov. 18th) f = m i a (4.1) f = m g Φ (4.2) a = Φ. (4.4)
Chapter 4 Gravitation Problem Set #4: 4.1, 4.3, 4.5 (Due Monday Nov. 18th) 4.1 Equivalence Principle The Newton s second law states that f = m i a (4.1) where m i is the inertial mass. The Newton s law
More informationLectures in Discrete Differential Geometry 2 Surfaces
Lectures in Discrete Differential Geometry 2 Surfaces Etienne Vouga February 4, 24 Smooth Surfaces in R 3 In this section we will review some properties of smooth surfaces R 3. We will assume that is parameterized
More informationA Brief Introduction to Relativistic Quantum Mechanics
A Brief Introduction to Relativistic Quantum Mechanics Hsin-Chia Cheng, U.C. Davis 1 Introduction In Physics 215AB, you learned non-relativistic quantum mechanics, e.g., Schrödinger equation, E = p2 2m
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More information(Non-)Causality in General Relativity
(Non-)Causality in General Relativity The Gödel universe Atle Hahn GFM, Universidade de Lisboa Lisbon, 12th March 2010 Contents: 1 Review 2 The Gödel solutions, part I 3 Mathematical Intermezzo 4 The Gödel
More informationSPECIAL RELATIVITY AND ELECTROMAGNETISM
SPECIAL RELATIVITY AND ELECTROMAGNETISM MATH 460, SECTION 500 The following problems (composed by Professor P.B. Yasskin) will lead you through the construction of the theory of electromagnetism in special
More informationChapter 2 Lorentz Connections and Inertia
Chapter 2 Lorentz Connections and Inertia In Special Relativity, Lorentz connections represent inertial effects present in non-inertial frames. In these frames, any relativistic equation acquires a manifestly
More informationGeneral Relativity in a Nutshell
General Relativity in a Nutshell (And Beyond) Federico Faldino Dipartimento di Matematica Università degli Studi di Genova 27/04/2016 1 Gravity and General Relativity 2 Quantum Mechanics, Quantum Field
More informationIntroduction to General Relativity
Introduction to General Relativity Lectures by Igor Pesando Slides by Pietro Fré Virgo Site May 22nd 2006 The issue of reference frames Since oldest and observers antiquity the Who is at motion? The Sun
More informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
More informationA local characterization for constant curvature metrics in 2-dimensional Lorentz manifolds
A local characterization for constant curvature metrics in -dimensional Lorentz manifolds Ivo Terek Couto Alexandre Lymberopoulos August 9, 8 arxiv:65.7573v [math.dg] 4 May 6 Abstract In this paper we
More informationGravitation: Cosmology
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationAn Overview of Mathematical General Relativity
An Overview of Mathematical General Relativity José Natário (Instituto Superior Técnico) Geometria em Lisboa, 8 March 2005 Outline Lorentzian manifolds Einstein s equation The Schwarzschild solution Initial
More informationDerivatives in General Relativity
Derivatives in General Relativity One of the problems with curved space is in dealing with vectors how do you add a vector at one point in the surface of a sphere to a vector at a different point, and
More informationSpecial and General Relativity (PHZ 4601/5606) Fall 2018 Classwork and Homework. Every exercise counts 10 points unless stated differently.
1 Special and General Relativity (PHZ 4601/5606) Fall 2018 Classwork and Homework Every exercise counts 10 points unless stated differently. Set 1: (1) Homework, due ( F ) 8/31/2018 before ( ) class. Consider
More informationIntegration of non linear conservation laws?
Integration of non linear conservation laws? Frédéric Hélein, Institut Mathématique de Jussieu, Paris 7 Advances in Surface Theory, Leicester, June 13, 2013 Harmonic maps Let (M, g) be an oriented Riemannian
More informationwith a given direct sum decomposition into even and odd pieces, and a map which is bilinear, satisfies the associative law for multiplication, and
Chapter 2 Rules of calculus. 2.1 Superalgebras. A (commutative associative) superalgebra is a vector space A = A even A odd with a given direct sum decomposition into even and odd pieces, and a map A A
More informationLecture I: Vectors, tensors, and forms in flat spacetime
Lecture I: Vectors, tensors, and forms in flat spacetime Christopher M. Hirata Caltech M/C 350-17, Pasadena CA 91125, USA (Dated: September 28, 2011) I. OVERVIEW The mathematical description of curved
More informationMathematical Relativity, Spring 2017/18 Instituto Superior Técnico
Mathematical Relativity, Spring 2017/18 Instituto Superior Técnico 1. Starting from R αβµν Z ν = 2 [α β] Z µ, deduce the components of the Riemann curvature tensor in terms of the Christoffel symbols.
More informationChapter 2 General Relativity and Black Holes
Chapter 2 General Relativity and Black Holes In this book, black holes frequently appear, so we will describe the simplest black hole, the Schwarzschild black hole and its physics. Roughly speaking, a
More information