Hodge modules and singular Hermitian metrics (Q2677824): Difference between revisions

Let \(f:Y\to X\) be a projective and surjective holomorphic map between complex manifolds. Given a holomorphic line bundle \((L,h)\) on \(Y\), where \(h\) is a singular hermitian metric with semi-positive curvature, the authors in [\textit{C. Hacon} et al., Contemp. Math. 712, 143--195 (2018; Zbl 1398.14018)] construct a singular hermitian metric on \(f_{\ast}(\omega_{Y/X}\otimes L \otimes \mathcal{I}(h))\). Furthermore, they show that this new metric satisfies the ``minimal extension property''. In particular, it has semi-positive curvature, which generalizes the work of [\textit{M. Păun} and \textit{S. Takayama}, J. Algebr. Geom. 27, No. 2, 211--272 (2018; Zbl 1430.14017)]. This metric positivity then implies Viehweg's results on weak positivity by [loc. cit., Theorem 2.5.2]. Let \(X\) be a complex manifold and let \(\mathcal M\) be a polarized pure Hodge module on \(X\) with strict support \(X\). Let \(p\) be the smallest integer such that \(F_p\mathcal M \neq 0\). Assume that \(\mathcal M\) is smooth (i.e. the perverse sheaf underlying \(\mathcal M\) is a local system up to a shift) outside a closed analytic subset \(Z\subsetneq X\) and let \(j:X\setminus Z \hookrightarrow X\) be the open embedding. The polarization on \(\mathcal M|_{X\setminus Z}\) provides the vector bundle \(F_p\mathcal M|_{X\setminus Z}\) with a smooth hermitian metric \(h\) (called Hodge metric). The main result is the following: Main Theorem. The canonical morphism of \(\mathcal{O}_X\)-modules \[ F_p\mathcal M \to j_{\ast}(F_p\mathcal M|_{X\setminus Z}) \] induces an isomorphism between \(F_p\mathcal M\) and the subsheaf of \(j_{\ast}(F_p\mathcal M|_{X\setminus Z})\) consisting of sections of \(F_p\mathcal M|_{X\setminus Z}\) which are locally \(L^2\) near \(Z\) with respect to \(h\) and the standard Lebesgue measure on \(X\). One can also formulate this in the classical language of variations of Hodge structures. Let \(Z\subsetneq X\) be a closed analytic subset of \(X\) and let \(j:X\setminus Z \hookrightarrow X\) be the open embedding. Let \(\mathcal V\) be a polarized variation of rational Hodge structures on \(X\setminus Z\). Saito shows that \(\mathcal V\) uniquely extends to a polarized pure Hodge module \(\mathcal M\) on \(X\) with strict support \(X\). Let \(E\) be the holomorphic vector bundle corresponding to the lowest nonzero piece in the Hodge filtration of \(\mathcal V\) and let \((\mathcal M,F_{\bullet}\mathcal M)\) be the filtered \(D_{X}\)-module underlying \(\mathcal M\). Saito also shows that \(E=F_p\mathcal M|_{X\setminus Z}\), where \(F_{p}\mathcal M\) is a torsion-free sheaf on \(X\). The canonical morphism of \(\mathcal{O}_X\)-modules in Main Theorem corresponds to \[ F_p\mathcal M \to j_\ast E. \] Since the Hodge metric \(h\) is known to be Nakano semi-positive, as a consequence of the sharp Ohsawa-Takegoshi Theorem [\textit{Z. Błocki}, Invent. Math. 193, No. 1, 149--158 (2013; Zbl 1282.32014); \textit{Q. Guan} and \textit{X. Zhou}, Ann. Math. (2) 181, No. 3, 1139--1208 (2015; Zbl 1348.32008)], we have {Corollary minimal extension property}. With the notation above, the Hodge metric \(h\) extends as a singular Hermitian metric on \(F_p\mathcal M\) which satisfies the ``minimal extension property'' and has semi-positive curvature.