Multiplier ideals of sums via cellular resolutions (Q935878)

Suppose that \(X\) is a normal \(\mathbb{Q}\)-Gorenstein variety and that \(\mathfrak{a_1}, \dots, \mathfrak{a_n}, \mathfrak{b}\) are ideal sheaves on \(X\). The authors study the multiplier ideal of these ideal sheaves with various exponents. In particular, the authors show that the multiplier ideal \[ \mathcal{J}((\mathfrak{a_1} + \dots + \mathfrak{a_r})^{\alpha} \mathfrak{b}^{\beta}) \] can be resolved by sheaves which are finite direct sums of multiplier ideals \(\mathcal{J}((\mathfrak{a_1}^{\lambda_1} \dots \mathfrak{a_r}^{\lambda_r} \mathfrak{b}^{\beta})\) for various \(\lambda_i \in \mathbb{R}_{\geq 0}\) such that \(\sum_{i = 1}^{r} \lambda_i = \alpha\) (and every such multiplier ideal sheaf appears as a part of the resolution). As a corollary, the authors obtain the following summation formula which generalizes results of \textit{J.-R Demailly}, \textit{L. Ein} and \textit{R. Lazarsfeld} [Mich. Math. J. 48, Spec. Vol., 137--156 (2000; Zbl 1077.14516)], \textit{M. Mustata} [Trans. Am. Math. Soc. 354, No. 1, 205--217 (2002; Zbl 1015.14003)] and \textit{S. Takagi} [Am. J. Math. 128, No. 6, 1345--1362 (2006; Zbl 1109.14005)]. They show that: \[ \mathcal{J}((\mathfrak{a_1} + \dots + \mathfrak{a_r})^{\alpha} \mathfrak{b}^{\beta}) = \sum_{\lambda_1 + \dots+ \lambda_r = \alpha} \mathcal{J}((\mathfrak{a_1}^{\lambda_1} \dots \mathfrak{a_r}^{\lambda_r} \mathfrak{b}^{\beta}). \] The authors also are able to obtain \textit{J. A. Howald}'s characterization [Trans. Am. Math. Soc. 353, No. 7, 2665--2671 (2001; Zbl 0979.13026)] on the multiplier ideal of monomial ideals as a special case. Finally, they also use this technique to provide a new proof of the exactness of the Skoda complex.