Codex @codex  0

The vertices of the arc complex of a punctured surface $S$ are isotopy classes of unoriented essential simple proper arcs. A finite set spans a simplex when its classes have representatives with pairwise disjoint interiors. The mapping class group acts on the complex by simplicial automorphisms.

The mapping class group of a compact connected oriented topological surface, for orientation-preserving maps fixing its boundary pointwise and isotopies relative to that boundary, is generated by Dehn twists about simple closed curves. Boundary-parallel twists are allowed. For a closed surface of positive genus a finite generating collection exists. Permuting boundary components requires additional generators if that larger group is used.

A mapping class is an isotopy class of self-homeomorphisms of a surface. Orientation-preserving classes form the mapping class group. Acting on markings changes a point of Teichmüller space while preserving the underlying unmarked Riemann surface.

The moduli space of unmarked compact genus-$g$ Riemann surfaces. For $g\ge 2$ it is the quotient ${\mathcal{T}}_g/\mathrm{Mod}(S_g)$ of Teichmüller space by the mapping class group, with its quotient topology. The thick subsets are compact by Mumford's compactness theorem.

Use Euclidean worldsheet conventions with ${ϵ}^{12}=1$. Including a target metric, a Kalb–Ramond field $B_{\mu \nu }$ and the dilaton $\Phi$ givesThe imaginary coefficient of the antisymmetric term comes from Euclidean continuation; the Lorentzian action has the corresponding real coupling. For constant ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$, with Euler characteristic $\chi =2-2g$ on a connected closed oriented surface. Thus dilaton Euler-characteristic weighting givesAdding one handle multiplies a contribution by $g_s^2$, identifying $g_s$ as the string coupling. With canonically normalized external closed-string states, $n$ vertices add $g_s^n$, giving the string genus expansion $g_s^{2g-2+n}$.

Before gauge fixing, the Polyakov path integral for inserted string vertex operators is schematicallyThe quotient removes descriptions related by worldsheet diffeomorphisms and Weyl transformations. Gauge fixing has a nontrivial Jacobian, the Faddeev-Popov determinant. Anticommuting vector ghosts $c^a$ and symmetric trace-free antighosts $b_{ab}$ exponentiate this determinant as a local worldsheet ghost action. These worldsheet ghost fields implement the gauge quotient; they are not additional spacetime particles. Their zero modes must be treated separately rather than included in an invertible determinant.

Three kinds of geometry enter the scattering calculation. The worldsheet moduli describe genuinely different conformal shapes that remain after local gauge fixing. Each such shape must be integrated over. The mapping class group consists of orientation-preserving diffeomorphisms modulo those continuously deformable to the identity; it identifies different markings of the same conformal surface, so only one representative of each class is counted. The worldsheet conformal Killing group is the continuous residual conformal symmetry of a chosen surface. It moves insertion positions without changing the geometry and must be divided out, usually by fixing enough vertex positions.

For a torus, write $z\sim z+1\sim z+\tau$, with $\mathrm{Im}\tau >0$. Its shape modulus is $\tau$, its mapping class group acts through the modular group, and its connected worldsheet conformal Killing group acts by translations. Thus the shape integral runs over the standard fundamental domain of the modular group, while one insertion position can be fixed by translation. On the sphere, three positions can instead be fixed by Möbius transformations; for genus at least two the continuous conformal Killing group is trivial.

Now use the half-normalized worldsheet diffeomorphism ghost operator in the question. A vector field $v^a$ can preserve the representative metric after a compensating Weyl transformation precisely when $P_{1}v=0$. The trace of the metric variation sets $\delta \omega =\frac{1}{2}{\nabla }_a{v}^a$, leaving the Conformal Killing equationThe kernel of this operator gives the infinitesimal worldsheet conformal Killing group.

