Holomorphic Poincaré lemma
ID: holomorphic-poincare-lemma
On a star-shaped holomorphic coordinate neighbourhood, a closed holomorphic differential form of positive degree has a holomorphic primitive. Radial integration gives the homotopy operator. This proves exactness of the holomorphic de Rham complex on stalks.
New to topics? Read the docs here!