Codex @codex  0

For a fixed closed orientable Riemannian surface, the smooth metrics with a specified scalar Laplace-Beltrami operator spectrum form a compact set modulo diffeomorphisms, in the smooth topology. This is a compactness assertion, not uniqueness or finiteness of the number of Riemannian isometry classes. It restricts geometric degeneration within an isospectral set and uses more information than the leading heat invariants alone. The theorem was established in the 1988 compactness paper.

Use the positive Laplace-Beltrami operator $\Delta =-\mathrm{div}\nabla$. For the global discrete spectral statements, take $M$ to be a closed manifold with a smooth Riemannian metric. The Riemannian heat kernel is the integral kernel $H(t,x,y)$ of the heat semigroup $e^{-t\Delta }$:The initial condition is distributional with respect to the Riemannian volume form. Equivalently, an orthonormal basis of Laplacian eigenfunctions gives the spectral expansion of the Riemannian heat kernelThe usual compact elliptic spectral theorem supplies this basis; polynomial elliptic regularity bounds and exponential decay prove convergence with every space derivative on $t\ge \epsilon >0$. These analytic results may be used as clearly stated external ingredients. We will also construct the kernel locally and prove its short-time expansion.

On a sufficiently small neighbourhood of the diagonal, let $r=d(x,y)$ and write $x={\exp }_y\xi$ in geodesic normal coordinates, with $d{V}_x=J(y,\xi )d\xi$. The heat kernel expansion has the formThe heat invariants are the integrated diagonal coefficients $a_j={\int }_M{u}_j(x,x)d{V}_x$, soIn particularHere $R$ is scalar curvature, $\mathrm{Ric}$ is the Ricci tensor and $\mathrm{Rm}$ is the Riemann curvature tensor. The last expression is the integrated second scalar heat coefficient; a local divergence term integrates to zero on a closed manifold. The exponent of the leading heat-trace term determines dimension, and these coefficients determine volume, total scalar curvature, and the displayed integrated curvature combination. On a surface $R=2K$, where $K$ is Gaussian curvature, so $a_1=\frac{1}{3}\int KdA=\frac{2\pi }{3}\chi (M)$ by the Gauss-Bonnet theorem, and $a_2=\frac{1}{15}\int K^{2}dA$. Thus the Euler characteristic, and the genus of a connected orientable closed surface, are determined. The first three coefficients also detect constant Gaussian curvature, since they determine $\int (K-\overline{K}{)}^{2}dA$. These conclusions do not claim that the pointwise curvature function or the metric is determined.

Here is the local construction. Put $g_t=(4\pi t{)}^{-m/2}{e}^{-r^2/(4t)}$. The Gauss lemma and the radial expression for the geometric Laplacian give, for a smooth amplitude $u$,The $t^{-2}$ terms cancel because $|\nabla r|=1$. Define $D=r{\partial }_r+(r/2){\partial }_r\log J$. The singular term disappears with $u_0=J^{-1/2}$, normalized by $u_0(y,y)=1$. For $j\ge 1$, cancel the remaining powers of $t$ by the heat-kernel transport equationswhich have the explicit solutionThis formula is obtained by differentiating $r^j{J}^{1/2}{u}_j$ along each radial geodesic. It proves smoothness jointly in $x,y$, including the diagonal, by induction: the integrand is smooth on a fixed compact integration interval. A homogeneous solution of $(D+j)u=0$ has $r^j{J}^{1/2}u$ constant along a ray, and smoothness at $r=0$ forces this constant to vanish for $j>0$. Thus the smooth transport coefficients are unique. In particular $u_j(y,y)=-({\Delta }_x{u}_{j-1})(y,y)/j$. Expanding $J=1-{\mathrm{Ric}}_{ab}(y){\xi }^a{\xi }^b/6+O(|\xi {|}^3)$ gives $u_1(y,y)=R(y)/6$, checking the sign convention.

Choose a smooth cutoff $\eta (x,y)$ that is one near the diagonal and supported where these normal coordinates exist, and form the heat parametrixIt tends to the identity kernel as $t\downarrow 0$: in normal coordinates the Gaussian is an approximate identity, and $u_{0}J=J^{1/2}\to 1$ at the centre. Its residual $R_N=({\partial }_t+{\Delta }_x)P_N$ is $\eta g_t{t}^N{\Delta }_x{u}_N$ plus cutoff-derivative terms supported a positive distance from the diagonal. Those latter terms are smaller than every power of $t$. Hence $R_N=O(t^{N-m/2})$ uniformly. Every prescribed finite number of derivatives has the same kind of estimate after increasing $N$; differentiating a Gaussian costs only finitely many powers of $t$.

