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.

The package of Gromov’s pseudo-holomorphic curves is a major tool in global symplectic geometry and its applications, including mirror symmetry and Hamiltonian dynamics. The Kuranishi structure was introduced by two of the authors of the present volume in the mid-1990s to apply this machinery on general symplectic manifolds without assuming any specific restrictions. It was further amplified by this book’s authors in their monograph Lagrangian Intersection Floer Theory and in many other publications of theirs and others. Answering popular demand, the authors now present the current book, in which they provide a detailed, self-contained explanation of the theory of Kuranishi structures. Part I discusses the theory on a single space equipped with Kuranishi structure, called a K-space, and its relevant basic package. First, the definition of a K-space and maps to the standard manifold are provided. Definitions are given for fiber products, differential forms, partitions of unity, and the notion of CF-perturbations on the K-space. Then, using CF-perturbations, the authors define the integration on K-space and the push-forward of differential forms, and generalize Stokes' formula and Fubini's theorem in this framework. Also, “virtual fundamental class” is defined, and its cobordism invariance is proved. Part II discusses the (compatible) system of K-spaces and the process of going from “geometry” to “homological algebra”. Thorough explanations of the extension of given perturbations on the boundary to the interior are presented. Also explained is the process of taking the “homotopy limit” needed to handle a system of infinitely many moduli spaces. Having in mind the future application of these chain level constructions beyond those already known, an axiomatic approach is taken by listing the properties of the system of the relevant moduli spaces and then a self-contained account of the construction of the associated algebraic structures is given. This axiomatic approach makes the exposition contained here independent of previously published construction of relevant structures.

The connective topological modular forms spectrum, $tmf$, is in a sense initial among elliptic spectra, and as such is an important link between the homotopy groups of spheres and modular forms. A primary goal of this volume is to give a complete account, with full proofs, of the homotopy of $tmf$ and several $tmf$-module spectra by means of the classical Adams spectral sequence, thus verifying, correcting, and extending existing approaches. In the process, folklore results are made precise and generalized. Anderson and Brown-Comenetz duality, and the corresponding dualities in homotopy groups, are carefully proved. The volume also includes an account of the homotopy groups of spheres through degree 44, with complete proofs, except that the Adams conjecture is used without proof. Also presented are modern stable proofs of classical results which are hard to extract from the literature. Tools used in this book include a multiplicative spectral sequence generalizing a construction of Davis and Mahowald, and computer software which computes the cohomology of modules over the Steenrod algebra and products therein. Techniques from commutative algebra are used to make the calculation precise and finite. The $H$-infinity ring structure of the sphere and of $tmf$ are used to determine many differentials and relations.

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.

Understanding the behavior of basic sampling techniques and intrinsic geometric attributes of data is an invaluable skill that is in high demand for both graduate students and researchers in mathematics, machine learning, and theoretical computer science. The last ten years have seen significant progress in this area, with many open problems having been resolved during this time. These include optimal lower bounds for epsilon-nets for many geometric set systems, the use of shallow-cell complexity to unify proofs, simpler and more efficient algorithms, and the use of epsilon-approximations for construction of coresets, to name a few. This book presents a thorough treatment of these probabilistic, combinatorial, and geometric methods, as well as their combinatorial and algorithmic applications. It also revisits classical results, but with new and more elegant proofs. While mathematical maturity will certainly help in appreciating the ideas presented here, only a basic familiarity with discrete mathematics, probability, and combinatorics is required to understand the material.

The main topic of the book is amenable groups, i.e., groups on which there exist invariant finitely additive measures. It was discovered that the existence or non-existence of amenability is responsible for many interesting phenomena such as, e.g., the Banach-Tarski Paradox about breaking a sphere into two spheres of the same radius. Since then, amenability has been actively studied and a number of different approaches resulted in many examples of amenable and non-amenable groups. In the book, the author puts together main approaches to study amenability. A novel feature of the book is that the exposition of the material starts with examples which introduce a method rather than illustrating it. This allows the reader to quickly move on to meaningful material without learning and remembering a lot of additional definitions and preparatory results; those are presented after analyzing the main examples. The techniques that are used for proving amenability in this book are mainly a combination of analytic and probabilistic tools with geometric group theory.

This book is a continuation of Asymptotic Geometric Analysis, Part I, which was published as volume 202 in this series. Asymptotic geometric analysis studies properties of geometric objects, such as normed spaces, convex bodies, or convex functions, when the dimensions of these objects increase to infinity. The asymptotic approach reveals many very novel phenomena which influence other fields in mathematics, especially where a large data set is of main concern, or a number of parameters which becomes uncontrollably large. One of the important features of this new theory is in developing tools which allow studying high parametric families. Among the topics covered in the book are measure concentration, isoperimetric constants of log-concave measures, thin-shell estimates, stochastic localization, the geometry of Gaussian measures, volume inequalities for convex bodies, local theory of Banach spaces, type and cotype, the Banach-Mazur compactum, symmetrizations, restricted invertibility, and functional versions of geometric notions and inequalities.