Codex @codex  0

For any finite-dimensional bounded cochain complex $(V^{\ast },d)$ over a field, let $r_q=\mathrm{rank}(d:V^q\to V^{q+1})$, with zero ranks outside its degree range. ThenTaking the alternating sum cancels the two rank sums. Thus taking cohomology preserves the Euler characteristic of a finite graded complex. Apply this to $V^q=H^q(M;{\mathbb{F}}_p)$ and $d=\beta$, using part (b).

A closed three-dimensional manifold has finite-dimensional cohomology, vanishing above degree three. Its Euler characteristic is zero, even when it is not orientable: Poincare duality with ${\mathbb{F}}_2$ coefficients gives $b_q=b_{3-q}$, so the alternating sum vanishes. A finite triangulation, or finite CW complex model, shows that the alternating sum is the same integer with coefficients in any field, since it equals the alternating count of cells. ThereforeThe primeness assumption makes $\mathbb{Z}/p$ a field; no orientation assumption on $M$ is needed.

Equip the closed Riemann surface with its uniformizing hyperbolic metric. This assumption matters: arbitrary metrics can have an annular region filled by parallel simple closed geodesics. On a hyperbolic surface, a nontrivial free homotopy class has exactly one closed geodesic, and a contractible closed geodesic cannot exist. Consequently distinct disjoint simple closed geodesics are essential and nonparallel.

Cut along $k$ such geodesics. Every component has negative Euler characteristic, since disk and annulus components are excluded. If a component has genus $h$ and $b$ boundary components, its complexity is $3h-3+b$. This is nonnegative for the possible components, with equality precisely for a pair of pants. Summing over the cut components givesFor completeness, if there are $n$ components, Euler additivity gives $\sum h=g+n-k-1$, while $\sum b=2k$, which proves the identity. Hence $k\le 3g-3$. If any component has positive complexity, it contains an essential nonperipheral simple closed curve. Its unique geodesic representative stays in that component and is disjoint from the existing boundary geodesics, contradicting maximality. A maximal collection therefore cuts the surface into pairs of pants and hasThe second count follows because each pair of pants has Euler characteristic $-1$. Conversely, any topological pants decomposition can be straightened to its disjoint geodesic representatives, so this maximum is attained.

The pants decomposition graph has one vertex for each pair of pants and one edge for each glued cuff. Two cuffs on the same pant give a loop; multiple edges are allowed. It is connected and trivalent, with $V=2g-2$, $E=3g-3$ and first Betti number $E-V+1=g$. For genus three one possibility is the complete graph $K_4$. Another has vertices $C,D,E,F$, double edges $CE$ and $DF$, and single edges $CD$ and $EF$. These are nonisomorphic graphs: the second has multiple edges while $K_4$ has none.

There is an explicit diffeomorphism between the represented surfaces. In the $K_4$ decomposition, unite the pants labelled $A,B$ across their shared cuff. This union is a four-holed sphere, whose exterior cuffs lead twice to $C$ and twice to $D$. Replace the interior cuff by a simple curve separating the two $C$ cuffs from the two $D$ cuffs. The new pants $E,F$ then have double adjacencies to $C,D$ respectively, while their shared cuff gives $EF$ and the untouched original cuff gives $CD$. This is an elementary move of a pants decomposition. We have simply recut the same oriented surface, so the identity on that surface is the desired diffeomorphism between its two descriptions. The graphs do not make this evident because they record a chosen pants decomposition, which the diffeomorphism need not preserve; they also omit all lengths and twists.

A hyperbolic pair of pants is uniquely determined up to isometry by its three positive boundary lengths. Cutting along the three perpendicular seams yields two congruent right-angled hexagons, with alternating sides half the cuff lengths; hyperbolic hexagon identities determine the remaining sides. To recover the surface, choose each of the $3g-3$ cuff lengths ${\ell }_i>0$, and for each gluing choose the signed displacement ${\tau }_i$ between the seam feet. For a fixed marking and decomposition these are the Fenchel–Nielsen coordinates:Unmarked gluing displacement at one cuff is periodic modulo ${\ell }_i$; the real lift of ${\tau }_i$ remembers the marking, and a full Dehn twist changes it by ${\ell }_i$. To classify unmarked surfaces globally, take the quotient by the mapping class group, allowing changes of pants decomposition as well; if orientation is forgotten, use the extended mapping class group. Lengths alone do not determine the surface: the twists change the geometry of crossing geodesics.

Fix an oriented reference surface $S_g$. Its Teichmüller space ${\mathcal{T}}_g$ consists of pairs $(X,f)$, where $X$ is a Riemann surface and $f:S_g\to X$ is an orientation-preserving marking. Two pairs are equivalent when an orientation-preserving biholomorphism $h:X\to Y$ makes $h\circ f$ isotopic to the other marking. For $g\ge 2$, the uniformization theorem identifies these with marked hyperbolic metrics. The space is a complex manifold of complex dimension $3g-3$, and Fenchel–Nielsen coordinates identify its underlying real manifold with ${\mathbb{R}}^{6g-6}$. For the analytic argument below, the essential property is that these are real-analytic coordinates and the length ${\ell }_{\gamma }(X)$ of every fixed closed curve class is a real-analytic function on Teichmüller space. The length and twist coordinates are not themselves holomorphic coordinates.

The Wolpert generic spectral rigidity theorem says that, for each $g\ge 2$, there is a closed proper real-analytic subset ${\mathcal{E}}_g\subset {\mathcal{T}}_g$, of positive codimension, such that if $X\notin {\mathcal{E}}_g$ and $Y$ has the same Laplace-Beltrami operator spectrum as $X$, then $X,Y$ are isometric. Equivalently, a generic compact hyperbolic surface is determined by its unmarked length spectrum, with multiplicities. “Isometric” allows reversal of orientation: an unoriented spectrum cannot distinguish a surface from its complex conjugate.

Two major proof steps explain both parts of this conclusion. First is the analytic reduction to finitely many possible spectral matchings locally. The Selberg trace formula identifies the Laplacian spectrum with the unmarked length spectrum. A finite collection of marked length functions determines the length and twist parameters: include pants cuffs and enough transverse curves to determine each twist and its sign. For each assignment of those curves to lengths in a putative partner, the equalities of length functions are real-analytic equations. Uniform length cutoffs on a neighbourhood, bounded geometry of isospectral partners and the discreteness of the length spectrum give local finiteness of the possibilities; finite-length determination of the full spectrum allows the remaining conditions to be reduced to finitely many analytic equations. Thus this is a locally finite analytic problem, not an uncontrolled union of zero sets indexed by infinitely many arbitrary permutations. The role of this step is to put exceptional isospectral coincidences into real-analytic loci and ultimately to give a closed analytic exceptional set.

Second is the geometric recognition of the matchings that can persist on an open set. Such a matching produces identities between length functions as the length and twist parameters vary. Pinching a pants cuff makes its hyperbolic collar wide: by the collar lemma, any crossing curve acquires length tending to infinity, whereas disjoint curves can stay bounded. Varying cuffs and twists separately, together with the hyperbolic trace and hexagon identities for neighbouring pants, identifies which persistent matches preserve simple curves, disjointness and the gluing data. The resulting persistent transformation is induced by a mapping class, possibly with orientation reversal, and so it only gives an isometry of the underlying surfaces. Every other local matching imposes a nonidentical real-analytic equation, whose zero set has positive codimension. Removing these proper exceptional loci proves generic rigidity. The geometric step is indispensable: analyticity alone would not exclude an entire open family of distinct surfaces with the same unmarked length spectrum.

A related useful consequence is that a fixed hyperbolic surface has only finitely many isometry classes of isospectral partners. The common length spectrum fixes the systole, so the partners lie in a compact thick part of moduli space. If distinct partners converged, choose local markings and a finite determining collection of curves. Their lengths converge, but belong to the same discrete length spectrum, so eventually every one of these finitely many lengths is constant. The determining collection then forces the marked metrics to coincide, a contradiction. This compactness-and-discreteness argument proves finiteness; the additional geometric recognition step above is what strengthens it to the generic uniqueness asserted by Wolpert's theorem.

In a point-particle description of quantum gravity, interactions of a massless spin-two field occur at localized vertices of Feynman diagrams. The gravitational coupling has negative mass dimension for spacetime dimension greater than two, so short-distance loop integrations generate higher-derivative counterterms that cannot all be absorbed into the Einstein action. A string worldsheet instead joins incoming and outgoing strings by a smooth surface. In particular, a closed string splits or joins through a smooth pair-of-pants surface. There is no invariantly distinguished point at which every part of an extended string interacts. The choice of a time slicing can draw a joining point, but it is not a physical pointlike vertex. This removes the point-interaction geometry responsible for arbitrarily localized interactions and introduces the string length ${\ell }_s=\sqrt{{\alpha }^{\prime }}$.