For $N$ large enough that the residual is continuous and bounded up to time zero, use the Volterra parametrix correction. For kernels defineSet $Q=-R_N+R_N\ast R_N-R_N\ast R_N\ast R_N+\cdots$. A bounded residual with bound $C$ givesso this series converges and $Q+R_N+R_N\ast Q=0$. Because $P_N$ has identity initial kernel, differentiating the convolution gives $({\partial }_t+{\Delta }_x)(P_N\ast Q)=Q+R_N\ast Q$. Thusis an exact kernel with the correct initial condition. Taking $N$ sufficiently large gives any required finite regularity; uniqueness of the heat equation makes the kernels obtained from different $N$ equal. For uniqueness, the difference applied to smooth initial data has zero initial value, and the energy identity $\frac{d}{dt}\Vert v{\Vert }_2^2=-2\Vert \nabla v{\Vert }_2^2$ forces $v=0$. Parabolic regularity then gives smoothness for positive time.

The Gaussian part of $P_N$ has uniformly bounded spatial $L^1$ norm, so the correction is $O(t^{N+1-m/2})$. This proves, uniformly near the diagonal,with corresponding derivative estimates on increasing the truncation order. In particular on every parabolic neighbourhood $r\le B\sqrt{t}$ it is the stated Gaussian expansion with relative remainder $O(t^{N+1})$, and on the diagonal it yields the complete heat trace expansion. The standard off-diagonal Gaussian version on compact subsets of a sufficiently small convex normal neighbourhood follows from the same convolution estimates with the Gaussian factor retained: the inequalitylocalizes the convolution to the unique joining geodesic; its transverse Hessian is positive, and Gaussian integration gives the successive transport orders. The additive estimate above already specifies an appropriate uniform near-diagonal remainder without asserting a relative estimate far from the diagonal on the basis of a crude bound.

If $M$ is noncompact, use the minimal Friedrichs extension heat semigroup; if there is a boundary, specify boundary conditions. The same construction is local in the interior. One may extend a relatively compact coordinate neighbourhood to a closed auxiliary manifold; localization errors are supported a positive distance away and are exponentially small near the smaller diagonal neighbourhood. Thus the local coefficients remain the same. Finite integrated heat invariants and a discrete spectrum require the global hypotheses used above.

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 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 expansionwhere ${\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,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 distributionis spectral, while its singularities are governed by periodic geodesic motion. The 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 1964 flat-torus example: different sixteen-dimensional Euclidean lattices could give the same Laplacian eigenvalues. Subsequent lattice constructions lowered the dimension; 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 }^{\ast }$, 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 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 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, 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 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. The spectrum determines substantial geometry, while generally failing to determine the full metric.

Work on a closed compact smooth Riemannian manifold $M$ without boundary, as in the usual discrete spectral setting here. Use the paper's $\Delta ={\mathrm{tr}}_g{\mathrm{Hess}}_g$, and put $P=-\Delta$. The Riemannian heat kernel $H(t,x,y)$ is the smooth kernel, for $t>0$, representing the solution ofThus $({\partial }_t-{\Delta }_x)H=0$ and its distributional initial value in $x$ is the Dirac delta distribution at $y$. The heat trace isThe heat invariants are the coefficients $a_r(M)$ in the short-time heat trace expansion specified below.

To derive its spectral form, take an orthonormal eigenbasis $P{\varphi }_j={\lambda }_j{\varphi }_j$, with $0={\lambda }_0\le {\lambda }_1\le \cdots$, repeating eigenvalues according to multiplicity. For the initial datum ${\varphi }_j$, the function $e^{-t{\lambda }_j}{\varphi }_j$ solves the heat equation. Uniqueness identifies it with the heat-kernel solution. Expanding arbitrary initial data in this basis therefore gives the spectral expansion of the Riemannian heat kernel:Standard elliptic estimates and eigenvalue growth imply smooth convergence for $t$ bounded away from zero: polynomial bounds on derivatives of eigenfunctions are dominated by the exponential factors. On the diagonal all summands are nonnegative, so monotone convergence also justifies integration without needing an interchange of conditionally convergent terms. Since each eigenfunction has unit $L^2$ norm,Equivalently, if the paper's Laplacian eigenvalues are written ${\nu }_j=-{\lambda }_j$, the formula is ${\sum }_j{e}^{t{\nu }_j}$; a growing exponential is not the heat semigroup.

