Koszul-Tate resolution (Rev #3) in nLab

Contents

Idea

For AA an algebra and I⊂AI \subset A an ideal, a Koszul-Tate resolution is a resolution of the quotient A/IA/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