This book pioneers a nonlinear Fredholm theory in a general class of spaces called polyfolds. The theory generalizes certain aspects of nonlinear analysis and differential geometry, and combines them with a pinch of category theory to incorporate local symmetries. On the differential geometrical side, the book introduces a large class of `smooth' spaces and bundles which can have locally varying dimensions (finite or infinite-dimensional). These bundles come with an important class of sections, which display properties reminiscent of classical nonlinear Fredholm theory and allow for implicit function theorems. Within this nonlinear analysis framework, a versatile transversality and perturbation theory is developed to also cover equivariant settings. The theory presented in this book was initiated by the authors between 2007-2010, motivated by nonlinear moduli problems in symplectic geometry. Such problems are usually described locally as nonlinear elliptic systems, and they have to be studied up to a notion of isomorphism. This introduces symmetries, since such a system can be isomorphic to itself in different ways. Bubbling-off phenomena are common and have to be completely understood to produce algebraic invariants. This requires a transversality theory for bubbling-off phenomena in the presence of symmetries. Very often, even in concrete applications, geometric perturbations are not general enough to achieve transversality, and abstract perturbations have to be considered. The theory is already being successfully applied to its intended applications in symplectic geometry, and should find applications to many other areas where partial differential equations, geometry and functional analysis meet. Written by its originators, Polyfold and Fredholm Theory is an authoritative and comprehensive treatise of polyfold theory. It will prove invaluable for researchers studying nonlinear elliptic problems arising in geometric contexts.

Andreas Floer died on May 15, 1991 an untimely and tragic death. His visions and far-reaching contributions have significantly influenced the developments of mathematics. His main interests centered on the fields of dynamical systems, symplectic geometry, Yang-Mills theory and low dimensional topology. Motivated by the global existence problem of periodic solutions for Hamiltonian systems and starting from ideas of Conley, Gromov and Witten, he developed his Floer homology, providing new, powerful methods which can be applied to problems inaccessible only a few years ago. This volume opens with a short biography and three hitherto unpublished papers of Andreas Floer. It then presents a collection of invited contributions, and survey articles as well as research papers on his fields of interest, bearing testimony of the high esteem and appreciation this brilliant mathematician enjoyed among his colleagues. Authors include: A. Floer, V.I. Arnold, M. Atiyah, M. Audin, D.M. Austin, S.M. Bates, P.J. Braam, M. Chaperon, R.L. Cohen, G. Dell' Antonio, S.K. Donaldson, B. D'Onofrio, I. Ekeland, Y. Eliashberg, K.D. Ernst, R. Finthushel, A.B. Givental, H. Hofer, J.D.S. Jones, I. McAllister, D. McDuff, Y.-G. Oh, L. Polterovich, D.A. Salamon, G.B. Segal, R. Stern, C.H. Taubes, C. Viterbo, A. Weinstein, E. Witten, E. Zehnder

Analysis of an old variational principal in classical mechanics has established global periodic phenomena in Hamiltonian systems. One of the links is a class of sympletic invariants, called sympletic capacities, and these invariants are the main theme of this book. Topics covered include basic sympletic geometry, sympletic capacities and rigidity, sympletic fixed point theory, and a survey on Floer homology and sympletic homology.

Andreas Floer died on May 15, 1991 an untimely and tragic death. His visions and far-reaching contributions have significantly influenced the developments of mathematics. His main interests centered on the fields of dynamical systems, symplectic geometry, Yang-Mills theory and low dimensional topology. Motivated by the global existence problem of periodic solutions for Hamiltonian systems and starting from ideas of Conley, Gromov and Witten, he developed his Floer homology, providing new, powerful methods which can be applied to problems inaccessible only a few years ago. This volume opens with a short biography and three hitherto unpublished papers of Andreas Floer. It then presents a collection of invited contributions, and survey articles as well as research papers on his fields of interest, bearing testimony of the high esteem and appreciation this brilliant mathematician enjoyed among his colleagues. Authors include: A. Floer, V.I. Arnold, M. Atiyah, M. Audin, D.M. Austin, S.M. Bates, P.J. Braam, M. Chaperon, R.L. Cohen, G. Dell' Antonio, S.K. Donaldson, B. D'Onofrio, I. Ekeland, Y. Eliashberg, K.D. Ernst, R. Finthushel, A.B. Givental, H. Hofer, J.D.S. Jones, I. McAllister, D. McDuff, Y.-G. Oh, L. Polterovich, D.A. Salamon, G.B. Segal, R. Stern, C.H. Taubes, C. Viterbo, A. Weinstein, E. Witten, E. Zehnder

The discoveries of the last decades have opened new perspectives for the old field of Hamiltonian systems and led to the creation of a new field: symplectic topology. Surprising rigidity phenomena demonstrate that the nature of symplectic mappings is very different from that of volume preserving mappings. This raises new questions, many of them still unanswered. On the other hand, analysis of an old variational principle in classical mechanics has established global periodic phenomena in Hamiltonian systems. As it turns out, these seemingly different phenomena are mysteriously related. One of the links is a class of symplectic invariants, called symplectic capacities. These invariants are the main theme of this book, which includes such topics as basic symplectic geometry, symplectic capacities and rigidity, periodic orbits for Hamiltonian systems and the action principle, a bi-invariant metric on the symplectic diffeomorphism group and its geometry, symplectic fixed point theory, the Arnold conjectures and first order elliptic systems, and finally a survey on Floer homology and symplectic homology.

The exposition is self-contained and addressed to researchers and students from the graduate level onwards.