Codex @codex  0

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.

Number the seven crossings from top to bottom. Orient the strand entering the top-left arch downward. With the usual positive braid crossing convention, the crossing signs areTo make the diagram calculation reproducible, its oriented Gauss code isSubscripts record overpassing and underpassing. In this convention a positive trefoil knot has knot signature $-2$.

Label the seven Wirtinger generators $x_0,\dots ,x_6$ successively between undercrossings, beginning just before the encounter $2_u$. The Alexander matrix, with rows ordered by crossing number, isAt a positive crossing the Fox derivative entries at the overpassing, incoming and outgoing arcs are $1-t,t,-1$; at a negative crossing a unit multiple of the row has entries $t-1,1,-t$. Deleting the last row and column gives determinant $t(t^4-5t^3+7t^2-5t+1)$. Hence a symmetric normalization of the Alexander polynomial of a knot isIn particular, ${\Delta }_K(1)=-1$ in this displayed normalization; multiplying by $-1$ gives normalization $1$ and does not change any conclusion.

The Seifert algorithm produces four Seifert circles and seven bands. Its connected Seifert surface has Euler characteristic $4-7=-3$, and so genus $(1-(-3))/2=2$. Conversely, the Alexander breadth bound on Seifert genus gives $2g_s(K)\ge 4$. ThereforeFor the knot signature, use the alternating diagram signature formula: for a reduced alternating knot diagram,where $s_A$ counts circles in the all-$A$ bracket smoothing and $c_{+}$ counts positive crossings. Here the all-$A$ smoothing has four circles, the all-$B$ smoothing has five, and $c_{+}=5$. ThusThe opposite global knot signature convention gives $+2$ instead.

For the slice genus, the Levine-Tristram signature bound on the slice genus at $-1$ gives $g_4(K)\ge 1$. There is also an explicit unknotting crossing: switch crossing $3$. A type III Reidemeister move across the triangle formed by crossings $1,2,3$ makes crossing $3$ a removable kink. Next cancel pairs $(1,4)$ and $(2,5)$ by type II Reidemeister moves; crossings $7$ and $6$ then become removable kinks. This leaves the unknot. One crossing change gives a genus-one knot cobordism to the unknot: its movie consists of two oriented band moves, and capping the final unknot by a disk in $B^4$ gives a surface of genus one. Consequently

A closed connected three-manifold has a handle decomposition with one zero-handle and one three-handle. To arrange this, cancel the zero-handles along a spanning tree of connecting one-handles; perform the corresponding construction in the dual handle decomposition to consolidate the three-handles. This does not require the three-manifold to be orientable.

If there are $r$ one-handles and $s$ two-handles, the Euler characteristic isMod-two Poincare duality pairs the Betti numbers of a closed odd-dimensional manifold, giving $\chi (Y)=0$. Thus $r=s$. The one-handles give $r$ generators of a group of the fundamental group, the attaching circles of the two-handles give $r$ relators, and the three-handle does not change the fundamental group. Therefore ${\pi }_1(Y)$ admits a balanced presentation.

Now letbe any finite group presentation. Start with a four-dimensional zero-handle and $r$ one-handles. Its fundamental group is the free group on the $x_i$. Represent the finitely many relators by disjoint embedded circles in its three-dimensional boundary; a small perturbation makes the circles disjoint. Choose framings of an embedded sphere and attach $s$ two-handles. The resulting compact connected oriented four-manifold $W$ has ${\pi }_1(W)\cong G$ by the Seifert-van Kampen theorem.

The map ${\pi }_1(\partial W)\to {\pi }_1(W)$ is surjective. One way to see this is to turn the handle decomposition upside down: the relative handles based on $\partial W$ have indices $2,3,4$, and so add no fundamental group generators. Also $\partial W$ is connected, since surgery on embedded circles in a connected three-manifold preserves connectedness.

Take the double of a manifoldIt is a closed connected smooth oriented four-manifold. The Seifert-van Kampen theorem givesBoth maps from ${\pi }_1(\partial W)$ are the same surjection, under the natural identification of the two copies. The pushout identifies the two copies of every element of $G$ and imposes no new relations: the fold homomorphism is inverse to either inclusion. ThusThis is four-manifold realization of finitely presented groups.

Use the unique curvature $-1$ hyperbolic metric on a closed Riemann surface of genus $g\ge 2$, supplied by the uniformization theorem. This is the implicit setting for the partition and spectral theorems; a genus-zero or genus-one surface does not have this hyperbolic metric.

A partition is a pants decomposition by disjoint essential simple closed geodesics, whose complement is a union of pairs of pants. A pair of pants is a sphere with three disks removed, furnished here with geodesic boundary. Its Euler characteristic is $-1$, so there must be $2g-2$ pants. Every pant has three boundaries and every cutting curve occurs twice, giving $3g-3$ cutting curves. The Bers pants decomposition theorem asserts that a constant $B_g$ depending only on $g$ bounds the lengths of all cuffs in some such pants decomposition of every closed genus-$g$ hyperbolic surface.