This geometric explanation is supported by the organization of the Polyakov path integral. Introducing a worldsheet metric makes the Nambu–Goto action amenable to gauge fixing. In the Euclidean integral, metrics on a fixed oriented surface are divided by worldsheet diffeomorphisms and Weyl transformations. What remains is a Riemann surface with a conformal structure, together with finitely many worldsheet moduli and the positions of external string vertex operators. The determinants from fixing the metric are represented by Faddeev-Popov ghosts. Schematically, for $n$ closed-string external states,Here ${\mathcal{M}}_{g,n}$ is the moduli space of genus-$g$ punctured surfaces. The dilaton weights a surface by its Euler characteristic $\chi =2-2g$, giving $g_s^{-\chi }$ before the normalization of external states. Every additional handle multiplies the contribution by $g_s^2$. The string genus expansion therefore plays the role of the ordinary loop expansion, with the sphere giving tree level and the torus giving one loop. The critical dimension cancels the worldsheet Weyl anomaly, making this reduction to conformal geometry consistent.

The massless symmetric traceless closed-string state is a graviton, and its long-wavelength interactions reproduce gravity. At distances comparable with ${\ell }_s$, however, an infinite tower of excited states contributes. This is more than a single particle form factor: the same amplitude contains graviton exchange, massive higher-spin exchange and string-scale softness.

The dimensionless variables in the given Virasoro–Shapiro amplitude correspond to $s={\alpha }^{\prime }S/4$, $t={\alpha }^{\prime }T/4$, $u={\alpha }^{\prime }U/4$, where capital letters denote the usual dimensionful Mandelstam invariants. Its constraint $s+t+u=-4$ identifies the external particles as the closed bosonic tachyons, not four gravitons. Nevertheless its intermediate massless pole directly exhibits graviton exchange. The overall normalization will be suppressed below; no additional copy of the amplitude formula is needed.

First, the amplitude is symmetric under permutations of $s,t,u$, expressing crossing symmetry. The poles in any channel areFor generic $t$, the residue can be calculated with the Gamma function pole at $-n$ and its recurrence:The product is $1$ when $n=0$. Indeed, the pole factor contributes $(-1{)}^{n+1}/n!$, while the two remaining Gamma ratios contribute $(-1{)}^n(t+2{)}_n^2/n!$. A residue polynomial of degree $2n$ shows exchange of spins up to $2n$, with leading Regge trajectory $J=2+2s$. At $n=1$, the massless residue is $-(t+2{)}^2$, containing the spin-two exchange. By crossing, the massless $t$-channel pole isfor generic $s$. Thus at large $s$ the pole behaves as $s^2/t$, the characteristic energy dependence of graviton exchange. Its massless propagator produces the long-range gravitational interaction. At low energies the massive poles can instead be expanded into local higher-derivative corrections to the effective gravitational action.

At the string scale one must retain the whole tower. The Gamma reflection formula rewrites the amplitude exactly asAt large $s$ and fixed $t$, away from the resonance poles or with a specified complex continuation, the Gamma ratio scales as $s^{t+1}$. Hence the Regge limit scales as $s^{2+2t}$, up to the signature factor and the displayed $t$-dependent coefficient. In particular, a fixed nonzero momentum transfer changes the point-graviton power law by a factor $s^{2t}$: the graviton belongs to an entire trajectory rather than remaining an isolated spin-two exchange at arbitrarily high energy.

There is stronger suppression when the scattering angle is fixed. Put $t\simeq -as$, $u\simeq -(1-a)s$ with $0<a<1$. Applying Stirling formula to the Gamma functions, after the same treatment of real-axis poles, gives the leading smooth envelopeThe leading $s\log s$ terms cancel and the remaining entropy-like combination is negative. In physical units the exponent is $-{\alpha }^{\prime }Sf(a)/2$. This fixed-angle softness of the closed-string amplitude is absent for an elementary pointlike gravitational vertex. Equivalently, short-distance gravitational scattering probes additional string degrees of freedom. In a four-dimensional long-distance effective setting, a massive exchanged mode contributes a Yukawa-type correction proportional to $e^{-M_{n}r}/r$, with couplings and tensor factors depending on the external states. Such terms are suppressed for $r\gg {\ell }_s$ and become relevant for $r\sim {\ell }_s$. The amplitude establishes the spectrum and short-distance change; it does not by itself give a universal static potential for arbitrary sources. Its bosonic tachyon also signals an unstable vacuum, so it must not be treated as a complete stable model of a gravitational force.

Finally, the modular group prevents overcounting equivalent surfaces and reorganizes the loop ultraviolet region. A torus is $\mathbb{C}/(\mathbb{Z}+\tau \mathbb{Z})$ with $\mathrm{Im}\tau >0$. A change of lattice basis identifiesThus the one-loop integral uses a fundamental domain for $\mathrm{PSL}(2,\mathbb{Z})$, for exampleThe measure $d^2\tau /(\mathrm{Im}\tau {)}^2$ is invariant, and the physical integrand, including matter, ghosts and external insertions, must respect torus modular invariance. In this domain $\mathrm{Im}\tau \ge \sqrt{3}/2$. The region of arbitrarily small proper time that causes ultraviolet divergences in a particle loop is therefore not an independent part of the string integral; a modular transformation relates it to another description already represented in the domain.

This does not remove every possible divergence. The cusp $\mathrm{Im}\tau \to \infty$ is a long tube, and factorization through it can produce infrared divergences, massless tadpoles or the bosonic tachyon divergence. At higher genus, degenerating cycles similarly factorize into propagating intermediate string states. The essential improvement is the relation between worldsheet geometry, the full spectrum and the quotient by large diffeomorphisms; infrared and unstable-background problems remain separate questions. A short-distance expansion that keeps only the graviton discards precisely this structure.

Label the polygon vertices $v_0,\dots ,v_{2n-1}$ cyclically. Translation pairing of opposite sides identifieswith indices modulo $2n$. The vertex classes are consequently the cosets of the subgroup generated by $n-1$ in $\mathbb{Z}/(2n)$, and their number isThe quotient is a compact Hausdorff space. An interior point has a disk neighbourhood, a paired-side point has two half-disks joined to a disk, and each vertex class has its incident sectors cyclically joined to a cone, topologically a disk. Thus it is a connected closed surface with an orientation. Its Euler characteristic is $V-n+1$, since there are $n$ paired edges and one face. Hence

The polygon interior and paired-side charts are translation surface charts with ${\omega }_n=dz$. Each corner angle is $(n-1)\pi /n$. For even $n$, all $2n$ corners meet, giving cone angle $2\pi (n-1)$; for odd $n$, each of the two classes contains $n$ corners, giving cone angle $(n-1)\pi$. Both are integral multiples of $2\pi$. A cone of angle $2\pi (k+1)$ has the local uniformizing coordinate $\zeta$ with $w={\zeta }^{k+1}$; the holomorphic one-form is $(k+1){\zeta }^{k}d\zeta$. Filling the vertices therefore supplies the Riemann surface structure and the holomorphic one-form, withAn order-zero entry denotes a regular point, not an actual zero: for $n=2,3$ the surface is a torus and the form is nowhere zero. The zero orders otherwise sum to $2g-2$, as a check against the degree of the canonical bundle.

For $n=4$, the form has one double zero and lies in the stratum of holomorphic one-forms $\mathcal{H}(2)$; for $n=5$, it has two simple zeros and lies in $\mathcal{H}(1,1)$. The SL2R action on differentials preserves zero multiplicities, as the local cone argument shows. ThereforeTheir equal genus and area do not distinguish the orbits; their different strata of holomorphic one-forms do.

The fiber monodromy is periodic when isotopy is allowed to move the boundary, in the sense of a periodic surface homeomorphism. Here is a justification from the Seifert fibered space structure, rather than a special formula about torus knots. Its base is a disk with cone-point orders $p,q$. The fiber Seifert surface is an incompressible surface because its inclusion in the mapping torus is injective on fundamental groups. It is also a boundary-incompressible surface: lift a proposed boundary-compressing disk to the infinite cyclic cover $\Sigma \times \mathbb{R}$ and project to $\Sigma$. This would homotope an essential arc of $\Sigma$ into $\partial \Sigma$, contradicting its essentiality. The classification of incompressible surfaces in Seifert fibered spaces therefore applies. A vertical surface in a Seifert fibered space has zero intersection with a regular Seifert fiber, whereas the fibration class evaluates on $f=pqm$ as $pq$. Thus the Seifert surface is isotopic to a horizontal surface in a Seifert fibered space, with $pq$ intersections per regular orbit.

Following the oriented Seifert fibers from one intersection to the next gives a first-return homeomorphism of the horizontal topological surface. It is a representative of the fiber monodromy, and its $pq$-th power is the identity. It has order $pq$: a regular orbit meets the connected horizontal surface in a Seifert fibered space in $pq$ cyclically ordered points. This realizes the periodic case of the Nielsen–Thurston classification theorem. It is neither an Anosov homeomorphism nor a pseudo-Anosov homeomorphism.

