jagomart
digital resources
picture1_Geometry Pdf 167315 | Drp Final   Ashwin Devaraj


 172x       Filetype PDF       File size 0.28 MB       Source: web.ma.utexas.edu


File: Geometry Pdf 167315 | Drp Final Ashwin Devaraj
riemannian manifolds and ane connections ashwin devaraj advised by dan weser december 2020 contents 1 introduction 1 1 1 overview of topics 1 1 2 prerequisites 1 2 dierentiable manifolds ...

icon picture PDF Filetype PDF | Posted on 25 Jan 2023 | 2 years ago
Partial capture of text on file.
                                      Riemannian Manifolds and Affine Connections
                                                                     Ashwin Devaraj
                                                                 Advised by Dan Weser
                                                                      December 2020
               Contents
               1 Introduction                                                                                                                   1
                  1.1   Overview of Topics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        1
                  1.2   Prerequisites    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    1
               2 Differentiable Manifolds                                                                                                        1
                  2.1   Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        1
                  2.2   Vector Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .       3
               3 Adding Geometric Structure                                                                                                     4
                  3.1   Motivation     . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    4
                  3.2   The Riemannian Metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .           4
               4 Connections                                                                                                                    5
                  4.1   ABrief Interlude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        5
                  4.2   Affine Connections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .          5
                  4.3   The Riemannian Connection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .             6
               5 Summary                                                                                                                        8
               6 Figures Cited                                                                                                                  8
               1     Introduction
               1.1    Overview of Topics
               1.2    Prerequisites
               These notes assume a good knowledge of multivariable calculus, basic linear algebra, and point-set topology. To
               fully appreciate the motivations behind this material, it would be helpful to understand basic differential geometry
               in Euclidean space (i.e. regular curves and surfaces, curvature, tangent spaces). The notation and definitions we use
               in these notes follow Do Carmo’s Riemannian Geometry. As per this text, the term differentiable is taken to mean
               smooth.
               2     Differentiable Manifolds
               2.1    Basic Definitions
               The first step in our generalization of differential geometry in Euclidean space is to take an arbitrary set that locally
               “looks” like Euclidean space with a differentiable structure. This motivates our definition of a differentiable manifold,
               which can be viewed as a generalization of the regular surface in R3.
                                                                               1
            Definition 2.1. Adifferemtiable manifold of dimension n is a set M and a family of injective mappings x : U → M
                                                                                                                 α   α
            where each U is an open subset of Rn and the following properties hold:
                         α
                • S x (U )=M. This means that the images of the open sets U cover the set M.
                    α α α                                                        α
                • For any pair α and β where intersection W := xα(Uα) ∩ xβ(Uβ) is nonempty, the sets x−1(W) and x−1(W)
                                                                                                         α            β
                  are both open and the function x−1 ◦xα : x−1(W) → x−1(W) is differentiable. This is illustrated in Figure 1.
                                                  β          α          β
                • The family {(x ,U )} is maximal.
                                 α  α
                Themaximalfamily{(x ,U )}associatedwithM iscalledadifferentiable structure. This differentiable structure
                                       α   α
                                                                           −1                n
            induces a topology on M, namely that a set S in M is open if x   (S) is open in R for all α.
                                                                           α
                An n-dimensional manifold M may be referred to by the name Mn as short-hand. Since we do not deal with
            product manifolds in these notes, this notation does not introduce any ambiguity.
                                                   Figure 1: Differentiability Condition
                Given a manifold M with differentiable structure, it is natural for us to define the notion of a differentiable
            function f : Mn → Mm. Intuitively, a function f is differentiable if rewriting it in terms of any parametrizations of
                           1      2
                                               n             m
            M andM inopensubsets U ⊂R and U ⊂R produces a differentiable function from U to U .
               1       2                  1            2                                               1     2
            Definition 2.2. Let Mn and Mm be differentiable manifolds. Then a function f : Mn → Mm is differentiable at
                                    1        2                                                   1      2
            p ∈ M if for any parametrization y : V ⊂ Rm → M at f(p), there exists a parametrization x : U ⊂ Rn → M
                   1                                             2                                                          1
            at p such that f(x(U)) ⊂ y(V) such that the function y−1 ◦ f ◦ x : U → Rm is differentiable at x−1(p). Figure 2
            illustrates this definition.
                                    Figure 2: Showing Differentiability of Function between Manifolds
                The next properties of regular surfaces that we seek to generalize are the notions of a tangent vector and tangent
            space at a point on a manifold M. In Euclidean space, the tangent vector of a point on a regular surface is defined
                                                                    2
              to be the derivative of a curve in the surface passing through the point of interest. Tangent vectors are thus vectors
              in the ambient space R3 and the tangent plane is a 2-dimensional subspace.
                  Arbitrary differentiable manifolds do not necessarily have an ambient space in which tangent vectors can be
              defined, so we must come up with another way to define them. Note that for any v = (v ,..,v ) ∈ Rn, we can define
                                                                                                               1     n
              a map that takes a real-valued function on Rn and outputs a real value, namely the directional derivative in the
              direction v. More specifically, we take a function α : (−ε,ε) → Rn such that α′(0) = v and get
                                                                                  n         
                                                           vf = d(f ◦α)        =Xv ∂f
                                                                     dt                i ∂x 
                                                                           t=0    i=1       i t=0
                  Thus each v is associated with a unique map taking functions to their directional derivatives in the direction of
              v. This suggests that we can define tangent vectors on a manifold as a function on differentiable functions on M, a
              formulation that does not depend on M being embedded in an ambient space.
              Definition 2.3. Let M be a differentiable manifold, p ∈ M, and α : (−ε,ε) → M be a curve such that α(0) = p.
              Let D denote the set of real-valued functions that are differentiable at p. Then the following function α′(0) : D → R
              is a tangent vector at the point p:                                     
                                                                  α′(0)f = d(f ◦α)
                                                                                dt    
                                                                                       t=0
              The set of such functions T M is called the tangent plane at point p. It is an n-dimensional vector space.
                                            p
                  It turns out that if we pick a local parametrization x in a neighborhood of the point p, there exists a natural
              basis for the tangent space. Let f ∈ D, p a point in M, and α : (−ε,ε) → M such that α(0) = p. Furthermore,
                         −1          n                                                                                           −1
              let q = x     (p) ∈ R . Then in terms of the parametrization x, we write f ◦ x = f(x1,...,xn) and x                   ◦ α(t) =
              (x (t),...,x (t)). Then f ◦ α(t) = (f ◦ x) ◦ (x−1 ◦ α)(t) = f(x (t),...,x (t)). We thus compute the function α′(0) to
                 1        n                                                       1         n
              be
                                                                      d(f ◦α)
                                                            α′(0)f =            
                                                                          dt    
                                                                                t=0         
                                                                    = df(x (t),...,x (t))
                                                                      dt     1         n    
                                                                                             t=0
                                                                       n
                                                                      X ′       ∂f
                                                                    =     x (0)
                                                                            i   ∂x
                                                                      i=1          i
                                                                                          !
                                                                         n             
                                                                    = Xx′(0)         ∂       f,
                                                                              i     ∂x
                                                                        i=1            i
              where each ∂ is the tangent vector at p of the coordinate curve t 7→ x(0,...,t,...0). Thus n ∂ on                 is a basis for
                            ∂x                                                                                        ∂x
                              i                                                                                          i i=1
              T M.
                p
                  Nowthat we have a notion of tangent vectors and tangent spaces, we can define the differential of a differentiable
              function from Mn to Mm. As in the case of regular surfaces in R3, the differential at a point is a linear map between
                                1       2
              tangent spaces.
              Definition 2.4. Let Mn and Mm be differentiable manifolds and f a differentiable function from M to M . Let
                                         1         2                                                                           1       2
              p ∈ M and α : (−ε,ε) → M such that α(0) = p. Let v = α′(0) and β(t) = f ◦α(t). We define the differential of f
                     1                       1
              at point p as df (v) = β′(0). df is a linear map from T M to T              M whose definition only depends on the input
                               p                 p                         p   1      f(p)  2
              vector v and not the specific curve α.
              2.2     Vector Fields
              Every differentiable n-manifold M has associated with it another differentiable 2n-manifold TM that is constructed
              by “gluing” the tangent plane to every point of M. Within the scope of these notes, this new manifold is useful to
              us only in the context of defining vector fields, but it has a wealth of nice properties, such as being orientable even
              if M is not.
              Definition 2.5. Let M denote a differentiable n-manifold.                We define the tangent bundle TM to be the set
              {(p,v) : p ∈ M,v ∈ TpM}. The tangent bundle is a 2n-dimensional differentiable manifold with a differentiable
                                                                             3
              structure {(y ,U ×Rn)} where
                             α   α
                                                                                                n        !
                                                 y (x ,...x ,u ,...,u ) =      x (x ,...,x ),Xu ∂
                                                   α 1      1   1      n        α 1        n        i ∂x
                                                                                               i=1      i
              with n ∂ o describing the basis of each T M with respect to parametrization x .
                      ∂xi                                   p                                         α
              Definition 2.6. A vector field X on differentiable manifold M is a function that assigns a tangent vector from
              T M to each point p ∈ M. It can be described as a function from M to TM. X is differentiable if the mapping
                p
              X:M→TMis.
                  There are 2 kinds of operations that can be done with a vector field X and differentiable function f : M → R.
              One is scalar multiplication of X by the value of f at each point. This is denoted as fX : M → TM. A second
              kind of operation that can be done is to create a new function Xf : M → R in which f is mapped to its directional
              derivative in the direction of X at each point. This is denoted as Xf.
                  Thus a vector field on M can be viewed as an operator on the space of differentiable real-valued functions on
              M, but the composition of these operators does not necessarily produce another field. There is a way, however, to
              combine 2 vector fields to provide another.
              Theorem 2.7. Let M be a differentiable manifold and X,Y be differentiable vector fields. Then XY − YX is a
              differentiable vector field called the Lie bracket denoted by [X,Y ]. The Lie bracket satisfies the following properties:
                  • [X,Y] = −[Y,X]
                  • [aX +bY,Z] = a[X,Z]+b[Y,Z]
                  • [fX +gY]=fg[X,Y]+f(Xg)Y −g(Yf)X
              Definition 2.8. Let Mn be a differentiable manifold and c : I → M be a differentiable curve on M, where I is some
              interval in R. A vector field on c is a function that assigns to each point c(t) an element of Tc(t)M. This vector field
              is differentiable if for every differential function f on M, the map t 7→ V (t)f is differentiable over I. The vector field
              dc(d/dt) is called the velocity field of c.
              3     Adding Geometric Structure
              3.1     Motivation
              Now that we have developed a way to describe abstract spaces with local Euclidean structure, we are now ready
              to define new structures with which geometry can be done. The basic tools needed to do geometry are rulers and
              protractors, that is, tools used to compute length and angle. In Euclidean space, the inner product (or dot product)
              provides a way to do both. More specifically, for any two vectors u,v ∈ Rn:
                                                          cos(θ) = hu,vi ,      d(u,v) = ku−vk
                                                                    kukkvk
              where kuk = hu,ui1/2. Naturally, our next step is to introduce the notion of an inner product to differentiable
              manifolds.
              3.2     The Riemannian Metric
              Definition 3.1. Let Mn be a differentiable manifold. A Riemannian metric is an association of an inner product
              h , ip to each point p ∈ M that varies differentiably. To illustrate what this means, we pick some p ∈ M and a
              local parametrization x : U → M containing p. Then for all i,j ∈ {1,...,n}, ∂ (x(q)) = dx (0,...1,...0) ∈ T                 M
                                                                                                    ∂xi             q                 x(q)   1
              and h ∂ (x(q)), ∂ (x(q))i         is a differentiable function from U to R. A differentiable manifold with a Riemannian
                    ∂x          ∂x         x(q)
                       i          i
              metric is called a Riemannian manifold.
                                                                             4
The words contained in this file might help you see if this file matches what you are looking for:

...Riemannian manifolds and ane connections ashwin devaraj advised by dan weser december contents introduction overview of topics prerequisites dierentiable basic denitions vector fields adding geometric structure motivation the metric abrief interlude connection summary figures cited these notes assume a good knowledge multivariable calculus linear algebra point set topology to fully appreciate motivations behind this material it would be helpful understand dierential geometry in euclidean space i e regular curves surfaces curvature tangent spaces notation we use follow do carmo s as per text term is taken mean smooth rst step our generalization take an arbitrary that locally looks like with motivates denition manifold which can viewed surface r adieremtiable dimension n m family injective mappings x u where each open subset rn following properties hold means images sets cover for any pair intersection w nonempty are both function illustrated figure maximal themaximalfamily associatedwit...

no reviews yet
Please Login to review.