Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|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

 
discard

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

Browse other questions tagged or ask your own question.