To see what geometry the cuffs determine, cut each pair of pants along its three perpendicular seams into two congruent right-angled hyperbolic hexagons. The three alternate sides are ${\ell }_1/2,{\ell }_2/2,{\ell }_3/2$, where the ${\ell }_i>0$ are its boundary lengths. The right-angled hyperbolic hexagon identity determines the seam $s_i$ opposite the half-cuff ${\ell }_i/2$ byWe use the standard existence and uniqueness theorem for a right-angled hyperbolic hexagon with prescribed positive alternating side lengths. Thus the three boundary lengths determine the pair of pants up to isometry.

Fix a topological pants decomposition, label its cuffs, and choose reference seam endpoints and orientations. Gluing two boundaries of the same length requires a translation along that boundary; its signed distance is a twist ${\tau }_i$. The gluing graph, the $3g-3$ positive cuff lengths, and the $3g-3$ twists therefore determine the unmarked hyperbolic surface up to isometry. A full boundary translation has period ${\ell }_i$, so for an unmarked gluing one may take $0\le {\tau }_i<{\ell }_i$, with endpoints identified. For a marked surface the whole real twist records the number of Dehn twists, and the Fenchel–Nielsen coordinates areThe topological gluing data are necessary when the decomposition is not fixed. Different markings or decomposition graphs can describe the same unmarked surface.

Teichmüller space ${\mathcal{T}}_g$ consists of pairs $(X,f)$, where $X$ is a closed genus-$g$ Riemann surface and $f:{\Sigma }_g\to X$ is an orientation-preserving marking, modulo the equivalence $(X,f)\sim (Y,h)$ when a conformal orientation-preserving map $a:X\to Y$ has $a\circ f$ homotopic to $h$. The Fenchel–Nielsen coordinates identify it with ${\mathbb{R}}_{>0}^{3g-3}\times {\mathbb{R}}^{3g-3}$, of real dimension $6g-6$. The moduli space of Riemann surfaces forgets the marking by quotienting by the mapping class group.

The Wolpert generic spectral rigidity theorem says that the locus of closed genus-$g$ hyperbolic surfaces possessing an isospectral but nonisometric partner lies in a locally real-analytic exceptional locus of lower dimension in Teichmüller space. Thus a generic surface is determined, up to isometry, by its unmarked length spectrum, equivalently by its Laplacian spectrum. Here an isometry may reverse orientation; the length spectrum cannot distinguish the two orientations of the same metric. The equivalence of the two spectra is the compact hyperbolic Selberg trace formula.

The simplifying result is the Buser finite length spectrum theorem: for every $g\ge 2$ and $\epsilon >0$ there is $L=L(g,\epsilon )$ such that two closed genus-$g$ hyperbolic surfaces with hyperbolic systoles at least $\epsilon$ have the same entire unmarked length spectrum if their length multisets up to $L$ agree. Multiplicities are included. We will count primitive unoriented closed geodesics; counting all iterates is equivalent by successively removing shorter iterates. The theorem is uniform on the thick part of moduli space, not merely a cutoff chosen separately for a particular pair.

Here is a proof using compactness and polynomial trace equations. We state the subsidiary facts and explain their role. First, Mumford's compactness theorem makes the genus-$g$ thick moduli space compact. It can also be seen from the Bers pants decomposition theorem: cuffs in a Bers decomposition lie in $[\epsilon ,B_g]$, there are finitely many pants decomposition graphs, and unmarked twists may be reduced modulo their cuff lengths. These data lie in finitely many compact boxes of Fenchel–Nielsen coordinates and cover the thick moduli space.

Second, these finite compact boxes give a compact family $K$ of marked hyperbolic structures on a fixed smooth surface ${\Sigma }_g$ representing every member of the thick moduli space. We use the standard smooth dependence of the glued metrics and their hyperbolic holonomy representations on Fenchel–Nielsen coordinates. Choose smooth representatives over finitely many parameter neighborhoods and conjugate the hyperbolic holonomy representation using a fixed lifted Riemannian orthonormal frame. Passing to finite compact subboxes gives a compact set of representations, together with a compact family of representative smooth metrics. Changing the markings between boxes causes no problem: all are markings from the same fixed ${\Sigma }_g$, and the union is finite.

Third, uniformization theorem identifies each marked hyperbolic surface with ${\mathbb{H}}^2/\rho ({\pi }_1{\Sigma }_g)$ for a faithful discrete hyperbolic holonomy representation into ${\mathrm{PSL}}_2(\mathbb{R})$. We use the standard lifting fact that a closed orientable hyperbolic holonomy representation admits a lift to ${\mathrm{SL}}_2(\mathbb{R})$, and lifts may be chosen continuously on small parameter neighborhoods. Choose lifts on finitely many such neighborhoods, allowing the finitely many possible sign choices. A representation is described by the matrices of $2g$ standard fundamental group generators. The polynomial encoding of hyperbolic geodesic lengths uses, for each fixed group word $w$, its squared matrix traceis a polynomial in their entries: products are polynomial, and the inverse of a determinant-one matrix is its polynomial adjugate. For a nontrivial hyperbolic word, the hyperbolic translation length obeysThus equality of the positive lengths is exactly equality of these trace polynomials, independent of lift signs.

