Two-Loop Superstrings IV, The Cosmological Constant and Modular Forms

TL;DR

This work provides an explicit, slice-independent genus-2 chiral measure dμ[δ](Ω) for all even spin structures, recasting it entirely in terms of theta-constants through a hyperelliptic and split-gauge framework. It introduces bilinear theta-constants 𝓜νiνj, proves a crucial 𝓜 product formula, and derives a modular-invariant GSO-projected sum, yielding a vanishing two-loop cosmological constant for Type II and heterotic strings. A central achievement is the theta-constant formulation of the measure, supported by two independent degeneration-based proofs of a bilinear theta-constant identity, and a robust treatment of modular forms in genus two (notably Ψ10 and Ψ4). The results solidify the explicit, modularly well-defined construction of two-loop amplitudes, including the bosonic and heterotic cases, and demonstrate the correct physical degeneration behavior with tachyon and massless intermediate-state divergences controlled by GSO sums. Overall, the paper provides a concrete, modularly consistent higher-genus amplitude framework that underpins the vanishing cosmological constant at two loops and furnishes new theta-functional identities with potential mathematical interest beyond string theory.

Abstract

The slice-independent gauge-fixed superstring chiral measure in genus 2 derived in the earlier papers of this series for each spin structure is evaluated explicitly in terms of theta-constants. The slice-independence allows an arbitrary choice of superghost insertion points q_1, q_2 in the explicit evaluation, and the most effective one turns out to be the split gauge defined by S_δ(q_1,q_2)=0. This results in expressions involving bilinear theta-constants M. The final formula in terms of only theta-constants follows from new identities between M and theta-constants which may be interesting in their own right. The action of the modular group Sp(4,Z) is worked out explicitly for the contribution of each spin structure to the superstring chiral measure. It is found that there is a unique choice of relative phases which insures the modular invariance of the full chiral superstring measure, and hence a unique way of implementing the GSO projection for even spin structure. The resulting cosmological constant vanishes, not by a Riemann identity, but rather by the genus 2 identity expressing any modular form of weight 8 as the square of a modular form of weight 4. The degeneration limits for the contribution of each spin structure are determined, and the divergences, before the GSO projection, are found to be the ones expected on physical grounds.