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.

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

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.