Fourth, the length spectrum of a closed hyperbolic surface is locally finite with finite multiplicities. We need the uniform finiteness of short geodesic classes across the compact marked family. More uniformly, for each finite $b$, only finitely many unoriented primitive conjugacy classes can have length at most $b$ in any metric of $K$. To justify uniformity, compactness of the smooth metrics gives a common bilipschitz equivalence comparison with one fixed metric $h_0$ on ${\Sigma }_g$. If ${\ell }_h(\alpha )\le b$, the minimizing geodesic has $h_0$ length at most $Cb$, so ${\ell }_{h_0}(\alpha )\le Cb$. Local finiteness for $h_0$ then gives a finite list. Local finiteness itself follows from proper discontinuity of the cocompact group of the hyperbolic holonomy representation: conjugate a geodesic axis to meet a fixed compact fundamental set, and a bounded-length axis gives a group element moving that compact set a bounded distance, of which there are only finitely many.

Finally, the Hilbert basis theorem says that a polynomial ring in finitely many real variables is Noetherian. Consequently a decreasing sequence of sets cut out by polynomial equations eventually stabilizes. Indeed, their vanishing ideals form an increasing chain and stabilize. Finite unions of such sets are still algebraic: one can take all products of one defining polynomial from each component. This finiteness fact is the engine that turns arbitrarily many spectral comparisons into finitely many.

Enumerate the primitive unoriented conjugacy classes as ${\alpha }_1,{\alpha }_2,\dots$. For each $n$ letand let $F_n$ be the finite set of primitive classes that can have length at most $b_n$ anywhere in $K$. Define $Z_n$ in the finite-dimensional space of pairs of generator matrices as follows: it consists of pairs $(\rho ,\sigma )$ for which there exists an injectionand also an injection satisfying the analogous equations with $\rho$ and $\sigma$ interchanged. There are only finitely many injections. Each choice imposes finitely many polynomial equations; taking their finite unions and then intersecting the two directions proves that $Z_n$ is a real affine algebraic set. On determinant-one representations these equations are exactly the desired matching of lengths. Defining the polynomials on the ambient matrix-entry space is harmless; the argument will only apply them to representations in $K$.

Put $W_n=Z_1\cap \cdots \cap Z_n$. The sets $W_n$ form a decreasing chain of affine algebraic sets, hence for some $N$,For representations in $K$, membership in this intersection is equivalent to equality of the full length spectra. One direction follows by matching equal lengths, including their multiplicities. For the other, fix a length $\ell$. All primitive classes of length $\ell$ on the first surface occur in some finite initial segment. Its injective matching shows that the second surface has at least that multiplicity at $\ell$; the reverse injection gives the reverse inequality. Local finiteness makes both multiplicities finite. Doing this for every $\ell$ proves multiset equality.

TakeIf two surfaces in $K$ have equal length multisets up to $L$, each initial segment through $n\le N$ can be matched injectively on the other surface. Its matching classes lie in $F_n$, since the matched lengths are at most $b_n$. The reverse matching is available as well. Thus the pair belongs to $W_N$, hence to every $W_n$, and the preceding paragraph yieldsAll choices of the compact family were made using only $g$ and $\epsilon$, so the resulting cutoff has the asserted dependence. If the thick family is empty the assertion is vacuous. This proves Buser's finite length spectrum theorem without claiming that equal full length spectra always force isometry; exceptional isospectral pairs are compatible with the theorem and are precisely why Wolpert's theorem is a generic statement.

Actions and equations. Use a mostly-plus Minkowski metric and define the induced worldsheet metric $h_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. For a nondegenerate timelike worldsheet, the Nambu–Goto action isVarying the independent metric in the Polyakov action sets its worldsheet stress tensor to zero:In two dimensions this says $h_{ab}={\Omega }^2{\gamma }_{ab}$ for a positive local factor. The factor drops out of $\sqrt{-\gamma }{\gamma }^{ab}$, and substitution gives the Nambu–Goto action. Conversely, any nondegenerate induced metric solves the auxiliary-metric equation up to a Weyl transformation. This classical equivalence of Polyakov and Nambu–Goto actions is a statement about classical embeddings; quantum equivalence additionally requires treatment of the metric measure and anomaly.

Variation of $X^m$ in the metric action, followed by elimination of $\gamma$, gives the Nambu–Goto equations of motionA closed string has periodic $X$ and no spatial endpoint variation.

For a background metric $G$, Kalb–Ramond field $b$, and dilaton $\Phi$, one consistent Lorentzian convention isThe orientation fixes the two-form sign; here the Lorentzian curvature convention is chosen so Wick rotation gives the positive Euclidean dilaton term $S_{E,\Phi }=\int \sqrt{\gamma }\Phi R^{(2)}/(4\pi )$. This avoids hiding the convention in the topology argument. For constant vacuum value ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{E,\Phi }={\Phi }_0\chi$. A connected closed oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$, soThe connected vacuum amplitude has a string genus expansion ${\sum }_{g\ge 0}{g}_s^{2g-2}{\mathcal{A}}_g$; disconnected vacuum diagrams exponentiate the connected sum. Each additional handle supplies a factor $g_s^2$. This is dilaton Euler-characteristic weighting.

