Fermionic Version of the effective Action

Question

For a scalar field theory one introduces the partition function with external sources

$$ Z[j] = \int \mathscr{D} \varphi \, \exp \left( -S[\varphi] + \int j \, \varphi \right) \text{,} $$

the analogon of the free energy

$$ F[j] = \ln Z[j] \text{,} $$

and for the mapping

\begin{alignat}{2} C^{\infty}(\mathbb{R}^D) & \longrightarrow \, & C^{\infty}(\mathbb{R}^D) \\ j(\bullet) & \longmapsto & \frac{\delta}{\delta \, j(\bullet)} F[j] = \langle \varphi (\bullet) \rangle =: \phi[j] (\bullet) \end{alignat}

we denote with $j[\phi]$ the formal inverse mapping and define the effective action as

$$ \Gamma[\phi] = - F[j[\phi]] + \int \phi \, j[\phi] \text{.} $$

I seek to calculate the effective action $\Gamma^{4}$ (within first order perturbation theory) for a fermionic field theory with an action that is quartic in the (Grassmann-)fields.

Peskin, Schwartz, Altland and Coleman (my "standard-literature") don't seem to help.

Answer 1

The standard definition of the 1PI effective action applies to Grassmann-odd fields as well (up to sign-conventions), cf. above comment by user tbt. E.g. Ref. 1 defines in QED

$$ \Gamma[A_{\rm cl},\bar{\psi}_{\rm cl},\psi_{\rm cl}]~=~W_c[J,\eta,\bar{\eta}]-\int\! d^4x (J^{\mu} A_{\mu} +\bar{\psi}_{\rm cl}\eta+ \bar{\eta}\psi_{\rm cl}).\tag{8.1.76}$$

References:

1. L.S. Brown, QFT, 1992; eq. (8.1.76).

Answer 2

Okay so the consensus is that it is usual to define the Grassmann analogon of the effective action in a similar way as one does for scalar field theories. For example: It's done in the book from @Qmechanic or here in chapter 1.6.2.