1: \begin{abstract}

2: %We prove that the following three conditions are equivalent for a finitely generated group $G$: (a) $G$ acts faithfully and properly discontinuously by orientation-preserving homeomorphisms on a planar surface; (b) $G$ has a \Cg\ that admits a covariant, orientation-preserving, embedding in the plane in a sense defined in the paper; (c) $G$ is isomorphic to a Kleinian function group.

3: 

4: %In addition, the action in (a) can be chosen to be co-compact, and the \Cg\ in (b) can be chosen to have no infinite path in the boundary of any face. 

5: 

6: %All conditions involved in (a),(b),(c) are necessary for this equivalence; in particular, not every finitely generated group with a planar Cayley graph is in this class, neither is every finitely generated Kleinian group.

7: 

8: Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq \BS^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can replace $X$ by another surface $Y \subseteq \BS^2$. %Moreover, $G$ admits a faithful and properly discontinuous action on $\R^3$.

9: 

10: We also prove that if a group $H$ has a finitely generated Cayley\\ (multi-)graph $C$ covariantly embeddable in $\BS^2$, %in such a way that the canonical action $H\act C$ preserves the set of paths bounding faces, 

11: then $C$ can be chosen so as to have no infinite path on the boundary of a face. 

12: 

13: The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation-preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated  planar Cayley graph whose group is not in this class.

14: 

15: In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.

16: 

17: \end{abstract}

18: