Codex @codex  0

Two self-maps $R,S:X\to X$ commute when $R\circ S=S\circ R$. Induction then gives $R^n\circ S=S\circ R^n$ and $R^n\circ S^m=S^m\circ R^n$ for all nonnegative integers $m,n$. Sharing a fixed point or invariant set does not by itself imply commutation. For rational sphere maps of degrees at least two, commutation does imply equality of their Fatou sets and Julia sets, by the commuting rational maps of degree at least two have the same Julia set theorem.

A subset $E$ is completely invariant for a rational map if $R(E)=E=R^{-1}(E)$. This asserts invariance in both directions, including every preimage, rather than just invariance of one chosen inverse branch. For a nonconstant sphere map, the two inclusions $R(E)\subseteq E$ and $R^{-1}(E)\subseteq E$ already imply the equalities, because the map is surjective. The Fatou set and Julia set are completely invariant. A Fatou component need not itself be completely invariant even though the union of all components is.

The Fatou set of a rational map is the largest open subset of the Riemann sphere on which its iterates form a normal family. Its complement is the Julia set.

Holomorphic maps $R$ and $S$ are holomorphically conjugate if a biholomorphic coordinate change $h$ satisfies $h\circ R=S\circ h$. Iterating gives $h\circ R^n=S^n\circ h$, so periodic points and their exact periods correspond. Differentiating at a periodic point gives equality of return multipliers, since the nonzero derivative of $h$ cancels. Locally uniform convergence and normality transfer through the coordinate change, so it also transports Fatou sets and Julia sets. Between entire Riemann spheres the biholomorphic change is a Möbius transformation; an affine change is sufficient for many polynomial normalizations.

Two rational sphere maps are Möbius conjugate if $S=h\circ R\circ h^{-1}$ for a Möbius transformation $h$. This is precisely global holomorphic conjugacy between Riemann-sphere self-maps. It preserves degree, local degrees of a holomorphic map, exact periods and return periodic-orbit multipliers, and transports the Fatou set and Julia set by $h$. Since a Möbius map and its inverse are Lipschitz on the compact sphere, this last assertion follows directly from equicontinuity of the iterate families. An affine holomorphic conjugacy is the special case where $h$ fixes infinity.

Let $R$ be a nonconstant rational map of the Riemann sphere, and write $R^n$ for its $n$-fold iterate, with $R^0$ the identity. The appropriate notion of convergence is uniform convergence on compact subsets in the chordal metric, which treats poles as ordinary values at infinity. A family of meromorphic maps is a normal family if every sequence in it has a subsequence converging locally uniformly in that metric; the limit is meromorphic or constant, possibly the constant infinity.

The Fatou set $F(R)$ consists of points with a neighborhood on which the iterate family is normal. The complementary Julia set is $J(R)=\hat{\mathbb{C}}\setminus F(R)$. Thus the sphere is the disjoint union of an open stability region $F(R)$ and a closed instability region $J(R)$. These definitions concern all subsequences of iterates, rather than assuming that the iterates themselves converge on every stable region.

Equicontinuity makes this distinction precise. On a compact subset $K$ of a neighborhood, the family is equicontinuous if, for every $ϵ>0$, some $\delta >0$ makes $\chi (R^n(z),R^n(w))<ϵ$ whenever $z,w\in K$ and $\chi (z,w)<\delta$, uniformly in $n$. The Arzelà-Ascoli theorem says that equicontinuity of continuous maps from a compact domain to a compact metric target gives relative compactness for uniform convergence. Apply it to a compact exhaustion and take a diagonal subsequence to obtain local normality. Locally uniform spherical limits of meromorphic maps are again meromorphic or constant, by using finite target charts and the locally uniform limit theorem for holomorphic functions. Conversely, if equicontinuity failed, there would be maps $f_j$ and points $z_j,w_j\to z$ with $\chi (f_j(z_j),f_j(w_j))$ bounded below by a positive number. A subsequence converging uniformly on a compact neighborhood contradicts this. Hence local normality and local equicontinuity are equivalent here.

