A converse to a theorem on normal forms of volume forms with respect to a hypersurface (Q5962647)

Let \((\Omega^\bullet_X,d)\) be the de Rham complex on a complex space \(X\), and \((\text{Tors}\,\Omega^\bullet_X,d)\) its torsion subcomplex. Then the quotient complex \((\widetilde{\Omega}^\bullet_X,d)\) is well-defined; it is studied by many authors in different contexts and settings (e.g., [\textit{G. M. Greuel}, Math. Ann. 214, 235--266 (1975; Zbl 0285.14002)]). Assume that \(X\) is the germ of an isolated hypersurface singularity of positive dimension \(n\), and \({\mathcal R}_X\) is the isotropy group of \(X\). The author proves that for any two \({\mathcal R}_X\)-equivalent germs of volume forms \(\omega\) and \(\omega'\) there exist a holomorphic differential \(n\)-form \(\alpha \in \Omega^n_X\) such that \(\omega - \omega' = d\alpha\) and the corresponding class of the form \(\alpha\) in \(H^n_{\mathrm{DR}}(\widetilde{\Omega}^\bullet_X)\) vanishes. He also remarks that this result can be regarded as a converse to Varchenko's normal form theorem [\textit{A. N. Varchenko}, Funct. Anal. Appl. 19, 269--276 (1985; Zbl 0661.32017); translation from Funkts. Anal. Prilozh. 19, No. 4, 23--31 (1985)] as well as a positive answer to a question in [\textit{Y. Colin de Verdière}, Duke Math. J. 116, No. 2, 263--298 (2003; Zbl 1074.53066)].