Geosphere laminations in free groups

We construct for free groups, which are codimension one analogues of geodesic laminations on surfaces. Other analogues that have been constructed by several authors are dimension-one instead of codimension-one. Our main result is that the space of such laminations is compact. This in turn is based on the result that crossing, in the sense of Scott-Swarup, is an open condition. Our construction is based on Hatcher's normal form for spheres in the model manifold.