Welcome to MathOverflow

Question

4

2

How does one show that if $U \subseteq \mathbb{C}^n$ is nonempty and Zariski open then $U$ is also dense in the analytic topology on $\mathbb{C}^n$?

edited Feb 19 2010 at 6:41

asked Feb 17 2010 at 11:23

Manoj
376●1●12

Thank you Pete for the correction. – Manoj Feb 19 2010 at 6:51

Mariano Suárez-Alvarez · Accepted Answer · 2010-02-17 14:21:15Z UTC

It is enough to show that the complement of $U$ has empty interior. Also, that complement is contained in the zero set $Z$ of a non-constant polynomial $f$, so it is enough to show that $Z$ does not contain open sets.

If $z\in Z$ is a point in the interior of $Z$, then the Taylor series of $f$ at $z$ is of course zero. Since $f$ is an entire function, this is absurd.

Pete L. Clark · Answer 2 · 2010-02-17 11:47:37Z UTC

7

It is equivalent to show that the complement, say $V$, has empty interior. In fact $V$ has measure zero (say, with respect to Lebesgue measure on $\mathbb{C}^n$; any measure which is absolutely continuous with respect to Lebesgue measure would serve as well). If $V$ is smooth, this is very standard: the Implicit Function Theorem (or something like that). In general, you can use the fact that $V$ has a relatively open subset which is a smooth manifold whose complement has positive codimension and finish off by induction.

edited Feb 17 2010 at 11:47

answered Feb 17 2010 at 11:33

Pete L. Clark
39.6k●3●102●226

1

Sard's theorem would show the measure zero part. – Anweshi Feb 17 2010 at 15:08

2

Sard's theorem claims that the image of something has measure zero, not that the preimage of something does, Anweshi – Mariano Suárez-Alvarez Feb 17 2010 at 15:22

1

Actually, my first draft of the answer included a reference to Sard's theorem. Upon reflection, I took it out. I do maintain that, whatever particular theorem you want to cite, a closed submanifold of Euclidean space has measure zero, and that this is not hard to show! – Pete L. Clark Feb 17 2010 at 16:30

CJD · Answer 3 · 2010-02-17 13:22:16Z UTC

Here is a theorem from the "Complex Varieties" section of Mumford's "Red Book of Varieties and Schemes" (2nd edition):

Theorem: Let $X$ be a complex variety and $U \subseteq X$ a nonempty (Zariski) open subvariety. Then $U$ is dense in $X$ for the analytic topology.

(I think varieties for Mumford are always irreducible.)

Zariski open sets are dense in analytic topology

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.