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.

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.