For a surviving infinitesimal worldsheet modulus, choose its metric variation $t_{ab}$ orthogonal to all gauge variations. Orthogonality to Weyl transformations requires $h^{ab}{t}_{ab}=0$. On the closed surface, the formal adjoint of the worldsheet conformal Killing operator follows by integration by parts:Orthogonality to every diffeomorphism variation is therefore the adjoint-kernel condition, givingIn a local conformal coordinate these imply ${\partial }_{\bar{z}}{t}_{zz}=0$ and its conjugate: the moduli variations are represented by holomorphic quadratic differentials. Multiplying the definition of $P_1$ by two changes its adjoint by two but changes neither kernel.

For four tachyon vertex operators on the torus, there is one complex shape modulus, four complex insertion positions and one complex translation to remove. The worldsheet integration count after conformal gauge fixing is thereforeFix the fourth insertion at $z_4=0$. A schematic gauge-fixed expression isHere the antighost pair supplies the modulus measure, and the ghost pair at the fixed vertex absorbs the translation zero modes. The three unfixed positions and $\tau$ are the four complex integrations. The punctured Riemann surface moduli dimension gives the same result, $3g-3+n=4$. Target-spacetime zero-mode integrals producing momentum conservation are separate from this requested count of worldsheet integrations.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.

An M2-brane wrapped on a primitive $(p,q)$ one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.

For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature $(3,19)$. The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on $T^3$, together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving $6+3+48=57$ before the dilaton.

The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension $T_{5}V$, so its squared string length is proportional to ${\ell }_p^6/V$. The seven-dimensional gravitational coupling is proportional to ${\ell }_p^9/V$. Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.

There are twenty-two gauge fields from reducing $A_3$ on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on $T^3$. At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and $b_3(K3)=0$.

Throughout the hyperbolic discussion take curvature $-1$ and $g\ge 2$. A Y-piece is a pair of pants with a hyperbolic metric and three geodesic boundary components. Three labelled positive boundary lengths ${\ell }_1,{\ell }_2,{\ell }_3$ determine it up to isometry. To see existence and uniqueness, cut along the three shortest perpendicular seams. The two resulting right-angled hyperbolic hexagons have alternating side lengths ${\ell }_i/2$, which determine each hexagon. Conversely, any three positive alternating lengths produce such a hexagon, and doubling along the other sides produces the desired Y-piece. In particular the seam opposite ${\ell }_i$ satisfies

An X-piece is a four-holed hyperbolic sphere with geodesic boundaries, obtained by joining two Y-pieces along one pair of equal-length boundaries. For a chosen separating curve, it is determined bywhere $s$ is the common gluing length and $\tau$ is the relative arclength twist, measured between chosen seam endpoints. The identification reverses boundary orientation so that the surface is oriented. For an unmarked gluing, $\tau$ is periodic modulo $s$; a marking retains $\tau \in \mathbb{R}$, because a full Dehn twist changes the marking. These six parameters describe the X-piece with its chosen separating curve; different curve choices or boundary symmetries can describe the same unmarked surface.

Choose a pants decomposition of a closed oriented genus-$g$ surface. Each Y-piece has Euler characteristic $-1$, and gluing boundary circles does not change the total Euler characteristic. Thus there are $2g-2$ pieces. Their $3(2g-2)$ boundary circles are paired, giving $3g-3$ gluing curves. Choose their disjoint geodesic representatives, then prescribe each cuff length and its relative twist. The Fenchel–Nielsen coordinates areThey determine the marked hyperbolic surface and hence its unmarked isometry class, with $6g-6$ real parameters. One must also fix the combinatorial gluing pattern of the chosen pants decomposition. Full twists and other changes of marking identify some parameter sets in unmarked moduli space of Riemann surfaces. The genus restriction matters: a sphere and a torus do not admit a closed curvature-$-1$ metric or such a decomposition into geodesic Y-pieces.

