Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We would like to generalize this question when the base field $k$ is not necessarily algebraically closed.

We use the definitions of this question. Let $X$ be a $k$-closed subset of $\Omega^n$. Let $I(X) = \{f \in k[X_1,\dots,X_n]| f(p) = 0$ for every $p \in X\}$. Let $A = k[X_1,\dots,X_n]/I(X)$. Let $\mathcal{O}_X$ be the sheaf of $k$-regular functions on $X$. Are the following assertions true?

1) Let $x \in X$. $\mathcal{O}_x$ is canonically isomorphic to $A_{\mathfrak{p}_x}$, where $\mathfrak{p}_x = \{f \in A|\ f(x) = 0\}$.

2) Let $f \in A$. $\Gamma(D(f), \mathcal{O}_X)$ is canonically isomorphic to $A_f$, where $D(f) = \{x \in X| f(x) \neq 0\}$.

share|cite|improve this question
Please leave a comment explaining the reason for the downvote so that I can improve the question. – Makoto Kato Dec 1 '12 at 9:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.