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.

Published in two volumes, this is the first book to provide a thorough and systematic explanation of symplectic topology, and the analytical details and techniques used in applying the machinery arising from Floer theory as a whole. Volume 2 provides a comprehensive introduction to both Hamiltonian Floer theory and Lagrangian Floer theory, including many examples of their applications to various problems in symplectic topology. The first volume covered the basic materials of Hamiltonian dynamics and symplectic geometry and the analytic foundations of Gromov's pseudoholomorphic curve theory. Symplectic Topology and Floer Homology is a comprehensive resource suitable for experts and newcomers alike.

This is the first book to provide a systematic explanation of both the problems of symplectic topology, and analytical details and techniques in applying the machinery embedded in the Floer theory as a whole. It provides a self-contained exposition of all foundational materials of Floer theory and its applications to various problems arising in symplectic topology. The author gives complete analytic details assuming the reader's knowledge of basic elliptic theory of (first-order) partial differential equations, second-year graduate differential geometry and first-year algebraic topology. He motivates various constructions appearing in Floer theory from the historical context of Lagrange Hamilton's variational principle and Hamiltonian mechanics. He also provides 100 exercises so that readers can test their understanding. The book is a comprehensive resource suitable for experts and newcomers alike."

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.