883f48784cd7498e.tex
1: \begin{definition}
2:   Recall that there is an essentially unique \emph{determinant\/} functor
3:   $$\det:\Perf(\Xscr)\to\Pic(\Xscr)$$
4:   that associates to each perfect complex of $\Xscr$-twisted sheaves
5:   an invertible sheaf. Given a perfect complex $F\in\Perf(\Xscr)$ and
6:   an fppf cover $Y\to\Xscr$ over which $F\we C^\bullet$, a finite
7:   complex of locally free sheaves, the determinant is computed
8:   as $$\det(F)=\bigotimes_{n\in\ZZ}\det(C^n)^{(-1)^n}.$$ (See
9:   \cite{MR0437541}*{Theorem~2},
10:   \cite{lieblich-moduli}*{Definition~2.2.4.1}.)
11: \end{definition}
12: