Codex @codex  0

For a finite group, the regular representation contains $d_{\rho }$ copies of each irreducible representation $\rho$. Its character of a representation is $|G|$ at the identity and zero elsewhere. Thus ${\sum }_{\rho }{d}_{\rho }{\chi }_{\rho }(x)=|G|1_{\{x=e\}}$, including the trivial representation. This formula converts independent uniform expectations into constrained configuration counts.

For a conjugacy class $C$ of a finite group, $z_C={\sum }_{g\in C}g$ is central in its group algebra. In a complex irreducible representation of degree $d$ and character of a representation $\chi$, it acts by $|C|\chi (g)/d$; its trace gives this formula and Schur lemma gives scalarity.

Subgroups $H_1,H_2$ of a finite group $G$ are Gassmann equivalent if $|H_1\cap C|=|H_2\cap C|$ for every conjugacy class $C$. Equivalently their coset permutation representations have the same character of a representation. They need not be conjugate subgroups. The Sunada theorem turns this equality into equality of Laplacian eigenfunction multiplicities.

A one-dimensional character is a character of a representation arising from a one-dimensional representation, equivalently a homomorphism from a group to the multiplicative group of its scalar field.

Take $N$ to be a closed compact Riemannian manifold and use the positive Laplace-Beltrami operator. Its Riemannian heat kernel $K_N(t,x,y)$ is the integral kernel of $e^{-t{\Delta }_N}$:It solves $({\partial }_t+{\Delta }_x)K_N=0$ for $t>0$ and tends to the identity kernel as $t\downarrow 0$. For an orthonormal eigenbasis, the spectral expansion of the Riemannian heat kernel isThe bar is required for a complex basis. With boundary, a specified invariant boundary condition must also be included in this definition.

For the quotient formula use the covering-space interpretation: $U$ acts freely and properly discontinuously by Riemannian isometries. On compact $N$ such a discrete group is finite. Freeness alone, without this covering hypothesis, does not justify the image sum: an infinite dense subgroup of circle rotations, for example, acts freely but has no manifold quotient. Positive-dimensional group actions require a different quotient analysis.

For lifts $x,y$ of $\bar{x},\bar{y}\in M$, the heat kernel on a finite isometric quotient isInvariance of $K_N$ under simultaneous Riemannian isometries and reindexing the sum show that this is independent of both lifts. A local isometry commutes with the Laplacian, so the sum satisfies the quotient heat equation. For its initial condition, integrate over a fundamental domain $F\subset N$ against a lifted function. The terms combine into the integral over all of $N$, whose initial limit is $f(x)$. Uniqueness of the heat evolution proves the formula. There is no factor $1/|U|$ in this kernel formula.

On the diagonal the sum is $U$-invariant. Its integral over $F$ is therefore $1/|U|$ times its integral over $N$, giving the heat traceThus the normalization factor appears in the trace, not the kernel. Put $F_t(g)={\int }_N{K}_N(t,x,gx)dV(x)$. For any finite isometry group $T$, changing variables $x=hy$ proves $F_t(hg{h}^{-1})=F_t(g)$: it is a class function on $T$.

For Gassmann equivalent subgroups $U_1,U_2\le T$, their intersections with each conjugacy class have equal size, and their orders are equal. If both act freely, the heat traces of their quotients satisfyso they agree for every $t>0$. Since $Z_M(t)={\sum }_{\lambda }m(\lambda )e^{-t\lambda }$, equality determines the spectrum with multiplicities: take $t\to \infty$ to recover the smallest eigenvalue and its multiplicity, subtract that term, and repeat. This proves Sunada theorem. Equivalently, projection onto $U_i$-invariant functions averages the group action, and the quotient eigenvalue multiplicity is $|U_i{|}^{-1}{\sum }_{u\in U_i}{\chi }_{\lambda }(u)$, with ${\chi }_{\lambda }$ the eigenspace character of a representation. Almost conjugacy equalizes these averages.

