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 $n$ be an integer $\geq 4$, and let $V \subseteq {\mathbb C}^{2n-1}$ be the set of all $(a_1,a_2, \ldots ,a_n,b_1,b_2, \ldots ,b_{n-1}) \in {\mathbb C}^{2n-1}$ such that the derivative of the polynomial $ P=\prod_{k=1}^{n} (x-a_k)$ is exactly $n\prod_{k=1}^{n-1} (x-b_k)$. Then $V$ is a closed algebraic set in $ {\mathbb C}^{2n-1}$ : it can be defined by the $n-1$ equalities

$\sigma_k(b_1,b_2, \ldots ,b_{n-1})=\frac{n-k}{n}\sigma_k(a_1,a_2, \ldots ,a_{n-1},a_n) (1 \leq k \leq n-1)$,

where $\sigma_k$ denotes the $k$-th symmetric polynomial.

My question is, can $V$ be described as the image of a "rational" map, i.e. are there rational functions $f_1,f_2 \ldots f_{2n-1}$ in $r$ variables $y_1,y_2, \ldots ,y_r$ (where $r$ is another integer ) such that $V$ is exactly the image of the map $(f_1,f_2 \ldots f_{2n-1}): {\mathbb C}^{r} \to {\mathbb C}^{2n-1}$ ? Is $V$ a finite union of such images?

share|cite|improve this question

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.