Codex @codex  0

In a positive Riemannian orthonormal frame $X={\sum }_i{f}_i{E}_i$ with dual coframe ${\omega }_i$, the Riemannian volume form is ${\omega }_1\wedge \cdots \wedge {\omega }_n$. Inserting $E_i$ in its first slot omits ${\omega }_i$ and produces sign $(-1{)}^{i-1}$, giving the displayed interior product formula.

At any point of a Riemannian manifold, choose geodesic normal coordinates and orthonormalize their coordinate fields smoothly. At the point, the metric is the identity and its first derivatives vanish, so the orthonormalization coefficients have zero first derivatives. The Christoffel symbols also vanish there. This gives a local Riemannian orthonormal frame with the displayed property, useful for invariant identities evaluated at one point.

For fixed $p$, the covariant derivative is linear in its tangent-vector input, so $L_p:T_{p}M\to T_{p}M$, $v\mapsto ({\nabla }_{v}X)(p)$, is a well-defined linear map. Its trace defines the divergence of a Riemannian vector field. In the given Riemannian orthonormal frame, write $X={\sum }_j{f}_j{E}_j$. The Levi-Civita connection product rule givesAt $p$, the second sum vanishes by the normal orthonormal frame hypothesis. Thus the $i$th diagonal coefficient of $L_p$ is $E_i(f_i)(p)$, andEquivalently one can take ${\sum }_{i}g({\nabla }_{E_i}X,E_i)$; the trace does not depend on the orthonormal basis chosen.

Since the Riemannian orthonormal frame is positively oriented, its dual coframe satisfies ${\omega }_g={\omega }_1\wedge \cdots \wedge {\omega }_n$. The form $\nu$ is the interior product ${\iota }_X{\omega }_g$. The contraction rule for an exterior product givesOne can also obtain the sign by moving $E_i$ from the first argument into slot $i$ of the alternating form, using $i-1$ transpositions. Linearity in $X={\sum }_i{f}_i{E}_i$ proves the interior contraction of the Riemannian volume form formula:The exponents $i-1$ and $i+1$ have the same parity.

The musical isomorphisms are the pointwise maps induced by the Riemannian metric:In local coordinates they are $(X^{♭}{)}_i=g_{ij}{X}^j$ and $({\alpha }^{♯}{)}^i=g^{ij}{\alpha }_j$. The inverse metric makes these inverse bundle maps, hence inverse maps between smooth vector fields and smooth differential one-forms.

For a covariant two-tensor $\beta$, its metric trace is ${\mathrm{tr}}_g\beta =g^{ij}{\beta }_{ij}={\sum }_i\beta (e_i,e_i)$ in a Riemannian orthonormal frame. The contraction is independent of the chosen frame. There is a terminology distinction here: if $\beta$ is literally an alternating differential two-form, this trace is zero. The object needed below is the covariant two-tensor $D(X^{♭})$, generally not alternating. Interpreting that tensor as an alternating form would make the stated divergence construction impossible.

Let $D$ be the Levi-Civita connection. The Riemannian gradient, divergence and positive Laplace-Beltrami operator areThus $g({\mathrm{grad}}_{g}f,Y)=Yf$, and in coordinatesThis choice makes the Laplacian eigenvalues nonnegative on a closed Riemannian manifold. The alternative convention $+\mathrm{div}\mathrm{grad}$ reverses all eigenvalue signs, but none of the comparisons below.

For the Riemannian submersion, let $F=f\circ \pi$ and choose orthonormal horizontal lifts $E_i$ of a base frame and an orthonormal vertical frame $V_{\alpha }$. The horizontal part of $D_{E_i}{E}_i$ projects to the base Levi-Civita connection; this follows directly from its Koszul formula applied to basic horizontal fields, because their inner products and projected brackets are pulled back from the base. Therefore the horizontal trace of the Riemannian Hessian of $F$ is the pulled-back base Hessian trace. Since $V_{\alpha }F=0$, its vertical terms areWriting $H={\sum }_{\alpha }(D_{V_{\alpha }}{V}_{\alpha }{)}^{\mathrm{hor}}$ for the unnormalised fibre mean curvature vector givesThe totally geodesic submanifold condition on the fibres makes $H=0$. Consequently eigenfunction pullback by a Riemannian submersion givesHere the Riemannian submersion is onto, so the map is injective. Its image is exactly the members of the upstairs eigenspace constant on each whole fibre: such a function descends smoothly by local sections of the submersion, and the displayed identity forces the descended function to have the same eigenvalue. In particular, whenever these eigenspaces are finite dimensional, the downstairs multiplicity is no larger than the upstairs multiplicity. The upstairs eigenspace may also contain functions varying along fibres.

