4

Let $V=V(x^2+y^2-1) \subset \mathbb{R}^2$ be an affine variety. Show that $V$ is rational, but isn't isomorphic to $\mathbb{R}^1$.

I could show that $V$ is rational, by parametrization $$x=\frac{1-t^2}{1+t^2} , y=\frac{2t}{1+t^2}, t \in \mathbb{R}$$ but I do not know how to show that $V$ isn't isomorphic to $\mathbb{R}^1$.can anyone help me?

Cgomes
  • 1,184

2 Answers2

3

Well, it's a circle, so you don't expect it to be isomorphic to a line. An isomorphism $V \simeq \mathbb R^1$ would give you an isomorphism $\mathbb R \backslash \{p\} \simeq \mathbb R$ by composing with your parametrization. Can you finish the argument?

Hope that helps,

2

It's enough to show that $\mathbb{R}[x,y]/(x^2 + y^2 - 1) \not \cong \mathbb{R}[t]$. Suppose there exists such an isomorphism which sends $x$ to $f(t)\in \mathbb{R}[t]$ and $y$ to $g(t)\in \mathbb{R}[t]$. This implies that $f^2(t) + g^2(t) - 1=0$. This is impossible if $f$ and $g$ are both non trivial polynomials with coefficients in $\mathbb{R}$. Then ...