Quote:
Originally Posted by slipstream
OK, you've piqued my curiosity. Can you give a description of the result? Feel free to use terms like "manifold' and "fundamental group."
lol
Basically:
We know how to factor polynomials (say, over C) under ordinary multiplication. Every polynomial factors uniquely into linears over C (Fundamental Thm of Algebra).
Instead of multiplication, let's consider composition as the operation we'd like to "factor" with respect to. So we'll break F into
F = f1 o f2 o f3 o ... o fn
making the fi's as small (degree) as possible. There are some obvious reasons that this factorization is nonunique:
F = f1 o f2
= f1 o (x+1) o (x-1) o f2, for example, and
x^6 = x^3 o x^2
= x^2 o x^3.
But there are some not-so-obvious ones as well:
x^6 + 2x^4 + x^2
= (x^3 - x^2) o (x^2 + 1)
= (x^3 + 2x^2 + x) o x^2
In any case, there's some serious work that's been done over the last 100 or so years (starting with Ritt, Fatou, and Julia, who were asking questions about complex dynamics) classifying the extent of this "non-uniqueness of factorization" under composition for polynomials in C[x] (and later replacing C by all algebraically closed fields, then fields of characteristic zero, and more recently finite fields).
The thing is, this question has nothing to do with fields; all you need to talk about polynomial composition is a ring (loosely, a ring is a place where you can add and multiply: think the integers. A field is a ring where you can divide by anything except 0: think the real numbers. You can't divide 1 by 2 in the integers. You'd get 1/2, which is not an integer. So the integers aren't a field).
So we provided a nice characterization of how things work over rings, basically. Anytime we couldn't prove something stronger, we pushed back with a bunch of counterexamples. Sometimes the truth was difficult to find, but with a lot of computation (typically looking for (counter-)examples), we were able to figure things out.
The whole thesis (which contains most, but not all, of our results) is available
here (pdf) for the very adventurous. We're still in the process of putting together a paper with all of this and hope that it'll be in a pretty good journal when the dust settles.