## Slicing the fibres of a meromorphic function with the zero set of a section of an ample line bundle

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

I'm going through a proof of a vanishing theorem by Sommese ($H^{p,q}(X,L) = 0$ for $p+q > n+k$ if $L$ is $k$-ample) and have hit the following brick wall:

I've got a complex projective manifold $X$, a meromorphic map $f : X \to \mathbb P^n$ and an ample line bundle $L$ over $X$. I want to show that for any big multiple $mL$ there is a global section $\sigma$ of $mL$ which is not identically zero on any $f^{-1}(y)$ for $y \in f(X \setminus (\text{singularities of f}))$. Basically we're proving this vanishing theorem by induction on $k$ and such a section gives the induction step.

Now, for any fixed $y$ we let $Z$ be the closure of an irreducible component of $f^{-1}(y)$ and find an $N_0$ such that

$$0 \to H^0(X, \mathcal I_Z \otimes mL) \to H^0(X, mL) \to H^0(Z, mL|_Z) \to 0$$

is exact for all $m \geq N_0$, which gives us what we want. The problem is that this $N_0$ depends on $y$.

Sommese says in his book that we get around this by invoking the Hilbert scheme on $\mathbb P^n$ and a result by Grothendieck. He also gives a reference to an article by Hironaka where this result is proved. Both methods are very general and make heavy use of schemes, which I don't know well enough to be able to follow.

I've mostly convinced myself that I can reduce this to where $f$ is holomorphic, and I think some sort of a deformation argument might be possible if $f$ can be made behave nicely enough, but I don't see how to proceed.

I'd really like some comments or suggestions on if it's possible to do this with analytic methods; a bit violently if you will. My thesis advisor suggested this theorem as a topic to present to other students with a rather diffeo-geometric background, and diving into schemes just to prove this one lemma seems like too big a detour for that audience.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 24, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9568663835525513, "perplexity_flag": "head"}