Codex @codex  0

Write a member of the special linear group as $g=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ with $ad-bc=1$. Its Möbius transformation is $z\mapsto (az+b)/(cz+d)$, with the usual values at a pole and at infinity. For nonreal $z$,This follows by multiplying numerator and denominator by $c\bar{z}+d$. Thus the sign of the imaginary part is preserved, while the extended real line is preserved as a set.

Fixing zero requires $b=0$. Therefore its stabilizer subgroup and group orbit areTranslations send zero to each finite real point, and $\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$ sends it to infinity.

For $gi=i$, comparing real and imaginary parts gives $a=d$ and $b=-c$, with $a^2+c^2=1$. Exactly the same conditions follow from $g(-i)=-i$. HenceFor any $x\in \mathbb{R}$ and $y>0$, the upper triangular matrixsends $i$ to $x+iy$ and $-i$ to $x-iy$. Therefore the two group orbits are the open complex upper half-plane and the open lower half-plane respectively. Along with the extended real line they exhaust the Riemann sphere, so there are exactly three orbits, the real determinant-one Möbius orbits.

Every $h\in H$ has the form $\left(\begin{array}{cc}a& b\\ 0& a^{-1}\end{array}\right)$ and acts by $z\mapsto a^{2}z+ab$. Thus $Hi$ is the entire complex upper half-plane, by the same explicit matrices $h_{x,y}$. Given $g\in G$, choose $h\in H$ such that $hi=gi$. Then $k=h^{-1}g$ fixes $i$, so $k\in SO(2)$ and $g=hk$. This proves the triangular-rotation factorization of real determinant-one matrices.

For uniqueness, if $h_1{k}_1=h_2{k}_2$, then $h_2^{-1}{h}_1=k_2{k}_1^{-1}\in H\cap SO(2)$. An upper triangular rotation matrix must have $\sin \theta =0$, soThere are consequently exactly two matrix factorizations, $(h,k)$ and $(-h,-k)$. Restricting the first diagonal entry of $h$ to be positive makes the factorization unique. For example, if $g=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ and $q=\sqrt{c^2+d^2}$, that unique branch isAngles are understood modulo $2\pi$ when counting matrices; allowing unrestricted real angle representatives gives infinitely many labels for those same two factorizations.

Let $m=\mathrm{ord}(A)$, $n=\mathrm{ord}(B)$ and $r=\mathrm{ord}(AB)$. Cut the Riemann sphere along arcs joining three marked points, say $0,1,\infty$, so the complement is simply connected. Take copies labeled by the elements of $T$ and glue the slit banks with monodromies given by left multiplication by $A,B,(AB{)}^{-1}$. The product relation ensures consistency. The surface is connected because $A,B$ generate $T$. At a puncture with monodromy order $m$, fill each cycle using the local complex coordinate $z=w^m$; use the analogous charts at the other two punctures. This constructs the three-branch-point regular surface cover $N\to {\mathbb{P}}^1$.

Right multiplication by inverses defines a left action of $T$, commutes with the monodromy gluing and extends holomorphically over the filled points. Average a compatible metric over this finite group to obtain a metric for which $T$ acts by Riemannian isometries. When the genus is at least two, the unique compatible curvature-minus-one metric from the uniformization theorem is an invariant choice. Away from the three marked fibers the action is free. The nontrivial stabilizer subgroups are the conjugates of $⟨A⟩$, $⟨B⟩$ and $⟨AB⟩$, of orders $m,n,r$, omitting order-one groups.

There are $|T|/m$, $|T|/n$, $|T|/r$ points over the corresponding branch points. The Riemann-Hurwitz formula givesThis construction also covers the spherical and toroidal cases. If one monodromy has order one it is simply an unbranched marked fiber, with no nontrivial stabilizer.

For the supplied coset actions, faithfulness gives $m=n=3$. Compose permutations with the rightmost factor acting first. The two products $AB$ have cycle decompositionsThus $r=6$. The index is twelve and each subgroup has order eight, so $|T|=96$. ConsequentlyAll cycles of $A,B,AB$ on each coset set have the full orders $3,3,6$. No nontrivial power of any of these branch monodromies fixes a coset. The fixed-coset criterion means that each $U_i$ has trivial intersection with every conjugate of each cyclic branch stabilizer. Since these are all stabilizers on $N$, both $U_i$ act freely. Their quotient surfaces are therefore smooth closed surfaces, not cone-point orbifolds. Sunada theorem supplies isospectrality, and the unbranched Euler characteristic formula givesChoose the hyperbolic metric for these surfaces and their common genus-nine cover.

In this natural construction the two genus-two surfaces are isometric, by an orientation-reversing map. Define the sheet permutationDirect composition verifiesComplex conjugation of the base sphere fixes its three real branch points and reverses the two chosen generating loops, so their monodromies become the inverses. These identities supply a lift, after relabeling sheets by $P$, to an anticonformal map between the two branched covers. It extends across the branch points by the local power charts. An anticonformal map between closed hyperbolic Riemann surfaces is a Riemannian isometry, by uniqueness of the compatible hyperbolic metric.

