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.

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}$.

For $M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ in the special linear group over a finite field, define the Möbius transformation $M\cdot x=(ax+b)/(cx+d)$ when the denominator is nonzero, and set $M\cdot x=\infty$ when it is zero. At the extra point, $M\cdot \infty =a/c$ for $c\ne 0$, and $M\cdot \infty =\infty$ for $c=0$. Determinant one prevents simultaneous zero numerator and denominator.

The orbit-stabiliser theorem states $|G\cdot x|=[G:G_x]$, and for a finite group $|G|=|G\cdot x||G_x|$. The matrix $\left(\begin{array}{cc}t& -1\\ 1& 0\end{array}\right)$ sends infinity to any chosen $t\in {\mathbb{F}}_p$, so the orbit of infinity is the whole projective line, of size $p+1$. Its stabilizer subgroup iswhich has $p(p-1)$ elements. ConsequentlyThe SL2 action on a finite projective line need not be faithful: scalar matrices can fix every projective point. Faithfulness is not needed for this orbit calculation.

First normalize the two circles by translation and rotation so their centres are $0,d$ and radii $a,b$. If $d=0$ nothing further is needed. Otherwise choose real $s,t$ satisfyingThe discriminant of this quadratic issince two disjoint circle boundaries are either externally separated or strictly nested. Thus $s\ne t$, and $M(z)=(z-s)/(z-t)$ is a Möbius transformation. Direct expansion shows that on the first circle $|M(z){|}^2=s/t$, and on the second $|M(z){|}^2=(s-d)/(t-d)$. Both constants are positive; the pole is on neither circle. Their images are distinct concentric circles. This proves the concentric normalization of disjoint circles.

For a construction with $n\ge 3$, use inner radius $\rho =1$, outer radiusand small circles of radius $r$ centred at $d{e}^{2\pi ij/n}$. Each touches the two boundaries, and adjacent centre distances are $2d\sin (\pi /n)=2r$. All other distances are at least $2r$, so there are no unwanted intersections. These are Steiner chains. For the literal $n=2$ requirement, take $\rho =1$, $R=3$, and two radius-one circles centred at $2e^{\pm i\pi /6}$. Their centre distance is $2$, so this gives two distinct mutually tangent circles touching both boundaries. Existence holds for every $n\ge 2$, but the two-circle case has only one tangency between neighbours, repeated by the cyclic indexing.

For an annular circle touching radii $\rho ,R$, its radius and centre distance are $r=(R-\rho )/2$ and $d=(R+\rho )/2$. Two neighbouring such circles have angular separation $\delta =2\arcsin (r/d)$; their tangency point is the midpoint of their centres. Its distance from the common centre isThus the tangency locus in concentric coordinates is a circle of radius $\sqrt{R\rho }$. For $n\ge 3$, disjointness forces the constellation to use these annular circles. Indeed, the other family of circles touching both boundaries has radius $d$ and centre distance $r$, enclosing the inner boundary. Two members of that larger family intersect. One such circle can be disjoint from an annular circle only at the two opposite centre directions where their boundaries are tangent; those two annular circles cannot be tangent to each other. Hence this family cannot occur in a constellation of three or more circles.

Under the inverse Möbius transformation, the tangency locus is a generalized circle, which can be an ordinary circle or a straight line. The printed claim that it is always an ordinary circle is false without this qualification. For an explicit counterexample, use the above $n=3$ construction, put $L=\sqrt{R}$, and apply $w=1/(z-L)$. Its pole lies on the tangency locus but on none of the original boundary or chain circles. Consequently all the transformed individual circles remain ordinary circles. The three distinct tangency points transform to three points on the line $\mathrm{Re}w=-1/(2L)$, so they cannot lie on an ordinary circle.

The usual closure assertion is Steiner's porism, with two essential conventions: stay in the annular family and always choose the next tangent circle in the same angular direction. For a disjoint closed chain with $n\ge 3$, distinctness prevents reversing direction: a reversed step would return immediately to the preceding circle. Thus every step has the same sign and closure gives $n\delta =2\pi m$ for an integer $m\ge 1$. If $m>1$, the $n$ distinct centres have some angular gap $2\pi /n<\delta$, making two circles intersect. Hence $m=1$ and $\delta =2\pi /n$. Starting at any new angle ${\theta }_0$ produces centres $d{e}^{i({\theta }_0+j\delta )}$, a rotation of the original chain, soMapping back proves the same porism on the corresponding branch of circles for the original pair.

