Return to Answer

3 added 285 characters in body

Answers to all questions are negative, however, $Hom(\Gamma, G)$ is smooth away from representations $\rho$ such that the centralizer of $\rho(\Gamma)$ in $G$ is finite. (This is due to Andre Weil, "Remarks on cohomology of groups", Annals of Math., 1964, but since then it was reproven by many others in a variety of ways. For instance, Goldman has a very clear proof using Poincare duality and vanishing of $H^2$. However, if you allow Fuchsian groups with torsion instead of just surface groups, Weil's result is the best.best. Incidentally, there is a way to have an interesting theory of representations of fundamental groups of surfaces with boundary: You just have to consider relative representation varieties where you fix the conjugacy classes of images of boundary loops. Weil deals with these as well.)

i. There are (real) non-reduced examples: $G=PU(2,1)$ and $\rho$ is a discrete and faithful representation that lands in $PU(1,1)$, see e.g. paper of Goldman and Millson http://www2.math.umd.edu/~wmg//LocalRigidity.pdf

The key reason is that the dimension of Zariski tangent space to $Hom(\Gamma, G)$ at all these representations is larger than the actual dimension of the representation variety. On the other hand, over algebraically closed fields it will be reduced.

ii. Even if you look at the reduced scheme, both smoothness and normality will fail at the trivial representation to a nonabelian group, like $SL(2)$. The analytical germ of $Hom(\Gamma, G)$ at the trivial representation is given by: Take the vector space $Z^1(\Gamma, {\mathfrak g})$ (with trivial action of $\Gamma$ on the Lie algebra) and impose the quadratic equations given by vanishing of the cup-products $[\omega \cup \omega], \omega\in Z^1$. See
Goldman's paper "Representations of fundamental groups of surfaces", reference [5] in the paper by Goldman and Millson linked above. There is actually a much stronger result by Goldman-Millson and Simpson which describes local singularities of representation varieties of Kahler groups in terms of cup product on $H^1$.

However, it is an open problem if $Hom(\Gamma, G)$ is smooth at representations with finite centralizers, where $\Gamma$ is a Kahler group.

2 added 79 characters in body

Answers to all questions are negative, however, $Hom(\Gamma, G)$ is smooth away from representations $\rho$ such that the centralizer of $\rho(\Gamma)$ in $G$ is finite. (This is due to Andre Weil, "Remarks on cohomology of groups", Annals of Math., 1964, but since then it was reproven by many others in a variety of ways. For instance, Goldman has a very clear proof using Poincare duality and vanishing of $H^2$. However, if you allow Fuchsian groups with torsion instead of just surface groups, Weil's result is the best.)

i. There are (real) non-reduced examples: $G=PU(2,1)$ and $\rho$ is a discrete and faithful representation that lands in $PU(1,1)$, see e.g. paper of Goldman and Millson http://www2.math.umd.edu/~wmg//LocalRigidity.pdf

The key reason is that the dimension of Zariski tangent space to $Hom(\Gamma, G)$ at all these representations is larger than the actual dimension of the representation variety. On the other hand, over algebraically closed fields it will be reduced.

ii. Even if you look at the reduced scheme, both smoothness and normality will fail at the trivial representation to a nonabelian group, like $SL(2)$. The analytical germ of $Hom(\Gamma, G)$ at the trivial representation is given by: Take the vector space $Z^1(\Gamma, {\mathfrak g})$ (with trivial action of $\Gamma$ on the Lie algebra) and impose the quadratic equations given by vanishing of the cup-products $[\omega \cup \omega], \omega\in Z^1$. See
Goldman's paper "Representations of fundamental groups of surfaces", reference [5] in the paper by Goldman and Millson linked above. There is actually a much stronger result by Goldman-Millson and Simpson which describes local singularities of representation varieties of Kahler groups in terms of cup product on $H^1$.

However, it is an open problem if $Hom(\Gamma, G)$ is smooth at representations with finite centralizers, where $\Gamma$ is a Kahler group.

1

Answers to all questions are negative, however, $Hom(\Gamma, G)$ is smooth away from representations $\rho$ such that the centralizer of $\rho(\Gamma)$ in $G$ is finite. (This is due to Andre Weil, "Remarks on cohomology of groups", Annals of Math., 1964, but since then it was reproven by many others in a variety of ways. For instance, Goldman has a very clear proof using Poincare duality and vanishing of $H^2$. However, if you allow Fuchsian groups with torsion instead of just surface groups, Weil's result is the best.)

i. There are non-reduced examples: $G=PU(2,1)$ and $\rho$ is a discrete and faithful representation that lands in $PU(1,1)$, see e.g. paper of Goldman and Millson http://www2.math.umd.edu/~wmg//LocalRigidity.pdf

The key reason is that the dimension of Zariski tangent space to $Hom(\Gamma, G)$ at all these representations is larger than the actual dimension of the representation variety.

ii. Even if you look at the reduced scheme, both smoothness and normality will fail at the trivial representation to a nonabelian group, like $SL(2)$. The analytical germ of $Hom(\Gamma, G)$ at the trivial representation is given by: Take the vector space $Z^1(\Gamma, {\mathfrak g})$ (with trivial action of $\Gamma$ on the Lie algebra) and impose the quadratic equations given by vanishing of the cup-products $[\omega \cup \omega], \omega\in Z^1$. See
Goldman's paper "Representations of fundamental groups of surfaces", reference [5] in the paper by Goldman and Millson linked above. There is actually a much stronger result by Goldman-Millson and Simpson which describes local singularities of representation varieties of Kahler groups in terms of cup product on $H^1$.

However, it is an open problem if $Hom(\Gamma, G)$ is smooth at representations with finite centralizers, where $\Gamma$ is a Kahler group.