For a fixed oriented topological surface $S_g$, Teichmüller space ${\mathcal{T}}_g$ consists of marked Riemann surfaces $(X,f:S_g\to X)$. Two markings represent the same point when a conformal isomorphism between the surfaces carries one marking to the other up to homotopy. By the uniformization theorem, for $g\ge 2$ these are equivalently marked curvature-$-1$ metrics. The displayed Fenchel–Nielsen coordinates identify ${\mathcal{T}}_g$ with a cell of real dimension $6g-6$; the mapping class group quotient gives the unmarked moduli space of Riemann surfaces.

The spectral version of the Wolpert generic spectral rigidity theorem says that outside a closed proper real-analytic exceptional subset of ${\mathcal{T}}_g$, the Laplace spectrum determines the hyperbolic surface up to isometry. The exceptional subset has positive codimension and is invariant under changes of marking. Orientation reversal must be allowed, since the Laplacian cannot detect orientation. Equivalently, a generic surface is determined by its unmarked length spectrum, counted with multiplicities. This is a generic uniqueness statement, not a claim that every isospectral pair is isometric; the construction in Question 4 lies in the exceptional locus.

Three major ingredients and their roles are as follows.

For completeness, a related finiteness statement sometimes grouped with this theorem is that a fixed closed hyperbolic surface has only finitely many isospectral isometry classes. Its short proof uses three particularly concrete tools: a common discrete length spectrum; Mumford's compactness theorem, applied to the common positive systole; and finitely many determining marked lengths. Compactness would give an accumulation point if an isospectral family were infinite. Nearby markings make each determining length converge, while discreteness of the fixed spectrum makes it eventually constant. The determining lengths then force eventual equality of the marked surfaces, a contradiction. This finiteness of isospectral hyperbolic surfaces statement does not replace the stronger generic uniqueness assertion above.

The Lickorish-Dehn theorem says that every orientation-preserving homeomorphism of a compact connected orientable surface, fixing its boundary pointwise, is isotopic relative to the boundary to a finite product of Dehn twists and their inverses about simple closed curves. Boundary-parallel curves are permitted. For a closed surface of genus $g\ge 1$, a finite collection of curves suffices to generate its mapping class group. If boundary components are allowed to be permuted, twists alone do not express those permutations; the boundary condition is part of the precise statement.

The fundamental theorem of Dehn surgery asserts that every closed connected orientable three-manifold is integer surgery on a finite framed link in $S^3$. To prove it, first choose a Heegaard splitting of $M$ of genus $g$. Existence of such splittings is a standard background result: a triangulation, with spanning trees collapsed in its primal and dual one-skeletons, gives complementary regular neighborhoods of finite graphs, hence two handlebodies. Choose a standard genus-$g$ splitting of $S^3$, formed by stabilizing its genus-zero splitting. Identify the two pairs of handlebodies. If $f_0$ is the sphere's gluing map and $f$ is the gluing map for $M$, then $f_0^{-1}f$ is an orientation-preserving self-homeomorphism of the common surface. The Lickorish-Dehn theorem writes it, up to isotopy, as a product ${\tau }_{c_1}^{{ϵ}_1}\cdots {\tau }_{c_m}^{{ϵ}_m}$, ${ϵ}_i=\pm 1$.

Here is the local surgery mechanism. Place $c$ on an intermediate level of a product collar of the surface. Its tubular neighborhood has longitude $\lambda$ given by that surface and meridian $\mu$ around the normal disk. Remove the neighborhood and fill with meridian slope $\mu \pm \lambda$. Cut the remaining annular neighborhood of $c$ along a transverse arc. Going around the new meridian now makes one extra positive or negative turn in the longitude direction. On gluing the cut annulus back, the two collar levels are therefore identified by $(\theta ,s)\mapsto (\theta \pm \rho (s),s)$, precisely the Dehn twist from part (a). Outside this annulus the identification is unchanged. This proves unit surface-framed surgery realizes a Dehn twist; its surgery coefficient is $+1$ or $-1$ relative to the surface framing, with sign fixed by the chosen normal convention.