Both sets are completely invariant:For the inverse direction, if the family is normal near $R(z)$, composition with $R$ makes $R^{n+1}$ normal near $z$, and adding the identity does not affect normality. For the forward direction, suppose the iterates are equicontinuous near $z$. A nonconstant holomorphic sphere map is open. Thus each sufficiently small neighborhood of $z$ maps onto a neighborhood of $R(z)$; every nearby target point $w$ has a preimage $x$ as close to $z$ as desired. Thenis uniformly small. Applying this at each point of the image neighborhood proves equicontinuity there. This argument works at rational critical points and requires no single-valued inverse branch. Surjectivity of $R$ supplies the asserted image equalities. Also $F(R^k)=F(R)$ and $J(R^k)=J(R)$ for $k\ge 1$: one direction follows by taking a subfamily, and the other by splitting $R^n$ into the finitely many residue classes $R^r\circ (R^k{)}^m$, $0\le r<k$.

For degree $d\ge 2$, the Julia set is nonempty. Otherwise the family would be equicontinuous on the whole compact sphere, giving a subsequence $R^{n_j}$ converging uniformly to a continuous sphere map $G$. Maps sufficiently close in chordal distance are homotopic, using the unique short spherical geodesic between their values. They therefore have equal topological degrees. This is impossible because $\mathrm{deg}{R}^{n_j}=d^{n_j}\to \infty$ whereas $G$ has one fixed degree.

It cannot be a nonempty finite set either. Complete invariance would make $R$ a permutation of that finite set, with just one sphere preimage for each of its points. That preimage would have local degree of a holomorphic map $d$. Every holomorphic cycle in this set would consequently be superattracting for its return map, hence lie in $F(R)$, a contradiction. In particular $J(R)$ contains at least three points.

The Montel theorem in the form used here says that a family of meromorphic maps on a domain, each omitting the same three distinct points of the sphere, is normal for spherical convergence. It also shows that $J(R)$ is perfect. If $a$ were isolated in $J(R)$, choose a disc $U$ with $U\cap J(R)=\{a\}$ and four distinct points of $J(R)$. For each $n$, complete invariance makes $R^n(U)\cap J(R)$ have at most the single point $R^n(a)$. Partition the iterates into finitely many families according to which of the four points, if any, that single value equals. Each family omits at least three fixed points, so each is normal by Montel; their finite union is normal. This would put $a$ in $F(R)$, a contradiction. Therefore the degree-at-least-two Julia set is compact, infinite and has no isolated points.

The same omitted-value argument explains its global reach. If an open $U$ meets $J(R)$, then ${\bigcup }_{n\ge 0}{R}^n(U)$ can omit at most two sphere points, since three omissions would imply normality on $U$. If $J(R)$ had an interior and were not the whole sphere, these image sets would remain in $J(R)$ and their complement would contain the nonempty open set $F(R)$, impossible. Thus a proper Julia set has empty interior and equals the boundary of $F(R)$. If the Julia set is the whole sphere, the Fatou set is empty instead.

An attracting periodic point and its holomorphic cycle has a contracting return map in a small disc, so its basin is in the Fatou set. Repelling periodic points belong to the Julia set: return iterates fix the point but have derivatives equal to unbounded powers of their periodic-orbit multiplier, contradicting derivative bounds for a normal subsequence near that fixed value. A standard further global property is that repelling periodic points are dense in the Julia set. Fatou components can also support convergence towards a parabolic cycle on the boundary, or rotation behavior in a Siegel disc or a Herman ring; normality need not mean attraction. For example, $R(z)=z^d$ has $J(R)=\{|z|=1\}$, with the interior converging to zero and the exterior to infinity. On the unit circle, arbitrarily close radii have incompatible limiting behavior, preventing normality there.

Degree one has a different picture. A rational map of degree one is a Möbius transformation. Up to Möbius conjugacy, an elliptic map is $z\mapsto az$ with $|a|=1$; its iterates are rotations and are equicontinuous on the sphere, so $F$ is the whole sphere and $J$ is empty (including the identity). For $z\mapsto az$ with $|a|>1$, all compact subsets away from zero converge to infinity, while $z_n=a^{-n}\to 0$ and $R^n(z_n)=1$ prevent equicontinuity at zero. Thus $J=\{0\}$; for $|a|<1$ the reciprocal coordinate gives $J=\{\infty \}$. A nonidentity parabolic map is conjugate to $z\mapsto z+1$. Its iterates converge locally uniformly to infinity on the finite plane, but $z_n=-n\to \infty$ has $R^n(z_n)=0$, so $J=\{\infty \}$. Holomorphic conjugacy carries these sets to the corresponding fixed points of the original map. These finite Julia sets explain why the degree restriction in many global Julia-set properties is essential.

