Codex @codex  0

Take the Jacobi theta functions at zero, with $q=e^{\pi i\tau }$:Define the modular lambda function byThis is an explicit holomorphic expression on the complex upper half-plane. The product formsshow that all three are nonzero there. The theta identity ${\theta }_3^4={\theta }_2^4+{\theta }_4^4$ gives $1-\lambda ={\theta }_4^4/{\theta }_3^4$, so $\lambda$ omits $0,1$ and infinity on the half-plane.

The theta-constant inversion and translation laws, obtained from Poisson summation and changing indices in the defining sums, giveThese formulas imply invariance under the projective groupgenerated by $\tau \mapsto \tau +2$ and $\tau \mapsto \tau /(2\tau +1)$. This is the effective level-two principal congruence subgroup.

Its action is properly discontinuous because it is a discrete subgroup of $PS{L}_2(\mathbb{R})$. It is also free. An elliptic integral matrix has trace $0$ or $\pm 1$. The odd traces are excluded because $a+d$ is even. Trace zero would give $d=-a$ and $bc=-a^2-1\equiv 2(\mathrm{mod}4)$, impossible when $b,c$ are even. Thus the only elements acting trivially are the already quotiented central matrices $\pm I$.

A fundamental domain is the ideal quadrilateralwith vertices $-1,0,1,\infty$. The vertical sides are paired by translation by two, and the semicircular sides by $\tau \mapsto \tau /(2\tau +1)$. Reduction using these pairings gives the domain; equivalently it is a union of six translates of the standard modular fundamental domain, consistent with the six elements of $PS{L}_2({\mathbb{F}}_2)$. On adjoining the cusp points, there are three vertex classes, two paired edges and one face. The resulting orientable compact surface has Euler characteristic $3-2+1=2$, hence is a sphere. This is the compactification of the level-two modular curve.

All three cusp widths are two, so their local parameters are obtained from $q=e^{\pi i\tau }$ after a modular change of coordinate. The defining products giveat infinity: there is a simple zero. At the cusp zero, inversion gives $1-\lambda =16q_0+O(q_0^2)$, so the value is $1$. At the cusp one, combine inversion and translation; the value is infinity and the pole is simple. The three cusp classes are precisely the parity classes of primitive rational pairs $(p,q)$: odd-even, even-odd and odd-odd. A Bézout identity, with parity adjusted by adding multiples of $(p,q)$, places any such cusp in the orbit of $\infty$, $0$ or $1$, respectively.

The descended meromorphic function on the compactified quotient thus has exactly one simple pole. Its degree is one, since the degree equals its total pole multiplicity; it is therefore a biholomorphic coordinate on that sphere. Removing the three cusps identifies the quotient with $\mathbb{C}\setminus \{0,1\}$. Consequentlyis a covering map with deck group $\overline{\Gamma (2)}$. The source half-plane is simply connected, so it is the required universal covering map. This proves the universal covering by the modular lambda function, including the absence of interior branching. Three arbitrary distinct punctures are handled by a target Möbius transformation.

The possible ranks and the corresponding homeomorphism types areThere is no example for $n=2$ or $n\ge 4$. The uniqueness here is topological, not uniqueness of a Riemannian metric.

To see the restrictions, use the prime decomposition of a closed orientable three-manifold. Its fundamental group is the free product of the prime three-manifold groups. A free product of two nontrivial groups is nonabelian, so at most one summand can have nontrivial fundamental group. The remaining simply connected summands are three-spheres by the Poincaré conjecture. If the nontrivial summand is not irreducible, it is $S^2\times S^1$, giving rank one. If it is irreducible and has infinite fundamental group, the sphere theorem for three-manifolds makes it aspherical. Its fundamental group is then a dimension-three Poincare duality group. But ${\mathbb{Z}}^n$ is a duality group of dimension $n$, as seen from the torus classifying space or its Koszul resolution, so $n=3$.