Here are the needed heat kernel expansion facts, stated without proof. On a closed $d$-dimensional smooth Riemannian manifold,with the diagonal remainder uniform in $x$ after any finite truncation. The coefficients are smooth local geometric quantities; $u_1=R/6$. Compactness therefore allows integration term by term:These integrated coefficients are the heat invariants. The uniform leading remainder in particular gives $Z_M(t)=(4\pi t{)}^{-d/2}(\mathrm{Vol}(M)+O(t))$.

Isospectral manifolds have identical heat traces by the derived spectral formula. If their dimensions were $d<e$, multiplying the common trace by $t^{d/2}$ would give a finite positive limit on the $d$-dimensional manifold but divergence on the $e$-dimensional one. Thus the dimensions are equal, and equality of the leading coefficient gives equal Riemannian volume. Explicitly,The absence of a boundary fixes this particular integer-power expansion. With a boundary one must first specify boundary conditions and include the appropriate half-integer boundary terms; the leading dimension-and-volume conclusion remains valid in the usual compact smooth setting.

Take the nonnegative scalar Laplace-Beltrami operator $\Delta =-\mathrm{div}\nabla$ on a closed compact Riemannian manifold, and include every eigenvalue with its multiplicity. The spectrum contains substantial global geometric information, but generally does not determine the Riemannian metric up to isometry. Specifying the operator and its domain matters: the spectrum on functions is different information from the spectra of the Hodge Laplacian on differential forms, and a boundary requires fixed boundary conditions.

The Weyl law makes dimension and volume audible. If $N(\lambda )$ counts eigenvalues at most $\lambda$, thenwhere ${\omega }_d$ is the volume of the Euclidean unit ball. Thus the growth exponent recovers $d$, and its leading coefficient recovers $\mathrm{Vol}(M)$. The multiplicity of zero gives the number of connected components: a function in the kernel has $\int |\nabla f{|}^2=0$ and hence is constant on each component.

More detailed invariants come from the heat trace, which is determined directly by the spectrum:The first heat invariants for a closed manifold areHere $R$ is scalar curvature, $\mathrm{Ric}$ the Ricci curvature, and $\mathrm{Rm}$ the Riemann curvature tensor. A divergence term in the local coefficient integrates to zero on a closed manifold. The expansion supplies further integrated curvature expressions, rather than a pointwise curvature map.

On a closed surface, $R=2K$, $|\mathrm{Ric}{|}^2=2K^2$ and $|\mathrm{Rm}{|}^2=4K^2$, so the same coefficients becomeThe Gauss-Bonnet theorem gives $\int KdA=2\pi \chi (M)$; hence the constant term of the heat trace is $\chi (M)/6$. In particular the Euler characteristic, and for a connected orientable surface its genus, are spectrally determined. There is even spectral determination of hyperbolic curvature on a surface: if this spectrum agrees with that of a curvature-$-1$ surface, the coefficients give $\int K=-A$ and $\int K^2=A$, whenceThus $K=-1$ everywhere. This determines local curvature, while leaving room for globally nonisometric hyperbolic surfaces.

Geodesic information is also accessible in important settings. For closed hyperbolic surfaces, the Selberg trace formula makes the scalar spectrum equivalent to the unmarked length spectrum with its appropriate multiplicities. This does not supply a marked length spectrum: it does not identify which group element or intersecting curve has a given length. For general manifolds, one must not simply assert this equivalence; the singularities of the wave trace can be affected by degeneracies and cancellations.

The historic development separates these positive results from the inverse problem. Weyl's 1911 eigenvalue asymptotics established the leading geometric information. The Minakshisundaram-Pleijel heat expansion of 1949 brought local curvature into the short-time analysis. In 1964 Milnor exhibited nonisometric flat tori in dimension sixteen with identical scalar spectra, showing that all eigenvalues together need not recover the metric. Kac's 1966 question about a vibrating drum popularized the corresponding inverse problem for planar domains. Vignéras's 1980 hyperbolic examples and the Sunada theorem of 1985 extended the supply of counterexamples; the latter turns Gassmann equivalence of finite subgroups into a geometric construction. The four-dimensional tetracode length-isospectral lattice construction and the planar examples of Gordon, Webb and Wolpert in 1992 made nonuniqueness explicit in smaller dimensions and in the original drum setting.

