Deligne-Beilinson cohomology and log Hodge theory (Q6108392)

Let \(X\) be a separated scheme over \(\mathbb{C}\). For a subring \(A\) of \(\mathbb{C}\), Deligne-Beilinson cohomlogy groups \(H_{\mathrm{DB}}^m(X,A(r))\) with \(m,r \in \mathbb{Z}_{\geq 0}\) are defined, where \(A(r)\) denotes the subgroup \(A \cdot (2 \pi i)^r\) in \(\mathbb{C}\). This groups sit in long exact sequences \[ \cdots \to H_{\mathrm{DB}}^m(X,A(r)) \to H^m(X,A(r)) \to H^m(X,\mathbb{C})/F^r \to \cdots, \] where \(\{F^p\}_p\) is the Hodge filtration. Let \(\overline{X}\) be a proper smooth scheme over \(\mathbb{C}\) and \(D \subset \overline{X}\) a divisor with normal crossings. Let \(X=\overline{X} \setminus D\). Using the logarithmic structure induced by \((\overline{X},D)\), a certain space \(\overline{X}^{\log}\), a sheaf \(\mathcal{O}^{\log}_{\overline{X}}\) and the de Rham complex \(\Omega^{\bullet,\mathrm{log}}_{\overline{X}}(\log D)\) are introduced in [\textit{K. Kato} and \textit{C. Nakayama}, Kodai Math. J. 22, No. 2, 161--186 (1999; Zbl 0957.14015)]. As a main theorem of this paper, the authors show an isomorphism \[ \small { H_{\mathrm{DB}}^m(X,A(r)) \simeq H^m(\overline{X}^{\log},A(r) \xrightarrow{d} \mathcal{O}^{\log}_{\overline{X}}\xrightarrow{d} \Omega^{1,\log}_{\overline{X}}(\log D) \xrightarrow{d} \cdots \xrightarrow{d} \Omega^{r-1,\log}_{\overline{X}}(\log D))}, \] where \(A(r)\) is put in degree zero in the complex. As applications, this theorem gives simplifications of product structure of Deligne-Beilinson cohomology and nice explanations on Chern classes and Chern characters of vector bundles in Deligne-Beilinson cohomology. Moreover, they give formulation of the logarithmic relative version of Hodge II and of the theory of Deligne-Beilinson cohomology. They give Conjecture 3.6, which is regarded as a main problem in log Hodge theory. Roughly speaking, for a certain morphism beween log complex analytic spaces \(X \to S\), they define a \(4\)-ple \(H^m(X/S)\) and conjecture that it is a log mixed Hodge structure on \(S\) in a sense of [\textit{K. Kato} and \textit{S. Usui}, Classifying spaces of degenerating polarized Hodge structures. Princeton, NJ: Princeton University Press (2009; Zbl 1172.14002)].