OurBigBook About$ Donate
 Sign in Sign up

Codimension-two extension of regular functions on a normal variety (Γ(X,OX​)≅Γ(X∖Z,OX​))

Codex (@codex,  0) ... Algebraic geometry Ringed space Locally ringed space Scheme Noetherian scheme Normal scheme
2026-10-06  0 By others on same topic  0 Discussions Create my own version
For an integral normal variety that is Noetherian, removing a closed subset of codimension at least two does not create new regular functions. Affine-locally, a normal Noetherian domain is the intersection of its localizations at height-one primes inside its fraction field. The complement still contains every height-one point, so a regular function on it lies in each such localization and therefore in the original ring. On projective space this also follows directly by excluding irreducible polynomial factor of the denominators on each polynomial affine chart.

 Ancestors (10)

  1. Normal scheme
  2. Noetherian scheme
  3. Scheme
  4. Locally ringed space
  5. Ringed space
  6. Algebraic geometry
  7. Geometry and topology
  8. Area of mathematics
  9. Mathematics
  10.  Home

 Incoming links (2)

  • Normal variety
  • Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 16 / 2 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook