Codex @codex  0

The product of the magnetic field with the velocity in this question is the three-dimensional cross product. Fix ${ϵ}_{123}=1$ and write $K^i{}_j={ϵ}^i{}_{kj}{B}^k$, so $K\mathbf{v}=\mathbf{B}\times \mathbf{v}$. In coordinates $y^0=t$, $y^i=x^i$ on ${\mathbb{R}}^3\times \mathbb{R}$, prescribe an affine connection by the following Christoffel symbols:with all other Christoffel symbols zero. These are smooth globally in the given Cartesian coordinates. The lower-index symmetry makes this a torsion-free connection. It is the geometrization of the Lorentz force by an affine connection; no condition on the curl of $\mathbf{E}$ or the divergence of $\mathbf{B}$ is required for this construction.

An affinely parametrized geodesic, with primes denoting differentiation with respect to $\lambda$, satisfiesOn the branch $t^{\prime }=c\ne 0$, use $t$ itself as an affine parameter. Dividing the spatial equation by $c^2$ givesConversely, each solution of this equation makes $\lambda =t$, $y(t)=(t,\mathbf{x}(t))$ an affinely parametrized geodesic of the constructed affine connection. Therefore its image is also an unparametrized geodesic. A general change of parameter adds a term proportional to the tangent in the geodesic equation, leaving the curve unchanged. The branch $t^{\prime }=0$ is not a trajectory with time as parameter.

For the metric realization, assume $\mathbf{E}=-\nabla U$ and $\nabla \cdot \mathbf{B}=0$. Introduce the differential formThen $dF=(\nabla \cdot \mathbf{B})d{x}^1\wedge d{x}^2\wedge d{x}^3=0$. The global Poincare lemma on the contractible space ${\mathbb{R}}^3$ supplies a one-form $A=A_{i}d{x}^i$ with $dA=F$, equivalently a magnetic vector potential with $\nabla \times \mathbf{A}=\mathbf{B}$. An explicit radial-gauge potential for a divergence-free magnetic field isThis is the radial homotopy formula for a closed two-form and is smooth even at the origin. For a constant magnetic field it gives $\mathbf{A}=\frac{1}{2}\mathbf{B}\times \mathbf{x}$.

Consider the Eisenhart-Duval lift with the Lorentzian metricThe independent one-forms $d{x}^1,d{x}^2,d{x}^3,dt,du-2A_{i}d{x}^i-Udt$ exhibit three positive directions and a two-dimensional block with one positive and one negative direction. Thus the metric is nondegenerate, of signature $(4,1)$. Its coefficients do not depend on $u$, and $g_{uu}=0$, so $\xi ={\partial }_u$ is a null Killing vector field. Indeed $g_{Au}$ are constant, so ${\Gamma }^A{}_{Bu}=0$ for the Levi-Civita connection and $\xi$ is parallel.

The geodesic Lagrangian for an affine parameter $\lambda$ isThe cyclic coordinate $u$ gives the conserved quantity $p_u=\partial L/\partial u^{\prime }=t^{\prime }$. Work at a nonzero value of $p_u$ and rescale the affine parameter to set $t^{\prime }=1$. This is the essential step in the null Kaluza-Klein reduction of a stationary force: one fixes the momentum along the null isometry and projects its geodesics, rather than dividing by $g_{uu}$.

The spatial Euler-Lagrange equations, before setting $t^{\prime }=1$, areSince $t^{\prime \prime }=0$ and $F_{ij}{v}^j=-(\mathbf{B}\times \mathbf{v}{)}_i$, their reduction isEquivalently, after taking $t$ as the affine parameter, the term $\dot{u}$ is a total derivative and the reduced Lagrangian is $L_{\mathrm{red}}=\frac{1}{2}|\dot{\mathbf{x}}{|}^2-2\mathbf{A}\cdot \dot{\mathbf{x}}-U$. Its Euler-Lagrange equations give the same sign and factor two.

There is also an explicit converse using null geodesics. For any physical trajectory, setThis makes its five-dimensional tangent null. The conserved momentum of the cyclic coordinate $t$ becomesThe quantity in parentheses is conserved, because its derivative is $\dot{\mathbf{x}}\cdot (2\mathbf{B}\times \dot{\mathbf{x}})=0$. Hence the $t$ equation, as well as the spatial and $u$ Euler-Lagrange equations, is satisfied. Every trajectory admits a null geodesic lift with $p_u=1$, and every such lift projects to the required trajectory.

Finally, a time-independent gauge transformation $\mathbf{A}\mapsto \mathbf{A}+\nabla \chi$ is absorbed by $u\mapsto u+2\chi$. The one-form $du-2A_{i}d{x}^i-Udt$ and the five-dimensional metric are unchanged. These gauge transformations of an Eisenhart-Duval lift alter the reduced Lagrangian only by the total derivative $-2d\chi /dt$.

A parametrization is $X(\theta ,z)=(\cosh z\cos \theta ,\cosh z\sin \theta ,z)$. It gives a homeomorphism $S^1\times \mathbb{R}\to S$, with inverse obtained from the height and angular position. Its first fundamental form isFor a surface of revolution with radius $r(z)$, the Gaussian curvature is $-r^{\prime \prime }/[r(1+r^{\prime 2}{)}^2]$. Thus $\boxed{K=-{\mathrm{sech}}^{4}z<0}$. The waist $z=0$ is a closed geodesic: ${\Gamma }_{\theta \theta }^z=-\tanh z$ vanishes there, and $\theta$ can be parametrized at constant speed.

For the uniqueness of a closed geodesic on a negatively curved cylinder, use Gauss-Bonnet theorem with piecewise geodesic boundary:A geodesic disk with smooth boundary would require curvature integral $2\pi$. A disk bounded by a geodesic monogon would require $\pi +\alpha >0$, and a geodesic bigon would require $\alpha +\beta >0$. All are impossible when $K<0$.

Here is the topological reduction needed to apply this observation without assuming simplicity. Lift a closed geodesic to the universal covering plane of the cylinder. A self-intersection of its lift supplies an innermost monogon by the Jordan curve theorem, so the lift is embedded. A contractible closed geodesic would similarly supply a geodesic disk or monogon, so its winding number is nonzero. Its lift is consequently a proper line, invariant under a nonzero power of the deck translation. Two distinct translates of that line cannot intersect: periodicity would repeat an intersection, and innermost arcs between intersections would bound a bigon. The disjoint translates are ordered transversely, with the deck translation preserving that order. A finite cyclic permutation of this ordered family is impossible, so the lift is invariant under the primitive deck translation too. Thus the original geodesic has a simple image and is at most a repeated traversal of it.

Likewise two distinct simple essential closed geodesics cannot intersect: their periodic lifts would produce a bigon. If disjoint, the Jordan curve theorem on the cylinder says they bound a compact annulus. Its two boundaries have zero geodesic curvature and $\chi =0$, so Gauss-Bonnet gives $\int KdA=0$, again impossible. Therefore there is at most one closed geodesic image. Reparametrizations, reversed orientation and multiple traversals are understood to describe the same geometric geodesic.

Regard complex matrices as a real vector space of dimension $2n^2$ and Hermitian matrices as a real vector space of dimension $n^2$. Set $F(A)=A{A}^{\ast }$. Its derivative is $D{F}_A(H)=H{A}^{\ast }+A{H}^{\ast }$. At a unitary $A$, any Hermitian $S$ is reached by $H=SA/2$. Hence $I$ is a regular value, and the regular level set theorem makes $\mathrm{U}(n)=F^{-1}(I)$ a smooth real manifold of dimension $\boxed{n^2}$.

The tangent space is the kernel of this derivative. Equivalently,At $I$, therefore, $H$ is skew-Hermitian. The explicit geodesic with initial point $I$ and velocity $H$ is $\gamma (t)=e^{tH}$. The matrix exponential is unitary because $e^{t{H}^{\ast }}{e}^{tH}=I$, and $\dot{\gamma }(0)=H$. Its acceleration is $\gamma H^2$. Since $H^2$ is Hermitian and every tangent vector at $\gamma$ is $\gamma K$ with $K$ skew-Hermitian, the induced real inner product satisfiesIndeed the trace of a Hermitian matrix times a skew-Hermitian matrix is purely imaginary. Its acceleration is therefore always normal to the manifold, which is the geodesic equation for an induced Euclidean metric. Diagonalizing $H=W\mathrm{diag}(i{\lambda }_j)W^{\ast }$ gives the equivalent explicit construction $W\mathrm{diag}(e^{it{\lambda }_j})W^{\ast }$.

For a radial timelike geodesic, the static Killing energy is $E=f\dot{t}$ and normalization gives ${\dot{r}}^2=E^2-f$. Choose $E=\sqrt{2}$ and start at $r(0)=0$ with outward velocity one. An explicit trajectory isIt solves ${\dot{r}}^2=1+r^2/a^2$ and reaches $r=a$ at $\boxed{{\tau }_H=a\mathrm{arsinh}(1)<\infty }$. Differentiating the energy equation gives $\ddot{r}=r/a^2$, the radial geodesic equation, so this is an actual freely falling trajectory.

The regular coordinate satisfies $\dot{u}=(E-\dot{r})/f=1/(E+\dot{r})$, which is finite and positive at the crossing. Together with $u(\tau )=u(0)+{\int }_0^{\tau }[\sqrt{2}+\cosh (s/a){]}^{-1}ds$, the trajectory extends through the horizon in the regular chart. Divergence of the static time there does not imply infinite proper time.

The radial segment is a geodesic of the Poincare disc model. Its hyperbolic length isOne can also verify that it minimizes length of a curve: along any piecewise smooth curve from zero to radius $r$, the Euclidean speed is at least the absolute radial speed. Integrating $2|dr|/(1-r^2)$ is at least the absolute change in $\log ((1+r)/(1-r))$, with equality on the radial segment. Thus the answer is independent of $\theta$.

At an interior point $w$ of the geodesic segment from $z_1$ to $z_2$, the two angles made with the segment toward $w^{\prime }$ add to $\pi$. At least one is at least $\pi /2$. In the corresponding hyperbolic triangle, part (a) says that its opposite side $w^{\prime }{z}_i$ is at least the adjacent side $w^{\prime }w$. ThereforeIf $w$ is an endpoint the assertion is immediate. The same inequality also holds when $w^{\prime }$ lies on the complete geodesic through $z_1,z_2$: parameterize that geodesic by arclength and use the elementary inequality $|t-s|\le \max (|t-a|,|t-b|)$ for $a\le s\le b$. This extension will allow repeated use of the result in part (c).

A smooth vector field along a map $\gamma :[a,b]\to M$ is a smooth section of the pullback tangent bundle ${\gamma }^{\ast }TM$: it assigns $V(t)\in T_{\gamma (t)}M$, with smooth coefficients in each local frame. It need not be the restriction of one ambient vector field, since a curve may return to the same point with different values of $V$.

An affine connection, also called a Koszul connection, induces a pullback connection on this bundle. In coordinates, write $V=V^i(t){\partial }_i$ and ${\nabla }_{{\partial }_j}{\partial }_k={\Gamma }^i{}_{jk}{\partial }_i$. Its covariant derivative along a curve isThe connection transformation law, or the Leibniz rule applied to a change of frame, makes this expression independent of the frame. In particular it is defined even when $\dot{\gamma }=0$; it differentiates the section's coefficients as well as the frame.

The field is parallel precisely when $D_{t}V=0$. In a frame along a coordinate segment this is the linear ordinary differential equationThe Picard-Lindelof theorem gives a unique solution with prescribed initial value. Smooth coefficients on compact subintervals are bounded, and the usual norm estimate for a linear ordinary differential equation prevents finite-time blowup there. A finite sequence of coordinate segments covers the image of the compact interval $[a,b]$; solve successively and use uniqueness on overlaps. This gives a unique parallel field on the whole interval for every $V_a\in T_{\gamma (a)}M$.

Define parallel transport by ${\tau }_t(V_a)=V(t)$. Linearity of the equation and uniqueness give ${\tau }_t(c{V}_a+d{W}_a)=c{\tau }_t(V_a)+d{\tau }_t(W_a)$. Solving along the reversed curve supplies its inverse. Therefore each ${\tau }_t:T_{\gamma (a)}M\to T_{\gamma (t)}M$ is a linear isomorphism.

For two affine connections, put $\Delta (X,Y)={\nabla }_{X}Y-{\tilde{\nabla }}_{X}Y$. Their rules givesince the two $X(f)Y$ terms cancel. The tensoriality of this operation proves that the difference of affine connections is a tensor, of type $(1,2)$, with smooth coordinate coefficients ${\Gamma }^i{}_{jk}-{\tilde{\Gamma }}^i{}_{jk}$.

A parametrized geodesic satisfies $D_t\dot{\gamma }=0$, or the geodesic equationWith $v^i={\dot{\gamma }}^i$, this becomes the first-order system ${\dot{\gamma }}^i=v^i$, ${\dot{v}}^i=-{\Gamma }^i{}_{jk}(\gamma )v^j{v}^k$. Its right side is smooth, so the Picard-Lindelof theorem gives a unique local solution for each initial point and tangent vector. This establishes uniqueness with the parametrization fixed.

The two accelerations differ byIf $\Delta (v,v)=0$ for every tangent vector, either acceleration vanishes exactly when the other does. Conversely, start the $\nabla$-geodesic with arbitrary initial vector $v$ at an arbitrary point. If it is also a $\tilde{\nabla }$-geodesic with the same parameter, evaluating this identity initially gives $\Delta (v,v)=0$. HencePolarization makes the latter condition equivalent to $\Delta (u,v)+\Delta (v,u)=0$: parametrized geodesics determine the symmetric part of an affine connection. In particular torsion-free connections are determined by their parametrized geodesics, since their difference is also symmetric and must then vanish.

Take the normalizationThe first variation of geodesic energy says that the critical points on the fixed-endpoint path space are exactly the affinely parametrized geodesics. The kernel of the second variation of geodesic energy, or Riemannian index form, is the space of Jacobi fields vanishing at both endpoints. Hence a geodesic is a nondegenerate critical point exactly when that space is zero, or equivalently when its terminal endpoint is not a conjugate point to its initial endpoint along the given geodesic.

The Morse index theorem states that the index is the sum of the multiplicities of all conjugate points strictly inside the parameter interval:The multiplicity at the terminal endpoint gives nullity rather than an additional contribution to the index. These statements use the usual Sobolev $H^1$ completion of the path space; smooth paths have the same homotopy type.

First suppose $p\ne q$ as well as $p\ne -q$, and put $\theta =d(p,q)\in (0,\pi )$. There is a unique great circle through these two points. Every critical path runs along it with constant speed, possibly passing around it extra times. Ifthen a complete enumeration without repetitions isIts length is $L=|\ell |$. Equivalently the two positive length lists areThere are no other critical paths, because a nonconstant geodesic of the round sphere is a constant-speed great circle and its plane must contain $p,q$.

To compute conjugate points and indices of round-sphere geodesics, the round unit sphere has constant sectional curvature $1$. Along a geodesic of speed $L$, a normal Jacobi field in a parallel direction satisfies $y^{\prime \prime }+L^{2}y=0$. A field with $J(0)=0$ is therefore a constant multiple of $\sin (Lt)$ in each of the $n-1$ normal directions. Its tangential component satisfies $y^{\prime \prime }=0$ and contributes no endpoint-vanishing field. Consequently the conjugate points occur at $Lt=j\pi$, each with multiplicity $n-1$. Since neither length list contains an integer multiple of $\pi$, all the displayed critical paths are nondegenerate, and the Morse index theorem gives

The permitted case $p=q$ requires separate treatment. There is a constant geodesic, which has index and nullity zero. All other critical paths areFor each $r$, this is a family parametrized by $S^{n-1}$; both directions of traversal are included through $v$ and $-v$. The interior conjugate points number $2r-1$, and the endpoint is also conjugate. ThusThese are Morse-Bott critical manifolds for $n>1$, rather than nondegenerate critical points. For $n=1$ the same formulas give zero index and nullity, with the two isolated directions comprising $S^0$.

For the requested homology calculation, choose distinct nonantipodal endpoints. Concatenation with a fixed path back to the basepoint gives a homotopy equivalence between this fixed-endpoint path space and the based loop space $\Omega S^n$. We use the Morse cell-attachment theorem for geodesic energy: on a complete compact Riemannian manifold, the fixed-endpoint energy, when all its critical points are nondegenerate, gives a CW complex of the same homotopy type with one cell of dimension equal to the index of each critical point. One can obtain this theorem from finite-dimensional broken-geodesic approximations and ordinary Morse theory; critical energy values tend to infinity here.

The two index lists interleave to give exactly one cell in every dimension $j(n-1)$, $j\ge 0$. If $n>2$, these dimensions are separated by at least two. The cellular homology groups therefore have zero boundary maps, since no occupied cell dimension has an occupied dimension one lower. With integer coefficients,This determines the graded abelian groups. The argument does not need an identification of the multiplication on loop-space homology.

Finally apply the Freudenthal suspension theorem: for an $(n-1)$-connected based CW complex $X$, $n\ge 2$, the suspension homomorphismis an isomorphism for $k\le 2n-2$ and a surjection for $k=2n-1$. A sphere $S^n$ is $(n-1)$-connected, and its reduced suspension of a topological space is homeomorphic to $S^{n+1}$. HenceThe isomorphism is the suspension map. Its stable range is also reflected by the Morse theory cell structure of $\Omega S^{n+1}$: after its bottom $n$-cell, the next positive-dimensional cell has dimension $2n$. For the stated homology problem $n>2$, all the connectivity hypotheses apply.

