Equivariant connective 𝐾-theory

For separated schemes of finite type over a field with an action of an affine group scheme of finite type, we construct the bi-graded equivariant connective K K -theory mapping to the equivariant K K -homology of Guillot and the equivariant algebraic K K -theory of Thomason. It has all the standard basic properties as the homotopy invariance and localization. We also get the equivariant version of the Brown-Gersten-Quillen spectral sequence and study its convergence.