Matrix factorizations are an algebraic tool invented to study singularities of functions. Given a function w on a geometric space Y, a matrix factorization is essentially a pair of matrices whose composition captures where w vanishes in a special way. These objects organize into a category, and researchers care about invariants extracted from this category, particularly its Grothendieck group, which is a way of turning the collection of objects into an abelian group by formally allowing subtraction. The paper builds a bridge between this algebraic world and topology by constructing a Chern character, a classical device in mathematics that translates algebraic or categorical information into cohomological data that is easier to compute and compare.
The target of this Chern character is something called critical cohomology, a cohomology theory sensitive to the singularities of w, specifically the points where all partial derivatives vanish simultaneously. The authors show that the Chern character does not land directly in this cohomology but factors through an intermediate object, a topological K-theory group built from the same critical locus. This factoring result is significant because it says the map respects an additional layer of structure, connecting the purely algebraic Grothendieck group to a topological invariant before passing further to cohomology.
The main theorem of the paper is a Grothendieck-Riemann-Roch theorem in this setting. Classical Riemann-Roch theorems say that when you push forward algebraic data along a map between spaces, the Chern character interacts with that pushforward in a controlled, computable way involving correction terms called Todd classes. The authors prove an analogous statement for matrix factorizations and critical cohomology, and they verify that their construction is compatible with natural geometric operations such as pullbacks and pushforwards. Together these results place matrix factorizations into a broader framework that mirrors the classical relationship between algebraic K-theory and cohomology.