Boundary behavior of the PCO/vertical-integration construction of superstring amplitudes: sufficient PCO placement conditions at worldsheet degenerations

In the picture-changing-operator (PCO) formulation of superstring perturbation theory, Sen and Witten (JHEP 09 (2015) 004) systematized vertical integration — a hierarchical, patch-by-patch construction of a well-defined integration measure on the moduli space of Riemann surfaces that cancels the spurious singularities produced by PCO insertions — and proved independence of auxiliary choices, BRST decoupling, and a smooth-measure version of the construction. All of these results are established only on the interior of moduli space; the authors state that everything in the paper must be supplemented with fairly well-known conditions on the behavior of PCOs in the limit that the worldsheet degenerates, but do not develop those conditions. The open problem is to extend the direct construction to the Deligne–Mumford compactification of moduli space: formulate explicit sufficient conditions on PCO placements near all degeneration loci (separating and non-separating degenerations, arbitrary genus, Neveu–Schwarz and Ramond punctures, even and odd spin structures), and prove that under these conditions the construction retains well-definedness of the measure, independence of choices, BRST decoupling, and correct factorization of boundary contributions into lower-genus on-shell amplitudes. The degeneration boundary is treated in the literature only within string-field-theory reorganizations of moduli space or case by case at one loop, never as a general direct construction; the core remains open.

Background

Superstring perturbation theory in the Ramond–Neveu–Schwarz (RNS) formalism computes scattering amplitudes as integrals over moduli spaces of super Riemann surfaces — the string worldsheets, which carry fermionic partners of the metric (gravitini) in addition to bosonic moduli. A super Riemann surface is a Riemann surface $\Sigma$ equipped with a sheaf of odd, fermionic directions, and its fermionic moduli must be integrated out before or while integrating over the ordinary (bosonic) moduli space $\mathcal{M}$ of Riemann surfaces with a fixed spin structure (a spin structure specifies how the worldsheet fermions pick up signs when transported around closed loops on $\Sigma$; even and odd spin structures, distinguished by the parity of the number of fermion zero modes, enter different sectors of the amplitude). External string states are represented by punctures — marked points on $\Sigma$ at which vertex operators are inserted — of two types: Neveu–Schwarz punctures, around which the fermions obey antiperiodic boundary conditions (these give spacetime bosons), and Ramond punctures, with periodic boundary conditions and fermion zero modes (these give spacetime fermions). The traditional RNS method does this by inserting picture-changing operators (PCOs) — operators built from the world-sheet superconformal ghost fields $\beta,\gamma$ and the world-sheet supercurrent — at chosen points of $\Sigma$, which converts the integral over fermionic moduli into PCO insertions in an integrand over $\mathcal{M}$. The catch is that PCO insertions turn the integrand into a meromorphic object on $\mathcal{M}$ whose poles — called spurious singularities, spurious because they reflect the PCO placement rather than any physical effect — occur on loci of complex codimension one, where the integral becomes ill-defined even though the underlying amplitude is finite. Consequently no single global PCO placement works: the prescription is valid only locally on $\mathcal{M}$, and contributions from different patches must be pieced together. This obstruction is rooted in the geometry of supermoduli space: Donagi and Witten proved that for genus $\geq 5$ the supermoduli space is not holomorphically projected onto the bosonic moduli space, although a smooth (non-holomorphic) projection always exists.

Sen, and then Sen and Witten in the source paper, developed the systematic answer to this patching problem, called vertical integration. One fixes the world-sheet gravitino gauge patch by patch, choosing PCO locations on each patch; where patches overlap, the discontinuities between the local integrands are canceled by vertical correction terms obtained by integrating over interpolating families of PCO positions along suitable segments in moduli space. The source paper spells this out as a hierarchical construction to all codimensions of the patch decomposition, proves that the resulting amplitude is independent of all auxiliary choices (the cover, the PCO locations, the gauge slice), formulates a smooth-measure version in which PCO positions are effectively smeared over the worldsheet, establishes BRST decoupling — the decoupling of BRST-exact (gauge) insertions, where BRST symmetry is the residual gauge symmetry of the world-sheet theory and its decoupling underlies gauge invariance of the amplitude — and interprets the whole structure through smooth splittings of supermoduli space.

However, all of this is proved on the interior of $\mathcal{M}$ only. The moduli space is not compact: Riemann surfaces degenerate — a handle pinches (non-separating degeneration) or the surface splits into two components joined by a long thin tube (separating degeneration) — with the degenerating regions described locally by plumbing-fixture coordinates in which a parameter $q\to 0$. The Deligne–Mumford compactification adjoins the corresponding boundary strata. These degenerations are the geometric origin of the infrared behavior of string theory, since long tubes represent the propagation of on-shell intermediate states and massless states produce genuine infrared divergences. Sen and Witten state the gap explicitly: the paper ignores the non-compactness of $\mathcal{M}$, and everything in it must be supplemented with fairly well-known conditions on the behavior of PCOs in the limit that $\Sigma$ degenerates — conditions the paper does not formulate and whose consequences for the vertical-integration and smooth-measure constructions it does not prove. The problem posed here is to close that gap within the direct construction (as opposed to reorganizing the computation through string field theory, which handles the same physics differently, by covering compactified moduli space with Feynman diagrams of a string field theory built with long propagator stubs).

