An explicit cycle map for the motivic cohomology of real varieties
(Equivariant) Chow groups and rings; motives (14C15) Real-analytic and semi-analytic sets (14P15) Integration on analytic sets and spaces, currents (32C30) Geometric measure and integration theory, integral and normal currents in optimization (49Q15) Equivariant homology and cohomology in algebraic topology (55N91)
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.
This page was built for publication: An explicit cycle map for the motivic cohomology of real varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2403291)
