# What is the determinant of a complex of vector spaces？

I first met the notion of determinants of complexes of vector spaces in the book “Discriminants, Resultants, and Multidimensional Determinants“, but I just cannot understand the definition in that book. Could anyone explain it clearly or give some good references?

The appendix A of the book that you mention is probably the best reference for determinants!

• If $V$ is a $k$-vector space of dimension $d$, then its determinant is the one-dimensional vector space

If $V = 0$, we set

• If $V^\bullet$ is a complex of finite dimensional vector spaces such that $V^i = 0$ for almost all $i$ (all but finitely many $i$), then one defines

Here tensor products are over $k$, and the sign $-1$ denotes taking the dual vector space: $V^{-1} \stackrel{def}{=} V^\vee$.

• In the above situation, one can show that

where $H^i (V^\bullet)$ denote the cohomology spaces.

• In general, if $V^\bullet$ is a complex that has finite dimensional cohomology spaces, and $H^i (V^\bullet) = 0$ for almost all $i$, then we may use the right hand side (*) as the definition:

It is worth noting that the whole point of $\det$ is that it is functorial. Namely, $V^\bullet \xrightarrow{\cong} W^\bullet$ induces an isomorphism of one-dimensional vector spaces $\det (V^\bullet) \xrightarrow{\cong} \det (W^\bullet)$.

Here’s one helpful analogy. Note that the formula (*) reminds the formula for the Euler characteristic

and the proof of (*) actually goes along the same lines: it is based on the fact that if we have a short exact sequence of finite dimensional vector spaces

then there is a canonical isomorphism

(this is analogous to the formula $\dim V = \dim V' + \dim V''$.)