Corso di Relativit Generale I Parte Fondamenti di

  • Slides: 82
Download presentation
Corso di Relatività Generale I Parte Fondamenti di Geometria Differenziale e Relatività Generale

Corso di Relatività Generale I Parte Fondamenti di Geometria Differenziale e Relatività Generale

Summary of Riemanian Geometry and Vielbein formulation Manifolds

Summary of Riemanian Geometry and Vielbein formulation Manifolds

Introduction to manifolds

Introduction to manifolds

Privileged observers and affine manifolds Both Newtonian Physics and Special Relativity have privileged observers

Privileged observers and affine manifolds Both Newtonian Physics and Special Relativity have privileged observers Affine Manifold

Affine Manifolds

Affine Manifolds

Curved Manifolds and Atlases The intuitive idea of an atlas of open charts, suitably

Curved Manifolds and Atlases The intuitive idea of an atlas of open charts, suitably reformulated in mathematical terms, provides the very definition of a differentiable manifold

Homeomorphisms

Homeomorphisms

Topology invariant under homeomorphisms

Topology invariant under homeomorphisms

Homeomorphic spaces

Homeomorphic spaces

Open charts

Open charts

Picture of an open chart Homeomorphism

Picture of an open chart Homeomorphism

Differentiable structure M 1

Differentiable structure M 1

The axiom M 2 Transition functions

The axiom M 2 Transition functions

Picture of transition functions

Picture of transition functions

The axiom M 3 Differentiable Manifolds

The axiom M 3 Differentiable Manifolds

This is a constructive definition

This is a constructive definition

Smooth manifolds

Smooth manifolds

Complex Manifolds

Complex Manifolds

Example the SN sphere

Example the SN sphere

The stereographic projection

The stereographic projection

The transition function There are just two open charts and the transition function is

The transition function There are just two open charts and the transition function is the following one

Calculus on Manifolds

Calculus on Manifolds

Functions on Manifolds

Functions on Manifolds

Local description

Local description

Gluing Rules

Gluing Rules

Global Functions

Global Functions

Germs of Smooth Functions

Germs of Smooth Functions

Germs at p 2 M

Germs at p 2 M

Towards tangent spaces: Curves on a Manifold

Towards tangent spaces: Curves on a Manifold

Curves

Curves

Loops

Loops

Tangent vectors at a point p 2 M Intuitively the tangent in p at

Tangent vectors at a point p 2 M Intuitively the tangent in p at a curve that starts from p is the curve’s initial direction

Tangent spaces at p 2 M

Tangent spaces at p 2 M

Example: tangent space at p 2 S 2 Let us make this intuitive notion

Example: tangent space at p 2 S 2 Let us make this intuitive notion mathematically precise

Tangent vectors and germs

Tangent vectors and germs

Composed function

Composed function

Derivative = tangent vector

Derivative = tangent vector

Differential operator

Differential operator

Tangent vectors and derivations of algebras Algebra of germs

Tangent vectors and derivations of algebras Algebra of germs

Derivations of algebras

Derivations of algebras

Vector space of derivations

Vector space of derivations

Vectors as differential operators

Vectors as differential operators

Vector controvariance We have where

Vector controvariance We have where

Controvariant versus covariant vectors

Controvariant versus covariant vectors

Introducing differential forms DEFINITION:

Introducing differential forms DEFINITION:

Cotangent space Definition

Cotangent space Definition

Differential 1 -forms at p 2 M = dx

Differential 1 -forms at p 2 M = dx

Why named differential forms

Why named differential forms

Covariance

Covariance

Fibre bundles

Fibre bundles

I fibrati

I fibrati

Lo spazio tangente

Lo spazio tangente

Parallel Transport A vector field is parallel transported along a curve, when it mantains

Parallel Transport A vector field is parallel transported along a curve, when it mantains a constant angle with the tangent vector to the curve

The difference between flat and curved manifolds In a flat manifold, while transported, the

The difference between flat and curved manifolds In a flat manifold, while transported, the vector is not rotated. In a curved manifold it is rotated:

To see the real effect of curvature we must consider. . . Parallel transport

To see the real effect of curvature we must consider. . . Parallel transport along LOOPS After transport along a loop, the vector does not come back to the original position but it is rotated of some angle.

La 1 -forma di connessione

La 1 -forma di connessione

Riferimenti e potenziali vettori

Riferimenti e potenziali vettori

Le funzioni di transizione

Le funzioni di transizione

Trasformazioni di gauge = cambio di trivializzazione locale

Trasformazioni di gauge = cambio di trivializzazione locale

On a sphere The sum of the internal angles of a triangle is larger

On a sphere The sum of the internal angles of a triangle is larger than 1800 This means that the curvature is positive a b g How are the sides of the this triangle drawn? They are arcs of maximal circles, namely geodesics for this manifold

The hyperboloid: a space with negative curvature and lorentzian signature This surface is the

