Augustin Banyaga – författare

In the 60's, the work of Anderson, Chernavski, Kirby and Edwards showed that the group of homeomorphisms of a smooth manifold which are isotopic to the identity is a simple group. This led Smale to conjecture that the group Diff'" (M)o of cr diffeomorphisms, r ~ 1, of a smooth manifold M, with compact supports, and isotopic to the identity through compactly supported isotopies, is a simple group as well. In this monograph, we give a fairly detailed proof that DifF(M)o is a simple group. This theorem was proved by Herman in the case M is the torus rn in 1971, as a consequence of the Nash-Moser-Sergeraert implicit function theorem. Thurston showed in 1974 how Herman's result on rn implies the general theorem for any smooth manifold M. The key idea was to vision an isotopy in Diff'"(M) as a foliation on M x [0, 1]. In fact he discovered a deep connection between the local homology of the group of diffeomorphisms and the homology of the Haefliger classifying space for foliations. Thurston's paper [180] contains just a brief sketch of the proof. The details have been worked out by Mather [120], [124], [125], and the author [12]. This circle of ideas that we call the "Thurston tricks" is discussed in chapter 2. It explains how in certain groups of diffeomorphisms, perfectness leads to simplicity. In connection with these ideas, we discuss Epstein's theory [52], which we apply to contact diffeomorphisms in chapter 6.

This book is based on the lecture notes from a course we taught at Penn State University during the fall of 2002. The main goal of the course was to give a complete and detailed proof of the Morse Homology Theorem (Theo­ rem 7.4) at a level appropriate for second year graduate students. The course was designed for students who had a basic understanding of singular homol­ ogy, CW-complexes, applications of the existence and uniqueness theorem for O.D.E.s to vector fields on smooth Riemannian manifolds, and Sard's Theo­ rem. We would like to thank the following students for their participation in the course and their help proofreading early versions of this manuscript: James Barton, Shantanu Dave, Svetlana Krat, Viet-Trung Luu, and Chris Saunders. We would especially like to thank Chris Saunders for his dedication and en­ thusiasm concerning this project and the many helpful suggestions he made throughout the development of this text. We would also like to thank Bob Wells for sharing with us his extensive knowledge of CW-complexes, Morse theory, and singular homology. Chapters 3 and 6, in particular, benefited significantly from the many insightful conver­ sations we had with Bob Wells concerning a Morse function and its associated CW-complex.

This book is based on the lecture notes from a course we taught at Penn State University during the fall of 2002. The main goal of the course was to give a complete and detailed proof of the Morse Homology Theorem (Theo­ rem 7.4) at a level appropriate for second year graduate students. The course was designed for students who had a basic understanding of singular homol­ ogy, CW-complexes, applications of the existence and uniqueness theorem for O.D.E.s to vector fields on smooth Riemannian manifolds, and Sard''s Theo­ rem. We would like to thank the following students for their participation in the course and their help proofreading early versions of this manuscript: James Barton, Shantanu Dave, Svetlana Krat, Viet-Trung Luu, and Chris Saunders. We would especially like to thank Chris Saunders for his dedication and en­ thusiasm concerning this project and the many helpful suggestions he made throughout the development of this text. We would also like to thank Bob Wells for sharing with us his extensive knowledge of CW-complexes, Morse theory, and singular homology. Chapters 3 and 6, in particular, benefited significantly from the many insightful conver­ sations we had with Bob Wells concerning a Morse function and its associated CW-complex.

In the 60's, the work of Anderson, Chernavski, Kirby and Edwards showed that the group of homeomorphisms of a smooth manifold which are isotopic to the identity is a simple group. This led Smale to conjecture that the group Diff'" (M)o of cr diffeomorphisms, r ~ 1, of a smooth manifold M, with compact supports, and isotopic to the identity through compactly supported isotopies, is a simple group as well. In this monograph, we give a fairly detailed proof that DifF(M)o is a simple group. This theorem was proved by Herman in the case M is the torus rn in 1971, as a consequence of the Nash-Moser-Sergeraert implicit function theorem. Thurston showed in 1974 how Herman's result on rn implies the general theorem for any smooth manifold M. The key idea was to vision an isotopy in Diff'"(M) as a foliation on M x [0, 1]. In fact he discovered a deep connection between the local homology of the group of diffeomorphisms and the homology of the Haefliger classifying space for foliations. Thurston's paper [180] contains just a brief sketch of the proof. The details have been worked out by Mather [120], [124], [125], and the author [12]. This circle of ideas that we call the "Thurston tricks" is discussed in chapter 2. It explains how in certain groups of diffeomorphisms, perfectness leads to simplicity. In connection with these ideas, we discuss Epstein's theory [52], which we apply to contact diffeomorphisms in chapter 6.

