Mixed Hodge complexes and higher extensions of mixed Hodge modules on algebraic varieties (Q2355996)

\textit{M. Saito} [Math. Ann. 316, No. 2, 283--331 (2000; Zbl 0976.14011)] constructed, for a complex algebraic variety \(X\), two triangulated categories \(D^b_{{\mathcal H}}(X,\mathbb{Q})_{{\mathcal D}}\) and \(D^b_{{\mathcal H}}(X,\mathbb{Q})\) together with triangulated functors \[ \begin{gathered} D^b(MHM(X,\mathbb{Q})) @>\varepsilon>> D^b_{{\mathcal H}}(X,\mathbb{Q})_{{\mathcal D}},\\ D^b_{{\mathcal H}}(X,\mathbb{Q}) @> DR^{-1}>> D^b_{{\mathcal H}}(X,\mathbb{Q})_{{\mathcal D}},\end{gathered} \] where \(MHM(X,\mathbb{Q})\) is the Abelian category of algebraic mixed \(\mathbb{Q}\)-Hodge modules over \(X\). For \(X= \text{Spec\,}\mathbb{C}\) the category \(MHM(X, \mathbb{Q})\) is equivalent to the category \(MHS^p_{\mathbb{Q}}\) of polarized mixed \(\mathbb{Q}\)-Hodge structures introduced by Beilinson and the triangulated functor \[ D^b(MHS^p_{\mathbb{Q}})\to D^b_{{\mathcal H}^p} \] is an equivalence of categories, where \(D^b_{{\mathcal H}^p}\) is the category of polarized mixed Hodge complexes. By the results of Saito [loc. cit.] the functor \(\varepsilon\) is an equivalence of categories \[ \varepsilon: D^b(MHM(\text{Spec\,}\mathbb{C},\mathbb{Q}))\to D^b_{{\mathcal H}}(\text{Spec\,}\mathbb{C},\mathbb{Q})_{{\mathcal D}}. \] In this paper, the author deals with a possible generalization of Saito's result [loc. cit.] to higher-dimensional complex varieties, by asking whether the realization functor \[ \text{real}_X D^b(MHM(X,\mathbb{Q}))\to D^b_{{\mathcal H}}(X,\mathbb{Q})_{{\mathcal D}}, \] which has been constructed by \textit{F. Ivorra} [J. Algebra 433, 107--167 (2015; Zbl 1348.14046)], is fully faithful. The main result is the following Theorem 1. Let \(X\) be a smooth projective algebraic variety and let \({\mathcal M}\), \({\mathcal N}\) be two complexes of mixed Hodge modules on \(X\). Assume that \({\mathcal M}\) has smooth cohomology, i.e., the mixed Hodge module \(\mathbb{H}^i({\mathcal M})\) has smooth cohomology, for every \(i\in\mathbb{Z}\). Then the functor real\(_X\) is fully faithful.