Skip to main content
added 6 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

I think that the best result in this direction is the following result oftheorem due to Bogomolov:

Theorem 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.

Theorem. Let $S$ be a surface of general type with $c_1^2(S) > c_2(S)$. Then for any $g$ the curves of geometric genus $g$ on $S$ 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(S) > c_2(S)$ then $S$ contains only finitely many rational or elliptic curves.

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).

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$.

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

Theorem 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.

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.

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).

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$.

I think that the best result in this direction is the following theorem due to Bogomolov:

Theorem. Let $S$ be a surface of general type with $c_1^2(S) > c_2(S)$. Then for any $g$ the curves of geometric genus $g$ on $S$ 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(S) > c_2(S)$ then $S$ contains only finitely many rational or elliptic curves.

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).

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$.

added 3 characters in body
Source Link
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$$S$ be a surface of general type with $c_1^2(X) > c_2(X)$$c_1^2(S) > c_2(S)$. Thern for any $g$ the curves of geometric genus $g$ on $X$$S$ 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)$$c_1^2(S) > c_2(S)$ then $X$$S$ contains only finitely many rational or elliptic curves.

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).

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

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$.

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

Theorem 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.

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.

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).

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$.

Source Link
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$.