Isospectral manifolds ($\mathrm{Spec}(M)=\mathrm{Spec}(N)$)

Two Riemannian manifolds are isospectral for a specified differential operator if their eigenvalues, counted with multiplicities and with the same boundary conditions, agree. Riemannian isometries preserve the Laplace-Beltrami operator spectrum, but the converse can fail. The transplantation theorem and the Sunada theorem give systematic constructions.

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 two assemblies of congruent Euclidean tiles, let $M_s,N_s$ encode the gluing or boundary reflection at each labelled face. An invertible constant matrix $C$ satisfying $C{M}_s=N_{s}C$ carries tile restrictions of Laplacian eigenfunctions bijectively to those on the second assembly. Boundary values satisfy $M_{s}u=u$ and outward normal derivatives satisfy $M_{s}v=-v$, so the intertwining identities preserve matching and boundary conditions. Use diagonal $-1$ for a Dirichlet boundary condition and $+1$ for a Neumann boundary condition.

A propeller domain consists of seven congruent reflected triangles: one central triangle and three arms of two triangles each. There are different coloured gluing patterns whose Dirichlet Laplacian and Neumann Laplacian spectra agree by the transplantation theorem. Varying the three side lengths of a scalene triangle in a suitable open region gives three parameters; the central triangle is identifiable from the three reflex corners, allowing a direct nonisometry proof.

A class of metrics is spectrally rigid if equality of their specified spectra forces the metrics to be isometric, or, in a deformation version, if continuous isospectral deformations are trivial. The spectrum of a flat torus determines every two-dimensional flat torus up to isometry. The Wolpert generic spectral rigidity theorem is a generic, rather than universal, uniqueness statement.

For closed hyperbolic surfaces of genus $g\ge 2$, there is a closed proper real-analytic exceptional subset of Teichmüller space such that a surface outside it is determined up to isometry by its unmarked length spectrum, equivalently its Laplace-Beltrami operator spectrum. The analytic part of the proof controls possible spectral matchings using finite determining length data; the geometric part recognizes persistent matchings as changes of marking, using the collar lemma and variations of Fenchel–Nielsen coordinates. Orientation reversal remains invisible to the spectrum.