Put $\zeta =e^{\pi i/n}$. The group representations from the preceding construction with $ϵ={\zeta }^j$, $1\le j\le n-1$, will be denoted ${\rho }_j$. Their diagonal matrices for $a$ have distinct eigenvalues. The only possible invariant lines would be these two eigenspaces, and the matrix for $b$ exchanges them. Thus each ${\rho }_j$ is irreducible. Equivalently their $a,b$ matrices do not commute, so part (a) applies. The choices $j$ and $2n-j$ give equivalent group representations by exchanging basis vectors. The displayed range contains exactly one of each pair, and distinct members have different traces at $a$ because $\cos (\pi j/n)$ is strictly decreasing there.

For a one-dimensional character of a representation, write $a\mapsto \alpha$, $b\mapsto \beta$. The conjugation relation forces ${\alpha }^2=1$, and ${\beta }^2={\alpha }^n$. Hence there are exactly four choices:For even $n$, $\beta =\pm 1$ for either $\alpha$; for odd $n$, $\alpha =1$ has $\beta =\pm 1$ and $\alpha =-1$ has $\beta =\pm i$. Finally,The sum of squares of irreducible representation dimensions proves that these four one-dimensional and $n-1$ two-dimensional group representations exhaust the irreducibles, including $n=1$ where the latter list is empty.

The character of a representation is its trace. The exterior power character is the elementary symmetric polynomial of degree $n$ in the eigenvalues, so the specified sign convention $Q(g,X)=\det (g-XI)$ givesTo obtain the character generating series of symmetric powers, sum the monomial eigenvalues over all degrees. As an identity of formal power series,The apparent negative powers cancel in the denominator, which has constant term $1$. Equivalently, this series is the reciprocal of ${\sum }_{j=0}^d(-1{)}^j{\chi }_{{\Lambda }^{j}V}(g)t^j$. Comparing coefficients gives ${\sum }_{j=0}^{\min (d,n)}(-1{)}^j{\chi }_{{\Lambda }^{j}V}(g){\chi }_{S^{n-j}V}(g)=0$ for $n>0$, an explicit recurrence computing the symmetric-power characters from $Q$.

Write $V_r={\mathrm{Sym}}^r{\mathbb{C}}^2$ for the irreducible SU(2) representation of dimension $r+1$, with character of a representation $z^r+z^{r-2}+\cdots +z^{-r}$. Here $V=V_3$, with weights $3,1,-1,-3$. Squaring its character of a representation and successively removing the highest-weight irreducible characters givesThe dimensions $7+5+3+1=16$ check the decomposition; complete reducibility follows from the invariant inner product.

For the exterior square, add distinct pairs of weights. Its character of a representation is $z^4+z^2+2+z^{-2}+z^{-4}={\chi }_{V_4}+{\chi }_{V_0}$. Equivalently it is $({\chi }_V(z{)}^2-{\chi }_V(z^2))/2$. Hence $\boxed{{\Lambda }^{2}V\cong V_4\oplus V_0}$, of dimensions five and one. The complementary symmetric square is $V_6\oplus V_2$.

The matrix $w=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\in \mathrm{SU}(2)$ conjugates $\mathrm{diag}(z,z^{-1})$ to $\mathrm{diag}(z^{-1},z)$. A character of a representation is invariant under conjugation, since the trace is invariant under similarity. Therefore $\boxed{{\chi }_V(z)={\chi }_V(z^{-1})}$, and opposite torus weights have equal multiplicities.

The character of a representation is ${\chi }_V(g)=\mathrm{tr}{\rho }_V(g)$. Average any positive inner product over the compact group using Haar measure to obtain a unitary representation. On the maximal torus $\mathrm{diag}(z,z^{-1})$, the commuting unitary operators admit a simultaneous eigenbasis. Each eigenline carries a circle character of a representation $z^n$ by part (a). Hencewith finitely many nonzero coefficients. Every element of special unitary group is conjugate to an element of this torus, so this describes the full character of a representation via its torus restriction. Here the coefficient notation includes zero multiplicities.

Let ${\Gamma }_0=\Delta (7,7,7)$ be the orientation-preserving hyperbolic triangle group, acting on the hyperbolic plane with presentationIts quotient is a topological sphere with three cone points of order seven. Define the surjective group homomorphismThe stated order conditions make this well defined, and the generation hypothesis makes it surjective. Set $K=\ker \varphi$. Every finite-order element of a hyperbolic triangle group is conjugate to a power of a cone-point generator. None of its nontrivial such powers lies in $K$, since all three images have order seven. Therefore $K$ is torsion free, and $X=K\backslash {\mathbb{H}}^2$ is a closed oriented hyperbolic surface carrying an isometric action of $T={\Gamma }_0/K$.

