nLab Koszul-Tate resolution

Idea

For $A$ an algebra and $I \subset A$ an ideal, a Koszul-Tate resolution is a resolution of the quotient $A/I$ by a cochain dg-algebra in non-positive degree that is degreewise free/projective.

It is a refinement of a Koszul complex or rather an extension.

Applications

• A Koszul-Tate resolution is one part of the BRST-BV complex.

References

• Jean-Louis Koszul, Homologie et cohomologie des algèbres de Lie , Bulletin de la Société Mathématique de France, 78, 1950, pp 65-127.

• John Tate, Homology of Noetherian rings and local rings , Illinois Journal of Mathematics, 1, 1957, pp. 14-27