The literal final request, with arbitrary tangent choices and $n=2$ included, is stronger and false. In the two-circle example above, the forward angular step is $\pi /3$. Starting at angle $0$, a next circle at $\pi /3$ and then one at $2\pi /3$ satisfy every inductive tangency requirement, but $Y_2\ne Y_0$. Even for $n\ge 3$, allowing backtracking lets the construction reverse instead of completing the chain. Thus the genuine geometric conclusion is the qualified porism, not unrestricted closure under the printed induction.

The inner circle has centre $2/5$ and radius $2/5$. The pole $z=1/2$ of the Möbius transformation lies inside that removed disc, so the transformation is holomorphic on $D$, with derivative $3/(2z-1{)}^2\ne 0$.

For $z=x+iy$,On the outer boundary this is one. On the inner boundary, $|z{|}^2=4x/5$, and the ratio is four. More directly, inside the outer circle the numerator exceeds the denominator by $3(1-|z{|}^2)>0$, whereas outside the inner circle four times the denominator exceeds the numerator by $3(5|z{|}^2-4x)>0$. Thus the image is $1<|w|<2$. The inverse transformation is $z=(w-2)/(2w-1)$, so this is a bijective conformal map onto that annulus.

A radial harmonic function on an annulus has form $A+B\log |w|$. The two boundary values give $A=1$, $B=1/\log 2$. By conformal invariance of harmonicity,It has the required boundary values, and the maximum principle for harmonic functions proves uniqueness among solutions continuous on the closed region.

The Möbius transformations are bijections, so they preserve which coordinates of a triple are equal. Conversely, part (i) implies transitivity within each equality pattern. For a pattern with fewer than three distinct entries, extend the chosen distinct points to a triple before applying part (i); this works also for $p=2$, when the projective line has exactly three points. There are therefore five orbits of a group action.

We first count $|G{L}_2({\mathbb{F}}_p)|$. Its first column can be any nonzero vector, giving $p^2-1$ choices. The second must be outside the first column's one-dimensional span, giving $p^2-p$ choices. HenceFor the all-equal pattern take $(\infty ,\infty ,\infty )$. Its stabilizer subgroup consists of upper triangular matricesof order $p(p-1{)}^2$. Its group orbit has order $p+1$.

The three exactly-two-equal patterns have representatives $(\infty ,\infty ,0)$, $(\infty ,0,\infty )$ and $(0,\infty ,\infty )$. Each stabilizer subgroup fixes $0$ and $\infty$ individually, so it is the diagonal subgroup of order $(p-1{)}^2$. Each group orbit has order $p(p+1)$; their repeated-coordinate positions keep these three orbits distinct.

For the all-distinct pattern use $(0,1,\infty )$. Its stabilizer subgroup is the scalar subgroup of order $p-1$, and the group orbit has order $(p+1)p(p-1)$. Stabilizers of arbitrary triples are conjugates of the displayed representative stabilizers. In summary the equality-pattern orbits of projective triples haveThe sizes add to $(p+1{)}^3$, and each orbit size times its stabilizer order is $|G|$, as in the orbit-stabilizer theorem.

Identify the projective line with one-dimensional subspaces of ${\mathbb{F}}_p^2$: use $v_t=(t,1{)}^T$ for finite $t$, and $v_{\infty }=(1,0{)}^T$. This convention turns the matrix action into the stipulated Möbius transformation.

Since $x$ and $z$ are distinct projective points, $v_z,v_x$ are a basis. Write $v_y=A{v}_z+B{v}_x$. Both $A$ and $B$ are nonzero, because $y$ is different from $x,z$. The matrix with columns $A{v}_z$ and $B{v}_x$ is invertible and sends the lines of $(1,0{)}^T,(0,1{)}^T,(1,1{)}^T$ to those of $z,x,y$, respectively. This constructs the requested map without separate exceptional formulas at infinity.

A matrix fixing $0$ and $\infty$ is diagonal, say $\mathrm{diag}(a,d)$ with $a,d\ne 0$. To fix $1$ it must also satisfy $a=d$, so the stabilizer subgroup of $(0,1,\infty )$ is precisely $\{\lambda I:\lambda \in {\mathbb{F}}_p^{\times }\}$. Any two solutions differ on the right by one of these matrices. ThusEquivalently, after dividing out scalar matrices the projective general linear group action on the projective line is sharply three-transitive on a projective line.

