An explicit cycle map for the motivic cohomology of real varieties (Q2403291)

Summary: We provide a direct construction of a cycle map in the level of representing complexes from the motivic cohomology of real (or complex) varieties to the appropriate ordinary cohomology theory. For complex varieties, this is simply integral Betti cohomology, whereas for real varieties the recipient theory is the bigraded \(\mathrm{Gal}(\mathbb{C}/\mathbb{R})\)-equivariant cohomology [\textit{G. Lewis} et al., Bull. Am. Math. Soc., New Ser. 4, 208--212 (1981; Zbl 0477.55009)]. Using the finite analytic correspondences from \textit{P. F. dos Santos} et al. [Contemp. Math. 646, 19--40 (2015; Zbl 1346.14052)] we provide a sheaf-theoretic approach to ordinary equivariant \(RO(G)\)-graded cohomology for any finite group \(G\). In particular, this gives a complex of sheaves \(\mathbb{Z}(p)_\omega\) on a suitable equivariant site of real analytic manifolds-with-corner whose construction closely parallels that of the Voevodsky's motivic complexes \(\mathbb{Z}(p)_{\mathcal{M}}\). Our cycle map is induced by the change of sites functor that assigns to a real variety \(X\) its analytic space \(X(\mathbb{C})\) together with the complex conjugation involution.