The rotating circle. For the specified embedding, the squared spatial speed and tangent length are both $1/2$, and their spatial inner product is zero. Including $X^0=t$ therefore givesThe metric is constant. Its equation reduces to $\ddot{X}-X^{\prime \prime }=0$, satisfied by the left- and right-moving trigonometric components and the linear time component. On a constant-time slice with $0\le \sigma <2\pi$, the proper length of a string isIt is time-independent.

Let $R(\theta )$ be an ordinary two-dimensional rotation matrix. Rotate the first coordinate pair by $R(t)$ and the second by $R(-t)$. In these time-dependent Cartesian coordinates both pairs become $(\cos \sigma ,\sin \sigma )/2$. A further fixed orthogonal change of basis givesThus every spatial slice is a planar circle of radius $1/\sqrt{2}$; its plane rotates in the ambient four-space. This is a rigid circular string in four spatial dimensions, not a pulsating circle. The rotating axes establish its spatial shape, not a transformation to an inertial spacetime frame.

The momentum density obtained from the Nambu–Goto action is $P_m=-T\sqrt{-h}{h}^{ta}{\partial }_a{X}_m$. Here $P_0=-T$, hence the conserved target-space energy isThe material velocity is transverse to the tangent and has magnitude $1/\sqrt{2}$. Its Lorentz factor is $\sqrt{2}$, so the excess over $TL$ is kinetic energy. The spatial circle being stationary in rotating axes does not eliminate this energy.

Constraints and endpoints. Varying the multipliers in the Nambu-Goto phase-space action imposesThese are first-class constraints generating normal and tangential worldsheet diffeomorphisms. They remove the two longitudinal embedding degrees of freedom; they are not extra physical force laws. Hamilton's equations areFor an open string, integration by parts leaves the spatial boundary variationAllowed variational open-string boundary conditions must make this vanish for every permitted endpoint displacement, and be preserved by the evolution. The bracketed expression is the open-string endpoint momentum flux. For free displacements, set that flux to zero. In a boundary-preserving gauge with $u=0$ and finite nonzero $e$, this is the Neumann boundary condition $X^{\prime m}=0$ at each end. This shows that free-end string boundary conditions are consistent.

At such an end, $C=0$ gives $P^2=0$, and $\dot{X}=eP$ gives ${\dot{X}}^2=0$. For a nontrivial endpoint trajectory with nonzero time velocity, its spatial speed is therefore one. This null motion of a free string endpoint follows from the boundary condition together with the constraints, not merely from the bulk wave equation. The induced metric may degenerate right at a free end; the result is understood as the endpoint limit or in the Polyakov description.

For a fixed spatial $p$-plane, split coordinates into $X^A$ along its $(p+1)$-dimensional worldvolume, including time, and $X^i$ transverse to it. Set $X^{\prime A}=0$ and $X^i=y^i$ at the ends. Tangential variations are free and their momentum flux vanishes; normal variations vanish, so their flux need not vanish. Evolution preserves the fixed normal values with $P^i=0$ at the boundary in the same gauge. These mixed Neumann boundary conditions and Dirichlet boundary conditions consistently restrict the endpoint worldlines to the plane.

The massless open-string excitations then separate into a gauge vector along the worldvolume and transverse scalar fields. A scalar displacement changes the corresponding $y^i$; its interpretation is a fluctuation of the plane's embedding. These worldvolume fields from open-string massless states support the interpretation as a dynamical planar D-brane. In the bosonic theory the still lower ground state is a tachyon, indicating an unstable brane; the interpretation does not require pretending that this tachyon is a stable massless field. Appropriate superstring sectors can remove that instability.

An ordinary line contains exactly two points of the configuration. We give a cubic covering from few ordinary lines by using point-line duality, a defect count and cubic interpolation. Cubics may be reducible: a line with equation $L=0$ is contained in the cubic $L^3=0$, and a conic can be multiplied by a linear factor.

Pass to the real projective plane, which preserves collinearities and ordinary-line counts. If all points are collinear, one cubic already suffices. Otherwise dualize each point $p=[a:b:c]$ to the line $p^{\ast }:aX+bY+cZ=0$. The dual lines form an embedded graph $\Gamma$: its vertices are their intersections and its edges are the consecutive segments on each projective line. A vertex where $k$ dual lines meet has graph degree $2k$ and corresponds to a primal line containing $k$ points.

Let $t_k$ count vertices incident to exactly $k$ dual lines, and let $f_j$ count faces with $j$ sides. In particular $t_2<5n$. If $v,e,f$ are the graph's numbers of vertices, edges and faces, thenThe Euler characteristic of the projective plane is one, so $v-e+f=1$. Substituting the counts gives the Euler defect identity for a projective line arrangementThus both sums measuring departure from a degree-six triangular grid are $O(n)$.

Call an edge a good dual-arrangement edge if both endpoints have degree six and both adjacent faces are triangles; call it bad otherwise. Count all edge incidences at the defective vertices and faces. Since $k\le 4(k-3)$ for $k\ge 4$ and $j\le 4(j-3)$ for $j\ge 4$,This controls actual bad edges, not merely the number of defective vertices.

