Spaces of surface group representations (Q493112)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Spaces of surface group representations
scientific article

    Statements

    Spaces of surface group representations (English)
    0 references
    0 references
    11 September 2015
    0 references
    Let \(M\) and \(X\) be manifolds. A representation \(\rho:\pi_{1}(M)\rightarrow \text{Homeo}_{+}(X)\) is geometric if it is faithful and has discrete image contained in a finite-dimensional Lie group \(G\subset\text{ Homeo}_{+}(X)\) acting transitively on \(X.\) The typical example of such a representation is that any complete \((G,X)\) structure on a manifold \(M\) defines a geometric representation \(\rho:\pi_{1}(M)\rightarrow G\subset\text{ Homeo}_{+}(X).\) In the present paper the author studies the case \(M=\Sigma_{g}\) and \(X=S^{1},\) where \(\Sigma_{g}\) is a closed surface of genus \(g\geq2.\) Let \(\Gamma_{g}=\pi_{1}(\Sigma_{g}).\) In the first theorem of the paper the rigidity of the geometric representations \(\Gamma_{g}\rightarrow \text{Homeo}_{+}(S^{1})\) is proven. This result is stated as follows: let \(g\geq2\), and let \(\rho\) be a geometric representation in \(\Hom(\Gamma_{g},\text{Homeo}_{+}(S^{1})).\) Then the connected component of \(\rho\) in \(\Hom(\Gamma_{g},\text{Homeo}_{+}(S^{1}))\) consists of a single semi-conjugacy class. A second interesting result of the paper is related with the study of rotation numbers of elements in the image of the representation \(\rho.\) For each \(\gamma\in\Gamma_{g}\) the mapping \(rot_{\gamma}:\Hom(\Gamma_{g},\text{Homeo}_{+} (S^{1}))\rightarrow\mathbb{R}/\mathbb{Z}\) is defined by \(rot_{\gamma} (\rho)=rot(\rho(\gamma)),\) where \(rot(\cdot)\) is the usually defined rotation number of orientation preserving homeomorphisms of \(S^{1}.\) Thus, the following strong form of rigidity is proven: let \(\gamma\in\Gamma_{g}\) and let \(X\subset \Hom(\Gamma_{g},\text{Homeo}_{+}(S^{1}))\) be a connected component containing a geometric representation. Then \(rot_{\gamma}\) is constant on \(X\).
    0 references
    representation
    0 references
    rigid
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references