There is a conjecture (often attributed to Mumford) I believe which states that if, on a smooth proper variety $X$ (over an algebraically closed field of characteristic zero), there are no pluricanonical forms (that is $H^0(X, mK_X) = 0$ for all positive $m$) then $X$ is uniruled.

Apparently, this conjecture follows from a "well known" conjecture arising from the minimal model program. I believe, but am not entirely sure, that this is the Abundance Conjecture, which says (in one formulation) that the Kodaira dimension of $X$ agrees with the so called numerical Kodaira dimension of $X$. There are by now many well written introductions to the MMP, here is one.

At the same time, Professor Siu has recently posted a sketch of the proof the Abundance Conejcture. Unfortunately, I am not sufficiently equipped to read the proof which uses L2 estimates of d-bar equations. Here are my questions.

Is it true that over the complex number Siu's result implies Mumford's conjecture? He doesn't mention this in the preprint, but is there a reference?

Is anyone well versed enough in both the analytic techniques and algebraic geometry to explain what Siu did to someone more algebraically minded?

Do people have an opinion (vague or otherwise) as to whether techniques coming from analysis are just stronger than techniques coming from algebra? An if so, why is that? (An obvious example, example: Hodge decomposition, but also Siu's proof of invariance of plurigenera, and now the abundance conjecture).

3 Answers
3

I agree with Dmitri about the fact that Siu's paper is not actually considered, by many experts, as a proof of the aboundance conjecture.
However, as far as question 1 is concerned, I want to point out that aboundance conjecture would imply Mumford's conjecture.
In fact aboundance conjecture implies, in particular, that if the canonical divisor (say on a smooth projective complex variety) is pseudoeffective, then it is effective
(that is, there are $m$-pluricanonical forms for some $m \in \mathbb{N}$.
Hence if there aren't pluricanonical forms, then $K_X$ is not pseudoeffective, and the uniruledness of $X$ follows by a recent result of Boucksom, Demailly, Paun and Peternell:
see BDPP.

Gianni, I adjusted my answer according to what you say (I was not answering question 1 of the unknown :)
–
DmitriJul 14 '10 at 12:07

I don't understand your point. If $K_X$ is pseudoeffective then the abundance conjecture would imply that its Kodaira dimension is non-negative.
–
Gianni BelloOct 11 '10 at 9:00

Ok. I see your point. I agree: everything depends on what you call "abundance conjecture". My choice was motivated by the fact that you can define a numerical dimension also for non-nef divisors and Kawamata himself, in "On the abundance conjecture in the case $\nu=0$" ( arxiv.org/PS_cache/arxiv/pdf/1002/1002.2682v3.pdf ) speaks also about the non-nef case using thsi definition. However I agree that most of papers use your convention. – Gianni Bello 0 secs ago
–
Gianni BelloOct 14 '10 at 8:33

As far as I understand not all experts in birational geometry would agree that Siu
settles in his preprint Abundance conjecture, and this conjecture is considered for the moment as open.
When Kawamata mentions in his recent paper the work of Siu

his says that in his work Siu using analytic methods reproved the abundance conjecture for a non-minimal algebraic variety whose numerical Kodaira dimension is equal to 0.
I would guess Kawamata would not write his paper if it were accepted that Siu gives complete proof of abundance conjecture.

So for the moment it should be conisdered that for $X$ of dimesnion $4$ and higher
it is unknown if $H^0(nK_X)=0$ for all $n$ impies that $X$ is unirulled.
As for analysis been stronger than algebra, there are examples when this is not quite the case. A famous one is bend and break, that uses characteristics $p$ and is a corner stone of minimal model program
http://www.math.ens.fr/~debarre/Grenoble.pdf
The existence of minimal models is still unknown even for 3-dimensional Kahler manifolds that are not algebraic...

Thank you for the reference and clearing up my understand of what Professor Siu proved. That is indeed helpful. Also I am familiar with the beautiful bend and break argument. But don't you think that this is more of a (wonderful) exception and that analytic methods tend to have more success somehow?
–
unknownJul 13 '10 at 13:22

The conjecture you attribute to Mumford is also sometimes called weak non-vanishing, or just non-vanishing. As already mentioned, by BDPP one is reduced to proving that if $h^0(mK_X) = 0$ for all $m \geq 0$ then $K_X$ is not even pseudo-effective, that is, not numerically a limit of effective divisors. There is an alternative formulation of the abundance conjecture which is arguably easier to understand: if $K_X + \Delta$ is nef and $(X, \Delta)$ is klt then $K_X + \Delta$ is semi-ample. The point is that this says that running the MMP turns $K_X$ into a semi-ample divisor.

My understanding is that the answer to question to 2 is something like the following. Siu explains and gives references in his introduction to Part II of his paper that there is something called the numerically trivial fibration that is similar to the Kodaira-Iitaka fibration but works for the numerical dimension. Its construction is analytic in nature. Siu claims that, if $\pi : X' \to Y$ is a realization of numerically trivial fibration for $K_X$ with $X'$ a birational model of $X$, then $\pi_* O_{X'}(mK_{X'/Y})$ carries some kind of metric with strictly positive curvature on a general fiber of $\pi$. This, in particular, shows that $\pi$ is not the identity map, which I think is now known to imply the abundance conjecture, though I am not sure if this is how Siu proceeds. I am not familiar with the details of the argument.

As for question 3, it is hard to say. The famous example is Siu's proof of the deformation invariance of plurigenera for all Kodaira dimensions, this is currently a purely analytic argument that involves taking limits of pluri-subharmonic functions to obtain a semipositive singular metric on $O_X(mK_X)$ that may not have analytic singularities but has the right multiplier ideal: see Paun's "Siu's invariance of plurigenera: a one-tower proof." This has resisted attempts to prove it algebraically so far. On the other hand, the algebraic approach allows reduction to positive characteristic. It may be that, ultimately, anything you can do with one you can do with the other. Of course, "algebraic" here allows the Kodaira vanishing theorem, which can be deduced from the homological statement that the map $H^i(X, \mathbb{C}) \to H^i(X, O_X)$ induced by the natural inclusion of sheaves is surjective.