cardinality of final coalgebras in Top

Question

Let P be a polynomial functor from Top to Top, by which I mean a functor of the form P(X) = ∐_{i ≥ 0} S_i × Xⁱ where the S_i are finite sets, all but finitely many of which are empty. Corresponding to P there is an ordinary polynomial p(x) = Σ_{i ≥ 0} |S_i| xⁱ. I believe that there is a final P-coalgebra X_P in Top; the structure map X_P -> P(X_P) is a homeomorphism; the underlying set of X_P is the final P-coalgebra in Set; and a basis for the open sets of X_P is given by the preimages of the points of the targets of the maps X_P -> P⁽ⁿ⁾(X_P) -> P⁽ⁿ⁾(•) as n ranges over all nonnegative integers.

Examples are the Cantor space, corresponding to p(x) = 2x, and the space of binary trees, corresponding to p(x) = x^2 + 1.

My question is: if P and Q are two polynomial functors, such that neither p(x) nor q(x) is of the form x + k, and the spaces X_P and X_Q are homeomorphic, does it follow that the polynomials p(x) - x and q(x) - x have a common root?

More generally, consider all the spaces that can be formed starting with the collection of spaces X_P (p(x) not of the form x + k) by taking disjoint unions and products. Can I assign an algebraic number to each of these spaces in a way which is a homeomorphism invariant and commutes with sums and products?

Answer 1

I don't know, but one could begin to investigate your first question by considering polynomials of the form ax + k, where a is a natural number greater than 1. Maybe you already know that the answer to the question is "yes" in that case? (If so, I'd be interested to see your answer.)

A point related to this, and to the general idea about algebraic numbers, is discussed here:

http://golem.ph.utexas.edu/category/2007/04/reportback_on_bmc.html#c009149

There are also close relations with the theory described in arXiv:math.DS/0411343 (an improved version of which appears in Real and Complex Singularities, ed. Paunescu et al, World Scientific 2007). But there are differences too, e.g. you allow products but I didn't.