Sunada theorem

Suppose a finite group $G$ acts by Riemannian isometries on a compact Riemannian manifold $M$, and Gassmann equivalent subgroups $H_1,H_2$ act freely. The quotient manifolds $H_i\backslash M$ have equal Laplace-Beltrami operator spectra. For an eigenfunction space $E$, the quotient multiplicity is $|H_i{|}^{-1}{\sum }_{h\in H_i}\mathrm{tr}(h|E)$, and the equality follows by summing its character of a representation over conjugacy classes. Nonconjugacy inside $G$ alone does not guarantee that the quotients are nonisometric.

For a finite subgroup $U$ of a group $T$ of Riemannian isometries of a closed manifold $N$, assume $U$ acts freely and define $I_t(g)={\int }_N{H}_N(t,x,gx)dV(x)$. Invariance of the Riemannian heat kernel and change of variables show that $I_t$ is a class function on $T$. For $U\le T$, the heat kernel on a finite isometric quotient and integration over a fundamental domain give the displayed heat trace formula. Grouping by conjugacy classes proves equality for Gassmann equivalent subgroups. More generally the same argument allows fixed points of $T$ outside the freely acting subgroups; only the quotient under consideration must be smooth.

A finite isometry group decomposes $L^2(N)$ into its irreducible representation factors $V_{\rho }$ and multiplicity Hilbert spaces ${\mathcal{H}}_{\rho }$. The Laplacian commutes with the group, so it acts as the identity on each representation factor. The averaging projection gives $\dim V_{\rho }^{U_i}=|U_i{|}^{-1}{\sum }_{u\in U_i}{\chi }_{\rho }(u)$. For Gassmann equivalent subgroups these dimensions agree. Choosing unitary identifications of the invariant finite-dimensional factors therefore intertwines the quotient Laplacians, even when a noncompact covering manifold has no finite heat trace.

Let two finite locally isometric covers carry uniquely length-identified primitive closed geodesics ${\alpha }_i,{\beta }_i$. If their geometric intersection numbers differ, the covering surfaces are not isometric, because an isometry preserves both lengths and intersections. For base simple curves intersecting once, lift components correspond to cycles of their monodromy permutations. Their intersection number is the number of sheets common to the two cycles. This distinguishes covers even when every individual permutation has the same cycle type in both actions, as in Gassmann equivalence.

In a finite hyperbolic covering, primitive lifts of a primitive closed geodesic correspond to cycles of its monodromy permutation; an $r$-cycle gives length $r\ell (\gamma )$. In a real-analytic family of compact hyperbolic surfaces or hyperbolic cone orbifolds, a prescribed multiple of a simple curve's length can be isolated generically from unrelated lifted lengths. To exclude an identity of length functions, pinch the simple curve: only its peripheral powers can have length tending to zero, while intersecting curves are long by the collar lemma. The countably many remaining length equalities have empty interior, so the Baire category theorem supplies a parameter avoiding them. Only finitely many closed geodesics lie below a fixed local length bound; thus the isolation persists in an open parameter neighbourhood. This makes cycle-intersection information an intrinsic obstruction to an isometry, rather than an invariant of a chosen covering map alone.

If two simple base geodesics meet once, their lift components correspond to the cycles $C,D$ of their monodromy permutations. A lifted crossing belongs to the sheet labels common to both cycles, giving the displayed geometric intersection count. When their relevant lifted lengths identify these components independently of the covering map, different multisets of intersection counts obstruct an isometry between the covering surfaces.

Take a hyperbolic torus with a single cone point of angle $2\pi /7$. Its orbifold fundamental group is $⟨a,d\mid [d,a{]}^7=1⟩$. An epimorphism to $\mathrm{PSL}(3,2)$ whose commutator has exact order $7$ has torsion-free kernel. The point and line stabilizers have index $7$ and order $24$, hence avoid all nontrivial cone stabilizers. Their quotient covers are smooth surfaces with Euler characteristic $7(-6/7)=-6$, so have genus $4$. Their equal coset permutation characters give equal heat traces by the Sunada theorem. Nonisometry still requires a geometric distinction, such as the intersection test for nonisometric finite covers.

A Lambert quadrilateral with acute angle $\pi /14$ and sides $x,y$ incident to the opposite right-angle vertex satisfies the displayed relation. Reflect four copies around that vertex to make a symmetric hyperbolic quadrilateral whose four corner angles are $\pi /14$. Identifying opposite sides yields a torus with one cone angle $2\pi /7$. The two central axis loops have lengths $2x,2y$ and meet once at right angles. Cutting along one loop gives a pair of pants with two equal geodesic boundaries and the cone point; reglue the boundaries with a Fenchel–Nielsen twist to obtain the two-parameter cone-torus family. Its seven-sheeted torsion-free covers have genus four.

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.

Write triangle-group generators as products $a=s_1{s}_2$, $b=s_2{s}_3$ of adjacent side reflections. Conjugation by $s_2$ 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.

For a finite isometric group action on a closed Riemannian surface, choose a disk in the free locus whose translates are disjoint. Modify the Riemannian metric there, and identically on its translates, by small supported changes with three distinguished high Gaussian curvature maxima. Give their heights distinct values occurring nowhere else, arrange them as a tight noncollinear cluster, and keep separate clusters far apart. Such markers can be made by local conformal bump functions controlling curvature and its derivatives. Every quotient isometry must send an entire labelled cluster to another. After identifying the marked disks with the original one, an isometry fixes its three noncollinear points and is therefore the identity locally. If $p_i:M\to U_i\backslash M$ are free finite quotients, any quotient isometry $F$ consequently makes $F\circ p_1=p_2\circ t$ on an open disk for some element $t$ of the original group. Two local isometries agreeing on an open set agree on the connected surface, by propagation along geodesics. The equality therefore holds globally and implies $t{U}_1{t}^{-1}\subseteq U_2$, hence equality for equal subgroup orders. Nonconjugate equal-order subgroups thus have nonisometric quotients for this marked invariant metric; constant curvature is not required.

Suppose a fixed pair of Gassmann equivalent finite covers of a compact two-dimensional orbifold has isometric limiting hyperbolic metrics. Choose nearby orbifold-smooth nowhere locally homogeneous metrics and rescale them to the displayed distinct areas. Scaling by a positive constant multiplies area by that constant in dimension two, preserves local rigidity, and preserves convergence when the constants tend to one. Sunada theorem supplies equal spectra within each pair. Local rigidity forces any quotient isometry to descend to the identity on the base; nonconjugate covering subgroups therefore exclude within-pair isometry. Distinct areas exclude all cross-pair isometries and spectra, because the leading heat trace coefficient is area divided by $4\pi t$. Fixed markings of the two isometric limiting covers give convergence to the same metric. The existence of those isometric limits is an additional geometric input, not a consequence of Gassmann equivalence alone.

Choose distinct odd primes and take products of the nonisomorphic Gassmann equivalent regular subgroups, selecting one of the two groups at each prime. Product conjugacy-class counts give $2^n$ Gassmann equivalent subgroups of the same finite product of symmetric groups. Their fundamental groups are distinguished by whether the unique Sylow subgroup at each chosen prime is abelian. The closed-manifold realization of a finitely presented fundamental group and Sunada theorem therefore produce $2^n$ pairwise nonhomeomorphic, and hence nonisometric, isospectral closed four-manifolds. Gassmann equivalence alone, without a topology distinction, does not imply nonhomeomorphism.