Shafarevich Maps and Automorphic Forms (Porter Lectures)