Skip to main content
1 of 3
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

I think that the best result in this direction is the following result of Bogomolov:

Theorem Let $X$ be a surface of general type with $c_1^2(X) > c_2(X)$. Thern for any $g$ the curves of geometric genus $g$ on $X$ form a bounded family.

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(X) > c_2(X)$ then $X$ contains only finitely many rational or elliptic curves.

In general, it is conjectured than rational curves are never Zariski dense on a variety of general type, and more precisely it is expected that they are contained in a proper subvariety (hyperbolicity conjecture).

If $\dim X \geq 3$, you can obviously have infinitely many of them: for instance, take $X= Y \times C$, where $Y$ is a surface of general type containing a smooth rational curve and $C$ is a curve of genus at least $2$.

Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283