Bloch's higher Chow group

In algebraic geometry, Bloch's higher Chow groups, a generalization of Chow group, is a precursor and a basic example of motivic cohomology (for smooth varieties). It was introduced by Spencer Bloch (Bloch 1986) harv error: no target: CITEREFBloch1986 (help) and the basic theory has been developed by Bloch and Marc Levine.

In more precise terms, a theorem of Voevodsky[1] implies: for a smooth scheme X over a field and integers p, q, there is a natural isomorphism

${\displaystyle \operatorname {H} ^{p}(X;\mathbb {Z} (q))\simeq \operatorname {CH} ^{q}(X,2q-p)}$

between motivic cohomology groups and higher Chow groups.

Motivation

One of the motivations for higher Chow groups comes from homotopy theory. In particular, if ${\displaystyle \alpha ,\beta \in Z_{*}(X)}$ are algebraic cycles in ${\displaystyle X}$ which are rationally equivalent via a cycle ${\displaystyle \gamma \in Z_{*}(X\times \Delta ^{1})}$, then ${\displaystyle \gamma }$ can be thought of as a path between ${\displaystyle \alpha }$ and ${\displaystyle \beta }$, and the higher Chow groups are meant to encode the information of higher homotopy coherence. For example,

${\displaystyle {\text{CH}}^{*}(X,0)}$

can be thought of as the homotopy classes of cycles while

${\displaystyle {\text{CH}}^{*}(X,1)}$

can be thought of as the homotopy classes of homotopies of cycles.

Definition

Let X be a quasi-projective algebraic scheme over a field (“algebraic” means separated and of finite type).

For each integer ${\displaystyle q\geq 0}$, define

${\displaystyle \Delta ^{q}=\operatorname {Spec} (\mathbb {Z} [t_{0},\dots ,t_{q}]/(t_{0}+\dots +t_{q}-1)),}$

which is an algebraic analog of a standard q-simplex. For each sequence ${\displaystyle 0\leq i_{1}<i_{2}<\cdots <i_{r}\leq q}$, the closed subscheme ${\displaystyle t_{i_{1}}=t_{i_{2}}=\cdots =t_{i_{r}}=0}$, which is isomorphic to ${\displaystyle \Delta ^{q-r}}$, is called a face of ${\displaystyle \Delta ^{q}}$.

For each i, there is the embedding

${\displaystyle \partial _{q,i}:\Delta ^{q-1}{\overset {\sim }{\to }}\{t_{i}=0\}\subset \Delta ^{q}.}$

We write ${\displaystyle Z_{i}(X)}$ for the group of algebraic i-cycles on X and ${\displaystyle z_{r}(X,q)\subset Z_{r+q}(X\times \Delta ^{q})}$ for the subgroup generated by closed subvarieties that intersect properly with ${\displaystyle X\times F}$ for each face F of ${\displaystyle \Delta ^{q}}$.

Since ${\displaystyle \partial _{X,q,i}=\operatorname {id} _{X}\times \partial _{q,i}:X\times \Delta ^{q-1}\hookrightarrow X\times \Delta ^{q}}$ is an effective Cartier divisor, there is the Gysin homomorphism:

${\displaystyle \partial _{X,q,i}^{*}:z_{r}(X,q)\to z_{r}(X,q-1)}$,

that (by definition) maps a subvariety V to the intersection ${\displaystyle (X\times \{t_{i}=0\})\cap V.}$

Define the boundary operator ${\displaystyle d_{q}=\sum _{i=0}^{q}(-1)^{i}\partial _{X,q,i}^{*}}$ which yields the chain complex

${\displaystyle \cdots \to z_{r}(X,q){\overset {d_{q}}{\to }}z_{r}(X,q-1){\overset {d_{q-1}}{\to }}\cdots {\overset {d_{1}}{\to }}z_{r}(X,0).}$

Finally, the q-th higher Chow group of X is defined as the q-th homology of the above complex:

${\displaystyle \operatorname {CH} _{r}(X,q):=\operatorname {H} _{q}(z_{r}(X,\cdot )).}$

(More simply, since ${\displaystyle z_{r}(X,\cdot )}$ is naturally a simplicial abelian group, in view of the Dold–Kan correspondence, higher Chow groups can also be defined as homotopy groups ${\displaystyle \operatorname {CH} _{r}(X,q):=\pi _{q}z_{r}(X,\cdot )}$.)

For example, if ${\displaystyle V\subset X\times \triangle ^{1}}$[2] is a closed subvariety such that the intersections ${\displaystyle V(0),V(\infty )}$ with the faces ${\displaystyle 0,\infty }$ are proper, then ${\displaystyle d_{1}(V)=V(0)-V(\infty )}$ and this means, by Proposition 1.6. in Fulton’s intersection theory, that the image of ${\displaystyle d_{1}}$ is precisely the group of cycles rationally equivalent to zero; that is,

${\displaystyle \operatorname {CH} _{r}(X,0)=}$ the r-th Chow group of X.

Properties

Functoriality

Proper maps ${\displaystyle f:X\to Y}$ are covariant between the higher chow groups while flat maps are contravariant. Also, whenever ${\displaystyle X}$ is smooth, any map from ${\displaystyle X}$ is covariant.

Homotopy invariance

If ${\displaystyle E\to X}$ is an algebraic vector bundle, then there is the homotopy equivalence

${\displaystyle {\text{CH}}^{*}(X,n)\cong {\text{CH}}^{*}(E,n)}$

Localization

Given a closed equidimensional subscheme ${\displaystyle Y\subset X}$ there is a localization long exact sequence

${\displaystyle {\begin{aligned}\cdots \\{\text{CH}}^{*-d}(Y,2)\to {\text{CH}}^{*}(X,2)\to {\text{CH}}^{*}(U,2)\to &\\{\text{CH}}^{*-d}(Y,1)\to {\text{CH}}^{*}(X,1)\to {\text{CH}}^{*}(U,1)\to &\\{\text{CH}}^{*-d}(Y,0)\to {\text{CH}}^{*}(X,0)\to {\text{CH}}^{*}(U,0)\to &{\text{ }}0\end{aligned}}}$

where ${\displaystyle U=X-Y}$. In particular, this shows the higher chow groups naturally extend the exact sequence of chow groups.

Localization theorem

(Bloch 1994) harv error: no target: CITEREFBloch1994 (help) showed that, given an open subset ${\displaystyle U\subset X}$, for ${\displaystyle Y=X-U}$,

${\displaystyle z(X,\cdot )/z(Y,\cdot )\to z(U,\cdot )}$

is a homotopy equivalence. In particular, if ${\displaystyle Y}$ has pure codimension, then it yields the long exact sequence for higher Chow groups (called the localization sequence).

References

1. Lecture Notes on Motivic Cohomology (PDF). Clay Math Monographs. p. 159.
2. Here, we identify ${\displaystyle \triangle ^{1}}$ with a subscheme of ${\displaystyle \mathbb {P} ^{1}}$ and then, without loss of generality, assume one vertex is the origin 0 and the other is ∞.

• S. Bloch, “Algebraic cycles and higher K-theory,” Adv. Math. 61 (1986), 267–304.
• S. Bloch, “The moving lemma for higher Chow groups,” J. Algebraic Geom. 3, 537–568 (1994)
• Peter Haine, An Overview of Motivic Cohomology
• Vladmir Voevodsky, “Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic,” International Mathematics Research Notices 7 (2002), 351–355.