Finite domination and Novikov rings. Iterative approach
Abstract
Suppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x]. Then C is R-finitely dominated, ie, homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules, if and only if the two chain complexes C((x)) and C((1/x)) are acyclic, as has been proved by Ranicki. Here C((x)) is the tensor product over L of C with the Novikov ring R((x)) = R[[x]][1/x] (also known as the ring of formal Laurent series in x); similarly, C((1/x)) is the tensor product over L of C with the Novikov ring R((1/x)) = R[[1/x]][x]. In this paper, we prove a generalisation of this criterion which allows us to detect finite domination of bounded below chain complexes of projective modules over Laurent rings in several indeterminates.
Cite
@article{arxiv.1108.2995,
title = {Finite domination and Novikov rings. Iterative approach},
author = {Thomas Huettemann and David Quinn},
journal= {arXiv preprint arXiv:1108.2995},
year = {2012}
}
Comments
15 pages; diagrams typeset with Paul Taylor's "diagrams" macro package. Version 2: clarified proof of main theorem, fixed minor typos; Version 3: expanded introduction, now 16 pages; Version 4: corrected mistake on functoriality of mapping tori