Question about $\mathbb{A}_\mathbb{Q}^2$ This question comes from Vakil's notes on algebraic geometry:

Describe the maximal ideals of $\mathbb{Q}[x,y]$ corresponding to
a) $(\sqrt{2},\sqrt{2})$ and $(-\sqrt{2},-\sqrt{2})$
b) $(\sqrt{2},-\sqrt{2})$ and $(-\sqrt{2},\sqrt{2})$
and their residue fields.

I figured that the ideals are $(x-y, y^2-2)$ and $(x+y, y^2-2)$ with residue fields $\mathbb{Q}(\sqrt{2})$. I was initially considering $(x^2-2,y^2-2)$ but that doesn't work since we don't get the relationship between $x$ and $y$ that we need in both cases, but  Ravi mentions in his notes (top of p. 108) that the first sets of points are glued together and so are the second sets since they are Galois conjugates. But I'm confused about two things:

*

*Is this ideal maximal? I believe it is, since $\mathbb{Q}[x,y]/(x^2-2,y^2-2) \cong \mathbb{Q}(\sqrt{2})$ - i.e. a field. Though I might be mistaken.


*What does 'Galois conjugate' mean here? Because all four points seem to correspond to the ideal I wrote above, so shouldn't they all be glued together? (I understand what Galois conjugates mean over 1 variable, but I'm a bit confused with this 2 variable example)
 A: *

*We may write $\Bbb Q[x,y]/(x^2-2,y^2-2)\cong (\Bbb Q[x]/(x^2-2))\otimes_{\Bbb Q} (\Bbb Q[y]/(y^2-2))$ which is isomorphic to $\Bbb Q(\sqrt{2})\otimes_{\Bbb Q} \Bbb Q[y]/(y^2-2)$, or $\Bbb Q(\sqrt{2})[y]/(y^2-2)\cong \Bbb Q(\sqrt{2})\times\Bbb Q(\sqrt{2})$. Another way to check that your guess is wrong is to compute $(x+y)(x-y)$ and note that neither $x+y$ or $x-y$ are zero.


*The Galois action on the coordinate algebra $\Bbb Q(\sqrt{2})[x,y]$ by is by acting on the coefficients of the polynomials. This gives that the Galois action on coordinates is the diagonal action (and that there's an inverse hiding somewhere - but since this group is of order two, we don't really have to think about that). To be specific, the two ideals $(x-\sqrt{2},y-\sqrt{2})$ and $(x+\sqrt{2},y+\sqrt{2})$ are Galois conjugate because the Galois action swaps $\sqrt{2}$ and $-\sqrt{2}$, so the points $(\sqrt{2},\sqrt{2})$ and $(-\sqrt{2},-\sqrt{2})$ are conjugate. The other pair of points works the same way.
