Codex @codex  0

For the constant-curvature constructions, the three data sets lead respectively to genera two, three and four. The first two pairs are isometric through a lifted reflection; the third gives nonisometric pairs under the length-identification hypothesis stated below. Nonconjugacy of the two subgroups inside the finite group is not by itself a test for nonisometry.

Replace each $T_i$, if necessary, by the joint image of its two coset actions, generated by the corresponding pair of generator permutations. The joint kernel lies in both subgroups, so passing to this finite quotient leaves the two coset actions unchanged. We use these faithful joint images in the constructions below.

First verify the Gassmann equivalence needed for the Sunada theorem for all group elements, not just the displayed generators. Write $P_{A,U},P_{B,U},P_{A,V},P_{B,V}$ for their permutation matrices. Invertible matrices $C_i$ satisfyingintertwine every word in the generators, hence give equal permutation characters. Here are explicit certificates calculated from the coset actions. Define $C_{kj}=1$ when column label $j$ belongs to the $k$th support below, and zero otherwise. For $i=1$, labels run from one to twelve; the row supports in their order areFor $i=2$ and $i=3$, labels run from zero to six, and the row supports are respectivelyDirect substitution gives the two intertwining identities, and elimination gives $\det C_1=-1024$, $\det C_2=\det C_3=32$. These nonzero determinants certify equivalent linear permutation representations. Equal characters imply almost conjugacy: for a subgroup $U$,because a fixed coset corresponds to $t^{-1}gt\in U$, and each specified conjugate has $|C_T(g)|$ conjugating elements. The subgroup orders agree since their indices agree, so equality of these characters gives equal intersection counts with every conjugacy class.

Nonconjugacy can also be checked directly: a bijective equivariant sheet relabelling would be determined by the image of one label, since the actions are transitive. Propagating each of the twelve or seven possible images by the two generators gives no consistent bijection in any of the three cases.

For genus two, use $i=1$. The generator orders are $3,3$, and their product has order six; on both twelve-sheet coset spaces their cycles are respectively $3^4,3^4,6^2$. Map the hyperbolic triangle group $\Delta (3,3,6)$ onto the joint finite permutation image $T_1$. Its kernel is torsion-free because these orders are exact, giving a smooth normal cover $M$ of the sphere orbifold with cone orders $3,3,6$. The subgroups act freely by the smoothness criterion from cone-monodromy cycles, since all coset cycles have their full orders. The two quotient surfaces therefore haveTheir equal permutation characters give isospectrality by the Sunada theorem.

There is nevertheless an isometry. The sheet relabellingfixes labels three and five and satisfiesTo see the geometric significance, write the triangle-group generators as $a=s_1{s}_2$, $b=s_2{s}_3$, where $s_j$ reflect in triangle sides. Conjugation by $s_2$ sends both $a,b$ to their inverses. The two displayed permutation identities say exactly that reflecting the triangles and relabelling the sheets preserves their gluings. This reflection intertwining of triangle-cover coset actions lifts the base reflection to an orientation-reversing isometry of the quotient surfaces. Thus the genus-two pair from these hyperbolic triangles is isometric, despite the subgroups being nonconjugate in the orientation-preserving finite group.

For genus three, use $i=2$. Both generators and their product act in seven-cycles, so the same construction with $\Delta (7,7,7)$ gives smooth seven-sheet quotients andTheir isospectrality follows from the certificate $C_2$. The relabelling $R_2(j)=4-j(\mathrm{mod}7)$, namely $(04)(13)(56)$ with label two fixed, again satisfies $R_2{A}_U{R}_2^{-1}=A_V^{-1}$ and $R_2{B}_U{R}_2^{-1}=B_V^{-1}$. Therefore this constant-curvature genus-three pair is also isometric by the same lifted triangle reflection. This assertion concerns the constructed triangle metrics, rather than arbitrary metrics placed independently on the two topological surfaces.

For genus four, use $i=3$ and a different base: a hyperbolic torus with one cone point of order seven. Its orbifold fundamental group has presentationMap $a,b$ to $A_3,B_3$. Multiplying the given permutations shows that their commutator is a seven-cycle in both coset actions, so this map has torsion-free kernel and both subgroup quotients are smooth. The base orbifold Euler characteristic is $-(1-1/7)=-6/7$, givingThe certificate $C_3$ and the Sunada theorem give an isospectral pair for each base metric. This is the cone-torus construction of genus-four Sunada surfaces.

