High-order homoclinic tangencies of corank 2

We prove that in the space of Cʳ maps (r=2,… ,∞ ,ω ) of a smooth manifold of dimension at least 4, there exist open regions where maps with infinitely many corank-2 homoclinic tangencies of all orders are dense. The result is applied to show the existence of maps with universal two-dimensional dynamics, that is, maps whose iterations approximate the dynamics of every map of a two-dimensional disk with an arbitrarily good accuracy. We show that maps with universal two-dimensional dynamics are Cʳ -generic in the regions under consideration.