In recent years scholars from a variety of branches of mathematics have made several significant developments in the theory of group actions. Groups of Circle Diffeomorphisms systematically explores group actions on the simplest closed manifold, the circle. As the group of circle diffeomorphisms is an important subject in modern mathematics, this book will be of interest to those doing research in group theory, dynamical systems, low dimensional geometry and topology, and foliation theory. The book is mostly self-contained and also includes numerous complementary exercises, making it an excellent textbook for undergraduate and graduate students.

This monograph gives an overview of various classes of infinite-dimensional Lie groups and their applications in Hamiltonian mechanics, fluid dynamics, integrable systems, gauge theory, and complex geometry. The text includes many exercises and open questions.

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 presents the theory of optimal and critical regularities of groups of diffeomorphisms, from the classical work of Denjoy and Herman, up through recent advances. Beginning with an investigation of regularity phenomena for single diffeomorphisms, the book goes on to describes a circle of ideas surrounding Filipkiewicz's Theorem, which recovers the smooth structure of a manifold from its full diffeomorphism group. Topics covered include the simplicity of homeomorphism groups, differentiability of continuous Lie group actions, smooth conjugation of diffeomorphism groups, and the reconstruction of spaces from group actions. Various classical and modern tools are developed for controlling the dynamics of general finitely generated group actions on one-dimensional manifolds, subject to regularity bounds, including material on Thompson's group F, nilpotent groups, right-angled Artin groups, chain groups, finitely generated groups with prescribed critical regularities, and applications to foliation theory and the study of mapping class groups. The book will be of interest to researchers in geometric group theory.

The group of Hamiltonian diffeomorphisms Ham(M, 0) of a symplectic mani fold (M, 0) plays a fundamental role both in geometry and classical mechanics. For a geometer, at least under some assumptions on the manifold M, this is just the connected component of the identity in the group of all symplectic diffeomorphisms. From the viewpoint of mechanics, Ham(M,O) is the group of all admissible motions. What is the minimal amount of energy required in order to generate a given Hamiltonian diffeomorphism I? An attempt to formalize and answer this natural question has led H. Hofer [HI] (1990) to a remarkable discovery. It turns out that the solution of this variational problem can be interpreted as a geometric quantity, namely as the distance between I and the identity transformation. Moreover this distance is associated to a canonical biinvariant metric on Ham(M, 0). Since Hofer's work this new ge ometry has been intensively studied in the framework of modern symplectic topology. In the present book I will describe some of these developments. Hofer's geometry enables us to study various notions and problems which come from the familiar finite dimensional geometry in the context of the group of Hamiltonian diffeomorphisms. They turn out to be very different from the usual circle of problems considered in symplectic topology and thus extend significantly our vision of the symplectic world.

Shapes are complex objects to apprehend, as mathematical entities, in terms that also are suitable for computerized analysis and interpretation. This volume provides the background that is required for this purpose, including different approaches that can be used to model shapes, and algorithms that are available to analyze them. It explores, in particular, the interesting connections between shapes and the objects that naturally act on them, diffeomorphisms. The book is, as far as possible, self-contained, with an appendix that describes a series of classical topics in mathematics (Hilbert spaces, differential equations, Riemannian manifolds) and sections that represent the state of the art in the analysis of shapes and their deformations. A direct application of what is presented in the book is a branch of the computerized analysis of medical images, called computational anatomy.

In this partly expository work, a framework is developed for building exotic circle actions of certain classical groups. The authors give general combination theorems for indiscrete isometry groups of hyperbolic space which apply to Fuchsian and limit groups. An abundance of integer-valued subadditive defect-one quasimorphisms on these groups follow as a corollary. The main classes of groups considered are limit and Fuchsian groups. Limit groups are shown to admit large collections of faithful actions on the circle with disjoint rotation spectra. For Fuchsian groups, further flexibility results are proved and the existence of non-geometric actions of free and surface groups is established. An account is given of the extant notions of semi-conjugacy, showing they are equivalent. This book is suitable for experts interested in flexibility of representations, and for non-experts wanting an introduction to group representations into circle homeomorphism groups.