In the 60''s, the work of Anderson, Chernavski, Kirby and Edwards showed that the group of homeomorphisms of a smooth manifold which are isotopic to the identity is a simple group. This led Smale to conjecture that the group Diff''" (M)o of cr diffeomorphisms, r ~ 1, of a smooth manifold M, with compact supports, and isotopic to the identity through compactly supported isotopies, is a simple group as well. In this monograph, we give a fairly detailed proof that DifF(M)o is a simple group. This theorem was proved by Herman in the case M is the torus rn in 1971, as a consequence of the Nash-Moser-Sergeraert implicit function theorem. Thurston showed in 1974 how Herman''s result on rn implies the general theorem for any smooth manifold M. The key idea was to vision an isotopy in Diff''"(M) as a foliation on M x [0, 1]. In fact he discovered a deep connection between the local homology of the group of diffeomorphisms and the homology of the Haefliger classifying space for foliations. Thurston''s paper [180] contains just a brief sketch of the proof. The details have been worked out by Mather [120], [124], [125], and the author [12]. This circle of ideas that we call the "Thurston tricks" is discussed in chapter 2. It explains how in certain groups of diffeomorphisms, perfectness leads to simplicity. In connection with these ideas, we discuss Epstein''s theory [52], which we apply to contact diffeomorphisms in chapter 6.

This book gives a detailed presentation of twisted Morse homology and cohomology on closed finite-dimensional smooth manifolds. It contains a complete proof of the Twisted Morse Homology Theorem, which says that on a closed finite-dimensional smooth manifold the homology of the Morse–Smale–Witten chain complex with coefficients in a bundle of abelian groups G is isomorphic to the singular homology of the manifold with coefficients in G. It also includes proofs of twisted Morse-theoretic versions of well-known theorems such as Eilenberg's Theorem, the Poincaré Lemma, and the de Rham Theorem. The effectiveness of twisted Morse complexes is demonstrated by computing the Lichnerowicz cohomology of surfaces, giving obstructions to spaces being associative H-spaces, and computing Novikov numbers.  Suitable for a graduate level course, the book may also be used as a reference for graduate students and working mathematicians or physicists.

This book is based on the lecture notes from a course we taught at Penn State University during the fall of 2002. The main goal of the course was to give a complete and detailed proof of the Morse Homology Theorem (Theo­ rem 7.4) at a level appropriate for second year graduate students. The course was designed for students who had a basic understanding of singular homol­ ogy, CW-complexes, applications of the existence and uniqueness theorem for O.D.E.s to vector fields on smooth Riemannian manifolds, and Sard's Theo­ rem. We would like to thank the following students for their participation in the course and their help proofreading early versions of this manuscript: James Barton, Shantanu Dave, Svetlana Krat, Viet-Trung Luu, and Chris Saunders. We would especially like to thank Chris Saunders for his dedication and en­ thusiasm concerning this project and the many helpful suggestions he made throughout the development of this text. We would also like to thank Bob Wells for sharing with us his extensive knowledge of CW-complexes, Morse theory, and singular homology. Chapters 3 and 6, in particular, benefited significantly from the many insightful conver­ sations we had with Bob Wells concerning a Morse function and its associated CW-complex.

This book constitutes the proceedings of the 2000 Howard conference on “Infinite Dimensional Lie Groups in Geometry and Representation Theory”. It presents some important recent developments in this area. It opens with a topological characterization of regular groups, treats among other topics the integrability problem of various infinite dimensional Lie algebras, presents substantial contributions to important subjects in modern geometry, and concludes with interesting applications to representation theory. The book should be a new source of inspiration for advanced graduate students and established researchers in the field of geometry and its applications to mathematical physics.