[論文レビュー] Multiplier Spectra and the Moduli Space of Degree 3 Morphisms on P1

Benjamin Hutz, Michael Tepper|arXiv (Cornell University)|Oct 23, 2011

Algebraic Geometry and Number Theory参考文献 8被引用数 5

ひとこと要約

この論文は、同値類とその乗数スペクトルの間の対応を分析することにより、ℙ¹ 上の3次有理写像のモジュライ空間を調査する。代数幾何学的および計算的手法を用いて、異なる固定点を持つ3次有理写像に対して、乗数スペクトルが同値類を一意に決定することを証明し、モジュライ空間から乗数パラメータ空間への有限対1写像を確立する。主な結果は、その乗数と固定点を用いたこのような写像の正規形であり、対称関数とグレブナー基底の計算により明示的な式が導出される。

ABSTRACT

The moduli space of degree $d$ morphisms on $\mathbb{P}^1$ has received much study. McMullen showed that, except for certain families of Lattès maps, there is a finite-to-one correspondence (over $\mathbb{C}$) between classes of morphisms in the moduli space and the multipliers of the periodic points. For degree 2 morphisms Milnor (over $\mathbb{C}$) and Silverman (over $\mathbb{Z}$) showed that the correspondence is an isomorphism. In this article we address two cases: polynomial maps of any degree and rational maps of degree 3.

研究の動機と目的

• ℙ¹ 上の3次有理写像のモジュライ空間 M₃ の構造を、乗数不変量を用いて特定すること。
• 2次写像において知られているモジュライ空間と乗数空間の同型を、3次写像へと拡張すること。
• 固定点と乗数を用いて、3次有理写像の明示的な正規形を提供すること。
• 写像 τ₃,n の次数を計算し、一般の乗数スペクトルに対してその有限性を示すこと。
• 非ラッティーズ写像に対して、乗数スペクトルがモジュライ空間 M₃ 内の同値類を一意に決定するかという問題を解消すること。

提案手法

• 著者たちは、PGL₂ の Hom_d への作用を用いて、モジュライ空間 M_d を商空間 Hom_d / PGL₂ として定義する。
• n 重乗数スペクトルは、周期 n の点における乗数の集合として定義され、基本対称関数 σ_n,i がパラメータ空間の座標をなす。
• 写像 τ_d,n: M_d → 𝔸^{d^n+1} は、対称関数を介して同値類をその乗数スペクトルに写す。
• 3次写像の場合、著者たちは固定点を 0, 1, ∞ に固定し、4番目の固定点 α をパラメータとして用いて有理正規形を導出する。
• 変数の消去と、一般の乗数タプルにおけるファイバーの次数の計算に、グレブナー基底や結果式を含む代数的技法を適用する。
• 計算は計算代数システム（Magma および Pari/GP）を用いて検証され、解の重複度を確認し、方程式系を解くための明示的なコードが提供されている。

実験結果

リサーチクエスチョン

• RQ1 ℙ¹ 上の3次有理写像のモジュライ空間 M₃ は、その周期的点の乗数スペクトルによってパラメータ化可能か？
• RQ2 M₃ から乗数スペクトル空間への写像は有限対1か？ その次数は何か？
• RQ3 非ラッティーズ写像に対して、乗数スペクトルが M₃ 内の同値類を一意に決定するか？
• RQ4 固定点と乗数を用いて、3次有理写像の明示的な正規形を導出可能か？
• RQ5 一般の点 P に対して、写像の像における τ₃,n⁻¹(P) の構造は何か？

主な発見

• 写像 τ₃,2: M₃ → 𝔸^{10} は有限対1であり、その次数は有限値に安定化し、d=3 の場合にマクマレンの一般的有限性結果を裏付ける。
• 異なる固定点を持つ3次有理写像に対して、乗数スペクトルが同値類を一意に決定する。これは、乗数写像が一般には単射であることを示唆する。
• 固定点が 0, 1, ∞, α である3次有理写像に対して、明示的な正規形が構成された。パrameterは乗数 λ₀, λ₁, λ∞, λα で与えられる。
• 4番目の乗数 λα は、関係式 λα = 1 + 1 / (1/(1−λ₀) + 1/(1−λ∞) + 1/(1−λ₁) − 1) により決定され、関数方程式と整合性を保つ。
• 写像 τ₃,n の次数は安定化し、著者たちはグレブナー基底の技法を用いてそれを計算した。固定点がすべて異なる場合、一般の乗数タプルにおけるファイバーには正確に1つの点が存在することが示された。
• 著者たちは Magma および Pari/GP を用いて結果を計算的に検証し、解の重複度と導出された正規形の正しさを確認した。