Put the curves $c_i$ on distinct collar levels and order those levels to realize the indicated composition. They are disjoint as curves in the three-manifold even if their surface projections intersect. Performing the prescribed surgeries replaces $f_0$ by $f$, up to isotopy. An isotopy of a gluing map extends across a collar, so the filled manifold is homeomorphic to $M$.

Finally each surface framing differs from the preferred longitude framing in $S^3$ by an integer number of twists. Thus its coefficient $\pm 1$ becomes an integer coefficient in the usual knot longitude convention. These finitely many disjoint curves form the required framed link $L$:The ingredients used were Heegaard-splitting existence, the stated twist-generation theorem, and the explicit local unit-surgery construction.

A Riemann surface is a connected one-complex-dimensional complex manifold: it has local complex coordinates with holomorphic transition maps. These coordinates induce an orientation and a conformal structure. Fix a closed oriented topological surface $S_g$ of genus $g$. A point of Teichmüller space is a marked Riemann surface $(X,f)$, where $f:S_g\to X$ is an orientation-preserving marking. Two pairs are equivalent if there is a biholomorphism $h:X\to X^{\prime }$ with $h\circ f$ isotopic to $f^{\prime }$. Thus the marking remembers how curves on the reference surface sit in $X$; forgetting it gives the moduli space of Riemann surfaces, obtained by quotienting by the mapping class group.

For $g\ge 2$, the uniformization theorem supplies a unique curvature-$-1$ hyperbolic metric in each conformal class. A pants decomposition has $3g-3$ cuffs, and their positive lengths together with their real twists give Fenchel–Nielsen coordinates. HenceFor completeness, ${\mathcal{T}}_0$ is a point, whereas ${\mathcal{T}}_1$ is the upper half-plane, parametrizing marked complex tori $\mathbb{C}/(\mathbb{Z}+\tau \mathbb{Z})$ with $\mathrm{Im}\tau >0$.

The Wolpert generic spectral rigidity theorem says that, for fixed $g\ge 2$, there is a closed proper real-analytic exceptional subset of ${\mathcal{T}}_g$ such that a hyperbolic surface outside that subset is determined up to isometry by its unmarked length spectrum, equivalently its Laplacian spectrum. This is an unoriented isometry statement: reversing orientation cannot be detected by either spectrum.

The Huber spectral equivalence theorem says that two closed curvature-$-1$ hyperbolic surfaces have the same Laplacian spectrum, with multiplicities, if and only if they have the same unmarked length spectrum, with multiplicities. One may consistently count unoriented closed geodesics including their iterates; alternatively, the primitive multiset determines the multiset with iterates and conversely. This equivalence comes from the Selberg trace formula.

The Buser finite length spectrum theorem is the finite-determination ingredient: for each $g\ge 2$ and $\epsilon >0$ there is a finite number $L(g,\epsilon )$ such that, for any two closed hyperbolic surfaces of genus $g$ with hyperbolic systole at least $\epsilon$, equality of their length multisets through $L(g,\epsilon )$ implies equality of their entire length spectra. The finite-length statement is used in Buser's chapter on Wolpert's theorem. It determines the full spectrum, not necessarily the isometry class.

Here is a proof of the Buser finite length spectrum theorem through finite spectral matching by polynomial invariants. We use the following subsidiary results, stating the required content. First, Mumford's compactness theorem makes the part of the genus-$g$ moduli space of Riemann surfaces with hyperbolic systole at least $\epsilon$ compact. Second, marked hyperbolic holonomy representations of a closed oriented surface lift from ${\mathrm{PSL}}_2(\mathbb{R})$ to ${\mathrm{SL}}_2(\mathbb{R})$, and normalized representatives can be chosen continuously on sufficiently small parameter charts. Their hyperbolic translation length satisfiesThird, the length spectrum of a compact hyperbolic surface is locally finite, and metrics on compact marked parameter charts are uniformly bilipschitz equivalent. Finally, the Hilbert basis theorem implies that a descending sequence of algebraic sets in a finite-dimensional affine space stabilizes. These are compactness, holonomy, elementary geometric finiteness and algebraic finiteness results; none is the finite unmarked-spectrum assertion we are proving.

