0
$\begingroup$

suppose $D$ is an effective smooth irreducible divisor on a smooth variety $X$. suppose $W$ is a closed subvariety of $X$ not contained in $D$. Suppose $L$ is a line bundle on $X$ and consider the exact sequence: $$ 0\rightarrow L\otimes O(-D) \rightarrow L \rightarrow i_*(L_{|D})\rightarrow 0. $$ Here $i:D\hookrightarrow X$. Now restrict this exact sequence on $W$ to get the exact sequence: $$ Tor^1(i_*(L_{|D}), O_W)\rightarrow L\otimes O(-D)\otimes O_W\rightarrow L\otimes O_W \rightarrow i_*(L_{|D}) \otimes O_W \rightarrow 0. $$ What is the support of the sheaves $Tor^1$ and of $i_*(L_D)\otimes O_W$.

Can we assume that outside a codimension two subset of $W$, these two sheaves are zero ?

$\endgroup$

1 Answer 1

2
$\begingroup$

The support of the tensor product is the intersection of supports, i.e. $D \cap W$. The support of $Tor^1$ is the union of those irreducible components of $W$ (including embedded components) which are contained in $D$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.