Are all parametrizations via polynomials algebraic varieties? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T16:35:51Z http://mathoverflow.net/feeds/question/37231 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37231/are-all-parametrizations-via-polynomials-algebraic-varieties Are all parametrizations via polynomials algebraic varieties? Jesus Martinez Garcia 2010-08-31T08:24:52Z 2010-09-22T14:30:27Z <p>Suppose that we have a parametrization via polynomials as follows:</p> <p>$$t\longrightarrow (f_1(t),\ldots,f_n(t)),$$</p> <p>where $t$ is a vector in $\mathbb{C}^r$ and $f_i$ are polynomials of arbitrary degree.</p> <p>Can we always find equations such that the image is an affine algebraic variety?</p> <p>The question is motivated by Exercise 1.11 in Hartshorne:</p> <blockquote> <p>Let $Y\subseteq A^3$ be the curve given parametrically by $x = t^3, y= t^4, z = t^5$. Show that $I(Y)$ is a prime ideal of height 2 in $k[x,y,z]$ which cannot be generated by 2 elements.</p> </blockquote> <p>I am not interested in the exercise in particular. Finding the variety is easy sometimes, for instance $t\rightarrow (t^2,t^3)$ is given by $I(x^3-y^2)$.</p> <p>I am looking for a result which says that the image is always an affine algebraic variety AND a procedure to find the ideal.</p> http://mathoverflow.net/questions/37231/are-all-parametrizations-via-polynomials-algebraic-varieties/37236#37236 Answer by Dan Petersen for Are all parametrizations via polynomials algebraic varieties? Dan Petersen 2010-08-31T09:04:51Z 2010-08-31T16:12:18Z <p>Consider $f \colon {\mathbb C}^2 \to {\mathbb C}^2$ given by $(x,y) \mapsto (xy,y)$. The image consists of ${\mathbb C}^2$ minus the subset $y = 0, x \neq 0$. Since the image is not closed, it is not a variety. </p> <p>The notion of a constructible subset was invented to deal with questions like this. A constructible subset is one which can be constructed from subvarieties using "boolean operations". Equivalently it is a subset defined by polynomial equations and inequations. It <em>is</em> true that the image of a constructible subset is again constructible (Chevalley's theorem).</p> http://mathoverflow.net/questions/37231/are-all-parametrizations-via-polynomials-algebraic-varieties/37243#37243 Answer by Sheikraisinrollbank for Are all parametrizations via polynomials algebraic varieties? Sheikraisinrollbank 2010-08-31T10:06:17Z 2010-08-31T10:06:17Z <p>I can't comment (b/c I'm not a registered user) but let me add: in case the dimension of the domain is 1 (as in your motivating example) the image is in fact an affine variety. To see this, note that the map can always be extended to a map from the projective line to projective space by homogenizing things (compare with Dan's example---if you tried homogenizing his map, you'd get $[x:y:z] \mapsto [xy:yz:z^2]$ which is not defined if $x=z=0$ or $y=z=0$), and use the fact that the image of a projective variety by a regular map is closed. Finally, observe that the image of the affine line you started with is precisely the intersection of the image of the homogenized map with the affine coordinate patch determined by your homogenization. Therefore the image of the map you started with <em>is</em> an affine variety. So Hartshorne's example is not an accident.</p> http://mathoverflow.net/questions/37231/are-all-parametrizations-via-polynomials-algebraic-varieties/37271#37271 Answer by Richard Montgomery for Are all parametrizations via polynomials algebraic varieties? Richard Montgomery 2010-08-31T15:56:53Z 2010-08-31T15:56:53Z <p>If I change the question slightly the answer is yes'. Changed question:  Is the Zariski closure of the image of a polynomial map always an (affine) algebraic variety''.</p> <p>Explicitly finding this variety (i.e the ideal defining it) is the subject of <code>elimination theory''. See ch. 4 of the book</code>Introduction to Algebraic Geometry' by Brendan Hasset.</p> http://mathoverflow.net/questions/37231/are-all-parametrizations-via-polynomials-algebraic-varieties/39613#39613 Answer by JRJ for Are all parametrizations via polynomials algebraic varieties? JRJ 2010-09-22T13:56:36Z 2010-09-22T14:30:27Z <p>I think this is ok,. Suppose you have $t\longrightarrow (f_1(t),\ldots,f_n(t)).$ Let's call Y the image of that. Then to see if $Y$ is a variety, you can see that $I(Y)$ is prime. But let $\phi: k[X_1, \ldots, X_n] \longrightarrow k[T]$ be given by $X_i \mapsto f_i(T)$. Then $$Ker \phi = \{f: \phi(f) = 0\} = \{f: f(f_1(T), \ldots, f_n(T)) = 0\} = I(Y).$$ So $I(Y)$ is prime because it is the kernel of a map whose image is an integral ring, and then $Y$ is a variety.</p>