1: \begin{abstract}

2: We construct a mathematical framework for twisted \( N=2 \)

3: supersymmetric topological quantum field theory on a 4-manifold. 

4: Supersymmetry in flat space is defined and the twist homomorphism is

5: constructed, giving us a supermanifold that is the total space of an

6: odd vector bundle over the even 4-manifold.  A special category of

7: connections on this space is defined and a decomposition into

8: so-called component fields is proved.  The twisted supersymmetric

9: action is computed, and the structure of the action, the

10: decomposition, and the action of a special odd vector field are all

11: shown to have a rich geometrical structure that was partially

12: interpred by Atiyah and Jeffrey. \cite{atiyahjeffrey}  

13: In short, the

14: action is an infinite-dimensional analogue of the Euler class of the

15: vector bundle of self-dual 2-forms over the space of connections mod

16: gauge.  This geometrical insight serves two purposes: first, it

17: motivates the study of anti-self-dual connections, intersection

18: theory, and the action of the group of gauge transformations, all of

19: which appear by themselves after the twist.  Secondly, it sets the

20: stage for an eventual proof of Witten's Conjecture, relating the

21: Donaldson and Seiberg-Witten invariants.  What we build here amounts

22: to a mathematical treatment of a physical treatment \cite{wittentqft}

23: of a mathematical construction of Donaldson. \cite{donaldsonpoly},

24: \cite{donaldsonkronheimer}.

25: \end{abstract}

26: