How to prove maxSpec $\mathbb{C}[x,y]/(x^2)$ is homeomorphic to $\mathbb{A}^1$ as topological spaces?

248 Views Asked by At

I am new to algebraic geometry, and am reading the book An Invitation to Algebraic Geometry. Exercise 2.6.4 in this book asks you to prove the topological space $\displaystyle\operatorname{maxSpec}\frac{\mathbb{C}[x,y]}{(x^2)}$ is homeomorphic to $\mathbb{A}^1$. Can anyone show me how to prove?

Intuitively I think $\mathbb{A}^1$ should be homeomorphic to $\displaystyle\operatorname{maxSpec }\frac{\mathbb{C}[x,y]}{(x)}$ which is maxSpec $\mathbb{C}[x]$, and is different from $\displaystyle\operatorname{maxSpec}\frac{\mathbb{C}[x,y]}{(x^2)}$.

1

There are 1 best solutions below

5
On BEST ANSWER

The maximal ideals of ${\mathbb C}[x,y]$ containing $(x^2)$ are the same ideals as the maximal ideals of ${\mathbb C}[x,y]$ containing $(x)$.

After that, as you mention in the question, use that ${\mathbb A}^1$ is (homeomorphic to) $\text{maxSpec } {\mathbb C}[x]$.