The Stacks project

Lemma 45.4.4. With notation as in Example 45.3.7

  1. the motive $(X, c_0, 0)$ is isomorphic to the motive $\mathbf{1} = (\mathop{\mathrm{Spec}}(k), 1, 0)$.

  2. the motive $(X, c_2, 0)$ is isomorphic to the motive $\mathbf{1}(-1) = (\mathop{\mathrm{Spec}}(k), 1, -1)$.

Proof. We will use Lemma 45.3.4 without further mention. The structure morphism $X \to \mathop{\mathrm{Spec}}(k)$ gives a correspondence $a \in \text{Corr}^0(\mathop{\mathrm{Spec}}(k), X)$. On the other hand, the rational point $x$ is a morphism $\mathop{\mathrm{Spec}}(k) \to X$ which gives a correspondence $b \in \text{Corr}^0(X, \mathop{\mathrm{Spec}}(k))$. We have $b \circ a = 1$ as a correspondence on $\mathop{\mathrm{Spec}}(k)$. The composition $a \circ b$ corresponds to the graph of the composition $X \to x \to X$ which is $c_0 = [x \times X]$. Thus $a = a \circ b \circ a = c_0 \circ a$ and $b = a \circ b \circ a = b \circ c_0$. Hence, unwinding the definitions, we see that $a$ and $b$ are mutually inverse morphisms $a : (\mathop{\mathrm{Spec}}(k), 1, 0) \to (X, c_0, 0)$ and $b : (X, c_0, 0) \to (\mathop{\mathrm{Spec}}(k), 1, 0)$.

We will proceed exactly as above to prove the second statement. Denote

\[ a' \in \text{Corr}^1(\mathop{\mathrm{Spec}}(k), X) = \mathop{\mathrm{CH}}\nolimits ^1(X) \]

the class of the point $x$. Denote

\[ b' \in \text{Corr}^{-1}(X, \mathop{\mathrm{Spec}}(k)) = \mathop{\mathrm{CH}}\nolimits _1(X) \]

the class of $[X]$. We have $b' \circ a' = 1$ as a correspondence on $\mathop{\mathrm{Spec}}(k)$ because $[x] \cdot [X] = [x]$ on $X = \mathop{\mathrm{Spec}}(k) \times X \times \mathop{\mathrm{Spec}}(k)$. Computing the intersection product $\text{pr}_{12}^*b' \cdot \text{pr}_{23}^*a'$ on $X \times \mathop{\mathrm{Spec}}(k) \times X$ gives the cycle $X \times \mathop{\mathrm{Spec}}(k) \times x$. Hence the composition $a' \circ b'$ is equal to $c_2$ as a correspondence on $X$. Thus $a' = a' \circ b \circ a' = c_2 \circ a'$ and $b' = b' \circ a' \circ b' = b' \circ c_2$. Recall that

\[ \mathop{\mathrm{Mor}}\nolimits ((\mathop{\mathrm{Spec}}(k), 1, -1), (X, c_2, 0)) = c_2 \circ \text{Corr}^1(\mathop{\mathrm{Spec}}(k), X) \subset \text{Corr}^1(\mathop{\mathrm{Spec}}(k), X) \]

and

\[ \mathop{\mathrm{Mor}}\nolimits ((X, c_2, 0), (\mathop{\mathrm{Spec}}(k), 1, -1)) = \text{Corr}^{-1}(X, \mathop{\mathrm{Spec}}(k)) \circ c_2 \subset \text{Corr}^{-1}(X, \mathop{\mathrm{Spec}}(k)) \]

Hence, we see that $a'$ and $b'$ are mutually inverse morphisms $a' : (\mathop{\mathrm{Spec}}(k), 1, -1) \to (X, c_0, 0)$ and $b' : (X, c_0, 0) \to (\mathop{\mathrm{Spec}}(k), 1, -1)$. $\square$


Comments (2)

Comment #9578 by Shitan Xu on

it should be "b= b \cdot a \cdot b"

Comment #9579 by Shitan Xu on

it should be "b= b \circle a \circle b"


Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FGD. Beware of the difference between the letter 'O' and the digit '0'.