2. The main theorem

In the present paper, we take the step to strongly $\mathbb {Z}^2$-graded rings,  combining ideas from both of the aforementioned publications [Reference Hüttemann and Quinn3] and [Reference Hüttemann and Steers4]. Roughly speaking,  a bounded chain complex $C$ of finitely generated free modules over a strongly $\mathbb {Z}^2$-graded ring is finitely dominated over the degree-$0$ subring if and only if certain eight complexes induced from $C$ are acyclic. Indeed,  from a $\mathbb {Z}^{2}$-graded ring $R = \bigoplus _{\sigma \in \mathbb {Z}^{2}} R_{\sigma }$ we construct the following eight Novikov-type rings:

(2.1)\begin{equation} \left. \begin{aligned} R_*[x,\,x^{{-}1}] (\kern -1.7pt ( {y})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{y \geq{-}n}\bigoplus_{x \in \mathbb{Z}} R_{(x,y)} \\ R_*[x,\,x^{{-}1}] (\kern -1.7pt ( {y^{{-}1}})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{y \geq{-}n}\bigoplus_{x \in \mathbb{Z}} R_{(x,-y)} \\ R_*[y,\,y^{{-}1}] (\kern -1.7pt ( {x})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{x \geq{-}n}\bigoplus_{y \in \mathbb{Z}} R_{(x,y)} \\ R_*[y,\,y^{{-}1}] (\kern -1.7pt ( {x^{{-}1}})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{x \geq{-}n}\bigoplus_{y \in \mathbb{Z}} R_{({-}x,y)} \\ R_* (\kern -1.7pt ( {x,\,y})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{x,y \geq{-}n} R_{(x,y)} \\ R_* (\kern -1.7pt ( {x,\, y^{{-}1}})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{x,y \geq{-}n} R_{(x,-y)} \\ R_* (\kern -1.7pt ( {x^{{-}1},\,y^{{-}1}})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{x,y \geq{-}n} R_{({-}x,-y)} \\ R_* (\kern -1.7pt ( {x^{{-}1},\, y})\kern-1.7pt ) & = \bigcup_{n \geq 0} \prod_{x,y \geq{-}n} R_{({-}x,y)} \\ \end{aligned}\right\} \end{equation}

Similar to notation used earlier,  the symbols $x$ and $y$ do not stand for actual indeterminates; they are purely notational devices,  emphasizing a formal similarity with Laurent polynomial rings and their associated Novikov rings. The ring $R_*[x,x^{-1}](\kern -1.7pt ( {y})\kern -1.7pt )$ is the subring of $R[x,x^{-1}](\kern -1.7pt ( {y})\kern -1.7pt )$ with elements $\sum _{(a,b) \in \mathbb {Z}^2} r_{a,b} x^a y^b$ such that $r_{a,b} \in R_{(a,b)}$,  and similar for the other seven cases. With this notational camouflage, we obtain a perfect analogue of theorem 1.2:

Theorem 2.1 Let $R=\bigoplus _{k\in \mathbb {Z}^2}R_k$ 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 if and only if all of the eight complexes

(2.2a)\begin{equation} \left. \begin{aligned} & C \mathop{\otimes}_{R} R_*[x,\, x^{{-}1}](\kern -1.7pt ( {y})\kern-1.7pt ) \ , & & C \mathop{\otimes}_{R} R_*[x,\, x^{{-}1}](\kern -1.7pt ( {y^{{-}1}})\kern-1.7pt ) \\ & C \mathop{\otimes}_{R} R_*[y,\, y^{{-}1}](\kern -1.7pt ( {x})\kern-1.7pt ) \ , & & C \mathop{\otimes}_{R} R_*[y,\, y^{{-}1}](\kern -1.7pt ( {x^{{-}1}})\kern-1.7pt ) \end{aligned}\right\} \end{equation}

and

(2.2b)\begin{equation} \left. \begin{aligned} & C \mathop{\otimes}_{R} R_*(\kern -1.7pt ( {x,\, y})\kern-1.7pt )\ , & & C \mathop{\otimes}_{R} R_*(\kern -1.7pt ( {x^{{-}1},\, y^{{-}1}})\kern-1.7pt )\\ & C \mathop{\otimes}_{R} R_*(\kern -1.7pt ( {x,\, y^{{-}1}})\kern-1.7pt ) \ ,& & C \mathop{\otimes}_{R} R_*(\kern -1.7pt ( {x^{{-}1},\, y})\kern-1.7pt ),\, \end{aligned}\right\} \end{equation}

have vanishing homology in all degrees.

Applications in $\Sigma$-invariant theory

Let $G$ be a group. Every character $\chi \colon G \longrightarrow \mathbb {R}$ to the additive group of the reals determines a monoid $G_\chi = \{g \in G \,|\, \chi (g) \geq 0\}$. Now suppose $C$ is a non-negatively indexed chain complex of $\mathbb {Z}[G]$-modules. Then $C$ has,  by restriction of scalars,  the structure of a $\mathbb {Z}[G_\chi ]$-module chain complex. Following Farber et.al. one defines [Reference Farber, Geĭgan and Shyutts2, Definition 9] the $m$th $\Sigma$-invariant of $C$ as

\[ \Sigma^m (C) = \{\chi \neq 0 \,|\, C \text{ has finite }m\text{-type over }\mathbb{Z}[G_\chi]\} / \mathbb{R}_+\ ; \]

that is,  $\Sigma ^m (C)$ is a quotient of the set of those non-trivial $\chi$ for which there is a chain complex $C^\prime$ consisting of finitely generated projective $\mathbb {Z}[G_\chi ]$-modules,  and a $\mathbb {Z}[G_\chi ]$-linear chain map $f \colon C^\prime \longrightarrow C$ with $f_i \colon H_i (C^\prime ) \longrightarrow H_i (C)$ an isomorphism for $i< m$ and an epimorphism for $i=m$. Two different characters are identified in the quotient precisely when they are positive real multiples of each other. The set $\Sigma ^m(C)$ can be used to detect whether $C$ is $\mathbb {Z}[N]$-finitely dominated:

Theorem 2.2 [Reference Farber, Geĭgan and Shyutts2, Corollary 4]

Suppose that $C$ consists of finitely generated free $\mathbb {Z}[G]$-modules,  and is such that $C_i = 0$ whenever $i>m$. Let $N$ be a normal subgroup of $G$ with abelian quotient $G/N$. Then the $\mathbb {Z}[N]$-module complex $C$ is chain homotopy equivalent to a bounded chain complex of finitely generated projective $\mathbb {Z}[N]$-modules concentrated in degrees $\leq m$ if and only if the set $\Sigma ^m(C)$ contains the equivalence class of every non-trivial character of $G$ that factorizes through $G/N$ (i.e., whose kernel contains $N$).

For $K$ a unital ring and a character $\chi \colon G \longrightarrow \mathbb {R}$ we define the Novikov ring

\[ \widehat{K G_\chi} = \Big\{ f \colon G \longrightarrow K \,|\, \forall t \in \mathbb{R} \colon \# \, \big( \mathrm{supp}(f) \cap \chi^{{-}1} (]-\infty,\,t]\, ) \big) < \infty \Big\} \ ,\, \]

where $\mathrm {supp}(f) = f^{-1} (K \setminus \{0\} )$,  with multiplication given by the usual involution product. Note that $K[G]$ is a subring of $\widehat {K G_\chi }$. Vanishing of Novikov homology,  that is,  vanishing of homology with coefficients in the rings $\widehat {K G_\chi }$,  characterizes whether $C$ is finitely dominated over $K[N]$,  provided $G/N$ is free abelian of finite rank:

Theorem 2.3 Schütz [Reference Schütz10, Theorem 4.7]

Let $C$ be a bounded chain complex of finitely generated free $K[G]$-modules. Suppose that $N$ is a normal subgroup of $G$ with quotient $G/N \cong \mathbb {Z}^k$ a free abelian group of finite rank. The complex $C$ is $K[N]$-finitely dominated if and only if for every non-zero character $\chi \colon G \longrightarrow \mathbb {R}$ which is trivial on $N$ the complex $C \mathop {\otimes }_{K[G]} \widehat {K G_\chi }$ is acyclic.

The non-zero characters which are trivial on $N$ correspond bijectively to non-zero homomorphisms $\mathbb {Z}^{k} \cong G/N \to \mathbb {R}$,  which in turn correspond bijectively to elements of $\mathbb {R}^{k} \setminus \{0\}$; the set of equivalence classes of such characters thus forms a sphere $S^{k-1} \cong \big ( \mathbb {R}^{k} \setminus \{0\} \big ) / \mathbb {R}_+$ of dimension $k-1$. With this identification,  the $\Sigma$-invariants $\Sigma ^m(C)$ and their analogues

\[ \Sigma' (C) = \Big\{ [\chi] \in S^{k-1} \,|\, C \mathop{\otimes}_{K[G]} \widehat{K G_\chi} \text{ is acyclic} \Big\} \]

are subsets of $S^{k-1}$. The two theorems assert that $C$ is $K[N]$-finitely dominated,  with the equivalent finite type complex concentrated in chain degrees $\leq m$ in case of the first theorem,  if and only if $\Sigma ^m(C) = S^{k-1}$ or $\Sigma '(C) = S^{k-1}$,  respectively. Even for $k=2$,  computation of $\Sigma ^m(C)$ and $\Sigma '(C)$ a priori involves infinitely many Novikov rings.

Fixing a choice of isomorphism $G/N \cong \mathbb {Z}^{k}$ gives a group epimorphism $\pi \colon G \to \mathbb {Z}^{k}$ with kernel $N$,  which can be used to equip the group ring $K[G] = \bigoplus _{p \in \mathbb {Z}^{k}} K\big [ \pi ^{-1}(p) \big ]$ with the structure of a strongly $\mathbb {Z}^{k}$-graded ring as indicated. The subring of degree 0 elements is precisely $K[N]$. For $k=2$,  this gives a large and natural class of strongly $\mathbb {Z}^2$-graded rings to which our main theorem 2.1 applies,  providing a characterization of $K[N]$-finite domination of $K[G]$-module complexes involving eight Novikov rings only. The four conditions (2.2a) occur already in theorem 2.3 (the ring $R_*[y,y^{-1}](\kern -1.7pt ( {x})\kern -1.7pt )$,  for example,  arising as $\widehat {K G_\chi }$ for the character $\xi$ corresponding to the point $(1,0) \in S^1$),  but the four conditions (2.2b) are of a new type. The special case of a product group $G = N \times \mathbb {Z}^{2}$,  with $K[G] \cong K[N][x,\, x^{-1},\, y,\, y^{-1}]$ a Laurent polynomial ring in two indeterminates,  is the remit of the paper [Reference Hüttemann and Quinn3] where the reader can find additional discussion and examples.

Applications in topology

A topological space $Z$ is finite up to homotopy if and only if (i) it is finitely dominated in the sense of being a retract up to homotopy of a finite CW complex,  and (ii) a certain $K$-theoretical obstruction vanishes,  see theorem 2.5. The obstruction is only defined if condition (i) is met. The results of [Reference Hüttemann and Steers4] and of the present paper yield algebraic criteria to verify condition (i) for important classes of topological spaces,  including regular covering spaces with deck transformation group $\mathbb {Z}$ or $\mathbb {Z}^2$.

Apart from their intrinsic interest,  finiteness results of this type have manifold applications in topology themselves. For example,  for a closed manifold $M$ to fibre over $S^1$ it is necessary (but not sufficient) that its infinite cyclic covering $\bar M$ is finitely dominated,  cf. [Reference Ranicki9, §15]. Moreover,  if $\bar M$ is finitely dominated and $M$ has dimension at least 6,  a given 1-dimensional cohomology class $\xi \in H^1(M, \mathbb {R})$ is represented by a non-singular closed 1-form provided its Latour obstruction $\tau (M, \xi )$,  which is defined if $\bar M$ is finitely dominated,  vanishes,  cf. [Reference Schütz10].

Homotopy finiteness and finite domination of topological spaces

A connected CW-complex $X$ is homotopy finite if it is homotopy equivalent to a finite CW-complex. We say that $X$ is finitely dominated if it is a retract up to homotopy of a finite connected CW-complex,  that is,  if and only if there exist maps $s \colon X \to K$ and $r \colon K \to X$ with $K$ a finite connected CW-complex such that $r \circ s$ is homotopic to $\mathrm {id}_{X}$. (This is condition (i) from above.)

Any homotopy finite space is finitely dominated,  and any finitely dominated space has a finitely presented fundamental group. The following two theorems,  going back to the work of Wall,  are fundamental (see [Reference Ranicki8, §3] for a discussion):

Theorem 2.4 A connected CW complex $Z$ is finitely dominated if and only if

• • the fundamental group $\pi = \pi _1(Z)$ is finitely presented, and

• • the cellular chain complex $C(\tilde Z)$ of the universal covering $\tilde Z$ of $Z$ (a complex of free $\mathbb {Z}[\pi ]$-modules) is $\mathbb {Z}[\pi ]$-finitely dominated,  that is,  is chain homotopy equivalent to a bounded complex $D$ of finitely generated projective $\mathbb {Z}[\pi ]$-modules.

Theorem 2.5 Let $Z$ be a finitely dominated CW-complex,  and let $D$ be a bounded chain complex of finitely generated projective $\mathbb {Z}[\pi ]$-modules homotopy equivalent to $C(\tilde Z)$,  as described in theorem 2.4. Let $[Z] = \sum _{k \in \mathbb {Z}} (-1)^k [D_k]$ denote the class of $D$ in $\tilde K_0 \big ( \mathbb {Z}[\pi ] \big )$. The class $[Z]$ does not depend on the choice of $D,$ and is a finiteness obstruction in the sense that $Z$ is homotopy finite if and only if $[Z] = 0$.

This latter theorem is precisely condition (ii) from above.

Fundamental groups mapping surjectively onto $\mathbb {Z}$

Let $X$ now be a finite connected CW-complex with fundamental group $G = \pi _1(X)$,  and suppose there is a surjective group homomorphism $h \colon G \to \mathbb {Z}$ with kernel $\pi$. Then $G$ is a semi-direct product $G = \pi \rtimes \mathbb {Z}$ since $h$ has a section. Let $\bar X$ be the covering space of $X$ determined by $\pi$; it has fundamental group $\pi$. The universal covering space of $\bar X$ is the universal cover $\tilde X$ of $X$. We can apply the previous theorem to $Z = \bar X$ and $\tilde Z = \tilde X$ to conclude that the space $\bar X$ is finitely dominated if and only if $\pi$ is finitely presented,  and the chain complex $C(\tilde X)$ is $\mathbb {Z}[\pi ]$-finitely dominated.

As a first remark,  we note that $G = \pi \rtimes \mathbb {Z}$ is a finitely presented group in this situation since $X$ is a finite CW-complex. If $G = \pi \times \mathbb {Z}$ is a direct product,  then $\pi$ is a retract of $G$ in the category of groups and hence is finitely presented itself. This,  however,  does not hold in general for a semi-direct product $G = \pi \rtimes \mathbb {Z}$. For an explicit example, consider $\pi = \mathbb {Z}[\frac 12]$ with $\mathbb {Z}$ acting on $\pi$ as ${}^k x = 2^k \cdot x$ whence

\[ G = \pi \rtimes \mathbb{Z} \cong \langle y,\,z \,|\, zyz^{{-}1} = y^2 \rangle \]

is finitely presented,  while $\pi$ is not even finitely generated. This can be topologically realized by taking $X$ to be the mapping torus of the self map $z \mapsto z^2$ of $S^1 \subset \mathbb {C}$ with $\bar X$ the canonical infinite cyclic cover,  the dyadic solenoid [Reference Ranicki9, Remark 3.5 (ii)].

More in the spirit of the present paper is the observation that $\mathbb {Z}[G]$ is a strongly $\mathbb {Z}$-graded ring,  with degree $k$ component the free abelian group with set of generators $h^{-1}(k) \subseteq G$. Thus, we can detect finite domination homologically,  by combining the above discussion with the main result of [Reference Hüttemann and Steers4] (Theorem 1.3) as follows.

We write $R_*[t,t^{-1}]$ for the strongly $\mathbb {Z}$-graded ring $\mathbb {Z}[G]$,  and write $H_* \big (X,\, R_*(\kern -1.7pt ( {t^{\pm 1}})\kern -1.7pt ) \big )$ for the Novikov homology of $X$,  the homology of the chain complex $C(\tilde X) \mathop {\otimes }_{R_*[t,t^{-1}]} R_*(\kern -1.7pt ( {t^{\pm 1}})\kern -1.7pt )$.

Theorem 2.6 Let $X$ be a finite connected CW-complex with fundamental group $G$. Suppose there exists a surjective group homomorphism $h \colon G \to \mathbb {Z}$. Let $\bar X$ denote the covering space of $X$ determined by $\ker (h),$ and let $R_*[t,t^{-1}]$ denote the ring $\mathbb {Z}[G]$ equipped with the strong $\mathbb {Z}$-grading induced by $h$.

1. (1) The space $\bar X$ is finitely dominated if and only if

   • • the group $\ker (h)$ is finitely presented,  and

   • • $X$ has trivial NOVIKOV homology, $H_* \big (X,\, R_*(\kern -1.7pt ( {t^{\pm 1}})\kern -1.7pt ) \big ) = \{0\}$.

2. (2) Suppose in addition that $G = \ker (h) \times \mathbb {Z},$ and that $h$ is the projection map $h = \mathrm {pr}_2 \colon G = \ker (h) \times \mathbb {Z} \to \mathbb {Z}$. In this case, $\ker (h)$ is finitely presented, and the space $\bar X$ is finitely dominated if and only if $H_* \big (X,\, R_*(\kern -1.7pt ( {t^{\pm 1}})\kern -1.7pt ) \big )$ is trivial.

Note that the group ring $\mathbb {Z}[G]$ is isomorphic,  as a $\mathbb {Z}[\ker (h)]$-ring,  to a skew Laurent polynomial ring $\mathbb {Z}[\ker (h)]_{\alpha }[t,t^{-1}]$,  with $t$ corresponding to $1 \in \mathbb {Z} \subseteq \ker (h) \rtimes \mathbb {Z}$ and $\alpha$ determined by the action of $\mathbb {Z}$ on $\ker (h)$. If $G = \ker (h) \times \mathbb {Z}$ then $\mathbb {Z}[G] = \mathbb {Z}[\ker (h)][t,t^{-1}]$ is a Laurent polynomial ring in the usual sense.

Fundamental groups mapping surjectively onto $\mathbb {Z}^2$

Let $X$ be a finite connected CW-complex with fundamental group $G = \pi _1(X)$,  and suppose there is a surjective group homomorphism $h \colon G \to \mathbb {Z}^2$ with kernel $\pi$. If $h$ has a section, then $G = \pi \rtimes \mathbb {Z}^{2}$ is a semi-direct product,  but in general $G$ may have a more complicated structure. Note that $G$ is finitely presented but $\pi$ may not be. If $G = \pi \times \mathbb {Z}^2$ is a direct product (with $h$ being the projection map), then $\pi$ is finitely presented as well. On the other hand,  if $G$ is a free group on two generators $a$ and $b$,  and $h \colon G \to \mathbb {Z}^2$ is the obvious surjection,  $\pi = \ker (h)$ is freely generated by the (infinitely many) commutators $[a^m, b^n]$ for non-zero exponents $m$ and $n$; of course $G$ can be realized topologically by the figure-8 space $X = S^1 \vee S^1$.

Let $\bar X$ be the covering space of $X$ determined by $\pi$. The universal covering space of $\bar X$ is the universal cover $\tilde X$ of $X$,  and its cellular chain complex $C(\tilde X)$ is a bounded complex of finitely generated free $\mathbb {Z}[G]$-modules.

The homomorphism $h$ endows $\mathbb {Z}[G]$ with the structure of a strongly $\mathbb {Z}^2$-graded ring which we denote by $R = R_*[x,x^{-1},y,y^{-1}]$. Thus, the eight Novikov rings listed in (2.1) are at our disposal. If $S$ is any of these rings,  we write $H_*(X, S)$ for the homology of the chain complex $C(\tilde X) \mathop {\otimes }_{R} S$. Using the main result of the present paper,  theorem 2.1,  we obtain the following characterization of finite domination of the covering space determined by $\ker (h)$:

Theorem 2.7 Let $X$ be a finite connected CW-complex with fundamental group $G$. Suppose there exists a surjective group homomorphism $h \colon G \to \mathbb {Z}^2$. Let $\bar X$ denote the covering space of $X$ determined by $\ker (h),$ and let $R = R_*[x,x^{-1},y,y^{-1}]$ denote the integral group ring $\mathbb {Z}[G]$ of $G$ equipped with the strong $\mathbb {Z}^2$-grading induced by $h$.

1. (1) The space $\bar X$ is finitely dominated if and only if

   • • the group $\ker (h)$ is finitely presented, and

   • • $X$ has trivial NOVIKOV homology:

     (2.3)\begin{equation} \left. \begin{aligned} H_* \big(X,\, R[x,\,x^{{-}1}] (\kern -1.7pt ( {y^{{\pm} 1}})\kern-1.7pt ) \big) & = \{0\},\, \\ H_* \big(X,\, R[y,\,y^{{-}1}] (\kern -1.7pt ( {x^{{\pm} 1}})\kern-1.7pt ) \big) & = \{0\},\, \\ H_* \big(X,\, R(\kern -1.7pt ( {x^{{\pm} 1},\, y^{{\pm} 1}})\kern-1.7pt ) \big) & = \{0\}. \end{aligned} \right\} \end{equation}

2. (2) Suppose in addition that $G = \ker (h) \times \mathbb {Z}^2,$ and that $h$ is the projection map $h = \mathrm {pr}_2 \colon G = \ker (h) \times \mathbb {Z}^2 \to \mathbb {Z}^2$. In this case, $\ker (h)$ is finitely presented, and the space $\bar X$ is finitely dominated if and only if $X$ has trivial NOVIKOV homology as in (2.3).

Note that provided $h$ has a section,  the group ring $\mathbb {Z}[G]$ is isomorphic,  as a $\mathbb {Z}[\ker (h)]$-ring,  to a skew Laurent polynomial ring of the form $\mathbb {Z}[\ker (h)]_{\alpha }[x,x^{-1}, y, y^{-1}]$,  with $x$ and $y$ corresponding to the generators of $\mathbb {Z}^2$ and $\alpha$ determined by the action of $\mathbb {Z}^2$ on $\ker (h)$. If $G = \ker (h) \times \mathbb {Z}^2$, then $\mathbb {Z}[G] = \mathbb {Z} [\ker (h)][x,x^{-1}, y, y^{-1}]$ is a Laurent polynomial ring in the usual sense. In general,  however,  $\mathbb {Z}[G]$ is not a skew Laurent polynomial ring.

An explicit algebraic example

The applications discussed so far feature strongly graded rings that are in fact group rings,  and hence specific examples of crossed products which are graded rings having homogeneous units of all degrees. However,  theorem 2.1 does not rely on this feature. To illustrate the extent of the generalization achieved in this paper, we describe a strongly $\mathbb {Z}^2$-graded ring $\hat {K}$ that is not a crossed product (and in particular not a Laurent polynomial ring),  and a complex of finitely generated free $\hat K$-modules that is $\hat {K}_{(0,0)}$-finitely dominated by the above criterion.

Let $\overline K = K[a, b, c, d] / ab+cd-1$; this is a strongly $\mathbb {Z}$-graded ring if we let $a, c$ have degree $1$ and $b, d$ have degree $-1$. It is not a Laurent polynomial ring,  in fact not a crossed product,  since the only units in $\overline {K}$ are the elements of $K^\times$ in degree $0$,  as can be shown using ideas from Gröbner basis theory. In particular,  there is no unit in ${\overline K}_{1}$.

The $\mathbb {Z}^2$-graded ring $\hat K = \overline K \mathop {\otimes }_{{\overline K}_0} \overline K$,  where $\hat K_{(k,\ell )} = {\overline K}_k \mathop {\otimes }_{{\overline K}_0} {\overline K}_\ell$,  can be seen to be strongly graded as the necessary partitions of unity are present as in point $(3)$ of proposition 4.5. It is not a crossed product since,  for example,  there is no unit in $\hat {K}_{(1,0)} = {\overline K}_{1}$.

We will define a fourfold chain complex $V$ concentrated in degrees $(\epsilon _1, \epsilon _2, \epsilon _3, \epsilon _4) \in \mathbb {Z}^4$ with $\epsilon _j = 0,1$. The entries are $\hat {K}$,  a free $\hat {K}$-module of rank 1; the non-trivial differentials are multiplication by

\begin{align*} & 1 - a \mathop{\otimes} 1 \text{ in 1-direction,} \\ & 1 - 1 \mathop{\otimes} c \text{ in 2-direction,} \\ & 1 - d \mathop{\otimes} 1 \text{ in 3-direction,} \\ & 1 - 1 \mathop{\otimes} bcd \text{ in 4-direction.} \end{align*}

That is,  the map from position $(1,\epsilon _2, \epsilon _3, \epsilon _4)$ to position $(0,\epsilon _2, \epsilon _3, \epsilon _4)$ is multiplication by $1 - a \mathop {\otimes } 1$,  the map from position $(\epsilon _1, 1, \epsilon _3, \epsilon _4)$ to position $(\epsilon _1, 0, \epsilon _3, \epsilon _4)$ is multiplication by $1 - 1 \mathop {\otimes } c$,  and so on.

The totalization $C$ of $V$ can be obtained by taking ‘iterated mapping cones’,  and up to isomorphism it does not matter in which order we choose the different directions. Now the map $1 - a \mathop {\otimes } 1$ is an isomorphism with inverse

\[ (1 - a \mathop{\otimes} 1)^{{-}1} = 1 + a \mathop{\otimes} 1 + a^2 \mathop{\otimes} 1 + a^3 \mathop{\otimes} 1 + \ldots \]

over the rings $\hat {K}_* [y,y^{-1}](\kern -1.7pt ( {x})\kern -1.7pt )$ and $\hat {K}_* (\kern -1.7pt ( {x, y^{\pm 1}})\kern -1.7pt )$,  by the usual telescoping sum argument familiar from the geometric series. Note that the series defines an element in each of these rings since $a^k \mathop {\otimes } 1 = (a \mathop {\otimes } 1)^k$ has degree $(k,0)$. Thus, after tensoring $V$ with one of these rings, the mapping cones in 1-direction will be acyclic,  hence the tensor product of $C$ with one of these rings will be acyclic.

Similarly,  the map $1 - 1 \mathop {\otimes } bcd$ is an isomorphism over $\hat {K}_* [x, x^{-1}](\kern -1.7pt ( {y^{-1}})\kern -1.7pt )$ and $\hat {K}_* (\kern -1.7pt ( {x^{\pm 1}, y^{-1}})\kern -1.7pt )$,  with inverse

\[ (1 - 1 \mathop{\otimes} bcd)^{{-}1} = 1 + 1 \mathop{\otimes} bcd + 1 \mathop{\otimes} (bcd)^2 + 1\mathop{\otimes} (bcd)^3 + \ldots\ ; \]

this is an element of the rings in question since the degree of $1 \mathop {\otimes } (bcd)^k$ is $(0,-k)$. Consequently,  after tensoring $V$ with one of these rings the mapping cones in 4-direction will be acyclic,  hence the tensor product of $C$ with one of these rings will be acyclic. The cases of $1 - 1 \mathop {\otimes } c$ and $1 - d \mathop {\otimes } 1$ are similar,  involving the rings $\hat {K}_* [x, x^{-1}](\kern -1.7pt ( {y})\kern -1.7pt )$ and $\hat {K}_* (\kern -1.7pt ( {x^{\pm 1}, y})\kern -1.7pt )$ in the former case,  the rings $\hat {K}_* [y, y^{-1}](\kern -1.7pt ( {x^{-1}})\kern -1.7pt )$ and $\hat {K}_* (\kern -1.7pt ( {x^{-1}, y^{\pm 1}})\kern -1.7pt )$ in the latter.

3. Graded rings and Novikov rings

Relevant examples are the polynomial ring $K[x,y]$ and the Laurent polynomial ring $R = K[x,x^{-1},y,y^{-1}]$ in two variables,  equipped with the usual $\mathbb {Z}^{2}$-grading by the exponents of $x$ and $y$,  respectively; here $K$ may be any unital ring. The main difference between these examples,  from the point of view taken in this paper,  is that the latter is strongly $\mathbb {Z}^2$-graded (definition 4.4) but the former is not.

From a unital ring $R$,  for the moment not equipped with a grading,  we can construct various ‘Novikov rings’ of formal Laurent series as follows:

\begin{align*} R[x,\,x^{{-}1}] (\kern -1.7pt ( {y})\kern-1.7pt ) & = R[x,\,x^{{-}1}] [\kern -1pt [{y}] \kern -1pt ] [y^{{-}1}] \\ R[y,\,y^{{-}1}] (\kern -1.7pt ( {x})\kern-1.7pt ) & = R[y,\,y^{{-}1}] [\kern -1pt [{x}] \kern -1pt ] [x^{{-}1}] \\ R[x,\,x^{{-}1}] (\kern -1.7pt ( {y^{{-}1}})\kern-1.7pt ) & = R[x,\,x^{{-}1}] [\kern -1pt [{y^{{-}1}}] \kern -1pt ] [y] \\ R[y,\,y^{{-}1}] (\kern -1.7pt ( {x^{{-}1}})\kern-1.7pt ) & = R[y,\,y^{{-}1}] [\kern -1pt [{x^{{-}1}}] \kern -1pt ] [x] \\ R (\kern -1.7pt ( {x,\,y})\kern-1.7pt ) & = R [\kern -1pt [{x,\,y}] \kern -1pt ] [(xy)^{{-}1}] \\ R (\kern -1.7pt ( {x^{{-}1},\,y^{{-}1}})\kern-1.7pt ) & = R [\kern -1pt [{x^{{-}1},\, y^{{-}1}}] \kern -1pt ] [xy] \\ R (\kern -1.7pt ( {x,\, y^{{-}1}})\kern-1.7pt ) & = R [\kern -1pt [{x,\, y^{{-}1}}] \kern -1pt ] [(x y^{{-}1})^{{-}1}] \\ R (\kern -1.7pt ( {x^{{-}1},\, y})\kern-1.7pt ) & = R [\kern -1pt [{x^{{-}1},\, y}] \kern -1pt ] [(x^{{-}1} y)^{{-}1}] \end{align*}

Here $x$ and $y$ are central indeterminates which commute with each other,  and with the elements of $R$. The slightly informal notation $S [\kern -1pt [{x}] \kern -1pt ] [x^{-1}]$ is meant to denote the ring of formal power series in the indeterminate $x$ with coefficients in $S$,  localized at the multiplicative system $\{x^k \,|\, k \geq 0\}$.

Returning to the case of a $\mathbb {Z}^{2}$-graded ring $R$,  we can introduce subrings of rings of formal power or Laurent series,  denoted by adding the decoration ‘$*$’ as a subscript to the ring $R$,  consisting of those elements such that the coefficient of $x^{s} y^{t}$ is an element of $R_{(s,t)}$. The resulting unital subrings will not contain the elements $x$ and $y$ as,  for example,  $x = 1 \cdot x$ has coefficient $1 \in R_{(0,0)}$,  whereas the monomial $x$ has degree $(1,0)$. At this point, we may treat the ‘variables’ as a purely notational device keeping track of degrees of various elements. As an illustration, we put forward the ring $R_*[x,x^{-1},y,y^{-1}]$ which has elements the finite sums of terms $r_{s,t} x^{s} y^{t}$,  with $s,t \in \mathbb {Z}$ and $r_{s,t} \in R_{(s,t)}$. We may in fact identify this ring with the (graded) ring $R$ itself. When applied to the Novikov rings listed above,  we arrive at the identifications listed in (2.1).

4. Partitions of unity and strongly graded rings

By a straightforward computation, one can show:

Lemma 4.2 For $\rho, \rho ' \in \mathbb {Z}^2$ let $1=\sum _{j} u_jv_j$ and $1=\sum _{k} u'_kv'_k$ be partitions of unity of type $\rho$ and $\rho ',$ respectively. Then

\[ 1=\sum_{k} \sum_{j} (u_j u'_j) (v'_j v_j) \]

is a partition of unity of type $\rho + \rho '$.

If $S_{\rho } S_{-\rho } = S_{(0,0)}$ then,  since $1 \in S_{(0,0)}$,  there exists a partition of unity of type $(\rho,-\rho )$. Conversely,  if a partition of unity of type $(\rho,-\rho )$ exists, then $1 \in S_{\rho } S_{-\rho }$ and thus $S_{(0,0)} \subseteq S_{\rho } S_{-\rho }$ so that $S_{(0,0)} = S_{\rho } S_{-\rho }$; this implies moreover

\[ S_{\sigma} = S_{\sigma} S_{(0,0)} = S_{\sigma} S_{\rho} S_{-\rho} \subseteq S_{\sigma+\rho} S_{-\rho} \subseteq S_{\sigma} \]

so that $S_{\sigma } = S_{\sigma +\rho } S_{-\rho }$ for any $\sigma \in \mathbb {Z}^{2}$,  and similarly $S_{\sigma } = S_{\rho } S_{\sigma - \rho }$.

Proposition 4.3 Let $R$ be a $\mathbb {Z}^{2}$-graded ring. Let $\lambda, \rho \in \mathbb {Z}^{2}$ be such that there exists a partition of unity $1 = \sum _{j} \alpha _{j} \beta _{j}$ of type $(\lambda, -\lambda )$. The multiplication map

\[ \pi_{\lambda,\rho} \colon R_{\lambda} \mathop{\otimes}_{R_{(0,0)}} R_{\rho} \longrightarrow R_{\lambda + \rho},\, \quad x \mathop{\otimes} y \mapsto xy \]

is an isomorphism of $R_{(0,0)}$-bimodules; its inverse can be written as

\[ \mu_{\lambda, \rho} = \pi_{\lambda,\rho}^{{-}1} \colon R_{\lambda+\rho} \longrightarrow R_{\lambda} \mathop{\otimes}_{R_{(0,0)}} R_{\rho} \ ,\, \quad z \mapsto \sum_{j} \alpha_{j} \mathop{\otimes} \beta_{j} z. \]

The map $\mu _{\lambda, \rho }$ does not depend on the choice of partition of unity.

Proof. The map $\pi _{\lambda,\rho }$ is an $R_{(0,0)}$-balanced,  thus well-defined, $R_{(0,0)}$-bimodule homomorphism. Hence, it is enough to show that $\mu _{\lambda,\rho }$,  considered as a homomorphism of right $R_{(0,0)}$-modules,  is its inverse. For $z \in R_{\lambda +\rho }$, we calculate

\[ \pi_{\lambda,\rho} \circ \mu_{\lambda,\rho} (z) = \sum_{j} \alpha_{j} \beta_{j} z = z \]

so that $\pi _{\lambda,\rho } \circ \mu _{\lambda,\rho }$ is the identity map. Similarly,  for $x \in R_{\lambda }$ and $y \in R_{\rho }$, we have

\[ \mu_{\lambda,\rho} \circ \pi_{\lambda,\rho} (x \mathop{\otimes} y) = \sum_{j} \alpha_{j} \mathop{\otimes} (\beta_{j} x) y = \sum_{j} \alpha_{j} \beta_{j} x \mathop{\otimes} y = x \mathop{\otimes} y \]

(since $\beta _{j} x \in R_{(0,0)}$) so that $\mu _{\lambda,\rho } \circ \pi _{\lambda,\rho }$ is the identity map.

The establishing example is the Laurent polynomial ring in two variables,  $R = K[x,x^{-1},y,y^{-1}]$. This is a strongly ${\mathbb {Z}}^2$-graded ring when $x$ and $y$ are given degrees $(1,0)$ and $(0,1)$,  respectively.

Using [Reference Dade1, Proposition 1.6] and lemma 4.2,  one obtains the following characterization of strongly $\mathbb {Z}^{2}$-graded rings:

Part II. Contractibility of Novikov homology implies finite domination

5. Rings and modules associated to faces of a square

We denote by the symbol $\mathfrak {S}$ the set of non-empty faces of the polytope $S = [-1,1] \times [-1,1] \subset \mathbb {R}^{2}$,  partially ordered by inclusion. In figure 1, we show our chosen labelling and orientation of the faces (the orientations will be used later to define incidence numbers).

Figure 1. Labelling and orientation of the faces of the square $S$.

With each face $F \in \mathfrak {S}$, we associate its barrier cone

\[ T_{F} = \mathrm{cone}\, \{x-y \,|\, x \in S,\,\ y \in F\} \ \subseteq \mathbb{R}^{2} \ ,\, \]

where $\mathrm {cone}\,(X)$ denotes the set of finite linear combinations of elements of $X$ with non-negative real coefficients. For example,  $T_{v_{bl}}$ is the first quadrant and $T_{e_r}$ is the left half-plane. Given a $\mathbb {Z}^{2}$-graded ring $R = \bigoplus _{\rho \in \mathbb {Z}^{2}} R_{\rho }$, we let $A_F = R_*[T_F]$ denote the subring of $R = R_*[x, x^{-1}, y, y^{-1}]$ consisting of elements with support in $T_F$; explicitly, 

\[ A_F = R_*[T_F] = \bigoplus_{\rho \in T_F \cap \mathbb{Z}^{2}} R_{\rho} \ . \]

Thus,  for example, 

\begin{align*}\begin{array}{@{}lll@{}} A_{v_{br}} & = R_*[T_{v_{br}}] & = R_*[x^{-1}, y] ,\\ A_{e_{l}} & = R_*[T_{e_{l}}] & = R_*[x,y,y^{-1}],\\ A_{S} & = R_*[T_{S}] & = R_*[x, x^{-1}, y, y^{-1}] = R .\end{array}\end{align*}

For $k \in \mathbb {Z}$, we introduce the $R_*[T_{F}]$-bimodules

\[ R_*[kF + T_{F}] = \bigoplus_{\sigma \in (kF + T_{F}) \cap \mathbb{Z}^{2}} R_{\sigma},\, \]

where $kF + T_{F} = \{ kx + y \,|\, x \in F \textrm { and } y \in T_{F} \}$. In different notation, 

\begin{align*} \begin{array}{@{}lll@{}}R_*[k v_{br} + T_{v_{br}}] & = x^{-k} y^{-k} R_*[x^{-1}, y] & = x^{-k}y^{-k} A_{v_{br}},\\ R_*[k e_{l} + T_{e_{l}}] & = x^{-k} R_*[x,y,y^{-1}] & = x^{-k} A_{e_{l}},\\ R_*[k S + T_{S}] & = R_*[x, x^{-1}, y, y^{-1}] & = R.\end{array}\end{align*}

As a final bit of notation for now,  we let $p_{F} \in F \cap \mathbb {Z}^{2}$ denote the barycentre of $F$. For example, $p_{e_{t}} = (0,1)$ and $p_{S} = (0,0)$. Then $kF+T_{F} = kp_{F} + T_{F}$,  and every element $\sigma$ of $kF+T_{F}$ can in fact be written in the form $kp_{F} + \tau$ for some $\tau \in T_{F}$. Also,  given faces $F \subseteq G$, the barrier cones satisfy $T_{G} = T_{F} + \mathbb {R} \cdot (p_{G} - p_{F})$ so that,  in particular,  $k(p_{G}-p_{F}) \in T_{G}$.

Lemma 5.1 Let $R$ be a strongly $\mathbb {Z}^{2}$-graded ring. For all $k \in \mathbb {Z}$ and for all $F,G \in \mathfrak {S}$ with $F \subseteq G,$ the $R_*[T_{F}]$-linear inclusion map $\alpha _{F,G} \colon R_*[kF + T_{F}] \longrightarrow R_*[kG + T_{G}]$ is such that its adjoint map

\[ \alpha_{F,G}^{\sharp} \colon R_*[kF + T_{F}] \mathop{\otimes}_{R_*[T_{F}]} R_*[T_{G}] \longrightarrow R_*[kG + T_{G}] \ ,\, \quad r \mathop{\otimes} s \mapsto rs \]

is an isomorphism.

Proof. Choose a partition of unity of type $(kp_{F},-kp_{F})$,  say $1= \sum _{j} u_jv_j$ with $u_j\in R_{kp_{F}}$ and $v_j\in R_{-kp_{F}}$. The map

\[ \beta_{F,G} \colon R_*[kG + T_{G}] \longrightarrow R_* [kF + T_{F}] \mathop{\otimes}_{R_*[T_{F}]} R_*[T_{G}] \ ,\, \quad x \mapsto \sum_{j} u_{j} \mathop{\otimes} v_{j} x \]

is well-defined. First,  $u_{j}$ has degree $kp_{F} \in kF \subseteq kF + T_{F}$ whence $u_{j} \in R_* [kF + T_{F}]$. Second,  every element $\sigma$ of $(kG + T_{G}) \cap \mathbb {Z}^{2}$ can be written in the form $kp_{G} + \tau$,  with $\tau \in T_{G} \cap \mathbb {Z}^{2}$. Thus,

\[ \sigma - kp_{F} = kp_{G} + \tau - kp_{F} = \tau + k(p_{G} - p_{F}) \in T_{G} \ . \]

It follows that for $x \in R_*[kG + T_{G}]$, the product $v_{j} x$ is an element of $R_*[T_{G}]$. The map $\beta _{F,G}$ is $R_*[T_{G}]$-linear and satisfies $\alpha _{F,G}^{\sharp } \circ \beta _{F,G} = \mathrm {id}$ by direct calculation,  using $1= \sum _{j} u_jv_j$. We also have

\[ \beta_{F,G} \circ \alpha_{F,G}^{\sharp} (r \mathop{\otimes} s) = \beta_{F,G} (rs) = \sum_{j} u_{j} \mathop{\otimes} v_{j} rs \underset{(*)}= \sum_{j} u_{j} v_{j} r \mathop{\otimes} s = r \mathop{\otimes} s \]

where the equality labelled $(*)$ is true since $v_{j} r \in R_*[T_{F}]$ for any $r \in R_*[kF + T_{F}]$,  whence $\beta _{F,G} \circ \alpha _{F,G}^{\sharp } = \mathrm {id}$.

6. Čech complexes

Incidence numbers and Čech complexes

Suppose $P$ is a poset equipped with a strictly increasing ‘rank’ function

\[ \mathrm{rk} \colon P\longrightarrow \mathbb{N} = \{0,\, 1,\, 2,\, \cdots \} \]

and with a notion of ‘incidence numbers’

\[ [{\cdot},\,\cdot] \colon P \times P \longrightarrow \mathbb{Z} \]

satisfying the following conditions:

1. (DI1) $[x\colon y] = 0$ unless $x>y$ and $\mathrm {rk}(y) = \mathrm {rk}(x) - 1$.

2. (DI2) For all $z< x$ with $\mathrm {rk}(z) = \mathrm {rk}(x) - 2$,  the set

   \[ P(z< x) = \{y\in P \,|\, z< y< x\} \]
   is finite,  and
   \[ \sum_{y\in P( z< x)} [x \colon y] \cdot [y \colon z] = 0 . \]

3. (DI3) For $x \in P$ with $\mathrm {rk}(x)=1$, the set

   \[ P({<}x) = \{y\in P \,|\, y< x\} \]
   is finite,  and
   \[ \sum_{y \in P({<}x)}[x \colon y] = 0. \]

We can then associate a ‘Čech complex’ with a diagram of $K$-modules ($K$ a unital ring) indexed by $P$:

Definition 6.1 Given diagram $\Phi \colon P \longrightarrow K\textrm {-}\mathrm {Mod}$ with structure maps $\varphi _{x,y}\colon \Phi _y\longrightarrow \Phi _x$,  define its Čech complex $\Gamma (\Phi ) = \Gamma _{P} (\Phi )$ to be the chain complex concentrated in non-positive degrees with chain modules

\[ \Gamma(\Phi)_{{-}n} = \bigoplus_{x \in \mathrm{rk}^{{-}1}(n)} \Phi_{x} \qquad (n \geq 0) \]

with differential induced by $[x:y] \varphi _{x,y}$ for $x>y$.

It is easy to check that by virtue of (DI1) and (DI2), this is indeed a chain complex. Condition (DI3) ensures that a cone $M \xrightarrow{.} \Phi$ on $\Phi$,  that is,  a collection of $K$-module maps $\kappa _{x} \colon M \longrightarrow \Phi _x$ satisfying the compatibility condition $\kappa _{x}= \varphi _{x,y} \circ \kappa _{y}$,  yields a chain complex

\[ \ldots \xleftarrow{} \Gamma_{P}(\Phi)_{{-}1} \xleftarrow{} \Gamma_{P} (\Phi)_{0} \xleftarrow{\kappa} M \]

with co-augmentation $\kappa$ induced by the maps $\kappa _{x}$ for $x \in \mathrm {rk}^{-1}(0)$.

Čech complexes of diagrams of chain complexes

The assignment $\Phi \mapsto \Gamma _{P} (\Phi )$ is in fact an exact functor from the category of $P$-indexed diagrams of $K$-modules to the category of chain complexes of $K$-modules. Hence, it can be prolongated,  by levelwise application,  to a functor $\Gamma _{P}$ from the category of $P$-indexed diagrams of $K$-module chain complexes to the category of double chain complexes of $K$-modules. The resulting double complexes have rows $\Gamma _{P}(C_{t})$,  that is,  $\Gamma _{P}(C)_{s,t} = \Gamma _{P}(C_{t})_{s}$,  and commuting differentials. By construction,  $\Gamma _{P}(C)_{s,t} = 0$ for $s > 0$. Passage to Čech complexes is homotopy invariant in the following sense:

Lemma 6.2 Let $\chi \colon \Phi \longrightarrow \Psi$ be a natural transformation of functors $\Phi,\Psi \colon P\longrightarrow \textsf {Ch}\,(K\textrm {-}\mathrm {Mod})$. Suppose that for each $p\in P$ the component $\chi _{p} \colon \Phi _{p} \longrightarrow \Psi _{p}$ is a quasi-isomorphism. Suppose also that the rank function is bounded above. Then the induced map of chain complexes

\[ \mathrm{Tot} \Gamma(\chi) \colon \mathrm{Tot} \Gamma (\Phi) \longrightarrow \mathrm{Tot} \Gamma (\Psi) \]

is also a quasi-isomorphism.

Proof. This is a standard result,  we include an elementary proof for convenience. For $p \geq 0$ let $\Gamma ^{p}$, denote the horizontal truncation at $-p$ of $\Gamma$. That is, $\Gamma ^{p} (\Phi )$ is defined to be the double chain complex that agrees with $\Gamma (\Phi )$ in columns $-p, - p+1,\, \cdots,\, 0$,  and is trivial otherwise. As the rank function is bounded above,  $\Gamma ^{p} = \Gamma$ for sufficiently large $p$.

The obvious surjection $\Gamma ^{p+1}(\Phi ) \longrightarrow \Gamma ^{p} (\Phi )$,  given by identity maps in horizontal degrees $-p$ and higher,  has kernel the vertical chain complex

\[ K_{p+1}(\Phi) = \bigoplus_{x \in \mathrm{rk}^{{-}1} (p+1)} \Phi_x,\, \]

considered as a double chain complex concentrated in column $-(p+1)$. Its totalization is then the shift suspension $K_{p+1}(\Phi )[-p-1]$ of the chain complex $K$. By induction on $p \geq 0$,  using the five lemma for ladder diagrams of long exact homology sequences induced by the diagram of short exact sequences below,

the induced maps $\mathrm {Tot} \Gamma ^{p} (\chi ) \colon \mathrm {Tot} \Gamma ^{p} (\Phi ) \longrightarrow \mathrm {Tot} \Gamma ^{p} (\Psi )$ are seen to be quasi-isomorphisms for all $p \in \mathbb {N}$.

7. Quasi-coherent diagrams

As before, we denote by the symbol $\mathfrak {S}$ the poset of non-empty faces of the square $S = [-1,1] \times [-1,1]$. For the purpose of taking Čech complexes, we equip $\mathfrak {S}$ with the rank function $\mathrm {rk}(F) = \dim (F)$,  and the usual incidence numbers coming from the orientations indicated in figure 1. For example,  $[e_{r} : v_{tr}] = 1$ and $[e_{r} : v_{br}] = -1$,  and $[S : e_?] = 1$ for any decoration $? \in \{t,l,b,r\}$. Let $R$ be a $\mathbb {Z}^2$-graded ring.

Definition 7.1 A quasi-coherent diagram of modules is a functor

\[ M \colon \mathfrak{S} \longrightarrow R_{(0,0)} \text{-}\mathrm{Mod}\ ,\, \quad F \mapsto M^{F} \]

as depicted in figure 2. In addition,  for each $F$, the entry $M^F$ is to be equipped with a specified structure of an $R_*[T_{F}]$-module,  extending the given $R_{(0,0)}$-module structure. For an inclusion of faces $F \subseteq G$, we require the structure map $\alpha ^{F,G} \colon M^{F} \longrightarrow M^{G}$ to be $R_*[T_{F}]$-linear,  such that the adjoint map

\[ \alpha^{F,G}_{\sharp} \colon M^{F}\mathop{\otimes}_{R_*[T_F]} R_*[T_G]\longrightarrow M^G \ ,\, \quad m \mathop{\otimes} x \mapsto \alpha^{F,G} (m) \cdot x \]

is an isomorphism of $R_*[T_{G}]$-modules. A quasi-coherent diagram of chain complexes is a chain complex of quasi-coherent diagrams of modules.

Figure 2. Quasi-coherent diagram.

We remark that a quasi-coherent diagram of chain complexes can be considered as a functor defined on $\mathfrak {S}$ with values in the category of chain complexes of $R_{(0,0)}$-modules,  subject to conditions as above specified levelwise. Moreover,  any quasi-coherent diagram of modules can be considered as a quasi-coherent diagram of complexes concentrated in chain degree $0$.

In case $R$ is a Laurent polynomial ring in two variables with coefficients in a commutative ring $K$,  a quasi-coherent diagram of modules is nothing but a quasi-coherent sheaf of modules on the product $\mathbb {P}^{1}_{K} \times \mathbb {P}^{1}_{K}$ of the projective line over $R_{K}$ with itself.

Given a $\mathbb {Z}^2$-graded ring $R$ and $k \in \mathbb {Z}$,  we denote by $D(k)$ the diagram depicted in figure 3.

Figure 3. The quasi-coherent diagram $D(k)$.

The arrows are inclusion maps. For a strongly $\mathbb {Z}^{2}$-graded ring, this diagram is quasi-coherent as the adjoint maps are isomorphisms in light of lemma 5.1. These diagrams will play a central role later on. They are the analogues of certain line bundles on $\mathbb {P}^{1}_{R_{(0,0)}} \times \mathbb {P}^{1}_{R_{(0,0)}}$,  viz.,  the external tensor square of $\mathcal {O}(k)$. We thus are led to expect the following calculation of its ‘global sections’ and (trivial) ‘higher cohomology’ (note $H_{-n} \Gamma _{\mathfrak {S}} \cong \lim ^{n}$ as shown,  e.g.,  in [Reference Hüttemann5, Corollary 2.19]):

Proposition 7.2 For $k \geq 0$, the complex

\[ \displaystyle \Gamma_{\mathfrak{S}} \big( D(k) \big) \xleftarrow{\iota} \bigoplus_{x,y ={-}k}^{k} R_{(x,y)} \xleftarrow{} 0 \]

is exact, where $\iota$ is the diagonal embedding, induced from the inclusions of its source into $D(k)^{v}$ with $v$ a vertex of $S$.

More explicitly,  the sequence

(7.1)\begin{equation*} \displaystyle 0 \xleftarrow{} \Gamma_{\mathfrak{S}} \big( D(k) \big)_{{-}2} \xleftarrow{d_{{-}1}} \Gamma_{\mathfrak{S}} \big( D(k) \big)_{{-}1} \nonumber \xleftarrow{d_{0}} \Gamma_{\mathfrak{S}} \big( D(k) \big)_{0} \xleftarrow{\iota} \bigoplus_{x,y ={-}k}^{k} R_{(x,y)} \xleftarrow{} 0 \end{equation*}

is exact.

8. Extending chain complexes of modules to quasi-coherent diagrams of chain complexes

Suppose that $M$ is a finitely generated free module over the $\mathbb {Z}^{2}$-graded ring $R$. Then there exists a quasi-coherent diagram which has $M$ as its middle entry. More precisely,  we fix an isomorphism between $M$ and $R^{n}$,  for some $n \geq 0$,  and have $( \bigoplus _{n} D(k) )^{S} \cong M$ for any $k \in \mathbb {Z}$. This shows that finitely generated free $R$-modules can be extended to quasi-coherent diagrams. We need the following chain complex version of this fact:

Proposition 8.1 Let $R$ be a $\mathbb {Z}^{2}$-graded ring,  and let $C$ be a bounded above chain complex of finitely generated free $R$-modules. Then there exists a complex $\mathcal {Y}$ of diagrams of the form $\bigoplus _{r} D(k),$ for various $r \geq 0,$ such that $C \cong \mathcal {Y}^{S}$ as $R$-module complexes. More precisely,  suppose that $C$ is concentrated in degrees $\leq t$. There are numbers

\[ 0 \leq k_{t} \leq k_{t-1} \leq k_{t-2} \leq \ldots \]

and numbers $r_{n} \geq 0$,  with $r_{n} = 0$ whenever $C_{n} = 0$,  such that we can choose $\mathcal {Y}_{n} = \bigoplus _{r_{n}} D(k_{n})$. If $C$ is bounded,  then so is $\mathcal {Y}$. If the ring $R$ is strongly $\mathbb {Z}^{2}$-graded, then $\mathcal {Y}$ consists of quasi-coherent diagrams.

Proof. We identify the chain module $C_{n}$ with $R^{r_{n}}$,  for suitable numbers $r_{n} \geq 0$,  where $r_{n} = 0$ if and only if $C_{n} = 0$; this amounts to choosing basis elements for the free modules $C_{n}$. The action of the differential $C_{n} \longrightarrow C_{n-1}$ is then given by left multiplication by a matrix $D_{n}$ of size $r_{n-1} \times r_{n}$,  with entries in $R$.

Given a homogeneous non-zero element $x \in R_{(s,t)}$, we write $a(x) = \max ( |s|, |t| )$; we also agree $a(0) = 0$. For a general element $x \in R$, let $a(x)$ denote the maximum of the values $a(x_i)$,  where the $x_i$ are the homogeneous components of $x$. We denote by $a_{n}$ the maximum of the values $a(x)$ where $x$ varies over the entries of the matrix $D_{n}$,  with the convention that $a_{n} = 0$ if $D_{n}$ is the empty matrix (i.e.,  if $r_{n} = 0$ or $r_{n-1} = 0$).

Suppose that $C$ is concentrated in chain degrees $\leq t$. We set $k_{n} = 0$ for $n \geq t$,  and

\[ k_{n} = \sum_{j=n+1}^{t} a_{j} \]

for $k < t$. We then define the chain complex $\mathcal {Y}$ of quasi-coherent diagrams by setting $\mathcal {Y}_{n} = \bigoplus _{r_{n}} D(k_{n})$; the differentials $d_{n} \colon \mathcal {Y}_{n} \longrightarrow \mathcal {Y}_{n-1}$ are given by left multiplication by the matrix $D_{n}$ in each component,  so that

\[\displaystyle d_{n}^{F} \colon \mathcal{Y}_{n}^{F} = \big( \bigoplus_{r_{n}} D(k_{n}) \big)^{F} \xrightarrow{D_{n}} \big( \bigoplus_{r_{n-1}} D(k_{n-1}) \big)^{F} = \mathcal{Y}_{n-1}^{F}. \]

(This is well defined: The numbers $k_{n}$ are chosen precisely to ensure that $d_{n}^{F}$ maps $\mathcal {Y}_{n}^{F}$ to $\mathcal {Y}_{n-1}^{F}$.) As $D_{n-1} \cdot D_{n} = 0$, we have $d_{n-1} \circ d_{n} = 0$,  and $C = \mathcal {Y}^{S}$ by construction.

It was observed before that the diagrams $D(k)$ are quasi-coherent if $R$ is strongly $\mathbb {Z}^{2}$-graded (this follows from lemma 5.1); hence $\mathcal {Y}$ consists of quasi-coherent diagrams in this case.

Corollary 8.2 Let $R$,  $C,$ $\mathcal {Y},$ $r_{n}$ and $k_{n}$ be as in proposition 8.1, with $C$ bounded. Then $D = \lim \mathcal {Y}$ is a bounded complex of $R_{(0,0)}$-modules with chain modules

\[ D_{n} = \Big( \bigoplus_{x,y ={-}k_{n}}^{k_{n}} R_{(x,y)} \Big)^{r_{n}} \ . \]

If $R$ is strongly $\mathbb {Z}^{2}$-graded, these $R_{(0,0)}$-modules are finitely generated projective. The natural map $D \longrightarrow \mathrm {Tot} \, \Gamma _{\mathfrak {S}} (\mathcal {Y})$ is a homotopy equivalence of $R_{(0,0)}$-module complexes so that $\mathrm {Tot} \, \Gamma _{\mathfrak {S}} (\mathcal {Y})$ is $R_{(0,0)}$-finitely dominated.

Proof. Consider the double complex concentrated in columns $-2$, $-1$,  $0$ and $1$ with $n$th row given by

\[ \displaystyle \Gamma_{\mathfrak{S}} \big( \mathcal{Y}_{n} \big) \xleftarrow{\iota} \Big( \bigoplus_{x,y ={-}k_{n}}^{k_{n}} R_{(x,y)} \Big)^{r_{n}}\ . \]

Column 1 is the chain complex $\lim \, \mathcal {Y}$,  see proposition 7.2,  which consists of finitely generated projective $R_{(0,0)}$-modules if $R$ is strongly graded by corollary 4.6. As the rows are exact (by proposition 7.2 again),  standard homological algebra asserts that the natural map $\lim \mathcal {Y} \longrightarrow \mathrm {Tot} \, \Gamma (\mathcal {Y})$ is a quasi-isomorphism. In the strongly graded case,  this is a homotopy equivalence (all complexes are bounded below and consist of projective $R_{(0,0)}$-modules) so that $\mathrm {Tot} \, \Gamma (\mathcal {Y})$ is $R_{(0,0)}$-finitely dominated.

9. Flags and stars,  and their associated rings

For each $F \in \mathfrak {S}$, we equip $\mathcal {N}_{F}$ with the rank function

\[ \mathrm{rk} \big( \langle P_0,\, P_1,\, \cdots,\, P_k\rangle \big) = k \]

and with standard simplicial incidence numbers: $[\tau :\sigma ] = 0$ unless the flag $\sigma$ is obtained from $\tau = \langle P_0,\, P_1,\, \cdots,\, P_k \rangle$ by omitting the entry $P_{j}$,  in which case $[\tau :\sigma ] = (-1)^j$. Whenever we form a Čech complex of a diagram indexed by $\mathcal {N}_{F}$, we will use these data.

We now attach a ring $A\langle P_0,\, P_1,\, \cdots,\, P_k \rangle$ to each flag $\langle P_0,\, P_1,\, \cdots,\, P_k \rangle$ of faces in $\mathfrak {S}$,  as follows:

\[ \begin{array}{lcl} A \langle v_{bl} \rangle & = & R_*[\kern -1pt [{x,\,y}] \kern -1pt ] \\ A \langle e_b \rangle & = & R_*[x,\,x^{{-}1}] [\kern -1pt [{y}] \kern -1pt ] \\ A \langle S \rangle & = & R_*[x,\,x^{{-}1},\, y,\,y^{{-}1}] = R \\ A \langle v_{bl},\, e_b \rangle & = & R_*(\kern -1.7pt ( {x})\kern-1.7pt ) [\kern -1pt [{y}] \kern -1pt ] \\ A \langle v_{bl},\, S \rangle & = & R_*(\kern -1.7pt ( {x,\, y})\kern-1.7pt ) \\ A \langle e_b,\, S \rangle & = & R_*[x,\,x^{{-}1}](\kern -1.7pt ( {y})\kern-1.7pt ) \\ A \langle v_{bl},\, e_b,\, S \rangle & = & R_*(\kern -1.7pt ( {x})\kern-1.7pt ) (\kern -1.7pt ( {y})\kern-1.7pt ) \end{array} \]

The effect of replacing ‘left’ by ‘right’ (i.e.,  replacing the subscript ‘$l$’ by ‘$r$’ throughout) is to replace $x$ by $x^{-1}$,  while replacing ‘bottom’ by ‘top’ (i.e.,  replacing the subscript ‘$b$’ by ‘$t$’ throughout) means replacing $y$ by $y^{-1}$. Swapping ‘bottom’ and ‘left’ amounts to swapping $x$ with $y$,  and swapping ‘top’ and ‘right’ results in $x^{-1}$ and $y^{-1}$ swapping places. Thus,  for example, 

\[ A \langle v_{tl},\,e_l \rangle = R_*(\kern -1.7pt ( {y^{{-}1}})\kern-1.7pt ) [\kern -1pt [{x}] \kern -1pt ] \quad \text{and} \quad A \langle v_{tr},\, e_r,\, S \rangle = R_*(\kern -1.7pt ( {y^{{-}1}})\kern-1.7pt ) (\kern -1.7pt ( {x^{{-}1}})\kern-1.7pt ) \ . \]

By direct inspection,  this collection of rings is seen to have the following properties:

1. (1) If $\sigma \subseteq \tau$, then $A \langle \sigma \rangle \subseteq A \langle \tau \rangle$. In particular,  if $S \in \tau$, then $R = R_*[x,x^{-1}, y,y^{-1}] = A \langle S \rangle$ is a subring of $A \langle \tau \rangle$.

2. (2) If $\tau \in \mathcal {N}_{F}$ (i.e.,  if all faces in $\tau$ contain $F$), then $A_{F} \subseteq A \langle \tau \rangle$.

Fix $F \in \mathfrak {S}$. The rings $A \langle \tau \rangle$ defined above fit into a commutative diagram

\[ E_F\colon \mathcal{N}_F\longrightarrow A_{F}\text{-}\mathrm{Mod}\ ,\,\quad \tau \mapsto A \langle \tau \rangle \]

of $A_{F}$-modules with structure maps given by inclusions. For $F = S$,  the diagram $E_{S}$ has a single entry indexed by the flag $\langle S \rangle$,  and takes value $A \langle S \rangle = R$ there. For $F = e_{l}$,  the left-hand edge of $S$,  the diagram $E_{e_{l}}$ looks like this:

(9.1)\begin{align} {R_* [y,\, y^{{-}1}] [\kern -1pt [{x}] \kern -1pt ] \atop A \langle e_l \rangle} \longrightarrow {R_* [y,\, y^{{-}1}] (\kern -1.7pt ( {x})\kern-1.7pt ) \atop A \langle e_{l},\,S \rangle} \longleftarrow {R_* [x,\, x^{{-}1},\, y,\, y^{{-}1}] \atop A \langle S \rangle} \end{align}

And finally,  for $F = v_{bl}$ the bottom left vertex of $S$,  the diagram $E_{v_{bl}}$ is depicted in figure 4.

Figure 4. The diagram $E_{v_{bl}}$.

We let $\Gamma _{\mathcal {N}_{F}} (E_{F})$ denote the Čech complex of $E_{F}$. Considering $A_{F}$ as a chain complex concentrated in chain level $0$, we have a chain map

\[ \xi^{F} \colon A_{F} \longrightarrow \Gamma_{\mathcal{N}_{F}} (E_{F}) \]

given by the diagonal embedding $A_{F} \longrightarrow \bigoplus _{G \supseteq F} A \langle G \rangle$. This is indeed a chain map thanks to property (DI3) of incidence numbers.

Proof. Note that for $F = S$, there is actually nothing to show as the category $\mathcal {N}_{S}$ has a single object; for $F = e_{l}$, the claim is equivalent to saying that the sequence

\begin{multline*}0 \longrightarrow R_*[x,\,y,\,y^{-1}] \mathop{\longrightarrow}^{{\left(\begin{smallmatrix}1\\1\end{smallmatrix}\right)}} R_*[y,\,y^{-1}] [\kern -1pt [{x}] \kern -1pt ] \oplus R_*[x,\,x^{-1},\,y,\,y^{-1}] \\ \mathop{\longrightarrow}^{\left(\begin{smallmatrix}1 & -1\end{smallmatrix}\right)} R_*[y,\,y^{-1}] (\kern -1.7pt ( {x})\kern-1.7pt ) \longrightarrow 0 \end{multline*}

is exact,  and it is not too hard to see that it is actually split exactly as a sequence of $R_{(0,0)}$-modules. The case of $F = v_?$ a vertex is somewhat more demanding in terms of book-keeping. Full details are worked out in the proof of Lemma 4.5.1 in [Reference Hüttemann and Quinn3],  writing $R_*[x,x^{-1}](\kern -1.7pt ( {y})\kern -1.7pt )$ in place of $R[x,x^{-1}](\kern -1.7pt ( {y})\kern -1.7pt )$ (and similar for the other rings); the proof carries over mutatis mutandis since the claim can be checked in each degree separately.

For faces $G \supsetneqq F$, let $E_{F}^{G}$ denote the $\mathcal {N}_{F}$-indexed diagram which agrees with $E_{G}$ on $\mathcal {N}_{G}$,  and is zero everywhere else. The obvious map of diagrams $E_{F} \longrightarrow E_{F}^{G}$,  given by identities where possible,  results in a map of chain complexes

\[ \Gamma_{\mathcal{N}_{F}} (E_{F}) \longrightarrow \Gamma_{\mathcal{N}_{F}} (E_{F}^{G}) = \Gamma_{\mathcal{N}_{G}} (E_{G}) \ ,\, \]

given by projecting away from all those summands in the source which involve flags in $\mathcal {N}_{F} \setminus \mathcal {N}_{G}$. These maps are functorial on the poset $\mathfrak {S}$ so that there results a commutative diagram

\[ E \colon \mathfrak{S} \longrightarrow R_{(0,0)}\text{-}\mathrm{Mod}\ ,\, \quad F \mapsto \Gamma_{\mathcal{N}_{F}} (E_{F}) \ . \]

Proposition 9.3 The maps $\xi ^{F}$ constructed above assemble to a natural transformation

\[ \xi \colon D(0) \longrightarrow E . \]

Its components $\xi ^{F} \colon A_{F} \longrightarrow \Gamma _{\mathcal {N}_{F}} (E_{F})$ are quasi-isomorphisms of complexes of $A_{F}$-modules.

Given a flat $A_{F}$-module $M_{F}$, we thus obtain a quasi-isomorphism

\[ \chi^{F} \colon M_{F} \mathop{\longrightarrow}^{{\cong}} M_{F} \mathop{\otimes}_{A_{F}} A_{F} \mathop{\longrightarrow}^{{\mathrm{id} \mathop{\otimes} \xi^{F}}} M_{F} \mathop{\otimes}_{A_{F}} \Gamma_{\mathcal{N}_{F}}(E_{F}) \cong \Gamma_{\mathcal{N}_{F}} (M_{F} \mathop{\otimes}_{A_{F}} E_{F}) \ ; \]

here $M_{F} \mathop {\otimes }_{A_{F}} E_{F}$ stands for the pointwise tensor product of the module $M_{F}$ with the entries of the diagram $E_{F}$. In other words,  the sequence

(9.2)\begin{align} 0 \longrightarrow M_{F} \longrightarrow \Gamma_{\mathcal{N}_{F}} (M_{F} & \mathop{\otimes}_{A_{F}} E_{F})_{0} \longrightarrow \Gamma_{\mathcal{N}_{F}} (M_{F} \mathop{\otimes}_{A_{F}} E_{F})_{{-}1} \nonumber\\ & \longrightarrow \Gamma_{\mathcal{N}_{F}} (M_{F} \mathop{\otimes}_{A_{F}} E_{F})_{{-}2} \longrightarrow 0 \end{align}

is exact.

For $M$ an arbitrary quasi-coherent diagram, we obtain a natural transformation

(9.3)\begin{equation} \chi \colon M \mathop{\longrightarrow}^{{\cong}} M \mathop{\otimes}_{D(0)} D(0) \longrightarrow M \mathop{\otimes}_{D(0)} E \mathop{\longrightarrow}^{{\cong}} M' \end{equation}

where the target $M'$ is the diagram of chain complexes

\[ M' \colon F \mapsto \Gamma_{\mathcal{N}_{F}} (M_{F} \mathop{\otimes}_{A_{F}} E_{F}),\, \]

$M \mathop {\otimes }_{D(0)} D(0)$ denotes the pointwise tensor product

\[ M \mathop{\otimes}_{D(0)} D(0) \colon F \mapsto M_{F} \mathop{\otimes}_{A_{F}} D(0)^{F} = M_{F} \mathop{\otimes}_{A_{F}} A_{F} \ ,\, \]

and $M \mathop {\otimes }_{D(0)} E$ stands similarly for the pointwise tensor product of the diagrams $M$ and $E$. If moreover $M$ is such that the entry $M_{F}$ is a flat $A_{F}$-module,  the components of $\chi$ are quasi-isomorphisms.

10. From trivial Novikov homology to finite domination

We will now prove the ‘if’ implication of theorem 2.1. So let $R$ be a strongly $\mathbb {Z}^{2}$-graded ring. Suppose that $C$ is a bounded complex of finitely generated free $R$-modules,  and further that the complexes listed in (2.2a)  and (2.2b) are acyclic. In view of the assumed freeness of $C$,  these eight complexes are then actually contractible. They are of the form

\[ C \mathop{\otimes}_{R} A \langle e,\, S \rangle \qquad \text{and} \qquad C \mathop{\otimes}_{R} A \langle v,\, S \rangle \]

where $e$ and $v$ denote an edge and a vertex of $S$,  respectively. As tensor products preserve contractions,  it follows that for all eight maximal flags $\langle v,\, e,\, S \rangle$,  for $v$ a vertex of $S$ and $e$ an edge incident to $v$,  the complex

(10.1)\begin{equation} C \mathop{\otimes}_{R} A \langle v,\, e,\, S \rangle \cong C \mathop{\otimes}_{R} A \langle v,\, S \rangle \mathop{\otimes}_{A \langle v, S \rangle} A \langle v,\, e,\, S \rangle \simeq 0 \end{equation}

is contractible (and hence acyclic) as well.

Extend the complex $C$ to a complex of sheaves $\mathcal {Y} \colon F \mapsto \mathcal {Y}_{F}$,  which can be done by proposition 8.1. In more detail,  this means that we find a complex of sheaves such that $C$ is identified with $\mathcal {Y}^{S}$,  and such that there is a quasi-isomorphism $\lim \mathcal {Y} \longrightarrow \mathrm {Tot} \, \Gamma _{\mathfrak {S}} (\mathcal {Y})$ with $R_{(0,0)}$-finitely dominated source (corollary 8.2).

Let,  for the moment,  $F \neq \emptyset$ denote a fixed face of $S$. We observe that if $F \neq S$, 

(10.2)\begin{equation} \mathcal{Y}_{F} \mathop{\otimes}_{A_{F}} A \langle F,\,S \rangle \cong \mathcal{Y}_{F} \mathop{\otimes}_{A_F} A_{S} \mathop{\otimes}_{A_{S}} A \langle F,\, S \rangle \underset{({{\dagger}})}{\cong} C \mathop{\otimes}_{R} A \langle F,\,S \rangle \simeq 0 \ . \end{equation}

The isomorphism labelled (${\dagger}$) combines two facts: first,  the entries of the complex $\mathcal {Y}$ are quasi-coherent diagrams (proposition 8.1) so that $\mathcal {Y}_{F} \mathop {\otimes }_{A_F} A_{S} \cong \mathcal {Y}^{S}$; second,  by construction of $\mathcal {Y}$ there is an identification of $\mathcal {Y}^{S}$ with $C$.

If $F = v$ is a vertex and $e \supseteq v$ an edge incident to $e$,  we make use of (10.1) to conclude similarly

(10.3)\begin{equation} \mathcal{Y}_{v} \mathop{\otimes}_{A_{v}} A \langle v,\,e,\,S \rangle \cong \mathcal{Y}_{v} \mathop{\otimes}_{A_v} A_{S} \mathop{\otimes}_{A_{S}} A \langle v,\, e,\, S \rangle \cong C \mathop{\otimes}_{R} A \langle v,\, e,\, S \rangle \simeq 0 \ . \end{equation}

For arbitrary $F \neq \emptyset$,  exactness of the sequence (9.2) implies that the double complex

\[ \mathcal{Y}_{F} \longrightarrow \Gamma_{\mathcal{N}_{F}} ( \mathcal{Y}_{F} \mathop{\otimes}_{A_{F}} E_{F}) \]

has exact rows (using the fact that $\mathcal {Y}_{F}$ consists of projective $A_{F}$-modules),  so there results a quasi-isomorphism

\[ \mathrm{Tot}(\chi^{F}) \colon \mathcal{Y}_{F} \longrightarrow \mathrm{Tot} \, \Gamma_{\mathcal{N}_{F}} ( \mathcal{Y}_{F} \mathop{\otimes}_{A_{F}} E_{F}). \]

We will now make use of the fact that some entries of the diagram $\mathcal {Y}_{F} \mathop {\otimes }_{A_{F}} E_{F}$ are known to be acyclic. Let $Z_{F}$ denote the $\mathcal {N}_{F}$-indexed diagram which agrees with $\mathcal {Y}_{F} \mathop {\otimes }_{A_{F}} E_{F}$ on those flags not containing $S$,  and is zero elsewhere. Let $K_{F}$ denote the diagram which takes the value $C$ at $\{S\}$,  and is zero otherwise. The obvious surjective map $\mathcal {Y}_{F} \mathop {\otimes }_{A_{F}} E_{F} \longrightarrow Z_{F} \oplus K_{F}$ is a pointwise quasi-isomorphism,  by (10.2) and (10.3),  and hence induces a quasi-isomorphism

\[ \mathrm{Tot} \, \Gamma_{\mathcal{N}_{F}} ( \mathcal{Y}_{F} \mathop{\otimes}_{A_{F}} E_{F}) \mathop{\longrightarrow}^{{\simeq}} \mathrm{Tot} \, \Gamma_{\mathcal{N}_{F}} (Z_{F} \oplus K_{F}). \]

We compute further that the target of this map is

\[ \mathrm{Tot} \, \Gamma_{\mathcal{N}_{F}} (Z_{F}) \oplus \mathrm{Tot} \Gamma_{\mathcal{N}_{F}} (K_{F}) = \mathrm{Tot} \, \Gamma_{\mathcal{N}_{F}} (Z_{F}) \oplus C. \]

In total, this yields a quasi-isomorphism

\[ \Xi^{F} \colon \mathcal{Y}_{F} \longrightarrow \mathrm{Tot} \, \Gamma_{\mathcal{N}_{F}} (Z_{F}) \oplus C. \]

Allowing $F$ to vary again,  and making use of the naturality of the constructions above,  we see that we obtain a natural quasi-isomorphism of diagrams

\[ \Xi \colon \mathcal{Y} \longrightarrow \mathrm{Tot} \, \Gamma_{\mathcal{N}_{( - )}} (Z_{( - )}) \oplus \mathrm{con}\,(C),\, \]

with the $\mathfrak {S}$-indexed diagram

\[ \Gamma_{\mathcal{N}_{( - )}} (Z_{( - )}) \colon F \mapsto \Gamma_{\mathcal{N}_{F}} (Z_{F}) \]

and the constant diagram

\[ \mathrm{con}\,(C) \colon F \mapsto C \ . \]

It follows that $\mathrm {Tot} \, \Gamma _{\mathfrak {S}} (\mathcal {Y})$,  which is an $R_{(0,0)}$-finitely dominated by corollary 8.2,  is quasi-isomorphic to

\[ \mathrm{Tot} \, \Gamma_{\mathfrak{S}} \big( \mathrm{Tot} \, \Gamma_{\mathcal{N}_{( - )}} (Z_{( - )}) \big) \oplus \mathrm{Tot} \, \Gamma_{\mathfrak{S}} \big( \mathrm{con}\,(C) \big) \ . \]

The second summand is, in turn, quasi-isomorphic to $C$. (In effect, this is true since the nerve of $\mathfrak {S}$ is contractible; for a more explicit argument, observe that the double complex

\[ \Gamma_{\mathfrak{S}} \big( \mathrm{con}\,(C) \big) \longleftarrow C \]

concentrated in columns $-2$,  $-1$,  $0$ and $1$ has acyclic rows so that its totalization is acyclic. But the totalization is, up to isomorphism, the mapping cone of the map $C \longrightarrow \mathrm {Tot} \, \Gamma _{\mathfrak {S}} \big ( \mathrm {con}\,(C) \big )$ which is thus a weak equivalence. See also [Reference Hüttemann and Quinn3, Lemma 4.6.4].)

Thus in the derived category of the ring $R_{(0,0)}$, the complex $C$ is a retract of $\mathrm {Tot} \, \Gamma _{\mathfrak {S}} (\mathcal {Y})$,  and as both complexes are bounded and consist of projective $R_{(0,0)}$-modules, this makes $C$ a retract up to homotopy of $\mathrm {Tot} \, \Gamma _{\mathfrak {S}} (\mathcal {Y})$. As the latter is $R_{(0,0)}$-finitely dominated so is $C$, as was to be shown.

Part III. Finite domination implies triviality of Novikov homology

11. Algebraic tori

Definition 11.1 Let $R = \bigoplus _{\sigma \in \mathbb {Z}^{2}} R_{\sigma }$ be a strongly $\mathbb {Z}^2$-graded unital ring. Given an $R$-module $M$ and an element $\rho \in \mathbb {Z}^2$,  we define the map of right $R$-modules

\[ \chi_\rho \colon M \mathop{\otimes}_{R_{(0,0)}} R \longrightarrow M \mathop{\otimes}_{R_{(0,0)}} R \ ,\, \quad m \mathop{\otimes} r \mapsto \sum_{j} m{u_j}\mathop{\otimes}{v_j}r \ ,\, \]

where $1 = \sum _{j} u_{j} v_{j}$ is any partition of unity of type $(-\rho, \rho )$.

The map $\chi _\rho$ is $R_{(0,0)}$-balanced and independent of the choice of partition of unity as its restriction to $M \mathop {\otimes }_{R_{(0,0)}} R_{\sigma }$ can be re-written as

\[ M \mathop{\otimes}_{R_{(0,0)}} R_{\sigma} \xrightarrow[{\mu_{-\rho, \sigma+\rho}}]{{\cong}} M \mathop{\otimes}_{R_{(0,0)}} R_{-\rho} \mathop{\otimes}_{R_{(0,0)}} R_{\sigma+\rho} \xrightarrow[{\omega}]{} M \mathop{\otimes}_{R_{(0,0)}} R \]

with $\mu _{-\rho, \sigma +\rho }$ the $R_{(0,0)}$-bimodule isomorphism from proposition 4.3,  and with $\omega (m \mathop {\otimes } x \mathop {\otimes } y) = (mx) \mathop {\otimes } y$. In case $M=R$,  the map $\chi _{\rho }$ is an $R$-bimodule homomorphism.

Of course $\chi _{(0,0)} = \mathrm {id}$. As $\chi _{\rho }$ does not depend on the choice of partition of unity,  lemma 4.2 implies:

We can consider

\[ M \mathop{\otimes}_{R_{(0,0)}} R = \bigoplus_{\rho \in \mathbb{Z}^2} M \mathop{\otimes}_{R_{(0,0)}} R_{\rho} \]

as a $\mathbb {Z}^2$-graded $R$-module. With respect to this grading,  we observe:

Let $C$ be a chain complex of $R$-modules. Then $\chi _{\rho }$,  applied in each chain level,  defines a chain map

\[ \chi_{\rho} \colon C \mathop{\otimes}_{R_{(0,0)}} R \longrightarrow C \mathop{\otimes}_{R_{(0,0)}} R. \]

Let $D$ be an additional $R_{(0,0)}$-chain complex,  let $\alpha \colon C \longrightarrow D$ and $\beta \colon D\longrightarrow C$ be $R_{(0,0)}$-linear chain maps,  and let $H\colon \mathrm {id}_C\simeq \beta \alpha$ be a homotopy from $\beta \alpha$ to $\mathrm {id}$ such that $dH+Hd=\beta \alpha -\mathrm {id}_C$. Then the outer square in the diagram $T(\alpha, \beta ; H)$

(writing $f^* = f \mathop {\otimes } \mathrm {id}$,  for any map $f$) is homotopy commutative,  with the diagonal arrow recording a preferred homotopy of the two possible compositions. Note that if $\beta \alpha = \mathrm {id}_C$, we can choose $H=0$ and in this case the outer squares of $T(\alpha, \beta ; 0)$ commute by corollary 11.2.

Definition 11.4 The algebraic torus ${\mathfrak {T}({{{\alpha },{\beta };{H}}})}$ is defined as the totalization of the homotopy commutative diagram $T(\alpha, \beta ; H)$. That is, ${\mathfrak {T}({{{\alpha },{\beta };{H}}})}$ is the complex with chain modules

\begin{align*} & {\mathfrak{T}({{{\alpha},{\beta};{H}}})}_n \\ & \quad=(D_{n-2}\mathop{\otimes}_{R_{(0,0)}} R )\oplus (D_{n-1}\mathop{\otimes}_{R_{(0,0)}} R) \oplus (D_{n-1}\mathop{\otimes}_{R_{(0,0)}} R ) \oplus (D_{n}\mathop{\otimes}_{R_{(0,0)}} R) \end{align*}

and boundary $d_{{\mathfrak {T}({{{\alpha },{\beta };{H}}})}}$ given by the following matrix:

\[ \begin{pmatrix} d^* & 0 & 0 & 0 \\ \mathrm{id}^*-\alpha^*\chi_{e_1}\beta^* & -d^* & 0 & 0 \\ \mathrm{id}^*-\alpha^*\chi_{e_2}\beta^* & 0 & -d^* & 0 \\ \alpha^*(\chi_{e_1}H^*\chi_{e_2} - \chi_{e_2}H^*\chi_{e_1})\beta^* & \mathrm{id}^*-\alpha^*\chi_{e_2}\beta^* & -\mathrm{id}^*+\alpha^*\chi_{e_1}\beta^* & d^* \\ \end{pmatrix} \]

12. Canonical resolutions

Let $C$ be a chain complex of $R$-modules. The commutative diagram

gives rise, via totalization, to the algebraic torus ${\mathfrak {T}({{{\mathrm {id}_{C}},{\mathrm {id}_{C}};{0}}})}$. The $R$-module structure map $\gamma \colon (x,r) \mapsto xr$ induces a map of $R$-module chain complexes

\[ \kappa \colon {\mathfrak{T}({{{\mathrm{id}_{C}},{\mathrm{id}_{C}};{0}}})} \longrightarrow C \ . \]

In preparation of the proof,  we note that ${\mathfrak {T}({{{\mathrm {id}_{C}},{\mathrm {id}_{C}};{0}}})}$ can be described as the totalization (in the usual sense) of a double complex of the form

(12.1)\begin{equation} C \mathop{\otimes}_{R_{(0,0)}} R \longrightarrow \Big( C \mathop{\otimes}_{R_{(0,0)}} R \Big)^2 \longrightarrow C \mathop{\otimes}_{R_{(0,0)}} R \ . \end{equation}

The $R$-module structure map $\gamma \colon (x,r) \mapsto xr$ of $C$ can be used to augment this to the $R$-module double complex

(12.2)\begin{equation} 0 \xrightarrow{} C \mathop{\otimes}_{R_{(0,0)}} R \xrightarrow{} \Big( C \mathop{\otimes}_{R_{(0,0)}} R \Big)^2 \xrightarrow{} C \mathop{\otimes}_{R_{(0,0)}} R \xrightarrow{\gamma} C \xrightarrow{} 0 \ . \end{equation}

We will consider a single row of this double complex,  that is,  a sequence of the form

(12.3)\begin{equation} 0 \longrightarrow M \mathop{\otimes}_{R_{(0,0)}} R \mathop{\longrightarrow}^{{\alpha}} \Big( M \mathop{\otimes}_{R_{(0,0)}} R \Big)^2 \mathop{\longrightarrow}^{{\beta}} M \mathop{\otimes}_{R_{(0,0)}} R \mathop{\longrightarrow}^{{\gamma}} M \longrightarrow 0 \end{equation}

where $M$ is a right $R$-module. Here the maps $\alpha$ and $\beta$ are given by the matrices

\[ \alpha = \begin{pmatrix} \mathrm{id} - \chi_{e_1} \\ \mathrm{id} - \chi_{e_2} \end{pmatrix} \quad \text{and} \quad \beta = \begin{pmatrix} \mathrm{id} - \chi_{e_2} & -(\mathrm{id} - \chi_{e_1}) \end{pmatrix} \ . \]

Proof. We allow $M$ to be an arbitrary $R_{(0,0)}$-module initially. We have the direct sum decomposition $M \mathop {\otimes }_{R_{(0,0)}} R = \bigoplus _{(i,j)} M \mathop {\otimes }_{R_{(0,0)}} R_{(i,j)}$; in fact,  $M \mathop {\otimes }_{R_{(0,0)}} R$ is a $\mathbb {Z}^2$-graded $R$-module in this way. Any element $z \in M \mathop {\otimes }_{R_{(0,0)}} R$ can be expressed uniquely in the form

\[ z=\sum_{i,j \in \mathbb{Z}} m_{i,j} \quad \text{where } m_{i,j} \in M \mathop{\otimes}_{R_{(0,0)}} R_{(i,j)} \ ,\, \]

such that $m_{i,j} = 0$ for almost all pairs $(i,j)$. We say that $z$ has $x$-amplitude in the interval $[a,b]$ if $m_{i,j} =0$ for $i \notin [a,b]$. The support of $z$ is the (finite) set of all pairs $(i,j)$ with $m_{i,j} \neq 0$.

After these initial comments,  we proceed to verify exactness of the sequence. We remark first that $\gamma$ is surjective since $\gamma (p \otimes 1)=p$. As a matter of fact,  $\sigma (p) = p \otimes 1$ defines an $R_{(0,0)}$-linear section $\sigma$ of $\gamma$.

Next,  we show that $\alpha$ is injective. Let $z=\sum _{i,j \in \mathbb {Z}} m_{i,j}$ be an element of $\ker (\alpha )$. Since $\chi _{e_2}(m_{i,j}) \in M \mathop {\otimes }_{R_{(0,0)}} R_{(i,j+1)}$,  the equality

\[ \alpha(z)= \begin{pmatrix} \displaystyle\sum_{i,j \in \mathbb{Z}} \big(m_{i,j} - \chi_{e_1}(m_{i,j}) \big) \\ \displaystyle\sum_{i,j \in \mathbb{Z}} \big(m_{i,j} - \chi_{e_2}(m_{i,j}) \big) \end{pmatrix} = 0 \]

implies,  by considering the homogeneous component of degree $(i,j)$ of the second entry,  that $m_{i,j} - \chi _{e_2} (m_{i,j-1}) = 0$. If $z \neq 0$, there exists $(i,j)$ in the support of $z$ such that $m_{i,j-1} = 0$. For these indices, we have $m_{i,j} = \chi _{e_2} (m_{i,j-1}) = \chi _{e_2}(0) = 0$,  a contradiction. This enforces $z=0$ whence $\alpha$ is injective.

To show that $\mathrm {im}\,\alpha = \ker \beta$, we will take an element $(z_1,z_2)$ of $\ker \beta$ and show that it can be reduced to $0$ by subtracting a sequence of elements of $\mathrm {im}\,\alpha \subseteq \ker \beta$. This clearly implies that $(z_1,z_2) \in \mathrm {im}\,\alpha$ as required.

So let $(z_1,z_2) \in \ker \beta$,  where

\[ z_1 = \sum_{i,j \in \mathbb{Z}} m_{i,j} \quad \text{and} \quad z_2 = \sum_{i,j \in \mathbb{Z}} n_{i,j} \ ,\, \quad \text{with } m_{i,j},\, n_{i,j} \in M \mathop{\otimes}_{R_{(0,0)}} R_{(i,j)}. \]

Choose integers $a$,  $b$ and $k$ such that $z_1$ has $x$-amplitude in $[a,k]$ and $z_2$ has $x$-amplitude in $[a,b]$. If $k > a$, we define

\[ u = \sum_{j \in \mathbb{Z}} \chi_{{-}e_1} (m_{k,j}) \in M \mathop{\otimes}_{R_{(0,0)}} R \ ,\, \ \ \text{with } \chi_{{-}e_1} (m_{k,j}) \in M \mathop{\otimes}_{R_{(0,0)}} R_{(k-1,j)},\, \]

and set $(z_1',z_2') = (z_1,z_2) - \alpha (u)$. The $(k,j)$-homogeneous component of $z_1'$ vanishes by construction of $u$ and corollary 11.2,  so that $z_1'$ has $x$-amplitude in $[a,k-1]$ while the $x$-amplitude of $z_2$ remains in $[a,b]$. The element $(z_1',z_2')$ will be in $\mathrm {im}\,\alpha$ if and only if $(z_1,z_2) \in \mathrm {im}\,\alpha$.

By iteration,  we may thus assume that our initial pair $(z_1,z_2)$ is such that the $x$-amplitude of $z_1$ is in $\{a\} = [a,a]$. This actually necessitates $z_2=0$. To see this,  assume $z_2 \neq 0$. We can then choose $(i,j)$ in the support of $z_2$ (so that in particular $i \geq a$) such that $(i+1,j)$ is not in the support of $z_2$,  i.e.,  such that $n_{i+1,j} = 0$. Since $\beta (z_1,z_2) = 0$ we have,  by considering the homogeneous component of degree $(i+1,j)$,  the equality

\[ m_{i+1,j} - \chi_{e_2} (m_{i+1, j-1}) - n_{i+1, j} + \chi_{e_1} (n_{i,j}) = 0 \ . \]

But the first three terms vanish,  by choice of $i$ and our hypothesis on $z_1$,  so that $\chi _{e_1} (n_{i,j}) = 0$ whence $n_{i,j} = 0$,  contradicting the choice of $i$.

Thus, $z_2=0$. This in turn implies that $\beta (z_1,0) = 0$ so that $m_{a,\ell } - \chi _{e_2} (m_{a,\ell -1}) \!=\! 0$ for any $\ell$. If $z_1$ is non-zero,  we let $\ell$ be minimal with $m_{a, \ell } \neq 0$. Then $m_{a,\ell } = \chi _{e_2}(m_{a, \ell -1}) = \chi _{e_2}(0) = 0$,  a contradiction. We conclude that $(z_1,z_2) = 0 \in \mathrm {im}\,\alpha$ as required.

To show $\mathrm {im}\,\beta = \ker \gamma$, it is enough to produce an $R_{(0,0)}$-linear map

\[ \varphi \colon M \mathop{\otimes}_{R_{(0,0)}} R \longrightarrow \Big( M \mathop{\otimes}_{R_{(0,0)}} R \Big)^2 \]

such that $\beta \varphi + \sigma \gamma = \mathrm {id}$,  where $\sigma$ is the section of $\gamma$ given by $\sigma (p) = p \mathop {\otimes } 1$. It is enough to define $\varphi$ on homogeneous primitive tensors $x = m \mathop {\otimes } r$ with $r \in R_{\rho }$,  for the various $\rho \in \mathbb {Z}^2$.

• • If $a,b \geq 0$:

  \[ \varphi(x) = \Big( - \sum_{k=1}^{b} \chi_{(0,-k)} (x) \qquad \sum_{\ell=1}^{a} \chi_{(-\ell, -b)} (x) \Big) \]

• • If $a,b < 0$:

  \[ \varphi(x) = \Big( \sum_{k=0}^{|b|-1} \chi_{(0,k)} (x) \qquad - \sum_{\ell=0}^{|a|-1} \chi_{(\ell, |b|)} (x) \Big) \]

• • If $a< 0$ and $b \geq 0$:

  \[ \varphi(x) = \Big( - \sum_{k=1}^{b} \chi_{(0,-k)} (x) \qquad - \sum_{\ell=0}^{|a|-1} \chi_{(\ell, |b|)} (x) \Big) \]

• • If $a \geq 0$ and $b < 0$:

  \[ \varphi(x) = \Big( \sum_{k=0}^{|b|-1} \chi_{(0,k)} (x) \qquad \sum_{\ell=1}^{a} \chi_{(-\ell, -b)} (x) \Big) \]

In view of corollary 11.2,  computing $\beta \varphi (m \mathop {\otimes } r)$,  for $r \in R$ a homogeneous element of degree $\rho$,  results in a telescoping sum simplifying to $m \mathop {\otimes } r - \chi _{-\rho } (m \mathop {\otimes } r)$. But $\chi _{-\rho } (m \mathop {\otimes } r) = mr \mathop {\otimes } 1$ by lemma 11.3 whence $\chi _{-\rho } (m \mathop {\otimes } r) = \sigma \gamma (m \mathop {\otimes } r)$ so $\beta \varphi + \sigma \gamma = \mathrm {id}$ as required.

13. The Mather trick

Let $C$ be a chain complex of $R$-modules,  and let $D$ be a chain complex of $R_{(0,0)}$-modules. Suppose we have $R_{(0,0)}$-linear chain maps $\alpha \colon C \longrightarrow D$ and $\beta \colon D \longrightarrow C$ and a chain homotopy $H \colon \mathrm {id}_C \simeq \beta \alpha$ such that $dH+Hd=\beta \alpha -\mathrm {id}_C$. A calculation shows:

Lemma 13.1 The matrix

\begin{align*} \begin{pmatrix} \alpha^* & 0 & 0 & 0 \\ - \alpha^* \mu_1 H^*& \alpha^* & 0 & 0 \\ - \alpha^* \mu_2 H^*& 0 & \alpha^* & 0 \\ K& \alpha^* \mu_2 H^*& - \alpha^* \mu_1 H^* & \alpha^* \end{pmatrix} \ ,\, \end{align*}

where we abbreviate

\[ K = \alpha^*(\mu_1 H^*\mu_2 - \mu_2 H^* \mu_1) H^*\colon C_n\mathop{\otimes} R\longrightarrow D_{n+2} \mathop{\otimes} R \ ,\, \]

defines a chain map of algebraic tori

\[ \lambda \colon {\mathfrak{T}({{{\mathrm{id}_C},{\mathrm{id}_C};{0}}})} \longrightarrow\ {\mathfrak{T}({{{\alpha},{\beta};{H}}})} \ . {square} \]

Theorem 13.2 Mather trick

If the map $\alpha$ is a quasi-isomorphism, then $C$ is quasi-isomorphic to ${\mathfrak {T}({{{\alpha },{\beta };{H}}})}$. More precisely, the maps

\[ C \xleftarrow{\kappa}\ {\mathfrak{T}({{{\mathrm{id}_C},{\mathrm{id}_C};{0}}})} \xrightarrow{\lambda}\ {\mathfrak{T}({{{\alpha},{\beta};{H}}})} \]

are quasi-isomorphism.

14. Novikov homology

Let $K$ be a $\mathbb {Z}^2$-graded $R$-module,  with $R$ a $\mathbb {Z}^2$-graded ring as usual. In analogy to (2.1),  we can define

\[ K_{*}[x,\,x^{{-}1}] (\kern -1.7pt ( {y})\kern-1.7pt ) = \bigcup_{n \geq 0} \prod_{y \geq{-}n} \bigoplus_{x \in \mathbb{Z}} K_{(x,y)} \ ,\, \]

which is an $R_*[x,x^{-1}](\kern -1.7pt ( {y})\kern -1.7pt )$-module in a natural way; similarly,  we can define

\[ K_{*}(\kern -1.7pt ( {x,\,y})\kern-1.7pt ) = \bigcup_{n \geq 0} \prod_{x,y \geq{-}n} K_{(x,y)} \ ,\, \]

which is an $R_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$-module in a natural way; and so on.

For $R$-modules of the form $K = M \mathop {\otimes }_{R_{(0,0)}} R$,  with $M$ an $R_{(0,0)}$-module,  these constructions are close to the usual induction functors; for example:

Proposition 14.1 Let $M$ be a right $R_{(0,0)}$-module. There is a natural map

\begin{align*} \Psi_M \colon M \mathop{\otimes}_{R_{(0,0)}} R_* (\kern -1.7pt ( {x,\,y})\kern-1.7pt ) \longrightarrow & (M \mathop{\otimes}_{R_{(0,0)}} R)_* (\kern -1.7pt ( {x,\,y})\kern-1.7pt ) \ ,\, \\ & \quad m \mathop{\otimes} \sum_{x, y} r_{x, y} \mapsto \sum_{x, y} m\mathop{\otimes} r_{x, y} \end{align*}

which is an isomorphism if $M$ is finitely presented.

From now on,  assume that $C$ is a bounded below complex of finitely generated projective $R$-modules which is $R_{(0,0)}$-finitely dominated. Thus, we choose,  once and for all,  a bounded complex of finitely generated projective $R_{(0,0)}$-modules $D$ and mutually inverse chain homotopy equivalences $\alpha \colon C \longrightarrow D$ and $\beta \colon D \longrightarrow C$,  and a chain homotopy $H \colon \mathrm {id}_C \simeq \beta \alpha$ so that $dH+Hd = \beta \alpha - \mathrm {id}_C$.

The Mather trick 13.2 guarantees that $C$ and ${\mathfrak {T}({{{\alpha },{\beta };{H}}})}$ are quasi-isomorphic; as both $R$-module complexes are bounded below and consist of projective $R$-modules,  they are in fact chain homotopy equivalent.

Proof. By the previous remarks,  it is enough to show that the chain complex ${\mathfrak {T}({{{\alpha },{\beta };{H}}})} \mathop {\otimes }_{R} R_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$ is acyclic. Recall that ${\mathfrak {T}({{{\alpha },{\beta };{H}}})}$ is obtained from the diagram $T (\alpha, \beta, H)$ by a totalization process,  which commutes with induction. Thus, we can realize ${\mathfrak {T}({{{\alpha },{\beta };{H}}})} \mathop {\otimes }_{R} R_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$ by totalizing the following diagram:

(We have used implicitly that the two functors $\,\textrm {-} \, \mathop {\otimes }_{R_{(0,0)}} R_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$ and $\,\textrm {-} \, \mathop {\otimes }_{R_{(0,0)}} R \mathop {\otimes }_{R} R_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$ are naturally isomorphic.) By lemma

14.1

,  we can re-write this further as the totalization of the diagram

(14.1)

with maps suitably interpreted. To wit,  an element $z$ of $D_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$ (in some fixed chain level) has the form $z = \sum _{x,y \geq a} z_{x,y}$ for some $a \in \mathbb {Z}$ and certain $z_{x,y} \in D \mathop {\otimes }_{R_{(0,0)}} R_{x,y}$,  and

\[ (\mathrm{id}^*-\alpha^*\chi_{e_1}\beta^*) (z) = \sum_{x,y \geq a} z_{x,y} - \alpha^{*} \chi_{e_1} \beta^{*} (z_{x-1, y}) \ ,\, \]

see lemma 11.3; similar formulæ can be written out for the other maps.

The point is that the self-map $\mathrm {id}^*-\alpha ^*\chi _{e_1}\beta ^*$ of $D_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$ is an isomorphism with inverse given by the ‘geometric series’

\begin{align*} P(z) & = \sum_{k \geq 0} \big( \alpha^* \chi_{e_1} \beta^* \big)^{k} (z) \\ & = z + \alpha^* \chi_{e_1} \beta^* (z) + \alpha^* \chi_{e_1} \beta^* \alpha^* \chi_{e_1} \beta^* (z) + \ldots. \end{align*}

This follows immediately from the usual telescoping sum argument,  once it is understood that the series actually defines a well-defined self-map of $D_*(\kern -1.7pt ( {x,y})\kern -1.7pt )$. But this is the case because $\alpha ^* \chi _{e_1} \beta ^*$ maps an element of degree $(x,y)$ to an element of degree $(x+1,y)$.

It is now a matter of computation to verify that the matrix

(14.2)\begin{equation} p = \begin{pmatrix} 0 & P & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -P \\ 0 & 0 & 0 & 0 \\ \end{pmatrix} \end{equation}

almost defines a contraction of the totalization of (14.1),  in the sense that $dp + pd$ is an automorphism $q$ (in each chain level)—in fact,  $q$ is given by a triagonal matrix with identity diagonal entries—where $d$ denotes the boundary map of the totalization. It follows that $q^{-1} p$ is a chain contraction as required.

Proof. This is shown just like the previous lemma. It is enough to demonstrate that the chain complex ${\mathfrak {T}({{{\alpha },{\beta };{H}}})} \mathop {\otimes }_{R} R_*[y,y^{-1}](\kern -1.7pt ( {x})\kern -1.7pt )$ is acyclic; this complex can be written,  using a variant of lemma 14.1,  as the totalization of the following diagram:

(14.3)

The self-map $\mathrm {id}^*-\alpha ^*\chi _{e_1}\beta ^*$ of $D_*[y,y^{-1}](\kern -1.7pt ( {x})\kern -1.7pt )$ is an isomorphism with inverse $P(z) = \sum _{k \geq 0} \big ( \alpha ^* \chi _{e_1} \beta ^* \big )^{k} (z)$; the matrix $p$ from (14.2) is such that $dp + pd$ is an automorphism $q$ (in each chain level),  where $d$ denotes the boundary map of the totalization. Consequently,  $q^{-1} p$ is a chain contraction.