On the Néron-Severi group of a singular variety. (Q4025263)

Let \(X\) be a proper integral variety over the complex numbers, with arbitrary singularities. Let \(X_{an}\) be the associated analytic space, and let \(\omega:X_{an}\to X_{Zar}\) be the natural continuous map; let \({\mathcal H}^ 1=R^ 2\omega_ *\mathbb{Z}\). Then by results of Bloch and Ogus, \(H^ 1(X_{Zar},{\mathcal H}^ 1)\) is isomorphic to the subgroup of the singular cohomology group \(H^ 2(X_{an},\mathbb{Z})\) consisting of locally trivial cycles. If \(X\) is non-singular, this is just \(\text{NS}(X)\), the Néron-Severi group of \(X\). When \(X\) has arbitrary singularities, we associate to it a lattice \(\nabla(X)\), which fits into an exact sequence \[ \text{Pic} X@>c\ell>>H^ 1(X_{Zar},{\mathcal H}^ 1)\to\nabla (X)\to 0, \] where the composite \(\text{Pic} X\to H^ 1(X_{Zar},{\mathcal H}^ 1)\hookrightarrow H^ 2(X_{an},\mathbb{Z})\) is the cycle class map. We obtain an inclusion of the profinite completion, which bounds the rank of \(\nabla(X)\), {\(\widehat{\nabla(X)}\hookrightarrow T(H^ 2(X,{\mathcal O}^*_ X))\),}\((T\) denotes the Tate module) and we prove this is an isomorphism if \(H^ 2(X,{\mathcal H}^ 1)\) is a finitely generated abelian group. We prove this finite generation statement when \(X\) is normal. We use this to give an example where \(\nabla(X)\) is non-trivial. We also briefly discuss the case when \(X\) is non-complete.