We introduce filtered cohomologies of differential forms on symplectic manifolds. They generalize and include the cohomologies discussed in Papers I and II as a subset. The filtered cohomologies are finite-dimensional and can be associated with differential elliptic complexes. Algebraically, we show that the filtered cohomologies give a two-sided resolution of Lefschetz maps, and thereby, they are directly related to the kernels and cokernels of the Lefschetz maps. We also introduce a novel, non-associative product operation on differential forms for symplectic manifolds. This product generates an A-infinity algebra structure on forms that underlies the filtered cohomologies and gives them a ring structure. As an application, we demonstrate how the ring structure of the filtered cohomologies can distinguish different symplectic four-manifolds in the context of a circle times a fibered three-manifold.

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.

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 study Nakai-Moishezon type question and Donaldson’s “tamed to compatible” question for almost complex structures on rational four manifolds. By extending Taubes’ subvarieties-currentform technique to J-nef genus 0 classes, we give affirmative answers of these two questions for all tamed almost complex structures on S^2 bundles over S^2 as well as for many geometrically interesting tamed almost complex structures on other rational four manifolds, including the del Pezzo ones.

The present paper considers volume formulæ, as well as trigonometric identities, that hold for a tetrahedron in 3-dimensional spherical space of constant sectional curvature +1. The tetrahedron possesses a certain symmetry: namely rotation of angle$π$in the middle points of a certain pair of its skew edges.