Define and . The Pauli matrix completeness identity, or direct evaluation of its three components, gives . Consequently the quartic action is .
The Hubbard–Stratonovich decoupling follows by completing a three-component square at each site and time slice:
The constant is absorbed into the normalized auxiliary-field measure, and ensures convergence of the real Gaussian integral. Thus the spin-vector Hubbard–Stratonovich decoupling yields
Integrating out reconstructs the normal-ordered interaction exactly. The auxiliary field is periodic in imaginary time, while the fermionic fields remain antiperiodic.