For $f_c(z)=z^2+c$, the Mandelbrot set is the set of parameters for which the finite critical orbit $0,f_c(0),f_c^2(0),\dots$ remains bounded. It is a compact connected parameter set. Its main cardioid consists of parameters with an attracting fixed point, with a period-two bulb attached on the left, smaller bulbs attached recursively and fine filamentary structure. It is symmetric about the real axis and meets that axis in $[-2,1/4]$. The quadratic filled Julia set is connected exactly when $c$ belongs to this parameter set; outside it, the rational critical point escapes and the Julia set is a Cantor set. Thus it organizes the contrasting phase-space dynamics of the quadratic family, rather than itself being a Julia set in the dynamical $z$-plane.

The affine map $h(z)=1/2-z$, its own inverse, givesThis value is unique even among Möbius conjugacies. The finite fixed point of $P$ is zero and its periodic-orbit multiplier is one. Holomorphic conjugacy preserves that periodic-orbit multiplier. Infinity has periodic-orbit multiplier zero for a quadratic polynomial, so a corresponding multiplier-one fixed point of $w^2+c$ must be finite; it obeys $2w=1$ and $w^2+c=w$, forcing $c=1/4$. To locate it explicitly, a quadratic fixed point of periodic-orbit multiplier $\lambda$ gives $c=\lambda /2-{\lambda }^2/4$. The boundary parametrization $|\lambda |=1$ has its cusp at $\lambda =1$, so $c=1/4$ is the right-hand cusp on the Mandelbrot boundary. It is in the set: the critical orbit starts at zero, stays in $[0,1/2]$ and increases to the fixed point $1/2$. For real $c>1/4$, the increment $f_c(x)-x=(x-1/2{)}^2+c-1/4$ is strictly positive; a bounded critical orbit would have a limit solving $x^2+c=x$, which has no real solution. These nearby real parameters escape, proving that the cusp belongs to the boundary of the full Mandelbrot set as well.

The fixed points of $P$ on the sphere are zero and infinity. There is no neighborhood of zero on which all iterates converge to zero, even pointwise: a negative real initial point satisfies $P(x)=x-x^2<x<0$, so its iterates decrease without a finite limit and escape to infinity. Every neighborhood of zero contains such points. At infinity there is a uniformly attracting neighborhood in the chordal metric. In the reciprocal coordinate $w=1/z$,For $|w|\le 1/4$, its modulus is at most $|w|/3$. Thus the reciprocal iterates tend uniformly to zero there, proving uniform convergence to infinity on the corresponding sphere neighborhood.

For the given disc, $|z-1/2|<1/2$ is equivalent to $|z{|}^2<\Re z$, and hence to $\Re (1/z)>1$. Under $w=1/z$ the iteration becomesIf $\Re w>1$, then $\Re (1/(w-1))>0$, so $\Re T(w)>\Re w+1$. Consequently the half-plane is forward invariant andThis proves uniform convergence to zero on the disc and therefore $\Delta \subset F(P)$. It is the explicit parabolic disk for z minus z squared.

Let $U=F_{\Delta }$. The iterate family is normal on the connected open set $U$. Every subsequential limit along $n_j\to \infty$ equals zero on $\Delta$; by the identity theorem it is zero throughout $U$. If the full sequence failed to converge uniformly on some compact subset, a further normal subsequence would contradict that conclusion. Hence $P^n\to 0$ locally uniformly throughout $U$. Complete invariance of the Fatou set puts $P(U)$ in a Fatou component. Since $P(\Delta )\subset \Delta$, that component is $U$, so $P(U)\subseteq U$.

