Let $G$ be an affine group that acts on a variety $X$. Equivariant sheaves on $X$ could be defined in the following way. Consider the simplicial space $X_\bullet$ : $X_n := G^n \times X$, $s_0:X_0 \to X_1$ defined by $s_0(x)=(1,x)$ and $d_i:X_n \to X_{n-1}$ defined by

- $d_0(g_1,\dots,g_n,x) = (g_2,\dots,g_n,g_1^{-1}x)$,
- $d_i(g_1,\dots,g_n,x) = (g_1,\dots,g_ig_{i+1},\dots,g_n,x)$ if $0<i<n$,
- $d_n(g_1,\dots,g_n,x) = (g_1,\dots,g_{n-1},x)$.

Define a $G$-equivariant sheaf as a pair $(F,\theta)$, where $F$ is a quisi-coherent sheaf on $X$ and $\theta:d_1^*F \to d_0^*F$ is an isomorphism of sheaves satisfying the cocycle conditions: $d_2^*\theta \circ d_0^*\theta = d_1^*\theta$ and $s_0^*\theta = \mathrm{id}_F$.

What is the meaning of this simplicial scheme $X_\bullet$? Are there any relations with space $BG$ or group cohomology? Why this is a cocycle condition i.e. what is a cohomology theory?