Skip to main content
Corrected TeX, grammar, and (I hope) clarity.
Source Link
Bill Thurston
  • 25.1k
  • 12
  • 99
  • 117

I'd like to add a little more context for the record here, to amplify and extend Jacques Carrette's answer together withas well as the extra information in the comments:

The Chebyshev polynomials, together with their close relatives the maps $z \to z^n$, are the the only polynomials exhibiting thisthe property described in the question, up to affine coordinate change. Geometrically, the map $z \to z^n$ is an $n$-fold covering map of the cylinder $\mathbb C \setminu 0$$\mathbb C \setminus 0$ over itself. This cylinder has an order 2 symmetry $z \to z^-1$$z \to z^{-1}$ that commutes with the covering map. The quotient of the cylinder by the symmetry is equivalent to $\mathbb C$, or preserving a little more information, it's an orbifold structure on $\mathbb C$, with two order 2 cone points at $\pm 2$. The

The expression $z + z^{-1}$ is the formula for the quotienting map $\mathbb C \setminus 0 \to \mathbb C$. These The cylinder can be unwrapped further to the universal cover (also $\mathbb C$) of $\mathbb C \setminus 0$; the quotient maps from therethe universal cover to the two quotients are $\exp$ and $\cos$, and so the Chebyshev polynomials (up to affine normalization) are the formulas for $\cos$ of a multiple angle in terms of $\cos$ of an angle.

