Superstring theory requires integrating over all possible geometries of a two-dimensional surface called a worldsheet. When that worldsheet includes fermionic (supersymmetric) degrees of freedom, the right mathematical setting is a "super Riemann surface," and the space of all such surfaces is called supermoduli space. A central question in this field is whether supermoduli space is "projected," meaning roughly whether it can be cleanly separated into its ordinary bosonic part and its fermionic part. If it were projected, calculations in superstring theory could be simplified dramatically by reducing integrals over supermoduli space to ordinary integrals over the classical moduli space of Riemann surfaces. Previous work had already shown that supermoduli space is not projected for genus 5 and higher, meaning that separation is impossible in those cases.
This paper tackles the remaining low-genus cases, focusing on genus 4. Super Riemann surfaces come in two flavors related to a choice called spin structure, and at genus 4 there are two components of supermoduli space corresponding to "even" and "odd" spin structures. The authors concentrate on the even-spin component. Their strategy is to find a specific compact curve sitting inside the related classical spin moduli space, then compute a particular mathematical quantity called an obstruction class restricted to that curve. This obstruction class is the precise algebraic object that measures whether the fermionic and bosonic directions can be untangled from each other.
The computation shows that the obstruction class does not vanish on the chosen curve, which is enough to prove that the even-spin component of genus 4 supermoduli space is not projected. In practical terms, this means that for genus 4 superstrings, there is no shortcut: the fermionic geometry is genuinely entangled with the bosonic geometry, and string theory amplitudes at this order cannot be computed simply by reducing to ordinary moduli space integrals. This closes an important gap in our understanding of supermoduli space across all genera.