Codex @codex  0

The total angle around the tip of a Euclidean cone. For a translation surface zero of order $m$ it equals $2\pi (m+1)$, while for a holomorphic quadratic differential zero of order $m$ it equals $(m+2)\pi$. An angle $2\pi$ is a regular point.

A surface with local Euclidean charts whose changes of coordinate are $w\mapsto \pm w+b$, outside finitely many cone points. A nonzero holomorphic quadratic differential defines such a surface; a zero of order $m$ has cone angle $(m+2)\pi$.

After quotienting infinitesimal worldsheet diffeomorphisms and Weyl transformations, choose a metric variation orthogonal to the gauge directions. Orthogonality to Weyl scaling makes its trace zero; the formal adjoint of the worldsheet conformal Killing operator makes its divergence zero. These are transverse-traceless variations of the two-dimensional metric. In a local conformal complex coordinate, their nonzero components satisfy ${\partial }_{\bar{z}}{t}_{zz}=0$ and its conjugate, linking them to holomorphic quadratic differentials.

If a local holomorphic $r$-differential is $z^{m}u(z)d{z}^r$, where $u(0)\ne 0$, its zero order is $m$. The order is unchanged by a holomorphic coordinate change with nonzero derivative. For a holomorphic one-form the cone angle is $2\pi (m+1)$, and for a holomorphic quadratic differential it is $(m+2)\pi$.

Use Euclidean worldsheet conventions with ${ϵ}^{12}=1$. Including a target metric, a Kalb–Ramond field $B_{\mu \nu }$ and the dilaton $\Phi$ givesThe imaginary coefficient of the antisymmetric term comes from Euclidean continuation; the Lorentzian action has the corresponding real coupling. For constant ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$, with Euler characteristic $\chi =2-2g$ on a connected closed oriented surface. Thus dilaton Euler-characteristic weighting givesAdding one handle multiplies a contribution by $g_s^2$, identifying $g_s$ as the string coupling. With canonically normalized external closed-string states, $n$ vertices add $g_s^n$, giving the string genus expansion $g_s^{2g-2+n}$.

Before gauge fixing, the Polyakov path integral for inserted string vertex operators is schematicallyThe quotient removes descriptions related by worldsheet diffeomorphisms and Weyl transformations. Gauge fixing has a nontrivial Jacobian, the Faddeev-Popov determinant. Anticommuting vector ghosts $c^a$ and symmetric trace-free antighosts $b_{ab}$ exponentiate this determinant as a local worldsheet ghost action. These worldsheet ghost fields implement the gauge quotient; they are not additional spacetime particles. Their zero modes must be treated separately rather than included in an invertible determinant.

Three kinds of geometry enter the scattering calculation. The worldsheet moduli describe genuinely different conformal shapes that remain after local gauge fixing. Each such shape must be integrated over. The mapping class group consists of orientation-preserving diffeomorphisms modulo those continuously deformable to the identity; it identifies different markings of the same conformal surface, so only one representative of each class is counted. The worldsheet conformal Killing group is the continuous residual conformal symmetry of a chosen surface. It moves insertion positions without changing the geometry and must be divided out, usually by fixing enough vertex positions.

For a torus, write $z\sim z+1\sim z+\tau$, with $\mathrm{Im}\tau >0$. Its shape modulus is $\tau$, its mapping class group acts through the modular group, and its connected worldsheet conformal Killing group acts by translations. Thus the shape integral runs over the standard fundamental domain of the modular group, while one insertion position can be fixed by translation. On the sphere, three positions can instead be fixed by Möbius transformations; for genus at least two the continuous conformal Killing group is trivial.

Now use the half-normalized worldsheet diffeomorphism ghost operator in the question. A vector field $v^a$ can preserve the representative metric after a compensating Weyl transformation precisely when $P_{1}v=0$. The trace of the metric variation sets $\delta \omega =\frac{1}{2}{\nabla }_a{v}^a$, leaving the Conformal Killing equationThe kernel of this operator gives the infinitesimal worldsheet conformal Killing group.