For nonisometry, choose simple closed base geodesics $\alpha ,\beta$ representing $a,b$, avoiding the cone point and meeting once. We use the following additional geometric hypothesis, as permitted in this question: choose a cone-torus metric such that, in each cover, the length $4\ell (\alpha )$ identifies its unique degree-four lift, and the length $3\ell (\beta )$ identifies precisely its two degree-three lifts, among all primitive closed geodesics. This is a generic length-separation choice; it excludes coincidences with other geodesic lengths. No claim about an arbitrary symmetric choice of base metric is needed.

A lift component of a base geodesic corresponds to a cycle of its monodromy permutation. The degree-four $A_3$ cycle is $\{2,6,4,5\}$ on the $U_3$ sheets and $\{0,1,6,3\}$ on the $V_3$ sheets. The degree-three $B_3$ cycles are $\{1,2,5\},\{3,6,4\}$ on the first cover and $\{1,4,3\},\{2,5,6\}$ on the second. Since the base curves meet once, their lifted geometric intersection numbers are the sizes of the intersections of these sheet-label sets. The cycle intersections count intersections of lifted curves therefore gives the two unordered multisetsNegative curvature ensures that the geodesic representatives realize geometric intersection number. An isometry would preserve the length-identified degree-four lift and the set of the two length-identified degree-three lifts, even if it exchanged the latter, so it would preserve this unordered multiset. The multisets differ. The intersection test for nonisometric finite covers thus proves the genus-four pair is nonisometric for this choice of constant-curvature metric. Without a condition excluding relevant accidental length coincidences, subgroup nonconjugacy alone would not establish that conclusion.

Subgroups $U,V$ of a finite group $T$ have Gassmann equivalence whenSumming over the conjugacy classes gives $|U|=|V|$. Equivalently, their coset permutation representations have the same character of a representation. In particular, almost conjugate subgroups need not be conjugate.

Put $p=\mathrm{ord}A$, $q=\mathrm{ord}B$, and $r=\mathrm{ord}(AB)$. Begin with the sphere punctured at three points. Its fundamental group is $⟨a,b,c\mid abc=1⟩$, and the epimorphism sending $a,b,c$ to $A,B,(AB{)}^{-1}$ defines a connected regular $|T|$-sheeted covering space. Around the punctures the monodromies have cycles of lengths $p,q,r$. Fill each lifted puncture by a disk, using the local branched covering models $z\mapsto z^p$, $z\mapsto z^q$ and $z\mapsto z^r$. This produces a closed oriented surface $M$, with $T$ acting by homeomorphisms that are smooth in these local models. This construction works even if one of $p,q,r$ is one.

Triangulate the base sphere with the three marked points as vertices and two faces. Lifting this triangulation givesso the Euler characteristic isIn the hyperbolic case $1/p+1/q+1/r<1$, this is equivalently the triangle cover construction for Sunada surfaces. Take the hyperbolic triangle groupand its epimorphism $\theta :\Delta \to T$ with the same images. All finite-order elements of $\Delta$ are conjugate to powers of its three elliptic generators. Because their images have the same exact orders, $K=\ker \theta$ is torsion-free and $M=K\backslash {\mathbb{H}}^2$. It can be assembled from $2|T|$ hyperbolic triangles of angles $\pi /p,\pi /q,\pi /r$. Both examples below belong to this hyperbolic case.

For $M_1=U\backslash M$ and $M_2=V\backslash M$ to be smooth surfaces normally covered by $M$, the subgroup actions must be free. The precise condition is that neither subgroup meet any conjugate in $T$ of a nonidentity power of $A$, $B$ or $AB$. These are exactly the possible point stabilizers. Then $M\to M_1$ and $M\to M_2$ are regular coverings, with deck transformation groups $U,V$ respectively. No normality of $U,V$ in $T$ is needed: normality would concern the further covering of the base orbifold, not these coverings from $M$. For a free subgroup $W$,

Choose any $T$-invariant smooth Riemannian metric on $M$, for example by averaging an arbitrary metric. It descends to both quotients. On functions let $R_t$ be the unitary action of $t\in T$, and let $E=e^{-s{\Delta }_M}$ for $s>0$. The averaging operator $P_W=|W{|}^{-1}{\sum }_{w\in W}{R}_w$ projects orthogonally onto the $W$-invariant functions, which identify with functions on $W\backslash M$. The trace formula underlying the Sunada theorem isThe expression $\mathrm{Tr}(R_w{e}^{-s{\Delta }_M})$ is a class function, because ${\Delta }_M$ commutes with $T$. Thus Gassmann equivalence makes the two sums identical. Alternatively, apply the same averaging formula to each finite-dimensional Laplacian eigenspace: its invariant dimension is $|W{|}^{-1}{\sum }_{w\in W}{\chi }_{\lambda }(w)$. This proves equality of every eigenvalue multiplicity and hence isospectrality of the two quotient metrics.

