Lemma 15.122.1. Let $R$ be a ring. Let $a^\bullet : K^\bullet \to L^\bullet $ be a map of complexes of $R$-modules satisfying (1), (2), (3) above. If $L^\bullet $ has rank $0$, then $\det (a^\bullet )$ maps the canonical element $\delta (K^\bullet )$ to $\delta (L^\bullet )$.

## 15.122 Determinants of complexes

In Section 15.119 we have seen how to a perfect complex $K$ over a ring $R$ there is associated an isomorphism class of invertible $R$-modules, i.e., an element of $\mathop{\mathrm{Pic}}\nolimits (R)$. In fact, analogously to Section 15.118 it turns out there is a functor

Moreover, given an object $(L, F)$ of the filtered derived category $DF(R)$ of $R$ whose filtration is finite and whose graded parts are perfect complexes, there is a canonical isomorphism $\det (\text{gr}L) \to \det (L)$. See [determinant] for the original exposition. We will add this material later (insert future reference).

For the moment we will present an ad hoc construction in the case of perfect objects $L$ in $D(R)$ of tor-amplitude in $[-1, 0]$. Such an object may be represented by a complex

with $L^{-1}$ and $L^0$ finite projective $R$-modules, see Lemma 15.74.2. In this case we set

Let us say a complex of this form has *rank $0$* if $L^{-1}_\mathfrak p$ and $L^0_\mathfrak p$ have the same rank for all primes of $R$. If $L^\bullet $ has rank $0$, then we have seen in Section 15.118 that there is a canonical element

which is simply the determininant of $d : L^{-1} \to L^0$. Note that $\delta (L^\bullet )$ is a trivialization of $\det (L^\bullet )$ if and only if $L^\bullet $ is acyclic.

Consider a map of complexes $a^\bullet : K^\bullet \to L^\bullet $ such that

$a^\bullet $ is a quasi-isomorphism,

$a^ n : K^ n \to L^ n$ is surjective for all $n$,

$K^ n$, $L^ n$ are finite projective $R$-modules, nonzero only for $n \in \{ -1, 0\} $.

In this situation we will construct an isomorphism

Using the exact sequences $0 \to \mathop{\mathrm{Ker}}(a^ i) \to K^ i \to L^ i \to 0$ we obtain isomorphisms

for $i = -1, 0$ by Lemma 15.118.2. Since $a^\bullet $ is a quasi-isomorphism the complex $\mathop{\mathrm{Ker}}(a^\bullet )$ is acyclic and has rank $0$. Hence the canonical element $\delta (\mathop{\mathrm{Ker}}(a^\bullet ))$ is a trivialization of the invertible $R$-module $\det (\mathop{\mathrm{Ker}}(a^\bullet ))$, see above. We define $\det (a^\bullet ) : \det (K^\bullet ) \to \det (L^\bullet )$ as the unique isomorphism such that the diagram

commutes.

**Proof.**
Write $M^ i = \mathop{\mathrm{Ker}}(a^ i)$. Thus we have a map of short exact sequences

By Lemma 15.118.3 we know that $\det (d_ K)$ corresponds to $\det (d_ M) \otimes \det (d_ L)$ as maps. Unwinding the definitions this gives the required equality. $\square$

Lemma 15.122.2. Let $R$ be a ring. Let $a^\bullet : K^\bullet \to L^\bullet $ be a map of complexes of $R$-modules satisfying (1), (2), (3) above. Let $h : K^0 \to L^{-1}$ be a map such that $b^0 = a^0 + d \circ h$ and $b^{-1} = a^{-1} + h \circ d$ are surjective. Then $\det (a^\bullet ) = \det (b^\bullet )$ as maps $\det (K^\bullet ) \to \det (L^\bullet )$.

**Proof.**
Suppose there exists a map $\tilde h : K^0 \to K^{-1}$ such that $h = a^{-1} \circ \tilde h$ and such that $k^0 = \text{id} + d \circ \tilde h : K^0 \to K^0$ and $k^1 = \text{id} + \tilde h \circ d : K^{-1} \to K^{-1}$ are isomorphisms. Then we obtain a commutative diagram

