Koszul-Tate Resolution

Koszul-Tate Resolution

In mathematics, a Koszul–Tate resolution or Koszul–Tate complex is a projective resolution of R/M that is an R-algebra (where R is a commutative ring and M is an ideal). They were introduced by Tate (1957) as a generalization of the Koszul complex. Friedemann Brandt, Glenn Barnich, and Marc Henneaux (2000) used the Koszul–Tate resolution to calculate BRST cohomology. The differential of this complex is called the Koszul–Tate derivation or Koszul–Tate differential.