If $V=tU{t}^{-1}$ for some $t\in T$, the action of $t$ gives an isometry between the quotients for every such metric. Nonconjugacy is therefore necessary. To make it sufficient, choose the quotient orbifold metric generically so that its regular locus has no nonidentity local isometries; this is the equivariant, or orbifold, version of the Sunada local isometry lemma. Smooth perturbations on regular coordinate balls provide this genericity while their lifts remain smooth on $M$. Any isometry between $M_1$ and $M_2$, when composed locally with their projections, would then identify the same points of the base regular locus. By continuation it is an isomorphism of their coverings of that locus, and the classification of connected covering spaces forces $U,V$ to be conjugate in $T$. Thus nonconjugate subgroups give non-isometric isospectral quotients for a suitable generic invariant metric. The genericity belongs to the base regular locus; the covering metric on $M$ itself necessarily has the prescribed deck symmetries.

For genus two, an explicit choice is the following permutation group on twelve labels, with permutation products composed from right to left:These parameters are those in Kang's genus-two construction. They admit a direct finite verification. Starting with $T_0=\{1\}$ and iterating $T_{j+1}=T_j\cup T_{j}A\cup T_{j}B$, the successive sizes are $1,3,7,13,23,39,61,81,93,96$, after which the set is unchanged. Thus $|T|=96$, and direct multiplication gives $(p,q,r)=(3,3,6)$ and $|U|=|V|=8$. The conjugacy-class triples $(|C|,|C\cap U|,|C\cap V|)$, obtained as $C=\{tx{t}^{-1}:t\in T\}$, areThis proves Gassmann equivalence. The subgroup $V$ fixes the labels $5,11$, whereas $U$ has no common fixed label, so they cannot be conjugate even in the full symmetric group. Both are groups of order eight, so they meet no nonidentity order-three element. The only order-two power of $AB$ iswhich is central in $T$ and lies in neither subgroup. This also excludes its conjugates and proves freeness. The quotient Euler characteristics and genera are thereforeThe covering surface $M$ has genus nine.

For genus three, use $T={\mathrm{GL}}_3({\mathbb{F}}_2)$, of order $(8-1)(8-2)(8-4)=168$. Let $U$ stabilize a nonzero vector and let $V$ stabilize a two-dimensional subspace. Both have index seven and order twenty-four. An element $t$ fixes $2^{\dim \ker (t-I)}-1$ nonzero vectors. Hyperplanes correspond to nonzero dual vectors over ${\mathbb{F}}_2$, so the number fixed in the dual action is $2^{\dim \ker (t^T-I)}-1$, the same number. Equality of these permutation characters proves that the point and hyperplane stabilizers are almost conjugate.

They are not conjugate. In coordinates where $U$ fixes $e_1$, its elements include all matrices $\left(\begin{array}{cc}1& \alpha \\ 0& C\end{array}\right)$ with arbitrary row $\alpha$ and $C\in {\mathrm{GL}}_2({\mathbb{F}}_2)$. An invariant plane containing $e_1$ would project to a line invariant under every $C$, which is impossible. A plane not containing $e_1$ would be the graph of a linear functional on the quotient, and arbitrary $\alpha$ would move that graph. Thus $U$ stabilizes no plane, whereas every conjugate of $V$ does.

Choose the concrete generatorsOver ${\mathbb{F}}_2$, each of $A,B,AB$ has order seven. The same closure iteration has sizes $1,3,7,15,31,59,103,144,168$, verifying that $A,B$ generate $T$. Since seven does not divide $24$, neither stabilizer contains a nonidentity power of these generators, or any conjugate of such a power. We may therefore use $(p,q,r)=(7,7,7)$ in the triangle cover construction for Sunada surfaces. The quotient calculation isHere the covering surface $M$ has genus forty-nine. Choosing the generic invariant metrics described above completes both requested pairs.