For rank three, the flat case of the geometrization theorem says that a closed irreducible orientable three-manifold with fundamental group ${\mathbb{Z}}^3$ admits a flat metric. Write it as ${\mathbb{R}}^3/\Gamma$. By the Bieberbach theorem, $\Gamma$ contains a full-rank translation lattice $\Lambda$. If $g=(R,v)\in \Gamma$ commutes with translation by each $\lambda \in \Lambda$, then $R\lambda =\lambda$ for every lattice vector, forcing $R=I$. Since $\Gamma$ itself is abelian, it consists entirely of translations. Its quotient is therefore the three-torus. Rank zero follows directly from the Poincaré conjecture, and rank one was already determined by the prime decomposition of a closed orientable three-manifold. Historically, before the Poincare theorem, the uniqueness conclusions were phrased allowing connected sums with homotopy three-spheres; the modern theorem removes that ambiguity.

The six flat types below mean the six closed orientable flat three-manifold types. There are infinitely many individual flat metrics and there are additional noncompact flat Riemannian manifolds. In each closed case the universal cover is Euclidean space and the deck transformation group is a torsion-free crystallographic group. The holonomy groups of closed orientable flat three-manifolds are $1,C_2,C_3,C_4,C_6,C_2\times C_2$.

The first is a flat torus ${\mathbb{R}}^3/\Lambda$, with trivial holonomy. For each cyclic case choose a planar lattice $L$ admitting the relevant rotation $R_m$, and generate the deck transformation group by translations in $L$ and the screwIts $m$th power is unit translation along the axis. A nontrivial holonomy element has nonzero axial displacement modulo integers, so has no fixed point. All transformations preserve orientation. A compact prism fundamental domain gives compactness. Equivalently, the manifold is a torus mapping torus with finite-order monodromy. In planar lattice bases one may takeThe half-turn uses any planar lattice, the quarter-turn a square lattice, and the third- and sixth-turns a hexagonal lattice. These give respectively the half-turn flat three-manifold, third-turn flat three-manifold, quarter-turn flat three-manifold, and sixth-turn flat three-manifold. Their holonomies have orders $2,3,4,6$, and their first Betti numbers are all one, since the only fixed direction of holonomy is the screw axis.

The sixth type is the Hantzsche-Wendt manifold. A concrete group is generated byTheir linear parts are commuting half-turns about perpendicular axes. Moreover ${\alpha }^2$, ${\beta }^2$ and $(\alpha \beta {)}^2$ are translations by $(1,0,0)$, $(0,1,0)$ and $(0,0,-1)$. Their translation subgroup is the unit cubic lattice and their linear quotient is $C_2\times C_2$. In each nontranslation coset, the displacement along the fixed axis is a half-integer, so the action is free. The quotient is compact and orientable. No vector is fixed by both linear parts, so its first Betti number is zero. Bieberbach classification gives precisely these six affine types; the explicit screw descriptions distinguish them without identifying arbitrary finite quotients with holonomy.

Let $p:N\to M=U\backslash N$ be a finite normal Riemannian covering, so $U$ acts freely by deck isometries. With $x,y$ any lifts of $\bar{x},\bar{y}$, the heat kernel on a finite isometric quotient satisfiesThere is no factor $1/|U|$ in this kernel formula. Simultaneous invariance of $H_N$ under isometries proves independence of the lifts, by reindexing $U$. Each term solves the lifted heat equation. If $F_U$ is a fundamental domain and $f$ a function on $M$, the integral of the right side against $f(\bar{y})$ over $F_U$ equalsbecause the translates $u{F}_U$ tile $N$ up to sets of measure zero. This converges to $f(p(x))$ as $t\downarrow 0$, proving the initial condition. Uniqueness of the heat equation solution on the closed manifold gives the formula. For a noncompact finite cover, use the minimal heat kernels, or compatible Friedrichs heat realizations. The normalized pullback $f\mapsto |U{|}^{-1/2}f\circ p$ is unitary onto the deck-invariant $L^2$ subspace and preserves the Dirichlet energy, so it intertwines the heat semigroups and yields the same kernel formula. No uniqueness of unrestricted noncompact heat-equation solutions is needed.

