 Solution

For a Dirac field, the path integral is a Berezin integral over independent Grassmann fields $\psi$ and $\bar{\psi }$:The vacuum boundary conditions and the Feynman i-epsilon prescription are understood; $\mathcal{N}$ fixes the vacuum normalization. This is the vacuum generating functional without sources, rather than a finite-temperature partition function.

The Dirac adjoint transforms as $\bar{\psi }\mapsto \bar{\psi }{e}^{-i\alpha }$. For constant $\alpha$, ${\partial }_{\mu }(e^{i\alpha }\psi )=e^{i\alpha }{\partial }_{\mu }\psi$. Both the kinetic term and the Dirac mass term therefore retain their values. This proves the global phase symmetry, whose group is the unitary group $U(1)$.