La respuesta de Benjamin Antineau necesita una pequeña corrección. Para $X= spec (k)$ tenemos $CH^n (X, n) = K^M _n (k)$ no $CH^{2n} (X, n)$ . De hecho no se sabe demasiado, pero es un tema muy interesante (al menos para mí) para seguir. Un buen comienzo sería el artículo de Burt Totaro 'Milnor K-theory is the simplest part of K-theory' o algo de título similar, donde se puede encontrar la versión cúbica del mismo. Utilizando $\mathbb{A}^1$ -con algunos argumentos de la secuencia espectral, se puede demostrar que la "versión simplicial" y la "versión cúbica" son isomorfas y, por tanto, equivalentes.
Volviendo a la pregunta de Peter Arndt sobre la "intuición", lo más fácil sería verlo como una versión algebro-geométrica de la teoría de la homología singular.
Por ejemplo, cuando $X$ es un espacio topológico, un singular $n$ -está dado por un mapa continuo $s: \Delta ^n \to X$ . Recogemos sus sumas finitas formales sobre los enteros, y aplicamos algunos formalismos simpliciales. Así obtenemos el complejo singular.
Cuando $X$ es una variedad, el problema es malo, incluso si tomamos $\Delta^n$ para ser el n-símplex algebraico. Un problema sería que no hay suficientes morfismos de variedades $s: \Delta^n \to X$ para empezar. Entonces, una salida es tomar todas las "correspondencias", es decir, las subvariedades cerradas en el espacio del producto $\Delta^n \times X$ . Un problema que aún persiste aquí es que, para poder aplicar el formalismo simplicial, hay que tener una buena propiedad de intersección de correspondencias con las caras de $\Delta^n$ , pero tomando todos los ciclos algebraicos, uno puede no conseguirlo. En consecuencia, ponemos condiciones como la intersección adecuada con todas las caras.
Por eso definimos las cosas de esta manera.
En cuanto a la cuestión de lo que hace el kernel/imagen: es difícil explicarlo todo, pero puede valer la pena prestar atención al caso más sencillo: por ejemplo, $z^i (X, 0)$ es la codimensión i de los ciclos algebraicos en $X$ y el mapa de límites $z^i (X, 1) \to z^i (X, 0)$ por definición da la equivalencia racional de los ciclos en $X$ . De este modo, a partir del cokernel, por ejemplo, recuperamos el grupo de Chow.