Quantum field theory has had a profound influence on mathematics, and on geometry in particular. However, the notorious difficulties of renormalization have made quantum field theory very inaccessible for mathematicians. This provides complete mathematical foundations for the theory of perturbative quantum field theory, based on Wilson's ideas of low-energy effective field theory and on the Batalin-Vilkovisky formalism.