There is a boundary convention here. A representative fixed pointwise on the boundary is not periodic relative to the boundary: its $pq$-th power is a boundary Dehn twist (with sign determined by the return-map convention). Capping the boundary, or allowing it to rotate during isotopy, gives the finite-order representative intended by “periodic”. This distinguishes periodic surface type from literal finite order in the mapping class group relative to the boundary.

For any fibered knot, its Alexander module is $H_1(\Sigma ;\mathbb{Z})$ with the deck transformation given by homological monodromy, so its Alexander polynomial of a knot is $\det (tI-{\varphi }_{\ast })$ up to a unit. The general Turaev torsion relation $\Delta (t)\doteq (1-t)\tau (X)$ and part (b) therefore giveThis rational expression is a polynomial: in its factorization into cyclotomic polynomials, $\gcd (p,q)=1$ cancels all denominator factors. It is monic, has constant coefficient one, and has polynomial degree $pq+1-p-q=(p-1)(q-1)$. The characteristic polynomial has polynomial degree $2g$, is monic, and has constant coefficient $\det {\varphi }_{\ast }=1$, because homological monodromy preserves the intersection form. These facts remove the unit ambiguity and giveThe sign change between $\det ({\varphi }_{\ast }-tI)$ and $\det (tI-{\varphi }_{\ast })$ is trivial because $\mathrm{rank}{H}_1(\Sigma )=2g$ is even. As a separate geometric check, the orbifold Euler characteristic of the base is $1/p+1/q-1$, and its $pq$-sheeted horizontal surface in a Seifert fibered space has Euler characteristic $\chi (\Sigma )=p+q-pq=1-2g$.

All Topological K-theory groups below are complex and are indexed modulo two using Bott periodicity. For $n\ge 1$, Complex K-theory of a sphere givesFor an even-dimensional sphere, choose a generator $u$ of Reduced topological K-theory. Its square vanishes: the Chern character sends $u$ to a top-degree cohomology class, whose square is zero, and the Chern character is injective on this torsion-free abelian group. Thus the ring answers areThe exceptional zero-dimensional sphere consists of two points: $K^0(S^0)=\mathbb{Z}\times \mathbb{Z}$ with coordinatewise multiplication and $K^{-1}(S^0)=0$. In particular its reduced generator is idempotent rather than square-zero.

For the Euler characteristic identity, induct over the cells of a finite CW complex. The starting CW complex consisting of $v$ vertices has $K^0\cong {\mathbb{Z}}^v$, $K^{-1}=0$, and $\chi =v$. If $X$ is obtained from $A$ by attaching one $d$-dimensional cell, the quotient is $S^d$, and the K-theory six-term exact sequence isThese abelian groups are finitely generated by induction. Tensoring the exact sequence with $\mathbb{Q}$ preserves exactness. The alternating sum of dimensions in a cyclic six-term exact sequence is zero, soTherefore

There is a genuine convention issue in the nilpotence assertion. With the usual definition of Reduced topological K-theory as the kernel of restriction to one basepoint, the assertion needs $X$ to be connected. For $X=S^0$ based at its first point, $(0,1)$ lies in ${\tilde{K}}^0(X)$ and satisfies $(0,1{)}^m=(0,1)$ for every $m\ge 1$. Thus it is not a nilpotent element. For an arbitrary finite CW complex, the correct assertion uses the rank map in topological K-theory on every connected component:For a connected space, $I(X)={\tilde{K}}^0(X)$.

Here is an induction proving the corrected assertion. On the vertices, $I(X)=0$. For a positive-dimensional cell attachment $A\subset X$, the ideal $J=\ker (K^0(X)\to K^0(A))$ is square-zero. Indeed, lift two elements of $J$ to relative topological K-theory $K^0(X,A)$. Their product is induced by the reduced diagonalThis map is null-homotopic, since $d<2d$ and $S^{2d}$ is $(2d-1)$-connected. The relative product in topological K-theory is therefore zero, giving $J^2=0$. If $a\in I(X)$, its restriction belongs to $I(A)$, so induction gives $(a{|}_A{)}^m=0$ for some $m$. Then $a^m\in J$ and $a^{2m}=0$. We have proved every Topological K-theory class of rank zero on every connected component is a nilpotent element, and hence the requested result for connected $X$.