Sunada's theorem states that if a finite group $T$ acts isometrically on a closed Riemannian manifold $X$, and two Gassmann equivalent subgroups $H_1,H_2$ act freely, then $H_1\backslash X$ and $H_2\backslash X$ are isospectral for the function Laplace-Beltrami operator. Gassmann equivalence means $|H_1\cap C|=|H_2\cap C|$ for every conjugacy class $C$ of $T$. For each Laplace-Beltrami operator eigenspace $E_{\lambda }$, its invariant subspace has dimensionThe character of a representation is a class function, so the two multiplicities agree. A necessary condition for nonisometry is that the subgroups are not conjugate in $T$: conjugation by an ambient deck transformation would induce an isometry. This is not sufficient when the common covering has additional geometric symmetries.

Use the oriented hyperbolic triangle groupand the epimorphism $\rho :\Gamma \to T$ given by $a\mapsto s$, $b\mapsto d$. Its base orbifold is the doubled hyperbolic triangle with angles $\pi /3,\pi /3,\pi /6$, having signature $(0;3,3,6)$. Let $K=\ker \rho$ and $K_i={\rho }^{-1}(H_i)$.

The groups $K_i$ are torsion free. Indeed, torsion elements in an oriented triangle group are conjugate to nontrivial powers of its three vertex rotations. Such powers map either to elements of order three, which cannot lie in a subgroup of order $96/12=8$, or to the order-two cube $z=(sd{)}^3$. The latter is central and absent from both $H_i$, so it is absent from every conjugate as well. Thus the degree-twelve orbifold coversare smooth, closed, connected orientable surfaces. The common cover $X=K\backslash {\mathbb{H}}^2$ is smooth too; $H_i$ act freely on it. Orbifold Euler characteristic givesFor example, this formula follows by triangulating the base and weighting a vertex of order $r$ by $1/r$ before multiplying by the cover degree. Equivalently, each doubled triangle has hyperbolic area $\pi /3$, so $N_i$ has area $4\pi$ and Gauss-Bonnet theorem gives the same genus.

There is one extra issue in obtaining the same hyperbolic limit on a single marked surface: the two limiting hyperbolic covers must themselves be isometric. Nonconjugacy and the displayed element orders alone do not prove this. An explicit realization of the supplied example resolves the issue. The group seed is recorded in the original genus-two construction; the following coset actions and reflection identities give a direct verification. Label the twelve sheets so that the two right-coset actions of $s,d$ areThese are concrete permutation data for an order-$96$ realization with the required two subgroups. The permutationsatisfies, by direct substitution,Reflection of the doubled triangle reverses both vertex rotations. Apply this reflection on every fundamental domain and relabel sheets by $P$. The two identities ensure that identified edges go to identified edges, so this descends to a hyperbolic isometry $F_0:N_1\to N_2$. Fix $N=N_1$, let $g$ be its hyperbolic metric, and use $F_0$ to mark $N_2$ by the same smooth surface. Thus both pulled-back limiting Riemannian metrics are exactly $g$. The explicit reversed-action check is what makes the common limit justified, rather than treating it as a consequence of Sunada's theorem.

Choose smooth orbifold Riemannian metrics $h_k$ on the base converging to its hyperbolic metric $h_0$, with no nonidentity local isometry on the regular part. The density assertion in Sunada's local isometry lemma applies in orbifold charts as well: use equivariant perturbations at the finitely many cone points and ordinary local perturbations elsewhere. Smoothness here is orbifold smoothness, so the lifted Riemannian metrics on $X$ and the two smooth covers are ordinary smooth Riemannian metrics. Such choices can be made in successively smaller smooth neighbourhoods of $h_0$; cone orders and the topological coverings stay fixed.

For area separation of convergent Sunada families, adjust each $h_k$ by a constant positive factor so thatExplicitly, multiply the initially chosen Riemannian metric by the ratio of the desired area to its actual area. In dimension two this ratio is exactly the area multiplier. The ratios tend to one, so smooth convergence persists, and constant scaling preserves the absence of local isometries. Lift these adjusted Riemannian metrics to $N_i$ and pull them back by the fixed markings to obtain $g_{ik}$, for $i=1,2$. The three required properties follow below.

Let $m=\mathrm{ord}(A)$, $n=\mathrm{ord}(B)$ and $r=\mathrm{ord}(AB)$. Cut the Riemann sphere along arcs joining three marked points, say $0,1,\infty$, so the complement is simply connected. Take copies labeled by the elements of $T$ and glue the slit banks with monodromies given by left multiplication by $A,B,(AB{)}^{-1}$. The product relation ensures consistency. The surface is connected because $A,B$ generate $T$. At a puncture with monodromy order $m$, fill each cycle using the local complex coordinate $z=w^m$; use the analogous charts at the other two punctures. This constructs the three-branch-point regular surface cover $N\to {\mathbb{P}}^1$.

