Logarithmic comparison with smooth boundary divisor in mixed Hodge modules (Q2185596)

Let \((X, D)\) be a log-smooth pair, i.e., \(X\) is a smooth algebraic variety and \(D\) is a normal crossing divisor on \(X\). And let \(\mathcal{M}\) be a filtered (right) \(\mathscr{D}_X\)-module on \(X\), which underlies a mixed Hodge module. In this paper, the author studies two strict filtered \(\mathscr{D}_X(\log D)\)-modules: the log-localization (resp. dual log-localization) of the mixed Hodge module \(\mathcal{M}\) along \(D\) \[ \mathcal{M}[*\log D]\ (\text{resp.}\ \mathcal{M}[!\log D]), \] which are defined using the multi-indexed Kashiwara-Malgrange filtration (a.k.a. V-filtration) on \(M\) with respect to the divisor \(D\). Here \(\mathscr{D}_X(\log D)\) is the sheaf of rings of log-differential operators on \((X, D)\). Under the assumption that the multi-indexed V-filtration is \emph{V-compatible} (which is the case when, for example, \(D\) is smooth; see Definition 4), the author proves a logarithmic comparison theorem for the mixed Hodge modules \[ \mathcal{M}[*D]\ (\text{resp.}\ \mathcal{M}[!D]), \] which generalizes the logarithmic comparison theorem for admissible variations of Hodge structures of Grothendieck and Deligne. Under the same assumption, the author also shows that the log-localization (resp. dual log-localization) behaves well under the (log-)duality functor and the director image functor for projective morphisms \(f\colon(X,D)\to(X',D')\) of log-smooth pairs with the divisor \(D'\) smooth in the derived category of filtered \(\mathscr{D}_X(\log D)\)-modules.