arXiv subjects

K. Fukaya

Publications and source records attributed to K. Fukaya.

3 recordsLinked to original sources

arXiv2026

Quantum cohomology and split generation in Lagrangian Floer theory

Given a finite collection of Lagrangian submanifolds $\mathscr L$ in a compact symplectic manifold $X$, we construct a cyclic, filtered, strictly unital curved $A_{\infty}$ category $\mathcal L$ and develop Floer theory of closed-open maps and open-closed maps. Using them, we prove that, whenever the map from the quantum cohomology of $X$ to the Hochschild cohomology of the Fukaya category $\mathcal L$ with objects $\mathscr L$ is injective, the following consequences follow: (1) any other Lagrangian submanifold equipped with a weak bounding cochain lies in the category split-generated by $\mathscr L$, and (2) the Hochschild homology and cohomology of the Fukaya category are isomorphic to quantum cohomology. In the exact case a similar result was obtained in [Ab]. We also provide some applications.

math.SG↗

arXiv2009

Lagrangian Floer theory on compact toric manifolds I

The present authors introduced the notion of \emph{weakly unobstructed} Lagrangian submanifolds and constructed their \emph{potential function} $\mathfrak{PO}$ purely in terms of $A$-model data in [FOOO2]. In this paper, we carry out explicit calculations involving $\mathfrak{PO}$ on toric manifolds and study the relationship between this class of Lagrangian submanifolds with the earlier work of Givental [Gi1] which advocates that quantum cohomology ring is isomorphic to the Jacobian ring of a certain function, called the Landau-Ginzburg superpotential. Combining this study with the results from [FOOO2], we also apply the study to various examples to illustrate its implications to symplectic topology of Lagrangian fibers of toric manifolds. In particular we relate it to Hamiltonian displacement property of Lagrangian fibers and to Entov-Polterovich's symplectic quasi-states.

math.SG↗

arXiv2008

Canonical models of filtered $A_\infty$-algebras and Morse complexes

The purpose of this paper is two-fold. First we explain the construction of the canonical model of filtered $A_\infty$-algebras given in the authors' book [FOOO]. The canonical model plays a crucial role in the study of Lagrangian Floer theory on toric manifolds in our recent papers, arXiv:0802.1703 and arXiv:0810.5654. Then using a variation of the arguments used in that construction, we define a natural filtered $A_\infty$-structure on the Morse complex of a Morse function and its $A_\infty$ homotopy to the $A_\infty$-algebras on a Lagrangian submanifold constructed in [FOOO]. The corresponding graphical moduli spaces `summing over trees' involve holomorphic discs connected by the gradient flow lines.

math.SG↗