4
$\begingroup$

I'm reading Siu's peper"Fujita conjecture and the extension theorem of Ohsawa-Takegoshi".He refered to a "well-known techniques of using Rieamann-Roch to produce singular metrics".

The situation is: $L$ is a positive line bundle over an $n$-dimensional compact complex manifold M,$\epsilon$ is a sufficiently small positive rational number,$P$ is a given point on $M$.

He claims that we can find a multivalued holomorphic section of $(n+\epsilon)L$ such that the section vanishes to order at least $n$ at $P$;

or equivalent to say for some positive integer $m$ with $m \epsilon$ is a integer, we can find a holomorphic section of $m(n+\epsilon)L$ which vanishes to order at least $mn$ at $P$.

Why this statement is true?

Here vanishing order $k$ means when the section is represented by a local holomorphic function,the function germ lies eaxctly in the k-th power of the maximal ideal $m_{M,P}$.

$\endgroup$
1
  • 2
    $\begingroup$ I don't have time to check right now, but if you look at Lazarsfeld's Positivity in Algebraic Geom. I or II, you should find some explanation of how to construct sections with high multiplicity at P. $\endgroup$ Feb 23, 2012 at 18:32

2 Answers 2

6
$\begingroup$

I would suggest you two references; the first one is Demailly's survey on Hodge theory ([B3] here: http://www-fourier.ujf-grenoble.fr/~demailly/books.html ); exercise 15.11 explains exactly how to construct sections with desired vanishing order at some point.

This is a consequence of Nadel's theorem applied to singular metrics on ample line bundles; the idea is to impose the metric to have a logarithmic pole at your point, so that Skoda's lemma (the easy part) ensures you that any section of L twisted by the multiplier ideal of the metric has to vanish enough along P. As a consequence, you can deduce Kodaira's embedding theorem.

The second reference is the one already mentionned by Donu Arapura. More precisely, there is a lemma in Lazarsfeld' PAG I (edit: Proposition 1.1.31 p.23). It shows how elementary linear algebra (+ RR) can give a lower bound on the vanishing order of some section of a (say nef and big) line bundle with big enough top intersection.

$\endgroup$
5
$\begingroup$

The proof Kodaira's embedding theorem in Griffiths-Harris is a good place to see how positivity + Riemann-Roch can be used to produce sections with many properties.

$\endgroup$
1
  • 4
    $\begingroup$ Probably what Siu means is a bit more sophisticated than what one can find on Griffiths-Harris... $\endgroup$
    – diverietti
    Feb 23, 2012 at 17:53

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.