Nor is scalar isospectrality a universal topological invariant strong enough to determine the manifold. For example, Tetra and Didi are scalar-isospectral closed orientable flat three-manifolds with first Betti numbers one and zero. Their topology therefore differs. The spectra of all Hodge Laplacians would detect these Betti numbers through the dimensions of their zero eigenspaces, illustrating the extra information obtained by changing the operator. Dimension, volume and many integrated invariants are determined; the full metric and, in general, the topology are not.

Use the positive Laplace-Beltrami operator on a compact Riemannian manifold without boundary. Its heat kernel is the smooth integral kernel $K(t,x,y)$, $t>0$, of the solution operators for the heat equation:The last condition holds, in particular, in $L^2$ for smooth initial functions. The heat trace isThe heat invariants are the coefficients in the small-time heat kernel expansion of this trace:Equivalently, the local diagonal coefficients $u_j(x,x)$ integrate to $a_j$; $R_g$ is the scalar curvature. Some normalizations absorb $(4\pi {)}^{-d/2}$ into the coefficients. These definitions here use the displayed normalization consistently.

To prove uniqueness, let $K_1,K_2$ satisfy the heat kernel conditions and let $w$ be the difference of their solutions with the same smooth initial function. It solves $w_t=-\Delta w$ and tends to zero in $L^2$ as $t\downarrow 0$. The heat equation energy identity, using integration by parts on the closed manifold, gives for $t>0$Integrating from $s>0$ to $t$ gives $\Vert w(t){\Vert }_{L^2}\le \Vert w(s){\Vert }_{L^2}$; sending $s\downarrow 0$ proves $w(t)=0$. Thus for every smooth test function $f$,For fixed positive $t$ and $x$, smoothness makes this difference a smooth function of $y$. Taking its conjugate as test function shows its squared norm is zero. The heat kernel is unique.

The compact elliptic spectral theorem for the self-adjoint elliptic Laplace-Beltrami operator gives a complete orthonormal basis of smooth eigenfunctions ${\varphi }_j$, with discrete eigenvalues $0\le {\lambda }_0\le {\lambda }_1\le \cdots$ counted with multiplicity. Solving the heat equation for initial data ${\varphi }_j$ gives $e^{-t{\lambda }_j}{\varphi }_j$, so the unique heat kernel has its eigenfunction expansion and its heat trace isThe series converges for every $t>0$. This proves that the spectrum with multiplicities determines the heat trace.

Conversely, its large-time behaviour recovers the distinct eigenvalues and their multiplicities successively. The multiplicity of zero is $m_0={\lim }_{t\to \infty }{Z}_M(t)$. After subtracting the already determined terms, letbe the positive remaining sum, and let $\mu$ be its smallest remaining eigenvalue. ThenIndeed, after factoring $e^{-t\mu }$, the next distinct eigenvalue is separated from $\mu$ by a positive gap. The remaining tail tends to zero: for fixed $t_0>0$ its absolute sum is bounded by a constant times $e^{-({\mu }_{\mathrm{next}}-\mu )(t-t_0)}$, using finiteness of $Z_M(t_0)$. Induction recovers every spectral term. Thus the heat trace and the spectrum with multiplicities determine one another.

Finally the leading coefficient among the heat invariants is positive, soThe common heat trace of isospectral manifolds therefore forces them to have the same dimension. Once the dimension is recovered, its leading coefficient also recovers their common volume.

The total Riemannian volume is the integral of the Riemannian volume form, or its density on a nonorientable manifold. In local coordinates the density is $\sqrt{\det g}d{x}^1\cdots d{x}^d$. It is preserved by Riemannian isometries. On a closed manifold it is the leading coefficient among the integrated heat invariants, and on a surface it is the surface area.

On a closed two-dimensional Riemannian manifold, the first three integrated scalar heat invariants are $A$, $\frac{1}{3}\int KdA$, and $\frac{1}{15}\int K^{2}dA$, where $K$ is Gaussian curvature. If its scalar spectrum agrees with that of a hyperbolic surface of area $A$, these integrals are $A,-A/3,A/15$. Expanding the displayed square then forces $K=-1$ everywhere. Thus constant negative curvature is spectrally determined in this setting, although the global hyperbolic metric need not be determined up to isometry.