1
$\begingroup$

$P_5(w) = c_0 + c_1w + c_2w^2 +...+ c_5w^5$, where $ c_0, ... , c_5 $are integers that I want to determine.

$Q_5(w) = w^2 (\frac{d}{dw}( \frac{P_5(w)}{w}) = -c_0 + c_2w^2 + 2c_3w^3 + 3c_4w^4 +4c_5w^5$, another deg 5 polynomial.

I have that every root (over $\mathbb{C}$) of \begin{equation} (Q_5(w))^2 + 16Q_5(w)(1 + w)^3 w^2 - 80(1 + w)^2 w^3 P_5(w) = 0 \end{equation} is also a root of \begin{equation} (24)^3 (1 + w)^5 w^4 [4P_5 (w) w - Q_5(w) ( 1 - w)]^3 + 108(Q_5(w))^5 = 0 \end{equation}

Is there a way to solve this using an algebra software?

$\endgroup$
2
  • $\begingroup$ Every root (...) is also a root of (...) : with multiplicity? (In which case, you are stating that the latter polynomial is a multiple of the former). $\endgroup$ Sep 25, 2012 at 20:37
  • 1
    $\begingroup$ Maybe a few words about the origin of this question would be nice. The question looks a little like the search for a degree $5$ cover of Riemann spheres with some ramification requirements. $\endgroup$ Sep 26, 2012 at 13:41

1 Answer 1

1
$\begingroup$

As @Pietro says, if the polynomial has no multiple roots, then the latter polynomial is a multiple of the former, which gives a system of polynomial equations satisfied by the coefficients. If the polynomial DOES have multiple roots, then you get some extra equations (for example, the discriminant is zero, and the polynomial factors, AND some of the factors are also factors of the second polynomial. In any event, however, the system you get is very high degree with many variables, so most likely out of reach.

$\endgroup$
6
  • $\begingroup$ The idea is just to divide the second polynomial f_2(w) = (24)3(1+w)5w4[4P5(w)w−Q5(w)(1−w)]3+108(Q5(w))5 , to the tenth power by f_1 (w) = (Q5(w))2+16Q5(w)(1+w)3w2−80(1+w)2w3P5(w) then set the rest to zero. We should get up to nine conditions on c_i's. Using they are integers, I hope to get strong restrictions, or in the best case, one solution that is expected to be (1, 5 ,10 , 10 , 5, 1). $\endgroup$
    – Renato
    Sep 26, 2012 at 22:52
  • $\begingroup$ What do you mean by "set the rest to zero"? $\endgroup$
    – Igor Rivin
    Sep 26, 2012 at 23:36
  • $\begingroup$ Apparently Renato doesn't consider multiplicities. As $f_1(w)$ has degree at most $10$, his condition then is that the remainder of $f_2(w)^{10}$ modulo $f_1(w)$ vanishes. I believe `set the rest to zero' means the condition coming from setting the coefficients of this remainder to $0$. By the way, a solution to the question is $P(w)=w((w+1)^4+c)$ for any $c$. Also, $P(w)=-w(w+1)^4$ is a solution. Still, it would be nice to learn more about the background of this question! $\endgroup$ Sep 27, 2012 at 9:59
  • $\begingroup$ Sorry, rest = reminder , as Peter said "the remainder of $f_2(w)^10 $ modulo $f_1(w)$ vanishes". The origin of this question comes from Mirror Symmetry and computing the superpotential $W$, which is just function, in my case from $C^2$ to $C$, of the Landau-Ginzburg model for the complement of a divisor in $CP^2$. The Superpotential is a Laurent polynomial whose coefficients are given by a count of holomorphic discs, and monomials are related to a relative homotopy class of the group. I was able to prove that $W = z + \frac{2(1+w)^2}{z^2} + \frac{P_5(w)}{w z^5}$ – $\endgroup$
    – Renato
    Sep 27, 2012 at 22:21
  • $\begingroup$ From Floer theory we have that if $(z,w)∈critW$ then $W^3(z,w)=27$. Solving for z in one of the partial derivatives of W, we get that this condition is equivalent to the roots of $f_1(w)$ being also roots of $f_2(w)$. $\endgroup$
    – Renato
    Sep 27, 2012 at 22:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.