MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We know that there is an equivalence of categories between the two following categories:

$1)$ Classical varieties over $k$, where $k$ is an algebraically closed field. (Informally I mean locally ringed spaces formed by patching affine irriducible algebraic sets over $k$. This is the definition of algebraic variety present for example in Perrin's book.)

$2)$ Schemes over $k$ which are integral and of finite type over $k$

Now I need an example, if it does exist, of two non isomorphic (as classical varieties) algebraic sets that are non isomorphic as $k$-schemes (this is obvious by the previous functor) but isomorphic in the category of schemes.

To be more specific I need two non isomorphic algebraic sets such that when I use the above functor $1)\longrightarrow 2)$ and then I forget the structure morphism on Spec $k$, I finally obtain two isomorphic schemes.

Thanks in advance

share|cite|improve this question
I've edited. $k$ It is an algebraically closed field. I'm sorry. – Dubious Feb 18 '14 at 21:05
To obtain what you want, you just have to take an algebraic variety an let an automorphism of $k$ act on the coefficients. This way you get plenty of examples. – Damian Rössler Feb 18 '14 at 22:35
up vote 23 down vote accepted

Let's say $k=\mathbb{C}$ (although something like this should work over any algebraically closed field). Let $V_1=\mathbb{P}^1-\{0,1,\infty,\pi\}$ and $V_2 = \mathbb{P}^1-\{0,1,\infty,e\}$. One can see that $V_1$ and $V_2$ are not isomorphic as varieties/schemes over $\mathbb{C}$: such an isomorphism would extend to a map $\mathbb{P}^1\to\mathbb{P}^1$ taking $\{0,1,\infty,\pi\}$ to $\{0,1,\infty,e\}$, which cannot exist because the cross ratio of any permutation of $\{0,1,\infty,\pi\}$ does not equal the cross ratio of $\{0,1,\infty,e\}$. However, there exists an abstract field automorphism $\sigma$ of $\mathbb{C}$ taking $\pi$ to $e$, so there will be an isomorphism of schemes $V_1\to V_2$ which is $\sigma$-semilinear.

share|cite|improve this answer
Nice, probably most simple, example! – Sasha Anan'in Feb 18 '14 at 21:39
Thanks, I will accept this answer in the next future. – Dubious Feb 18 '14 at 22:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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