MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $V \subset \mathbb{P}^n$ be a projective variety. The homogeneous vanishing ideal is generated by the forms $f_1, \ldots , f_r$. Now consider the morphism

$\phi: \mathbb{P}^n \to \mathbb{P}^n, (x_0 : \ldots : x_n) \mapsto (x_0^2: \ldots : x_n^2).$

Is there a way to find generators of the vanishing ideal of the image $\phi(V$) under this morphism, i.e. an easier or more conceptional way than computung the image via Groebner bases?

share|cite|improve this question
Here is a method that works for hypersurfaces. I think one can make a version of it for other varieties but it is computationally intractable. You use Galois theory. Take $2^{n+1}$ copies of $f$, in each of which you multiply a different subset of $(x_0,...,x_n)$ by $-1$. Multiply these all together. This function will have only even powers of $x_i$ in it, so divide all those powers by two. Take the radical if necessary. – Will Sawin Jun 7 '12 at 19:37
Okay, thank you. Considering symmetry of the $f_1, \ldots , f_r$ could lead to an acceptable result. – Döni Jun 10 '12 at 15:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.