3
$\begingroup$

Let f: X' \rightarrow X be the blowing up of a nonsingular variety $X$ along a nonsingular subvariety $Z$ of codimension $r \geq 2$, and let Z' = f^{-1}(Z). Denote \mathrm{Cl}(X') the divisor class group of X'. Why is the map \mathbb{Z} \rightarrow \mathrm{Cl}(X'), q \mapsto q \cdot Z', injective? That is, why is not the divisor q \cdot Z' principal for $q \neq 0$?

Thinking about this problem I rose the following question: let $(f, f^{\#}): X \rightarrow Y$ be a birational morphism of integral schemes and let $\xi$ be the generic point of $X$. Then $f_{\xi}^{\#}: K(Y) \rightarrow K(X)$ is an isomorphism between the function fields. Suppose that $f^{-1}(Z)$ is a prime divisor on $X$ for each prime divisor $Z$ on $Y$. Let $\mathrm{div}(g) = \sum n_{Z} \cdot Z$, $g \in K(Y)$, be a principal divisor. Is this true that $\mathrm{div}(f_{\xi}^{\#}(g)) = \sum n_{Z} \cdot f^{-1}(Z)$ Is this true in the case above?

Thanks.

P.S.: I do not know cohomology of sheaves, not yet.

1 Answers 1

0

If qZ' is principal, then it is the divisor \mathrm{div}_{X'}(f) of some f\in K(X')=K(X). In particular, \mathrm{div}_{X'}(f) is supported in Z'. But on $X$, the support of the divisor $\mathrm{div}_X(f)$ is not contained in $Z$ (unless it is 0) because the support of a divisor has always codimension $1$. As both divisors have the same support in X'\setminus Z'\simeq X\setminus Z, we have $\mathrm{div}_X(f)=0$, thus $f$ is invertible on $X$, hence on X'. So $q=0$.

In the general case, how do you define $f^{-1}(Z)$ as a divisor (especially when $Z$ meets the exceptional locus of $f$) ?

  • 0
    @rafaellucas: When $f$ is a blowing-up as in above, this can never happen, because if $Z$ is a prime divisor containing the center of the blowing-up, then $f^{-1}(Z)$ is the union of the strict transform of $Z$ and of the exceptional divisor. Another issue is that one has to affect multiplicities to the irreducible components of the set $f^{-1}(Z)$.2011-11-21