MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$. Suppose I have two (big) line bundles $L$ and $L'$ on $X$ and that I want to show that they are the same element of $Pic(X)$. Of course one can check if they have same intersections with the F-curves, or just check that they coincide over an open subset of $X$ whose complement has codimension at least 2. Do you see any other reasonable way? Perhaps considering the maps induced by their global sections?

share|cite|improve this question
How are the line bundles presented/given to you? – Kevin H. Lin Oct 8 '11 at 1:15
Your first suggestion (compare their restrictions to F-curves) seems a natural approach. Alternatively, you could use one of the explicit blow-up constructions of $\overline{M}_{0, n}$, which also produce a natural basis for $\mathrm{Pic}$. Or if they are given as linear combinations of boundary divisors, it might be most convenient to use the known explicit relations between them (which are all pull-backs of the relation "All boundary divisors on $M_{0, 4}$ have the same divisor class."). – Arend Bayer Oct 8 '11 at 18:50
Actually the two line bundles that I am considering are GIT-line bundels. That is: the map to the projective space that they induce via global sections yields a map to a GIT-compactification of $\overline{M}_{0,n}$ (non functorial compactification, due to the existence of strictily semi-stable points). Thank you for your comments! – IMeasy Oct 10 '11 at 8:53

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.