We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of e
quivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.
We demonstrate that a conjecture of Teh which relates the niveau filtration on Borel-Moore homology of real varieties and the images of generalized cycle maps from reduced Lawson homology is false. We show that the niveau filtration on reduced Lawson
homology is trivial and construct an explicit class of examples for which Tehs conjecture fails by generalizing a result of Schulting. We compare various cycle maps and in particular we show that the Borel-Haeflinger cycle map naturally factors through the reduced Lawson homology cycle map.
We establish an Atiyah-Hirzebruch type spectral sequence relating real morphic cohomology and real semi-topological K-theory and prove it to be compatible with the Atiyah-Hirzebruch spectral sequence relating Bredon cohomology and Atiyahs KR-theory c
onstructed by Dugger. An equivariant and a real version of Suslins conjecture on morphic cohomology are formulated, proved to come from the complex version of Suslin conjecture and verified for certain real varieties. In conjunction with the spectral sequences constructed here this allows the computation of the real semi-topological K-theory of some real varieties. As another application of this spectral sequence we give an alternate proof of the Lichtenbaum-Quillen conjecture over $R$, extending an earlier proof of Karoubi and Weibel.
We establish the analogue of the Friedlander-Mazur conjecture for Tehs reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety $X$ vanishes in homological degrees larger than th
e dimension of $X$ in all weights. As an application we obtain a vanishing of homotopy groups of the mod-2 topological groups of averaged cycles and a characterization in a range of indices of the motivic cohomology of a real variety as homotopy groups of the complex of averaged equidimensional cycles. We also establish an equivariant Poincare duality between equivariant Friedlander-Walker real morphic cohomology and dos Santos real Lawson homology. We use this together with an equivariant extension of the mod-2 Beilinson-Lichtenbaum conjecture to compute some real Lawson homology groups in terms of Bredon cohomology.
