Welcome to MathOverflow

Question

5

1

On a smooth algebraic variety X, every coherent sheaf F has a finite resolution by locally free sheaves. Using such resolution, we can define the determinant of F, det F, which is a line bundle on X.

My question is :

why if the support of F is of codimension greater or equal to 2 is the determinant of F trivial ?

It is mentionned without proof on the book "The geometry of moduli spaces of sheaves", D. Huybrechts, M. Lehn. I have verified this result on some explicit examples for which I know some explicit locally free resolutions but I don't see how to do the general case.

flag	asked Aug 7 at 17:19 unknown (google) 754●8

5

The best reference for these kinds of questions is the following article. MR0437541 (55 #10465) Reviewed Knudsen, Finn Faye; Mumford, David The projectivity of the moduli space of stable curves. I. Preliminaries on "det'' and "Div''. Math. Scand. 39 (1976), no. 1, 19–55. 14H10 (14F05 14C05) – Jason Starr Aug 7 at 19:22

Will Sawin · Accepted Answer · 2012-08-07 19:45:15Z UTC

13

Outside the support of $F$, the resolution is an exact sequence, so the alternating tensor product of the determinants is trivial. On a smooth scheme, a line bundle trivial outside a codimension $2$ subset is trivial.

answered Aug 7 at 19:45

Will Sawin
18.7k●1●24●48

Youloush · Answer 2 · 2012-08-07 18:19:35Z UTC

0

Just an idea, using the first Chern class which should live in the cohomology with support in Supp($F$), you should then get that $c_1(F) = 0$ which makes $F$ trivial since it's a line bundle (perhaps modulo linear equivalence).

answered Aug 7 at 18:19

Youloush
75●3

I want to show that the determinant bundle is algebraically trivial, what can not be seen in cohomology. Even if one works over \mathbb{C}, I don't know how to prove that it is topologically trivial. I don't understand why the first Chern class should live in the cohomology with support in Supp(F). – unknown (google) Aug 7 at 18:43

1

$c_1(F) = 0$ does not imply that $F$ is trivial: Consider an elliptic curve $E$. Set $X = E \times E$. Let $g : (x,y) \mapsto (x+1/2,-y)$ be an involution w/o fixed points on $X$. Then the canonical bundle of the quotient $Z = X / \langle g \rangle$ has zero first Chern class, but is not trivial since it has no non-zero sections. – Gunnar Magnusson Aug 7 at 18:46

triviality of determinant sheaf

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.