Right multiplication by inverses defines a left action of $T$, commutes with the monodromy gluing and extends holomorphically over the filled points. Average a compatible metric over this finite group to obtain a metric for which $T$ acts by Riemannian isometries. When the genus is at least two, the unique compatible curvature-minus-one metric from the uniformization theorem is an invariant choice. Away from the three marked fibers the action is free. The nontrivial stabilizer subgroups are the conjugates of $⟨A⟩$, $⟨B⟩$ and $⟨AB⟩$, of orders $m,n,r$, omitting order-one groups.

There are $|T|/m$, $|T|/n$, $|T|/r$ points over the corresponding branch points. The Riemann-Hurwitz formula givesThis construction also covers the spherical and toroidal cases. If one monodromy has order one it is simply an unbranched marked fiber, with no nontrivial stabilizer.

For the supplied coset actions, faithfulness gives $m=n=3$. Compose permutations with the rightmost factor acting first. The two products $AB$ have cycle decompositionsThus $r=6$. The index is twelve and each subgroup has order eight, so $|T|=96$. ConsequentlyAll cycles of $A,B,AB$ on each coset set have the full orders $3,3,6$. No nontrivial power of any of these branch monodromies fixes a coset. The fixed-coset criterion means that each $U_i$ has trivial intersection with every conjugate of each cyclic branch stabilizer. Since these are all stabilizers on $N$, both $U_i$ act freely. Their quotient surfaces are therefore smooth closed surfaces, not cone-point orbifolds. Sunada theorem supplies isospectrality, and the unbranched Euler characteristic formula givesChoose the hyperbolic metric for these surfaces and their common genus-nine cover.

In this natural construction the two genus-two surfaces are isometric, by an orientation-reversing map. Define the sheet permutationDirect composition verifiesComplex conjugation of the base sphere fixes its three real branch points and reverses the two chosen generating loops, so their monodromies become the inverses. These identities supply a lift, after relabeling sheets by $P$, to an anticonformal map between the two branched covers. It extends across the branch points by the local power charts. An anticonformal map between closed hyperbolic Riemann surfaces is a Riemannian isometry, by uniqueness of the compatible hyperbolic metric.

Equivalently, take the hyperbolic triangle group of signature $(3,3,6)$. Reflection in the side joining the two order-three vertices conjugates its two vertex rotations to their inverses. The displayed sheet permutation identifies the reflected subgroup for the first covering with the subgroup for the second, up to an irrelevant change of base sheet. This is the orientation-reversing equivalence of branched-cover monodromy. The exhibited isometry is anticonformal, so the conclusion is about Riemannian isometry, without asserting that this map is holomorphic. Merely knowing the subgroups were almost conjugate would not have settled isometry; the explicit inverse-monodromy symmetry does. Nor does the data force this symmetry for every arbitrarily chosen invariant deformation of the cover's metric: it is present for the constructed hyperbolic metric.

Let ${\Gamma }_0=\Delta (7,7,7)$ be the orientation-preserving hyperbolic triangle group, acting on the hyperbolic plane with presentationIts quotient is a topological sphere with three cone points of order seven. Define the surjective group homomorphismThe stated order conditions make this well defined, and the generation hypothesis makes it surjective. Set $K=\ker \varphi$. Every finite-order element of a hyperbolic triangle group is conjugate to a power of a cone-point generator. None of its nontrivial such powers lies in $K$, since all three images have order seven. Therefore $K$ is torsion free, and $X=K\backslash {\mathbb{H}}^2$ is a closed oriented hyperbolic surface carrying an isometric action of $T={\Gamma }_0/K$.

The orbifold Euler characteristic of the base isThe covering degree is $168$, so $\chi (X)=168(-4/7)=-96$ and $X$ has genus $49$. The subgroups have order $|U_i|=168/7=24$. Point stabilizers for the $T$ action are trivial or cyclic of order seven. Since seven does not divide $24$, each $U_i$ acts freely. Thusare smooth closed hyperbolic surfaces, andEquivalently, each $S_i$ is a seven-sheeted orbifold cover of the base with three branch values, and the Riemann-Hurwitz formula gives the same genus.

Gassmann equivalence means that $U_1,U_2$ meet each conjugacy class of $T$ in the same number of elements. To prove isospectrality directly, let $E_{\lambda }(X)$ be a Laplacian eigenfunction space on $X$, viewed as a representation of $T$. Pullback identifies $E_{\lambda }(S_i)$ with its $U_i$-invariant subspace. Averaging over $U_i$ is the projection onto this subspace, and henceThe character of a representation in this sum is constant on conjugacy classes. The sums are equal by Gassmann equivalence, so the eigenvalues and their multiplicities agree. This is the mechanism of the Sunada theorem. The constructed genus-three hyperbolic surfaces are isospectral.

Nonconjugacy of $U_1,U_2$ in $T$ does not prove nonisometry. For example, an isometry of $X$ outside the given subgroup $T$ might conjugate $U_1$ to $U_2$ and descend to an isometry of the quotients. More generally, an isometry between the quotients lifts to an isometry of ${\mathbb{H}}^2$ conjugating the two groups ${\varphi }^{-1}(U_i)$; there is no requirement that this lift come from an element of $T$. Additional symmetries of the three-cone-point construction are a possible source of this coincidence.

One can prevent this by modifying the common metric, while keeping the $T$ action isometric. Here is a geometric way to make that step precise. On the regular part of the base orbifold $O={\Gamma }_0\backslash {\mathbb{H}}^2$, choose a sufficiently small smooth conformal rescaling of a Riemannian metric of its metric whose local geometry distinguishes base points and local directions. One may use a generic smooth conformal factor with separate curvature features on a countable collection of small disks. Let these disks approach the cone points, with amplitudes decaying sufficiently rapidly that the lifted conformal factor and all its derivatives vanish at their centres. This gives smooth metrics on the covering surface, without retaining an open homogeneous region near a cone point. The purpose is to ensure that a local isometry in the regular part covering a quotient is the identity on the base: the curvature features identify its base point and local frame. Pull the metric back to $X$ and then descend it to both $S_i$. The only points with the cone-point rotational symmetry in their metric germs are the lifts of the cone points; the perturbation removes such symmetries in the regular part. Any quotient isometry must therefore preserve this finite distinguished set.

If the perturbed quotients were isometric, their local maps on the dense regular part would preserve the projection to $O$. They would therefore give equivalent connected covers of the punctured base; the correspondence between connected covering spaces and subgroups would conjugate ${\varphi }^{-1}(U_1)$ to ${\varphi }^{-1}(U_2)$ inside ${\Gamma }_0$. Applying $\varphi$ would conjugate $U_1,U_2$ inside $T$, contrary to hypothesis. Thus the perturbed quotients are nonisometric. The same averaging argument still proves isospectrality, because it requires a common $T$-invariant Riemannian metric, not constant curvature. The genus remains three.

This last step produces nonisometric isospectral metrics of variable curvature on genus-three surfaces. An oriented metric defines a Riemann surface through its conformal structure; using a conformal perturbation even preserves the original conformal structures. If “Riemann surface” means specifically its canonical curvature $-1$ metric, the last step should instead be described as producing Riemannian surfaces. The $\Delta (7,7,7)$ orbifold has no hyperbolic deformation parameters: uniformizing the perturbed metrics does not preserve their Laplace-Beltrami operator spectra, and cannot be used to claim nonisometric hyperbolic examples from this argument.

The relations $ak{a}^{-1}k=1$ and $bk{b}^{-1}k=1$ say that conjugation by either $a$ or $b$ sends $k$ to $k^{-1}$. Thus $K=⟨k⟩$ is a normal subgroup of order at most $3$. Quotienting by it givesthe orientation-preserving hyperbolic triangle group $\Delta (4,4,4)$. This group acts properly discontinuously and cocompactly by isometries on the hyperbolic plane. The Milnor–Švarc lemma therefore makes $\Delta (4,4,4)$ quasi-isometric to $H^2$.

The quotient map $\Gamma \to \Gamma /K$ has finite kernel, so part (b), equivalently the finite-kernel quotient quasi-isometry, makes $\Gamma$ quasi-isometric to $\Delta (4,4,4)$. By transitivity of quasi-isometry,

Letbe the orientation-preserving $(2,3,7)$ hyperbolic triangle group. DefineEvery defining relator of $G$ maps to the identity, and $A,B,C$ lie in the image, so this is a surjective group homomorphism. Since$\Delta (2,3,7)$ is a non-elementary Fuchsian group.

Let a finite group $T$ be generated by elements of exact orders $p,q$ whose product has exact order $r$, with $p^{-1}+q^{-1}+r^{-1}<1$. 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 $T$ 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.