Computing residue currents of monomial ideals using comparison formulas (Q2452011): Difference between revisions

Given a free resolution of an ideal \(\mathfrak{a}\) of holomorphic functions, \textit{M. Andersson} and \textit{E. Wulcan} constructed in an important paper [Ann. Sci. Éc. Norm. Supér. (4) 40, No. 6, 985--1007 (2007; Zbl 1143.32003)] a vector valued residue current \(R\) that satisfies the duality principle (i.e., the annihilator of \(R\) is again \(\mathfrak{a}\)) and that coincides with the Coleff-Herrera current of \(\mathfrak{a}\) if \(\mathfrak{a}\) is a complete intersection ideal. This construction led to many interesting applications, particularly concerning the \(\overline{\partial}\)-equation on singular spaces [\textit{M. Andersson} and \textit{H. Samuelsson}, Invent. Math. 190, No. 2, 261--297 (2012; Zbl 1271.32009); J. Funct. Anal. 261, No. 3, 777--802 (2011; Zbl 1227.32010)] or effective solutions to polynomial ideal membership problems on singular varieties [\textit{M. Andersson} et al., Ann. Inst. Fourier 60, No. 2, 417--432 (2010; Zbl 1200.32007); \textit{J. Sznajdman}, Isr. J. Math. 196, 33--50 (2013; Zbl 1280.32003)]. In the present paper, the authors compute this ``Andersson-Wulcan current'' explicitly for the ``hull resolution'' of Artinian ideals, i.e., \(0\)-dimensional monomial ideals. The main ingredient in the proof is a comparison formula for resolutions of ideals of holomorphic functions and their associated residue currents [\textit{R. Lärkäng}, ``A comparison formula for residue currents'', \url{arXiv:1207.1279}]. By means of this description, the authors obtain a current version of a factorization of the fundamental cycle of \(\mathfrak{a}\) due to \textit{M. Lejeune-Jalabert} [C. R. Acad. Sci., Paris, Sér. I 292, 801--804 (1981; Zbl 0474.14031)].