We prove the reverse-image assertion, rather than assuming that a basin has only one component. Each connected component $V$ of $P^{-1}(U)$ maps properly to $U$: for compact $K\subset U$, the sphere preimage $P^{-1}(K)$ is compact, and its intersection with $V$ is closed in it because $V$ is a relatively closed component of $P^{-1}(U)$. Its image is open by holomorphic openness. To prove it is closed in $U$, lift a convergent sequence of image points to preimages in $V$. Their images eventually lie in a compact neighborhood inside $U$; properness gives a convergent preimage subsequence with limit in $V$ and the desired limiting image. Thus the image is also closed, and equals the connected target $U$. Moreover $U$ itself is one such component: it lies in $P^{-1}(U)$ by forward invariance, and any connected inverse-image component containing it lies in $F(P)$ and hence in $U$ by maximality.

Now $1/4\in \Delta$ and its entire preimage is $\{1/2\}$, counted twice. Every component $V$ of $P^{-1}(U)$ must contain a preimage of $1/4$, so every one must be $U$. ThereforeThis is the Fatou component containing an entire fiber is completely invariant argument. The convergence on this component is locally uniform: it cannot be uniform on all of $U$, because $P^n(U)=U$ for every $n$ and $U$ contains nonzero points.

Finally suppose zero belonged to the Fatou set. A normal subsequence on a disc around zero would have limit zero, since that disc meets $\Delta$ in an open set where the entire sequence tends to zero. The identity theorem forces this limit to be zero on the whole disc. Uniform convergence in a smaller finite coordinate disc would then imply derivative convergence at zero by the Cauchy integral formula. Butfor every $n$, whereas the derivative of the zero limit is zero. This contradiction proves

Use the normalized chordal metricUnder stereographic projection it is half the Euclidean chord distance on the unit sphere, which proves the metric axioms and the agreement with the usual sphere topology. If $\rho$ is spherical geodesic distance, then $\rho =2\arcsin \chi$, so $2\chi \le \rho \le \pi \chi$.

