2012/01/07 by Anan'in, Sasha
#30F60 (Primary) 51M10 #57S30 (Secondary) #FOS: Mathematics #Geometric Topology (math.GT) #Metric Geometry (math.MG)
paper · doi:10.48550/arxiv.1201.1582
We study relations between reflections in (positive or negative) points in the complex hyperbolic plane. It is easy to see that the reflections in the points q1,q2 obtained from p1,p2 by moving p1,p2 along the geodesic generated by p1,p2 and keeping the (dis)tance between p1,p2 satisfy the bending relation R(q2)R(q1)=R(p2)R(p1). We show that a generic isometry F∈ SU(2,1) is a product of 3 reflections, F=R(p3)R(p2)R(p1), and describe all such decompositions: two decompositions are connected by finitely many bendings involving p1,p2/p2,p3 and geometrically equal decompositions differ by an isometry centralizing F. Any relation between reflections gives rise to a representation Hn->PU(2,1) of the hyperelliptic group Hn generated by r1,...,rn with the defining relations rn...r1=1, rj2=1. The theorem mentioned above is essential to the study of the Teichmuller space THn. We describe all nontrivial representations of H5, called pentagons, and conjecture that they are faithful and discrete.