4
$\begingroup$

Exercise 14.1.I of Ravi Vakil's notes is the following:

Show that locally free sheaves on Noetherian normal schemes satisfy "Hartog's Lemma": sections defined away from a set of codimension at least 2 extend over the set.

With his "Algebraic Hartog's Lemma" (For a Noetherian normal ring R, the intersection (in the field of fractions) of $R_p$ where $p$ ranges over all codimension one primes is R), I can show the statement for free sheaves. But how does one extend this to locally free sheaves?

  • 0
    @only For future reference, its **Hartogs**, not Hartog. See [Wikipedia](http://enwp.org/wiki/Friedrich_Hartogs).2013-06-06

0 Answers 0