The paper studies geometric spaces called strata of k-differentials, which are collections of geometric objects on surfaces (called differentials) that vanish to prescribed orders at marked points. These spaces arise naturally in the study of flat surfaces and translation surfaces, which have deep connections to dynamical systems, geometry, and physics. The central goal is to compute a topological invariant called the orbifold Euler characteristic for all such strata. The Euler characteristic is a number that captures something fundamental about the shape of a space, generalizing the simple formula (vertices minus edges plus faces) familiar from polyhedra.
The main result is a clean, explicit formula for these Euler characteristics in terms of hyperbolic functions, which the authors show generalizes a celebrated earlier result by Harer and Zagier about the Euler characteristic of the moduli space of curves (a foundational object in mathematics that parametrizes all Riemann surfaces of a given genus). A key technical insight is that the problem can be reduced, using classical tools from algebraic geometry, to a combinatorial counting problem involving branched covers of surfaces (the Hurwitz problem), which is then solved using representation theory and methods borrowed from quantum field theory (Fock space techniques). The Euler characteristics turn out to be polynomial in the orders of vanishing prescribed at the marked points, which is a surprisingly clean structural result.
Beyond the main formula, the paper provides complementary perspectives: an expression for the same invariants as intersection numbers on certain geometric cycles, a recursion that pins down everything from simple genus-zero cases, and an analysis of how the Euler characteristics behave as the genus grows large. For a special class of cases involving odd k and odd vanishing orders, where extra geometric structure called a spin refinement exists, the authors propose conjectural formulas that they have not yet fully proven. Overall, the work brings together algebraic geometry, combinatorics, and representation theory to give a comprehensive and unified treatment of these invariants.