The exactness of a general Skoda complex (Q2449617): Difference between revisions

For a plurisubharmonic function \(\phi\) on a complex algebraic variety \(X\) the multiplier ideal for \(\phi\) on \(X\) is defined as the analytic sheaf of germs of holomorphic functions \(u\) on \(X\) such that \(|u|^2e^{-\phi}\) is locally integrable. A multiplier ideal is integrally closed, but is also conversely each integrally closed ideal a multiplier ideal for some plurisubharmonic \(\phi\)? \textit{R. Lazarsfeld} and \textit{K. Lee} proved by using the exactness of some Skoda complex that there are integrally closed ideal sheaves which are not multiplier ideals for a plurisubharmonic function with only analytic singularities [Invent. Math. 167, No. 2, 409--418 (2007; Zbl 1114.13013)]. The main result of the article under review is a generalization of the mentioned exactness result: Let \(Y\) be a complex manifold and \(L\) and \(M\) be holomorphic line bundles on \(Y\). Let \(e^{-\psi}\) be a singular hermitian metric for \(M\) with plurisubharmonic weight \(\psi\). Let \(g_1,\dots, g_p\in H^0(X,L)\). Then the \(q\)th Skoda complex associated with \(g_1,\dots,g_p\) is exact for \(q={\lfloor\frac{1}{4}p^2+\frac{1}{2}p+\frac{5}{4}\rfloor}\). As a consequence of this fact there exists an integrally closed ideal on \(X\) that is not a multiplier ideal for any plurisubharmonic \(\phi\). Similar generalizations of Skoda's division theorem for the Koszul complex have been obtained independently by \textit{Q. Ji} [Adv. Math. 231, No. 5, 2450--2464 (2012; Zbl 1252.32012); Math. Ann. 355, No. 3, 947--984 (2013; Zbl 1271.32006)].