Faltings proved the statement, previously conjectured by
Shafarevich, that there are finitely many abelian varieties of
dimension nn, defined over a fixed number field, with good
reduction outside a fixed finite set of primes, up to isomorphism.
In...