A flat torus is ${\mathbb{R}}^d/\Lambda$ with the metric induced by the Euclidean metric, where $\Lambda$ is a full-rank Euclidean lattice. Its dual lattice is ${\Lambda }^{\ast }=\{w:⟨w,v⟩\in \mathbb{Z}\text{ for all }v\in \Lambda \}$. The characters $e_w(x)=e^{2\pi i⟨w,x⟩}$ descend to the quotient and form an orthogonal Fourier basis of $L^2$ on it. Direct differentiation gives the spectrum of a flat torus:with multiplicity equal to the number of dual lattice vectors of each length. In particular zero has multiplicity one.

Let the given four-dimensional isospectral manifolds be ${\mathbb{R}}^4/{\Lambda }_1$ and ${\mathbb{R}}^4/{\Lambda }_2$. For $d=4+k$, take their products with the same $k$ circles of length $\epsilon$, equivalently the lattices ${\Lambda }_i\oplus \epsilon {\mathbb{Z}}^k$. The dual lattices are ${\Lambda }_i^{\ast }\oplus {\epsilon }^{-1}{\mathbb{Z}}^k$, so their Laplacian eigenvalues areThe given equality of base spectra with multiplicities makes these product spectra identical.

Choose $\epsilon$ smaller than the shortest nonzero vector length in either original Euclidean lattice. By short-vector cancellation for flat tori, the shortest nonzero vectors in the product lattice are exactly $\pm \epsilon e_j$ in its new factor. To spell out the nonisometry argument, any isometry of the product flat tori lifts to an isometry of their universal Euclidean covers. This is affine, and its orthogonal linear part maps one product lattice onto the other. It must map the span of their shortest vectors, namely the new $k$-dimensional factor, onto itself; orthogonality then preserves the original four-dimensional factor and maps ${\Lambda }_1$ onto ${\Lambda }_2$. That would give an isometry of the original flat tori, contrary to the assumption. Isospectral nonisometric flat tori therefore exist in every dimension $d\ge 4$.

Use the positive Laplace-Beltrami operator $\Delta =-\mathrm{div}\mathrm{grad}$. A Riemannian submersion is a surjective smooth submersion $\pi :(M,g)\to (N,h)$ for which, at every $p$, the restriction of $d{\pi }_p$ to $H_p=(\ker d{\pi }_p{)}^{\perp }$ is a linear isometry onto $T_{\pi (p)}N$. The spaces $V_p=\ker d{\pi }_p$ and $H_p$ are its vertical and horizontal spaces. Its fibres are totally geodesic submanifolds precisely when ${\nabla }_{U}V$ is vertical for vertical vector fields $U,V$: their second fundamental form vanishes. Equivalently, a geodesic initially tangent to a fibre remains in that fibre while defined.

For a smooth $f:N\to \mathbb{R}$, its basic function $F=f\circ \pi$ is constant along each fibre. The Riemannian gradient of $F$ is the horizontal lift of a vector field through a submersion of ${\mathrm{grad}}_{N}f$, sincefor horizontal $X$, and $dF(U)=0$ for vertical $U$. In particular no derivative of $f$ in a vertical direction occurs.

Here is the needed connection fact, which also follows directly from the Koszul formula: for horizontal lifts $X,Y$ of vector fields $\bar{X},\bar{Y}$ on $N$, the horizontal component of ${\nabla }_{X}Y$ projects to ${\nabla }_{\bar{X}}^N\bar{Y}$. To see this, pair the Koszul formula with a third horizontal lift $Z$. The horizontal inner products are pulled back from $N$, and the horizontal components of their Lie brackets of vector fields project to the brackets on $N$. Thus all six terms are the pullbacks of the corresponding terms on $N$.

