iii
TABLE OF CONTENTS
0. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . 1CHAPTER I Manifolds and Vector Fields . . . . . . . . . . . . . . . 31. Differentiable Manifolds . . . . . . . . . . . . . . . . . . . . . . 32. Submersions and Immersions . . . . . . . . . . . . . . . . . . . 153. Vector Fields and Flows . . . . . . . . . . . . . . . . . . . . . 20CHAPTER II Lie Groups and Group Actions . . . . . . . . . . . . 394. Lie Groups I . . . . . . . . . . . . . . . . . . . . . . . . . . 395. Lie Groups II. Lie Subgroups and Homogeneous Spaces . . . . . . . . 566. Transformation Groups and
G
-manifolds . . . . . . . . . . . . . . 617. Polynomial and smooth invariant theory . . . . . . . . . . . . . . 76CHAPTER III Differential Forms and De Rham Cohomology . . . . . 898. Vector Bundles . . . . . . . . . . . . . . . . . . . . . . . . . 899. Differential Forms . . . . . . . . . . . . . . . . . . . . . . . . 10110. Integration on Manifolds . . . . . . . . . . . . . . . . . . . . . 10911. De Rham cohomology . . . . . . . . . . . . . . . . . . . . . . 11512. Cohomology with compact supports and Poincar´e duality . . . . . . . 12413. De Rham cohomology of compact manifolds . . . . . . . . . . . . 13514. Lie groups III. Analysis on Lie groups . . . . . . . . . . . . . . . 14115. Extensions of Lie algebras and Lie groups . . . . . . . . . . . . . 152CHAPTER IV Bundles and Connections . . . . . . . . . . . . . . 16116. Derivations on the Algebra of Differential Formsand the Fr¨olicher-Nijenhuis Bracket . . . . . . . . . . . . . . . . . . 16117. Fiber Bundles and Connections . . . . . . . . . . . . . . . . . . 16918. Principal Fiber Bundles and
G
-Bundles . . . . . . . . . . . . . . 17819. Principal and Induced Connections . . . . . . . . . . . . . . . . 19420. Characteristic classes . . . . . . . . . . . . . . . . . . . . . . 21321. Jets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227CHAPTER V Riemannian Manifolds . . . . . . . . . . . . . . . . 23522. Pseudo Riemann metrics and the Levi Civita covariant derivative . . . 23523. Riemann geometry of geodesics . . . . . . . . . . . . . . . . . . 24824. Parallel transport and curvature . . . . . . . . . . . . . . . . . 25625. Computing with adapted frames, and examples . . . . . . . . . . . 26626. Riemann immersions and submersions . . . . . . . . . . . . . . . 28127. Jacobi fields . . . . . . . . . . . . . . . . . . . . . . . . . . 297CHAPTER VI Isometric Group Actions and Riemannian
G
-Manifolds . 31328. Homogeneous Riemann manifolds and symmetric spaces . . . . . . . 31329. Riemann
G
-manifolds . . . . . . . . . . . . . . . . . . . . . . 31830. Polar actions . . . . . . . . . . . . . . . . . . . . . . . . . . 331CHAPTER VII Symplectic Geometry and Hamiltonian Mechanics . . . 35531. Symplectic Geometry and Classical Mechanics . . . . . . . . . . . 35532. Completely integrable Hamiltonian systems . . . . . . . . . . . . 37533. Poisson manifolds . . . . . . . . . . . . . . . . . . . . . . . . 38034. Hamiltonian group actions and momentum mappings . . . . . . . . 390References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 413List of Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . 419Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
Draft from October 1, 2007 Peter W. Michor,