DOCSLIB.ORG

Differential Geometry Andrzej Derdzinski

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Differential Geometry Andrzej Derdzinski Differential Geometry Andrzej Derdzinski Author address: Dept. of Mathematics, Ohio State University, Columbus, OH 43210 E-mail address: [email protected] Contents Preface xi Chapter 1. Differentiable Manifolds 1 1. Manifolds 1 Problems 2 2. Examples of manifolds 2 Problems 4 3. Differentiable mappings 5 Problems 8 4. Lie groups 12 Problems 14 Chapter 2. Tangent Vectors 17 5. Tangent and cotangent vectors 17 Problems 21 6. Vector fields 22 Problems 24 7. Lie algebras 25 Problems 27 8. The Lie algebra of a Lie group 27 Problems 30 Chapter 3. Immersions and Embeddings 33 9. The rank theorem, immersions, submanifolds 33 Problems 36 10. More on tangent vectors 39 Problems 41 11. Lie subgroups 43 Problems 44 12. Orthogonal and unitary groups 44 Problems 49 13. Orbits of Lie-group actions 51 Problems 51 14. Whitney's embedding theorem 53 Problems 55 Chapter 4. Vector Bundles 57 15. Real and complex vector bundles 57 Problems 59 16. Vector fields on the 2-sphere 60 v vi CONTENTS Problems 65 17. Operations on bundles and vector-bundle morphisms 66 Problems 69 18. Vector bundle isomorphisms and triviality 69 Problems 70 19. Subbundles of vector bundles 71 Problems 73 Chapter 5. Connections and Curvature 75 20. The curvature tensor of a connection 75 Problems 77 21. Connections in the tangent bundle 79 Problems 80 22. Parallel transport and geodesics 81 Problems 83 23. The \comma" notation for connections 84 Problems 86 24. The Ricci-Weitzenb¨ock identity 86 Problems 89 25. Variations of curves and the meaning of flatness 90 Problems 92 26. Bianchi identities 93 Problems 95 27. Further operations on connections 96 Problems 98 Chapter 6. Riemannian Distance Geometry 101 28. Fibre metrics 101 Problems 104 29. Raising and lowering indices 105 Problems 107 30. The Levi-Civita connection 107 Problems 108 31. The lowest dimensions 110 Problems 110 32. Riemannian manifolds as metric spaces 111 Problems 113 33. Completeness 114 Problems 116 34. Convexity 117 Problems 118 35. Myers's theorem 118 Problems 120 Chapter 7. Integration 121 36. Finite partitions of unity 121 Problems 122 37. Densities and integration 123 Problems 124 38. Divergence operators 125 CONTENTS vii Problems 127 39. The divergence theorem 127 Problems 128 40. Theorems of Bochner and Lichnerowicz 128 Problems 130 41. Einstein metrics and Schur's theorem 130 Problems 131 42. Spheres and hyperbolic spaces 132 Problems 133 43. Sectional curvature 134 Problems 134 Chapter 8. Geometry of Submanifolds 137 45. Projected connections 137 Problems 139 46. The second fundamental form 140 47. Hypersurfaces in Euclidean spaces 141 48. Bonnet's theorem 141 Chapter 9. Differential Forms 143 49. Tensor products 143 Problems 145 50. Exterior and symmetric powers 146 Problems 148 51. Exterior forms 149 52. Cohomology spaces 152 Problems 154 Chapter 10. De Rham Cohomology 157 53. Homotopy invariance of the cohomology functor 157 Problems 159 54. The homotopy type 160 Problems 161 55. The Mayer-Vietoris sequence 161 Problems 163 56. Explicit calculations of Betti numbers 163 Problems 164 57. Stokes's formula 165 Problems 166 58. The fundamental class and mapping degree 167 Problems 170 59. Degree and preimages 171 Problems 172 Chapter 11. Characteristic Classes 175 60. The first Chern class 175 Problems 176 61. Poincar´e'sindex formula for surfaces 176 Problems 177 62. The Gauss-Bonnet theorem 177 viii CONTENTS 63. The Euler class 179 Problems 182 Chapter 12. Elements of Analysis 185 64. Sobolev spaces 185 Problems 185 Problems 187 65. Compact operators 188 Problems 188 66. The Rellich lemma 188 67. The regularity theorem 189 68. Solvability criterion for elliptic equations 190 69. The Hodge-de Rham decomposition theorem 190 Appendix A. Some Linear Algebra 191 69. Affine spaces 191 Problems 191 70. Orientation in real vector spaces 192 Problems 192 71. Complex lines versus real planes 194 72. Indefinite inner products 194 Appendix B. Facts from Topology and Analysis 195 73. Banach's fixed-point theorem 195 Problems 196 74. The inverse mapping theorem 197 Problems 198 75. The Stone-Weierstrass theorem 199 76. Sard's theorem 201 Problems 201 Appendix C. Ordinary Differential Equations 203 78. Existence and uniqueness of solutions 203 Problems 205 79. Global solutions to linear differential equations 206 Problems 209 80. Differential equations with parameters 211 Appendix D. Some More Differential Geometry 215 81. Grassmann manifolds 215 Problems 215 82. Affine bundles 216 Problems 217 83. Abundance of cut-off functions 217 Problems 217 84. Partitions of unity 217 Problems 218 85. Flows of vector fields 219 Problems 221 86. Killing fields 222 CONTENTS ix 87. Lie brackets and flows 222 Problems 224 88. Completeness of vector fields 224 Problems 225 Appendix E. Measure and Integration 229 89. The H¨olderand Minkowski inequalities 229 90. Convergence theorems 229 Appendix F. More on Lie Groups 231 96. The exponential mapping 231 Problems 233 97. 234 98. 237 99. 240 Bibliography 243 Index 245 x CONTENTS Preface The present text evolved from differential geometry courses that I taught at the University of Bonn in 1983-1984 and at the Ohio State University between 1987 and 2005. The reader is expected to be familiar with basic linear algebra and calculus of several real variables. Additional background in topology, differential equations and functional analysis, although obviously useful, is not necessary: self-contained expositions of all needed facts from those areas are included, partly in the main text, partly in appendices. This book may serve either as the basis of a course sequence, or for self-study. It is with the latter use in mind that I included over 600 practice problems, along with hints for those problems that seem less than completely routine. The exposition uses the coordinate-free language typical of modern differential geometry. However, whenever appropriate, traditional local-coordinate expressions are presented as well, even in cases where a coordinate-free description would suffice. Although seemingly redundant, this feature may teach the reader to recognize when and how to take advantage of shortcuts in arguments provided by local-coordinate notation. I selected the topics so as to include what is needed for a reader who wishes to pursue further study in geometric analysis or applications of differential geometry to theoretical physics, including both general relativity and classical gauge theory of particle interactions. The text begins with a rapid but thorough presentation of manifolds and dif- ferentiable mappings, followed by the definition of a Lie group, along with some examples. A list of all the topics covered can best be glimpsed from the table of contents. One topic which I left out, despite its prominent status, is complex differen- tial geometry (including K¨ahlermanifolds). This choice seems necessary due to limitations of space. Finally, I need to acknowledge several books from which I first learned differ- ential geometry and which, consequently, influenced my view of the subject. These are Riemannsche Geometrie im Großen by Gromoll, Klingenberg and Meyer, Mil- nor's Morse Theory, Sulanke and Wintgen's Differentialgeometrie und Faserb¨undel, Kobayashi and Nomizu's Foundations of Differential Geometry (both volumes), Le spectre d'une vari´et´eriemannienne by Berger, Gauduchon and Mazet, Warner's Foundations of Differentiable Manifolds and Lie Groups, and Spivak's A Compre- hensive Introduction to Differential Geometry. Andrzej Derdzinski xi xii PREFACE CHAPTER 1 Differentiable Manifolds 1. Manifolds Topics: Coordinate systems; compatibility; atlases; topology; convergence; maximal atlases; the Hausdorff axiom; manifolds; vector spaces as manifolds. Let r be a natural number (r = 0; 1; 2;::: ), or infinity (r = 1), or an addi- tional symbol ! (r = !). We order these values so that 0 < 1 < : : : < 1 < !.A mapping F between open subsets of Euclidean spaces is said to be of class Cr if r = 0 and F is continuous, or 0 < r < 1 and F has continuous partial derivatives up to order r, or r = 1 and F has continuous partial derivatives of all orders or, finally, r = ! and F is real-analytic. (Each of the regularity properties just named for F means the corresponding property for every real-valued component function of F .) An n-dimensional coordinate system (or chart) in a set M is a pair (U; '), where U (the chart's domain) is a nonempty subset of M and ' : U ! '(U) is a one-to-one mapping of U onto an open subset '(U) of Rn. r Two n-dimensional coordinate systems (U; '), (U;e 'e) in M are C compatible, 0 ≤ r ≤ !, if n a. The images '(U \ Ue), 'e(U \ Ue) are both open in R , −1 b. The (bijective) composite mapping 'e ◦ ' : '(U \ Ue) ! 'e(U \ Ue), and its inverse, are of class Cr. −1 We call 'e ◦ ' the transition mapping between (U; ') and (U;e 'e). An n-dimensional Cr atlas A on a set M is a collection of n-dimensional coordinate systems in M which are mutually Cr compatible and whose domains cover M. When A is fixed, a set Y ⊂ M is said to be open if '(U \ Y ) is open in Rn for each (U; ') 2 A. The family of all open sets is called the topology in M determined by the Cr atlas A. By a neighborhood of a point x 2 M we mean any open set containing x. A sequence xk, k = 1; 2;::: of points in M then is said to converge to a limit x 2 M if every neighborhood of x contains the xk for all but finitely many k. An n-dimensional Cr atlas A on M is called maximal if it is contained in no other n-dimensional Cr atlas. Every n-dimensional Cr atlas A on M is r contained in a unique maximal C atlas Amax.
Load more

Recommended publications
  • Characterization of Exact Lumpability for Vector Fields on Smooth Manifolds
    Preprint. Final version in: Differ.Geom.Appl. 48 (2016) 46-60 doi: 10.1016/j.difgeo.2016.06.001 Characterization of Exact Lumpability for Vector Fields on Smooth Manifolds Leonhard Horstmeyer∗ † Fatihcan M. Atay‡ Abstract We characterize the exact lumpability of smooth vector fields on smooth man- ifolds. We derive necessary and sufficient conditions for lumpability and express them from four different perspectives, thus simplifying and generalizing various re- sults from the literature that exist for Euclidean spaces. We introduce a partial connection on the pullback bundle that is related to the Bott connection and be- haves like a Lie derivative. The lumping conditions are formulated in terms of the differential of the lumping map, its covariant derivative with respect to the con- nection and their respective kernels. Some examples are discussed to illustrate the theory. PACS numbers: 02.40.-k, 02.30.Hq, 02.40.Hw AMS classification scheme numbers: 37C10, 34C40, 58A30, 53B05, 34A05 Keywords: lumping, aggregation, dimensional reduction, Bott connection 1 Introduction Dimensional reduction is an important aspect in the study of smooth dynamical systems and in particular in modeling with ordinary differential equations (ODEs). Often a reduction can elucidate key mechanisms, find decoupled subsystems, reveal conserved quantities, make the problem computationally tractable, or rid it from redundancies. A dimensional reduction by which micro state variables are aggregated into macro state variables also goes by the name of lumping. Starting from a micro state dynamics, this arXiv:1607.01237v2 [math.DG] 6 Jul 2016 aggregation induces a lumped dynamics on the macro state space. Whenever a non- trivial lumping, one that is neither the identity nor maps to a single point, confers the ∗Max Planck Institute for Mathematics in the Sciences, Inselstraße 22, 04103 Leipzig, Germany.
    [Show full text]
  • Lorentzian Cobordisms, Compact Horizons and the Generic Condition
    Lorentzian Cobordisms, Compact Horizons and the Generic Condition Eric Larsson Master of Science Thesis Stockholm, Sweden 2014 Lorentzian Cobordisms, Compact Horizons and the Generic Condition Eric Larsson Master’s Thesis in Mathematics (30 ECTS credits) Degree programme in Engineering Physics (300 credits) Royal Institute of Technology year 2014 Supervisor at KTH was Mattias Dahl Examiner was Mattias Dahl TRITA-MAT-E 2014:29 ISRN-KTH/MAT/E--14/29--SE Royal Institute of Technology School of Engineering Sciences KTH SCI SE-100 44 Stockholm, Sweden URL: www.kth.se/sci iii Abstract We consider the problem of determining which conditions are necessary for cobordisms to admit Lorentzian metrics with certain properties. In particu- lar, we prove a result originally due to Tipler without a smoothness hypothe- sis necessary in the original proof. In doing this, we prove that compact hori- zons in a smooth spacetime satisfying the null energy condition are smooth. We also prove that the ”generic condition” is indeed generic in the set of Lorentzian metrics on a given manifold. Acknowledgements I would like to thank my advisor Mattias Dahl for invaluable advice and en- couragement. Thanks also to Hans Ringström. Special thanks to Marc Nardmann for feedback on Chapter 2. Contents Contents iv 1 Lorentzian cobordisms 1 1.1 Existence of Lorentzian cobordisms . 2 1.2 Lorentzian cobordisms and causality . 4 1.3 Lorentzian cobordisms and energy conditions . 8 1.3.1 C 2 null hypersurfaces . 9 1.3.1.1 The null Weingarten map . 9 1.3.1.2 Generator flow on C 2 null hypersurfaces .
    [Show full text]
  • The Holomorphic Φ-Sectional Curvature of Tangent Sphere Bundles with Sasakian Structures
    ANALELE S¸TIINT¸IFICE ALE UNIVERSITAT¸II˘ \AL.I. CUZA" DIN IAS¸I (S.N.) MATEMATICA,˘ Tomul LVII, 2011, Supliment DOI: 10.2478/v10157-011-0004-5 THE HOLOMORPHIC '-SECTIONAL CURVATURE OF TANGENT SPHERE BUNDLES WITH SASAKIAN STRUCTURES BY S. L. DRUT¸ A-ROMANIUC˘ and V. OPROIU Abstract. We study the holomorphic '-sectional curvature of the natural diagonal tangent sphere bundles with Sasakian structures, determined by Drut¸a-Romaniuc˘ and Oproiu. After finding the explicit expressions for the components of the curvature tensor field and of the curvature tensor field corresponding to the Sasakian space forms, we find that there are no tangent sphere bundles of natural diagonal lift type of constant holomorphic '-sectional curvature. Mathematics Subject Classification 2000: 53C05, 53C15, 53C55. Key words: natural lift, tangent sphere bundle, Sasakian structure, holomorphic '-sectional curvature. 1. Introduction The geometry of the tangent sphere bundles of constant radius r, endowed with the metrics induced by some Riemannian metrics from the ambi- ent tangent bundle, was studied by authors like Abbassi, Boeckx, Cal- varuso, Kowalski, Munteanu, Park, Sekigawa, Sekizawa (see [1], [2], [4]-[7], [9], [12]-[14], [16]). In the most part of the papers, such as [4], [5] and [16], the metric considered on the tangent bundle TM was the Sasaki metric, but Boeckx noticed that the unit tangent bundle equipped with the induced Cheeger-Gromoll metric is isometric to the tangent sphere bun- dle T p1 M with the induced Sasaki metric. Then, in 2000, Kowalski and 2 Sekizawa showed how the geometry of the tangent sphere bundles depends on the radius (see [10]).
    [Show full text]
  • Ricci Measure for Some Singular Riemannian Metrics
    Math. Ann. (2016) 365:449–471 DOI 10.1007/s00208-015-1288-7 Mathematische Annalen Ricci measure for some singular Riemannian metrics John Lott1 Received: 10 April 2015 / Revised: 14 August 2015 / Published online: 4 September 2015 © Springer-Verlag Berlin Heidelberg 2015 Abstract We define the Ricci curvature, as a measure, for certain singular torsion- free connections on the tangent bundle of a manifold. The definition uses an integral formula and vector-valued half-densities. We give relevant examples in which the Ricci measure can be computed. In the time dependent setting, we give a weak notion of a Ricci flow solution on a manifold. 1 Introduction There has been much recent work about metric measure spaces with lower Ricci bounds, particularly the Ricci limit spaces that arise as measured Gromov–Hausdorff limits of smooth manifolds with a uniform lower Ricci bound. In this paper we address the question of whether one can make sense of the Ricci curvature itself on singular spaces. From one’s intuition about a two dimensional cone with total cone angle less than 2π, the Ricci curvature should exist at best as a measure. One natural approach toward a weak notion of Ricci curvature is to use an integral formula, such as the Bochner formula. The Bochner identity says that if ω1 and ω2 are smooth compactly supported 1-forms on a smooth Riemannian manifold M then ∗ ∗ ω1, Ric(ω2) = dω1, dω2+d ω1, d ω2−∇ω1, ∇ω2 dvol . (1.1) M B John Lott [email protected] 1 Department of Mathematics, University of California - Berkeley, Berkeley, CA 94720-3840, USA 123 450 J.
    [Show full text]
  • On Manifolds of Negative Curvature, Geodesic Flow, and Ergodicity
    ON MANIFOLDS OF NEGATIVE CURVATURE, GEODESIC FLOW, AND ERGODICITY CLAIRE VALVA Abstract. We discuss geodesic flow on manifolds of negative sectional curva- ture. We find that geodesic flow is ergodic on the tangent bundle of a manifold, and present the proof for both n = 2 on surfaces and general n. Contents 1. Introduction 1 2. Riemannian Manifolds 1 2.1. Geodesic Flow 2 2.2. Horospheres and Horocycle Flows 3 2.3. Curvature 4 2.4. Jacobi Fields 4 3. Anosov Flows 4 4. Ergodicity 5 5. Surfaces of Negative Curvature 6 5.1. Fuchsian Groups and Hyperbolic Surfaces 6 6. Geodesic Flow on Hyperbolic Surfaces 7 7. The Ergodicity of Geodesic Flow on Compact Manifolds of Negative Sectional Curvature 8 7.1. Foliations and Absolute Continuity 9 7.2. Proof of Ergodicity 12 Acknowledgments 14 References 14 1. Introduction We want to understand the behavior of geodesic flow on a manifold M of constant negative curvature. If we consider a vector in the unit tangent bundle of M, where does that vector go (or not go) when translated along its unique geodesic path. In a sense, we will show that the vector goes \everywhere," or that the vector visits a full measure subset of T 1M. 2. Riemannian Manifolds We first introduce some of the initial definitions and concepts that allow us to understand Riemannian manifolds. Date: August 2019. 1 2 CLAIRE VALVA Definition 2.1. If M is a differentiable manifold and α :(−, ) ! M is a dif- ferentiable curve, where α(0) = p 2 M, then the tangent vector to the curve α at t = 0 is a function α0(0) : D ! R, where d(f ◦ α) α0(0)f = j dt t=0 for f 2 D, where D is the set of functions on M that are differentiable at p.
    [Show full text]
  • Thurston's Eight Model Geometries
    Thurston's Eight Model Geometries Nachiketa Adhikari May 2016 Abstract Just like the distance in Euclidean space, we can assign to a manifold a no- tion of distance. Two manifolds with notions of distances can be topologically homoemorphic, but geometrically very different. The question then arises: are there any \standard" or \building block" manifolds such that any manifold is either a quotient of these manifolds or somehow \made up" of such quotients? If so, how do we define such standard manifolds, and how do we discover how many of them there are? In this project, we ask, and partially answer, these questions in three di- mensions. We go over the material necessary for understanding the proof of the existence and sufficiency of Thurston's eight three-dimensional geometries, study a part of the proof, and look at some examples of manifolds modeled on these geometries. On the way we try to throw light on some of the basic ideas of differential and Riemannian geometry. Done as part of the course Low Dimensional Geometry and Topology, under the supervision of Dr Vijay Ravikumar. The main sources used are [7] and [6]. Contents 1 Preliminaries 2 1.1 Basics . .2 1.2 Foliations . .3 1.3 Bundles . .4 2 Model Geometries 8 2.1 What is a model geometry? . .8 2.2 Holonomy and the developing map . .9 2.3 Compact point stabilizers . 11 3 Thurston's Theorem 14 3.1 In two dimensions . 14 3.2 In three dimensions . 14 3.2.1 Group discussion . 15 3.2.2 The theorem .
    [Show full text]
  • Research Article Slant Curves in the Unit Tangent Bundles of Surfaces
    Hindawi Publishing Corporation ISRN Geometry Volume 2013, Article ID 821429, 5 pages http://dx.doi.org/10.1155/2013/821429 Research Article Slant Curves in the Unit Tangent Bundles of Surfaces Zhong Hua Hou and Lei Sun Institute of Mathematics, Dalian University of Technology, Dalian, Liaoning 116024, China Correspondence should be addressed to Lei Sun; [email protected] Received 26 September 2013; Accepted 25 October 2013 Academic Editors: T. Friedrich and M. Pontecorvo Copyright © 2013 Z. H. Hou and L. Sun. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let (, ) be a surface and let ((), ) be the unit tangent bundle of endowed with the Sasaki metric. We know that any curve Γ() in () consistofacurve() in and as unit vector field () along (). In this paper we study the geometric properties () and () satisfying when Γ() is a slant geodesic. 1. Introduction Theorem 1. Let Γ() = ((), ()) be a Legendrian geodesic parameterized by arc length in () with domain ∈[,]. (,,,,) Let be a 3-dimensional contact metric mani- If the set consisting of points ∈[,]such that () = 1 fold.Theslantcurvesin are generalization of Legendrian is discrete, then () is a geodesic of velocity 2 and () is the curves which form a constant angle with the Reeb vector field normal direction of in . .Choetal.[1] studied Lancret type problem for curves in Sasakian 3-manifold. They showed that a curve () ⊂ Theorem 2. Let Γ() = ((), ()) be a slant geodesic param- is slant if and only if ( ± 1)/ is constant where and eterized by arc length in () which is not Legendrian.
    [Show full text]
  • Lectures on Mechanics Second Edition
    Lectures on Mechanics Second Edition Jerrold E. Marsden March 24, 1997 Contents Preface iv 1 Introduction 1 1.1 The Classical Water Molecule and the Ozone Molecule ........ 1 1.2 Lagrangian and Hamiltonian Formulation ............... 3 1.3 The Rigid Body .............................. 4 1.4 Geometry, Symmetry and Reduction .................. 11 1.5 Stability .................................. 13 1.6 Geometric Phases ............................. 17 1.7 The Rotation Group and the Poincare Sphere ............. 23 2 A Crash Course in Geometric Mechanics 26 2.1 Symplectic and Poisson Manifolds ................... 26 2.2 The Flow of a Hamiltonian Vector Field ................ 28 2.3 Cotangent Bundles ............................ 28 2.4 Lagrangian Mechanics .......................... 29 2.5 Lie-Poisson Structures and the Rigid Body .............. 30 2.6 The Euler-Poincare Equations ...................... 33 2.7 Momentum Maps ............................. 35 2.8 Symplectic and Poisson Reduction ................... 37 2.9 Singularities and Symmetry ....................... 40 2.10 A Particle in a Magnetic Field ..................... 41 3 Tangent and Cotangent Bundle Reduction 44 3.1 Mechanical G-systems .......................... 44 3.2 The Classical Water Molecule ...................... 47 3.3 The Mechanical Connection ....................... 50 3.4 The Geometry and Dynamics of Cotangent Bundle Reduction .... 55 3.5 Examples ................................. 59 3.6 Lagrangian Reduction and the Routhian ................ 65 3.7 The Reduced Euler-Lagrange
    [Show full text]
  • 1. Geometry of the Unit Tangent Bundle
    1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consi- der (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations Given a local chart (U, φ) on M, we will denote by (xi)16i6n the local coordinates and we write in these coordinates n X i j g = gijdx dx , i,j=1 ∂ ∂ ij where gij(x) = g , . We denote by (g ) the coefficient of the ∂xi ∂xj inverse matrix. Given x ∈ M, the norm of v ∈ TxM is given by |v|x = 1/2 1/2 gx(v, v) , which will sometimes be denoted hv, vix . In the following, we will often drop the index x. Note that if we are given other coordinates (yj), then one can check that in these new coordinates : n X ∂xi ∂xj k l (1.1) g = gij dy dy ∂yk ∂yl i,j,k,l=1 We define the musical isomorphism at x ∈ M by ∗ TxM → Tx M [ : v 7→ v[ = g(v, ·) This is an isomorphism between the two vector bundles TM and T ∗M since they are equidimensional and g is symmetric definite positive, thus non-degenerate. Given an orthonormal basis (ei) of TxM, we will denote i ∗ by (e ) the dual basis of Tx M which is, in other words, the image of the basis (ei) by the musical isomorphism. If E is a vector bundle over M, then the projection will be denoted π : E → M. We denote by Γ(M, E) the set of smooth sections of E.
    [Show full text]
  • Measures on Differentiable Stacks
    MEASURES ON DIFFERENTIABLE STACKS MARIUS CRAINIC AND JOAO˜ NUNO MESTRE Abstract. We introduce and study measures and densities (geometric mea- sures) on differentiable stacks, using a rather straightforward generalization of Haefliger’s approach to leaf spaces and to transverse measures for foliations. In general we prove Morita invariance, a Stokes formula which provides rein- terpretations in terms of (Ruelle-Sullivan type) algebroid currents, and a Van Est isomorphism. In the proper case we reduce the theory to classical (Radon) measures on the underlying space, we provide explicit (Weyl-type) formulas that shed light on Weinstein’s notion of volumes of differentiable stacks; in particular, in the symplectic case, we prove the conjecture left open in Wein- stein’s “The volume of a differentiable stack” [33]. We also revisit the notion of Haar systems (and the existence of cut-off functions). Our original moti- vation comes from the study of Poisson manifolds of compact types [9, 10, 8], which provide two important examples of such measures: the affine and the Duistermaat-Heckman measures. Mathematics Subject Classification (2010). 58H05; 22A22. Keywords: Lie groupoids, differentiable stacks, transverse measures. Contents 1. Introduction 1 2. Measures on manifolds 5 3. Transverse measures 10 4. Geometric transversemeasures(transversedensities) 18 5. Intermezzo:thecaseofproperLiegroupoids 21 6. Intermezzo:thecaseofregularLiegroupoids 26 7. Intermezzo:thecaseofsymplecticgroupoids 28 8. Stokes formula and (Ruelle-Sullivan) currents 33 9. Cohomological insight and the Van Est isomorphism 36 10. Appendix: Haarsystemsandcut-offfunctions,revisited 44 arXiv:1603.01673v2 [math.DG] 13 Apr 2020 References 51 1. Introduction In this paper we study measures on differentiable stacks or, equivalently, trans- verse measures on Lie groupoids.
    [Show full text]
  • A Beginner's Guide to Holomorphic Manifolds
    This is page Printer: Opaque this A Beginner’s Guide to Holomorphic Manifolds Andrew D. Hwang This is page i Printer: Opaque this Preface This book constitutes notes from a one-semester graduate course called “Complex Manifolds and Hermitian Differential Geometry” given during the Spring Term, 1997, at the University of Toronto. Its aim is not to give a thorough treatment of the algebraic and differential geometry of holomorphic manifolds, but to introduce material of current interest as quickly and concretely as possible with a minimum of prerequisites. There are several excellent references available for the reader who wishes to see subjects in more depth. The coverage includes standard introductory analytic material on holo- morphic manifolds, sheaf cohomology and deformation theory, differential geometry of vector bundles (Hodge theory, and Chern classes via curva- ture), and some applications to the topology and projective embeddability of K¨ahlerian manifolds. The final chapter is a short survey of extremal K¨ahler metrics and related topics, emphasizing the geometric and “soft” analytic aspects. There is a large number of exercises, particularly for a book at this level. The exercises introduce several specific but colorful ex- amples scattered through “folklore” and “the literature.” Because there are recurrent themes and varying viewpoints in the subject, some of the exercises overlap considerably. The course attendees were mostly advanced graduate students in math- ematics, but it is hoped that these notes will reach a wider audience, in- cluding theoretical physicists. The “ideal” reader would be familiar with smooth manifolds (charts, forms, flows, Lie groups, vector bundles), differ- ential geometry (metrics, connections, and curvature), and basic algebraic topology (simplicial and singular cohomology, the long exact sequence, and ii the fundamental group), but in reality the prerequisites are less strenuous, though a good reference for each subject should be kept at hand.
    [Show full text]
  • Scl Danny Calegari
    scl Danny Calegari 1991 Mathematics Subject Classification. Primary 20J05, 57M07; Secondary 20F12, 20F65, 20F67, 37E45, 37J05, 90C05 Key words and phrases. stable commutator length, bounded cohomology, rationality, Bavard’s Duality Theorem, hyperbolic groups, free groups, Thurston norm, Bavard’s Conjecture, rigidity, immersions, causality, group dynamics, Markov chains, central limit theorem, combable groups, finite state automata Supported in part by NSF Grants DMS-0405491 and DMS-0707130. Abstract. This book is a comprehensive introduction to the theory of sta- ble commutator length, an important subfield of quantitative topology, with substantial connections to 2-manifolds, dynamics, geometric group theory, bounded cohomology, symplectic topology, and many other subjects. We use constructive methods whenever possible, and focus on fundamental and ex- plicit examples. We give a self-contained presentation of several foundational results in the theory, including Bavard’s Duality Theorem, the Spectral Gap Theorem, the Rationality Theorem, and the Central Limit Theorem. The con- tents should be accessible to any mathematician interested in these subjects, and are presented with a minimal number of prerequisites, but with a view to applications in many areas of mathematics. Preface The historical roots of the theory of bounded cohomology stretch back at least as far as Poincar´e[167] who introduced rotation numbers in his study of circle diffeomorphisms. The Milnor–Wood inequality [154, 204] as generalized by Sul- livan [193], and the theorem of Hirsch–Thurston [109] on foliated bundles with amenable holonomy groups were also landmark developments. But it was not until the appearance of Gromov’s seminal paper [97] that a number of previously distinct and isolated phenomena crystallized into a coherent subject.
    [Show full text]