MathOverflow is a question and answer site for professional mathematicians. 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

$S$ is a graded ring (over non-negative integers), $f \in S_{+}$ is a homogeneous element of positive degree, $D(f)$ the elements of Proj $S$ not containing $f$. I don't see the bijection between $D(f)$ and Spec $S_{(f)}$. Here $S_{(f)}$ is the zero-degree part of $S_{f}$ obtained from $S$ by inverting f. I see the bijection from $D(f)$ to the homogeneous primes in $S_{f}$, but is there 1-1 correspondence between primes in $S_{(f)}$ and homogeneous primes in $S_{f}$?

share|cite|improve this question
I think the tag "formal schemes" is wrong. – Martin Brandenburg May 1 '10 at 14:52
up vote 2 down vote accepted

The homeomorphism $D_+(f) \to \text{Spec } S_{(f)}$ is given by $\mathfrak{p} \mapsto \mathfrak{p} S_f \cap S_{(f)}$ with inverse map $\mathfrak{q} \mapsto \oplus_n \{x \in S_n : x^{|f|} / f^n \in \mathfrak{q}\}$. This can be checked by simple calcuations.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.