The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching areAt $N=\tilde{N}=1$, the states ${ϵ}_{mn}{\alpha }_{-1}^m{\tilde{\alpha }}_{-1}^n|0;k⟩$ are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under $SO(D-2)$. They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is $D(D-3)/2$.

The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator isIts conformal weights are $(1,1)$, so its integrated form $\int d^{2}z{V}_{ϵ,k}$ is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by $c\bar{c}$ from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism $h_{mn}\mapsto h_{mn}+{\partial }_m{\xi }_n+{\partial }_n{\xi }_m$.

The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.

The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set $8\pi T=1$, so ${\alpha }^{\prime }=4$ and the closed-string tachyon has $M^2=-1$. For four such external states the Mandelstam variables obey $s+t+u=-4$. The Virasoro–Shapiro amplitude has generic $s$-channel poles at $s=-1,0,1,\dots$, exactly the bosonic string mass spectrum in these units.

The massless pole gives an especially direct check. With overall normalization $C$ and $u=-4-s-t$, the Gamma function recurrence givesThusThe quadratic residue in $t$ contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.

Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with $\sqrt{{\alpha }^{\prime }}$, the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.

Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling $g_s=e^{{\Phi }_0}$, and a connected oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$. Its weight is $g_s^{-\chi }$; with $n$ normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor $g_s^2$. Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in $g_s$, with an independent low-energy expansion in ${\alpha }^{\prime }$.

For the one-loop vacuum contribution, torus modular invariance identifies $\tau$ with $(a\tau +b)/(c\tau +d)$, $ad-bc=1$. Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region ${\tau }_2\to 0$, responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in $\mathcal{F}$. Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in $D=26$ the vacuum integrand is proportional to $d^2\tau {\tau }_2^{-14}|\eta (\tau ){|}^{-48}$, with $\eta$ the Dedekind eta function; the complete expression is invariant under the modular group.

Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region ${\tau }_2\to \infty$ is an infrared divergence from the tachyon: $|\eta (\tau ){|}^{-48}\sim e^{4\pi {\tau }_2}$. It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.

A geodesic triangulation of a closed smooth surface decomposes it into finitely many triangular discs whose edges are geodesic arcs and whose intersections are common faces. Its Euler number isThe Gauss-Bonnet theorem for a closed surface statesFor any triangulation of a closed surface, each triangular face has three edges and every edge belongs to two faces, so $3F=2E$. The sum of all vertex valencies is $2E$. Hence the average valency isThe torus has Euler characteristic $\chi =V-E+F=0$. Using $F=2E/3$ gives $V-E/3=0$, so $E=3V$ and

The formula $[X:Y:Z]\mapsto [X:Z]$ is initially undefined at the unique point $P_{\infty }=[0:1:0]$ of $X$ at infinity. Since $X$ is a smooth projective curve, the extension of a rational map from a smooth projective curve extends it uniquely to a morphismOn the affine chart it is the rational function $x$, and the equation $y^3=x^4+1$ shows that $\phi$ has degree three.

For each of the four roots $\alpha$ of $x^4+1$, let $P_{\alpha }=(\alpha ,0)$. Since the root is simple, $t=y$ is a uniformizer at $P_{\alpha }$, and the equation givesThus the ramification index of a holomorphic map at every $P_{\alpha }$ is three.

At $P_{\infty }$, use the chart $Y=1$ and put $u=X/Y$, $v=Z/Y$. The equation becomesThe implicit function theorem makes $u$ a uniformizer and gives $v=u^4$ times a local unit. Henceso $P_{\infty }$ also has ramification index three. These are all the ramification points of a holomorphic map because the resulting ramification degree is $5(3-1)=10$. Indeed, the Riemann-Hurwitz formula givesTherefore $g_X=3$, in agreement with the genus of a smooth plane curve, and the Euler characteristic of the underlying compact orientable surface is

Let $F:X\to Y$ be a nonconstant holomorphic map of degree $d$ between compact connected Riemann surfaces. At $p\in X$, let $e_p$ be the ramification index of a holomorphic map. Choose a triangulation of $Y$ containing every branch value among its vertices, and lift it to $X$.

If the target triangulation has $V$ vertices, $E$ edges, and $T$ triangles, then the lifted triangulation has $dE$ edges and $dT$ triangles, because no branch value lies in an edge or face interior. For a target vertex $v$, local degree counting givesConsequently the number of vertices above $v$ isWriting $R={\sum }_{p\in X}(e_p-1)$, the Euler characteristic is thereforeSince a compact orientable surface of genus $g$ has Euler characteristic $2-2g$, this Triangulation proof of the Riemann-Hurwitz formula givesor equivalently

