Finite domination and Novikov rings. Laurent polynomial rings in several variables (Q5964100)

Let \(R\) be a subring of a ring \(K\). Remember that a cochain complex of \(K\)-modules is called \(R\)-\textit{finitely dominated} if it is homotopy equivalent, as a complex of \(R\)-modules, to a bounded complex of finitely fenerated projective \(R\)-modules. The main aim of this article is to extend the following result by \textit{A. Ranicki} [Topology 34, No. 3, 619--632 (1995; Zbl 0859.57024)]. Theorem. Let \(R\) be a ring and \(C\) a bounded complex of finitely generated free modules over the ring of Laurent polynomials \(K:=R[x,x^{-1}]\). The complex \(C\) is \(R\)-finitely dominated if and only if the two complexes \(C\underset{K}{\otimes}R((x))\) and \(C\underset{K}{\otimes}R((x^{-1}))\) are acyclic. The article deals with complexes of modules over a ring of Laurent polynomials in several indeterminates. The same authors gave recently [J. Algebra Appl. 14, No. 4, Article ID 1550055, 44 p. (2015; Zbl 1322.18005)] such an extension (for two indeterminates), but their result was not symmetric. Here, they develop tools to get another criterion which holds for an arbitrary number of variables and is very symmetric. It involves Laurent polynomials on all cones (look at \(R[x_1,x_1^{-1},\dots,x_n,x_n^{-1}]\) as the group algebra over \(R\) of the free abelian group \(\mathbb{Z}^n\) and after look at the intersection in \(\mathbb{R}^n\) of \(\mathbb{Z}^n\) with cones -- see \S III.6.1 of the paper for precise definitions). The main result of the article (Theorem III.6.4) is proved after several preliminaries, which can have an own interest. They deal with an homotopy theory of cubes (of arbitrary dimension, in a context of homological algebra: cubes are diagrams of modules) including non-standard totalisation of complexes and combinatorial aspects.