rational curve on varieties of general type - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T07:08:38Z http://mathoverflow.net/feeds/question/52419 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52419/rational-curve-on-varieties-of-general-type rational curve on varieties of general type Michael Zhang 2011-01-18T18:03:27Z 2011-01-18T21:52:03Z <p>Let $S$ be a complex surface of general type. Are there infinitely many smooth rational curves on $S$? And more general, what if $V$ is a variety of general type?</p> http://mathoverflow.net/questions/52419/rational-curve-on-varieties-of-general-type/52424#52424 Answer by Francesco Polizzi for rational curve on varieties of general type Francesco Polizzi 2011-01-18T18:30:22Z 2011-01-18T18:37:19Z <p>I think that the best result in this direction is the following result of Bogomolov:</p> <p><strong>Theorem</strong> Let $S$ be a surface of general type with $c_1^2(S) > c_2(S)$. Thern for any $g$ the curves of geometric genus $g$ on $S$ form a bounded family. </p> <p>In particular, since a surface of general type cannot be covered by rational or elliptic curves, these curves cannot deform. So Bogomolov's result implies that if $c_1^2(S) > c_2(S)$ then $S$ contains only finitely many rational or elliptic curves.</p> <p>In general, it is conjectured than rational curves are never Zariski dense on a variety $V$ of general type, and more precisely it is expected that they are contained in a proper subvariety (hyperbolicity conjecture).</p> <p>If $\dim V \geq 3$, you can obviously have infinitely many of them: for instance, take $V= S\times C$, where $S$ is a surface of general type containing a smooth rational curve and $C$ is a curve of genus at least $2$. </p> http://mathoverflow.net/questions/52419/rational-curve-on-varieties-of-general-type/52439#52439 Answer by diverietti for rational curve on varieties of general type diverietti 2011-01-18T21:52:03Z 2011-01-18T21:52:03Z <p>The conjecture Francesco is referring to as the "hyperbolicity conjecture" is actually the Green-Griffiths-Lang conjecture. It states that on any given smooth projective manifold of general type $X$ there should exist a proper subvariety $Y\subsetneq X$ such that for all non-constant holomorphic map $f\colon\mathbb C\to X$ one has $f(\mathbb C)\subset Y$.</p> <p>This would imply in particular that the same proper subvariety should contain every rational or elliptic curve (or, more generally, every image of a complex torus).</p> <p>Beside the result of Bogomolov (which treats "only" the algebraic part of this conjecture) one should cite also Mc Quillan's theorem, which prove this conjecture for surfaces under the same assumption on the second Segre number $c_1^2-c_2>0$.</p> <p>This condition is a technical hypothesis which guarantees the existence of an algebraic (multi)foliation on the surface. The core of Mc Quillan's proof is then in showing that an algebraic (multi)foliation on a surface of general type does not admit any dense parabolic leaf.</p> <p>In higher dimensions, very little is known even for the algebraic part of the conjecture, apart from the case of generic complete intersections of high (multi)degree (Clemens, Ein, Voisin, Pacienza...).</p> <p>To finish with, thanks to very recent results of Cano about resolution of singularities of holomorphic foliations by curves on threefolds, probably Mc Quillan will be soon able to improve his previous result with the weaker assumption $13c_1^2-9c_2>0$. </p>