Elements of differential geometry
|
|
- Catherine Lambert
- 5 years ago
- Views:
Transcription
1 Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and flows 4. connections 5. pseudo-riemannian manifolds 6. geodesics 7. curvature 1
2 Tensor algebra Let T be an n-dimensional vector space over R and T its dual. Elements u, v of T are called vectors, elements ω, µ of T are called covectors. In a basis {e i } the vector u has the form u = n 1 ui e i = u i e i (note summation convention!) and the covector ω reads ω = ω i e i in the dual basis given by e i (e j ) = δ i j. The action of ω on the v reads ω(v) = ω i v i. Although v i and ω i depend on the choice of basis, ω i v i does not. Reading ω i v i from right to left gives the identification T = T. The spaces T r s consist of multilinear forms on T...T..T (r copies of T, s copies of T). They have r upper and s lower indices: U = U i 1...i r j1..j s e i1...e ir e j 1..e j s. In particular T = T 1 and T = T 1 and T 1 1 = L(T, T). 2
3 A scalar product γ on T is given by γ(u, v) = γ ij u i v j with γ ij = γ ji non-degenerate. γ of signature (++,..+) is positive definite, γ with (, +, +,...+) a Lorentzian metric. γ gives rise to a unique quadratic form on V given by γ ij where γ ij γ jk = δ i k. The quantities γ ij and γ ij yield an isomorphism between elements v T and ω T by means of raising and lowering of indices, e.g. v i (ω) = γ ij ω j =: ω i. γ Lorentzian: a non-zero vector v T is timelike: γ(v, v) = γ ij v i v j = (v 0 ) 2 + n 1 1 (v i ) 2 < 0 null: γ(v, v) = γ ij v i v j = (v 0 ) 2 + (v i ) 2 = 0 spacelike γ(v, v) = γ ij v i v j = (v 0 ) 2 + (v i ) 2 > 0 Null vectors form a double cone ( past and future light cone ) C, timelike inside. 3
4 Subspaces W T are spacelike: γ(.,.) W pos.def. null: γ(.,.) W degenerate, same as T tangent to C timelike: γ(.,.) W Lorentzian Fundamental inequalities: reverse C-S inequality : (γ(u, v)) 2 γ(u, u)γ(v, v), provided that u or v (or both) are causal reverse inequ.: u + v u + v], where u = γ(u, u) and u, v are causal, both future or both past directed. Is essence behind the twin paradox 4
5 5
6 Manifolds Stated somewhat informally a (C, n-dimensional manifold) M is a topological space (Hausdorff, 2nd countable), equipped with a set of coordinate charts (U, x i ), i.e. U open and x i map U bijectively into an open set in R n. These charts should cover M, s.th on overlapping charts (U, x i ), (Ū, xi ), U Ū {0} they are smoothly related: x i = F i (x j ), F i C (R n, R), i = 1,...n. Smoothness of functions f : M R is defined chartwise, likewise smoothness of maps between more general manifolds. (T, γ), viewed as an affine space, is a manifold, namely Minkowski spacetime, the realm of Special Relativity. Lorentzian manifolds, see later, are the realm of General Relativity. 6
7 Let p M. The tangent space T p (M) at p can be defined as the vector space of derivations (see below) acting on smooth functions defined near p. Elements v T p (M) can be shown to be the same, in local coordinates (U, x i ) with p M, as directional derivatives, i.e. v(f) = v i f x i p. Thus the coordinate vectors x i p = i p form a basis of T p (M). It follows that, under a change of chart: v i = ( j x i )v j. Example for tangent vector: a smooth curve γ : I M with γ(0) = p gives an element in T p (M) via its tangent vector defined by γ (0)(f) = d dt f γ(t) 0. By the chain rule γ (0) = dxi dt (0) i p. All tangent vectors can be gotten in this way. 7
8 A vector field v on M is a smooth assignment to each p M of a vector v p T p (M). Or, v maps C (M) into itself subject to v(af + bg) = av(f) + bv(g) v(fg) = fv(g) + gv(f) (a, b R, f, g C (M)) Leibniz rule Here v(f)(p) = v p (f). The set of smooth vector fields is denoted by X(M). It is a module over C (M), addition and scalar multiplication being defined in the obvious way. In local coordinates v X(M) can be written as v = v i (x) i or v(f) = v i (x) i f. Thus v i ( x) = xi x j (x( x))vj (x( x)) ( ) 8
9 Given v, w X(M), the map f C (M) v(w(f)) does not define a vector field, but the Lie bracket [v, w] = vw wv = (v j j w i w j j v i ) i does. Note [ i, j ] = 0. Jacobi identity: [v, [w, z]] + [z, [v, w]] + [w, [z, v]] = 0 9
10 Covectors: a covector at p is an element ω p of T p (M). A covector field or 1-form ω is defined in the obvious way. It is smooth if ω(v)(p) = ω p (v p ) is smooth for all v X(M). Let f C (M). The 1-form df is defined by df(v) = v(f). In particular dx i ( j ) = δ i j...dual basis. ω = ω i (x)dx i, where ω i = ω( i ). E.g. df = i f dx i. Under change of chart: ω i (x) = xj x i (x) ω j ( x(x)). Higher order tensors (tensor fields) are defined in the obvious way, e.g. the (1, 1)-tensor t = t i j i dx j. Contraction, in a basis, is by summation over a pair of up-and downstairs indices. 10
11 The operation d sending functions to 1-forms is a special case of an operation d, sending p-forms, i.e. covariant, totally antisymmetric tensors ω i1...i p, p < n into p + 1- forms. E.g. when p = 1 we define (check this is a 2-tensor!) dω(u, v) = u(ω(v)) v(ω(u)) ω([u, v]) i.e. dω ij = i ω j j ω i. We have that ddf = 0, and dω = 0 implies ω = df when M is simply connected. 11
12 Action under flows Let Φ : M N be a diffeomorphism, i.e. a (smooth) mapping with smooth inverse. The push-forward Φ v X(N) of v X(M) is defined by (f C (N)) Locally y A = ϕ A (x i ) and (Φ v)(f)(p) = v(f Φ)(Φ 1 (p)) (Φ v) A (y) = ϕa x j (ϕ 1 (y))v j (ϕ 1 (y)) Next let Φ : M N be smooth and ω a 1-form on N. Then the pull-back ϕ ω on M is defined as (Φ ω)(v)(p) = ω(φ v(φ(p)). (Note: does not require Φ invertible.) 12
13 In coordinates (Φ ω) i (x) = ϕa x i (x) ω A(ϕ(x)) Pull-back on higher covariant tensor fields analogous. Pull-back Φ f C (N) of functions f C (N) is simply Φ f = f Φ. For mixed tensors, say on N, their pull-back to M is defined by pull-back under Φ w.r. to the downstairs indices and pull-back under Φ 1 w.r. to the upstairs indices. Vector fields define a local(-in-t) 1-parameter family Ψ t of maps M M via their flow, i.e. dψ i t dt = vi (ψ t ), Ψ 0 (p) = id 13
14 The Ψ t s are local diffeomorphisms of M into itself in that they map small neighbourhoods of each p M diffeomorphically onto their image. This is enough in order for the Lie derivative of w w.r. to v, i.e. L v w = d dt t=0(ψ t ) w to be defined. It turns out that L v w = [v, w] or (L v w) i = v j j w i w j j v i Next L v ω is defined by L v ω = d dt t=0(ψ t ) ω. It turns out that, locally, (L v ω) i = v j j ω i + ω j i v j, L v f = v(f) = v i i f Similarly, for a 2-tensor g ij, (L v g) ij = v k k g ij + g ik j v k + g kj i v k 14
15 Geometrically, the equation L v t = 0 means that the structure defined by the object t is invariant under the flow generated by v. E.g. for g ij a symmetric tensor of Riemannian or Lorentz signature the Killing vector field v satisfying L v g = 0 generates a flow leaving the Riemannian (Lorentzian) structure invariant. The operations d and L v are natural in that they, appropriately, commute with general diffeomorphisms. This means they require no structure an M. In contrast, v, defined presently, is not natural. 15
16 Pseudo-Riemannian manifolds A manifold is called pseudo-riemannian if it is provided with a symmetric (0, 2)- tensor field g = g ij dx i dx j with g ij = g( i, j ) = g ji non-degenerate. It is called Riemannian if g is furthermore positive definite and Lorentzian if it has Lorentzian signature at each p M. Note that, e.g. in the Lorentzian case, there is in general no chart near p M, for which g ij (x) = η ij = const. This phenomenon is related to the presence of curvature. 16
17 Linear connections A linear connection on M is an R-bilinear map : X(M) X(M) X(M) (u, v) u v with (f C (M)) fu v = f u v u fv = u(f)v + f u v So u v is tensorial w.r. to u, i.e. defines a (1, 1) tensor. In local coordinates (x i ), u v = u j ( j v i ) i, where i v j = v j ;i = i v j + Γ j ik vk, j k = Γ i jk i Note Φ uφ v Φ u v except if Φ leaves connection invariant. 17
18 can be naturally extended to act on tensor fields as follows: u f := u(f) for f C (M). Then, for 1-forms ω, require that u (v(ω)) = ( u v)(ω) + u( u ω), finally that satisfy the Leibniz rule w.r. to and be linear under addition. E.g. ( u t) j i j dx i = u k ( k t j i + Γ j kl tl i Γkit l j l) }{{} j dx i k t j i is symmetric (torsion-free) if [u, v] = u v v u for all u, v C (M). This in a local chart means that Γ i jk = Γi kj. be a globally defined (1,2)-tensor field. Then, given, Let Cjk i = Ci kj uv = u v + Cjk i uj v k i is also a symmetric connection. 18
19 on pseudo-riemannian manifold (M, g) is called metric when u g(v, w) = g( u v, w) + g(v, u w) Given g, there unique symmetric linear ( Levy-Civita )connection which is metric. It is given by Γ i jk = 1 2 gil ( j g kl + k g jl l g jk ) Henceforth will be Levy-Civita. 19
20 Geodesics Let γ : I M be a smooth curve on M and v a vector field along γ. The covariant derivative of v along γ is defined as ( ) Dv dv Dt = γ v i = dt + dx j Γi jk dt vk i The curve t γ(t) is geodesic when Dγ Dt is zero, i.e. d 2 x i dt 2 + dx j Γi jk dt dx k dt = 0 Prop.: Given p M and v T p (M), there interval I about t = 0 and a unique geodesic γ : I M, s.th. γ(0) = p and γ (0) = v. 20
21 Because of d g(u, v) dt = g( Du Dt, v) + g(u, Dv Dt ) the causal character of the geodesic, in the Lorentzian case, is preserved. Timelike geodesics model freely falling pointlike bodies, null geodesics play the role of light rays. 21
22 Curvature Curvature, i.e. deviation from flatness, can be measured by the degree of non-commutativity of acting on tensor fields, which in turn is measured by the Riemann tensor. The basic observation is the Prop.: The vector field given by (u, v, w X(M)) R(u, v)w := u v w v u w [u,v] w is tensorial in (u, v, w), i.e. defines a (1, 3)- tensor field R ij k l : k R ij l = 2 [i Γj]l k + 2 Γm[iΓ k j]l m 22
23 R ijkl = g km R ij m l can be shown to have the following symmetries R ijkl = R jikl = R ijlk R ijkl + R kijl + R jkil = 0 1st Bianchi identity R ijkl = R klij Here the last property follows from the other ones. For n = 4 the number of algebraically independent components of R ijkl is 20. Furthermore there is the following ( 2nd Bianchi ) differential identity i R jklm + k R ijlm + j R kilm = 0 23
24 One can infer the Bianchi identities from the equivariance (see Kazdan, 1981) R ijkl [Φ g] = (Φ R) ijkl [g] where Φ is a diffeomorphism M M. The identities fulfilled by R ijkl imply that the Ricci tensor k R ij = R ki j satisfies R ij = R ji. Furthermore the Einstein tensor G ij = R ij 1g 2 ij g kl R kl is divergence-free, i.e. g ij i G jk = 0 24
UNIVERSITY 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 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 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 informationGravitation: Tensor Calculus
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 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 informationFaculty of Engineering, Mathematics and Science School of Mathematics
Faculty of Engineering, Mathematics and Science School of Mathematics JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Module MA3429: Differential Geometry I Trinity Term 2018???, May??? SPORTS
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
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 informationFisica Matematica. Stefano Ansoldi. Dipartimento di Matematica e Informatica. Università degli Studi di Udine. Corso di Laurea in Matematica
Fisica Matematica Stefano Ansoldi Dipartimento di Matematica e Informatica Università degli Studi di Udine Corso di Laurea in Matematica Anno Accademico 2003/2004 c 2004 Copyright by Stefano Ansoldi and
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 informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationIn this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors.
Lecture 12. Tensors In this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors. 12.1 Basic definitions We have already seen several examples of the idea we are
More informationTENSORS AND DIFFERENTIAL FORMS
TENSORS AND DIFFERENTIAL FORMS SVANTE JANSON UPPSALA UNIVERSITY Introduction The purpose of these notes is to give a quick course on tensors in general differentiable manifolds, as a complement to standard
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 informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationSurvey on exterior algebra and differential forms
Survey on exterior algebra and differential forms Daniel Grieser 16. Mai 2013 Inhaltsverzeichnis 1 Exterior algebra for a vector space 1 1.1 Alternating forms, wedge and interior product.....................
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
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 informationSpin(10,1)-metrics with a parallel null spinor and maximal holonomy
Spin(10,1)-metrics with a parallel null spinor and maximal holonomy 0. Introduction. The purpose of this addendum to the earlier notes on spinors is to outline the construction of Lorentzian metrics in
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 informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationSOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLVI, s.i a, Matematică, 2000, f.1. SOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM BY N. PAPAGHIUC 1
More informationESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction
ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES ANDREAS ČAP AND KARIN MELNICK Abstract. We use the general theory developed in our article [1] in the setting of parabolic
More informationNotes on the Riemannian Geometry of Lie Groups
Rose- Hulman Undergraduate Mathematics Journal Notes on the Riemannian Geometry of Lie Groups Michael L. Geis a Volume, Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre
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 informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
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 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 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 informationCS 468 (Spring 2013) Discrete Differential Geometry
CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
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 informationModuli spaces of Type A geometries EGEO 2016 La Falda, Argentina. Peter B Gilkey
EGEO 2016 La Falda, Argentina Mathematics Department, University of Oregon, Eugene OR USA email: gilkey@uoregon.edu a Joint work with M. Brozos-Vázquez, E. García-Río, and J.H. Park a Partially supported
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 informationGLASGOW Paolo Lorenzoni
GLASGOW 2018 Bi-flat F-manifolds, complex reflection groups and integrable systems of conservation laws. Paolo Lorenzoni Based on joint works with Alessandro Arsie Plan of the talk 1. Flat and bi-flat
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 informationThe Riemann curvature tensor, its invariants, and their use in the classification of spacetimes
DigitalCommons@USU Presentations and Publications 3-20-2015 The Riemann curvature tensor, its invariants, and their use in the classification of spacetimes Follow this and additional works at: http://digitalcommons.usu.edu/dg_pres
More informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
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 informationLeft-invariant Einstein metrics
on Lie groups August 28, 2012 Differential Geometry seminar Department of Mathematics The Ohio State University these notes are posted at http://www.math.ohio-state.edu/ derdzinski.1/beamer/linv.pdf LEFT-INVARIANT
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 informationLecture 8. Connections
Lecture 8. Connections This lecture introduces connections, which are the machinery required to allow differentiation of vector fields. 8.1 Differentiating vector fields. The idea of differentiating vector
More informationPerelman s Dilaton. Annibale Magni (TU-Dortmund) April 26, joint work with M. Caldarelli, G. Catino, Z. Djadly and C.
Annibale Magni (TU-Dortmund) April 26, 2010 joint work with M. Caldarelli, G. Catino, Z. Djadly and C. Mantegazza Topics. Topics. Fundamentals of the Ricci flow. Topics. Fundamentals of the Ricci flow.
More informationChoice of Riemannian Metrics for Rigid Body Kinematics
Choice of Riemannian Metrics for Rigid Body Kinematics Miloš Žefran1, Vijay Kumar 1 and Christopher Croke 2 1 General Robotics and Active Sensory Perception (GRASP) Laboratory 2 Department of Mathematics
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 informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More informationGlobal aspects of Lorentzian manifolds with special holonomy
1/13 Global aspects of Lorentzian manifolds with special holonomy Thomas Leistner International Fall Workshop on Geometry and Physics Évora, September 2 5, 2013 Outline 2/13 1 Lorentzian holonomy Holonomy
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
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 informationSummary in General Relativity
Summary in General Relativity Jacob Shapiro October 17, 2014 Abstract A collection of things I deemed necessary to memorize for the final oral exam in general relativity held in ETHZ in January 2014. The
More informationPAPER 52 GENERAL RELATIVITY
MATHEMATICAL TRIPOS Part III Monday, 1 June, 2015 9:00 am to 12:00 pm PAPER 52 GENERAL RELATIVITY Attempt no more than THREE questions. There are FOUR questions in total. The questions carry equal weight.
More informationCHAPTER 1 PRELIMINARIES
CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable
More informationTangent bundles, vector fields
Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,
More informationExact Solutions of the Einstein Equations
Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.
More informationThe Einstein field equations
The Einstein field equations Part II: The Friedmann model of the Universe Atle Hahn GFM, Universidade de Lisboa Lisbon, 4th February 2010 Contents: 1 Geometric background 2 The Einstein field equations
More informationTensors, and differential forms - Lecture 2
Tensors, and differential forms - Lecture 2 1 Introduction The concept of a tensor is derived from considering the properties of a function under a transformation of the coordinate system. A description
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationMinimal timelike surfaces in a certain homogeneous Lorentzian 3-manifold II
Minimal timelike surfaces in a certain homogeneous Lorentzian 3-manifold II Sungwook Lee Abstract The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space and
More informationTensor Analysis in Euclidean Space
Tensor Analysis in Euclidean Space James Emery Edited: 8/5/2016 Contents 1 Classical Tensor Notation 2 2 Multilinear Functionals 4 3 Operations With Tensors 5 4 The Directional Derivative 5 5 Curvilinear
More informationTerrible Differential Geometry Notes
Terrible Differential Geometry Notes Hunter Spink June 15, 2017 1 Basics of Smooth Manifolds A Manifold is a topological space with a collection of charts, i.e. collections of maps ψ i from open sets U
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 informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationSYMMETRIES OF SECTIONAL CURVATURE ON 3 MANIFOLDS. May 27, 1992
SYMMETRIES OF SECTIONAL CURVATURE ON 3 MANIFOLDS Luis A. Cordero 1 Phillip E. Parker,3 Dept. Xeometría e Topoloxía Facultade de Matemáticas Universidade de Santiago 15706 Santiago de Compostela Spain cordero@zmat.usc.es
More informationCurvature homogeneity of type (1, 3) in pseudo-riemannian manifolds
Curvature homogeneity of type (1, 3) in pseudo-riemannian manifolds Cullen McDonald August, 013 Abstract We construct two new families of pseudo-riemannian manifolds which are curvature homegeneous of
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More informationTHE GAUSS MAP OF TIMELIKE SURFACES IN R n Introduction
Chin. Ann. of Math. 16B: 3(1995),361-370. THE GAUSS MAP OF TIMELIKE SURFACES IN R n 1 Hong Jianqiao* Abstract Gauss maps of oriented timelike 2-surfaces in R1 n are characterized, and it is shown that
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu Zhejiang University UCLA Page 1 of 41 Outline Introduction Hyperbolic geometric flow Local existence and nonlinear stability Wave character of metrics and curvatures
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 informationFundamental Materials of Riemannian Geometry
Chapter 1 Fundamental aterials of Riemannian Geometry 1.1 Introduction In this chapter, we give fundamental materials in Riemannian geometry. In this book, we assume basic materials on manifolds. We give,
More informationON VARIATION OF THE METRIC TENSOR IN THE ACTION OF A PHYSICAL FIELD
ON VARIATION OF THE METRIC TENSOR IN THE ACTION OF A PHYSICAL FIELD L.D. Raigorodski Abstract The application of the variations of the metric tensor in action integrals of physical fields is examined.
More informationNewman-Penrose formalism in higher dimensions
Newman-Penrose formalism in higher dimensions V. Pravda various parts in collaboration with: A. Coley, R. Milson, M. Ortaggio and A. Pravdová Introduction - algebraic classification in four dimensions
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 informationResearch Article New Examples of Einstein Metrics in Dimension Four
International Mathematics and Mathematical Sciences Volume 2010, Article ID 716035, 9 pages doi:10.1155/2010/716035 Research Article New Examples of Einstein Metrics in Dimension Four Ryad Ghanam Department
More informationINTRODUCTION TO GEOMETRY
INTRODUCTION TO GEOMETRY ERIKA DUNN-WEISS Abstract. This paper is an introduction to Riemannian and semi-riemannian manifolds of constant sectional curvature. We will introduce the concepts of moving frames,
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 informationIntrinsic Differential Geometry with Geometric Calculus
MM Research Preprints, 196 205 MMRC, AMSS, Academia Sinica No. 23, December 2004 Intrinsic Differential Geometry with Geometric Calculus Hongbo Li and Lina Cao Mathematics Mechanization Key Laboratory
More information1 Curvature of submanifolds of Euclidean space
Curvature of submanifolds of Euclidean space by Min Ru, University of Houston 1 Curvature of submanifolds of Euclidean space Submanifold in R N : A C k submanifold M of dimension n in R N means that for
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu CMS and UCLA August 20, 2007, Dong Conference Page 1 of 51 Outline: Joint works with D. Kong and W. Dai Motivation Hyperbolic geometric flow Local existence and nonlinear
More informationThe Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map. F : V 1 V k
The Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map F : V 1 V k is said to be multilinear if it is linear as a function of each variable seperately:
More informationCS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus
CS 468 Differential Geometry for Computer Science Lecture 13 Tensors and Exterior Calculus Outline Linear and multilinear algebra with an inner product Tensor bundles over a surface Symmetric and alternating
More informationOn the geometry of higher order Lagrange spaces.
On the geometry of higher order Lagrange spaces. By Radu Miron, Mihai Anastasiei and Ioan Bucataru Abstract A Lagrange space of order k 1 is the space of accelerations of order k endowed with a regular
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 informationHomogeneous Lorentzian structures on the generalized Heisenberg group
Homogeneous Lorentzian structures on the generalized Heisenberg group W. Batat and S. Rahmani Abstract. In [8], all the homogeneous Riemannian structures corresponding to the left-invariant Riemannian
More informationRepresentation theory and the X-ray transform
AMSI Summer School on Integral Geometry and Imaging at the University of New England, Lecture 1 p. 1/18 Representation theory and the X-ray transform Differential geometry on real and complex projective
More informationDifferential Geometry of Surfaces
Differential Forms Dr. Gye-Seon Lee Differential Geometry of Surfaces Philipp Arras and Ingolf Bischer January 22, 2015 This article is based on [Car94, pp. 77-96]. 1 The Structure Equations of R n Definition
More informationNotes for an Introduction to General Relativity. Fall 2011.
Notes for an Introduction to General Relativity. Fall 2011. Manuel Tiglio Center for Scientific Computation and Mathematical Modeling, Department of Physics, Joint Space Sciences Institute. Maryland Center
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
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 informationAn Introduction to Riemann-Finsler Geometry
D. Bao S.-S. Chern Z. Shen An Introduction to Riemann-Finsler Geometry With 20 Illustrations Springer Contents Preface Acknowledgments vn xiii PART ONE Finsler Manifolds and Their Curvature CHAPTER 1 Finsler
More informationMULTILINEAR ALGEBRA MCKENZIE LAMB
MULTILINEAR ALGEBRA MCKENZIE LAMB 1. Introduction This project consists of a rambling introduction to some basic notions in multilinear algebra. The central purpose will be to show that the div, grad,
More information2.4 The Hopf-Rinow theorem
2.4. THE HOPF-RINOW THEOREM 57 2.4 The Hopf-Rinow theorem In this section we state and prove the main result on complete Riemannian manifolds which links the geodesics of the manifold to its structure
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationRiemannian Manifolds
Chapter 25 Riemannian Manifolds Our ultimate goal is to study abstract surfaces that is 2-dimensional manifolds which have a notion of metric compatible with their manifold structure see Definition 2521
More informationNigel Hitchin (Oxford) Poisson 2012 Utrecht. August 2nd 2012
GENERALIZED GEOMETRY OF TYPE B n Nigel Hitchin (Oxford) Poisson 2012 Utrecht August 2nd 2012 generalized geometry on M n T T inner product (X + ξ,x + ξ) =i X ξ SO(n, n)-structure generalized geometry on
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 informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationGeometry and the Kato square root problem
Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 7 June 2013 Geometric Analysis Seminar University of Wollongong Lashi
More informationSymplectic and Poisson Manifolds
Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to
More information