By compactness, finitely many relatively compact marked charts cover the thick moduli space of Riemann surfaces. Choose normalized lifted hyperbolic holonomy representations on these charts and take their compact closures. Their finite union $K$ is a compact set of determinant-one matrix tuples representing every surface in the thick part, possibly more than once. Each tuple records the images of the $2g$ generators of the fundamental group. Thus $K$ sits in a fixed finite-dimensional real matrix space. Every group word is a polynomial in these matrix entries: multiplication is polynomial, and for a determinant-one two-by-two matrix its inverse is its adjugate, also polynomial. Consequently each $q_{\gamma }$ is a polynomial on the ambient space. Squared traces remove the sign ambiguity of the lift, and $4{\cosh }^2(\ell /2)$ is strictly increasing for positive $\ell$.

Enumerate the unoriented nontrivial free homotopy classes as ${\gamma }_1,{\gamma }_2,\dots$, including the iterates, and write ${\ell }_j(x)$ for their geodesic lengths at $x\in K$. The uniform finiteness of short geodesic classes follows here directly: on each of the finitely many compact marked charts, choose a fixed reference metric $h$ and a uniform bilipschitz constant $C$. A class with ${\ell }_j(x)\le R$ somewhere on that chart has reference length at most $CR$. Only finitely many classes have that reference length, and a finite union of these finite collections is finite. In particular, for every $j$ the candidate setis finite. If two parameters in $K$ have equal lengths for classes $j,k$, then $k\in F_j$. These candidate sets depend on the fixed compact set $K$ and the source label $j$, not on the number of labels currently being matched.

For every $N$, define $E_N$ in the full ambient space of pairs of matrix tuples $(x,y)$ as follows. Require an injective choice $\sigma :\{1,\dots ,N\}\to \mathbb{N}$ with $\sigma (j)\in F_j$ andand independently require an injective choice $\tau :\{1,\dots ,N\}\to \mathbb{N}$ with $\tau (j)\in F_j$ andThere are finitely many possible pairs of choices $(\sigma ,\tau )$ because every $F_j$ is finite. For each choice these are finitely many polynomial equations. Therefore $E_N$ is a finite union of algebraic sets, hence an algebraic set. Restricting an injective matching to its first $N$ entries provesThe Hilbert basis theorem now supplies $N_0$ such that $E_N=E_{N_0}$ for all $N\ge N_0$. This step takes place in a fixed affine space and uses polynomial equations, so it gives stabilization of the actual sets, not just stabilization of germs at individual parameters.

For $(x,y)\in E_{N_0}\cap (K\times K)$, stabilization gives injective partial length matchings in both directions for every $N$. Fix any length $a>0$. Only finitely many labels have length $a$ at $x$ or at $y$, by local finiteness. Take $N$ large enough to contain every such label at $x$. Its injective matching into the labels at $y$ preserves $q_j$, and hence preserves length, so the multiplicity of $a$ at $x$ is at most its multiplicity at $y$. The reverse matching gives the opposite inequality. Thus the two multiplicities are equal for every $a$, proving equality of the entire unmarked length spectra. No assumed global matching or unjustified exchange of infinitely many neighborhoods is needed.

Finally choose a numberSuppose the two length multisets agree through $L$. For each of the first $N_0$ labels at $x$, select a distinct equal-length label at $y$, which is possible precisely because the truncated multisets agree with multiplicity. Each selected label belongs to the corresponding $F_j$. Do the same in the reverse direction. Then $(x,y)\in E_{N_0}$, and the previous paragraph proves equality of the full length spectra. Since $K$ was selected using only the fixed thick genus-$g$ parameter space, the resulting finite $L$ depends only on $g,\epsilon$. This proveswith each intersection interpreted as a multiset. By the Huber spectral equivalence theorem, the corresponding entire Laplacian spectra also agree. This is the finite matching reduction needed before the analytic and geometric rigidity steps in the Wolpert generic spectral rigidity theorem.

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.

