Example 45.3.7. Let $X = \mathbf{P}^1_ k$. Then we have

$\text{Corr}^0(X, X) = \mathop{\mathrm{CH}}\nolimits ^1(X \times X) = \mathop{\mathrm{CH}}\nolimits _1(X \times X)$

Choose a $k$-rational point $x \in X$ and consider the cycles $c_0 = [x \times X]$ and $c_2 = [X \times x]$. A computation shows that $1 = [\Delta ] = c_0 + c_2$ in $\text{Corr}^0(X, X)$ and that we have the following rules for composition $c_0 \circ c_0 = c_0$, $c_0 \circ c_2 = 0$, $c_2 \circ c_0 = 0$, and $c_2 \circ c_2 = c_2$. In other words, $c_0$ and $c_2$ are orthogonal idempotents in the algebra $\text{Corr}^0(X, X)$ and in fact we get

$\text{Corr}^0(X, X) = \mathbf{Q} \times \mathbf{Q}$

as a $\mathbf{Q}$-algebra.

Comment #7550 by Hao Peng on

$\CH^1$ should tensor with $\bb Q$.

Comment #7551 by Hao Peng on

$CH^*(X\times X)$ should be tensored with $\mathcal Q$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).