1
$\begingroup$

Given a complex algebraic, affine variety $X$ and a subvariety $V$, let $I_V$ indicate the ideal of polynomials on $X$ with vanish on $V$.

Given an open subset $U$ of $X$, is it true that the ideal of holomorphic functions on $U$ which vanish on $V\cap U$ is generated by $I_V$?

Improve this question
$\endgroup$
3
  • $\begingroup$ holomorphic functions will probably not be generated by polynomials. did you mean regular functions on $U$? $\endgroup$
    – Sándor Kovács
    Jan 24, 2013 at 3:13
  • $\begingroup$ To clarify, I meant that every holomorphic function on U which vanishes on $V$ may be written as a sum of holomorphic functions times polynomials in $I_V$. $\endgroup$
    – Brett Parker
    Jan 24, 2013 at 3:30
  • $\begingroup$ I see. That makes more sense. Perhaps you should edit the question...(say add the ring in which you are working). $\endgroup$
    – Sándor Kovács
    Jan 24, 2013 at 8:25

1 Answer 1

Reset to default
2
$\begingroup$

This is true. Alex Isaev pointed out to me that it is Theorem 4.6 from `A geometric criterion for algebraic varieties' by Rudin. A local version is proposition 4 of Serre's GAGA paper.

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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