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.

In this paper the authors start with the construction of the symplectic field theory (SFT). As a general theory of symplectic invariants, SFT has been outlined in Introduction to symplectic field theory (2000), by Y. Eliashberg, A. Givental and H. Hofer who have predicted its formal properties. The actual construction of SFT is a hard analytical problem which will be overcome be means of the polyfold theory due to the present authors. The current paper addresses a significant amount of the arising issues and the general theory will be completed in part II of this paper. To illustrate the polyfold theory the authors use the results of the present paper to describe an alternative construction of the Gromov-Witten invariants for general compact symplectic manifolds.

This volume contains a collection of papers based on lectures delivered by distinguished mathematicians at Clay Mathematics Institute events over the past few years. It is intended to be the first in an occasional series of volumes of CMI lectures. Although not explicitly linked, the topics in this inaugural volume have a common flavour and a common appeal to all who are interested in recent developments in geometry. They are intended to be accessible to all who work in this general area, regardless of their own particular research interests.

The method of using the moduli space of pseudo-holomorphic curves on a symplectic manifold was introduced by Mikhail Gromov in 1985. From the appearance of Gromov's original paper until today this approach has been the most important tool in global symplectic geometry. To produce numerical invariants of these manifolds using this method requires constructing a fundamental cycle associated with moduli spaces. This volume brings together three approaches to constructing the “virtual” fundamental cycle for the moduli space of pseudo-holomorphic curves. All approaches are based on the idea of local Kuranishi charts for the moduli space. Workers in the field will get a comprehensive understanding of the details of these constructions and the assumptions under which they can be made. These techniques and results will be essential in further applications of this approach to producing invariants of symplectic manifolds.

This book highlights a number of recent research advances in the field of symplectic and contact geometry and topology, and related areas in low-dimensional topology. This field has experienced significant and exciting growth in the past few decades, and this volume provides an accessible introduction into many active research problems in this area. The papers were written with a broad audience in mind so as to reach a wide range of mathematicians at various levels. Aside from teaching readers about developing research areas, this book will inspire researchers to ask further questions to continue to advance the field. The volume contains both original results and survey articles, presenting the results of collaborative research on a wide range of topics. These projects began at the Research Collaboration Conference for Women in Symplectic and Contact Geometry and Topology (WiSCon) in July 2019 at ICERM, Brown University. Each group of authors included female and nonbinary mathematicians at different career levels in mathematics and with varying areas of expertise. This paved the way for new connections between mathematicians at all career levels, spanning multiple continents, and resulted in the new collaborations and directions that are featured in this work.

This book provides an introduction to symplectic field theory, a new and important subject which is currently being developed. The starting point of this theory are compactness results for holomorphic curves established in the last decade. The author presents a systematic introduction providing a lot of background material, much of which is scattered throughout the literature. Since the content grew out of lectures given by the author, the main aim is to provide an entry point into symplectic field theory for non-specialists and for graduate students. Extensions of certain compactness results, which are believed to be true by the specialists but have not yet been published in the literature in detail, top off the scope of this monograph.

Schemes in algebraic geometry can have singular points, whereas differential geometers typically focus on manifolds which are nonsingular. However, there is a class of schemes, 'C∞-schemes', which allow differential geometers to study a huge range of singular spaces, including 'infinitesimals' and infinite-dimensional spaces. These are applied in synthetic differential geometry, and derived differential geometry, the study of 'derived manifolds'. Differential geometers also study manifolds with corners. The cube is a 3-dimensional manifold with corners, with boundary the six square faces. This book introduces 'C∞-schemes with corners', singular spaces in differential geometry with good notions of boundary and corners. They can be used to define 'derived manifolds with corners' and 'derived orbifolds with corners'. These have applications to major areas of symplectic geometry involving moduli spaces of J-holomorphic curves. This work will be a welcome source of information and inspiration for graduate students and researchers working in differential or algebraic geometry.