Faltings' product theorem

In arithmetic geometry, the Faltings product theorem gives sufficient conditions for a subvariety of a product of projective spaces to be a product of varieties in the projective spaces. It was introduced by Faltings (1991) in his proof of Lang's conjecture that subvarieties of an abelian variety containing no translates of non-trivial abelian subvarieties have only finitely many rational points.

Evertse (1995) and Ferretti (1996) gave explicit versions of the Falting product theorem.

...
Wikipedia