DOCSLIB.ORG

1 the Tangent Bundle and Vector Bundle

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
1 the Tangent Bundle and Vector Bundle Tangent bundle, vector bundles and vector fields by Min Ru 1 The Tangent bundle and vector bundle The aim of this section is to introduce the tangent bundle TX for a differential manifold X. Intuitively this is the object we get by gluing at each point p ∈ X the corresponding tangent space TpX. The differentiable structure on X induces a differentiable structure on TX making it into a differentiable manifold of dimension 2 dim(X). The tangent bundle TX is the most important example of what is called a vector bundle over X(see the definition below). 1.1. Review of the tangent space TpX: Let X be a smooth differential manifold of dimension m and let p ∈ X. The tangent space TpX is a collection of tangent vectors vp to X at the point p. A tangent vector vp ∞ is a map vp : C (X) → R such that (i) vp(af + bg) = avp(f)+ bvp(g), (ii) vp(fg) = m m f(p)vp(g)+ g(p)vp(f). Let (U, φ) a local coordinate for X at p, let R = Ru1,...,um and write ∂ φ = (x1,...,xm). Then we have special tangent vectors { | , 1 ≤ k ≤ m} (called the ∂xk p partial derivatives) ∂ | : C∞(X) → R ∂xk p defined by ∂ ∂(f ◦ φ−1) | (f)= | . ∂xk p ∂uk φ(p ∂ Then { | , 1 ≤ k ≤ m} forms a basis for T X, moreover(from the proof), for every v ∈ ∂xk p p p TpX, we can write m ∂ v = v (xk) | . p p ∂xk p kX=1 1.2. Construction of the tangent bundle TX: 1 Let X be a smooth differential manifold of dimension m. Let TX = ∪p∈X TpX = {(p, v) | p ∈ X, v ∈ TpX}. Let π : TX → X be the natural projection map with π :(p, v) 7→ p. For a given point p ∈ X −1 the fiber π ({p}) of π is the m-dimensional tangent space TpX at p. The triple (TX,X,π) is called the tangent bundle of X. We can put a differentiable structure on TX making it into a differentiable manifold of dimension 2 dim(X) as follows: Let X be a differential manifold with maximal atlas A. Let x : U → Rm in A be a chart for X and define −1 m m ψ˜U : π (U) → R × R by m ∂ ψ˜ : (p, a | ) 7→ (x(p), (a ,...,a )). U k ∂xk p 1 m kX=1 −1 m m Then it is easy to check that ψ˜U is one-to one and ψ˜U (π (U)) is an open set in R × R . We now check that overlap(transition) maps are smooth maps. In fact, Let (U, x) and (V,y) be two charts in A such that p ∈ U ∩ V . Then the overlap(transition) map −1 −1 m m ψ˜V ◦ (ψ˜U ) : ψ˜U (π (U ∩ V )) → R × R is given by m m −1 ∂y1 ∂ym (a, b) 7→ (y ◦ x (a), | −1 b ,..., | −1 b ). ∂xk x (a) k ∂xk x (a) k kX=1 kX=1 −1 −1 Since X is a smooth manifold, y ◦ x is smooth, hence ψ˜V ◦ (ψ˜U ) is also smooth. Let ∗ −1 A = {(π (U), ψ˜U ) | (U, x) ∈ A}, then A∗ is a C∞ atlas. So TX is an 2m smooth manifold. It is trivial that the projection map π : TX → X is also smooth. 2 1.3. The tangent bundle, cotangent bundle and the definition of general vector bundle. −1 For each point p ∈ X the fiber π ({p}) is the tangent space TpX of X at p hence an m- m −1 m dimensional vector space. For a chart x : U → R is A, we define ψU : π (U) → U × R by m ∂ ψ : (p, a | ) 7→ (p, (a ,...,a )). U k ∂xk p 1 m kX=1 Obviously ψU is a diffeomorphism. Further more, it has the following important property: m the restriction of ψU to the tangent space TpX, i.e. ψp = ψU |TpX : TpX →{p} × R is given by m ∂ ψ : a | 7→ (a ,...,a ), p k ∂xk p 1 m kX=1 −1 m so it is a vector space isomorphism. The map ψU : π (U) → U ×R is called a bundle chart. In summary: For a smooth manifold X, we get a triple (TX,X,π), which is called the tangent bundle of X, where π is a continuous surjective map(natural projection), TX is a smooth differential manifold of dimension 2 dim(X). Further, it satisfies the following property: −1 (i) For each p ∈ X, the fiber π ({p})= Tp(X) is an m-dimensional vector space. −1 (ii) For each p ∈ X there exists a bundle chart (π (U), ψU ) (some book called it −1 m trivialization) such that ψU : π (U) → U × R is a smooth diffeomorphism and for all m q ∈ U, the map ψq = ψU |Tq(X) : Tq(X) →{q} × R is a vector space isomorphism. A smooth map v : X → TX is called a smooth vector field (or smooth section) if π ◦ v(p)= p for each p ∈ X. Finally, motivated by the above construction, we introduce the following general defini- tion: 3 Definition 1: Let E and X be smooth manifolds and π : E → X be a smooth surjective map. The triple (E,X,π) is called a (smooth) vector bundle of rank k over X if −1 (i) For each p ∈ X, the fiber Ep = π ({p}) is a k-dimensional vector space. −1 (ii) For each p ∈ X there exists a bundle chart (π (U), ψU ) (some book called it −1 k trivialization) such that ψU : π (U) → U × R is a smooth diffeomorphism and for all k q ∈ U, the map ψq = ψU |Eq : Eq(X) →{q} × R is a vector space isomorphism. Vector bundles of rank 1 is also called the line bundle. The vector bundle of rank r over X is said to be trivial if there exists a global bundle chart ψ : E → X × Rk. Definition 2: Let (E,X,π) be a vector bundle over X. A smooth map σ : X → E is said to be a smooth section of the bundle (E,X,π) if π ◦ σ(p)= p for every p ∈ X. The set of all smooth sections is denoted by Γ(X, E) or just Γ(E). Definition 3: Let (E,X,π) be a vector bundle of rank k over X. Let {Uα} be an open −1 k covering of X and let ψα : π (Uα) → Uα × R be the trivialization. Then, on Uα ∩ Uβ =6 ∅, the composition map −1 k k ψα ◦ ψβ :(Uα ∩ Uβ) × R → (Uα ∩ Uβ) × R k is of the form, for every p ∈ Uα ∩ Uβ and b ∈ R , −1 ψα ◦ ψβ (p, b)=(p, gαβ(p)(b)) for some smooth map gαβ : Uα ∩ Uβ → GL(k, R) where GL(k, R) is the set of k × k non- singular matrices. The smooth GL(k, R)-valued maps {gαβ} are called the transition func- tions for a vector bundle E. 4 Examples 1. Let E = X × Rk. Then E is a vector bundle of rank k. In this case, the trivialization map is an identity map. This bundle is called the trivial bundle. 2. Let E = TX = ∪p∈X Tp(X). It is called the tangent bundle, denoted by TX. The rank of this bundle is m (the dimension of TX as a manifold is 2m), where dim X = m. Let 1 m (U, φU ) be a chart of X with coordinate functions x ,...,x . Then it defines a trivialization −1 m ψU : π (U) → U × R by m ∂ ψ : (p, a | ) 7→ (p, (a ,...,a )). U k ∂xk p 1 m kX=1 We now calculate the transition functions. Let(U, φU ), (V,φV ) two charts on X, with coordinate functions x1,...,xm and y1,...,ym respectively, where U ∩ V =6 ∅. For every m b =(b1,...,bm) ∈ R , and p ∈ U ∩ V , m −1 ∂ ψV (p, b)=(p, bi i |p). i ∂y X=1 Since, on U ∩ V , ∂ m ∂xj ∂ i |p= i j |p, ∂y j ∂y ∂x X=1 we conclude that, on U ∩ V , m m m j −1 ∂ ∂x ∂ ψV (p, b)=(p, bi i |p)=(p, bi i j |p). i ∂y j i ∂y ∂x X=1 X=1 X=1 Hence, m 1 m m −1 ∂x ∂x ψU ◦ ψV (p, b)=(p, bi i ,..., bi i ). i ∂y i ∂y X=1 X=1 This means the transition map gUV is, for every p ∈ U ∩ V , ∂xi gUV (p)= j |φV (p). ∂y !1≤i,j≤m 5 3. Besides the tangent bundle TX above, we also have the cotangent bundle T ∗X as follows: Consider a smooth manifold X of dimension m. The dual space to the tangent space TpX, ∗ m p ∈ X, is called the cotangent space to X at p, denoted by Tp X. Suppose that x : U → R ∂ be a local coordinates for X at p, then { | , 1 ≤ k ≤ m} forms a basis for T X, i.e. ∂xk p p ∂ for every v ∈ T X. The dual basis to { | , 1 ≤ k ≤ m} is traditionally denoted by p p ∂xk p k {dx |p, 1 ≤ k ≤ m}. (Sometimes, I may drop the subscript p from the notation.) Thus an m ∗ k arbitrary element of Tp X is expressed as akdx |p for some ak ∈ R. The disjoint union k=1 of all the cotangent space X ∗ ∗ T X = ∪p∈X Tp X is called the cotangent bundle of X.
Load more

Recommended publications
  • Connections on Bundles Md
    Dhaka Univ. J. Sci. 60(2): 191-195, 2012 (July) Connections on Bundles Md. Showkat Ali, Md. Mirazul Islam, Farzana Nasrin, Md. Abu Hanif Sarkar and Tanzia Zerin Khan Department of Mathematics, University of Dhaka, Dhaka 1000, Bangladesh, Email: [email protected] Received on 25. 05. 2011.Accepted for Publication on 15. 12. 2011 Abstract This paper is a survey of the basic theory of connection on bundles. A connection on tangent bundle , is called an affine connection on an -dimensional smooth manifold . By the general discussion of affine connection on vector bundles that necessarily exists on which is compatible with tensors. I. Introduction = < , > (2) In order to differentiate sections of a vector bundle [5] or where <, > represents the pairing between and ∗. vector fields on a manifold we need to introduce a Then is a section of , called the absolute differential structure called the connection on a vector bundle. For quotient or the covariant derivative of the section along . example, an affine connection is a structure attached to a differentiable manifold so that we can differentiate its Theorem 1. A connection always exists on a vector bundle. tensor fields. We first introduce the general theorem of Proof. Choose a coordinate covering { }∈ of . Since connections on vector bundles. Then we study the tangent vector bundles are trivial locally, we may assume that there is bundle. is a -dimensional vector bundle determine local frame field for any . By the local structure of intrinsically by the differentiable structure [8] of an - connections, we need only construct a × matrix on dimensional smooth manifold . each such that the matrices satisfy II.
    [Show full text]
  • A Guide to Symplectic Geometry
    OSU — SYMPLECTIC GEOMETRY CRASH COURSE IVO TEREK A GUIDE TO SYMPLECTIC GEOMETRY IVO TEREK* These are lecture notes for the SYMPLECTIC GEOMETRY CRASH COURSE held at The Ohio State University during the summer term of 2021, as our first attempt for a series of mini-courses run by graduate students for graduate students. Due to time and space constraints, many things will have to be omitted, but this should serve as a quick introduction to the subject, as courses on Symplectic Geometry are not currently offered at OSU. There will be many exercises scattered throughout these notes, most of them routine ones or just really remarks, not only useful to give the reader a working knowledge about the basic definitions and results, but also to serve as a self-study guide. And as far as references go, arXiv.org links as well as links for authors’ webpages were provided whenever possible. Columbus, May 2021 *[email protected] Page i OSU — SYMPLECTIC GEOMETRY CRASH COURSE IVO TEREK Contents 1 Symplectic Linear Algebra1 1.1 Symplectic spaces and their subspaces....................1 1.2 Symplectomorphisms..............................6 1.3 Local linear forms................................ 11 2 Symplectic Manifolds 13 2.1 Definitions and examples........................... 13 2.2 Symplectomorphisms (redux)......................... 17 2.3 Hamiltonian fields............................... 21 2.4 Submanifolds and local forms......................... 30 3 Hamiltonian Actions 39 3.1 Poisson Manifolds................................ 39 3.2 Group actions on manifolds.......................... 46 3.3 Moment maps and Noether’s Theorem................... 53 3.4 Marsden-Weinstein reduction......................... 63 Where to go from here? 74 References 78 Index 82 Page ii OSU — SYMPLECTIC GEOMETRY CRASH COURSE IVO TEREK 1 Symplectic Linear Algebra 1.1 Symplectic spaces and their subspaces There is nothing more natural than starting a text on Symplecic Geometry1 with the definition of a symplectic vector space.
    [Show full text]
  • Vector Bundles on Projective Space
    Vector Bundles on Projective Space Takumi Murayama December 1, 2013 1 Preliminaries on vector bundles Let X be a (quasi-projective) variety over k. We follow [Sha13, Chap. 6, x1.2]. Definition. A family of vector spaces over X is a morphism of varieties π : E ! X −1 such that for each x 2 X, the fiber Ex := π (x) is isomorphic to a vector space r 0 0 Ak(x).A morphism of a family of vector spaces π : E ! X and π : E ! X is a morphism f : E ! E0 such that the following diagram commutes: f E E0 π π0 X 0 and the map fx : Ex ! Ex is linear over k(x). f is an isomorphism if fx is an isomorphism for all x. A vector bundle is a family of vector spaces that is locally trivial, i.e., for each x 2 X, there exists a neighborhood U 3 x such that there is an isomorphism ': π−1(U) !∼ U × Ar that is an isomorphism of families of vector spaces by the following diagram: −1 ∼ r π (U) ' U × A (1.1) π pr1 U −1 where pr1 denotes the first projection. We call π (U) ! U the restriction of the vector bundle π : E ! X onto U, denoted by EjU . r is locally constant, hence is constant on every irreducible component of X. If it is constant everywhere on X, we call r the rank of the vector bundle. 1 The following lemma tells us how local trivializations of a vector bundle glue together on the entire space X.
    [Show full text]
  • Stable Isomorphism Vs Isomorphism of Vector Bundles: an Application to Quantum Systems
    Alma Mater Studiorum · Universita` di Bologna Scuola di Scienze Corso di Laurea in Matematica STABLE ISOMORPHISM VS ISOMORPHISM OF VECTOR BUNDLES: AN APPLICATION TO QUANTUM SYSTEMS Tesi di Laurea in Geometria Differenziale Relatrice: Presentata da: Prof.ssa CLARA PUNZI ALESSIA CATTABRIGA Correlatore: Chiar.mo Prof. RALF MEYER VI Sessione Anno Accademico 2017/2018 Abstract La classificazione dei materiali sulla base delle fasi topologiche della materia porta allo studio di particolari fibrati vettoriali sul d-toro con alcune strut- ture aggiuntive. Solitamente, tale classificazione si fonda sulla nozione di isomorfismo tra fibrati vettoriali; tuttavia, quando il sistema soddisfa alcune assunzioni e ha dimensione abbastanza elevata, alcuni autori ritengono in- vece sufficiente utilizzare come relazione d0equivalenza quella meno fine di isomorfismo stabile. Scopo di questa tesi `efissare le condizioni per le quali la relazione di isomorfismo stabile pu`osostituire quella di isomorfismo senza generare inesattezze. Ci`onei particolari casi in cui il sistema fisico quantis- tico studiato non ha simmetrie oppure `edotato della simmetria discreta di inversione temporale. Contents Introduction 3 1 The background of the non-equivariant problem 5 1.1 CW-complexes . .5 1.2 Bundles . 11 1.3 Vector bundles . 15 2 Stability properties of vector bundles 21 2.1 Homotopy properties of vector bundles . 21 2.2 Stability . 23 3 Quantum mechanical systems 28 3.1 The single-particle model . 28 3.2 Topological phases and Bloch bundles . 32 4 The equivariant problem 36 4.1 Involution spaces and general G-spaces . 36 4.2 G-CW-complexes . 39 4.3 \Real" vector bundles . 41 4.4 \Quaternionic" vector bundles .
    [Show full text]
  • LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The
    LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class of fibrations given by fiber bundles. Fiber bundles play an important role in many geometric contexts. For example, the Grassmaniann varieties and certain fiber bundles associated to Stiefel varieties are central in the classification of vector bundles over (nice) spaces. The fact that fiber bundles are examples of Serre fibrations follows from Theorem ?? which states that being a Serre fibration is a local property. 1. Fiber bundles and principal bundles Definition 6.1. A fiber bundle with fiber F is a map p: E ! X with the following property: every ∼ −1 point x 2 X has a neighborhood U ⊆ X for which there is a homeomorphism φU : U × F = p (U) such that the following diagram commutes in which π1 : U × F ! U is the projection on the first factor: φ U × F U / p−1(U) ∼= π1 p * U t Remark 6.2. The projection X × F ! X is an example of a fiber bundle: it is called the trivial bundle over X with fiber F . By definition, a fiber bundle is a map which is `locally' homeomorphic to a trivial bundle. The homeomorphism φU in the definition is a local trivialization of the bundle, or a trivialization over U. Let us begin with an interesting subclass. A fiber bundle whose fiber F is a discrete space is (by definition) a covering projection (with fiber F ). For example, the exponential map R ! S1 is a covering projection with fiber Z. Suppose X is a space which is path-connected and locally simply connected (in fact, the weaker condition of being semi-locally simply connected would be enough for the following construction).
    [Show full text]
  • Functor and Natural Operators on Symplectic Manifolds
    Mathematical Methods and Techniques in Engineering and Environmental Science Functor and natural operators on symplectic manifolds CONSTANTIN PĂTRĂŞCOIU Faculty of Engineering and Management of Technological Systems, Drobeta Turnu Severin University of Craiova Drobeta Turnu Severin, Str. Călugăreni, No.1 ROMANIA [email protected] http://www.imst.ro Abstract. Symplectic manifolds arise naturally in abstract formulations of classical Mechanics because the phase–spaces in Hamiltonian mechanics is the cotangent bundle of configuration manifolds equipped with a symplectic structure. The natural functors and operators described in this paper can be helpful both for a unified description of specific proprieties of symplectic manifolds and for finding links to various fields of geometric objects with applications in Hamiltonian mechanics. Key-words: Functors, Natural operators, Symplectic manifolds, Complex structure, Hamiltonian. 1. Introduction. diffeomorphism f : M → N , a vector bundle morphism The geometrics objects (like as vectors, covectors, T*f : T*M→ T*N , which covers f , where −1 tensors, metrics, e.t.c.) on a smooth manifold M, x = x :)*)(()*( x * → xf )( * NTMTfTfT are the elements of the total spaces of a vector So, the cotangent functor, )(:* → VBmManT and bundles with base M. The fields of such geometrics objects are the section in corresponding vector more general ΛkT * : Man(m) → VB , are the bundles. bundle functors from Man(m) to VB, where Man(m) By example, the vectors on a smooth manifold M (subcategory of Man) is the category of m- are the elements of total space of vector bundles dimensional smooth manifolds, the morphisms of this (TM ,π M , M); the covectors on M are the elements category are local diffeomorphisms between of total space of vector bundles (T*M , pM , M).
    [Show full text]
  • Book: Lectures on Differential Geometry
    Lectures on Differential geometry John W. Barrett 1 October 5, 2017 1Copyright c John W. Barrett 2006-2014 ii Contents Preface .................... vii 1 Differential forms 1 1.1 Differential forms in Rn ........... 1 1.2 Theexteriorderivative . 3 2 Integration 7 2.1 Integrationandorientation . 7 2.2 Pull-backs................... 9 2.3 Integrationonachain . 11 2.4 Changeofvariablestheorem. 11 3 Manifolds 15 3.1 Surfaces .................... 15 3.2 Topologicalmanifolds . 19 3.3 Smoothmanifolds . 22 iii iv CONTENTS 3.4 Smoothmapsofmanifolds. 23 4 Tangent vectors 27 4.1 Vectorsasderivatives . 27 4.2 Tangentvectorsonmanifolds . 30 4.3 Thetangentspace . 32 4.4 Push-forwards of tangent vectors . 33 5 Topology 37 5.1 Opensubsets ................. 37 5.2 Topologicalspaces . 40 5.3 Thedefinitionofamanifold . 42 6 Vector Fields 45 6.1 Vectorsfieldsasderivatives . 45 6.2 Velocityvectorfields . 47 6.3 Push-forwardsofvectorfields . 50 7 Examples of manifolds 55 7.1 Submanifolds . 55 7.2 Quotients ................... 59 7.2.1 Projectivespace . 62 7.3 Products.................... 65 8 Forms on manifolds 69 8.1 Thedefinition. 69 CONTENTS v 8.2 dθ ....................... 72 8.3 One-formsandtangentvectors . 73 8.4 Pairingwithvectorfields . 76 8.5 Closedandexactforms . 77 9 Lie Groups 81 9.1 Groups..................... 81 9.2 Liegroups................... 83 9.3 Homomorphisms . 86 9.4 Therotationgroup . 87 9.5 Complexmatrixgroups . 88 10 Tensors 93 10.1 Thecotangentspace . 93 10.2 Thetensorproduct. 95 10.3 Tensorfields. 97 10.3.1 Contraction . 98 10.3.2 Einstein summation convention . 100 10.3.3 Differential forms as tensor fields . 100 11 The metric 105 11.1 Thepull-backmetric . 107 11.2 Thesignature . 108 12 The Lie derivative 115 12.1 Commutator of vector fields .
    [Show full text]
  • FOLIATIONS Introduction. the Study of Foliations on Manifolds Has a Long
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 3, May 1974 FOLIATIONS BY H. BLAINE LAWSON, JR.1 TABLE OF CONTENTS 1. Definitions and general examples. 2. Foliations of dimension-one. 3. Higher dimensional foliations; integrability criteria. 4. Foliations of codimension-one; existence theorems. 5. Notions of equivalence; foliated cobordism groups. 6. The general theory; classifying spaces and characteristic classes for foliations. 7. Results on open manifolds; the classification theory of Gromov-Haefliger-Phillips. 8. Results on closed manifolds; questions of compact leaves and stability. Introduction. The study of foliations on manifolds has a long history in mathematics, even though it did not emerge as a distinct field until the appearance in the 1940's of the work of Ehresmann and Reeb. Since that time, the subject has enjoyed a rapid development, and, at the moment, it is the focus of a great deal of research activity. The purpose of this article is to provide an introduction to the subject and present a picture of the field as it is currently evolving. The treatment will by no means be exhaustive. My original objective was merely to summarize some recent developments in the specialized study of codimension-one foliations on compact manifolds. However, somewhere in the writing I succumbed to the temptation to continue on to interesting, related topics. The end product is essentially a general survey of new results in the field with, of course, the customary bias for areas of personal interest to the author. Since such articles are not written for the specialist, I have spent some time in introducing and motivating the subject.
    [Show full text]
  • MAT 531 Geometry/Topology II Introduction to Smooth Manifolds
    MAT 531 Geometry/Topology II Introduction to Smooth Manifolds Claude LeBrun Stony Brook University April 9, 2020 1 Dual of a vector space: 2 Dual of a vector space: Let V be a real, finite-dimensional vector space. 3 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be 4 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: 5 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and 6 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and ∗ dimV = dimV: 7 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and ∗ dimV = dimV: ∗ ∼ In particular, V = V as vector spaces. 8 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and ∗ dimV = dimV: ∗ ∼ In particular, V = V as vector spaces.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY 1. Preliminary Of
    INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1. Preliminary of Calculus on Manifolds 1.1. Tangent Vectors. What are tangent vectors we encounter in Calculus? 2 0 (1) Given a parametrised curve α(t) = x(t); y(t) in R , α (t) = x0(t); y0(t) is a tangent vector of the curve. (2) Given a surface given by a parameterisation x(u; v) = x(u; v); y(u; v); z(u; v); @x @x n = × is a normal vector of the surface. Any vector @u @v perpendicular to n is a tangent vector of the surface at the corresponding point. (3) Let v = (a; b; c) be a unit tangent vector of R3 at a point p 2 R3, f(x; y; z) be a differentiable function in an open neighbourhood of p, we can have the directional derivative of f in the direction v: @f @f @f D f = a (p) + b (p) + c (p): (1.1) v @x @y @z In fact, given any tangent vector v = (a; b; c), not necessarily a unit vector, we still can define an operator on the set of functions which are differentiable in open neighbourhood of p as in (1.1) Thus we can take the viewpoint that each tangent vector of R3 at p is an operator on the set of differential functions at p, i.e. @ @ @ v = (a; b; v) ! a + b + c j ; @x @y @z p or simply @ @ @ v = (a; b; c) ! a + b + c (1.2) @x @y @z 3 with the evaluation at p understood.
    [Show full text]
  • 3. Tensor Fields
    3.1 The tangent bundle. So far we have considered vectors and tensors at a point. We now wish to consider fields of vectors and tensors. The union of all tangent spaces is called the tangent bundle and denoted TM: TM = ∪x∈M TxM . (3.1.1) The tangent bundle can be given a natural manifold structure derived from the manifold structure of M. Let π : TM → M be the natural projection that associates a vector v ∈ TxM to the point x that it is attached to. Let (UA, ΦA) be an atlas on M. We construct an atlas on TM as follows. The domain of a −1 chart is π (UA) = ∪x∈UA TxM, i.e. it consists of all vectors attached to points that belong to UA. The local coordinates of a vector v are (x1,...,xn, v1,...,vn) where (x1,...,xn) are the coordinates of x and v1,...,vn are the components of the vector with respect to the coordinate basis (as in (2.2.7)). One can easily check that a smooth coordinate trasformation on M induces a smooth coordinate transformation on TM (the transformation of the vector components is given by (2.3.10), so if M is of class Cr, TM is of class Cr−1). In a similar way one defines the cotangent bundle ∗ ∗ T M = ∪x∈M Tx M , (3.1.2) the tensor bundles s s TMr = ∪x∈M TxMr (3.1.3) and the bundle of p-forms p p Λ M = ∪x∈M Λx . (3.1.4) 3.2 Vector and tensor fields.
    [Show full text]
  • Notes on Principal Bundles and Classifying Spaces
    Notes on principal bundles and classifying spaces Stephen A. Mitchell August 2001 1 Introduction Consider a real n-plane bundle ξ with Euclidean metric. Associated to ξ are a number of auxiliary bundles: disc bundle, sphere bundle, projective bundle, k-frame bundle, etc. Here “bundle” simply means a local product with the indicated fibre. In each case one can show, by easy but repetitive arguments, that the projection map in question is indeed a local product; furthermore, the transition functions are always linear in the sense that they are induced in an obvious way from the linear transition functions of ξ. It turns out that all of this data can be subsumed in a single object: the “principal O(n)-bundle” Pξ, which is just the bundle of orthonormal n-frames. The fact that the transition functions of the various associated bundles are linear can then be formalized in the notion “fibre bundle with structure group O(n)”. If we do not want to consider a Euclidean metric, there is an analogous notion of principal GLnR-bundle; this is the bundle of linearly independent n-frames. More generally, if G is any topological group, a principal G-bundle is a locally trivial free G-space with orbit space B (see below for the precise definition). For example, if G is discrete then a principal G-bundle with connected total space is the same thing as a regular covering map with G as group of deck transformations. Under mild hypotheses there exists a classifying space BG, such that isomorphism classes of principal G-bundles over X are in natural bijective correspondence with [X, BG].
    [Show full text]