Mok's characteristic varieties and the normal holonomy group

Finally, we prove that if the action of the normal holonomy group of a projective submanifold is reducible then the submanifold is an open subset of the smooth part of a so called join, i.e. the union of the lines joining two projective submanifolds.