The Stacks project

Example 42.19.5. Here is a “strange” example. Suppose that $S$ is the spectrum of a field $k$ with $\delta $ as in Example 42.7.2. Suppose that $X = C_1 \cup C_2 \cup \ldots $ is an infinite union of curves $C_ j \cong \mathbf{P}^1_ k$ glued together in the following way: The point $\infty \in C_ j$ is glued transversally to the point $0 \in C_{j + 1}$ for $j = 1, 2, 3, \ldots $. Take the point $0 \in C_1$. This gives a zero cycle $[0] \in Z_0(X)$. The “strangeness” in this situation is that actually $[0] \sim _{rat} 0$! Namely we can choose the rational function $f_ j \in R(C_ j)$ to be the function which has a simple zero at $0$ and a simple pole at $\infty $ and no other zeros or poles. Then we see that the sum $\sum (i_ j)_*\text{div}(f_ j)$ is exactly the $0$-cycle $[0]$. In fact it turns out that $\mathop{\mathrm{CH}}\nolimits _0(X) = 0$ in this example. If you find this too bizarre, then you can just make sure your spaces are always quasi-compact (so $X$ does not even exist for you).

Comments (0)

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 02RY. Beware of the difference between the letter 'O' and the digit '0'.