The Surface Subgroup Theorem and the Ehrenpreis Conjecture
The Surface Subgroup Theorem and the Ehrenpreis Conjecture
We prove that there is a hyperbolic surface $S$ such that for any closed hy-perbolic 2 or 3-manifold M, and > 0, there is a nite cover ^ S of S, and a map f: ^ S ! M that is locally within of being an isometric immersion. When dimM = 3 this implies that 1(M) has a surface subgroup, and when dimM = 2 this is the Ehrenpreis conjecture. In either case, the surface f(S) is constructed by putting together immersed pairs of pants in M, and in both cases we can construct a collection of good pants that are evenly distributed around every closed geodesic that appears as a boundary. If dimM = 3 then we can immediately assemble these pants, with a twist, to form the desired surface f(S). In the case where dimM = 2, there may be more pants on one side of a geodesic than the other. In order to determine how to correct the collection of pants, we develop the \good pants homology" of good curves modulo the boundaries of good pants, and show through a series of algebraic identities that it is equivalent to the standard homology. This is joint work with Vladimir Markovic.