The algebra of closed forms in a disk is Koszul

Leonid Positselski

We prove that the algebra of closed differential forms in an (algebraic, formal, or analytic) disk with logarithmic singularities along several coordinate hyperplanes is (both nont…