Let \(X\) be a compact algebraic manifold over \(\mathbb{C}\). The Deligne-Beilinson cohomology \(H^*(X,\mathbb{Z}(\cdot)_{{\mathcal D}})\) are defined by taking the hypercohomology of the truncated de Rham complex augmented over \(\mathbb{Z}\). The associated Deligne-Beilinson cohomology sheaves \({\mathcal H}^p_{{\mathcal D}}(\mathbb{Z})\), where \(\mathbb{Z}(r)(2\pi i)^r\mathbb{Z}\subset\mathbb{C}\), have a Gersten resolution \[ 0\to{\mathcal H}^o_{{\mathcal D}}\Biggl(\mathbb{Z}\to \coprod_{s\in X^0} (i_x)* H^p_{{\mathcal D}}(\mathbb{C}(x))\Biggr),\;\mathbb{Z}\to \coprod_{x\in X^1} (i_x)* H^{p-1}_{{\mathcal D}}(\mathbb{C}(x),\mathbb{Z}(r-1))\to\cdots \] The above revolution yields an isomorphism of graded rings \[ \eta:\bigoplus CH^p(X)\simeq \bigoplus H^p(X,{\mathcal H}^p_{{\mathcal D}}(\mathbb{Z}(p))), \] where the intersection product of algebraic cycles correspond to the cup product in Deligne-Beilinson cohomology. In this paper, the author shows that the Bloch-Kato conjecture, as proved by Voevodsky and Rost, implies that \({\mathcal H}^{q+1}_{{\mathcal D}}(\mathbb{Z}(q))\) is torsion-free. Therefore \(H^0(X,{\mathcal H}^{q+1}_{{\mathcal D}}(\mathbb{Z}(q)))= 0\) if \(X\) is unirational. In the case \(S\) is a smooth projective surface over \(\mathbb{C}\), then the group \(H^0(S,{\mathcal H}^2_{{\mathcal D}}(\mathbb{Z}(2)))\) is uniquely divisible. If moreover \(p_g(S)=0\), then \(H^0(S,{\mathcal H}^3_{{\mathcal D}}(\mathbb{Z}(2)))= T(X)\), where \(T(X)\) is the Albanese kernel, a result that already appeared by \textit{A. Rosenschon} [\(K\)-Theory 16, No. 2, 185--199 (1999; Zbl 0922.19002), Theorem 6.1)] and by the reviewer [Clay Math. Proc. 9, 53--74 (2010; Zbl 1273.14013), Theorem 6.3].
- Indecomposable elements in \(K_1\) of a smooth projective variety
- scientific article; zbMATH DE number 4071084
- Examples for the mod đ motivic cohomology of classifying spaces
- Chern invariants of some flat bundles in the arithmetic Deligne cohomology
- A filtration on the Chow groups of a complex projective variety
- On the Loday symbol in the Deligne-Beilinson cohomology
- scientific article; zbMATH DE number 4148269
- Remarques sur les cycles de petite dimension de certaines intersections complètes
- scientific article; zbMATH DE number 1043840
- Comparison of dualizing complexes
- On Albanese and Picard 1-motives with \({\mathbb{G}_a}\)-factors
- Unramified cohomology and the entire Hodge conjecture
- Unramified cohomology, integral coniveau filtration and Griffiths groups
- Birational invariants and decomposition of the diagonal
- Relative Beilinson monad and direct image for families of coherent sheaves
- scientific article; zbMATH DE number 742909 (Why is no real title available?)
- On the cohomology of the compactification of the Deligne-Lusztig varieties
- Deligne-Beilinson cohomology and log Hodge theory
- Torsion 1-cycles and the coniveau spectral sequence
This page was built for publication: On the Deligne-Beilinson cohomology sheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q745111)