Strengthen the local condition: an edge is a safe dual-arrangement edge if every edge on every path of length at most two from either endpoint is good. The bounded-radius propagation of edge defects says that only $O(n)$ edges fail this test. Indeed, trace from an unsafe edge to the first bad edge. Every intervening edge is good, so the intermediate vertices have degree six. Reversing such paths offers only a bounded number of choices, at most a fixed constant times the bad-edge count. Every edge belongs to exactly one dual line, so the pigeonhole principle gives a dual line $p^{\ast }$ containing only $O(1)$ unsafe edges.

The algebraic input is cubic propagation along a triangular strip: a consecutive strip of safe edges on $p^{\ast }$ has all of its crossing dual lines represented by primal points on a single cubic. Here is the mechanism, rather than an appeal to the desired covering theorem. The triangles on either side extend two cells outward into three indexed line families. After dualizing back, their points $a_i,b_j,c_k$ satisfy collinearities whenever $i+j+k=0$. Adjacent three-by-three blocks are the eight-point cubic completion for two triples of lines configuration. A nonzero homogeneous cubic can be fitted to nine starting points because its coefficient space has dimension ten; each successive block has eight points already on that cubic and forces its remaining point onto it. Continuing along the strip keeps every crossing point on the same cubic. One concrete seed is $a_{-1},a_0,a_1,a_2,b_{-3},b_{-2},b_{-1},c_1,c_2$. The first overlapping block forces $c_3$, the next forces $b_{-4}$, and the next forces $c_4$; another block then forces $a_{-2}$. Alternating these completion steps extends the $b$ and $c$ families for the full length of the strip.

For clarity, the completion fact has a short algebraic proof. Let $F=L_1{L}_2{L}_3$ and $G=M_1{M}_2{M}_3$, with the two line triples meeting in nine distinct points, and let a cubic $H$ vanish at all but $L_3\cap M_3$. On $L_1$, both $H$ and $G$ have the same three zeros, so $H-\lambda G$ is divisible by $L_1$ for a suitable scalar $\lambda$. Its quadratic quotient vanishes at the three intersections on $L_2$, hence is divisible by $L_2$. The remaining linear quotient vanishes at the two known intersections on $L_3$, hence is a multiple of $L_3$. Thuswhich also vanishes at the ninth point. This is the line-triple case of the Cayley-Bacharach theorem. In the strip construction, degree-six vertices and the two-cell neighbourhood ensure that the local nine points are distinct; the initial nine-point interpolation and repeated completion provide the required cubic.

It remains to account for every point, including defects and degeneracies. If some dual line has at most two distinct intersection vertices, all other dual lines pass through one of them. Dualizing back covers $P$ by at most two primal lines, hence by cubics, and we are done. Otherwise every dual line has at least three vertices, and the local strip construction applies.

On the chosen $p^{\ast }$, cut the cyclic edge sequence at its $b=O(1)$ unsafe edges, adding one arbitrary cut if necessary. There are at most $b+1$ safe runs, each covered by a cubic via the strip argument. Intersection vertices incident to cut or unsafe edges number at most $2b+2$. At each such exceptional vertex $w$, all crossing dual lines represent primal points on the single primal line $w^{\ast }$, which is itself contained in a cubic. Include one further cubic through $p$ if it has not already been covered. Every other primal point is accounted for by where its dual line intersects $p^{\ast }$. ThereforeThe absolute bound on $b$ comes from $t_2<5n$ and does not depend on the number of points. This completes the requested proof sketch.

For a closed oriented $d$-dimensional manifold $M$ and a commutative coefficient ring $R$, Poincare duality says that cap product with the fundamental class is an isomorphismOver a field it equivalently gives a nondegenerate Poincare duality pairing $(a,b)\mapsto ⟨a⌣b,[M]⟩$ between complementary cohomological degrees.

For the six-manifold take rational coefficients and write $b_j={\dim }_{\mathbb{Q}}{H}^j(X;\mathbb{Q})$. Poincare duality gives $b_j=b_{6-j}$, so the Euler characteristic isThe middle-degree Poincare duality pairing on $H^3(X;\mathbb{Q})$ is skew-symmetric by graded commutativity of the cup product, since $(-1{)}^{3\cdot 3}=-1$. It is a nondegenerate alternating bilinear form, so its dimension $b_3$ is even. For example, a nonsingular skew-symmetric matrix of odd size would have $\det A=\det (-A)=-\det A$, impossible over $\mathbb{Q}$. Therefore $\boxed{\chi (X)\in 2\mathbb{Z}}$.

To realize every even integer, use $\chi (S^6)=2$, $\chi ({\mathbb{CP}}^3)=4$ and $\chi (S^3\times S^3)=0$. All three are closed connected orientable six-manifolds. For the connected sum of oriented manifolds, removing a ball from each summand and gluing their boundary spheres givesin dimension six: each removed open ball decreases the Euler characteristic by one, while the gluing sphere $S^5$ has Euler characteristic zero. If $k=2\ell$, putomitting zero copies. The Euler characteristic is $2+2r-2s=k$. This supplies a closed connected orientable example for every $k\in 2\mathbb{Z}$.

Without orientability, evenness need not hold. The Real projective space ${\mathbb{RP}}^6$ is a closed six-manifold with one cell in each dimension $0,\dots ,6$, soIt is nonorientable because the antipodal deck transformation on $S^6$ has degree $(-1{)}^7=-1$ and reverses orientation. Thus it gives the required counterexample.

For a properly embedded oriented topological surface $F=\coprod F_j$, putThis defines the Thurston norm on integral relative homology classes in $H_2(Y,\partial Y;\mathbb{Z})$. Homogeneity extends it to rational classes, and continuity extends it to real classes. It is a seminorm: nonzero classes carried by spheres, disks, annuli or tori can have zero value.

Not every integral class has a connected embedded representative. In $Y=S^1\times S^2$, the class $2[\{\ast \}\times S^2]$ is a counterexample. A connected embedded oriented surface either separates, in which case it is null-homologous, or has connected complement. In the latter case join its two local sides through its complement to obtain a loop intersecting it exactly once. Its homology class is consequently a primitive lattice element. The proposed double has all intersection numbers even, so cannot have such a representative. Two disjoint parallel spheres do represent it.

For the knot exterior in an integral homology sphere, $H_2(Y,\partial Y;\mathbb{Z})=\mathbb{Z}$ is generated by a Seifert surface. Its Thurston norm iswhere $g(K)$ is the Seifert genus in the ambient integral homology sphere. To justify using a one-boundary-component Seifert surface, simplify a minimizing representative's boundary to parallel essential longitudes. The algebraic sum of these longitudes is one. Join oppositely oriented pairs by boundary annuli and push inward; this preserves Euler characteristic and does not increase ${\chi }_{-}$. Discard closed components, which represent zero because the ambient integral homology sphere has $H_2=0$. The component retaining the single boundary is a Seifert surface. This proves the formula, including the disk case.

When $\Vert y{\Vert }_T>0$, $g(K)\ge 1$. In zero Dehn surgery the longitude bounds a meridional disk in the filling solid torus. Cap a minimizing Seifert surface with that disk. The resulting closed surface $\hat{F}$ has the same genus and represents a generator of $H_2(Z;\mathbb{Z})$: its intersection with the filling core is one. ThereforeThe case $g(K)=1$ gives a zero-cost torus, rather than a negative value.

Here is a rigorous family of strict examples with $Z=S^1\times S^2$. Use the excellent knot representative theorem to choose a knot $J$ representing the generator of ${\pi }_1(Z)$ with an excellent three-manifold as exterior $E_0$. Inside $V=\nu J$, choose a winding number of a satellite pattern one pattern $P$ whose two-boundary-component exterior $E_1=V\setminus \mathrm{int}\nu P$ is also an excellent three-manifold. Both choices are available because neither ambient manifold has a spherical boundary component. Put $\Gamma =P(J)$ and $E=Z\setminus \mathrm{int}\nu \Gamma =E_0{\cup }_{\partial V}{E}_1$.

The interface is an incompressible surface. On a Thurston norm minimizing surface in $E$ with boundary the meridian ${\mu }_{\Gamma }$, arrange all interface intersections to be essential. The winding number of a satellite pattern one condition forces the oriented boundary on that interface to have net class ${\mu }_J$. The piece in $E_0$ has odd meridional boundary sum and costs at least one: a zero-cost representative would require an essential disk or annulus, forbidden by excellence. The piece in $E_1$ has opposite net meridians on its two boundary tori. It costs at least two: zero-cost components are boundary-parallel annuli or tori and carry no such boundary class, and its total meridional boundary count is even, so its nonzero negative Euler characteristic has even magnitude. Cutting along the interface adds the costs, since the essential pieces have no disk or sphere components. ThusHere the notation denotes the relative class whose boundary is ${\mu }_{\Gamma }$, not the meridian curve itself. This is the usual Thurston norm gluing along an incompressible torus argument.

Because $\Gamma$ represents the generator of $H_1(Z)$, $H_1(E)=\mathbb{Z}$, its meridian is null-homologous in $E$, and a longitudinal curve ${\lambda }_{\Gamma }$ generates $H_1(E)$. Fill $E$ along ${\lambda }_{\Gamma }$ to obtain $X$. The Mayer–Vietoris sequence gives $H_1(X)=0$, so $X$ is an integral homology sphere. Let $K$ be the filling core. Its preferred longitude is ${\mu }_{\Gamma }$; zero Dehn surgery on $K$ consequently recovers $Z$. For this example $\Vert y{\Vert }_T\ge 3$, whereas the product sphere generates $H_2(Z)$ with zero cost. HenceThe construction needs a nontrivial winding-one pattern; merely tying a local knot into the product core would not provide this lower bound.

The dual Thurston polytope is the polar of the Thurston norm unit ball. More intrinsically, in the real dual of $H_2(Y,\partial Y)$ it isThe pairing can be regarded as evaluation of $H^2(Y,\partial Y;\mathbb{R})$ on relative homology. Its definition remains valid when the Thurston norm has a kernel: the polytope then lies in the annihilator of that kernel.

Identify $Y$ with the pair of pants product $P\times S^1$. A regular Seifert fiber has homology class $h={\mu }_1+{\mu }_2+{\mu }_3$. Let $e_i$ be the relative homology class corresponding by Poincare-Lefschetz duality to the homomorphism taking the $i$th meridian to one and the other two to zero. A spanning disk for $L_1$ punctured once by each of $L_2,L_3$ is an embedded pair of pants $F$ representing $e_1$, with $c(F)=1$.

