Residue forms on singular hypersurfaces (Q2491063): Difference between revisions

Let \(M\) be a manifold of dimension \(n+1\) and \(X \subset M\) a singular hypersurface. Let \(\Omega_M^{n+1}(X)\) be the sheaf of meromorphic forms with logarithmic poles along \(X\). Let \(\omega \in \Omega_M^{n+1}(X)\). As in the smooth case, the residue form \(\text{Res}(\omega)\) is a well-defined differential form on the nonsingular part of \(X\). The author proves that \(\omega\) has canonical singularities along \(X\) (that means \(\omega \in \text{adj}_X \Omega_M^{n+1}(X)\)) if and only if the residue form \(\text{Res}(\omega)\in \Omega_{X_{\text{reg}}}^n\) extends to a holomorphic form on any resolution \(\nu : \tilde X \to X\) if and only if the norm of \(\text{Res}(\omega)\) is square integrable for any hermitian metric on \(X_{\text{reg}}\). Further more a lift of the residue class to intersection cohomology is constructed. Using this, it is proven that for a complete algebraic variety \(X\) of dimension \(n\) and resolution \(\tilde X\), \(H^k(\tilde X;\Omega^n_{\tilde X})\) is a direct summand both in \(H^{n+k}(X)\) and \(IH^{n+k}(X)\). In the last two sections, a relation between the oscillating integrals of \textit{B. Malgrange} [Ann. Sci. Éc. Norm. Supér. (4) 7, 405--430 (1974; Zbl 0305.32008)] or \textit{A. N. Varchenko} [Izv. Akad. Nauk SSSR, Ser. Mat. 45, 540--591 (1981; Zbl 0476.14002)] and residue theory for isolated singularities is presented.