Skip to main content
2 of 3
added 327 characters in body; added 160 characters in body
roy smith
  • 12.4k
  • 3
  • 78
  • 73

I am a novice here, but have you looked at Lazarsfeld's chapter "Lectures on linear series" in the book Complex algebraic geometry, IAS Park City math series vol 3? There he deduces it from Reider's theorem which he deduces from Bogomolov's instability theorem, whose proof he also sketches. This is a rewrite of some parts of his chapter on application of vector bundles techniques in the book Lectures on Riemann surfaces from Trieste, where however he says his argument has an error. I am assuming the result you want is that when K is nef then some positive multiple of K is free, (in fact 4K).

yes you are right he does assume general type, but unfortunately for my understanding he does not state that in the theorem itself but only in a paragraph above the theorem, which is then apparently a blanket assumption not restated later. So since you are presumably dealing with the opposite case this is useless to you. On p. 81 of Kollar and Mori they merely state that for surfaces base point freeness is a "non trivial result". This suggests they did not know an easy proof.

roy smith
  • 12.4k
  • 3
  • 78
  • 73