We consider the space N of $C^2$ twist maps that satisfy the following requirements. The action is the sum of a purely quadratic term and a periodic potential times a constant k (hereafter called the nonlinearity). The potential restricted to the unit circle is bimodal, i.e. has one local minimum and one local maximum. The following statements are proven for maps in N with nonlinearity k large enough.

The intersection of the unstable and stable invariant manifolds to the hyperbolic minimizing periodic points contains minimizing homoclinic points. Consider two finite pieces of these manifolds that connect two adjacent homoclinic minimizing points (hereafter called fundamental domains). We prove that all such fundamental domains have precisely one point in their intersection (the Single Intersection theorem).

In addition, we show that limit points of minimizing points are recurrent, which implies that Aubry Mather sets (with irrational rotation number) are contained in diamonds formed by local stable and unstable manifolds of nearby minimizing periodic orbits (the Diamond Configuration theorem).

Another corollary concerns the intersection of the minimax orbits with certain symmetry lines of the map.