This will be an introduction for mathematicians to F-theory, a "12 dimensional variant of string theory", and its global and local compactifications. The past year has seen tremendous progress towards F-theory based phenomenology. I will discuss the issue of local versus global in F-theory (and strings), and explore connections to the geometry of del Pezzo surfaces, Higgs bundles, and Noether-Lefschetz loci.