Finiteness of non-constant maps over number fields
Motivated by the intermediate Lang conjectures on hyperbolicity and rational points, we prove new finiteness results for non-constant morphisms from a fixed variety to a fixed variety defined over a number field by applying Faltings's finiteness results to moduli spaces of maps.