We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish homotopica
l purity and blow-up theorems for finite abelian groups.
We show that Shipleys detection functor for symmetric spectra generalizes to motivic symmetric spectra. As an application, we construct motivic strict ring spectra representing morphic cohomology, semi-topological $K$-theory, and semi-topological cob
ordism for complex varieties. As a further application to semi-topological cobordism, we show that it is related to semi-topological $K$-theory via a Conner-Floyd type isomorphism and that after inverting a lift of the Friedlander-Mazur $s$-element in morphic cohomology, semi-topological cobordism becomes isomorphic to periodic complex cobordism.
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 generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.