Scale the disk to the unit disc, so that the starting point is $a=1/r\in (0,1)$. Use the Möbius transformationwhich maps the disk onto itself, sends $a$ to $0$, and sends $1$ to $1$. By conformal invariance of planar Brownian motion, the exit image is the circular exit of a Brownian motion starting at $0$. Rotational invariance of planar Brownian motion makes that exit uniform in angle.

The endpoints of the right semicircle satisfyIts image is the arc through $1$ between these points, of angular length $2\phi$. Thus the Möbius calculation of circular Brownian exit givesSince $E_{+}$ and $E_{-}$ partition the exit almost surely, part (b) yieldsThe last equality uses $2\arctan (1/r)\in (0,\pi /2)$, so the double-angle tangent identity uses the stated principal branch. As a check, the boundary angle derivative of ${\psi }_a$ is $(1-a^2)/|e^{i\theta }-a{|}^2$; integrating this circular exit density over the right semicircle gives exactly the integral supplied in the question.

Write $D=\mathbb{H}\setminus K$. The mapping-out function is a conformal map $g_K:D\to \mathbb{H}$ with hydrodynamic normalization at infinityEquivalently, $g_K(z)-z\to 0$. The Riemann mapping theorem gives a map onto the half-plane. Since $K$ is bounded, infinity has an analytic real-boundary neighborhood. After sending its image to infinity, the Schwarz reflection principle gives a Laurent series $az+b+O(z^{-1})$ there, with $a>0$ and $b$ real. A real affine automorphism removes $a$ and $b$, giving the stated normalization. Reflection also makes $a_K$ real.

If $g_1,g_2$ both have this normalization, $g_2{g}_1^{-1}$ is a conformal automorphism of the upper half-plane. Such maps are real Möbius transformations. The expansion forces it to fix infinity, have leading coefficient $1$, and have zero translation. It is therefore the identity. Thus the normalized mapping-out function exists and is unique.

Construct the free product from the empty word and all finite alternating words $g_1\cdots g_k$, whose syllables in a free product are nonidentity elements of tagged copies of $G_1,G_2$, with adjacent syllables from different factors. Multiply by concatenating, multiplying adjacent elements in the same factor, and deleting identities until the word is reduced. The normal form theorem for a free product gives a unique result; reducing three concatenated words gives the same result under either parenthesization, so multiplication is associative. The empty word is the identity, and the inverse reverses the word and inverts each syllable. Each factor embeds as words of length one.

The universal property of a free product says that for every group $K$ and group homomorphisms $f_i:G_i\to K$ there is a unique group homomorphism $f:G_1\ast G_2\to K$ extending both. Explicitly, send a reduced word to the product of its syllable images; reduction preserves this product. This gives existence, while generation by the two factors gives uniqueness.

A standard form of Klein's combination theorem, or the ping-pong lemma, is the following. Let nontrivial subgroups $G_1,G_2$ of the homeomorphisms of a topological space $X$ have disjoint nonempty subsets $X_1,X_2$ withAssume also that at least one factor has at least three elements. Then the generated subgroup is $\boxed{⟨G_1,G_2⟩\cong G_1\ast G_2}$. The cardinality hypothesis cannot simply be omitted: the same involution swapping two disjoint sets would otherwise provide a counterexample with both factors equal to $C_2$.

Here is the ping-pong lemma proof. A reduced word of odd length begins and ends in the same factor, so repeated application of the displayed inclusions sends the other factor's domain into that factor's domain. Disjointness shows that the word is not the identity. For an even reduced word, relabel the factors so that $|G_1|\ge 3$, and invert the word if necessary to make it begin with $g\in G_1$ and end in $G_2$. Choose $s\in G_1\setminus \{1,g^{-1}\}$. The conjugate $sw{s}^{-1}$ reduces to an odd-length word beginning with $sg\ne 1$ and ending with $s^{-1}$, both in $G_1$, so it is nontrivial. Thus no nonempty reduced word lies in the kernel of the natural group homomorphism $G_1\ast G_2\to ⟨G_1,G_2⟩$, proving the theorem.

