MathSciDoc: An Archive for Mathematician ∫

In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co) chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter T^{2}= e^{-1} , our computation verifies the folklore that FOOO's obstruction (co) chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspondence, and also proves the prediction made by K. Hori about the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. The latter states that the Floer cohomology (for the parameter value T^{2}= e^{-1} ) of all the fibers vanish except at a finite number, the Euler characteristic of the toric manifold, of base points in the momentum polytope that are critical points of the superpotential of the Landau-Ginzburg mirror to the toric manifold. In the latter cases, we also prove that the Floer cohomology of the corresponding fiber is isomorphic to its singular cohomology.

We compute the ring structure of Floer cohomology groups of Lagrangian torus fibers in some toric Fano manifolds continuing the study of [CO]. Related <i>A</i>-formulas hold for a transversal choice of chains. Two different computations are provided: a direct calculation using the classification of holomorphic discs by Oh and the author in [CO], and another method by using an <i>analogue of divisor equation</i> in Gromov-Witten invariants to the case of discs. Floer cohomology rings are shown to be isomorphic to Clifford algebras, whose quadratic forms are given by the Hessians of functions <i>W</i>, which turn out to be the superpotentials of Landau-Ginzburg mirrors. In the case of , this proves the prediction made by Hori, Kapustin and Li by B-model calculations via physical arguments. The latter method also provides correspondence between higher derivatives of the superpotential of LG mirror with

We show that in many examples the non-displaceability of Lagrangian submanifolds by Hamiltonian isotopy can be proved via Lagrangian Floer cohomology with non-unitary line bundle. The examples include all monotone Lagrangian torus fibers in a toric Fano manifold (which was also proven by Entov and Polterovich via the theory of symplectic quasi-states) and some non-monotone Lagrangian torus fibers.

Lagrangian Floer homology in a general case has been constructed by Fukaya, Oh, Ohta and Ono, where they construct an A-algebra or an A-bimodule from Lagrangian submanifolds. They developed obstruction and deformation theories of the Lagrangian Floer homology theory. But for obstructed Lagrangian submanifolds, the standard Lagrangian Floer homology cannot be defined. We explore several well-known homology theories on these A-objects, which are Hochschild and cyclic homology for an A-objects and ChevalleyEilenberg or cyclic ChevalleyEilenberg homology for their underlying L-objects. We show that these homology theories are well-defined and invariant even in the obstructed cases. Due to the existence of m 0, the standard homological algebra does not work and we develop analogous homological algebra over Novikov fields. We provide computations of these homology

We give Chern-Weil definitions of the Maslov indices of bundle pairs over a Riemann surface with boundary, which consists of symplectic vector bundle on and a Lagrangian subbundle on\partial as well as its generalization for transversely intersecting Lagrangian boundary conditions. We discuss their properties and relations to the known topological definitions. As a main application, we extend Maslov index to the case with orbifold interior singularites, via curvature integral, and find also an analogous topological definition in these cases.

We give ChernWeil definitions of the Maslov indices of bundle pairs over a Riemann surface \Sigma with boundary, which consists of symplectic vector bundle on \Sigma and a Lagrangian subbundle on \Sigma as well as its generalization for transversely intersecting Lagrangian boundary conditions. We discuss their properties and relations to the known topological definitions. As a main application, we extend Maslov index to the case with orbifold interior singularities, via curvature integral, and find also an analogous topological definition in these cases.

Given a complex analytic function f on a Whitney stratified complex analytic variety of complex dimension n, whose real part Re (f) is Morse, we prove the existence of a stratified gradient-like vector field for Re (f) such that the unstable set of a critical point p on a stratum S of complex dimension s has real dimension m (p)+ ns as was conjectured by Goresky and MacPherson.