The paper tackles a problem in arithmetic geometry, specifically about objects called "local height pairings." These are numerical quantities that measure, in a precise sense, how two algebraic cycles (geometric objects defined by polynomial equations) intersect or relate to each other near a particular prime or, in this case, at the Archimedean place, meaning over the real or complex numbers. Understanding how these pairings behave asymptotically, as the cycles degenerate or move toward a boundary, is important for connecting geometry to number theory, particularly in programs related to the Birch and Swinnerton-Dyer conjecture and its generalizations.
In previous work, the authors derived a formula describing this asymptotic behavior, but the proof required assuming the Hodge conjecture, one of the most famous and still unproven problems in mathematics. The Hodge conjecture essentially asserts a deep connection between the topology of a complex geometric space and the algebraic cycles living on it. Relying on it made the earlier result conditional and therefore limited in its unconditional applicability.
In this paper, the authors find a way to prove the same asymptotic formula without assuming the Hodge conjecture. Instead of working with the motivic framework, which is a more abstract and conjectural setting where the Hodge conjecture plays a natural role, they work directly with cohomological properties of a construction due to Beilinson. Beilinson's local intersection index has enough built-in structure at the cohomological level that the authors can sidestep the need for the Hodge conjecture entirely, making the asymptotic formula fully unconditional and also cleaning up several other minor technical assumptions along the way.