[論文レビュー] Algebraic stability and degree growth of monomial maps and polynomial maps

Jan-Li Lin|arXiv (Cornell University)|Jul 1, 2010

Algebraic Geometry and Number Theory参考文献 6被引用数 7

ひとこと要約

本稿は、特異的幾何学と行列力学を用いて、単項式および多項式写像の代数的安定性と次数の増加を調査する。$(\mathbb{P}^1)^n$ 上の単項式写像が、各成分に支配的単項式項を持つ場合に代数的に安定であることを確立し、関連する整数行列の固有値半径およびジョルダン構造を用いた次数列の明確な漸近的推定を提供する。

ABSTRACT

Given a rational monomial map, we consider the question of finding a toric variety on which it is algebraically stable. We give conditions for when such variety does or does not exist. We also obtain several precise estimates of the degree sequences of monomial maps on $¶^n$. Finally, we characterize polynomial maps which are algebraically stable on $(¶^1)^n$.

研究の動機と目的

• 特異的多様体上での単項式写像が代数的に安定なモデルを有する条件を特定すること。
• $(\mathbb{P}^1)^n$ 上の多項式写像の代数的安定性を特徴づけること。
• $\mathbb{P}^n$ および重み付き射影空間上での単項式写像の次数増加に対する明確な漸近的推定を導出すること。
• 除法の引き戻しとスペクトル理論を用いて、ファーブの特異的曲面に関する結果を高次元特異的多様体へ一般化すること。
• 支配的項を有する多項式写像の第一力学的次数が代数的整数であることを証明し、ベルンとヴィアリュの予想を支持すること。

提案手法

• 特異的幾何学を用いて、単項式写像を特異的多様体上の等変写像としてモデル化し、軌道-錐対応を活用する。
• 有理写像における除法類の引き戻しに基づく代数的安定性の幾何的基準を適用する。
• 次数行列 $\operatorname{Deg}(f)$ を用いた次数増加の行列表現を採用し、$\deg_i(f_j)$ は変数 $z_i$ における $j$ 番目の成分の次数を追跡する。
• 関連する整数行列 $A$ の固有値半径 $\rho(A)$ およびジョルダンブロック構造を用いて、漸近的次数推定を導出する。
• $\deg(f_A^k)$ が $C \cdot k^\ell \cdot \rho(A)^k$ のように増加することを証明し、ここで $\ell+1$ は最大絶対値固有値に対応する最大ジョルダンブロックのサイズである。
• $\operatorname{Deg}(fg) = \operatorname{Deg}(g)\cdot\operatorname{Deg}(f)$ の性質を用いて、支配的単項式項を有する写像を特徴づけ、代数的安定性を確立する。

実験結果

リサーチクエスチョン

• RQ1 単項式写像が、特異的双有理的モデル上で代数的に安定であるための条件は何か？
• RQ2 $\mathbb{P}^n$ 上の単項式写像 $f_A$ に対して、次数列 $\deg(f_A^k)$ の明確な漸近的挙動は何か？
• RQ3 $(\mathbb{P}^1)^n$ 上の多項式写像が代数的に安定であるのはいつか？ また、その第一力学的次数は次数行列とどのように関係するか？
• RQ4 すべての有理写像の第一力学的次数が代数的整数であるという主張は、支配的単項式項を有する多項式写像に対しても成り立つか？
• RQ5 単項式写像の次数増加は重み付き射影空間上でどのように振る舞い、標準的な次数推定は一般化可能か？

主な発見

• $n \times n$ 整数行列 $A$ に対して、次数列 $\deg(f_A^k)$ は $C_0 \cdot k^\ell \cdot \rho(A)^k \leq \deg(f_A^k) \leq C_1 \cdot k^\ell \cdot \rho(A)^k$ を満たす。ここで $\ell+1$ は最大絶対値固有値に対応する最大ジョルダンブロックのサイズである。
• 行列 $A$ が対角化可能で、すべての最大絶対値固有値 $\lambda$ に対して $\lambda/\bar{\lambda}$ が単位根であるならば、$l=0,\dots,p-1$ に対して $\deg(f_A^{pk+l}) = C_l \cdot |\lambda_1|^{pk+l} + O(|\lambda_2|^{pk+l})$ が成り立ち、次数増加に周期的振動が現れる。
• $(\mathbb{P}^1)^n$ 上のすべての単項式多項式写像は、各成分に支配的単項式項を有するため、代数的に安定である。
• $(\mathbb{P}^1)^n$ 上の多項式写像 $f$ が代数的に安定であるための必要十分条件は、すべての $k$ に対して $\operatorname{Deg}(f^k) = \operatorname{Deg}(f)^k$ が成り立つことである。これは、各成分に支配的単項式項が存在する場合に限り成立する。
• 支配的単項式項を有する多項式写像の第一力学的次数は、その次数行列の固有値半径に等しく、したがって代数的整数である。これはベルン＝ヴィアリュの予想をこの場合に支持する。
• $\operatorname{Deg}(fg) = \operatorname{Deg}(g)\cdot\operatorname{Deg}(f)$ かつすべての $\deg_i(g_j) > 0$ ならば、$f$ のすべての成分が支配的単項式項を有する必要があり、これは次数増加における行列乗法的性質が成り立つための必要十分条件である。