Structure sheaf of affine variety consists of noetherian rings (again)

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?

Note This question has already been asked here before, but was migrated to stackexchange. After the migration, we seem to realize that it is not as trivial as we have thought. Hence I take the risk to crosspost it back here.

Arguments against the claim comes from Section 19.11.13 of Ravi Vakil’s notes, where he produced a variety whose ring of global section is not Noetherian. His example, though, is not affine, and it remains a question if we can produce an affine version of that example. This argument is suggested by Marco Flores et al on stackexchenge.

Added later: here is the link to the questin on stackexchange.


I am just reposting my comment as an answer.

Vakil shows in this note, §3 that you can modify the construction you refer to to get an affine example. For completeness, I’ll write down the example here.

Let $E$ be an elliptic curve over a field $k$, let $N$ be a degree $0$ non-torsion invertible sheaf, and $P$ an invertible sheaf of degree $\ge3$. Then, the total space $Y$ of the bundle $N \oplus P^*$ (where $P^*$ is the $k^*$ bundle associated to $P$) is quasi-affine, and has a ring of global sections that is non-noetherian.

Source : Link , Question Author : Fan Zheng , Answer Author : Takumi Murayama

Leave a Comment