The paper introduces two new algebraic constructions called "Frobenius quotients," built by taking algebras of operators (either shift operators or differential operators) and quotienting them by the set of operators that kill a chosen polynomial. The resulting rings are commutative and have a special self-duality property called the Frobenius condition. The motivation is that these abstract algebraic objects closely mirror two important rings that geometers attach to smooth algebraic varieties: the K-ring, which tracks vector bundles, and the Chow ring, which tracks geometric cycles. By working purely algebraically with polynomials, the authors create a combinatorial sandbox that captures the essential features of these geometric rings without needing an actual geometric space.
The central result is a combinatorial version of the Hirzebruch-Riemann-Roch theorem, a classical result in algebraic geometry that relates the geometry of a space to counts of global sections of vector bundles. In the new setting, the theorem says that the two types of Frobenius quotients are isomorphic (after tensoring with the rationals) precisely when a special element called the Todd class exists, relating the two defining polynomials in a specific multiplicative way. When this condition holds, the discrete Frobenius quotient inherits a rich structure: it has well-defined Chern classes, determinant operations, and a duality property analogous to Serre duality in geometry. The authors also obtain a combinatorial analogue of the Grothendieck-Riemann-Roch theorem, which governs how these structures behave under maps between spaces.
The paper then explores a broader question of when an integral (not just rational) isomorphism between the two rings exists, finding conditions under which a "truncated Chern character" gives such an isomorphism. The authors ground all of this in concrete examples and applications: they give a new formula for so-called Snapper polynomials of matroids (combinatorial objects generalizing graphs and linear spaces), show that the dualizing structure of their rings matches known dualizing classes for matroids and polytope families, and realize K-rings of toric variety bundles as Frobenius quotients. This connects abstract ring theory, combinatorics, and algebraic geometry through a unified framework.