Book excerpt: Beginning by introducing a geometric mechanism for diffusion in a priori unstable nearly integrable dynamical systems. This book is based on the observation that resonances, besides destroying the primary KAM tori, create secondary tori and tori of lower dimension. It argues that these objects created by resonances can be incorporated in transition chains taking the place of the destroyed primary KAM tori.The authors establish rigorously the existence of this mechanism in a simplemodel 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 unifyingstandard techniques. A new tool used here is the scattering map of normally hyperbolic invariant manifolds.The model considered is a one-parameter family, which for $\varepsilon = 0$ is an integrable system. We give a small number of explicit conditions the jet of order $3$ of the family that, if verified imply diffusion. The conditions are just that some explicitely constructed functionals do not vanish identically or have non-degenerate critical points, etc.An attractive feature of themechanism is that the transition chains are shorter in the places where the heuristic intuition and numerical experimentation suggests that the diffusion is strongest.