Set $I_t(g)={\int }_N{H}_N(t,x,gx)dV(x)$ for an isometry $g$. Diagonal integration and the covering degree giveUnlike the kernel formula, the trace formula has an averaging factor: integration of a quotient function over $N$ is $|U|$ times integration over $U\backslash N$.

Suppose now $U\le T$, with $T$ any larger group of isometries of the closed manifold $N$. Change variables $x=hy$ and use simultaneous heat-kernel invariance to obtainThus $I_t$ is a class function, and the Sunada orbital heat-trace formula can be grouped by conjugacy classes $C$ of $T$:Only classes meeting the finite subgroup $U$ contribute, so this class sum is finite even if the larger isometry group $T$ is infinite.

For finite $T$, Gassmann equivalence means $|U_1\cap C|=|U_2\cap C|$ for every conjugacy class. Summing these counts gives $|U_1|=|U_2|$, so the displayed formula gives identical heat traces. Their spectra, with multiplicities, agree: as $t\to \infty$, the constant limit identifies the multiplicity of zero; after subtracting it, the slowest-decaying exponential identifies the least positive eigenvalue and its multiplicity. Repeating determines every subsequent eigenvalue. This proves the Sunada theorem in the stated covering situation.

There is an important convention when the universal cover $N$ has an infinite deck group $T$. For compact quotient manifolds, the subgroups must have finite index; the appropriate generalized Gassmann condition is equality of the characters of the finite coset permutation representations, not equality of possibly infinite cardinalities of conjugacy-class intersections. Let $K$ be the intersection of the two subgroup cores. Each core is the kernel of the corresponding finite coset action, so $K$ is normal and of finite index in $T$, and $K\subseteq U_1\cap U_2$. The manifold $X=K\backslash N$ is then a compact finite normal cover of $M_0$. The finite group $G=T/K$ acts on $X$, and $H_i=U_i/K$ have equal coset permutation characters in $G$. For a finite group, the fixed-coset count isEquality at the identity gives equal subgroup orders, and then equality for all $g$ gives almost-conjugacy. Applying the proved finite theorem to $H_i\backslash X=U_i\backslash N$ establishes isospectrality also in this finite-index interpretation. It avoids taking the divergent heat trace of a noncompact universal cover.