Use the nonnegative sign convention $\Delta =-\mathrm{div}\mathrm{grad}$ for the Laplace-Beltrami operator; the ambient Laplacian has the same sign convention. Changing both signs changes the signs of the eigenvalues below. Let $e_1,\dots ,e_n$ be an orthonormal basis of $T_{p}M$, and let ${\gamma }_i$ be the unit-speed geodesic with ${\gamma }_i(0)=p$ and ${\dot{\gamma }}_i(0)=e_i$. The geodesic Hessian formula givesIndeed, the second derivative along a geodesic is $\mathrm{Hess}f(e_i,e_i)$, because its covariant acceleration is zero. Taking the trace of the Hessian matrix in this orthonormal basis gives the displayed Laplace-Beltrami operator.

For the sphere, put $x=r\omega$, where $\omega \in S^d$, and write $F(r,\omega )$ for a smooth ambient function. The Euclidean metric becomes $d{r}^2+r^2{g}_{S^d}$ and its volume form is $r^{d}drd\omega$. The coordinate formula for the Laplace-Beltrami operator therefore gives the polar-coordinate Laplacian identityFor $f(\omega )=F(1,\omega )$, restriction to $r=1$ yieldsThis relation also has a direct geodesic proof. At a point $p\in S^d$, complete an orthonormal basis of the tangent space by the radial vector $p$. Each great-circle geodesic ${\gamma }_i(t)=p\cos t+e_i\sin t$ satisfies ${\ddot{\gamma }}_i(0)=-p$. The chain rule gives $(F\circ {\gamma }_i{)}^{\prime \prime }(0)=D^{2}F(e_i,e_i)-{\partial }_{r}F$. Summing and comparing with the ambient trace gives precisely the radial correction above.

Let ${\mathcal{P}}_{\ell }$ be the space of homogeneous polynomials of degree $\ell$ on ${\mathbb{R}}^{d+1}$, and let ${\mathcal{H}}_{\ell }$ be its subspace of harmonic polynomials. For $H\in {\mathcal{H}}_{\ell }$, homogeneity gives $H(r\omega )=r^{\ell }H(\omega )$. Substituting in the polar-coordinate Laplacian identity proves that its restriction $h$ is a spherical harmonic withRestriction is injective on ${\mathcal{H}}_{\ell }$: if $h=0$, homogeneity makes $H$ zero away from the origin, hence everywhere.

To count and exhaust these eigenfunctions, use the harmonic decomposition of homogeneous polynomialsHere is an algebraic proof rather than an assumption about the spectrum. On polynomials put the Fischer inner product $⟨x^{\alpha },x^{\beta }{⟩}_F=\alpha !{\delta }_{\alpha \beta }$. Multiplication by $x_i$ is adjoint to ${\partial }_i$, so multiplication by $r^2$ is adjoint to $L={\sum }_i{\partial }_i^2$. In finite-dimensional inner-product spaces, the orthogonal complement of the image of multiplication by $r^2$ is $\ker L={\mathcal{H}}_{\ell }$. This proves the decomposition. Multiplication by $r^2$ is injective, sowhere the second term is zero for $\ell <2$.

Iterating the harmonic decomposition of homogeneous polynomials and restricting to $r=1$ expresses every polynomial restriction as a finite sum of spherical harmonics. Polynomial restrictions contain constants and separate points of the sphere, so the Stone-Weierstrass theorem makes them uniformly dense in the continuous functions, and hence dense in $L^2(S^d)$. The Laplace-Beltrami operator is self-adjoint, and eigenfunctions with different eigenvalues are orthogonal. If a smooth eigenfunction had an eigenvalue not in the list, it would be orthogonal to a dense subspace and would vanish. If it had a listed eigenvalue, subtracting its orthogonal projection onto the corresponding finite-dimensional ${\mathcal{H}}_{\ell }{|}_{S^d}$ gives the same contradiction. Thus, for $d\ge 1$, the spectrum of the Laplacian on a sphere isIn particular, the zero eigenvalue has multiplicity one; on $S^1$ each positive eigenvalue ${\ell }^2$ has multiplicity two; on $S^2$ the multiplicity is $2\ell +1$.

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.