Strongly pseudoconvex CR manifolds are boundaries of Stein varieties with isolated normal singularities.We prove that any nonconstant CR morphism between two (2n.1)-dimensional strongly pseudoconvex CR manifolds lying in an n-dimensional Stein variety with isolated singularities are necessarily a CR biholomorphism. As a corollary, we prove that any nonconstant self map of (2n . 1)-dimensional strongly pseudoconvex CR manifold is a CR automorphism. We also prove that a finite ′etale covering map between two resolutions of isolated normal singularities must be an isomorphism.

Given a Riemannian manifold and a closed submanifold, we find a geodesic segment with free boundary on the given submanifold. This is a corollary of the min–max theory which we develop in this article for the free boundary variational problem. In particular, we develop a modified Birkhoff curve shortening process to achieve a strong “Colding–Minicozzi” type min–max approximation result.

We discuss the uniruledness of various base loci of linear systems related to the canonical divisor. In particular we prove that the stable base locus of the canonical divisor of a smooth projective variety of general type is covered by rational curves.

We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperk¨ahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperk¨ahler manifolds. We give a Pl¨ucker type formula for Lagrangian intersections under this transformation.

This article studies the mean curvature flow of Lagrangian submanifolds. In particular, we prove the following global existence and convergence theorem: if the potential function of a Lagrangian graph in $T^{2n}$ is convex, then the flow exists for all time and converges smoothly to a flat Lagrangian submanifold. We also discuss various conditions on the potential function that guarantee global existence and convergence.