I am reading the cycle class map for singular projective varieties as mentioned by Laterveer in [this](https://arxiv.org/pdf/1507.04483.pdf) article (see Definition $1$). The article does not define the map but refers to an article of Totaro, which also does not define the map but refers to the article "Non-archimedean Arakelov theory" by Bloch, Gillet and Soule, which is published in JAG in 1995 and is not available online. Can someone give a bit more details on this map (or an alternate reference)? For example, the authors say that this map is functorial. I do not quite understand what this means, as the cohomology group is functorial under pull-back and the Chow-group is functorial under proper pushforward and flat pull-back? Moreover, does the image of the composition
$$\mathrm{A}^p(X) \xrightarrow{cl} \mathrm{Gr}^{W}\_{2p}H^{2p}(X,\mathbb{Q}) \xrightarrow{rest.} \mathrm{Gr}^{W}\_{2p}H^{2p}(X\_{\mathrm{smooth}},\mathbb{Q})$$
is the same the usual cycle class map
$$A^p(X\_{\mathrm{smooth}}) \xrightarrow{cl} H\_{2n-2p}^{\mathrm{BM}}(X\_{\mathrm{smooth}}) \xrightarrow{P.D.} 
H^{2p}(X\_{\mathrm{smooth}})?$$
What is the pull-back of the image of the singular cycle class map to the cohomology on
the resolution of singularities?



Cycle class map for singular varieties
Suppose for simplicity $X$ is proper. Choose a smooth simplicial resolution $X\_\bullet \to X$. We can assume that $X\_0\to X$ is a resolution of singularities. By (a careful reading of) Deligne, *Théorie de Hodge III*, we have an exact sequence
$$0\to Gr^W\_{i} H^i(X)\to H^i(X\_0)\to H^i(X\_1)$$
where the second map is the difference of pullbacks along the structure maps $X\_1\to X\_0$.
Now as naf says, in a comment, the operational Chow group is functorial. Therefore the we can compose to get
$$A^p(X)\to A^p(X\_0)\to H^{2p}(X\_0)$$
The image maps to $0$ in $H^{2p}(X\_1)$. So you have your cycle map.


(I don't have access to Bloch-Gillet-Soulé either, but I assume it's the same map as theirs.)