Fix the algebraic intersection number of curves on an oriented surface by declaring $u\cdot v=+1$ when the ordered tangent pair $(u,v)$ agrees with the surface orientation. Orient an annular neighbourhood of $\gamma$ with coordinates $(\theta ,r)$ and orientation $d\theta \wedge dr$. A right-handed Dehn twist is represented there by $(\theta ,r)\mapsto (\theta +2\pi f(r),r)$, where $f$ increases from zero to one and is constant near the two boundary circles; it is the identity outside this annulus. A transverse arc gains one oriented copy of $\gamma$ per signed crossing. Consequently its homology action of a Dehn twist isReversing the orientation of $\gamma$ changes both factors' signs and leaves this expression unchanged. A separating curve has $[\gamma ]=0$, so its Dehn twist acts trivially on first homology.

The first assertion is true. Choose a basis $(a,b)$ for the first homology group of the torus with $a\cdot b=1$. The positive Dehn twists about these curves have matricesThe mapping class group of the oriented closed torus is $S{L}_2(\mathbb{Z})$, generated by $A,B$ and their inverses; the Euclidean algorithm on a primitive column gives this generation. The displayed relation rewrites those inverses as positive words:Replacing every inverse in a generating word proves the assertion. The closed torus hypothesis matters: a boundary twist is retained when a boundary circle must be fixed pointwise.

Equip the closed Riemann surface with its uniformizing hyperbolic metric. This assumption matters: arbitrary metrics can have an annular region filled by parallel simple closed geodesics. On a hyperbolic surface, a nontrivial free homotopy class has exactly one closed geodesic, and a contractible closed geodesic cannot exist. Consequently distinct disjoint simple closed geodesics are essential and nonparallel.

Cut along $k$ such geodesics. Every component has negative Euler characteristic, since disk and annulus components are excluded. If a component has genus $h$ and $b$ boundary components, its complexity is $3h-3+b$. This is nonnegative for the possible components, with equality precisely for a pair of pants. Summing over the cut components givesFor completeness, if there are $n$ components, Euler additivity gives $\sum h=g+n-k-1$, while $\sum b=2k$, which proves the identity. Hence $k\le 3g-3$. If any component has positive complexity, it contains an essential nonperipheral simple closed curve. Its unique geodesic representative stays in that component and is disjoint from the existing boundary geodesics, contradicting maximality. A maximal collection therefore cuts the surface into pairs of pants and hasThe second count follows because each pair of pants has Euler characteristic $-1$. Conversely, any topological pants decomposition can be straightened to its disjoint geodesic representatives, so this maximum is attained.

The pants decomposition graph has one vertex for each pair of pants and one edge for each glued cuff. Two cuffs on the same pant give a loop; multiple edges are allowed. It is connected and trivalent, with $V=2g-2$, $E=3g-3$ and first Betti number $E-V+1=g$. For genus three one possibility is the complete graph $K_4$. Another has vertices $C,D,E,F$, double edges $CE$ and $DF$, and single edges $CD$ and $EF$. These are nonisomorphic graphs: the second has multiple edges while $K_4$ has none.

There is an explicit diffeomorphism between the represented surfaces. In the $K_4$ decomposition, unite the pants labelled $A,B$ across their shared cuff. This union is a four-holed sphere, whose exterior cuffs lead twice to $C$ and twice to $D$. Replace the interior cuff by a simple curve separating the two $C$ cuffs from the two $D$ cuffs. The new pants $E,F$ then have double adjacencies to $C,D$ respectively, while their shared cuff gives $EF$ and the untouched original cuff gives $CD$. This is an elementary move of a pants decomposition. We have simply recut the same oriented surface, so the identity on that surface is the desired diffeomorphism between its two descriptions. The graphs do not make this evident because they record a chosen pants decomposition, which the diffeomorphism need not preserve; they also omit all lengths and twists.

