Non-commutative localisation and finite domination over strongly Z-graded rings

From MaRDI portal
Publication:2670968



Abstract: Let R be a strongly Z-graded ring with degree-0 subring S, and let C be a chain complex of modules over the subring P of elements of non-negative degree. We show that there are non-commutative localisations of P which detect whether the complex C is S-finitely dominated or S-contractible, respectively, and that these localisations are universal among P-rings making S-finitely dominated and S-contractible complexes contractible. This generalises known results for polynomial rings to a much wider class of rings. We show by example that in general C need not be P-homotopy finite even if C is S-finitely dominated; this differs from the case of polynomial rings.


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.











This page was built for publication: Non-commutative localisation and finite domination over strongly \(\mathbb{Z}\)-graded rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2670968)