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
    Commented 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
    Commented 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
    Commented 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$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .