<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varphi :{\mathbb {D}} \rightarrow {\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>:</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">D</mi> </mrow> </math></EquationSource> </InlineEquation> be a parabolic self-map of the unit disc&#xa0;<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> having <i>zero</i> hyperbolic step. We study holomorphic self-maps of&#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> commuting with&#xa0;<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation>. In particular, we answer a question from Gentili and Vlacci (1994) by proving that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\psi \in \mathsf {Hol({\mathbb {D}},{\mathbb {D}})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ψ</mi> <mo>∈</mo> <mrow> <mi mathvariant="sans-serif">Hol</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo>,</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> commutes with&#xa0;<InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> if and only if the two self-maps have the same Denjoy&#xa0;–&#xa0;Wolff point and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation> is a pseudo-iterate of&#xa0;<InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> in the sense of Cowen. Moreover, we show that the centralizer of&#xa0;<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation>, i.e. the semigroup <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\mathscr {Z}}_\forall (\varphi ):=\{\psi \in \mathsf {Hol({\mathbb {D}},{\mathbb {D}})}:\psi \circ \varphi =\varphi \circ \psi \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Z</mi> <mo>∀</mo> </msub> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>ψ</mi> <mo>∈</mo> <mrow> <mi mathvariant="sans-serif">Hol</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo>,</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mi>ψ</mi> <mo>∘</mo> <mi>φ</mi> <mo>=</mo> <mi>φ</mi> <mo>∘</mo> <mi>ψ</mi> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is commutative. We also prove that if <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is univalent, then all elements of&#xa0;<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\mathscr {Z}}_\forall (\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Z</mi> <mo>∀</mo> </msub> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are univalent as well, and if <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is not univalent, then the identity map is an isolated point of&#xa0;<InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\mathscr {Z}}_\forall (\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Z</mi> <mo>∀</mo> </msub> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The main tool is the machinery of <i>simultaneous linearization</i>, which we develop using holomorphic models for iteration of non-elliptic self-maps originating in works of Cowen and Pommerenke.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Simultaneous linearization and centralizers of parabolic self-maps I: zero hyperbolic step

  • Manuel D. Contreras,
  • Santiago Díaz-Madrigal,
  • Pavel Gumenyuk

摘要

Let \(\varphi :{\mathbb {D}} \rightarrow {\mathbb {D}}\) φ : D D be a parabolic self-map of the unit disc  \({\mathbb {D}}\) D having zero hyperbolic step. We study holomorphic self-maps of  \({\mathbb {D}}\) D commuting with  \(\varphi \) φ . In particular, we answer a question from Gentili and Vlacci (1994) by proving that \(\psi \in \mathsf {Hol({\mathbb {D}},{\mathbb {D}})}\) ψ Hol ( D , D ) commutes with  \(\varphi \) φ if and only if the two self-maps have the same Denjoy – Wolff point and \(\psi \) ψ is a pseudo-iterate of  \(\varphi \) φ in the sense of Cowen. Moreover, we show that the centralizer of  \(\varphi \) φ , i.e. the semigroup \({\mathscr {Z}}_\forall (\varphi ):=\{\psi \in \mathsf {Hol({\mathbb {D}},{\mathbb {D}})}:\psi \circ \varphi =\varphi \circ \psi \}\) Z ( φ ) : = { ψ Hol ( D , D ) : ψ φ = φ ψ } is commutative. We also prove that if \(\varphi \) φ is univalent, then all elements of  \({\mathscr {Z}}_\forall (\varphi )\) Z ( φ ) are univalent as well, and if \(\varphi \) φ is not univalent, then the identity map is an isolated point of  \({\mathscr {Z}}_\forall (\varphi )\) Z ( φ ) . The main tool is the machinery of simultaneous linearization, which we develop using holomorphic models for iteration of non-elliptic self-maps originating in works of Cowen and Pommerenke.