This problem has Hartshorne Height 1.

Commutative Algebra

  • the primes of  A_f are in bijection with the primes of A not containing f
    • this problem shows its not just a bijection but an isomorphism in terms of schemes.
    • the correspondence goes  Q \subset A_f \mapsto Q \cap A and  P \subset A \mapsto PA_f \subset A_f.
  • (A_f)_b \cong A_{fb} (can prove by universal property argument)


  • use the correspondence above to define a continuous map m\colon D_f \to \mbox{Spec} A_f.
  • define a map of sheaves \mathcal{O}_{\mbox{Spec} A_f} \to m_*\mathcal{O}_{D_f}
    • this can be done by defining it on distinguished affines and using the last result of commutative algebra.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.