On centralizers of interval diffeomorphisms in critical (intermediate) regularity (Q393426): Difference between revisions

Although group actions on one-dimensional manifolds are well understood for sufficiently smooth diffeomorphisms -- class \(C^2\), for example -- there is interest in considering actions of lower regularity. The interest comes from both group-theoretical and dynamics sides where intermediate regularity -- actions by diffeomorphisms with differentiability between classes \(C^1\) and \(C^2\) -- appears in several relevant problems. The main result of the paper is an extension of a theorem [Acta Math. 199, No. 2, 199--262 (2007; Zbl 1139.37025)] due to the author et al.. The current result states: If \[ \{I_{i_1,\dots, i_{d+1}}: (i_1,i_2,\dots, i_{d+1})\in\mathbb{Z}^{d+ 1}\} \] is a familly of subintervals of \([0,1]\) that are disposed to respect the lexicographical order, and if \(f_1,f_2,\dots, f_{d+1}\) are diffeomorphisms such that \[ f_j(I_{i_1,i_2,\dots,j-1,i,+1,\dots,i_{d+1}})= I_{i_1,i_2,\dots, i_{j-1}, i+1,i_{j+1},\dots, i_{d+1}} \] for all \(j\), \(1\leq j\leq d+1\), then \(f_1,\dots, f_d\) cannot all be of class \(C^{1+1/d}\) provided that \(f_{d+1}\) is of class \(C^{1+\alpha}\) for some \(\alpha>0\) and \(f_{d+1}\) commutes with \(f_1,\dots, f_d\).