1: \begin{definition}

2: We define a presheaf of complexes $p_*z^i_\rel $ on $\MSm ^*/\forget B\GL _r$ by the rules below.

3: Its value at $(\mfr{X}/(S_\lambda ,S^\infty _\lambda ) \xrightarrow{\alpha }\forget B\GL _r)$ is: 

4: \[ z^i_{w_\lambda ,e_\lambda }(\bbP ^{r-1}\times \mfr{X},\bullet ) \]%\qquad (\text{resp. }z^i_{w_\lambda ,e_\lambda }(\bbP ^{r-1}\times {X},\bullet )). \]

5: %

6: It has the following presheaf structure coming from the projective bundle $p\colon \bbP (E\GL _r)\to B\GL _r$. 

7: Let $\seqdots{1}{n}{\alpha }$ be the components of $\alpha \colon X\to B_n\GL _r =(\GL _r)^n$.

8: Given a morphism $(f\colon \mfr{X}\to \mfr{Y},\theta \colon [m]\to [n])$ in $\MSm ^*/\forget B\GL _r$, %as in the diagram below,

9: %% Eq

10: %\[ \xymatrix{ 

11: %\mfr{X} \ar[r]^(0.4){\alpha } \ar[d]_f

12: %& \forget B_n\GL _r \ar[d]^{B\GL _r(\theta )}

13: %\\%

14: %\mfr{Y} \ar[r]^(0.4){\beta }

15: %& \forget B_m\GL _r ,

16: %} \]

17: %% Eq ends

18: we define a map 

19: %%

20: \[ \bbP (f,\theta )\colon \bbP ^{r-1}\times X\to \bbP ^{r-1}\times Y;\quad (z,x)\mapsto (z\alpha _1(x)\cdots \alpha _{\theta (0)}(x),f(x) ). \]

21: %%

22: Then the presheaf structure is

23: %%

24: \[ (p_*z^i_\rel )(f,\theta ):=\bbP (f,\theta )^*\colon z^i_{\rel }(\bbP ^{r-1}\times \mfr{Y},\bullet )\to z^i_{\rel }(\bbP ^{r-1}\times \mfr{X},\bullet ). \]

25: %%

26: %(resp.\ $\bbP (f,\theta )^* $ on the non-modulus cycle complex).

27: Note that the inclusion $z^i_{w_\lambda ,e_\lambda }(\bbP ^{r-1}\times \mfr{X},\bullet )\hookrightarrow z^i(\bbP ^{r-1}\times \mfr{X},\bullet )$

28: is a Nisnevich-local quasi-isomorphism by Theorem \ref{MovingVariant}. 

29: \end{definition}

30: