Regular functions on affine schemes - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T17:07:04Z http://mathoverflow.net/feeds/question/19678 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/19678/regular-functions-on-affine-schemes Regular functions on affine schemes Albert N 2010-03-29T00:58:30Z 2010-03-29T07:04:04Z <p>I'm just learning the language of schemes, so I'm sorry if this seems a little elementary. Consider an affine scheme $\text{Spec}(R)$. For an ideal $I$ of $R$, denote by $U(I)$ the open subset of $\text{Spec}(R)$ consisting of prime ideals $p$ that do not contain $I$.</p> <p>Is the ring of regular functions on $U(I)$ simply $R_I$ (the localization of $R$ with respect to $I$)? If $I$ is a principal ideal, then this is one of the earliest results in Hartschorne. Also, it is easy to see that $R_I$ injects into the ring of regular functions on $U(I)$. My guess is that this injection is not surjective, but I can't seem to come up with any examples. Thanks!</p> http://mathoverflow.net/questions/19678/regular-functions-on-affine-schemes/19680#19680 Answer by auniket for Regular functions on affine schemes auniket 2010-03-29T01:43:24Z 2010-03-29T01:43:24Z <p>Well, even if $I$ is a prime ideal, elements of $R_I$ are NOT in general regular functions on $U_I$. For example if $I = \langle x, y \rangle$ in $\mathbb{C}[x,y]$ then $f := 1/(1+x) \in R_I$, but clearly $f$ is not regular everywhere on $\mathbb{C}^2\setminus{(0,0)}$. </p> http://mathoverflow.net/questions/19678/regular-functions-on-affine-schemes/19700#19700 Answer by babubba for Regular functions on affine schemes babubba 2010-03-29T07:04:04Z 2010-03-29T07:04:04Z <p>I think a good reference might be Eisenbud-Harris, Geometry of Schemes. They construct the structure sheaf $\mathcal{O}$ by specifying it on principal open subsets (viz. the 'important' ones) and extending it uniquely to other open subsets.</p> <p>On a given ring $R$, you have a basis of open sets of Spec $R$ consisting of the $\text{D}(f)$'s.</p> <p>($D(f) = Spec R - V(R\cdot f)$, where $R\cdot f$ stands for the ideal generated by $f$).</p> <p>With each $D(f)$ we associate the localization $R_f$.</p> <p>With a general open subset $U$ we associate the inverse limit of the $R_f$, for $D(f) \subseteq U$.</p> <p>More concretely, if $U = Spec R - V(I)$, then $D(f) \subseteq U$ if and only if $V(I) \subseteq V(R\cdot f)$ if and only if $f \in \sqrt{I}$. So $\mathcal{O}(U)$ is the inverse limit of the rings $R_f$, for $f \in \sqrt{I}$.</p> <p><a href="http://en.wikipedia.org/wiki/Inverse_limit" rel="nofollow">http://en.wikipedia.org/wiki/Inverse_limit</a></p>