Title: The formal Poincaré Lemma (9 pages)
Detail: Notes from MATH 949

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.

185K pdf
Last Updated: Fri Jul 15 11:17:23 2022


Andrew D. Lewis (andrew at mast.queensu.ca)