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

I came across this problem in my research. It might just be an easy algebraic geometry question, but I don't know much algebraic geometry.

Suppose we have a system of $k\leq n$ polynomials in $\mathbb{C}[x_1,\dots x_n]$, each of the form $c_1 x_1^a + \cdots + c_n x_n^a = 0$ for some fixed integer $a$. I can solve this system by substituting $y_i := x_i^a$, performing some linear algebra to solve for the $y_i$, and then substituting back to get the $x_i$ (taking care that each $y_i$ will produce $a$ different values of $x_i$).

The problem I'm curious about is what happens when we have a system like above where each polynomial is homogeneous and has no cross terms, but where now the degrees of the polynomials are not all the same. i.e. each equation is of the form $c_1 x_1^{a_j} + \cdots + c_n x_n^{a_j} = 0$ where the $a_j$ are possibly distinct integers, for $j=1,\dots, k$. Is there a straightforward way to solve such a system? And if so, is there a straightforward way to solve this over the algebraic torus $(\mathbb{C}\setminus 0)^n$?

Thanks for any help anyone can provide. I'm new at this overflow stuff.

share|cite|improve this question
I'd look up the Gröbner basis: and for relatively painless a.g. background see the book Ideals, Varieties and Algorithms by Cox, Little and O'Shea. – j.c. Sep 21 '10 at 5:22
I doubt this is much simpler than solving a general system of polynomial equations. You might want to look at "Solving Systems of Polynomial Equations", by Sturmfels. – David Speyer Sep 21 '10 at 12:14

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.