The Koszul-Tate resolution is a powerful tool in the BRST (Becchi-Rouet-Stora-Tyutin) formalism used to handle gauge theories, including free quantum electrodynamics (QED) or Maxwell theory. This resolution helps in understanding the cohomology of the BRST differential, which is crucial for identifying physical observables and anomalies in the theory.

For a free QED/Maxwell theory, the Koszul-Tate resolution can be constructed as follows:

1. Field Content:

   • Gauge field: $A_\mu$
   • Ghost field: $c$ (associated with gauge symmetry)
   • Antifields: $A^{*\mu}$, $c^*$

2. BRST Transformations:

   • $sA_\mu = \partial_\mu c$
   • $sc = 0$
   • $sA^{*\mu} = \partial_\nu F^{\nu\mu}$ (where $F^{\nu\mu} = \partial^\nu A^\mu - \partial^\mu A^\nu$ is the field strength)
   • $sc^* = -\partial_\mu A^{*\mu}$

3. Koszul-Tate Differential: The Koszul-Tate differential $\delta$ acts on the antifields and is defined by:

   • $\delta A^{*\mu} = \partial_\nu F^{\nu\mu}$
   • $\delta c^* = -\partial_\mu A^{*\mu}$

4. Cohomology: The cohomology of the Koszul-Tate differential $\delta$ in the space of local functionals is trivial in positive antifield number. This means that any $\delta$-closed functional with positive antifield number is also $\delta$-exact.

5. Resolution: The Koszul-Tate resolution provides a way to systematically construct the BRST cohomology. For free QED, the resolution involves the following complex:

Here, the arrows represent the action of the Koszul-Tate differential $\delta$.

6. Physical Observables: The physical observables are represented by the cohomology classes of the BRST differential $s$ at ghost number zero. These are the gauge-invariant functionals of the fields that are not $s$-exact.

7. Anomalies: Anomalies correspond to the cohomology classes of the BRST differential $s$ at ghost number one. For free QED, there are no anomalies, meaning the cohomology at ghost number one is trivial.

In summary, the Koszul-Tate resolution for a free QED/Maxwell theory involves constructing a complex where the Koszul-Tate differential $\delta$ acts on the antifields. The cohomology of this differential helps in identifying physical observables and ensuring the absence of anomalies in the theory.