Given an homogeneous polynomial $F(X,Y,Z,T)\in \mathbb Q[X,Y,Z,T]$ of degree $>4$, the surface it defines is well-known to be of general type. Suppose, moreover, that this surface doesn't contain any rational or elliptic curve (a fact that it happens "generically", according to a theorem by Geng Xu in Subvarieties of general hypersurfaces in projective space). Then, a conjecture by Bombieri and Lang (see for example the book by Marc Hindry and Joseph H. Silverman "Diophantine Geometry: An Introduction") asserts that this surface should have a finite number of rational points (this is a special case of a strong version of the conjecture) (as pointed out below by Felipe Voloch, one needs to assume the surface is smooth) .

Some questions:

1. Is it known any example of such a surface which has some rational point, it is smooth, and one can prove there is only a finite number of rational points? I ask to have a rational point in order to prevent a proof by "local considerations": it has no rational points since it has no real points, or $p$-adic points, or "modulo n" points, etc...

2. A bit less: Is it known explicit examples of such surfaces verifying the hypothesis of the conjecture? The results I find are for "generic" cases.

3. For example, does there exists some $k$ such that any non-singular hypersurfaces in $\mathbb P^3_{\mathbb Q}$ of degree $>k$ does not contain any rational or elliptic curve?

I understand that Faltings' results on subvarieties of abelian varities cannot be applied here, since there is no trivial map to these varities to an abelian variety (since their albanese variety is trivial, since the dimension of their $H^1$ is zero, by standard results).

Given an homogeneous polynomial $F(X,Y,Z,T)\in \mathbb Q[X,Y,Z,T]$ of degree $>4$, the surface it defines is well-known to be of general type. Suppose, moreover, that this surface doesn't contain any rational or elliptic curve (a fact that it happens "generically", according to a theorem by Geng Xu in Subvarieties of general hypersurfaces in projective space). Then, a conjecture by Bombieri and Lang (see for example the book by Marc Hindry and Joseph H. Silverman "Diophantine Geometry: An Introduction") asserts that this surface should have a finite number of rational points (this is a special case of a strong version of the conjecture) (as pointed out below by Felipe Voloch, one needs to assume the surface is smooth) .

Some questions:

1. Is it known any example of such a surface which has some rational point, it is smooth, and one can prove there is only a finite number of rational points? I ask to have a rational point in order to prevent a proof by "local considerations": it has no rational points since it has no real points, or $p$-adic points, or "modulo n" points, etc...

2. A bit less: Is it known explicit examples of such surfaces verifying the hypothesis of the conjecture? The results I find are for "generic" cases.

3. For example, does there exists some $k$ such that any non-singular hypersurfaces in $\mathbb P^3_{\mathbb Q}$ of degree $>k$ does not contain any rational or elliptic curve?

I understand that Faltings' results on subvarieties of abelian varities cannot be applied here, since there is no trivial map to these varities to an abelian variety (since their albanese variety is trivial, since the dimension of their $H^1$ is zero, by standard results).

Given an homogeneous polynomial $F(X,Y,Z,T)\in \mathbb Q[X,Y,Z,T]$ of degree $>4$, the surface it defines is well-known to be of general type. Suppose, moreover, that this surface doesn't contain any rational or elliptic curve (a fact that it happens "generically", according to a theorem by Geng Xu in Subvarieties of general hypersurfaces in projective space). Then, a conjecture by Bombieri and Lang (see for example the book by Marc Hindry and Joseph H. Silverman "Diophantine Geometry: An Introduction") asserts that this surface should have a finite number of rational points (this is a special case of a strong version of the conjecture).

Some questions:

1. Is it known any example of such a surface which has some rational point, it is smooth, and one can prove there is only a finite number of rational points? I ask to have a rational point in order to prevent a proof by "local considerations": it has no rational points since it has no real points, or $p$-adic points, or "modulo n" points, etc...

2. A bit less: Is it known explicit examples of such surfaces verifying the hypothesis of the conjecture? The results I find are for "generic" cases.

3. For example, does there exists some $k$ such that any non-singular hypersurfaces in $\mathbb P^3_{\mathbb Q}$ of degree $>k$ does not contain any rational or elliptic curve?

I understand that Faltings' results on subvarieties of abelian varities cannot be applied here, since there is no trivial map to these varities to an abelian variety (since their albanese variety is trivial, since the dimension of their $H^1$ is zero, by standard results).

Given an homogeneous polynomial $F(X,Y,Z,T)\in \mathbb Q[X,Y,Z,T]$ of degree $>4$, the surface it defines is well-known to be of general type. Suppose, moreover, that this surface doesn't contain any rational or elliptic curve (a fact that it happens "generically", according to a theorem by Geng Xu in Subvarieties of general hypersurfaces in projective space). Then, a conjecture by Bombieri and Lang (see for example the book by Marc Hindry and Joseph H. Silverman "Diophantine Geometry: An Introduction") asserts that this surface should have a finite number of rational points (this is a special case of a strong version of the conjecture) (as pointed out below by Felipe Voloch, one needs to assume the surface is smooth) .

Some questions:

1. Is it known any example of such a surface which has some rational point, it is smooth, and one can prove there is only a finite number of rational points? I ask to have a rational point in order to prevent a proof by "local considerations": it has no rational points since it has no real points, or $p$-adic points, or "modulo n" points, etc...

2. A bit less: Is it known explicit examples of such surfaces verifying the hypothesis of the conjecture? The results I find are for "generic" cases.

3. For example, does there exists some $k$ such that any non-singular hypersurfaces in $\mathbb P^3_{\mathbb Q}$ of degree $>k$ does not contain any rational or elliptic curve?

I understand that Faltings' results on subvarieties of abelian varities cannot be applied here, since there is no trivial map to these varities to an abelian variety (since their albanese variety is trivial, since the dimension of their $H^1$ is zero, by standard results).