The paper studies a mathematical object called the affine Yangian acting on the cohomology of a moduli space. To unpack this: a moduli space is a geometric space whose points each represent some mathematical structure, in this case "stable sheaves" on a surface. Sheaves are tools for tracking local data across a geometric space in a consistent way, and stability is a condition that prevents degenerate cases. Cohomology is a way of extracting algebraic information about the shape of a space. The affine Yangian is an algebraic structure with a rich set of symmetries, and the question is whether it acts on the cohomology of this moduli space in a consistent, well-defined way, meaning the algebraic symmetries of the Yangian translate into concrete operations on the cohomological data.
The authors prove that this action is real and well-defined using a technique called intersection theory on nested moduli spaces. A nested moduli space parametrizes pairs of sheaves where one is contained in the other, and intersection theory is a way of counting how geometric objects overlap. By carefully analyzing these intersections, the authors construct explicit operators on cohomology and verify that they satisfy all the relations required to constitute a genuine Yangian action.
What makes this work notable is the method used. Previously, establishing this kind of action required heavy machinery from K-theory, a more elaborate algebraic framework that generalizes cohomology. The authors bypass all of that and work directly at the cohomological level using classical intersection-theoretic tools. This simpler and more direct approach not only makes the proof more transparent but also extends prior constructions to cover the full Yangian structure rather than just parts of it, potentially opening the door to similar results in related settings.