Smooth combs inside hedgehogs (Q556490)

The article contains a proof of the following theorem: There exists a family \((f_t)_{t\in C}\), indexed by a Cantor set \(C\subset\mathbb{R}/\mathbb{Z}\), of commuting, holomorphic and univalent maps \(f_t(\mathbb{Z})= e^{2\pi it}z+ O(z^2)\) defined on some neighbourhood of the closed unit disc \(\overline{\mathbb{D}}\), such that for \(t\) irrational, \(f_t\) has a hedgehog \(K\subset\overline{\mathbb{D}}\) (a compact set not contained in the linearization domain) which contains a homeomorphic image of a \(C_0\times [1, 2]\) for some Cantor set \(C_0\subset\mathbb{R}\). The paper contains a more formal statement of this result and continues investigations by \textit{R. Pérez-Marco} [Acta Math. 179, 243--294 (1997; Zbl 0914.58027)].