For a surviving infinitesimal worldsheet modulus, choose its metric variation $t_{ab}$ orthogonal to all gauge variations. Orthogonality to Weyl transformations requires $h^{ab}{t}_{ab}=0$. On the closed surface, the formal adjoint of the worldsheet conformal Killing operator follows by integration by parts:Orthogonality to every diffeomorphism variation is therefore the adjoint-kernel condition, givingIn a local conformal coordinate these imply ${\partial }_{\bar{z}}{t}_{zz}=0$ and its conjugate: the moduli variations are represented by holomorphic quadratic differentials. Multiplying the definition of $P_1$ by two changes its adjoint by two but changes neither kernel.

For four tachyon vertex operators on the torus, there is one complex shape modulus, four complex insertion positions and one complex translation to remove. The worldsheet integration count after conformal gauge fixing is thereforeFix the fourth insertion at $z_4=0$. A schematic gauge-fixed expression isHere the antighost pair supplies the modulus measure, and the ghost pair at the fixed vertex absorbs the translation zero modes. The three unfixed positions and $\tau$ are the four complex integrations. The punctured Riemann surface moduli dimension gives the same result, $3g-3+n=4$. Target-spacetime zero-mode integrals producing momentum conservation are separate from this requested count of worldsheet integrations.

First use the nonzero loci, as required by the standard SL2R action on differentials. A nonzero holomorphic one-form has, away from its zeros, flat coordinateswhose changes of coordinate are translations. A nonzero holomorphic quadratic differential similarly has local flat coordinates $w=\int \sqrt{q}$, with $q=d{w}^2$ and changes of coordinate $w_j=\pm w_i+c_{ij}$. These are respectively translation surfaces and half-translation surfaces.

Identify a flat coordinate with a vector in ${\mathbb{R}}^2$. For $A\in {\mathrm{SL}}_2(\mathbb{R})$, replace every flat coordinate by $W=Aw$. Since $A$ preserves orientation and commutes with multiplication by $-1$, the new changes of coordinate areThey are holomorphic in the new coordinates, and so define a new complex structure. Define ${\omega }_A=dW$ or $q_A=d{W}^2$ in that structure. The forms glue because translations preserve $dW$, and the extra signs preserve $d{W}^2$.

The zeros also extend. A zero of order $m$ of a holomorphic one-form has cone angle $2\pi (m+1)$; a zero of order $m$ of a holomorphic quadratic differential has cone angle $(m+2)\pi$. The real-linear deformation preserves the corresponding winding multiplicity. Filling the cone in a local coordinate $\zeta$ gives $W={\zeta }^{m+1}$ in the first case, or a local branch of $W={\zeta }^{(m+2)/2}$ in the second. Thus the resulting forms are constant multiples of ${\zeta }^{m}d\zeta$ or ${\zeta }^{m}d{\zeta }^2$ and have the same zero orders. This verifies extension across the missing points, rather than merely producing an atlas on the punctured surface.

An isomorphism preserving the original differential identifies its flat coordinates up to the permitted translations or signs; applying $A$ identifies the deformed atlases too. Hence the construction descends to the corresponding moduli spaces. Applying $B$ after $A$ replaces $w$ by $BAw$, soThe area of a quadratic differential, and the analogous area of a holomorphic one-form, are preserved because $\det A=1$.

For $q={\omega }^2$, the flat coordinates obtained from $\omega$ already give the required half-translation surface atlas for $q$. The same replacement $w\mapsto Aw$ therefore constructs both deformations, and

The printed sets include identically zero differentials. They have no flat coordinates, so the customary geometric group action is defined on the nonzero loci. One can obtain a set-theoretic action on the displayed entire sets by declaring $A\cdot (X,0)=(X,0)$; the same equivariance identity then holds at zero. This extension is generally not continuous: as $t\omega \to 0$, the deformed underlying surface is the same $X_A$ for every real $t>0$, and can differ from $X$. Thus a claim about the standard continuous geometric group action requires the nonzero convention.

Use the closed genus $g\ge 2$ version of Teichmüller's uniqueness theorem. Let $f_0:X\to Y$ be a Teichmüller map: for a nonzero holomorphic quadratic differential $q$, normalized by ${\int }_X|q|=1$, and $0<k_0<1$,The value at a zero of $q$ is irrelevant to the Beltrami coefficient, which is defined almost everywhere. For every quasiconformal map $f:X\to Y$ preserving orientation and homotopic to $f_0$, the conclusion isThe normalized $q$ is also uniquely determined when $k_0>0$.

We use the following analytic input, stated with its hypotheses. The Reich–Strebel inequality says that if $f_0$ has the displayed Beltrami coefficient and a competitor $f$ has the same target and homotopy class, then, for $\mu ={\mu }_f$,This is the standard fundamental inequality for an integrable holomorphic quadratic differential; it also holds on a finite-type punctured surface with the homotopy fixing the punctures. Its formulation is given in Gardiner and Hu, §5. We quote this analytic inequality as the lecture result used in the proof.

Put $k=\Vert \mu {\Vert }_{\infty }$. Pointwise, away from the isolated zeros of $q$,Integrating against the probability density function $|q|$ proves $K_0\le K(f)$. If $K(f)=K_0$, all these inequalities are equalities almost everywhere. The strictly increasing last function forces $|\mu |=k_0$ almost everywhere; equality in the triangle inequality then forces $\mu q/|q|=k_0$. ThereforeTwo quasiconformal maps with the same Beltrami coefficient differ by postcomposition with a biholomorphism, by the local chain rule for the Beltrami equation. Consequently $h=f\circ f_0^{-1}$ is a biholomorphism from $Y$ to itself homotopic to the identity.

For completeness, such a biholomorphism is the identity when $g\ge 2$. Apply the uniformization theorem and choose the lift of the homotopy to $\mathbb{H}$ starting at the identity. Its endpoint lift $\tilde{h}$ commutes with every deck transformation. It is a real Möbius transformation. The compact quotient has no parabolic Möbius transformations in its deck group, and freeness excludes elliptic Möbius transformations. Two distinct hyperbolic axes exist: a discrete free group preserving just one axis would be cyclic, contradicting the fundamental group of a closed surface of genus at least two. Commutation with two deck transformations represented by hyperbolic Möbius transformations having distinct axes makes it fix their boundary endpoints individually; there are at least three such endpoints. A Möbius transformation fixing three points is the identity. Hence $h=\mathrm{id}$ and $f=f_0$.

If $q_1$ is another unit-area differential for the same map, then $|q_1|/q_1=|q|/q$, so $q_1/q$ is positive real wherever defined. This meromorphic function is constant by the open mapping theorem, and normalization makes the constant one. Without normalization, positive multiples of $q$ describe the same map. At $k_0=0$, uniqueness of the map still holds in genus at least two, but there is no distinguished $q$. In genus one, translations supply nontrivial biholomorphisms homotopic to the identity, so equality determines the map only up to those biholomorphisms; the genus hypothesis cannot be omitted.

The given $\gamma$ is a simple closed curve. Assume it is essential; for a contractible class both infimal lengths are already zero. Write ${\ell }_n={\ell }_{X_n}(\gamma )$. The collar lemma supplies an embedded annulus with coordinates $r\in (-w_n,w_n)$ and $t\in \mathbb{R}/\mathbb{Z}$, and metricSet $y(r)={\ell }_n^{-1}{\int }_0^r\mathrm{sech}sds$. This changes the metric to a positive scalar multiple of $d{t}^2+d{y}^2$, so the conformal modulus of an annulus isThe extremal length of its core curves is $1/M_n$. Allowing all curves homotopic to $\gamma$ in $X_n$ can only decrease infimal lengths, while the area of a metric on all of $X_n$ is at least its area on the collar. Thus $\lambda (\gamma ,X_n)\le 1/M_n$. Use the particular conformal metric $|q_n{|}^{1/2}$, whose area of a quadratic differential is one:This proves the required implication uniformly over all the area-one holomorphic quadratic differentials on these surfaces.

