A. Delshams, R. de la Llave, T. M.-Seara A geometric mechanism for diffusion in Hamiltonian systems overcoming the large gap problem: heuristics and rigorous verification on a model (1876K, ps) ABSTRACT. We introduce a geometric mechanism for diffusion in a priori unstable nearly integrable dynamical systems. It is based on the observation that resonances, besides destroying the primary KAM tori, create secondary tori and tori of lower dimension. We argue that these objects created by resonances can be incorporated in transition chains taking the place of the destroyed primary KAM tori. We establish rigorously the existence of this mechanism in a simple model that has been studied before. The main technique is to develop a toolkit to study, in a unified way, tori of different topologies and their invariant manifolds, their intersections as well as shadowing properties of these bi-asymptotic orbits. This toolkit is based on extending and unifying standard techniques. A new tool used here is the scattering map of normally hyperbolic invariant manifolds. An attractive feature of the mechanism is that the transition chains are shorter in the places where the heuristic intuition and numerical experimentation suggests that the diffusion is strongest.