[論文レビュー] On generalized Lattès maps

Fedor Pakovich|arXiv (Cornell University)|Dec 5, 2016

Advanced Topics in Algebra参考文献 14被引用数 9

ひとこと要約

本稿は、リーマン球面上のオーロラフォールド間の最小ホロモーフィック写像である一般化されたラッティーズ写像を、種数1の力学を超えて定義する有理関数として導入する。古典的ラッティーズ写像の拡張として、3通りの同等な特徴付け（リーマン面との可換図式、有限群作用、オーロラフォールド力学）を確立し、多項式一般化ラッティーズ写像を $ z^r R^n(z) $ または $ \pm T_m $ の共役として分類する。ここで $ \gcd(r,n) = 1 $ または $ \gcd(m,n) = 1 $ である。

ABSTRACT

We introduce a class of rational functions $A:\,\mathbb C\mathbb P^1 ightarrow \mathbb C\mathbb P^1$ which can be considered as a natural extension of the class of Lattès maps and establish basic properties of functions from this class.

研究の動機と目的

• 種数1のリーマン面を超えて、オーロラフォールド力学を持つ有理関数としてラッティーズ写像のクラスを拡張すること。
• 球面リーマン面の仮定の下で最近研究された有理関数と古典的ラッティーズ写像を統一的な枠組みに統合すること。
• 可換図式、有限群作用、オーロラフォールド被覆性の3通りの同等な特徴付けを用いて、一般化ラッティーズ写像を特徴付けること。
• 単項式およびチェビシェフ型の形に、多項式一般化ラッティーズ写像を分類すること。
• 正のオイラー標数を持つオーロラフォールド間の最小ホロモーフィック写像が、古典的被覆写像よりも広いクラスを形成することを確立すること。

提案手法

• 一般化ラッティーズ写像を、$ \mathcal{O} \to \mathcal{O} $ が非分岐球面でないオーロラフォールド間の最小ホロモーフィック写像である有理関数 $ A: \mathbb{C}\mathbb{P}^1 \to \mathbb{C}\mathbb{P}^1 $ として定義する。
• オーロラフォールドの符号とオイラー標数を用いて、$ \{n,n\} $, $ \{2,2,n\} $, $ \{2,3,3\} $, $ \{2,3,4\} $, $ \{2,3,5\} $ などの分岐型を分類し、非負のオイラー標数に対応させる。
• 3通りの特徴付けの同等性を確立する：(1) 1位または1位のリーマン面との可換図式の存在、(2) 自己同型 $ \varphi $ を持つ有限群作用、(3) オーロラフォールド間の最小ホロモーフィック写像。
• リーマン＝ハルツォー公式とファイバー不変性を用いて、$ \pi^{-1}(\infty) $ および $ B $-不変集合の構造を分析する。
• 共役とモビウス変換を用いて、$ \theta_\mathcal{O} $ を $ z^n $ や $ \frac{1}{2}(z^n + z^{-n}) $ のような標準形に正規化する。
• ファイバーの単射性と群作用の制約を用いて、多項式一般化ラッティーズ写像が $ \gcd(r,n) = 1 $ を満たす $ z^r R^n(z) $ または $ \pm T_m $ に共役であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 種数1の力学を超えて、主要な力学的性質を保つラッティーズ写像の自然な一般化は何か？
• RQ2 可換図式、群作用、オーロラフォールド写像の観点から、一般化ラッティーズ写像を同等に特徴付ける方法は何か？
• RQ3 リーマン球面 $ \mathbb{C}\mathbb{P}^1 $ 上の最小ホロモーフィック自己写像に適するオーロラフォールド符号とオイラー標数の可能性は何か？
• RQ4 どの多項式有理関数がオーロラフォールド間の最小ホロモーフィック写像として現れ、どのように分類できるか？
• RQ5 オーロラフォールドの対称性と群作用が、一般化ラッティーズ写像の関数的形にどのような制約を与えるか？

主な発見

• 一般化ラッティーズ写像は、$ \mathcal{O} $ が非分岐球面でないオーロラフォールド間の最小ホロモーフィック写像である有理関数 $ A $ である。
• このような写像のオーロラフォールド符号には $ \{n,n\} $, $ \{2,2,n\} $, $ \{2,3,3\} $, $ \{2,3,4\} $, $ \{2,3,5\} $ が含まれ、非負のオイラー標数に対応する。
• 一般化ラッティーズ写像の3通りの同等な特徴付けが確立された：(1) 1位または1位の曲面との可換図式、(2) 自己同型 $ \varphi $ を持つ有限群作用、(3) オーロラフォールド間の最小ホロモーフィック写像。
• 多項式一般化ラッティーズ写像は、$ \gcd(r,n) = 1 $ を満たす $ z^r R^n(z) $ または $ \pm T_m $ に共役である。ここで $ T_m $ はチェビシェフ多項式である。
• 分類はファイバー不変性に依拠し、群作用における $ F $-不変集合が高々2点しか含まないため、$ \theta_\mathcal{O} $ が標準形に正規化可能である。
• $ L_4(a,z) $ が $ L_4(z) = 1 $ のとき最小ホロモーフィック写像条件を満たすことが示され、$ \mu = 1/z $ における対称性から $ L_1 $, $ L_2 $, $ L_4 $ の間の共役関係が導かれる。