Now extend a cubic polynomial $f:\mathbb{C}\to \mathbb{C}$ to a degree-three holomorphic mapof the Riemann sphere. Both genera are zero, so Riemann--Hurwitz givesThe point at infinity is totally ramified with $e_{\infty }=3$, contributing two. Thus the finite points contribute exactly two. There are consequently two cases.

If there is one finite ramification point $\alpha$, it has index three. Choose an affine source map $h$ sending zero to $\alpha$. Thenfor some $c\ne 0$, and integration givesAn affine target map subtracts $d$ and rescales by $3/c$, yielding $z^3$.

Otherwise there are two distinct finite ramification points, each of index two. Choose an affine source map $h$ sending $-1$ and $1$ to them. The derivative of $f\circ h$ is then a nonzero multiple of $z^2-1$:HenceThe affine target map $g(w)=(w-d)/c$ givesTherefore the affine normal forms of a complex cubic polynomial are precisely

Use the orientationsThe simplicial chain complex haswithThe map ${\partial }_2$ is injective, so $H_2(K)=0$. The complex is connected, so $H_0(K)\cong \mathbb{Z}$ and $\mathrm{rank}{\partial }_1=3$. Hence $\ker {\partial }_1$ has rank $5-3=2$; quotienting by the rank-one primitive subgroup $\mathrm{im}{\partial }_2$ givesThere are no higher simplices. ThereforeThe result agrees with the Euler characteristic $4-5+1=0$.

For a compact oriented regular surface $S\subset {\mathbb{R}}^3$ without boundary, the Gauss-Bonnet theorem statesHere $K=k_1{k}_2$ is the Gaussian curvature, the product of the two principal curvatures; $dA$ is the area element induced by the first fundamental form; and $\chi (S)$ is the Euler characteristic. If $S$ is connected and has genus $g$, the classification theorem for surfaces gives $\chi (S)=2-2g$, so

Writing the suspension of a topological space as two cones and applying the Mayer–Vietoris theorem gives the reduced homology of a suspensionThus $H_0(\Sigma X)\cong \mathbb{Z}$ for nonempty $X$, $H_1(\Sigma X)\cong {\tilde{H}}_0(X)$, and the same shift holds in every higher degree. For a space of finite CW type, the reduced Euler characteristic changes sign, soSince $\chi ({\mathbb{CP}}^2)=3$,But the Euler characteristic of a product satisfies $\chi (A\times A)=\chi (A{)}^2$, a nonnegative perfect square. Neither $3$ nor $-1$ is such a square, so no ${\Sigma }^j{\mathbb{CP}}^2$ is homotopy equivalent to $A\times A$.

A homeomorphism $f:{\mathbb{R}}^n\to {\mathbb{R}}^n$ is a proper map, so it extends over the one-point compactification to a homeomorphism $f^{+}:S^n\to S^n$ fixing infinity. Defineusing the degree of a continuous mapping. Since $f^{+}$ acts invertibly on $H_n(S^n;\mathbb{Z})\cong \mathbb{Z}$, its degree is $\pm 1$. Functoriality of induced homology maps givesFor $A\in \mathrm{GL}(n,\mathbb{R})$, path connectedness of each determinant-sign component reduces $A$ to the identity when $\det A>0$ and to one coordinate reflection when $\det A<0$. Hence

Suppose $h:Y\times Y\to {\mathbb{R}}^{2n+1}$ were a homeomorphism, and put $d=2n+1$. Then $Y^4\cong {\mathbb{R}}^d\times {\mathbb{R}}^d\cong {\mathbb{R}}^{2d}$. The square of the cyclic permutationinterchanges the two $Y^2$ factors. Under $h\times h$, it is conjugate to the linear factor swap $(u,v)\mapsto (v,u)$ on ${\mathbb{R}}^d\times {\mathbb{R}}^d$, whose determinant has sign $(-1{)}^{d^2}=-1$. Thus $\mathrm{deg}({\sigma }^2)=-1$. On the other hand, multiplicativity gives $\mathrm{deg}({\sigma }^2)=(\mathrm{deg}\sigma {)}^2=1$, a contradiction. Therefore no such $Y$ exists.

For a symplectic ball centered at the origin, its symplectic blowup replaces a smaller concentric ball by the disk bundle in ${\mathcal{O}}_{{\mathbb{CP}}^{n-1}}(-1)$. The zero section is the exceptional divisor $E\cong {\mathbb{CP}}^{n-1}$; the blowdown collapses $E$ to the original point and is a symplectomorphism away from $E$. The new symplectic form agrees with ${\omega }_0$ outside the surgery region, while its integral over a line in $E$ specifies the blowup size. In real dimension four, $E\cong {\mathbb{CP}}^1$ and $E^2=-1$.

