The double ramification cycle is a geometric object that measures when a line bundle on a family of curves becomes trivial fiber by fiber. Think of a family of curves parametrized by some base space, where each curve carries a line bundle. The locus where that line bundle is trivial on each individual curve is the double ramification locus, and its "virtual fundamental class" is a refined way of counting or measuring this locus that accounts for subtle geometric complications. The logarithmic version of this construction allows curves to have special boundary behavior, making the setup more flexible and better behaved compactly.
The authors lift this construction into K-theory, which is a richer algebraic framework than ordinary cohomology. While the classical double ramification cycle lives in cohomology and records intersection numbers, the K-theoretic version carries more refined information, roughly analogous to upgrading from counting solutions to keeping track of the vector spaces of functions on those solutions. The paper establishes two important structural properties of this new class: a product formula showing how the class behaves when you combine data multiplicatively, and an invariance property under a group of integer-valued matrix transformations, which reflects how the construction does not depend on certain arbitrary choices in how the line bundle data is presented.
To actually compute this K-theoretic class, the authors develop a new tool called a K-theoretic Thom-Porteous formula for vector bundles on algebraic stacks. The classical Thom-Porteous formula gives a cohomological formula for degeneracy loci, places where a map between vector bundles drops rank. The authors generalize this to the K-theoretic setting and to the technically demanding world of algebraic stacks, which are geometric objects with built-in symmetries. Using this tool, they express the logarithmic double ramification class explicitly in terms of a Grothendieck polynomial, a well-known combinatorial object from algebraic K-theory that plays the role cohomological Chern classes play in ordinary intersection theory.