In 1993, M Kontsevich proposed a conceptual framework for explaining the phenomenon of mirror symmetry. Mirror symmetry had been discovered by physicists in string theory as a duality between families of three-dimensional Calabi-Yau manifolds. Kontsevich's proposal uses Fukaya's construction of the A -category of Lagrangian submanifolds on the symplectic side and the derived category of coherent sheaves on the complex side. The theory of mirror symmetry was further enhanced by physicists in the language of D-branes and also by Strominger-Yau-Zaslow in the geometric set-up of (special) Lagrangian torus fibrations. It rapidly expanded its scope across from geometry, topology, algebra to physics.In this volume, leading experts in the field explore recent developments in relation to homological mirror symmetry, Floer theory, D-branes and Gromov-Witten invariants. Kontsevich-Soibelman describe their solution to the mirror conjecture on the abelian variety based on the deformation theory of A -categories, and Ohta describes recent work on the Lagrangian intersection Floer theory by Fukaya-Oh-Ohta-Ono which takes an important step towards a rigorous construction of the A -category. There follow a number of contributions on the homological mirror symmetry, D-branes and the Gromov-Witten invariants, e.g. Getzler shows how the Toda conjecture follows from recent work of Givental, Okounkov and Pandharipande. This volume provides a timely presentation of the important developments of recent years in this rapidly growing field.

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 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 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 is published in cooperation with Simons Center for Geometry and Physics.