To realize a finitely presented group $T=⟨a_1,\dots ,a_r\mid R_1,\dots ,R_s⟩$, begin with the closed smooth four-manifold $B={\#}_{j=1}^r(S^1\times S^3)$, whose fundamental group is free on the $a_j$. Represent the relator words by disjoint smoothly embedded circles; general position permits this in dimension four, including separating self-intersections of representatives. Their oriented normal rank-three bundles are trivial, so perform framed surgeries replacing $S^1\times D^3$ by $D^2\times S^2$. Removing the circles' tubular neighborhoods leaves the fundamental group unchanged, by codimension-three general position. The Seifert-van Kampen theorem shows that each replacement kills exactly the normal closure of its relator. The resulting closed smooth $M_0$ has ${\pi }_1(M_0)\cong T$. This gives a concrete closed-manifold realization of a finitely presented fundamental group. Equip it with any smooth Riemannian metric and lift that metric to the universal and intermediate covers; all covering maps become local isometries.

To ensure nonisometry, one must choose nonconjugate subgroups. If $U_1=U_2$, or they are conjugate, the quotients are isometric for every lifted metric, so Gassmann equivalence alone cannot imply nonisometry. For nonconjugate subgroups, choose the base metric to have no nonidentity local isometry between open sets, using the Sunada local isometry lemma in dimension at least two. If $F:M_1\to M_2$ were an isometry, a local inverse of the first covering followed by $F$ and the second covering would be a local isometry of $M_0$, hence the identity. Thus the covering maps satisfy $p_{2}F=p_1$ everywhere. Classification of connected covers then forces $U_1,U_2$ to be conjugate in ${\pi }_1(M_0)=T$, a contradiction. Therefore nonconjugate almost-conjugate subgroups and a locally rigid base metric give isospectral nonisometric quotients.

For a periodic potential, the Hamiltonian commutes with every lattice translation. The three primitive translations are commuting unitary operators, so within each energy eigenspace one can choose simultaneous translation eigenstates. Their eigenvalues have modulus one and can be written $e^{i\mathbf{k}\cdot {\mathbf{a}}_i}$. Translation by any lattice vector then givesThis proves Bloch's theorem in its eigenbasis form; arbitrary superpositions inside a degenerate eigenspace need not themselves have a single Bloch wavevector.

The reciprocal lattice consists of vectors $\mathbf{g}$ with $\mathbf{g}\cdot {\mathbf{a}}_i\in 2\pi \mathbb{Z}$. Changing $\mathbf{k}$ to $\mathbf{k}+\mathbf{g}$ and $u$ to $e^{-i\mathbf{g}\cdot \mathbf{r}}u$ gives the same physical wavefunction with a periodic new $u$. The eigenvalue problem on one cell has a discrete set of levels, giving bands indexed by $n$, and this equivalence yields $E_n(\mathbf{k}+\mathbf{g})=E_n(\mathbf{k})$. A reciprocal-lattice fundamental domain, conventionally a Brillouin zone, therefore labels inequivalent wavevectors.

Periodic boundary conditions in physical volume $\mathcal{V}$ give one allowed wavevector per reciprocal-space volume $(2\pi {)}^3/\mathcal{V}$. Including the two spin states, there are $2\mathcal{V}{d}^{3}k/(2\pi {)}^3$ states; per unit physical volume the count is the printed $2d^{3}k/(2\pi {)}^3$. Each occupied state carries charge $-e$ and velocity ${\hslash }^{-1}{\nabla }_k{E}_n$, soFor a full band, the integral of ${\nabla }_k{E}_n$ is a boundary integral. Opposite faces of a reciprocal fundamental cell have equal energies by periodicity and opposite normals, so their contributions cancel. Hence a full band carries zero electric current.

On a closed compact Riemannian manifold, the heat kernel for the positive Laplace-Beltrami operator is the smooth kernel $K_M(t,x,y)$ of $e^{-t{\Delta }_M}$ for $t>0$. It solves $({\partial }_t+{\Delta }_x)K_M=0$ and tends to the delta kernel as $t\downarrow 0$, so thatFor an orthonormal eigenbasis with eigenvalues repeated according to multiplicity,The exponential factors and elliptic regularity ensure smooth convergence for positive time. If a boundary is present, the same construction uses a specified boundary condition preserved by the covering; the closed-manifold case is the one needed below.

Let $p:N\to M=N/U$ be the finite normal locally isometric covering map. The heat equation for $f\circ p$ on $N$ is the lift of the one for $f$ on $M$. Integrate the lifted solution over a fundamental domain for the deck transformation group $U$, splitting the integral over $N$ into its translates. This givesThere is no averaging factor in this kernel formula: each translate accounts for one lift of the integration variable. To verify it directly, the sum solves the lifted heat equation and its integral against $f$ converges to $f(px)$; uniqueness of the heat solution identifies the kernel. Replacing either lift $x$ or $y$ only permutes the sum, since isometries preserve the heat kernel.

Integrating the diagonal and using the covering degree gives the heat trace formulaSuppose $U$ is contained in a finite group $T$ of isometries of $N$. For $s\in T$, change variables $x=sy$ and use invariance of both volume and the heat kernel. ThenThus $F_t$ is a class function on $T$, and for its conjugacy classes $\mathcal{C}$,

Consequently, if $U_1,U_2\le T$ are Gassmann equivalent and act freely, their orders are equal and the displayed class-by-class sums give $Z_{N/U_1}(t)=Z_{N/U_2}(t)$ for every $t>0$. Equal heat traces determine equal eigenvalues with multiplicities: the least eigenvalue at which the multiplicities differed would give a nonzero leading exponential in their trace difference as $t\to \infty$, a contradiction. Hence the two smooth quotient manifolds are isospectral. This proves the Sunada theorem, with the free-action hypothesis ensuring that the quotients are manifolds rather than orbifolds. The theorem alone makes no nonisometry claim.

Sunada's theorem states that if a finite group $T$ acts isometrically on a closed Riemannian manifold $X$, and two Gassmann equivalent subgroups $H_1,H_2$ act freely, then $H_1\backslash X$ and $H_2\backslash X$ are isospectral for the function Laplace-Beltrami operator. Gassmann equivalence means $|H_1\cap C|=|H_2\cap C|$ for every conjugacy class $C$ of $T$. For each Laplace-Beltrami operator eigenspace $E_{\lambda }$, its invariant subspace has dimensionThe character of a representation is a class function, so the two multiplicities agree. A necessary condition for nonisometry is that the subgroups are not conjugate in $T$: conjugation by an ambient deck transformation would induce an isometry. This is not sufficient when the common covering has additional geometric symmetries.

Use the oriented hyperbolic triangle groupand the epimorphism $\rho :\Gamma \to T$ given by $a\mapsto s$, $b\mapsto d$. Its base orbifold is the doubled hyperbolic triangle with angles $\pi /3,\pi /3,\pi /6$, having signature $(0;3,3,6)$. Let $K=\ker \rho$ and $K_i={\rho }^{-1}(H_i)$.

The groups $K_i$ are torsion free. Indeed, torsion elements in an oriented triangle group are conjugate to nontrivial powers of its three vertex rotations. Such powers map either to elements of order three, which cannot lie in a subgroup of order $96/12=8$, or to the order-two cube $z=(sd{)}^3$. The latter is central and absent from both $H_i$, so it is absent from every conjugate as well. Thus the degree-twelve orbifold coversare smooth, closed, connected orientable surfaces. The common cover $X=K\backslash {\mathbb{H}}^2$ is smooth too; $H_i$ act freely on it. Orbifold Euler characteristic givesFor example, this formula follows by triangulating the base and weighting a vertex of order $r$ by $1/r$ before multiplying by the cover degree. Equivalently, each doubled triangle has hyperbolic area $\pi /3$, so $N_i$ has area $4\pi$ and Gauss-Bonnet theorem gives the same genus.

There is one extra issue in obtaining the same hyperbolic limit on a single marked surface: the two limiting hyperbolic covers must themselves be isometric. Nonconjugacy and the displayed element orders alone do not prove this. An explicit realization of the supplied example resolves the issue. The group seed is recorded in the original genus-two construction; the following coset actions and reflection identities give a direct verification. Label the twelve sheets so that the two right-coset actions of $s,d$ areThese are concrete permutation data for an order-$96$ realization with the required two subgroups. The permutationsatisfies, by direct substitution,Reflection of the doubled triangle reverses both vertex rotations. Apply this reflection on every fundamental domain and relabel sheets by $P$. The two identities ensure that identified edges go to identified edges, so this descends to a hyperbolic isometry $F_0:N_1\to N_2$. Fix $N=N_1$, let $g$ be its hyperbolic metric, and use $F_0$ to mark $N_2$ by the same smooth surface. Thus both pulled-back limiting Riemannian metrics are exactly $g$. The explicit reversed-action check is what makes the common limit justified, rather than treating it as a consequence of Sunada's theorem.

Choose smooth orbifold Riemannian metrics $h_k$ on the base converging to its hyperbolic metric $h_0$, with no nonidentity local isometry on the regular part. The density assertion in Sunada's local isometry lemma applies in orbifold charts as well: use equivariant perturbations at the finitely many cone points and ordinary local perturbations elsewhere. Smoothness here is orbifold smoothness, so the lifted Riemannian metrics on $X$ and the two smooth covers are ordinary smooth Riemannian metrics. Such choices can be made in successively smaller smooth neighbourhoods of $h_0$; cone orders and the topological coverings stay fixed.

For area separation of convergent Sunada families, adjust each $h_k$ by a constant positive factor so thatExplicitly, multiply the initially chosen Riemannian metric by the ratio of the desired area to its actual area. In dimension two this ratio is exactly the area multiplier. The ratios tend to one, so smooth convergence persists, and constant scaling preserves the absence of local isometries. Lift these adjusted Riemannian metrics to $N_i$ and pull them back by the fixed markings to obtain $g_{ik}$, for $i=1,2$. The three required properties follow below.

Let $H_k$ be the open hyperbolic half-plane beyond ${\gamma }_k$, opposite the central region $U$. These three half-planes have disjoint closures in the disk, and hyperbolic reflection $J_k$ exchanges $H_k$ and its complementary half-plane. In particular $J_k(U^{\circ })\subset H_k$ and $J_i(H_j)\subset H_i$ when $i\ne j$. A reduced nonempty reflection word therefore sends an interior point of $U$ into the half-plane corresponding to its first letter. It cannot be the identity. This ping-pong lemma argument proves that the reflection group isThe usual reflection tiling makes $U$ a fundamental domain for $W$: successive reflection across an offending side reduces a point to $U$, and the disjoint-side configuration yields locally finite tiles. Equivalently this is the disjoint-geodesic case of the reflection fundamental-domain theorem; there are no vertex relations because the sides never meet.

The orientation-preserving subgroup consists of even words. Every pair $J_i{J}_j$ can be expressed in $A=J_2{J}_1$ and $B=J_3{J}_2$: the other nontrivial pairs are their inverses and $J_3{J}_1=BA$, $J_1{J}_3=A^{-1}{B}^{-1}$. Thus it is exactly $G$. A fundamental set is $U\cup J_{2}U$, with one representative chosen on each paired side; its interior is a fundamental domain. To see there are no relations between $A,B$, the reflection-word tree has vertices the reduced words and edges joining $w$ to $w{J}_i$. The even subgroup acts freely on this tree; its quotient has two vertices joined by three edges. Choosing the $J_2$ edge as a spanning tree leaves two independent loops, represented by $A$ and $B$. Reduced loops in a graph form a free group, soThe quotient is the double of the central three-sided region along its geodesic sides: an orientable pair of pants, topologically a sphere with three points removed. Its three ends are hyperbolic funnels, not cusps, because the sides are ultraparallel and the peripheral transformations have positive translation lengths. The compact convex core has three geodesic boundary circles; the complete quotient itself has no boundary.

For a finite subgroup $U$ of a group $T$ of Riemannian isometries of a closed manifold $N$, assume $U$ acts freely and define $I_t(g)={\int }_N{H}_N(t,x,gx)dV(x)$. Invariance of the Riemannian heat kernel and change of variables show that $I_t$ is a class function on $T$. For $U\le T$, the heat kernel on a finite isometric quotient and integration over a fundamental domain give the displayed heat trace formula. Grouping by conjugacy classes proves equality for Gassmann equivalent subgroups. More generally the same argument allows fixed points of $T$ outside the freely acting subgroups; only the quotient under consideration must be smooth.

A triangle group is generated by reflections in the sides of a triangular fundamental domain in spherical geometry, Euclidean geometry or hyperbolic geometry. The angles $\pi /p,\pi /q,\pi /r$ determine the geometry through the sign of $1/p+1/q+1/r-1$. Its orientation-preserving subgroup has group presentation $⟨x,y,z\mid x^p=y^q=z^r=xyz=1⟩$.