We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact 1-forms λ_1^* on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact 1-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on λ_1^* for several hyperbolic rational homology spheres.

The skeleton of a 2D shape is an important geometric structure in pattern analysis and computer vision. In this paper we study the skeleton of a 2D shape in a two-manifold M, based on a geodesic metric. We present a formal definition of the skeleton S(\Omega) for a shape V in M and show several properties that make S(\Omega) distinct from its Euclidean counterpart in R^2. We further prove that for a shape sequence {\Omega_i} that converge to a shape V in M, the mapping \Omega\rightarrow S(\Omega_i) is lower semi-continuous. A direct application of this result is that we can use a set P of sample points to approximate the boundary of a 2D shape V in M, and the Voronoi diagram of P inside \Omega\subset M gives a good approximation to the skeleton S(\Omega). Examples of skeleton computation in topography and brain morphometry are illustrated.

We identify a strong stability condition on minimal submanifolds that implies uniqueness and dynamical stability properties. In particular, we prove a uniqueness theorem and a dynamical stability theorem of the mean curvature flow for minimal submanifolds that satisfy this condition. The latter theorem states that the mean curvature flow of any other submanifold in a neighborhood of such a minimal submanifold exists for all time, and converges exponentially to the minimal one. This extends our previous uniqueness and stability theorem which applies only to calibrated submanifolds of special holonomy ambient manifolds.

In 1960s, Almgren initiated a program to find minimal hypersurfaces in compact manifolds using min-max method. This program was largely advanced by Pitts and Schoen-Simon in 1980s when the manifold has no boundary. In this paper, we finish this program for general compact manifold with nonempty boundary. As a result, we prove the existence of a smooth embedded minimal hypersurface with free boundary in any compact smooth Euclidean domain. An application of our general existence result combined with the work of Marques and Neves shows that for any compact Riemannian manifolds with nonnegative Ricci curvature and convex boundary, there exist infinitely many embedded minimal hypersurfaces with free boundary which are properly embedded.

In [SW2], we defined a generalized mean curvature vector field on any almost Lagrangian submanifold with respect to a torsion connection on an almost K\"ahler manifold. The short time existence of the corresponding parabolic flow was established. In addition, it was shown that the flow preserves the Lagrangian condition as long as the connection satisfies an Einstein condition. In this article, we show that the canonical connection on the cotangent bundle of any Riemannian manifold is an Einstein connection (in fact, Ricci flat). The generalized mean curvature vector on any Lagrangian submanifold is related to the Lagrangian angle defined by the phase of a parallel (n, 0) form, just like the Calabi-Yau case. We also show that the corresponding Lagrangian mean curvature flow in cotangent bundles preserves the exactness and the zero Maslov class conditions. At the end, we prove a long time existence and convergence result to demonstrate the stability of the zero section of the cotangent bundle of spheres.