Analytic families of homomorphisms into \(\mathrm{PSL}(2,\mathbb{C})\) (Q977083): Difference between revisions

Given a domain \(T \subset \mathbb{C}\) and a countable group \(G\), a family of representations \(h_t : G \rightarrow PSL(2, \mathbb{C})\), \(t \in T\), is called analytic if for all \(x \in G\), \(h_t(x)\) is analytic in \(t\). A point \(s \in T\) is called singular if there is an \(x \in X\) so that \(s \) is the unique point in \(T\) such that \(h_s(x)\) is the identity element. The group \(G\) can be decomposed into \(G'\) and \(G''\), where \(G'\) is given by the set of \(x \in G\) so that \(h_t(x)\) is loxodromic for some \(t \in T\). Given \(x \in G'\), define \(S(x) \subset T\) to be the set of \(t \in T\) such that the square of the trace of \(h_t(x)\) lies in \([0, 4]\). The singular set \(S\) is given by the union of \(S(x)\) over all \(x \in G'\). The main theorem is that the singular set \(S\) is a union of countably many analytic arcs, and that the critical values are dense in \(S\). If \(\Gamma_t = h_t(G)\) is non-elementary for some \(t\), all the critical values lie in \(S\).