Ample Divisors, Automorphic Forms and Shafarevich's Conjecture