Remarks on two approaches to the horizontal cohomology: compatibility complex and the Koszul-Tate resolution
arXiv:math/0105207
Abstract
The Koszul-Tate resolution is described in the context of the geometry of jet spaces and differential equations. The application due to Barnich, Brandt, and Henneaux of this resolution to computing the horizontal cohomology is analyzed. Relations with the Vinogradov spectral sequence are discussed.
8 pages; v2: some comments added