Problem Statement

Within the direct PCO/vertical-integration formulation of on-shell superstring perturbation theory of Sen and Witten (arXiv:1504.00609) — that is, without reorganizing the computation through string field theory Feynman diagrams — extend the construction from the interior of the moduli space $\mathcal{M}$ of Riemann surfaces to its Deligne–Mumford compactification, as follows:

1. Formulate explicit, checkable sufficient conditions on the placement of picture-changing operators near every type of degeneration locus of the compactification — separating and non-separating degenerations, at arbitrary genus, with arbitrary numbers of Neveu–Schwarz and Ramond punctures, and for both even and odd spin structures — such that the spurious singularities of the PCO integrand do not obstruct integration over any boundary stratum or its normal neighborhood.

2. Prove that, under these conditions, the hierarchical vertical-integration construction and its smooth-measure version retain their defining properties on the compactified moduli space: (a) existence of a well-defined integration measure on the boundary strata and their neighborhoods; (b) independence of all auxiliary choices (cover, PCO locations, gravitino gauge slice, interpolating segments); (c) BRST decoupling, hence gauge invariance, of the total amplitude including boundary contributions; and (d) correct factorization: the contributions from neighborhoods of separating degenerations reproduce products of lower-genus on-shell amplitudes, with the standard infrared regularization for massless intermediate states, so that the construction is compatible with unitarity.

References

1. Ashoke Sen and Edward Witten, "Filling the gaps with PCO's", JHEP 09 (2015) 004, DOI 10.1007/jhep09(2015)004, https://arxiv.org/abs/1504.00609
2. Ashoke Sen, "Off-shell Amplitudes in Superstring Theory", Fortsch. Phys. 63 (2015) 149, DOI 10.1002/prop.201500002, arXiv:1408.0571, https://arxiv.org/abs/1408.0571
3. Edward Witten, "Superstring Perturbation Theory Revisited", arXiv:1209.5461 (2012), https://arxiv.org/abs/1209.5461
4. Ron Donagi and Edward Witten, "Supermoduli Space Is Not Projected", arXiv:1304.7798 (2013), https://arxiv.org/abs/1304.7798
5. Corinne de Lacroix, Harold Erbin, Sitender Pratap Kashyap, Ashoke Sen and Mritunjay Verma, "Closed Superstring Field Theory and its Applications", Int. J. Mod. Phys. A 32 (2017) 1730021, DOI 10.1142/S0217751X17300216, arXiv:1703.06410, https://arxiv.org/abs/1703.06410
6. Theodore Erler and Sebastian Konopka, "Vertical Integration from the Large Hilbert Space", JHEP 12 (2017) 112, DOI 10.1007/JHEP12(2017)112, arXiv:1710.07232, https://arxiv.org/abs/1710.07232
7. Ashoke Sen, "Ultraviolet and Infrared Divergences in Superstring Theory", KIAS Newsletter (2015), arXiv:1512.00026, https://arxiv.org/abs/1512.00026
8. Ashoke Sen, "String Field Theory as World-sheet UV Regulator", JHEP 10 (2019) 119, DOI 10.1007/JHEP10(2019)119, arXiv:1902.00263, https://arxiv.org/abs/1902.00263
9. Nathan Berkovits, Eric D'Hoker, Michael B. Green, Henrik Johansson and Oliver Schlotterer, "Snowmass White Paper: String Perturbation Theory", arXiv:2203.09099 (2022), https://arxiv.org/abs/2203.09099
10. Charles Wang and Xi Yin, "On the Equivalence between SRS and PCO Formulations of Superstring Perturbation Theory", JHEP 03 (2023) 139, DOI 10.1007/JHEP03(2023)139, arXiv:2205.01106, https://arxiv.org/abs/2205.01106
11. Charles Wang and Xi Yin, "Supermoduli and PCOs at Genus Two", JHEP 01 (2023) 144, DOI 10.1007/JHEP01(2023)144, arXiv:2205.10377, https://arxiv.org/abs/2205.10377
12. Dimitri P. Skliros, "Moving NS Punctures on Super Spheres", SIGMA 20 (2024) 090, DOI 10.3842/SIGMA.2024.090, arXiv:2307.06355, https://arxiv.org/abs/2307.06355
13. Manki Kim, "On string loops in Calabi-Yau orientifolds in large volume", arXiv:2601.08973 (2026), https://arxiv.org/abs/2601.08973
14. Ashoke Sen, "A New Term in Type II Effective Action", arXiv:2607.12031 (2026), https://arxiv.org/abs/2607.12031