A supersymmetric gauge-invariant action is constructed over any four-d
imensional Riemannian manifold describing Witten's theory of 4-monopol
es. The topological supersymmetric algebra closes off-shell. The multi
plets include the auxiliary fields and the Wess-Zumino fields in an un
usual way, arising naturally from BRST gauge fixing. A new canonical a
pproach over Riemann manifolds is followed, using a Morse function as
a Euclidean time and taking into account the BRST boundary conditions
that come from the BFV formulation. This allows a construction of the
effective action starting from gauge principles.