[論文レビュー] Escaping Set of Hyperbolic Semigroup

Bishnu Hari Subedi, Ajaya Kumar Singh|arXiv (Cornell University)|Mar 28, 2018

Mathematical Dynamics and Fractals参考文献 5被引用数 3

ひとこと要約

本稿では、各生成子 $f_i$ が有界型の双曲的整関数である有限生成な超越的半群 $S = \langle f_1, \dots, f_n \rangle$ が自身も双曲的であり、その飛翔集合 $I(S)$ のすべての成分が非有界であることを確立している。この結果は、生成子の双曲的性が全体の双曲的性と非有界飛翔成分をもたらすことを示しており、半群設定におけるエレメンコの予想を支持する。

ABSTRACT

In this paper, we mainly study hyperbolic semigroups from which we get non-empty escaping set and Eremenko's conjecture remains valid. We prove that if each generator of bounded type transcendental semigroup S is hyperbolic, then the semigroup is itself hyperbolic and all components of I(S) are unbounded

研究の動機と目的

• 超越的半群によって生成される飛翔集合 $I(S)$ の構造を調査すること。
• 飛翔集合 $I(S)$ が非有界成分を持つための条件を特定し、半群的文脈におけるエレメンコの予想に取り組むこと。
• 有界型超越的半群の各生成子が双曲的であれば、その半群全体が双曲的であることを確立すること。
• 生成子の双曲的性が半群の双曲的性と非有界飛翔成分をもたらすことを示すことで、古典的エレメンコ型力学を半群力学へと拡張すること。

提案手法

• 超越的半群 $S = \langle f_1, \dots, f_n \rangle$ を、関数の合成に関して生成される有限個の超越的整関数からなる半群として定義する。
• 双曲的性の概念を用いる：整関数 $f$ が後期特異点集合 $P(f)$ がコンパクトであり、ファトウ集合 $F(f)$ に含まれるとき、双曲的と呼ぶ。
• 補題 3.1 を用いて合成の特異値を評価する：$SV(f \circ g) \subset SV(f) \cup f(SV(g))$。
• 補題 3.2 を用いて、可換関数に対しては $f^m(SV(g)) \subset SV(g)$ が成り立ち、反復における特異値構造が保存されることを示す。
• 補題 3.3 を用いて、可換な二つの双曲的関数の合成 $f \circ g$ も双曲的であることを証明する。
• 補題 3.3 を繰り返し適用することで、半群内の任意の合成 $f = f_1^{t_1} \circ \cdots \circ f_n^{t_n}$ が双曲的であることが示され、したがって $S$ が双曲的であることが結論づけられる。

実験結果

リサーチクエスチョン

• RQ1 超越的半群 $S$ の飛翔集合 $I(S)$ が非空であり、非有界成分を持つための条件は何か？
• RQ2 有界型半群において各生成子 $f_i$ が双曲的であると、半群全体 $S$ も双曲的であると結論づけられるか？
• RQ3 エレメンコの予想（飛翔集合のすべての成分が非有界である）は、超越的半群の文脈へと拡張可能か？
• RQ4 可換半群において、特異値と後期特異点集合は合成によってどのように振る舞うか？

主な発見

• 有限生成超越的半群 $S$ の各生成子 $f_i$ が双曲的かつ有界型であれば、$S$ 自身も双曲的である。
• 飛翔集合 $I(S)$ のすべての成分が非有界であることが確認され、エレメンコの予想の半群的類似が裏付けられた。
• 可換な双曲的関数の合成 $f \circ g$ の後期特異点集合 $P(f \circ g)$ は、$P(f) \cup P(g)$ に含まれる。これらはファトウ集合内のコンパクト集合である。
• 可換な双曲的整関数の合成は、反復における特異値構造の保存により、依然として双曲的である。
• 任意の有限合成 $f = f_1^{t_1} \circ \cdots \circ f_n^{t_n}$ に対してこの結果が成り立ち、半群 $S$ 全体が生成子の双曲的性を引き継ぐことが保証される。