5
$\begingroup$

I am having some difficulty lining up the definition and my intuition for rational equivalence of cycles. My intuition is based off of the idea that two cycles being rationally equivalent is analogous to the two cycles being homotopic.

If it is requested of me to state the definition of rational equivalence, I will; for the moment I will refrain and simply link to the wikipedia page for the chow ring and adequate equivalence relation.

Here are two examples that I have thought of that are giving me trouble.

  1. In $\mathbb{k}[x,y]$, consider the line given by $x = 0$ and the unit circle. By taking the rational function $\frac{x^2+y^2 - 1}{x}$ on $\mathbb{k}[x,y]$, we get that these two are rationally equivalent. These two being homotopic is only semi-okay with me. I can imagine making the circle larger and larger, making it look more and more like a line. But it seems to me that the final step of taking it to the line is not allowed by homotopy.

  2. Consider the 2-torus $\mathbb{T}$, thought of as sitting in $\mathbb{A}^3$ with center at the origin. Let $S_1$ be (one of the) circles obtained by intersecting $\mathbb{T}$ with the $xy$-plane, and let $a$ be the regular function defining it. Let $S_2$ be one of the circles obtained by intersecting with the $xz$-plane, and $b$ the regular function defining it. Then the rational function $\frac{a}{b}$ gives a rational equivalence of $S_1$ and $S_2$. This goes very much against my intuition.

Hopefully somebody will tell me where I am going wrong in my thinking.

$\endgroup$
1
  • 3
    $\begingroup$ If you formally replace the interval by the affine line in your definition of homotopy and force the result to be an equivalence relation, then rational equivalence is what you get. But perhaps you knew that. $\endgroup$ Oct 3, 2012 at 13:42

1 Answer 1

12
$\begingroup$

Any codimension 1 cycle that is defined by a regular function is already zero in the Chow group. So your question should not be "Why are the line $x=0$ and the unit circle rationally equivalent to each other?" but rather "Why is the line $x=0$ rationally equivalent to zero?" (and ditto for the unit circle).

The answer is that either of these divisors can be "moved to infinity" and hence out of the affine plane altogether. (E.g. you can think of the graph of the regular function $x$ as a path that takes the line at $x=0$ to the (missing) line $x=\infty$.

$\endgroup$
1
  • $\begingroup$ Ah, of course. Thanks, that was really bugging me. $\endgroup$
    – OMYAC
    Oct 3, 2012 at 21:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.