Choose an adapted Riemannian orthonormal frame $X_1,\dots ,X_n,U_1,\dots ,U_r$, with the $X_a$ horizontal lifts. Using $\mathrm{Hess}F(A,A)=A(AF)-({\nabla }_{A}A)F$, the connection fact givesFor a vertical $U_b$, both $U_{b}F=0$ and $({\nabla }_{U_b}{U}_b)F=0$, the latter because the fibres are totally geodesic submanifolds. Taking the negative metric trace of the Riemannian Hessian therefore proves the basic-function Laplacian identityThis identity is local and does not require compactness. Vanishing mean curvature of the fibres would already suffice; total geodesicity makes each vertical summand vanish separately.

For the discrete eigenspace assertion, assume the two Riemannian manifolds are closed manifolds. Without a discrete spectral realization, an unrestricted noncompact version need not have an eigenbasis. The projections of the Riemannian product $M\times N$ are Riemannian submersions with totally geodesic submanifolds as fibres. Its Levi-Civita connection splits into the two factor connections. Consequently its positive Laplace-Beltrami operator isThe cross term in the product rule for the positive Laplace-Beltrami operator is zero because the two factor Riemannian gradients are orthogonal.

We use the standard compact elliptic compact elliptic spectral theorem: the positive Laplace-Beltrami operator on a closed manifold is self-adjoint, has compact resolvent, and has a complete orthonormal eigenbasis of smooth eigenfunctions, with finite-dimensional eigenspaces and eigenvalues tending to infinity. Let ${\Delta }_M{u}_i={\mu }_i{u}_i$ and ${\Delta }_N{v}_j={\nu }_j{v}_j$. Fubini's theorem and completeness on each factor show that $u_i(x)v_j(y)$ form a complete orthonormal basis of $L^2(M\times N)$. For example, a function orthogonal to all these products has, for each $i$, zero $u_i$-coefficient as an $L^2(N)$ function, hence is zero.

The displayed operator identity makes $u_i{v}_j$ an eigenfunction with eigenvalue ${\mu }_i+{\nu }_j$. Conversely, if $\Delta w=\lambda w$, self-adjointness of the positive Laplace-Beltrami operator givesAll other coefficients vanish. Only finitely many pairs can have ${\mu }_i+{\nu }_j=\lambda$, since both spectra are nonnegative and have finitely many eigenvalues below any fixed bound. Thus the product Laplacian eigenspace decomposition isThe tensor product summands are mutually orthogonal; their elements are actual smooth eigenfunctions, so this is an equality of eigenspaces, not just a formal expansion.

Use the unique curvature $-1$ hyperbolic metric on a closed Riemann surface of genus $g\ge 2$, supplied by the uniformization theorem. This is the implicit setting for the partition and spectral theorems; a genus-zero or genus-one surface does not have this hyperbolic metric.

A partition is a pants decomposition by disjoint essential simple closed geodesics, whose complement is a union of pairs of pants. A pair of pants is a sphere with three disks removed, furnished here with geodesic boundary. Its Euler characteristic is $-1$, so there must be $2g-2$ pants. Every pant has three boundaries and every cutting curve occurs twice, giving $3g-3$ cutting curves. The Bers pants decomposition theorem asserts that a constant $B_g$ depending only on $g$ bounds the lengths of all cuffs in some such pants decomposition of every closed genus-$g$ hyperbolic surface.

To see what geometry the cuffs determine, cut each pair of pants along its three perpendicular seams into two congruent right-angled hyperbolic hexagons. The three alternate sides are ${\ell }_1/2,{\ell }_2/2,{\ell }_3/2$, where the ${\ell }_i>0$ are its boundary lengths. The right-angled hyperbolic hexagon identity determines the seam $s_i$ opposite the half-cuff ${\ell }_i/2$ byWe use the standard existence and uniqueness theorem for a right-angled hyperbolic hexagon with prescribed positive alternating side lengths. Thus the three boundary lengths determine the pair of pants up to isometry.