There are however other rational functions which admit explicit analytic formulas for iteration. These are called Lattès examples, named after Samuel Lattès who discovered them in 1918. (although according to Milnor's article in the Bodil Branner festschrift, Schöder described similar examples almost 50 yeasr earlier, but they appear to have been forgotten).

The Lattès examples are symmetry quotients of isomorphisms of wall-paper groups otto proper subgroups. For every orientation-preserving wall-paper group except the group of translations, the quotient space (wallpaper modulo symmetry) is topologically a sphere. Every such group is isomorphic to subgroups of itself in infinitely many ways. These isomorphisms descend to branched coverings of the quotient space over itself: in the language of complex functions these are rational maps, in the language of orbifolds these are self-coverings. They

They have an exceptionala significant role as exceptional examples in complex dynamics, and are well understaood, with lots of nice pictures available someplace in the literature. For example, an endomorphism of the tiling groups whose formula is multiplication by the complex number $\lambda$ can be used for a kind of base $\lambda$ expansion of complex numbers, associated with a self-similar tiling of $\mathbb C$ (with basic tile is those numbers starting after the lambdimal point). At least for some cases, the digits can be arranged in an order that defines a sphere-filling curve invariant under multiplication by $\lambda$.

All these examples have explicit analytic formulas for iterations, completely analogous to the formula $z \to 2 \cos (k^n \arccos ( z/2))$ for the $n$th iterate of the $k$th Chebyshev polynomial. In the Chebyshev formula, $\cos$ is the universal covering map of $\mathbb C$ for the $(22\infty)$ orbifold. For wallpaper groups, the universal covering maps are elliptic functions instead of $\cos$. The rational map lifts to multiplication by a complex number $\lambda$, so you lift to the cover, multiply by a power of $\lambda$, and map back down.

I'd like to add a little more context for the record here, to amplify and extend Jacques Carrette's answer together with the comments:

The Chebyshev polynomials, together their close relatives the maps $z \to z^n$, are the the only polynomials exhibiting this property, up to affine coordinate change. Geometrically, the map $z \to z^n$ is an $n$-fold covering map of the cylinder $\mathbb C \setminu 0$ over itself. This cylinder has an order 2 symmetry $z \to z^-1$ that commutes with the covering map. The quotient of the cylinder by the symmetry is equivalent to $\mathbb C$, or preserving a little more information, it's an orbifold structure on $\mathbb C$. The expression $z + z^{-1}$ is the formula for the quotienting map $\mathbb C \setminus 0 \to \mathbb C$. These can be unwrapped further to the universal cover of $\mathbb C \setminus 0$; the quotient maps from there are $\exp$ and $\cos$, and so the Chebyshev polynomials (up to affine normalization) are the formulas for $\cos$ of a multiple angle in terms of $\cos$ of an angle.

There are however other rational functions which admit explicit analytic formulas for iteration. These are called Lattès examples after Samuel Lattès who discovered them in 1918. (although according to Milnor's article in the Bodil Branner festschrift, Schöder described similar examples almost 50 yeasr earlier, but they appear to have been forgotten).

The Lattès examples are symmetry quotients of isomorphisms of wall-paper groups ot proper subgroups. For every orientation-preserving wall-paper group except the group of translations, the quotient space is topologically a sphere. Every such group is isomorphic to subgroups of itself in infinitely many ways. These isomorphisms descend to branched coverings of the quotient space over itself: in the language of complex functions these are rational maps, in the language of orbifolds these are self-coverings. They have an exceptional role in complex dynamics, and are well understaood, with lots of nice pictures available in the literature.

All these examples have explicit analytic formulas for iterations, completely analogous to the formula $z \to 2 \cos (k^n \arccos ( z/2))$ for the $n$th iterate of the $k$th Chebyshev polynomial. In the Chebyshev formula, $\cos$ is the universal covering map of $\mathbb C$ for the $(22\infty)$ orbifold. For wallpaper groups, the universal covering maps are elliptic functions instead of $\cos$. The rational map lifts to multiplication by a complex number $\lambda$, so you lift to the cover, multiply by a power of $\lambda$, and map back down.

I'd like to add a little more context for the record here, to amplify and extend Jacques Carrette's answer as well as the extra information in the comments:

The Chebyshev polynomials, together with their close relatives the maps $z \to z^n$, are the the only polynomials exhibiting the property described in the question, up to affine coordinate change. Geometrically, the map $z \to z^n$ is an $n$-fold covering map of the cylinder $\mathbb C \setminus 0$ over itself. This cylinder has an order 2 symmetry $z \to z^{-1}$ that commutes with the covering map. The quotient of the cylinder by the symmetry is equivalent to $\mathbb C$, or preserving a little more information, it's an orbifold structure on $\mathbb C$, with two order 2 cone points at $\pm 2$.

The expression $z + z^{-1}$ is the formula for the quotienting map $\mathbb C \setminus 0 \to \mathbb C$. The cylinder can be unwrapped further to the universal cover (also $\mathbb C$) of $\mathbb C \setminus 0$; the quotient maps from the universal cover to the two quotients are $\exp$ and $\cos$, and so the Chebyshev polynomials (up to affine normalization) are the formulas for $\cos$ of a multiple angle in terms of $\cos$ of an angle.

There are however other rational functions which admit explicit analytic formulas for iteration. These are called Lattès examples, named after Samuel Lattès who discovered them in 1918 (although according to Milnor's article in the Bodil Branner festschrift, Schöder described similar examples almost 50 yeasr earlier, but they appear to have been forgotten).

The Lattès examples are symmetry quotients of isomorphisms of wall-paper groups to proper subgroups. For every orientation-preserving wall-paper group except the group of translations, the quotient space (wallpaper modulo symmetry) is topologically a sphere. Every such group is isomorphic to subgroups of itself in infinitely many ways. These isomorphisms descend to branched coverings of the quotient space over itself: in the language of complex functions these are rational maps, in the language of orbifolds these are self-coverings.

They have a significant role as exceptional examples in complex dynamics, and are well understaood, with lots of nice pictures available someplace in the literature. For example, an endomorphism of the tiling groups whose formula is multiplication by the complex number $\lambda$ can be used for a kind of base $\lambda$ expansion of complex numbers, associated with a self-similar tiling of $\mathbb C$ (with basic tile is those numbers starting after the lambdimal point). At least for some cases, the digits can be arranged in an order that defines a sphere-filling curve invariant under multiplication by $\lambda$.

All these examples have explicit analytic formulas for iterations, completely analogous to the formula $z \to 2 \cos (k^n \arccos ( z/2))$ for the $n$th iterate of the $k$th Chebyshev polynomial. In the Chebyshev formula, $\cos$ is the universal covering map of $\mathbb C$ for the $(22\infty)$ orbifold. For wallpaper groups, the universal covering maps are elliptic functions instead of $\cos$. The rational map lifts to multiplication by a complex number $\lambda$, so you lift to the cover, multiply by a power of $\lambda$, and map back down.

Source Link
Bill Thurston
  • 25.1k
  • 12
  • 99
  • 117

I'd like to add a little more context for the record here, to amplify and extend Jacques Carrette's answer together with the comments:

The Chebyshev polynomials, together their close relatives the maps $z \to z^n$, are the the only polynomials exhibiting this property, up to affine coordinate change. Geometrically, the map $z \to z^n$ is an $n$-fold covering map of the cylinder $\mathbb C \setminu 0$ over itself. This cylinder has an order 2 symmetry $z \to z^-1$ that commutes with the covering map. The quotient of the cylinder by the symmetry is equivalent to $\mathbb C$, or preserving a little more information, it's an orbifold structure on $\mathbb C$. The expression $z + z^{-1}$ is the formula for the quotienting map $\mathbb C \setminus 0 \to \mathbb C$. These can be unwrapped further to the universal cover of $\mathbb C \setminus 0$; the quotient maps from there are $\exp$ and $\cos$, and so the Chebyshev polynomials (up to affine normalization) are the formulas for $\cos$ of a multiple angle in terms of $\cos$ of an angle.

There are however other rational functions which admit explicit analytic formulas for iteration. These are called Lattès examples after Samuel Lattès who discovered them in 1918. (although according to Milnor's article in the Bodil Branner festschrift, Schöder described similar examples almost 50 yeasr earlier, but they appear to have been forgotten).

The Lattès examples are symmetry quotients of isomorphisms of wall-paper groups ot proper subgroups. For every orientation-preserving wall-paper group except the group of translations, the quotient space is topologically a sphere. Every such group is isomorphic to subgroups of itself in infinitely many ways. These isomorphisms descend to branched coverings of the quotient space over itself: in the language of complex functions these are rational maps, in the language of orbifolds these are self-coverings. They have an exceptional role in complex dynamics, and are well understaood, with lots of nice pictures available in the literature.

All these examples have explicit analytic formulas for iterations, completely analogous to the formula $z \to 2 \cos (k^n \arccos ( z/2))$ for the $n$th iterate of the $k$th Chebyshev polynomial. In the Chebyshev formula, $\cos$ is the universal covering map of $\mathbb C$ for the $(22\infty)$ orbifold. For wallpaper groups, the universal covering maps are elliptic functions instead of $\cos$. The rational map lifts to multiplication by a complex number $\lambda$, so you lift to the cover, multiply by a power of $\lambda$, and map back down.