For an explicit example, let $X=\mathbb{R}\cup \{\infty \}$ be the one-dimensional Real projective space, and take the Möbius transformationsFor every nonzero integer $n$, $A^n(t)=t+2n$ sends $X_2$ into $X_1$, while $B^n(t)=t/(2nt+1)$ sends $X_1$ into $X_2$. Indeed $|2nt+1|>|t|$ when $|t|>1$, and $B^n(\infty )=1/(2n)$. Both transformations have infinite order. Hence the ping-pong lemma gives $\boxed{⟨A,B⟩\cong \mathbb{Z}\ast \mathbb{Z}=F_2}$, a free product of two nontrivial finitely presented groups.

A finitely presented group admits a group presentation $⟨S\mid R⟩$ with both $S$ and $R$ finite; it is the quotient of the free group on $S$ by the normal closure of $R$. Ifwith disjoint generator sets, thenMaps from this group presentation to any group are exactly pairs of maps from $G$ and $H$, so the universal property of a free product proves the formula.

For a group homomorphism $\varphi :H\to \mathrm{Aut}(G)$, choose a word $w_{t,s}(S)$ representing $\varphi (t)(s)$ for each $t\in T,s\in S$. The presentation of a semidirect product isThe presentation maps onto the specified semidirect product. Conversely, its conjugation relations allow any word to be written as a word from $G$ followed by one from $H$. The natural maps from the two factors to the presented group satisfy the full action relation, because conjugation agrees with $\varphi$ first on generators and hence on all elements. They define the reverse group homomorphism $(g,h)\mapsto gh$. The two maps are inverse on every generator, proving the group isomorphism. There are finitely many cross-relations, so the result is again a finitely presented group.

Apply this to the specified permutation action. The presentation isEliminate $y=cx{c}^{-1}$ and $z=c^{2}x{c}^{-2}$. The last cross-relation becomes $c^{3}x{c}^{-3}=x$, already implied by $c^3=1$. ThusBoth factors are nontrivial finitely presented groups, as required.

Take an oriented closed string in flat, critical bosonic string theory, with ${\alpha }^{\prime }=1/(2\pi T)$ and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings $X$ and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action isTarget-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike $X^0$ would not be convergent.

An external tachyon is represented by the tachyon vertex operator $V_p(z,\bar{z})=:e^{ip\cdot X}:$, with conformal weights $h=\bar{h}={\alpha }^{\prime }{p}^2/4$. The physical integrated vertex has $(h,\bar{h})=(1,1)$, so $p^2=4/{\alpha }^{\prime }$. Schematically its tree amplitude isThe Faddeev-Popov determinant from conformal gauge is represented by the worldsheet ghost fields. At tree level the worldsheet is a Riemann sphere, whose unpunctured complex structure has no moduli. Its residual conformal automorphisms are the Möbius transformations, $PSL(2,\mathbb{C})$. Fix three insertion points, accompanying their unintegrated vertices by the required $c\tilde{c}$ ghost factors. The remaining $N-3$ complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.

The embedding fields are free, withTheir zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factorThis explains the sphere tachyon position integral without needing its evaluation. For four tachyons the resulting Virasoro–Shapiro amplitude displays the exchanged string spectrum directly.

Use all-incoming external momenta and introduce $u=-(p_1+p_4{)}^2/(8\pi T)$ alongside the two printed dimensionless Mandelstam variables. Since $p_a^2=8\pi T$ and ${\sum }_a{p}_a=0$, one obtains $s+t+u=-4$. The physical center-of-mass energy squared in the $s$ channel is $s_{\mathrm{phys}}=8\pi Ts=4s/{\alpha }^{\prime }$. The $t$ channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form givesThe Gamma function poles imply, at generic fixed values of the other invariant,The denominator Gamma factors can remove residues at special intersecting channel kinematics; the statement concerns a generic single-channel limit. An $s$-channel pole occurs when the intermediate momentum $p_1+p_2$ satisfies the mass-shell condition for a closed-string state:The pole at $s=-1$ exchanges the ground-state tachyon, the pole at $s=0$ exchanges massless states, and the positive integer poles exchange the infinite massive tower. The $t$-channel interpretation is the crossed version. Factorization means that each residue is a sum of products of couplings to intermediate physical states that couple to the chosen external particles. It need not expose every representation at that mass.

For example, the Gamma function recurrence and Gamma function residue at a nonpositive integer give the dimensionless Virasoro–Shapiro amplitude pole residueThe residue polynomial has degree $2n$, consistent with maximum spin $2n$ in the exchanged level. The amplitude also has the corresponding $u$-channel poles by crossing symmetry.