of complexes, where $c^\bullet $ is the induced isomorphism of kernels. Using Lemma 15.118.3 we see that

commutes. Since $\det (c^\bullet )$ maps the canonical trivialization of $\det (\mathop{\mathrm{Ker}}(a^\bullet ))$ to the canonical trivializatio of $\mathop{\mathrm{Ker}}(b^\bullet )$ (Lemma 15.122.1) we see that we conclude if (and only if)

as elements of $R$ which follows from Lemma 15.118.6.

Suppose there exists a direct summand $U \subset K^{-1}$ such that both $a^{-1}|_ U : U \to L^{-1}$ and $b^{-1}|_ U : U \to L^{-1}$ are isomorphisms. Define $\tilde h$ as the composition of $h$ with the inverse of $a^{-1}|_ U$. We claim that $\tilde h$ is a map as in the first paragraph of the proof. Namely, we have $h = a^{-1} \circ \tilde h$ by construction. To show that $k^{-1} : K^{-1} \to K^{-1}$ is an isomorphism it suffices to show that it is surjective (Algebra, Lemma 10.16.4). Let $u \in U$. We may choose $u' \in U$ such that $b^{-1}(u') = a^{-1}(u)$. Then $u = k^{-1}(u')$. Namely, both $u$ and $k^{-1}(u')$ are in $U$ and $a^{-1}(u) = a^{-1}(k^{-1}(u'))$ by a calculation^{1} Since $a^{-1}|_ U$ is an isomorphism we get the equality. Thus $U \subset \mathop{\mathrm{Im}}(k^{-1})$. On the other hand, if $x \in \mathop{\mathrm{Ker}}(a^{-1})$ then $x = k^{-1}(x) \bmod U$. Since $K^{-1} = \mathop{\mathrm{Ker}}(a^{-1}) + U$ we conclude $k^{-1}$ is surjective. Finally, we show that $k^0 : K^0 \to K^0$ is surjective. First, since $a^0 \circ k^0 = b^0$ we see that $a^0 \circ k^0$ is surjective. If $x \in \mathop{\mathrm{Ker}}(a^0)$, then $x = d(y)$ for some $y \in \mathop{\mathrm{Ker}}(a^{-1})$. We may write $y = k^{-1}(z)$ for some $z \in K^{-1}$ by the above. Then $x = k^0(d(z))$ and we conclude.

Final step of the proof. It suffices to find $U$ as in the preceding paragraph, but this may not always be possible. However, in order to show equality of two maps of $R$-modules, it suffices to do so after localization at primes of $R$. Hence we may assume $R$ is local. Then we get the following problem: suppose

are two surjective $R$-linear maps. Find a direct summand $U \subset R^{\oplus n}$ such that both $\alpha |_ U$ and $\beta |_ U$ are isomorphisms. If $R$ is a field, this is possible by linear algebra. In general, one takes a solution over the residue field and lifts this to a solution over the local ring $R$. Some details omitted. $\square$

Lemma 15.122.3. Let $R$ be a ring. Let $a^\bullet : K^\bullet \to L^\bullet $ and $b^\bullet : L^\bullet \to M^\bullet $ be maps of complexes of $R$-modules satisfying (1), (2), (3) above. Then we have $\det (b^\bullet ) \circ \det (a^\bullet ) = \det (b^\bullet \circ a^\bullet )$ as maps $\det (M^\bullet ) \to \det (K^\bullet )$.

**Proof.**
Omitted. Hints: Straightforward from Lemmas 15.118.2, 15.118.3, and 15.118.4.
$\square$

Lemma 15.122.4. Let $R$ be a ring. The constructions above determine a functor

Moreover, given a rank $0$ perfect object $L$ of $D(R)$ with tor-amplitude in $[-1, 0]$ there is a canonical element $\delta (L) \in \det (L)$ such that for any isomorphism $a : L \to K$ in $D(R)$ we have $\det (a)(\delta (L)) = \delta (K)$.

**Proof.**
By Lemma 15.74.2 every object of the source category may be represented by a complex

with $L^{-1}$ and $L^0$ finite projective $R$-modules. Let us temporarily call a complex of this type good. By Derived Categories, Lemma 13.19.8 morphisms between good complexes in the derived category are homotopy classes of maps of complexes. Thus we may work with good complexes and we can use the determinant $\det (L^\bullet ) = \det (L^0) \otimes \det (L^{-1})^{\otimes -1}$ we investigated above.

Let $a^\bullet : L^\bullet \to K^\bullet $ be a morphism of good complexes which is an isomorphism in $D(R)$, i.e., a quasi-isomorphism. We say that

is a good diagram if it commutes up to homotopy and $b^\bullet $ and $c^\bullet $ satisfy conditions (1), (2), (3) above. Whenever we have such a diagram it makes sense to define

where $\det (c^\bullet )$ and $\det (b^\bullet )$ are the isomorphisms constructed in the text above. We will show that good diagrams always exist and that the resulting map $\det (a^\bullet )$ is independent of the choice of good diagram.

Existence of good diagrams for a quasi-isomorphism $a^\bullet : L^\bullet \to K^\bullet $ of good complexes. Choose a surjection $p : R^{\oplus n} \to K^{-1}$. Then we can consider the new good complex

with the projection map $b^\bullet : M^\bullet \to L^\bullet $ and the map $c^\bullet : M^\bullet \to K^\bullet $ using $a^{-1} \oplus p$ in degree $-1$ and using $a^0 \oplus d \circ p$ in degree $0$. The maps $b^\bullet : M^\bullet \to L^\bullet $ and $c^\bullet : M^\bullet \to K^\bullet $ satisfy conditions (1), (2), (3) above and we get a good diagram.

Suppose that we have a good diagram

Then by Lemma 15.122.2 we see that $\det (c^\bullet ) = \det (b^\bullet )$. Thus we see that $\det (\text{id}^\bullet ) = \text{id}$ is independent of the choice of good diagram.

Before we prove independence in general, we think about composition. Suppose we have quasi-isomorphisms $L_1^\bullet \to L_2^\bullet $ and $L_2^\bullet \to L_3^\bullet $ of good complexes and good diagrams

We can extend this to a diagram

where $M_{123}^\bullet \to M_{12}^\bullet $ and $M_{123}^\bullet \to M_{23}^\bullet $ have properties (1), (2), (3) and the square in the diagram commutes: we can just take $M_{123}^ n = M_{12}^ n \times _{L_2^ n} M_{23}^ n$. Then Lemma 15.122.3 shows that

commutes. A diagram chase shows that the composition $\det (L_1^\bullet ) \to \det (L_2^\bullet ) \to \det (L_3^\bullet )$ of the maps associated to the two good diagrams using $M_{12}^\bullet $ and $M_{23}^\bullet $ is equal to the map associated to the good diagram

Thus if we can show that these maps are independent of choices, then the composition law is satisfied too and we obtain our functor.

Independence. Let a quasi-isomorphism $a^\bullet : L^\bullet \to K^\bullet $ of good complexes be given. Choose an inverse quasi-isomorphism $b^\bullet : K^\bullet \to L^\bullet $. Setting $L_1^\bullet = L$, $L_2^\bullet = K^\bullet $ and $L_3^\bullet = L^\bullet $ may fix our choice of good diagram for $b^\bullet $ and consider varying good diagrams for $a^\bullet $. Then the result of the previous paragraphs is that no matter what choices, the composition always equals the identity map on $\det (L^\bullet )$. This clearly proves indepence of those choices.

The statement on canonical elements follows immediately from Lemma 15.122.1 and our construction. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #5958 by Tuomas Tajakka on

Comment #6140 by Johan on