jagomart
digital resources
picture1_Geometry Pdf 166215 | Diffgeo


 123x       Filetype PDF       File size 2.43 MB       Source: people.math.ethz.ch


File: Geometry Pdf 166215 | Diffgeo
introductionto differential geometry joel w robbin dietmar a salamon uwmadison ethzuric h 11 october 2022 ii preface these are notes for the lecture course dierential geometry i given by the ...

icon picture PDF Filetype PDF | Posted on 24 Jan 2023 | 2 years ago
Partial capture of text on file.
                      Applications of Differential Geometry to Physics
                                                 Prof Malcolm Perry, Lent Term 2009
                                                                    A
                                      Unofficial lecture notes, LT X typeset: Steffen Gielen
                                                                       E
                                                      Last update: June 19, 2009
                Contents
                1 Introduction to Differential Forms                                                                          2
                   1.1   Vectors, Tensors and p-forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .          2
                   1.2   Operations on Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         5
                   1.3   Electromagnetism and Yang-Mills Theory . . . . . . . . . . . . . . . . . . . . . . . .             10
                2 Connections and General Relativity                                                                       14
                   2.1   Vielbein Formalism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       14
                   2.2   Form Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        18
                   2.3   Explicit Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       20
                3 Integration                                                                                              25
                   3.1   Action for General Relativity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        26
                   3.2   Yang-Mills Action      . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   29
                4 Topologically Non-Trivial Field Configurations                                                            30
                5 Kaluza-Klein Theory                                                                                      33
                   5.1   Particle Motion in Kaluza-Klein Theory . . . . . . . . . . . . . . . . . . . . . . . . .           37
                   5.2   Magnetic Monopoles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         39
                   5.3   S3 as a Group Manifold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         42
                6 Aspects of Yang-Mills Theory                                                                             45
                   6.1   Spontaneous Symmetry Breaking . . . . . . . . . . . . . . . . . . . . . . . . . . . . .            45
                   6.2   Magnetic Monopoles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .         47
                   6.3   Instantons in Yang-Mills Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . .          49
                7 Gravitational Instantons                                                                                 51
                   7.1   Topological Quantum Numbers for Gravity . . . . . . . . . . . . . . . . . . . . . . .              51
                   7.2   De Sitter Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .      54
                   7.3   Other Examples       . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   57
                                                                      1
               8 Positive Energy                                                                                      61
                   8.1  Geometry of Surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   61
                   8.2  Spinors in Curved Spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .      64
                   8.3  Definition of Mass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    67
                   8.4  Energy Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    69
                   8.5  Proof of Positive Energy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .   70
               1    Introduction to Differential Forms
                                                                                                                           Lect. 1
               This course will be somewhat different from the course given by Prof Gary Gibbons in previous
               years. We will plan to cover applications of differential geometry in general relativity, quantum
               field theory, and string theory.
               1.1    Vectors, Tensors and p-forms
               Assume we have some kind of d-dimensional manifold, possibly representing spacetime, with a set
                                 a
               of co-ordinates x , a = 1;:::;d.
               In general relativity, typically one thinks of a vector as being represented by ua. But ua is really
               the components of a vector in some particular basis. We need to think about basis-independent
               expressions.
               In d dimensions, there is always a set of d basis vectors
                                                    E ;:::;E ;     collectively E :                                 (1.1)
                                                      1        d                  a
               Avector is then
                                                             u=XuaE ;                                               (1.2)
                                                                          a
                                                                   a
               where ua are the components of u in the basis {E }.
                                                                     a
               Aone-form ω is an object which is dual to a vector, i.e. given a vector u and a one-form ω there
               is a bracket operation hω;ui giving a real number.
               This bracket is linear: If u = αv + βw for arbitrary vectors v;w and real numbers α;β,
                                                  hω;αv +βwi =αhω;vi+βhω;wi:                                        (1.3)
               We can write a one-form as
                                                            ω =XωaEa;                                               (1.4)
                                                                   a
               where ωa are numbers and Ea are one-forms. Then the bracket can be defined as
                                                            hEa;E i = δa ;                                          (1.5)
                                                                   b      b
               such that the basis of one-forms are dual to the basis of vectors.
               The bracket is also linear in ω: If ω = αη + βλ for one-forms η;λ and real numbers α;β,
                                                  hαη +βλ;ui = αhη;ui+βhλ;ui:                                       (1.6)
                                                                   2
                   Consider now
                                                            X a b                      X b a                       X a
                                                hω;ui =          hωaE ;u E i =               ωau hE ;E i =              ωau :                         (1.7)
                                                                                 b                          b
                                                             a;b                        a;b                          a
                   The bracket corresponds to the usual scalar multiplication.
                   The next thing is to define the derivative of a function f(x), denoted by df - this is a one-form. It
                   should have the property
                                                                              hdf;Xi = Xf:                                                            (1.8)
                   We can pick a set of one-forms and a basis of vectors to make it explicit. In a co-ordinate basis,
                   these basis vectors are ∂ and the one-forms are dxi. These are dual,
                                                    ∂xi
                                                                            h ∂ ;dxji = δi ;                                                          (1.9)
                                                                              ∂xi                j
                   which is consistent with the definition of df, since
                                                                          h ∂ ;dxji = ∂ xj:                                                          (1.10)
                                                                               i                 i
                                                                            ∂x               ∂x
                   This can also be done for an arbitrary vector X = Xj ∂ . From linearity,
                                                                                               ∂xj
                                                                hdf;Xi = hdf;Xj ∂ i = Xj ∂ f:                                                        (1.11)
                                                                                            j              j
                                                                                        ∂x              ∂x
                   This is the directional derivative of f in the direction X.
                   This, roughly speaking, is what one-forms are. There is a simple geometrical consequence; suppose
                   that
                                                                                hdf;Xi = 0:                                                          (1.12)
                   Then f is a constant in the direction of the vector X, which means that df is normal to surfaces of
                   f = constant.
                   We can put this into a bigger perspective: Functions f are often called 0-forms. Then df, the
                   derivative of f, is a one-form. We have defined an operator d turning 0-forms into one-forms. In
                   general, d will turn p-forms into (p + 1)-forms. In terms of a co-ordinate basis,
                                                                               df = ∂f dxi:                                                          (1.13)
                                                                                          i
                                                                                       ∂x
                   This is exactly as expected from the chain rule for a derivative.
                                                                                                     a :::a
                   A general tensor is of type (r;s); its components are T 1                               rb :::b .   We think of this as some-
                                                                                                              1   s
                   thing which does not depend on a basis:
                                                         a :::a                                             b                b
                                                T =T 1 r               E ⊗E ⊗:::⊗E ⊗E1⊗:::⊗Es:                                                       (1.14)
                                                                b :::b    a        a               a
                                                                 1   s     1        2                r
                   This is independent of the particular basis in question.
                   In general relativity, a tensor transforms in a particular way under a co-ordinate transformation.
                   But this is really just a change of basis:
                                                                                                a
                                                                          E →E′=χ′ E ;                                                               (1.15)
                                                                            a        a        a     a
                                                                                       3
                                  a
                    where χ ′ represents a non-degenerate d×d matrix. Similarly, one could do a transformation on
                                a
                    the basis one-forms
                                                                                          ′        ′
                                                                            Ea →Ea =Φa Ea:                                                                 (1.16)
                                                                                                    a
                    This could be a co-ordinate basis, but does not have to be. Looking at the bracket, we must have
                                                 ′            ′                 ′                          ′                   ′
                                                a            a                 a     a      b             a       b a         a       a
                                              δ    ′ = hE ;E ′i = hΦ aE ;χ ′ E i = Φ aχ ′ δ                             =Φ aχ′ ;                           (1.17)
                                                  b                b                      b     b              b      b             b
                    thus χ is the matrix inverse of Φ. Under a change of basis, the tensor T must be invariant, thus
                                           ′    ′                                               ′                 ′
                                         a :::a                                                b                b
                            T = T 1 r ′ ′ E ′ ⊗E ′ ⊗:::⊗E ′ ⊗E 1 ⊗:::⊗E s
                                                 b :::b    a        a                 a
                                                  1    s    1         2                r
                                           ′    ′                               ′            ′
                                         a :::a              a            a    b            b                                          b                 b
                                 = T 1 r ′ ′ χ ′ 1 :::χ ′ rΦ 1                       : : : Φ s   E ⊗E ⊗:::⊗E ⊗E1⊗:::⊗Es
                                                 b :::b    a           a          b           b    a         a                a
                                                  1    s    1            r         1           s     1        2                r
                                         a :::a                                                b                b
                                 = T 1 r                 E ⊗E ⊗:::⊗E ⊗E1⊗:::⊗Es;                                                                           (1.18)
                                                 b :::b    a        a                 a
                                                  1    s    1         2                r
                    so the components of T transform as (expressing the old components in terms of the new)
                                                       ′    ′                                ′           ′
                                                      a :::a              a            a    b           b           a :::a
                                                   T 1      r ′    ′ χ ′ 1 :::χ ′ rΦ 1           : : : Φ s    =T 1 r               ;                       (1.19)
                                                             b :::b    a            a         b            b                b :::b
                                                              1    s    1            r         1            s                1   s
                    exactly as expected from the co-ordinate formulation of general relativity.
                    Ap-form is defined to be a tensor of type (0;p) whose components are totally antisymmetric (in
                    any basis):
                                             a                 a                  [a                a ]      1                a                a
                          T =T             E 1 ⊗:::⊗E p =T                      E 1 ⊗:::⊗E p =                  T         (E 1 ∧:::∧E p);                  (1.20)
                                   a :::a                               a :::a                                    a :::a
                                    1    p                               1    p                              p!    1    p
                    where we define the wedge product
                                                    a                a        X              σ(a )        σ(a )                σ(a )
                                                 E 1 ∧:::∧E p :=                    π(σ)E        1 ⊗E 2 ⊗:::⊗E p                                           (1.21)
                                                                             σ∈S
                                                                                  p
                    and the sum is over all permutations σ of p elements with parity π(σ) either +1 or −1, so there
                    are p! terms in the sum. ∧ basically tells you to take the antisymmetric product:
                                                 Ea∧Eb = Ea⊗Eb−Eb⊗Ea;
                                         Ea∧Eb∧Ec = Ea⊗Eb⊗Ec+Eb⊗Ec⊗Ea+Ec⊗Ea⊗Eb
                                                                     −Ea⊗Ec⊗Eb−Eb⊗Ea⊗Ec−Ec⊗Eb⊗Ea;                                                          (1.22)
                              a                a
                    etc. E 1 ∧ ::: ∧ E p is antisymmetric under the interchange of any adjacent pair of indices. In d
                    dimensions, the number of linearly independent such objects is
                                                            d(d −1):::(d−p+1) =                        d!        =d:                                     (1.23)
                                                                           p!                     p!(d −p)!            p
                    This means one must have p ≤ d, because one will get nothing otherwise.
                                                                                           4
The words contained in this file might help you see if this file matches what you are looking for:

...Introductionto differential geometry joel w robbin dietmar a salamon uwmadison ethzuric h october ii preface these are notes for the lecture course dierential i given by second author at eth zuric in fall semester they based on rst university of wisconsin madison one can distinguish extrinsic and intrinsic dier ential former restricts attention to submanifolds euclidean space while latter studies manifolds equipped with riemannian metric theory is more accessible because we visualize curves surfaces r but some topics best be handled denitions chapter have been worded such way that it easy read them either extrinsically or intrinsically subsequent chapters mostly not entirely teach self contained starting skipping sections marked an asterisk as here description content book gives brief historical introduction explains versus viewpoint subject this was included mathematical treatment eld begins earnest which introduces foundational concepts used topology dening setting smooth then moves ...

no reviews yet
Please Login to review.