Let a finite group be generated by elements of exact orders whose product has exact order , with . The epimorphism from the hyperbolic triangle group sending its generators to these elements has torsion-free kernel. Its quotient of the hyperbolic plane is a closed surface with a action. A subgroup acts freely precisely when it meets no conjugate of a nonidentity power of the three elliptic generators. Free almost conjugate subgroups give isospectral manifolds by the Sunada theorem.
Write triangle-group generators as products , of adjacent side reflections. Conjugation by sends both to their inverses. A sheet relabelling satisfying the displayed two permutation identities therefore lifts this base reflection to an orientation-reversing isometry between the two hyperbolic covers. Thus nonconjugate subgroups in the orientation-preserving finite group can still give isometric covers.
Articles by others on the same topic
There are currently no matching articles.