Geometric applications of class field theory