The Stacks project

Lemma 36.39.1. Let $X$ be a scheme. There is a functor

\[ \det : \left\{ \begin{matrix} \text{category of perfect complexes} \\ \text{with tor amplitude in }[-1, 0] \\ \text{morphisms are isomorphisms} \end{matrix} \right\} \longrightarrow \left\{ \begin{matrix} \text{category of invertible modules} \\ \text{morphisms are isomorphisms} \end{matrix} \right\} \]

In addition, given a rank $0$ perfect object $L$ of $D(\mathcal{O}_ X)$ with tor-amplitude in $[-1, 0]$ there is a canonical element $\delta (L) \in \Gamma (X, \det (L))$ such that for any isomorphism $a : L \to K$ in $D(\mathcal{O}_ X)$ we have $\det (a)(\delta (L)) = \delta (K)$. Moreover, the construction is affine locally given by the construction of More on Algebra, Section 15.122.

Proof. Let $L$ be an object of the left hand side. If $\mathop{\mathrm{Spec}}(A) = U \subset X$ is an affine open, then $L|_ U$ corresponds to a perfect complex $L^\bullet $ of $A$-modules with tor-amplitude in $[-1, 0]$, see Lemmas 36.3.5, 36.10.4, and 36.10.7. Then we can consider the invertible $A$-module $\det (L^\bullet )$ constructed in More on Algebra, Lemma 15.122.4. If $\mathop{\mathrm{Spec}}(B) = V \subset U$ is another affine open contained in $U$, then $\det (L^\bullet ) \otimes _ A B = \det (L^\bullet \otimes _ A B)$ and hence this construction is compatible with restriction mappings (see Lemma 36.3.8 and note $A \to B$ is flat). Thus we can glue these invertible modules to obtain an invertible module $\det (L)$ on $X$. The functoriality and canonical sections are constructed in exactly the same manner. Details omitted. $\square$

Comments (0)

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FJX. Beware of the difference between the letter 'O' and the digit '0'.