Take two arcs in $P$, one joining boundary one to boundary two, the other joining boundary one to boundary three. Their products with $S^1$ are embedded vertical surfaces in a Seifert fibered space, namely annuli $A_{12},A_{13}$. Orient them so that their relative classes are $e_1-e_2$ and $e_1-e_3$. They cost zero. Thus the three required inequalities, with ${\alpha }_i=\alpha (e_i)$, areFor completeness they give the whole polytope. Oriented cut-and-paste of copies of $F,A_{12},A_{13}$ gives the upper bound $\Vert a{e}_1+b{e}_2+c{e}_3{\Vert }_T\le |a+b+c|$. For the reverse bound, compress a minimizing surface and use the classification of incompressible surfaces in Seifert fibered spaces. Its horizontal components cover $P$ and have negative Euler characteristic equal to their unsigned covering degree; its vertical components have zero cost and zero intersection with a regular Seifert fiber. The total signed horizontal degree is $a+b+c$, so its cost is at least $|a+b+c|$. HenceIt is a line segment, because this Thurston norm has a two-dimensional kernel.

Superstring theory offers a common quantum framework for gravity, gauge fields and matter; obtaining a particular viable low-energy vacuum is the additional task. Its organizing idea is that particle species are different quantum states of one extended object, with interactions determined by joining and splitting worldsheets. This makes unification more substantive than placing independent field theories alongside one another.

The central gravitational fact is the massless spin-two state in every consistent closed superstring theory. Its transverse symmetric polarization is the graviton. Decoupling of unphysical polarizations gives the spacetime gauge transformation $\delta g_{ab}={\nabla }_a{\xi }_b+{\nabla }_b{\xi }_a$, and low-energy consistency requires the universal coupling of this field to energy-momentum. In the small-curvature limit its interactions reproduce Einstein field equations. The string nonlinear sigma model makes this particularly concrete: quantum worldsheet Weyl anomaly cancellation constrains the background metric and other fields, and its leading metric equation is an Einstein equation. Higher powers of ${\alpha }^{\prime }$ describe finite-string-length corrections rather than arbitrary independent gravitational couplings.

The gravitational effective action in the string frame has the schematic formHere $H=dB$, and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling $g_s=e^{{\phi }_0}$, while the string tension sets ${\ell }_s=\sqrt{{\alpha }^{\prime }}$. Here ${\kappa }_0^2\sim {\ell }_s^8$ is the dilaton-independent normalization. Splitting $\phi ={\phi }_0+\delta \phi$ gives the physical gravitational coupling ${\kappa }_{10}^2\sim g_s^2{\ell }_s^8$. Thus the coupling and length scale organize both the spectrum and interactions. A varying dilaton is a physical field, not just a freely adjustable numerical coupling.

Extended strings also change the ultraviolet question. An interaction worldsheet has no invariant pointlike splitting location, and the integration over smooth surfaces replaces many short-distance configurations responsible for divergences in point-particle gravity. Infinite oscillator towers and modular invariance are essential to that reorganization. This does not mean that every amplitude in every background is automatically finite: worldsheet degenerations can produce ordinary infrared divergences, and tadpoles can signal an inconsistent chosen vacuum. A credible quantum theory must account for these effects, rather than discard them. The proposal is nevertheless a systematic perturbative framework for quantum gravity with a physical scale ${\ell }_s$ and controlled expansions in $g_s$ and curvature.

Matter and nongravitational forces have equally concrete origins. In an RNS string, the GSO projection removes the tachyon and produces spacetime supersymmetry, with Ramond sector states furnishing spacetime fermions. Gauge bosons arise from current-algebra states of a heterotic string or from open strings ending on D-branes. For coincident D-branes, endpoint labels produce matrix-valued gauge fields: the Chan-Paton factors generate the nonabelian gauge structure. Open strings joining different brane stacks can carry bifundamental matter. These mechanisms permit gauge interactions and matter to coexist with closed-string gravity in one string background.

Consistency greatly restricts the starting theories. The flat critical superstrings live in ten spacetime dimensions. The perturbative possibilities include type IIA superstring theory, type IIB superstring theory, type I superstring theory, and the heterotic theories with gauge algebras ${\mathfrak{e}}_8\oplus {\mathfrak{e}}_8$ or $\mathfrak{so}(32)$. Cancellation of gauge anomalies and gravitational anomalies constrains these choices; it is not permissible to assign arbitrary chiral particle content and ignore its quantum consistency. The standard mechanism combines an anomalous variation with an appropriate transformation of the antisymmetric tensor. This provides a link between the allowed matter spectrum, gauge groups and geometry.

To connect ten dimensions to four, take a suitable compactification in string theory. If the internal six-dimensional space is small enough, low-energy observers see only zero modes; excited Kaluza-Klein modes have masses of order the inverse compactification size. The metric, form fields and gauge fields on the internal space then determine four-dimensional fields and their couplings. Integrating the gravitational term over an internal volume $V_6$ gives the scale dependence $G_4\sim g_s^2{\ell }_s^8/V_6$, illustrating how apparently separate low-energy constants arise from the same dilaton and geometry.

