A real-variable construction with applications to BMO-Teichmüller theory (Q2088562)

A strongly quasisymmetric homeomorphisms of the unit circle \(\mathbb{S}\) is an element of the BMOA-Teichmüller space studied by \textit{K. Astala} and the second author [Math. Ann. 289, No. 4, 613--625 (1991; Zbl 0896.30028)]. In other words, the set of strongly quasisymmetric homeomorphisms is the group of homeomorphisms \(h\) of the unit circle \(\mathbb{S}\) for which \(h\) is absolutely continuous and \(|h'|\) belongs to the class of \(A_{\infty}\)-weights introduced by \textit{B. Muckenhoupt} [Trans. Am. Math. Soc. 165, 207--226 (1972; Zbl 0236.26016 )]. A weight \(\omega\) on the unit circle \(\mathbb{S}\) is called doubling if there exists a constant \(C\) such that, for all adjacent intervals \(I, I^{*}\subset \mathbb{S}\) of the same length, \(C^{-1}\omega(I)\leq \omega(I^{*})\leq C\omega(I)\), where \(\omega(I)=\int_{I}\omega(z)|dz|\). \textit{C. Fefferman} and \textit{B. Muckenhoupt} [Proc. Am. Math. Soc. 45, 99--104 (1974; Zbl 0318.26010)] showed that \(A_{\infty}\)-weights are doubling, and they also provided an example of a function that satisfies the doubling condition but is not in \(A_{\infty}\). However it was not known yet whether or not, under the assumption that \(\omega\) is a doubling weight, the condition \(\log \omega \in \mathrm{BMO}(\mathbb{S})\) itself implies that \(\omega\in A_{\infty}\). In this paper, the authors, with the use of real-variable techniques, provide a negative answer to this question. They construct a weight function \(\omega\) on the interval \([0,2\pi)\) which is doubling and such that \(\log \omega\) is a BMO function, but which is not a Muckenhoupt weight in\(A_{\infty}\). Applications to the BMO-Teichmüller spaces and the space of chord-arc curves are considered.