Transversality for equivariant exact 1-forms and gauge theory on 3-manifolds

An equivariant jet transversality framework is developed for the study of critical sets of invariant functions on G manifolds. Techniques are developed to extend transversality results to the infinite dimensional Fredholm setting. As an application, the generic structure of the SU(4) perturbed flat moduli space of an integral homology three-sphere is described, as well as the generic structure of the parameterized moduli space for a path of perturbations. A similar analysis of the U(3) moduli space for rational homology three-spheres is also carried out.