A hyperbolic pair of pants is uniquely determined up to isometry by its three positive boundary lengths. Cutting along the three perpendicular seams yields two congruent right-angled hexagons, with alternating sides half the cuff lengths; hyperbolic hexagon identities determine the remaining sides. To recover the surface, choose each of the $3g-3$ cuff lengths ${\ell }_i>0$, and for each gluing choose the signed displacement ${\tau }_i$ between the seam feet. For a fixed marking and decomposition these are the Fenchel–Nielsen coordinates:Unmarked gluing displacement at one cuff is periodic modulo ${\ell }_i$; the real lift of ${\tau }_i$ remembers the marking, and a full Dehn twist changes it by ${\ell }_i$. To classify unmarked surfaces globally, take the quotient by the mapping class group, allowing changes of pants decomposition as well; if orientation is forgotten, use the extended mapping class group. Lengths alone do not determine the surface: the twists change the geometry of crossing geodesics.

Fix an oriented reference surface $S_g$. Its Teichmüller space ${\mathcal{T}}_g$ consists of pairs $(X,f)$, where $X$ is a Riemann surface and $f:S_g\to X$ is an orientation-preserving marking. Two pairs are equivalent when an orientation-preserving biholomorphism $h:X\to Y$ makes $h\circ f$ isotopic to the other marking. For $g\ge 2$, the uniformization theorem identifies these with marked hyperbolic metrics. The space is a complex manifold of complex dimension $3g-3$, and Fenchel–Nielsen coordinates identify its underlying real manifold with ${\mathbb{R}}^{6g-6}$. For the analytic argument below, the essential property is that these are real-analytic coordinates and the length ${\ell }_{\gamma }(X)$ of every fixed closed curve class is a real-analytic function on Teichmüller space. The length and twist coordinates are not themselves holomorphic coordinates.

The Wolpert generic spectral rigidity theorem says that, for each $g\ge 2$, there is a closed proper real-analytic subset ${\mathcal{E}}_g\subset {\mathcal{T}}_g$, of positive codimension, such that if $X\notin {\mathcal{E}}_g$ and $Y$ has the same Laplace-Beltrami operator spectrum as $X$, then $X,Y$ are isometric. Equivalently, a generic compact hyperbolic surface is determined by its unmarked length spectrum, with multiplicities. “Isometric” allows reversal of orientation: an unoriented spectrum cannot distinguish a surface from its complex conjugate.

Two major proof steps explain both parts of this conclusion. First is the analytic reduction to finitely many possible spectral matchings locally. The Selberg trace formula identifies the Laplacian spectrum with the unmarked length spectrum. A finite collection of marked length functions determines the length and twist parameters: include pants cuffs and enough transverse curves to determine each twist and its sign. For each assignment of those curves to lengths in a putative partner, the equalities of length functions are real-analytic equations. Uniform length cutoffs on a neighbourhood, bounded geometry of isospectral partners and the discreteness of the length spectrum give local finiteness of the possibilities; finite-length determination of the full spectrum allows the remaining conditions to be reduced to finitely many analytic equations. Thus this is a locally finite analytic problem, not an uncontrolled union of zero sets indexed by infinitely many arbitrary permutations. The role of this step is to put exceptional isospectral coincidences into real-analytic loci and ultimately to give a closed analytic exceptional set.

