In this paper we study the birational geometry of HyperKaehler manifolds by combining the method of minimal model program and the traditional approach of symplectic geometry.

We study the CalabiYau equation on symplectic manifolds. We show that Donaldson's conjecture on estimates for this equation in terms of a taming symplectic form can be reduced to an integral estimate of a scalar potential function. Under a positive curvature condition, we show that the conjecture holds.

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.

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.

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