# Structure sheaf of affine variety consists of noetherian rings

Let $X\subseteq \mathbb{A}^n$ be an affine variety.

The local ring of $X$ at $p\in X$, given by $\mathcal{O}_{X,p}=\{f\in k(X):f \text{ regular at } p\}$ is noetherian because it is a localization of $k[X]$.

If $U\subseteq X$ is open, let $\mathcal{O}_X(U)=\bigcap_{p\in U}\mathcal{O}_{X,p}$. Is this ring noetherian as well?

• $O_X(U)$ is also a localization of $k[X]$.
– YCor
Mar 17, 2016 at 18:23
• @DenisNardin Are you saying $\mathcal{O}_X(U)=\{\frac{f}{g}\mid f,g\in k[X], g(p)\neq 0\forall p\in U\}$?. Because this is not true. Consider $X=V(xy-zw)\subseteq\mathbb{A}^4$, and $U=U_y\cup U_w$, where $U_y=\{(x,y,z,w)\mid y\neq 0\}$ and $U_w=\{(x,y,z,w)\mid w\neq 0\}$. Then there is $h\in\mathcal{O}_X(U)$ such that $h=\frac{z}{y}$ in $U_y$ and $h=\frac{x}{w}$ in $U_w$, but there is no global expression for $h$. Mar 17, 2016 at 18:59
• Why the downvote? Mar 18, 2016 at 1:04
• @Fan Zheng is absolutely right: this is a very interesting and highly non-trivial question. I'm upvoting it right now. Mar 27, 2016 at 10:47
• I started a bounty for my original question: math.stackexchange.com/questions/1696350/… I am going to delete this version of the question in a couple of days. Mar 27, 2016 at 16:41