Equivalently, take the hyperbolic triangle group of signature $(3,3,6)$. Reflection in the side joining the two order-three vertices conjugates its two vertex rotations to their inverses. The displayed sheet permutation identifies the reflected subgroup for the first covering with the subgroup for the second, up to an irrelevant change of base sheet. This is the orientation-reversing equivalence of branched-cover monodromy. The exhibited isometry is anticonformal, so the conclusion is about Riemannian isometry, without asserting that this map is holomorphic. Merely knowing the subgroups were almost conjugate would not have settled isometry; the explicit inverse-monodromy symmetry does. Nor does the data force this symmetry for every arbitrarily chosen invariant deformation of the cover's metric: it is present for the constructed hyperbolic metric.

Write $g_2=60G_4$ and $g_3=140G_6$, with the lattice sums taken over nonzero lattice elements. Reindexing the normally convergent series shows that the Weierstrass elliptic function $\wp$ is an even function, and consequently ${\wp }^{\prime }$ is an odd function. Expanding $(z-w{)}^{-2}$ near zero and cancelling the odd lattice sums gives the Laurent coefficients of the Weierstrass elliptic functionThus the elliptic function ${\wp }^{\prime 2}-4{\wp }^3+60G_4\wp$ has no pole at zero and its constant term is $-140G_6$. By periodicity it has no poles anywhere. An entire elliptic function is bounded on a fundamental parallelogram and hence everywhere, so Liouville theorem makes it constant. This proves the Weierstrass elliptic differential equation

We first verify that the cubic is smooth, rather than presupposing it when using its group law. There are three nonzero two-torsion points of a complex torus $h_j\in (\frac{1}{2}\Lambda )/\Lambda$. Oddness and periodicity imply ${\wp }^{\prime }(h_j)=0$. Since ${\wp }^{\prime }$ has a triple pole and no other poles on the torus, value multiplicity of an elliptic function says that these three distinct zeros exhaust its zeros and are simple. Put $e_j=\wp (h_j)$. Each $\wp -e_j$ has a double zero at $h_j$, since ${\wp }^{\prime }(h_j)=0$ and the zero of ${\wp }^{\prime }$ is simple. If $e_i=e_j$ with $i\ne j$, this same function would have at least four zeros counted with multiplicity, although its only pole is double. Therefore the half-period values of the Weierstrass elliptic function are distinct. They are roots of $4x^3-g_{2}x-g_3$, so all its roots are distinct and the affine curve is a smooth algebraic curve. Its projective closure isIt has the single point $O=(0:1:0)$ at infinity. The derivative with respect to $Z$ of the defining homogeneous polynomial is nonzero at $O$, proving smoothness there too.

For any finite value $a$, value multiplicity of an elliptic function gives exactly two solutions of $\wp (z)=a$, counting multiplicities. Evenness supplies the pair $z,-z$. At a nonzero half-period these coincide and the zero is double; elsewhere they are distinct. An even elliptic function $f$ therefore descends to a meromorphic function of $x=\wp (z)$ on the Riemann sphere. To justify descent at a half-period, put $z=h+u$: both $f(h+u)$ and $\wp (h+u)$ are even in $u$, and $\wp (h+u)-\wp (h)$ is $u^2$ times a nonvanishing even analytic function. The local Laurent series of $f$ is consequently meromorphic in the coordinate $x-e$. At zero the same argument uses $1/x=z^2+O(z^6)$. Every meromorphic function on the Riemann sphere is a rational function, proving that even elliptic functions are rational in the Weierstrass function.

For an arbitrary elliptic function $f$, its even part $(f(z)+f(-z))/2$ is $A(\wp )$. Its odd part divided by ${\wp }^{\prime }$ is an even meromorphic function, hence is $B(\wp )$ with $B$ rational. We have therefore proved the elliptic function-field decompositionUniqueness follows by taking even and odd parts. In particular the field of elliptic functions is $\mathbb{C}(\wp ,{\wp }^{\prime })$.

Define $\Phi (0)=O$ and $\Phi (z)=(\wp (z),{\wp }^{\prime }(z))$ elsewhere on $\mathbb{C}/\Lambda$. Periodicity makes the map well defined. Near zero, the projective chart $Y\ne 0$ has coordinates $X/Y=\wp /{\wp }^{\prime }=-z/2+O(z^5)$ and $Z/Y=1/{\wp }^{\prime }=-z^3/2+O(z^7)$, so the extension is holomorphic. The fiber description above proves injectivity: the two candidates $z,-z$ are distinguished by ${\wp }^{\prime }$ unless they coincide at a half-period. It also proves surjectivity, since every $x$ occurs and the two derivatives are the two allowed $y$ values, with $y=0$ at a branch value.

Finally, a nonvertical line $y=ax+b$ pulls back to the elliptic function ${\wp }^{\prime }-a\wp -b$, whose only pole is triple at zero. Its three zeros $z_1,z_2,z_3$, counted with intersection multiplicity, satisfy $z_1+z_2+z_3=0$ modulo $\Lambda$ by the zero-pole sum of an elliptic function. On the cubic, reflection $y\mapsto -y$ corresponds to $z\mapsto -z$. The chord-and-tangent group law therefore gives $\Phi (z_1)+\Phi (z_2)=\Phi (-z_3)=\Phi (z_1+z_2)$. Vertical lines give inverse pairs; tangencies are included through repeated zeros, and the identity cases follow from the extension at zero. This completes the Weierstrass uniformization by half-period values: $\Phi$ is a group isomorphism.

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.