2.2 Tangent Bundle Fiber Bundles 2.2. TANGENT BUNDLE 37
|
|
- Shawn McDonald
- 6 years ago
- Views:
Transcription
1 2.2. TANGENT BUNDLE Tangent Bundle Fiber Bundles Let M and E be smooth manifolds andπ : E M be a smooth map. Then the triple (E,π, M) is called a bundle. The manifold M is called the base manifold of the bundle and the manifold E is called the bundle space of the bundle (or the bundle space manifold). The mapπis called the projection. The inverse imageπ 1 (p) of a point p M is called the fiber over p. The projection map is supposed to be surjective, that is, the differentialπ has the maximal rank equal to dim M. Let{U α } α A be an atlas of local charts covering the base manifold M and let U αβ = U α U β, U αβγ = U α U β U γ etc. A fiber bundle is a bundle all fibers of which,π 1 (p), p M, are diffeomorphic to a common manifold F called the typical fiber of the bundle (or just the fiber). For a fiber bundle, the inverse imagesπ 1 (U α ) are diffeomorphic to U α F. That is, there are diffeomorhisms h α : U α F π 1 (U α ), such that for any p U α M,σ F The diffeomorphisms π(h α (p,σ))= p. ϕ αβ = h 1 β h α : U αβ F U αβ F are called the transition functions of the bundle. The transition functions are defined by, p U αβ M,σ F, ϕ αβ (p,σ)=(p, (R αβ (p))(σ)). That is, for all p U αβ there are diffeomorphisms R αβ (p) of the fiber R αβ (p) : F F. diffgeom.tex; January 18, 2018; 9:43; p. 40
2 38 CHAPTER 2. TENSORS It is required that the set of all transformations R αβ (p) Gfor allα,βand p U αβ M forms a group G. This group is called the structure group of the bundle. Thus, the transition functionsϕ αβ determine smooth maps R αβ : U αβ G, that assign to each point p U αβ an element R αβ (p) G of the structure group. Of course, from the definition of these maps we immediately obtain the consistency conditions (or compatibility conditions) R αβ (p)=(r βα (p)) 1, p U αβ, R αβ (p)r βγ (p)r γα (p)=id M, p U αβγ. A principal bundle is a fiber bundle (E,π, M) whose fiber F coincides with the structure group, that is, F= G. A fiber bundle with any fiber F is fully determined by the transition functions satisfying the consistency conditions. The fiber F does not play much role in this construction. Let F be a manifold and Diff(F) be the set of all diffeomorphisms F F. Let G be a group and e G be the identity element of G. Then a map T : G Diff(F) such that T(e) = Id F, T(R 1 ) = (T(R)) 1, R G, T(R 1 R 2 ) = T(R 1 ) T(R 2 ), R 1, R 2 G, is called a representation of the group G. Given a fiber bundle (E,π, M) with a fiber F and a structure group G one can construct another fiber bundle (E,π, M) with a fiber F and the same structure group G as follows. One takes a representation of the structure group T : G Diff(F ) on the fiber F and simply replaces the transition functions R αβ by T(R αβ ). Such a fiber bundle is called a bundle associated with the original bundle. diffgeom.tex; January 18, 2018; 9:43; p. 41
3 2.2. TANGENT BUNDLE 39 Thus, every fiber bundle is an associated bundle with some principal bundle. So, all bundles can be constructed as associated bundles from principal bundles. All we need is the structure group. The fiber is not important. A vector bundle is a fiber bundle whose fiber is a vector space. A section of a bundle (E,π, M) is a map s : M Esuch that the image of each point p M is in the fiberπ 1 (p) over this point, that is, s(p) π 1 (p), or π s=id M Tangent Bundle Definition Let M be a smooth manifold. The tangent bundle T M to M is the collection of all tangent vectors at all points of M. Let dim M= n. T M={(p, v) p M, v T p M} Let p M be a point in the manifold M, (U, x) be a local chart and (x i ) be the local coordinates of the point p. Let i = / x i be the coordinate basis for T p M. Let v= n i=1 v i i T p M. Then the local coordinates of the point (p, v) T M are (x 1,..., x n, v 1,...,v n ). Remarks. The coordinates (x i ) are local; they are restricted to the local chart U, that is, (x i ) U R n. The coordinates v i are not restricted, that is, (v i ) R n, they take any values inr n. The open set U R n R 2n is a local chart in the tangent bundle T M. Let (U α, x α ) and (U α, x α ) be two local charts containing the point p. diffgeom.tex; January 18, 2018; 9:43; p. 42
4 40 CHAPTER 2. TENSORS Then the local coordinates of the point (p, v) in overlapping local charts are related by This is a local diffeomorphism. xα i = xα(x i β ) n v i α = j=1 xα i v j x j β β Thus, the tangent bundle T M is a manifold of dimension 2 dim M. A mapπ : T M M defined by π(p, v)= p is called the projection map. It assigns to a vector tangent to M the point in M at which the vector sits. Locally, if p has coordinates (x 1,..., x n ) and v has components (v 1,...,v n ) in the coordinate basis, then π(x 1,..., x n, v 1,...,v n )=(x 1,..., x n ). Let p M be a point in M. The setπ 1 (p) T M is called the fiber of the tangent bundle. The fiber of the tangent bundle is the tangent space at p. Remarks. π 1 (p)=t p M There is no global projection mapπ : T M R n defined byπ (p, v)=v. In general, T M M R n. For any chart U M π 1 (U)=U R n. Thus, locally the tangent bundle is a product manifold. diffgeom.tex; January 18, 2018; 9:43; p. 43
5 2.2. TANGENT BUNDLE 41 A vector field is a map such that v : M T M, π v=id : M M. A vector field is a cross section of the tangent bundle. The image of the manifold under a vector field is a n-dimensional submanifold of the tangent bundle T M. The zero vector field defines the zero section of the tangent bundle. Definition Let (M, g) be an n-dimensional Riemannian manifold. The unite tangent bundle of M is the set T 0 M of all unit vectors to M, T 0 M={(p, v) p M, v T p M, v =1}, where, locally, v 2 = n i, j=1 g i j (p)v i v j. The unit tangent bundle is a (2n 1)-dimensional submanifold of the tangent bundle T M. Theorem Let S 2 be the unit 2-sphere embedded inr 3. The unit tangent bundle T 0 S 2 is homeomorphic to the real projective spacerp 3 and to the special orthogonal group S O(3) Proof: T 0 S 2 RP 3 S O(3). 1. diffgeom.tex; January 18, 2018; 9:43; p. 44
6 42 CHAPTER 2. TENSORS 2.3 The Cotangent Bundle Definition Let M be a smooth manifold. The cotangent bundle T M to M is the collection of all covectors at all points of M Let dim M= n. T M={(p,σ) p M,σ T pm} Let p M be a point in the manifold M, (U, x) be a local chart and (x i ) be the local coordinates of the point p. Let dx i be the coordinate basis for T pm. Letα= n i=1α i dx i T pm. Then the local coordinates of the point (p,α) T M are (x 1,..., x n,α 1,...,α n ). Remarks. The open set U R n R 2n is a local chart in the cotangent bundle T M. Let (U α, x α ) and (U α, x α ) be two local charts containing the point p. Then the local coordinates of the point (p,σ) in overlapping local charts are related by This is a local diffeomorphism. xα i = xα(x i β ) n σ α i = j=1 x j β x i α σ β j. Thus, the cotangent bundle T M is a manifold of dimension 2n. The projection mapπ : T M M is defined byπ(p,α)= p. A covector field (or a 1-form)is a map such that α : M T M, π α=id : M M. A covector field is a section of the cotangent bundle. diffgeom.tex; January 18, 2018; 9:43; p. 45
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More information(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k
1. Vector Bundles Convention: All manifolds here are Hausdorff and paracompact. To make our life easier, we will assume that all topological spaces are homeomorphic to CW complexes unless stated otherwise.
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 informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
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 informationLECTURE 22: INTEGRATION ON MANIFOLDS. 1. Orientations
LECTURE 22: INTEGRATION ON ANIFOLDS 1. Orientations Let be a smooth manifold of dimension n, and let ω Ω n () be a smooth n-form. We want to define the integral ω. First assume = R n. In calculus we learned
More informationNOTES ON MANIFOLDS ALBERTO S. CATTANEO
NOTES ON MANIFOLDS ALBERTO S. CATTANEO Contents 1. Introduction 2 2. Manifolds 2 2.1. Coordinates 6 2.2. Dimension 7 2.3. The implicit function theorem 7 3. Maps 8 3.1. The pullback 10 3.2. Submanifolds
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY
INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),
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 informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationLecture 5. vector bundles, gauge theory
Lecture 5 vector bundles, gauge theory tangent bundle In Lecture 2, we defined the tangent space T p M at each point p on M. Let us consider a collection of tangent bundles over every point on M, TM =
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 informationChapter 2 Vector Bundles
Chapter 2 Vector Bundles Vector bundles constitute a special class of manifolds, which is of great importance in physics. In particular, all sorts of tensor fields occurring in physical models may be viewed
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 informationConnections on principal fibre bundles
GT 2006 (jmf) 3 Lecture 1: Connections on principal fibre bundles The beauty and profundity of the geometry of fibre bundles were to a large extent brought forth by the (early) work of Chern. I must admit,
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationNotes on Spivak, Differential Geometry, vol 1.
Notes on Spivak, Differential Geometry, vol 1. Chapter 1. Chapter 1 deals with topological manifolds. There is some discussion about more subtle topological aspects (pp. 2 7) which we can gloss over. A
More informationSubgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this
More informationSolutions to the Hamilton-Jacobi equation as Lagrangian submanifolds
Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Matias Dahl January 2004 1 Introduction In this essay we shall study the following problem: Suppose is a smooth -manifold, is a function,
More informationDifferential geometry for physicists - Lecture 2
Differential geometry for physicists - Lecture 2 Manuel Hohmann 17. February 2015 4 Fiber bundles In the last lecture we have introduced the direct product of manifolds. We now discuss an important concept,
More informationGlobal Properties of Integrable Hamiltonian Systems
ISSN 1560-3547, Regular and Chaotic Dynamics, 2008, Vol. 13, No. 6, pp. 588 630. c Pleiades Publishing, Ltd., 2008. JÜRGEN MOSER 80 Global Properties of Integrable Hamiltonian Systems O. Lukina *, F. Takens,
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationChapter 2. Bundles. 2.1 Vector bundles: definitions and examples
18 CHAPTER 2. BUNDLES Chapter 2 Bundles Contents 2.1 Vector bundles................... 17 2.2 Smoothness..................... 26 2.3 Operations on vector bundles.......... 28 2.4 Vector bundles with structure..........
More informationMultiplicity of singularities is not a bi-lipschitz invariant
Multiplicity of singularities is not a bi-lipschitz invariant Misha Verbitsky Joint work with L. Birbrair, A. Fernandes, J. E. Sampaio Geometry and Dynamics Seminar Tel-Aviv University, 12.12.2018 1 Zariski
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationLecture Notes Topics in Differential Geometry MATH 542
Lecture Notes Topics in Differential Geometry MATH 542 Instructor: Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 August 25, 2014 Author: Ivan Avramidi; File: topicsdiffgeom.tex;
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationLECTURE 11: TRANSVERSALITY
LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image
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 informationMath 535a Homework 5
Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector
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 informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
More informationSISSA Differential Geometry
SISSA Differential Geometry Boris DUBROVIN Contents 1 Geometry of Manifolds 3 1.1 Definition of smooth manifolds.......................... 3 1.2 Tangent space to a manifold............................
More informationand the diagram commutes, which means that every fibre E p is mapped to {p} V.
Part III: Differential geometry (Michaelmas 2004) Alexei Kovalev (A.G.Kovalev@dpmms.cam.ac.uk) 2 Vector bundles. Definition. Let B be a smooth manifold. A manifold E together with a smooth submersion 1
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 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 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 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 informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationMath 598 Feb 14, Geometry and Topology II Spring 2005, PSU
Math 598 Feb 14, 2005 1 Geometry and Topology II Spring 2005, PSU Lecture Notes 7 2.7 Smooth submanifolds Let N be a smooth manifold. We say that M N m is an n-dimensional smooth submanifold of N, provided
More informationGeometry of homogeneous spaces. Andreas Čap
Geometry of homogeneous spaces rough lecture notes Spring Term 2016 Andreas Čap Faculty of Mathematics, University of Vienna E-mail address: Andreas.Cap@univie.ac.at Contents 1. Introduction 1 2. Bundles
More informationIntegration of non linear conservation laws?
Integration of non linear conservation laws? Frédéric Hélein, Institut Mathématique de Jussieu, Paris 7 Advances in Surface Theory, Leicester, June 13, 2013 Harmonic maps Let (M, g) be an oriented Riemannian
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationDifferential Geometry II
Technische Universität Berlin Institut für Mathematik Differential Geometry II Analysis and geometry on manifolds Prof. Dr. Ulrich Pinkall Lecture notes Dr. Felix Knöppel November 22, 2018 Contents 1
More informationU N I V E R S I T Y OF A A R H U S D E P A R T M E N T OF M A T H E M A T I C S ISSN: X FIBRE BUNDLES AND CHERN-WEIL THEORY.
U N I V E R S I T Y OF A A R H U S D E P A R T M E N T OF M A T H E M A T I C S ISSN: 0065-017X FIBRE BUNDLES AND CHERN-WEIL THEORY By Johan Dupont Lecture Notes Series No.: 69 August 2003 Ny Munkegade,
More informationLECTURE NOTES ON DIFFERENTIABLE MANIFOLDS
LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS JIE WU Contents 1. Tangent Spaces, Vector Fields in R n and the Inverse Mapping Theorem 2 1.1. Tangent Space to a Level Surface 2 1.2. Tangent Space and Vectors
More informationGeodesic Equivalence in sub-riemannian Geometry
03/27/14 Equivalence in sub-riemannian Geometry Supervisor: Dr.Igor Zelenko Texas A&M University, Mathematics Some Preliminaries: Riemannian Metrics Let M be a n-dimensional surface in R N Some Preliminaries:
More informationLie groupoids and Lie algebroids
Lie groupoids and Lie algebroids Songhao Li University of Toronto, Canada University of Waterloo July 30, 2013 Li (Toronto) Groupoids and algebroids Waterloo 2013 1 / 22 Outline Lie groupoid Lie groupoid
More informationAn Introduction to Riemannian Geometry
Lecture Notes An Introduction to Riemannian Geometry (version 1.250-29 January 2007) Sigmundur Gudmundsson (Lund University) The latest version of this document can be obtained at: http://www.matematik.lu.se/matematiklu/personal/sigma/index.html
More informationCHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär
CHAPTER 1 Preliminaries 1.1. Basic Relevant Algebra 1.2. Introduction to Differential Geometry By Christian Bär Inthis lecturewegiveabriefintroductiontothe theoryofmanifoldsandrelatedbasic concepts of
More informationPrinciples of Riemannian Geometry in Neural Networks
Principles of Riemannian Geometry in Neural Networks Michael Hauser, Asok Ray Pennsylvania State University Presented by Chenyang Tao Nov 16, 2018 Brief Summary Goal This study deals with neural networks
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationTheorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.
Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of
More informationLECTURE 5: SMOOTH MAPS. 1. Smooth Maps
LECTURE 5: SMOOTH MAPS 1. Smooth Maps Recall that a smooth function on a smooth manifold M is a function f : M R so that for any chart 1 {ϕ α, U α, V α } of M, the function f ϕ 1 α is a smooth function
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationFiber Bundles, The Hopf Map and Magnetic Monopoles
Fiber Bundles, The Hopf Map and Magnetic Monopoles Dominick Scaletta February 3, 2010 1 Preliminaries Definition 1 An n-dimension differentiable manifold is a topological space X with a differentiable
More information4.1 What is a manifold?
Spin 2010 (jmf) 27 Lecture 4: Spin manifolds Thus, the existence of a spinor structure appears, on physical grounds, to be a reasonable condition to impose on any cosmological model in general relativity.
More informationCHAPTER 1 REAL AND COMPLEX MANIFOLDS
CHAPTER 1 REAL AND COMPLEX MANIFOLDS We shall begin by defining holomorphic functions and the Cauchy-Riemann equations in C n. In Sections 1.2-1.4 of this chapter we will review the definitions and various
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationTOM DUCHAMP AND MORRIS KALKA
SINGULAR MONGE-AMPÈRE FOLIATIONS TOM DUCHAMP AND MORRIS KALKA Abstract. This paper generalizes results of Lempert and Szöke on the structure of the singular set of a solution of the homogeneous Monge-Ampère
More informationChapter 1. Smooth Manifolds
Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.
More information1 The Differential Geometry of Surfaces
1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationLecture Fish 3. Joel W. Fish. July 4, 2015
Lecture Fish 3 Joel W. Fish July 4, 2015 Contents 1 LECTURE 2 1.1 Recap:................................. 2 1.2 M-polyfolds with boundary..................... 2 1.3 An Implicit Function Theorem...................
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
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 informationMath 205C - Topology Midterm
Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,
More informationGood Problems. Math 641
Math 641 Good Problems Questions get two ratings: A number which is relevance to the course material, a measure of how much I expect you to be prepared to do such a problem on the exam. 3 means of course
More informationFibre Bundles and Chern-Weil Theory. Johan Dupont
Fibre Bundles and Chern-Weil Theory Johan Dupont Aarhus Universitet August 2003 Contents 1 Introduction 3 2 Vector Bundles and Frame Bundles 8 3 Principal G-bundles 18 4 Extension and reduction of principal
More informationLecture Notes a posteriori for Math 201
Lecture Notes a posteriori for Math 201 Jeremy Kahn September 22, 2011 1 Tuesday, September 13 We defined the tangent space T p M of a manifold at a point p, and the tangent bundle T M. Zev Choroles gave
More informationGeometry 2: Manifolds and sheaves
Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,
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 informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
More informationLECTURE 9: THE WHITNEY EMBEDDING THEOREM
LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:
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 information274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan
274 Microlocal Geometry, Lecture 2 David Nadler Notes by Qiaochu Yuan Fall 2013 2 Whitney stratifications Yesterday we defined an n-step stratified space. Various exercises could have been but weren t
More informationMaster of Science in Advanced Mathematics and Mathematical Engineering
Master of Science in Advanced Mathematics and Mathematical Engineering Title: Constraint algorithm for singular k-cosymplectic field theories Author: Xavier Rivas Guijarro Advisor: Francesc Xavier Gràcia
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationNATURAL OPERATIONS IN DIFFERENTIAL GEOMETRY
NATURAL OPERATIONS IN DIFFERENTIAL GEOMETRY Ivan Kolář Peter W. Michor Jan Slovák Mailing address: Peter W. Michor, Institut für Mathematik der Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria.
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationBROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8
BROUWER FIXED POINT THEOREM DANIELE CARATELLI Abstract. This paper aims at proving the Brouwer fixed point theorem for smooth maps. The theorem states that any continuous (smooth in our proof) function
More informationBulletin of the Transilvania University of Braşov Vol 8(57), No Series III: Mathematics, Informatics, Physics, 43-56
Bulletin of the Transilvania University of Braşov Vol 857, No. 1-2015 Series III: Mathematics, Informatics, Physics, 43-56 FIRST ORDER JETS OF BUNDLES OVER A MANIFOLD ENDOWED WITH A SUBFOLIATION Adelina
More informationPseudo-Anosov braids with small entropy and the magic 3-manifold
Pseudo-Anosov braids with small entropy and the magic 3-manifold E. Kin M. Takasawa Tokyo Institute of Technology, Dept. of Mathematical and Computing Sciences The 5th East Asian School of Knots and Related
More informationA Convexity Theorem For Isoparametric Submanifolds
A Convexity Theorem For Isoparametric Submanifolds Marco Zambon January 18, 2001 1 Introduction. The main objective of this paper is to discuss a convexity theorem for a certain class of Riemannian manifolds,
More informationLECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS
LECTURE : THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS 1. Critical Point Theory of Distance Functions Morse theory is a basic tool in differential topology which also has many applications in Riemannian
More informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More informationThe Atiyah bundle and connections on a principal bundle
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationGEOMETRY FINAL CLAY SHONKWILER
GEOMETRY FINAL CLAY SHONKWILER 1 a: If M is non-orientale and p M, is M {p} orientale? Answer: No. Suppose M {p} is orientale, and let U α, x α e an atlas that gives an orientation on M {p}. Now, let V,
More information