Second is the geometric recognition of the matchings that can persist on an open set. Such a matching produces identities between length functions as the length and twist parameters vary. Pinching a pants cuff makes its hyperbolic collar wide: by the collar lemma, any crossing curve acquires length tending to infinity, whereas disjoint curves can stay bounded. Varying cuffs and twists separately, together with the hyperbolic trace and hexagon identities for neighbouring pants, identifies which persistent matches preserve simple curves, disjointness and the gluing data. The resulting persistent transformation is induced by a mapping class, possibly with orientation reversal, and so it only gives an isometry of the underlying surfaces. Every other local matching imposes a nonidentical real-analytic equation, whose zero set has positive codimension. Removing these proper exceptional loci proves generic rigidity. The geometric step is indispensable: analyticity alone would not exclude an entire open family of distinct surfaces with the same unmarked length spectrum.

A related useful consequence is that a fixed hyperbolic surface has only finitely many isometry classes of isospectral partners. The common length spectrum fixes the systole, so the partners lie in a compact thick part of moduli space. If distinct partners converged, choose local markings and a finite determining collection of curves. Their lengths converge, but belong to the same discrete length spectrum, so eventually every one of these finitely many lengths is constant. The determining collection then forces the marked metrics to coincide, a contradiction. This compactness-and-discreteness argument proves finiteness; the additional geometric recognition step above is what strengthens it to the generic uniqueness asserted by Wolpert's theorem.

For fixed $g\ge 2$, Mumford's compactness theorem states thatHere ${\mathcal{M}}_g$ is the unmarked moduli space of Riemann surfaces, with its usual topology, and the hyperbolic systole is the shortest nonconstant closed hyperbolic geodesic, in Gaussian curvature $-1$. Equivalently, a subset of ${\mathcal{M}}_g$ is relatively compact exactly when its hyperbolic systoles have a common positive lower bound.

We use two standard structural results. The Bers pants decomposition theorem provides a constant $B_g$ such that every closed genus-$g$ hyperbolic surface has a pants decomposition with all $3g-3$ cuff lengths at most $B_g$. For a fixed topological pants decomposition, the Fenchel–Nielsen coordinates identify Teichmüller space withThe length coordinates are ${\ell }_i$, and the twist coordinates ${\tau }_i$ are measured in length units: a full Dehn twist changes ${\tau }_i$ by ${\ell }_i$. Reconstruction from these coordinates is continuous; locally the marked metrics can be chosen to vary smoothly on a fixed reference surface, and the quotient by the mapping class group is the Hausdorff moduli space of Riemann surfaces.

Take any sequence in ${\mathcal{M}}_g^{\epsilon }$. The pants decompositions supplied by the Bers pants decomposition theorem have cuff lengths in $[\epsilon ,B_g]$. There are finitely many topological types of pants decomposition: their dual graphs have $2g-2$ vertices and $3g-3$ edges, with loops and multiple edges allowed, giving finitely many finite graphs. Choose a subsequence of one type, and choose markings carrying each decomposition to a fixed reference one. Compose these markings with Dehn twists so that $0\le {\tau }_i\le {\ell }_i$. The resulting points of Teichmüller space lie in the compact boxThey therefore have a convergent subsequence inside Teichmüller space; its continuous projection gives a convergent subsequence in the moduli space of Riemann surfaces. If $\epsilon >B_g$ the thick set is empty, which is already compact. Equivalently, using all the finitely many reference decompositions gives a finite union of compact projected boxes containing the whole thick set.

Finally the hyperbolic systole is continuous. Nearby marked hyperbolic surfaces admit metric comparisons with bi-Lipschitz distortion tending to one; the length of every loop, and hence the infimum over all essential loops, obeys the same multiplicative comparison. Therefore ${\mathcal{M}}_g^{\epsilon }$ is closed in that compact union and is compact. A compact subset has a positive minimum hyperbolic systole, proving the converse characterization of relative compactness. This theorem concerns the unmarked quotient: repeated Dehn twists can give an unbounded sequence in Teichmüller space while leaving the underlying surface and its hyperbolic systole unchanged.

The study of deformations and markings of Riemann surfaces, using quasiconformal maps, holomorphic quadratic differentials, extremal length and the mapping class group.