The hyperboloid: a space with negative curvature and lorentzian signature This surface is the locus of points satisfying the equation We can solve the equation parametrically by setting: Then we obtain the induced metric

The metric: a rule to calculate the lenght of curves!! A curve on the

The metric: a rule to calculate the lenght of curves!! A curve on the surface is described by giving the coordinates as functions of a single parameter t B How long is this curve? A This integral is a rule ! Any such rule is a Gravitational Field!!!!

Underlying our rule for lengths is the induced metric: Where a and q are

Underlying our rule for lengths is the induced metric: Where a and q are the coordinates of our space. This is a Lorentzian metric and it is just induced by the flat Lorentzian metric in three dimensions: using the parametric solution for X 0 , X 1 , X 2

What do particles do in a gravitational field? Answer: They just go straight as

What do particles do in a gravitational field? Answer: They just go straight as in empty space!!!! It is the concept of straight line that is modified by the presence of gravity!!!! The metaphor of Eddington’s sheet summarizes General Relativity. In curved space straight lines are different from straight lines in flat space!! The red line followed by the ball falling in the throat is a straight line (geodesics). On the other hand spacetime is bended under the weight of matter moving inside it!

The Methaphor as a Movie

The Methaphor as a Movie

What are the straight lines They are the geodesics, curves that do not change

What are the straight lines They are the geodesics, curves that do not change length under small deformations. These are the curves along which we have parallel transported our vectors On a sphere geodesics are maximal circles In the parallel transport the angle with the tangent vector remains fixed. On geodesics the tangent vector is transported parallel to itself.

Let us see what are the straight lines (=geodesics) on the Hyperboloid • ds

Let us see what are the straight lines (=geodesics) on the Hyperboloid • ds 2 < 0 space-like geodesics: cannot be Three different types of geodesics Relativity = Lorentz signature -, + space time followed by any particle (it would travel faster than light) • ds 2 > 0 time-like geodesics. It is a possible worldline for a massive particle! • ds 2 = 0 light-like geodesics. It is a possible world-line for a massless particle like a photon Is the rule to calculate lengths

Deriving the geodesics from a variational principle

Deriving the geodesics from a variational principle

The Euler Lagrange equations are The conserved quantity p is, in the time-like or

The Euler Lagrange equations are The conserved quantity p is, in the time-like or null-like cases, the energy of the particle travelling on the geodesic

Continuing. . . This procedure to obtain the differential equation of orbits extends from

Continuing. . . This procedure to obtain the differential equation of orbits extends from our toy model in two dimensions to more realistic cases in four dimensions: it is quite general

Still continuing Let us now study the shapes and properties of these curves

Still continuing Let us now study the shapes and properties of these curves

Space-like These curves lie on the hyperboloid and are space-like. They stretch from megative

Space-like These curves lie on the hyperboloid and are space-like. They stretch from megative to positive infinity. They turn a little bit around the throat but they never make a complete loop around it. They are characterized by their inclination p. The shape of geodesics is a consequence of our rule to calculate the length of curves, namely of the metric This latter is a constant of motion, a first integral

Time-like These curves lie on the hyperboloid and they can wind around the throat.

Time-like These curves lie on the hyperboloid and they can wind around the throat. They never extend up to infinity. They are also labeld by a first integral of the motion, E, that we can identify with the energy Here we see a possible danger for causality: Closed time-like curves!

Light like geodesics are conserved under conformal transformations These curves lie on the hyperboloid

Light like geodesics are conserved under conformal transformations These curves lie on the hyperboloid , are straight lines and are characterized by a first integral of the motion which is the angle shift a

Let us now review the general case Christoffel symbols = Levi Civita connection

Let us now review the general case Christoffel symbols = Levi Civita connection

the Christoffel symbols are: Where from do they emerge and what is their meaning?

the Christoffel symbols are: Where from do they emerge and what is their meaning? ANSWER: They are the coefficients of an affine connection, namely the proper mathematical concept underlying the concept of parallel transport. Let us review the concept of connection

Connection and covariant derivative A connection is a map From the product of the

Connection and covariant derivative A connection is a map From the product of the tangent bundle with itself to the tangent bundle with defining properties: 1 2 3 4

In a basis. . . This defines the covariant derivative of a (controvariant) vector

In a basis. . . This defines the covariant derivative of a (controvariant) vector field

Torsion and Curvature Torsion Tensor Curvature Tensor aa The Riemann curvature tensor

Torsion and Curvature Torsion Tensor Curvature Tensor aa The Riemann curvature tensor

If we have a metric. . . . An affine connection, namely a rule

If we have a metric. . . . An affine connection, namely a rule for the parallel transport can be arbitrarily given, but if we have a metric, then this induces a canonical special connection: THE LEVI CIVITA CONNECTION This connection is the one which emerges from the variational principle of geodesics!!!!!