Non-commutative localisation and finite domination over strongly \(\mathbb{Z}\)-graded rings (Q2670968)

Finiteness conditions for chain complexes are studied in algebraic topology by \textit{A. Ranicki} [Math. Scand. 57, 105--126 (1985; Zbl 0589.57018); High-dimensional knot theory. Algebraic surgery in codimension 2. With appendix by Elmar Winkelnkemper. Berlin: Springer (1998; Zbl 0910.57001)]. The author develops aspects of the theory from a purely algebraic point of view, shifting the focus from (Laurent) polynomial rings to the larger class of (strongly) \(\mathbb{Z}\)-graded rings instead. The present paper adds further entries to the list of results that transfer to the strongly graded setting. \par Let \(R =\bigoplus^\infty_{k=-\infty} R_k\) be a strongly \(\mathbb{Z}\)-graded ring, and let \(C^+\) be a chain complex of modules over the positive subring \(P =\bigoplus^\infty_{k=0} R_k\). The complex \(C^+\otimes_P R_0\) is contractible (resp., \(C^+\) is \(R_0\)-finitely dominated) if and only if \(C^+\otimes_P L\) is contractible, where \(L\) is a suitable non-commutative localisation of \(P\) considered by \textit{A. H. Schofield} [Representation of rings over skew fields. Cambridge: Cambridge University Press (1985; Zbl 0571.16001)]. Furthermore, the author highlights a subtle example of a finiteness property that does not carry over as expected.