Topological quantum field theory

A twisted version of four dimensional supersymmetric gauge theory is formulated. The model, which refines a nonrelativistic treatment by Atiyah, appears to underlie many recent developments in topology of low dimensional manifolds; the Donaldson polynomial invariants of four manifolds and the Floer groups of three manifolds appear naturally. The model may also be interesting from a physical viewpoint; it is in a sense a generally covariant quantum field theory, albeit one in which general covariance is unbroken, there are no gravitons, and the only excitations are topological.On leave from Department of Physics, Princeton University. Research supported in part by NSF Grants No. 80-19754, 86-16129, 86-20266