On Ihara's lemma for definite unitary groups

Clozel, Harris, and Taylor proposed a conjectural generalized Ihara's lemma for definite unitary groups. In this paper, we prove their conjecture over banal coefficients under some conditions. As an application, we prove a level-raising result for automorphic forms associated to definite unitary groups.