The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as $G_{mn}={\eta }_{mn}+h_{mn}$, introduce a Kalb–Ramond field $B_{mn}$, and a dilaton $\Phi$. In conventional Euclidean signs their string nonlinear sigma model action isHere ${ϵ}^{ab}$ is the antisymmetric tensor density. The three backgrounds correspond to the graviton, antisymmetric tensor and scalar states at closed-string level one. Expanding the vacuum functional in $h,B,\Phi$, then Fourier expanding the backgrounds, produces exactly their integrated string vertex operators. Its functional derivatives therefore generate the amplitudes with massless external strings. The connected vacuum functional organizes connected amplitudes; the spacetime effective action organizes the corresponding vertices after treating massless propagation consistently.

At momenta small compared with $1/\sqrt{{\alpha }^{\prime }}$, massive string propagators can be expanded in powers of momenta over their masses. The analytic part of the amplitudes consequently determines local higher-derivative interactions, ordered by powers of ${\alpha }^{\prime }$. Massless exchange poles are retained through propagation of the massless fields, rather than expanded into local contact terms. Up to field redefinitions, the leading massless-sector action in the string-frame metric isThe terms denoted $O({\alpha }^{\prime })$ contain additional derivatives, including curvature-squared terms in the bosonic theory. The expansion concerns the massless sector around the perturbative bosonic background; the tachyon instability remains and is not cured by omitting its field from this displayed action. Thus this is a formal perturbative effective description, not a claim of a stable bosonic vacuum.

Finally split the dilaton into a constant and its variation, $\Phi ={\Phi }_0+\varphi$. By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows fromDefine the string coupling by $g_s=e^{{\Phi }_0}$. A genus-$g$ path integral is weighted byThe sphere carries $g_s^{-2}$, the torus carries $g_s^0$, and each extra handle adds $g_s^2$. At higher genus one integrates over complex-structure moduli as well as insertion points, with the associated antighost insertions supplying the correct moduli measure. With canonically normalized external vertices an $N$-point genus-$g$ amplitude scales as $g_s^{2g-2+N}$.

Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansionEach coefficient has its own low-energy ${\alpha }^{\prime }$ expansion. The two parameters have different roles: ${\alpha }^{\prime }$ resolves finite string size through higher derivatives, while $g_s^2$ counts additional string loops.

On the complex torus $\mathbb{C}/\Lambda$, the Weierstrass elliptic function $\wp$ is a degree-two map to the Riemann sphere, and its fibres are the pairs $\{z,-z\}$, with coalescence at the four branch points. An even elliptic function is constant on every fibre, so away from those branch points it descends to a meromorphic function $Q$ of $\wp$.

The descent also holds at a branch point. At a half-period $h$, evenness and periodicity give $f(h+u)=f(h-u)$, so its local Laurent series uses only even powers of $u$. Also $\wp (h+u)-\wp (h)$ is a local coordinate proportional to $u^2$. At $0$, use $1/\wp (z)\sim z^2$ instead. Thus $Q$ extends meromorphically across every branch point and infinity. Every meromorphic function on the Riemann sphere is a rational function, proving $f=Q\circ \wp$.

For a nonconstant rational function $Q=p/q$ in coprime form, $\mathrm{deg}Q=\max (\mathrm{deg}p,\mathrm{deg}q)$: a generic equation $p-wq=0$ has that many roots on the sphere. Degrees of holomorphic maps multiply under composition. Hence the degree isConstant functions have degree zero. Degree two therefore occurs exactly when $Q$ is a Möbius transformation:Conversely every such function is even, elliptic and of degree two.

The Papperitz symbol describes a homogeneous second-order Fuchsian differential equation on the Riemann sphere, with three regular singular points and the two indicial exponents at each. At a finite point $z_j$, an exponent $r$ corresponds locally to a factor $(z-z_j{)}^r$; at infinity it corresponds to $z^{-r}$. Repeated or resonant exponents can require logarithms. The six exponents obey the Fuchs relation that their sum is one. With three singularities there is no independent accessory parameter, so these data determine the normalized equation.

A Möbius transformation of a Papperitz symbol moves the singular points without changing their exponents. Multiplication of the dependent variable by a local power shifts the two exponents by that power, using the reciprocal local coordinate at infinity.