A rational map is holomorphic, hence smooth, as a map of compact spheres. At a pole use $1/R$ as target coordinate, and at infinity use $1/z$ as source coordinate; neither is a singularity of the sphere map. Its differential in the round metric has a finite maximum norm $L$. Integrating its norm along a minimizing spherical geodesic gives $\rho (Rz,Rw)\le L\rho (z,w)$. The preceding comparisons implyThis proves that the rational map is Lipschitz in the chordal metric. For a constant map take constant zero; for a nonconstant map the bound is finite by compactness. In finite coordinates the differential norm is $R^{\#}(z)=|R^{\prime }(z)|(1+|z{|}^2)/(1+|R(z){|}^2)$, with its continuous sphere extension.

Now suppose $R,S$ are commuting maps. We first prove $S(F(R))\subseteq F(R)$. The family $\{R^n\}$ is locally equicontinuous on $F(R)$, by the normality equivalence in question 1. Commutation and the Lipschitz estimate give, for all $n$,For $x_0\in F(R)$ choose a source ball within that open set, small enough to make the right side less than any prescribed $ϵ$ uniformly in $n$. Holomorphic openness makes its image contain a ball about $S(x_0)$. Every point $w$ of that target ball has some preimage $x$ in the chosen source ball, so the same inequality proves equicontinuity of the iterates of $R$ at $S(x_0)$. Repeating at each point of the image gives local normality on that image. Thus the stated inclusion holds even where $S$ has a rational critical point.

Carefully state the permitted Montel theorem: a family of meromorphic maps on an open domain, all omitting the same three distinct values of the Riemann sphere, is normal for locally uniform spherical convergence. Since $\mathrm{deg}R\ge 2$, question 1 shows that $J(R)$ contains at least three distinct points. The forward inclusion just proved means every iterate of $S$ maps $F(R)$ into itself and therefore omits those three points there. Montel gives $F(R)\subseteq F(S)$. Exchanging the roles, using $\mathrm{deg}S\ge 2$, gives the opposite inclusion. ConsequentlyThis proves that commuting rational maps of degree at least two have the same Julia set without assuming either is an iterate of the other.

For commuting maps of degree one with different Julia sets, takeTheir two compositions are the identity, and the Julia sets follow from the expanding and contracting Möbius cases in question 1.

For equal Julia sets without commutation, takeBoth affine maps contract toward their finite fixed points and have a repelling periodic point at infinity. But $R\circ S=z/4+1/2$, while $S\circ R=z/4+1$, so they do not commute.

Finally the distinct Chebyshev polynomialshave degrees two and three and neither is a pure power of $z$. Direct expansion gives both compositions equal to $32z^6-48z^4+18z^2-1$. Equivalently $T_m(T_n(z))=T_{mn}(z)$, first seen at $z=\cos \theta$ and then as a polynomial identity. This provides the requested higher-degree pair.

For a nonconstant rational map, choose local holomorphic coordinates $u$ at $p$ and $v$ at $R(p)$, both vanishing at their centres. Its local expression has the formThe local degree of a holomorphic map is $e$. A critical point of a rational map is one with $e\ge 2$, and its critical multiplicity is $e-1$. Both are unchanged by coordinate changes with nonzero first derivatives. At finite points where $R$ is finite, multiplicity is the derivative's zero order; at poles and infinity it must be computed in the corresponding reciprocal coordinate.

We give an algebraic proof of the total count. Local derivatives are holomorphic and not identically zero, so their zeros are isolated; compactness makes the sphere critical set finite. Choose a regular target value and make it infinity by a target Möbius transformation. There are then $d$ simple poles. Independently choose a noncritical source point not mapping to this value and make it source infinity. In these coordinates all poles are finite and simple, and infinity is a regular point with finite image. Write the resulting map as $P/Q$, where $P,Q$ are coprime, $\mathrm{deg}Q=d$, and $\mathrm{deg}P\le d$. Regularity at infinity givesSince $R^{\prime }=(P^{\prime }Q-P{Q}^{\prime })/Q^2$, its numerator $W=P^{\prime }Q-P{Q}^{\prime }$ therefore has degree exactly $2d-2$. At every pole $p$, $W(p)=-P(p)Q^{\prime }(p)\ne 0$, so the roots of $W$ are precisely the finite rational critical points, with their critical multiplicities. Infinity was chosen regular. The fundamental theorem of algebra now provesThe coordinate changes preserve the local degrees of a holomorphic map, so this is the count for the original map. The printed critical-point count is with multiplicity: for example $z^d$ has only two distinct rational critical points, zero and infinity, each of multiplicity $d-1$.

Local degrees of a holomorphic map multiply under composition, since substituting leading powers of orders $e$ and $f$ gives order $ef$. ThusIf $p$ is critical for $P$, the first factor is at least two, so it is critical for every positive iterate. Conversely a product of positive integers can exceed one only if one factor exceeds one, so a rational critical point of $P^n$ reaches a rational critical point of $P$ in some $j<n$ steps (including $j=0$). At finite points this is also the derivative chain rule $(P^n{)}^{\prime }(z)={\prod }_{j=0}^{n-1}{P}^{\prime }(P^j(z))$; the local-degree argument covers infinity as well. This proves both assertions about critical points of iterates of a rational map.

For the given polynomial the finite derivative is $2z$, so the only finite rational critical point is zero. Its orbit isThe last two points form an exact two-cycle, whose periodic-orbit multiplier isThus $a=-1+i$ is a repelling periodic point. To justify its Julia membership directly, suppose the iterates were normal near $a$. A subsequence of $(P^2{)}^n$, all fixing $a$, would converge spherically on a neighborhood. Its limit takes the finite value $a$ there, so in a smaller neighborhood it and the tail of that subsequence lie in a finite coordinate chart. The Cauchy integral formula then bounds the derivatives at $a$. But those derivatives equal ${\lambda }^n$, unbounded, a contradiction. Therefore $a\in J(P)$. Complete backward invariance of the Julia set and $P^2(0)=a$ giveThe critical orbit is bounded but preperiodic to a repelling holomorphic cycle, illustrating that boundedness alone does not put a point in the Fatou set.

A holomorphic periodic point is repelling when its return multiplier has modulus greater than one. It belongs to the Julia set: if the iterates were normal near it, a subsequence of the return iterates, all fixing the point, would converge locally uniformly in the spherical metric. Near their fixed finite value the limit lies in a finite coordinate chart, so Cauchy's derivative estimate would bound their derivatives at the point. Those derivatives are the successive powers of the multiplier and are unbounded. The same argument in a reciprocal coordinate handles infinity.