Koszul duality is a powerful algebraic tool that pairs certain algebras together in a way that translates complicated structures on one side into more manageable ones on the other. Classically, this worked well for finite-dimensional or otherwise nicely behaved algebras, but extending it to the infinite-dimensional setting required careful new technical work. This paper establishes a version of Koszul duality that works for a broad class of infinite-dimensional Koszul algebras, handling both the standard "bounded" setting and a more general "singular" setting that captures additional geometric and algebraic phenomena.
The authors then focus on two specific families of algebras where the general machinery produces especially clean and tractable results: quadratic monomial algebras, which are built from simple combinatorial rules, and a class called absolutely Koszul algebras that satisfy an extra condition controlling how homological complexity behaves. In both cases, the duality takes on a particularly nice form, making explicit computations more accessible and the structural relationships easier to understand.
The main payoff for geometry comes when the algebra in question is commutative and defines a projective scheme, meaning a geometric space built by gluing together polynomial-like pieces. The paper shows that the bounded derived category of coherent sheaves on such a space, which is a central object encoding the geometry of the space through its algebraic data, can be concretely described using the Koszul dual algebra. This generalizes a classical result known as the Bernstein-Gelfand-Gelfand correspondence, which originally linked geometry on projective space to algebra, now extended to a much wider class of projective geometric spaces.