\(L^ 2\) and intersection cohomologies for a polarizable variation of Hodge structure (Q1087597): Difference between revisions

The authors consider a polarized variation of Hodge structure (\({\mathcal V},{\mathcal V}_{{\mathbb{Z}}},{\mathcal S},{\mathcal F})\) of weight k over a complex manifold \(X\subset \bar X\), where \({\mathcal V}\) is a locally constant sheaf of finite-dimensional complex vector spaces, \({\mathcal V}_{{\mathbb{Z}}}\subset {\mathcal V}\) is a sheaf of lattices, F is a decreasing filtration of \({\mathcal O}_ X\otimes_{{\mathbb{C}}}{\mathcal V}\) by locally free \({\mathcal O}_ X\)- modules \({\mathcal F}^ p\), and \(\bar X\) is a compact Kähler manifold containing X as a Zariski open subset such that \(\bar X\setminus X\) is a divisor with normal crossings. In the case when \(X=\bar X\) is compact, Deligne has constructed canonical Hodge structures of weight \(p+k\) on the cohomology groups \(H^ p(X,{\mathcal V})\) [cf. \textit{S. Zucker}, Ann. Math., II. Ser. 109, 415-476 (1979; Zbl 0446.14002)]. The authors show that in general the \(L^ 2\)-cohomology groups \(H^*_{(2)}(\bar X,V)\) carrying canonical Hodge structures coincide with the intersection cohomologies \(IH^*(\bar X,{\mathcal V})\). Thus the intersection cohomology groups \(IH^ p(\bar X,{\mathcal V})\) carry canonical Hodge structures of weight \(p+k\). This proves a conjecture of Deligne [another proof was announced by \textit{M. Kashiwara} and \textit{T. Kawai}, Proc. Japan Acad., Ser. A 61, 164-167 (1985; Zbl 0576.14010)].