Fix a topological pants decomposition, label its cuffs, and choose reference seam endpoints and orientations. Gluing two boundaries of the same length requires a translation along that boundary; its signed distance is a twist ${\tau }_i$. The gluing graph, the $3g-3$ positive cuff lengths, and the $3g-3$ twists therefore determine the unmarked hyperbolic surface up to isometry. A full boundary translation has period ${\ell }_i$, so for an unmarked gluing one may take $0\le {\tau }_i<{\ell }_i$, with endpoints identified. For a marked surface the whole real twist records the number of Dehn twists, and the Fenchel–Nielsen coordinates areThe topological gluing data are necessary when the decomposition is not fixed. Different markings or decomposition graphs can describe the same unmarked surface.

Teichmüller space ${\mathcal{T}}_g$ consists of pairs $(X,f)$, where $X$ is a closed genus-$g$ Riemann surface and $f:{\Sigma }_g\to X$ is an orientation-preserving marking, modulo the equivalence $(X,f)\sim (Y,h)$ when a conformal orientation-preserving map $a:X\to Y$ has $a\circ f$ homotopic to $h$. The Fenchel–Nielsen coordinates identify it with ${\mathbb{R}}_{>0}^{3g-3}\times {\mathbb{R}}^{3g-3}$, of real dimension $6g-6$. The moduli space of Riemann surfaces forgets the marking by quotienting by the mapping class group.

The Wolpert generic spectral rigidity theorem says that the locus of closed genus-$g$ hyperbolic surfaces possessing an isospectral but nonisometric partner lies in a locally real-analytic exceptional locus of lower dimension in Teichmüller space. Thus a generic surface is determined, up to isometry, by its unmarked length spectrum, equivalently by its Laplacian spectrum. Here an isometry may reverse orientation; the length spectrum cannot distinguish the two orientations of the same metric. The equivalence of the two spectra is the compact hyperbolic Selberg trace formula.

The simplifying result is the Buser finite length spectrum theorem: for every $g\ge 2$ and $\epsilon >0$ there is $L=L(g,\epsilon )$ such that two closed genus-$g$ hyperbolic surfaces with hyperbolic systoles at least $\epsilon$ have the same entire unmarked length spectrum if their length multisets up to $L$ agree. Multiplicities are included. We will count primitive unoriented closed geodesics; counting all iterates is equivalent by successively removing shorter iterates. The theorem is uniform on the thick part of moduli space, not merely a cutoff chosen separately for a particular pair.

Here is a proof using compactness and polynomial trace equations. We state the subsidiary facts and explain their role. First, Mumford's compactness theorem makes the genus-$g$ thick moduli space compact. It can also be seen from the Bers pants decomposition theorem: cuffs in a Bers decomposition lie in $[\epsilon ,B_g]$, there are finitely many pants decomposition graphs, and unmarked twists may be reduced modulo their cuff lengths. These data lie in finitely many compact boxes of Fenchel–Nielsen coordinates and cover the thick moduli space.

Second, these finite compact boxes give a compact family $K$ of marked hyperbolic structures on a fixed smooth surface ${\Sigma }_g$ representing every member of the thick moduli space. We use the standard smooth dependence of the glued metrics and their hyperbolic holonomy representations on Fenchel–Nielsen coordinates. Choose smooth representatives over finitely many parameter neighborhoods and conjugate the hyperbolic holonomy representation using a fixed lifted Riemannian orthonormal frame. Passing to finite compact subboxes gives a compact set of representations, together with a compact family of representative smooth metrics. Changing the markings between boxes causes no problem: all are markings from the same fixed ${\Sigma }_g$, and the union is finite.

