Please download the file for more informatio
AbstractVarieties, if they are at all complicated, are expected to have very few rational points. This might mean “there are only finitely many rational points” or “the rational points are contained in a proper closed subvariety.” Statements like these are extremely difficult to prove in any degree of generality, with Faltings’ finiteness theorem for rational points on high-genus curves a ...