gauge theory/lie groups (prereq. section OVER)