Finite domination and Novikov homology over strongly $\mathbb{Z}^2$-graded rings

Abstract

Let $R$ be a strongly $\mathbb{Z}^2$-graded ring, and let $C$ be a bounded chain complex of finitely generated free $R$-modules. The complex $C$ is $R_{(0,0)}$-finitely dominated, or of type FP over $R_{(0,0)}$, if it is chain homotopy equivalent to a bounded complex of finitely generated projective $R_{(0,0)}$-modules. We show that this happens if and only if $C$ becomes acyclic after taking tensor product with a certain eight rings of formal power series, the graded analogues of classical Novikov rings. This extends results of Ranicki, Quinn and the first author on Laurent polynomial rings in one and two indeterminates.