The paper studies a central question in algebraic geometry: how to build a "best" compactification of the space of rational elliptic surfaces, which are geometric objects obtained by fibering a sphere with elliptic curves (donut-shaped curves). Different compactifications add boundary points to fill in "missing" limits, but they can look quite different from one another. Two well-known compactifications already existed: one coming from complex hyperbolic geometry (the Baily-Borel compactification) and one coming from a classical symmetry-based construction due to Miranda. The authors build a continuous one-parameter family of compactifications that interpolates between these two, showing they are connected in a precise and controlled way.
The technical tool used is called K-moduli theory, which is a modern framework for constructing moduli spaces using ideas from differential geometry, specifically the existence of special metrics called Kahler-Einstein metrics. As the parameter t varies from 0 to 1, the space of allowed geometric objects changes, and the compactification "wall-crosses," meaning it undergoes discrete, identifiable transformations at specific parameter values. The authors completely catalog all these transformations and give an explicit algebraic description of every intermediate compactification in terms of sections of a line bundle twisted by certain special divisors called Heegner divisors, which are geometrically meaningful subvarieties of the hyperbolic space.
On the way, the authors construct a new automorphic form, which is a highly symmetric complex-valued function on the hyperbolic domain, using a technique called a Borcherds product. Automorphic forms are powerful tools because their zeros and poles encode deep geometric information. The new form reveals a previously unknown algebraic relation among the Heegner divisors, and this relation turns out to be essential for understanding exactly how the compactification changes at each wall. As a bonus result, they identify the first nontrivial compactification in the family with a construction due to Looijenga, further connecting the picture to classical work in the field.