Let be positive bumps of an order automorphism whose supports of a permutation have matching endpoint types, as required by conjugacy of positive real-line bumps. Suppose , using right actions. Their conjugacy can be chosen to fix pointwise.
Start with an increasing bijection that is the identity on . Such an extension exists because both right endpoints lie strictly beyond . Extend along the bump iterates using , and extend over the complementary rays. Endpoint agreement makes the iterated pieces fit, and gives while retaining the prescribed fixed interval.
There is also a useful commuting version. If both bump supports lie strictly inside one fundamental interval of another order automorphism moving points to the right, choose the conjugator within that cell and fix its endpoints. Repeat it on all -translates of the cell, and use the identity outside the resulting orbital. The pieces define a conjugator commuting with . It also commutes with every automorphism whose support lies in an interval that the conjugator fixes pointwise.
Articles by others on the same topic
There are currently no matching articles.