Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups

Let S be a closed, connected, orientable surface of genus at least 3, be the complex of curves on S and be the extended mapping class group of S. We prove that a simplicial map, , preserves nondisjointness (i.e. if α and β are two vertices in and i(α,β)≠0, then i(λ(α),λ(β))≠0) iff it is induced by a homeomorphism of S. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of S and f has a unique extension to an automorphism of .