Hodge ideals for \(\mathbf{Q}\)-divisors: birational approach (Q2423228)

Let \(X\) be a nonsingular complex variety and let \(D\) be a reduced divisor on \(X\). Then the Hodge ideals \(I_k(D)\), \(k \geq 0\), are defined in terms of the Hodge filtration on the \(\mathcal D_X\)-module \(\mathcal O_X(\star D)\) of functions with poles of any order along \(D\) so that \(F_k\mathcal O_X(\star D) = I_k(D)\otimes \mathcal O_X ((k + 1)D)\) for all \(k \geq 0\), where \(F_\bullet (\mathcal O_X(\star D))\) is a Hodge filtration (see [\textit{M. Mustaţă} and \textit{M. Popa}, ``Hodge ideals'', \url{arXiv:1605.08088}]). In the paper under review, the authors describe a similar construction for effective \(\mathbb Q\)-divisors on \(X\) using tools of the theory of log resolutions. Then they prove local nontriviality criteria, global and local vanishing theorems, semicontinuity theorem and other analogues of standard results from the theory of multiplier ideals. In addition, they also discuss a series of applications (see [\textit{M. Mustaţă} and \textit{M. Popa}, Int. Math. Res. Not. 2018, No. 11, 3587--3605 (2018; Zbl 1408.14074)]), etc.