Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 52 3 Solution Created 2026-10-03 Updated 2026-10-14
First regulate the Gaussian functional integral, separating any constant zero mode. Integration by parts gives with positive kinetic operator on the nonzero modes. Complete the square:A translation of the regulated integration variables then yieldsThe sign is essential: the kernel in the negative source exponent is the negative of the positive Gaussian covariance. The source-independent prefactor is formally , with the prime denoting the excluded zero mode and normalization depending on the regulated measure. This is the Euclidean scalar source functional and Laplacian sign convention.
Consequently . In the plane,up to harmonic additions fixed by boundary and infrared conditions. Away from this logarithm is harmonic. Integrating its outward normal derivative around a small circle centered at gives , establishing the distributional delta coefficient. The arbitrary infrared length cancels for a source of zero total integral. On a compact regulated worldsheet the zero-mode-projected equation has the corresponding constant subtraction from the delta function.
For the string action , the nonzero-mode covariance isCompute initially with Euclidean target coordinates and restore target Lorentzian contractions by analytic continuation. Treat the physical tachyon vertices as normal-ordered exponentials; this removes coincident self-contractions. Completing the Gaussian square with the imaginary delta-function sources, or applying Wick contractions, givesafter fixing the vertex normalization. Each cross-contraction has the sign , canceling the negative logarithmic covariance, which explains the positive exponent.
The constant target-space mode must also be integrated:This momentum-conservation factor is momentum dependent and cannot literally be absorbed into the PDF's momentum-independent . Its intended position integral is the amplitude with this overall delta function stripped off, restricted to conserving momenta. In that convention,The logarithmic infrared constant only gives a fixed normalization on the common external mass shell, since . Thus the Gaussian determinant and normalization are independent of the scattering invariants. To make the tree position integral finite one also divides by the residual Möbius gauge volume, equivalently fixes three insertions with their ghost factor. The four-position expression is its formal unfixed representation.
Under with determinant one,At insertion , the Koba-Nielsen factor therefore contributes . Momentum conservation makes the exponent . On the tachyon mass shell , it is four and cancels the measure's exponent . Hence the full integration density is Möbius invariant. The correlator factor alone is covariant; the density including is invariant.
The supplied Virasoro–Shapiro amplitude has generic simple poles when , givingand likewise in the other channels. These are exchanges of closed-string states with equal left and right levels : the tachyon, the massless sector and the massive tower. At special kinematics zeros or crossed-channel coincidences need to be handled by the full constrained amplitude; numerator poles are not three independent sequences of unrelated singularities.
To isolate the three-tachyon coupling, first use momentum conservation and :At the tachyon pole , put and . The relation gives . Thus and , and the entire gamma-function ratio cancels to one. The remaining numerator is , while its denominator tends to . HenceWith the exchange convention and canonically normalized external legs, factorization therefore gives , or up to its unobservable overall sign. A convention using the opposite propagator denominator or factors of changes the corresponding amplitude phase. Because itself is unspecified, the residue fixes this relation, not an absolute numerical coupling independent of normalization.