Coordinate-integral primitive on a polydisc

ID: coordinate-integral-primitive-on-a-polydisc

For a closed holomorphic one-form on a polydisc, the displayed coordinate-path integral is a holomorphic function. Differentiating in gives the endpoint term; for use and integrate that derivative. The resulting sum telescopes to . Thus , giving an explicit degree-one proof of the holomorphic Poincaré lemma.

New to topics? Read the docs here!