Automorphic Cohomology II (Carayol's Work and an Application)