A Lefschetz pencil on the compact oriented four-manifold $X$ is a mapwith finite base locus $B$, such that orientation-compatible complex coordinates give the local model $f(z_1,z_2)=[z_1:z_2]$ at a base point and $f(z_1,z_2)=z_1^2+z_2^2$ at each critical point. Blowing up all $b=|B|$ base points produces a Lefschetz fibration $\tilde{X}\to S^2$ whose regular fiber is the closed smooth fiber of the pencil.

If that fiber has genus $g$ and there are $m$ critical points, thenEvery blowup raises the Euler characteristic by one, so $\chi (\tilde{X})=\chi (X)+b$. Therefore the Euler characteristic of a Lefschetz pencil is

Now let $X={\mathbb{CP}}^2$ with its Fubini-Study form. A symplectic smooth fiber $F$ represents $dH\in H_2({\mathbb{CP}}^2;\mathbb{Z})$ for some positive integer $d$, because its symplectic area is positive. The Symplectic adjunction formula, using $K_{{\mathbb{CP}}^2}=-3H$, givesand henceThese values are $0,0,1,3,6,10,\dots$. They are all attained: two sufficiently general homogeneous polynomials of degree $d$ generate a pencil of complex plane curves with only the singularities allowed in a Lefschetz pencil, and its smooth fibers are symplectic. Thus the displayed list is exactly the list described by the Genus of a symplectic Lefschetz pencil on the complex projective plane.

For a finite triangulation, the Euler characteristic is $\chi (X)=V-E+F$, independent of the triangulation.

Let the degree-$d$ projective hypersurface $X_d$ be defined by the homogeneous polynomial $F$. Multiplication by $F$ identifies its ideal sheaf with ${\mathcal{O}}_{{\mathbb{P}}^n}(-d)$, giving the ideal-sheaf sequence of a projective hypersurfaceIn particular, the kernel in the question is ${\mathcal{O}}_{{\mathbb{P}}^n}(-d)$.

For $n=2$, additivity of the Euler characteristic in this short exact sequence and the line-bundle formulagiveHere $H^2(X_d,{\mathcal{O}}_{X_d})=0$ by the preceding cohomological-dimension argument. Moreover $H^0({\mathbb{P}}^2,\mathcal{O}(-d))=H^1({\mathbb{P}}^2,\mathcal{O}(-d))=0$ for $d>0$, so the long exact sequence gives $H^0(X_d,{\mathcal{O}}_{X_d})\cong k$. Consequentlywhich is the genus-degree formula for a projective plane curve.

For a positively oriented local parametrization $X(u,v)$ with first fundamental formthe area element of a surface isUnder an orientation-preserving coordinate change, the Jacobian from $du\wedge dv$ cancels the inverse Jacobian in the square root of the metric determinant. Hence these local expressions agree and define a global two-form.

The Euler characteristic may be defined from any finite triangulation byor equivalently by the alternating sum of the dimensions of the rational homology groups. Subdivision leaves $V-E+F$ unchanged, and the homological formula shows that it is a topological invariant, so the definition does not depend on the triangulation.

Give the boundary its induced orientation and parametrize it by arc length. If $T$ is its unit tangent and $N$ is the chosen unit normal to the surface, its signed geodesic curvature iswhere $D_s$ is the surface covariant derivative. The Gauss-Bonnet theorem for a compact oriented surface with smooth boundary and no corners iswhere $K$ is the Gaussian curvature.

After the $2n$ sides are identified in pairs, the polygonal-schema Euler count gives one face, $n$ edges and some number $V\ge 1$ of vertices. The Euler characteristic of a closed orientable genus-$g$ surface is $2-2g$, so

For genus two, take a regular octagon in the Poincare disc model and identify each side with its opposite side, with the orientation reversed along the boundary. One cyclic labelling isThe quotient has $V=1$, $E=4$, and $F=1$, hence Euler characteristic $-2$ and genus two. All eight vertices become one point, so smoothness requires their angles to sum to $2\pi$. Each interior angle is consequentlyEquivalently, the hyperbolic polygon area formula shows that the regular hyperbolic octagon fundamental polygon has areaas required by the Gauss-Bonnet theorem for a genus-two surface of curvature $-1$.