MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

4 added 982 characters in body; deleted 56 characters in body

There are a number of such conditions .

One is Goldman's theorem which says that for discreteness and faithfulness (injectivity) of a homomorphism representation $\Gamma \to PSL_2(\mathbb{R})$ is faithful (meaning injectivePSL_2(\mathbb{R}) and with discrete image if and only if the Euler number of the representation is equal to $\pm 2$. More generally= Isom^+(\mathbb{H}^2)$, if where$\Gamma$is the fundamental group of a closed, oriented surface$S$of genus$g$, then g \ge 2$.

One is Goldman's theorem which says that a representation homomorphism $\Gamma \to PSL_2(\mathbb{R})$ is faithful and discrete and faithful if and only if the Euler number of the representation equals $\pm (2g-2)$. To define this Euler number, take the induced action of $\Gamma$ on the compactified $\mathbb{H}^2$ to define a closed disc bundle over the surface $S$, and then take the Euler number of this disc bundle. This result is contained in Goldman's thesis, but I do not know a good published reference.

ADDED: Another condition is given in work of Feng Luo, "Geodesic length functions and Teichmüller spaces": a representation $\Gamma \to PSL(2,\mathbb{R})$ is faithful and discrete if and only if the restriction of its character to the fundamental group of each essential 3-holed subsphere and 1-holed subtorus of $S$ is the character of a faithful, discrete representation. Furthermore, for each of those restrictions, discreteness is characterized in terms of polynomial equations in the traces.

ADDED: As long as I'm at this, I might as well go the whole hog. There is a whole series of criteria for discreteness and faithfulness of a representation $\Gamma \to PSL(2,\mathbb{R})$ which goes back to a result of Nielsen, which can be found in his 1940 paper "Uber Gruppen linearer Transformationen", and which continues in results of Siegel, Jorgensen, and others. The original paper of Nielsen can be found, in German, in Volume 2 of "Jacob Nielsen: Collected Mathematical Papers". Also in this volume, on page 431, is a short essay by Fenchel on the history of this theorem and its successors. Nielsen's criterion is that the image of every nontrivial element is a translation. Jorgensen's criterion, which Fenchel says is the most general of this series, is that no nontrivial element has image equal to an infinite order rotation.

3 added 481 characters in body

There are a number of such conditions.

One is Goldman's theorem which says that a homomorphism $\Gamma \to PSL_2(\mathbb{R})$ is faithful (meaning injective) and with discrete image if and only if the Euler number of the representation is equal to $\pm 2$. More generally, if $\Gamma$ is the fundamental group of a closed oriented surface $S$ of genus $g$, then a representation $\Gamma \to PSL_2(\mathbb{R})$ is faithful and discrete if and only if the Euler number equals $\pm (2g-2)$. To define this Euler number, take the induced action of $\Gamma$ on the compactified $\mathbb{H}^2$ to define a closed disc bundle over the surface $S$, and then take the Euler number of this disc bundle. This result is contained in Goldman's thesis, but I do not know a good published reference.

Another condition is that $\Gamma$ is discrete if and only if each 2-generator subgroup is discrete, and then one can use the work of Gilman/Maskit/et. al. to give an algorithmic characterization of when a 2-generator subgroup of $PSL(2,\mathbb{R})$ is discrete. Gilman's paper (referred to in my comment) is a good reference for this material on 2-generator subgroups of $PSL(2,\mathbb{R})$.

ADDED: Another condition is given in work of Feng Luo, "Geodesic length functions and Teichmüller spaces": a representation $\Gamma \to PSL(2,\mathbb{R})$ is discrete if and only if the restriction of its character to the fundamental group of each essential 3-holed subsphere and 1-holed subtorus of $S$ is the character of a discrete representation. Furthermore, for each of those restrictions, discreteness is characterized in terms of polynomial equations in the traces.

2 added 18 characters in body

There are a number of such conditions.

One is Goldman's theorem which says that a homomorphism $\Gamma \to PSL_2(\mathbb{R})$ is faithful (meaning injective) and with discrete image if and only if the Euler number of the representation is equal to $\pm 2$. More generally, if $\Gamma$ is the fundamental group of a closed oriented surface $S$ of genus $g$, then a representation $\Gamma \to PSL_2(\mathbb{R})$ is faithful and discrete if and only if the Euler number equals $\pm (2g-2)$. To define this Euler number, take the induced action of $\Gamma$ on the compactified $\mathbb{H}^2$ to define an open a closed disc bundle over the surface $S$, and then take the Euler number of this disc bundle. This result is contained in Goldman's thesis, but I do not know a good published reference.

Another condition is that $\Gamma$ is discrete if and only if each 2-generator subgroup is discrete, and then one can use the work of Gilman/Maskit/et. al. to give an algorithmic characterization of when a 2-generator subgroup of $PSL(2,\mathbb{R})$ is discrete. Gilman's paper (referred to in my comment) is a good reference for this material on 2-generator subgroups of $PSL(2,\mathbb{R})$.

1