= Solution
The central problem of <spectral geometry> is how much of a <Riemannian metric> is determined by the <eigenvalues>, with <multiplicities>, of its <Laplace-Beltrami operator>. For a membrane with fixed <boundary>, the squared vibration frequencies are proportional to the <Dirichlet eigenvalues>. Kac's https://www.math.ucdavis.edu/~saito/courses/ACHA.READ.F03/kac-drum.pdf[1966 paper] brought this inverse problem into focus: the full sequence of frequencies might encode a domain's shape, but recovering a few geometric quantities is much weaker than recovering an <isometry> class.
The first major line of development extracts geometric information from spectral sums. On a smooth <closed> $d$-dimensional <manifold>, the <heat trace> has the short-time expansion
$$
Z(t)=\sum_j e^{-t\lambda_j}\sim(4\pi t)^{-d/2}\left(\operatorname{Vol}(M)+\frac t6\int_M R\,dV+\cdots\right),
$$
where $\lambda_j$ are the nonnegative <eigenvalues> of $P=-\Delta$ and $R$ is <scalar curvature>. The coefficients are <heat invariants>, formed by integrating local curvature expressions. They recover dimension, <Riemannian volume> and total <scalar curvature>. For smooth planar domains with the <Dirichlet boundary condition>,
$$
Z(t)=\frac{\operatorname{Area}(\Omega)}{4\pi t}-\frac{\operatorname{Length}(\partial\Omega)}{8\sqrt{\pi t}}+O(1).
$$
Thus <area> and <boundary> length are audible. The constant term also contains topological information through <Gauss-Bonnet theorem>, with corner corrections when the <boundary> is polygonal. The <Weyl law> is the corresponding leading eigenvalue-counting result. Neither the leading term nor the whole list of local heat coefficients automatically reconstructs global geometry.
In the 1970s, the <wave trace> introduced a complementary link with global <closed geodesics>. The <distribution>
$$
W(t)=\sum_j e^{it\sqrt{\lambda_j}}
$$
is spectral, while its singularities are governed by periodic <geodesic> motion. The https://link.springer.com/article/10.1007/BF01405172[1975 Duistermaat-Guillemin work] made this relationship precise. Its <trace> formula places singularities at <geodesic> lengths and computes their coefficients under suitable clean or nondegenerate hypotheses. When a coefficient is nonzero, the corresponding length is audible. Possible cancellation must be addressed before identifying the entire <length spectrum> with the singular support. This approach led to <spectral rigidity> questions, rather than just the recovery of integral curvature quantities.
The second main line constructs counterexamples to metric determination. A precedent was the https://doi.org/10.1073/pnas.51.4.542[1964 flat-torus example]: different sixteen-dimensional <Euclidean lattices> could give the same <Laplacian eigenvalues>. Subsequent lattice constructions lowered the dimension; https://academic.oup.com/imrn/article-abstract/1992/4/93/660616[Conway and Sloane's 1992 work] exhibited four-dimensional <Euclidean lattices> with matching <lattice theta series>. For a <flat torus> $\mathbb R^d/\Lambda$, the spectrum is the multiset $4\pi^2|\xi|^2$ for $\xi\in\Lambda^*$, so equality of <lattice theta series> of the <dual lattices> gives <isospectrality> even when the <Euclidean lattices> are not related by an <orthogonal transformation>.
A systematic geometric construction arrived with the https://annals.math.princeton.edu/1985/121-1/p04[Sunada theorem in 1985]. For a common Riemannian cover with finite <isometry> <group> $T$, <almost conjugate subgroups> have the same number of invariant vectors in each <Laplacian> <eigenspace>. Their freely acting quotients are therefore <isospectral manifolds>. This reduces an analytic equality to a finite-group representation identity. It produces many examples on surfaces and in higher dimensions, but nonconjugacy of the <subgroups> must be supplemented by an argument excluding extra quotient <isometries>. <Transplantation theorem> provides an explicit version: piecewise <eigenfunctions> are recombined by a fixed invertible linear transformation that respects the gluing and <boundary conditions>.
The planar problem itself was answered negatively by https://arxiv.org/abs/math/9207215[Gordon, Webb and Wolpert in 1992]: noncongruent simply connected polygonal plane domains have equal Dirichlet spectra. This is stronger than counterexamples among abstract <manifolds> or <flat tori>, since these are genuine two-dimensional planar membranes. It does not settle every restricted version, such as asking for two domains within a specified smooth or convex class.
By the 1990s, <isospectrality> was also known to coexist with continuous metric variation and changes in local geometry. For example, https://arxiv.org/abs/dg-ga/9710004[a 1997 construction] gives continuous isospectral families on products of spheres and <tori> whose members need not be locally <isometric>; in some examples the maximum <scalar curvature> changes. Conversely, rigidity and <compactness> results show that an isospectral class is not unrestricted. The https://doi.org/10.1016/0022-1236(88)90071-7[1988 surface compactness theorem] makes fixed-spectrum sets of <closed> orientable surface metrics <compact> modulo <diffeomorphisms>. <Compactness> does not mean there is only one metric, or even finitely many metrics. By 2005, the subject therefore combined local <heat invariants>, global <geodesic> information, group-theoretic constructions, explicit <transplantation> and geometric rigidity. \b[The spectrum determines substantial geometry, while generally failing to determine the full metric.]
Back to article page