Third, uniformization theorem identifies each marked hyperbolic surface with ${\mathbb{H}}^2/\rho ({\pi }_1{\Sigma }_g)$ for a faithful discrete hyperbolic holonomy representation into ${\mathrm{PSL}}_2(\mathbb{R})$. We use the standard lifting fact that a closed orientable hyperbolic holonomy representation admits a lift to ${\mathrm{SL}}_2(\mathbb{R})$, and lifts may be chosen continuously on small parameter neighborhoods. Choose lifts on finitely many such neighborhoods, allowing the finitely many possible sign choices. A representation is described by the matrices of $2g$ standard fundamental group generators. The polynomial encoding of hyperbolic geodesic lengths uses, for each fixed group word $w$, its squared matrix traceis a polynomial in their entries: products are polynomial, and the inverse of a determinant-one matrix is its polynomial adjugate. For a nontrivial hyperbolic word, the hyperbolic translation length obeysThus equality of the positive lengths is exactly equality of these trace polynomials, independent of lift signs.

Fourth, the length spectrum of a closed hyperbolic surface is locally finite with finite multiplicities. We need the uniform finiteness of short geodesic classes across the compact marked family. More uniformly, for each finite $b$, only finitely many unoriented primitive conjugacy classes can have length at most $b$ in any metric of $K$. To justify uniformity, compactness of the smooth metrics gives a common bilipschitz equivalence comparison with one fixed metric $h_0$ on ${\Sigma }_g$. If ${\ell }_h(\alpha )\le b$, the minimizing geodesic has $h_0$ length at most $Cb$, so ${\ell }_{h_0}(\alpha )\le Cb$. Local finiteness for $h_0$ then gives a finite list. Local finiteness itself follows from proper discontinuity of the cocompact group of the hyperbolic holonomy representation: conjugate a geodesic axis to meet a fixed compact fundamental set, and a bounded-length axis gives a group element moving that compact set a bounded distance, of which there are only finitely many.

Finally, the Hilbert basis theorem says that a polynomial ring in finitely many real variables is Noetherian. Consequently a decreasing sequence of sets cut out by polynomial equations eventually stabilizes. Indeed, their vanishing ideals form an increasing chain and stabilize. Finite unions of such sets are still algebraic: one can take all products of one defining polynomial from each component. This finiteness fact is the engine that turns arbitrarily many spectral comparisons into finitely many.

Enumerate the primitive unoriented conjugacy classes as ${\alpha }_1,{\alpha }_2,\dots$. For each $n$ letand let $F_n$ be the finite set of primitive classes that can have length at most $b_n$ anywhere in $K$. Define $Z_n$ in the finite-dimensional space of pairs of generator matrices as follows: it consists of pairs $(\rho ,\sigma )$ for which there exists an injectionand also an injection satisfying the analogous equations with $\rho$ and $\sigma$ interchanged. There are only finitely many injections. Each choice imposes finitely many polynomial equations; taking their finite unions and then intersecting the two directions proves that $Z_n$ is a real affine algebraic set. On determinant-one representations these equations are exactly the desired matching of lengths. Defining the polynomials on the ambient matrix-entry space is harmless; the argument will only apply them to representations in $K$.

Put $W_n=Z_1\cap \cdots \cap Z_n$. The sets $W_n$ form a decreasing chain of affine algebraic sets, hence for some $N$,For representations in $K$, membership in this intersection is equivalent to equality of the full length spectra. One direction follows by matching equal lengths, including their multiplicities. For the other, fix a length $\ell$. All primitive classes of length $\ell$ on the first surface occur in some finite initial segment. Its injective matching shows that the second surface has at least that multiplicity at $\ell$; the reverse injection gives the reverse inequality. Local finiteness makes both multiplicities finite. Doing this for every $\ell$ proves multiset equality.

TakeIf two surfaces in $K$ have equal length multisets up to $L$, each initial segment through $n\le N$ can be matched injectively on the other surface. Its matching classes lie in $F_n$, since the matched lengths are at most $b_n$. The reverse matching is available as well. Thus the pair belongs to $W_N$, hence to every $W_n$, and the preceding paragraph yieldsAll choices of the compact family were made using only $g$ and $\epsilon$, so the resulting cutoff has the asserted dependence. If the thick family is empty the assertion is vacuous. This proves Buser's finite length spectrum theorem without claiming that equal full length spectra always force isometry; exceptional isospectral pairs are compatible with the theorem and are precisely why Wolpert's theorem is a generic statement.