Generic diffeomorphisms away from homoclinic tangencies and heterodimensional cycles

Abstract.The C1 density conjecture of Palis asserts that diffeomorphisms exhibiting either a homoclinic tangency or a heterodimensional cycle are C1 dense in the complement of the C1 closure of hyperbolic systems. In this paper we prove some results towards the conjecture.