## Do representations of Fuchsian groups have unitary deformations?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $G$ be $SL_2({\mathbb C})$ and for $a,b\in G$ let $[a,b]=aba^{-1}b^{-1}$ be the commutator bracket. Let $n$ be a natural number $\ge 2$ and let $X\subset G^{2n}$ be the set of all $g\in G^{2n}$ such that $$[g_1,g_2]\cdots[g_{2n-1},g_{2n}]=1.$$ The first question is, whether $X$ is connected. If not, can one give a list of the connected components? Finally, does the subset $SU(2)^{2n}\cap X$ meet every connected component?

If the last question has an affirmative answer, every $G$-valued representation of the fundamental group $\Gamma$ of a compact Riemann surface of genus $n$ can be deformed to a unitary one, which explains the title of my question.

-

## 1 Answer

$X$ is the $SL_2(\mathbb{C})$--representation variety of the surface group, and, by Goldman's thesis, it is irreducible, and so connected.

See

Goldman, Topological components of spaces of representations. Invent. Math. 93 (1988), no. 3, 557–607.

If you take $G$ to be $PSL_2(\mathbb{C})$, then there are two components (see also Goldman), one for each Stiefel-Whitney class.

Edit: I should say that I recall that this is perhaps not so easy to find in Goldman's paper as he doesn't state it explicitly, but at some point he proves that the smooth locus of $X$ is connected, which gives the result.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 18, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9312818646430969, "perplexity_flag": "head"}