No abstract uploaded!

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 introduce a new geometric flow, called the chord shortening flow, which is the negative gradient flow for the length functional on the space of chords with end points lying on a fixed submanifold in Euclidean space. As an application, we give a simplified proof of a classical theorem of Lusternik and Schnirelmann (and a generalization by Riede and Hayashi) on the existence of multiple orthogonal geodesic chords. For a compact convex planar domain, we show that any convex chord not orthogonal to the boundary would shrink to a point in finite time under the flow.

We study the Seiberg-Witten invariant λSW(X) of smooth spin 4-manifolds X with integral homology of S1×S3 defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant h(X) and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homology 3-spheres of Rohlin invariant one which have infinite order in the homology cobordism group.

Given a finite set of r points in a closed surface of genus r , we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class group if and only if r for some integer r .