The converse is false. Here is an explicit slit connected sum of translation tori. Start with square flat copies of a torus $T_1=\mathbb{C}/(\mathbb{Z}+i\mathbb{Z})$ and $T_{\delta }=\mathbb{C}/(\delta \mathbb{Z}+i\delta \mathbb{Z})$, where $\delta \to 0$. Cut a horizontal slit of physical length ${\delta }^2$ in each, centred in an interior coordinate disk, and cross-glue the banks by translation. The resulting surface has genus two. Its two slit endpoints have cone angle $4\pi$, so the locally defined $dz$ extends to a holomorphic one-form ${\omega }_{\delta }$ with two simple zeros. Its flat area is $1+{\delta }^2$. Setwhich is a holomorphic quadratic differential of area one. Let $\gamma$ be a horizontal generator in the small torus, taken away from the slit and fixed by the marking of this small handle. Then

To verify that its hyperbolic length does not tend to zero, construct a uniform lower bound on extremal length. On the unit square torus choose a disk $D$ about the eventual slit centre and a smooth cutoff function $\chi$ equal to one on a smaller disk and supported in $D$. Let $x$ denote a local real coordinate on $D$; in the first term below, $dx$ is the globally defined torus one-form, while $\chi x$ is extended by zero outside $D$. The real closed differential formis globally defined, vanishes on the smaller disk, and has period one on the horizontal generator. Pull it to $T_{\delta }$ by the rescaling map $z\mapsto z/\delta$, and extend it by zero across the slit and over the other torus. For sufficiently small $\delta$, the slit is inside the region where the form vanishes. Hence this extension ${\alpha }_{\delta }$ is a smooth closed differential form on the connected sum, with ${\int }_{\gamma }{\alpha }_{\delta }=1$.

Define a nonnegative conformal metric density by the pointwise norm of ${\alpha }_{\delta }$ relative to the flat metric. Two-dimensional scale invariance givesindependently of $\delta$. For every representative $\tilde{\gamma }$ homotopic to $\gamma$,because the period of a closed differential form is unchanged by homotopy. This is the extremal length lower bound from a closed one-form; therefore $\lambda (\gamma ,X_{\delta })\ge 1/C>0$. If ${\ell }_{X_{\delta }}(\gamma )$ tended to zero along any subsequence, the collar estimate would force $\lambda (\gamma ,X_{\delta })\to 0$, a contradiction. In fact its hyperbolic lengths are uniformly bounded away from zero. ThusFor every fixed $g>2$, replace $T_1$ by the area-one translation surface $X_{2g-2}$ constructed in the polygon argument; its genus is $g-1$. Cut its slit inside a nonsingular flat coordinate disk. The new connected sum has genus $g$, and the area normalization, small-handle length bound and closed-one-form energy argument are unchanged. Thus the converse fails at every fixed genus $g\ge 2$.

For stable compact Riemann surfaces with $n$ distinct labelled marked points, where $2g-2+n>0$, the displayed complex dimension counts independent conformal shapes and positions after conformal automorphisms are removed. On the sphere it is $n-3$, since three points fix a Möbius transformation. On a torus it is $1+n-1=n$: one shape modulus and $n$ positions, less one translation. For genus $g\ge 2$, the unmarked shape dimension is $3g-3$ and continuous conformal automorphisms vanish. The shape dimension also follows from the Riemann-Roch theorem applied to holomorphic quadratic differentials.

A section of the square of the canonical bundle, locally $q=\varphi (z)d{z}^2$; its coefficient changes by the square of the coordinate derivative. A holomorphic quadratic differential has holomorphic coefficient, and its flat metric of a quadratic differential is $|q{|}^{1/2}$.

For nonzero holomorphic one-forms and holomorphic quadratic differentials, apply $A\in {\mathrm{SL}}_2(\mathbb{R})$ to every flat coordinate. Translation and sign transition maps remain of the same type, defining a new complex structure and differential. Composition gives a group action, zero orders persist and area is preserved. The zero section has no such atlas; fixing it gives only a set-theoretic extension that is generally discontinuous.

A quasiconformal map whose Beltrami coefficient is $k|q|/q$ for an integrable nonzero holomorphic quadratic differential and constant $0<k<1$. In a flat coordinate for $q$, it stretches the horizontal and vertical directions with ratio $K=(1+k)/(1-k)$. Positive multiples of $q$ define the same coefficient.

The study of deformations and markings of Riemann surfaces, using quasiconformal maps, holomorphic quadratic differentials, extremal length and the mapping class group.