4
$\begingroup$

Let $X=V(xy) \subset \mathbb{C}^2$ be the affine algebraic set. (coordinate axes)

How can it be defined the local ring of $X$ at a point $P=(0,b)$ and $Q=(0,0)$?

My textbook only defines local ring for irreducible varieties. So I don't know the case of not irreducible sets.

I thought for $P$, $P$ is in $V(x)$ so the local ring of $V(x)$ at $P$. Is it right? But I have no ideas for the origin.

  • 2
    How does your textbook define the local ring for irreducible varieties? If you just change "irreducible variety" to "affine algebraic set" in the definition, does it still work?2012-09-22
  • 2
    The local ring really is a "local" property, so yes the local ring of $V(x)$ at $P$ is isomorphic to the local ring of $V(xy)$ at $P$. You might want to try calculating it both ways (see Dustin's comment) and check that you get the same thing.2012-09-22
  • 0
    My book's definition: the local ring of $V$ at a point $P$ is the ring of $f \in k(V)$ where $f$ is regular at $P$. (i.e. has a representation $f=g/h$ with $h(P) \neq 0$).2012-09-22
  • 0
    So if I want to expand the definition, the field $k(V)$ is at first in trouble, since $k[V]$ is not an int dom.2012-09-22
  • 4
    In general, the local ring at $Q$ in a Zariski-closed subset $X$ of $\mathbb{A}^n$ will be $k[x_1, \ldots, x_n] / I(X)$ localised at the maximal ideal $\mathfrak{m}_Q$ corresponding to $Q$.2012-09-22

1 Answers 1

7

As Zhen mentions in the comments, the local ring of $V(xy)\subseteq\Bbb C^2$ is the localization $\left(\dfrac{\Bbb C[x,y]}{(xy)}\right)_{(x,y)},$ since $(x,y)$ is the maximal ideal corresponding to the point $(0,0).$

An important property of localization is that it commutes with quotients. In this case, we have $\left(\dfrac{\Bbb C[x,y]}{(xy)}\right)_{(x,y)}=\dfrac{\Bbb C[x,y]_{(x,y)}}{(xy)}.$ Since we know that $\Bbb C[x,y]_{(x,y)}$ is the subring of $\Bbb C(x,y)$ consisting of elements $\dfrac{f(x,y)}{g(x,y)}$ satisfying $g(0,0)\neq 0,$ we can see that $\dfrac{\Bbb C[x,y]_{(x,y)}}{(xy)}$ consists of elements $\dfrac{f(x,y)}{g(x,y)}$ where $g(0,0)\neq 0,$ but also where $f(x,y),g(x,y)$ can have no mixed term monomials $x^\alpha y^\beta$ with $\alpha,\beta\neq 0$ with nonzero coefficient.