Set $w=z/(z-1)$ and $v(w)=F(a,c-b,c;w)$. At $w=0,1,\infty$, the exponent pairs for $v$ are respectively $(0,1-c)$, $(0,b-a)$, and $(a,c-b)$. The Möbius transformation sends $z=0,1,\infty$ to $w=0,\infty ,1$. Before rescaling, $v(w(z))$ therefore has exponent pairs $(0,1-c)$ at zero, $(a,c-b)$ at one, and $(0,b-a)$ at infinity. Multiplication by $(1-z{)}^{-a}$ subtracts $a$ at one and adds $a$ at infinity. The resulting pairs areexactly those of the original Gauss hypergeometric equation. Near zero choose the branch with $(1-z{)}^{-a}=1$ at zero. The resulting solution is analytic there and has value one. Uniqueness of the normalized analytic solution yieldsThis is the Pfaff transformation. The normalization presupposes the usual admissible parameters, in particular $c\notin \{0,-1,-2,\dots \}$. Elsewhere the identity holds by analytic continuation with compatible branches, or by parameter limits wherever those are defined.

The Möbius group consists of all Möbius transformations of the Riemann sphere ${\mathbb{C}}_{\infty }=\mathbb{C}\cup \{\infty \}$, with operation function composition. A nonzero-determinant matrix $M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ represents the map $z\mapsto (az+b)/(cz+d)$. If $c\ne 0$, its pole $-d/c$ maps to $\infty$ and $\infty$ maps to $a/c$; if $c=0$, the map is affine and fixes $\infty$. Nonzero scalar multiples of $M$ represent the same transformation.

Define $\varphi (M)$ by this action for $M\in S{L}_2(\mathbb{C})$. Substitution of fractional-linear expressions shows $\varphi (MN)=\varphi (M)\circ \varphi (N)$, so $\varphi$ is a group homomorphism. Any invertible matrix can be rescaled into the special linear group: choose $\lambda \in {\mathbb{C}}^{\times }$ with ${\lambda }^2\det M=1$, which is possible because every nonzero complex number has a square root. This does not change the transformation, proving surjectivity. A transformation represented by $M$ is the identity only if fixing $0$, $\infty$ and $1$ forces $b=c=0$ and $a=d$. The determinant-one condition then gives $a^2=1$. ThusFor the fixed-point claim, a nonidentity Möbius transformation has at least one fixed point of a Möbius transformation: when $c\ne 0$ the finite fixed points solve a quadratic, and when $c=0$ infinity is fixed. A quadratic shows there can be no more than two distinct fixed points unless the transformation is the identity. Suppose there is exactly one. Conjugate it to infinity by a Möbius transformation. The resulting map has form $z\mapsto az+b$, since it fixes infinity. If $a\ne 1$ it also has the finite fixed point $b/(1-a)$, a contradiction. Hence it is $z\mapsto z+b$ with $b\ne 0$. Its $m$th power is $z\mapsto z+mb$, never the identity for $m>0$. Conjugation preserves order, so a nonidentity finite-order Möbius transformation has exactly two fixed points.

Now let $K$ be a finite abelian subgroup of the Möbius group. First suppose it contains an element $g$ of order greater than two. Conjugate the two fixed points of $g$ to $0$ and $\infty$, so $g(z)=\zeta z$, with $\zeta$ a root of unity of order greater than two. Every element $h$ commuting with $g$ permutes its fixed-point set, because $g(h(p))=h(g(p))=h(p)$. A Möbius transformation preserving each of $0,\infty$ is $h(z)=az$; one exchanging them is $h(z)=a/z$. In the second case $hg(z)=a/(\zeta z)$ and $gh(z)=\zeta a/z$, so commuting would force ${\zeta }^2=1$, impossible. Thus all elements of $K$ are scalings. A finite subgroup of a field multiplicative group is cyclic; here one can see this directly by choosing the least common multiple $m$ of all element orders and observing that the scalars lie among the $m$th roots of unity, a cyclic group. Hence $K$ is cyclic.

Otherwise every nonidentity element of $K$ has order two. If $K$ is nontrivial, choose $g$ and conjugate it to $z\mapsto -z$. The action of $K$ on $\{0,\infty \}$ has image of order at most two. Its kernel consists of scalings $z\mapsto az$, and the order-two condition forces $a^2=1$, so the kernel has at most two elements. Hence $|K|\le 4$. Orders one and two give cyclic groups; order four with all nonidentity elements involutions gives $C_2\times C_2$, generated by any two distinct nonidentity elements. Both possibilities occur: scalings by roots of unity give every finite cyclic group, and $\{z,-z,1/z,-1/z\}$ gives the Klein four group. The classification is