Original manuscript: 2005/11/30
Manuscript last revised: 2006/02/28
The "delta-sequence" is defined and given an interpretation in terms of the exterior derivative of symmetric polynomial functions. The exactness of the sequence is proved. This leads to the formal Poincaré Lemma, which is a statement of the usual Poincaré Lemma in the setting where the role of functions is played by formal power series.
Last Updated: Wed May 15 11:25:21 2019