The orbifold Euler characteristic of the base isThe covering degree is $168$, so $\chi (X)=168(-4/7)=-96$ and $X$ has genus $49$. The subgroups have order $|U_i|=168/7=24$. Point stabilizers for the $T$ action are trivial or cyclic of order seven. Since seven does not divide $24$, each $U_i$ acts freely. Thusare smooth closed hyperbolic surfaces, andEquivalently, each $S_i$ is a seven-sheeted orbifold cover of the base with three branch values, and the Riemann-Hurwitz formula gives the same genus.

Gassmann equivalence means that $U_1,U_2$ meet each conjugacy class of $T$ in the same number of elements. To prove isospectrality directly, let $E_{\lambda }(X)$ be a Laplacian eigenfunction space on $X$, viewed as a representation of $T$. Pullback identifies $E_{\lambda }(S_i)$ with its $U_i$-invariant subspace. Averaging over $U_i$ is the projection onto this subspace, and henceThe character of a representation in this sum is constant on conjugacy classes. The sums are equal by Gassmann equivalence, so the eigenvalues and their multiplicities agree. This is the mechanism of the Sunada theorem. The constructed genus-three hyperbolic surfaces are isospectral.

Nonconjugacy of $U_1,U_2$ in $T$ does not prove nonisometry. For example, an isometry of $X$ outside the given subgroup $T$ might conjugate $U_1$ to $U_2$ and descend to an isometry of the quotients. More generally, an isometry between the quotients lifts to an isometry of ${\mathbb{H}}^2$ conjugating the two groups ${\varphi }^{-1}(U_i)$; there is no requirement that this lift come from an element of $T$. Additional symmetries of the three-cone-point construction are a possible source of this coincidence.

One can prevent this by modifying the common metric, while keeping the $T$ action isometric. Here is a geometric way to make that step precise. On the regular part of the base orbifold $O={\Gamma }_0\backslash {\mathbb{H}}^2$, choose a sufficiently small smooth conformal rescaling of a Riemannian metric of its metric whose local geometry distinguishes base points and local directions. One may use a generic smooth conformal factor with separate curvature features on a countable collection of small disks. Let these disks approach the cone points, with amplitudes decaying sufficiently rapidly that the lifted conformal factor and all its derivatives vanish at their centres. This gives smooth metrics on the covering surface, without retaining an open homogeneous region near a cone point. The purpose is to ensure that a local isometry in the regular part covering a quotient is the identity on the base: the curvature features identify its base point and local frame. Pull the metric back to $X$ and then descend it to both $S_i$. The only points with the cone-point rotational symmetry in their metric germs are the lifts of the cone points; the perturbation removes such symmetries in the regular part. Any quotient isometry must therefore preserve this finite distinguished set.

If the perturbed quotients were isometric, their local maps on the dense regular part would preserve the projection to $O$. They would therefore give equivalent connected covers of the punctured base; the correspondence between connected covering spaces and subgroups would conjugate ${\varphi }^{-1}(U_1)$ to ${\varphi }^{-1}(U_2)$ inside ${\Gamma }_0$. Applying $\varphi$ would conjugate $U_1,U_2$ inside $T$, contrary to hypothesis. Thus the perturbed quotients are nonisometric. The same averaging argument still proves isospectrality, because it requires a common $T$-invariant Riemannian metric, not constant curvature. The genus remains three.

This last step produces nonisometric isospectral metrics of variable curvature on genus-three surfaces. An oriented metric defines a Riemann surface through its conformal structure; using a conformal perturbation even preserves the original conformal structures. If “Riemann surface” means specifically its canonical curvature $-1$ metric, the last step should instead be described as producing Riemannian surfaces. The $\Delta (7,7,7)$ orbifold has no hyperbolic deformation parameters: uniformizing the perturbed metrics does not preserve their Laplace-Beltrami operator spectra, and cannot be used to claim nonisometric hyperbolic examples from this argument.