Quasisymmetric orbit-flexibility of multicritical circle maps

Abstract

Two given orbits of a minimal circle homeomorphism f are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with f. By a well-known theorem due to Herman and Yoccoz, if f is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. It follows from the a priori bounds of Herman and Świątek, that the same holds if f is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if f is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in $(0,1)$ , then the number of equivalence classes is uncountable (Theorem 1.1). The proof of this result relies on the ergodicity of a two-dimensional skew product over the Gauss map. As a by-product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure-theoretical viewpoints (Theorems 1.6 and 1.8).

Renormalization of bicritical circle maps

“…By elementary reasons, if f and g have the same signature there exists a circle homeomorphism h, which is a topological conjugacy between f and g, identifying each critical point of f with one of g having the same criticality (note that such h is the unique conjugacy between f and g that can be smooth. As it turns out, for almost every rotation number most conjugacies between f and g fail to be a quasisymmetric homeomorphism, see the recent paper [7] for precise statements). This will be our standing assumption in this article.…”

Pares holomorfos e a família de Arnold

“…A extensão dos Teoremas 2.1 e 2.2 para homeomorfismos do círculo com mais de um ponto crítico (todos não-flat), foi anunciado recentemente por de Faria [15] em um trabalho conjunto com G. Estevez.…”