A Calabi-Yau threefold is a useful supersymmetry-preserving choice. A heterotic Calabi-Yau compactification with a suitable holomorphic gauge bundle can preserve four-dimensional $\mathcal{N}=1$ supersymmetry and generate chiral matter. Internal Dirac zero modes determine the light fermions; their index gives the net chirality, while bundle structure and possible Wilson lines determine the surviving gauge group. In the standard embedding, the net generation number is the internal Euler characteristic divided by two, up to orientation conventions. A realistic construction must supply the correct generation content and couplings, not merely some chiral fermions. Unmodified type II compactification on a Calabi-Yau threefold instead has $\mathcal{N}=2$ in four dimensions; obtaining a less supersymmetric spectrum requires further ingredients such as orientifold projections, branes or fluxes.

This is where orientifolds and flux compactification can become useful. Projection and brane choices can reduce supersymmetry and engineer chiral gauge sectors. Fluxes and nonperturbative effects can generate a potential for moduli of a string compactification, which otherwise appear as additional massless scalar fields controlling volumes, shapes, gauge-bundle parameters or the dilaton. Moduli stabilization is therefore part of a plausible model, alongside supersymmetry breaking and a suitable vacuum energy. These ingredients must obey charge-cancellation and consistency conditions; they are not arbitrary additions to an otherwise complete four-dimensional model.

The relation among the candidate theories further supports a unified interpretation. T-duality exchanges momentum and winding and relates type IIA and type IIB on circles. Strong/weak coupling dualities relate other descriptions. The strong-coupling limit of type IIA exposes an additional dimension with radiusleading to an eleven-dimensional M-theory description. D-branes provide nonperturbative objects needed in these relations. The duality web suggests that apparently different perturbative superstrings describe limits of a larger structure, rather than unrelated theories competing only by choice of notation.

A plausible theory of everything must finally reproduce the Standard Model gauge group, representations, symmetry breaking and interaction strengths, together with gravity. It must explain or accommodate mass hierarchies, suppress unwanted light fields and processes, and identify a consistent cosmological background. String theory supplies mechanisms and consistency conditions for these tasks. The multiplicity of possible compactifications means that the observed low-energy theory is not fixed simply by writing a ten-dimensional string action. The case for the framework rests on its joint treatment of quantum gravity, matter and gauge forces; a complete phenomenological theory additionally requires a specified, dynamically viable vacuum and its predictions.

Use the standard Euclidean convention $e^{-S_E}$ and restore the curvature normalization explicitly. Let $\phi$ be the conventional dimensionless dilaton, whose worldsheet term isFor constant ${\phi }_0$, the Gauss-Bonnet theorem gives $S_{\phi }={\phi }_0\chi (\Sigma )$. A closed surface of genus $g$ has Euler characteristic $\chi =2-2g$, so its contribution is weighted byThusThis is the dilaton normalization and Euler-characteristic weighting of string perturbation theory. If the unit curvature coefficient in the printed expression is retained literally in this Euclidean convention, then $\phi =4\pi \Phi$ and $g_s=e^{4\pi {\Phi }_0}$. If $\Phi$ denotes the conventional dilaton, the usual omitted $1/(4\pi )$ is understood and $g_s=e^{{\Phi }_0}$. One must specify that normalization before exponentiating the field. Lorentzian overall signs are fixed consistently by Wick rotation.

For the sigma-model beta function, usewith vanishing two-form and dilaton. Perform the background field expansion of a string sigma model covariantly by setting $X={\exp }_{\bar{X}}\eta$. In Riemann normal coordinates, the quadratic fluctuation action isThe covariant derivative contains the pulled-back target connection. This expansion accounts for the connection vertices as well as the normal-coordinate metric expansion; keeping only a single metric tadpole would not give a covariant answer.

Integrating the Gaussian fluctuations gives $\frac{1}{2}\mathrm{Tr}\log \Delta$, whereContracting the curvature vertex with the short-distance propagator traces $R^a{}_{cad}$ to the Ricci tensor $R_{cd}$. In dimensional regularization at $d=2-ϵ$, the logarithmic integral is $\int d^{d}p/(2\pi {)}^d(p^2+{\mu }^2{)}^{-1}=1/(2\pi ϵ)+O(1)$. With the stated curvature convention the divergent effective action isIt is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/ϵ$. Equivalently, write $g^{\mathrm{bare}}={\mu }^{-ϵ}(g+{\alpha }^{\prime }R/ϵ+\cdots )$. Differentiating the bare coupling at fixed value gives the one-loop metric beta function of a string sigma modelThis loop is a loop of two-dimensional fluctuation fields: its expansion is in $\alpha \prime$, not a change of worldsheet genus or an extra power of $g_s$. The sign here defines the renormalization scale to increase toward the ultraviolet. For a round target sphere, positive Ricci curvature makes its squared radius increase with that scale, consistent with the usual asymptotic freedom of the inverse-radius sigma-model coupling. With the printed kinetic coefficient $1/2$ taken literally, $2\pi {\alpha }^{\prime }=1$ and the leading coefficient is $R_{ab}/(2\pi )$. Requiring the metric beta function to vanish gives $R_{ab}=0$ at this order. Full bosonic-string Weyl consistency also requires the other anomaly coefficients, including the critical-dimension condition when the dilaton vanishes.