[論文レビュー] Resultant and conductor of geometrically semi-stable self maps of the projective line over a function field

Lucien Szpiro, Michael Tepper+1 more|arXiv (Cornell University)|Oct 25, 2010

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

ひとこと要約

本論文は、関数体上の射影直線の自己写像について、最小結果因子と導手の研究を行い、楕円曲面の最小判別式をその導手で有界化する古典的定理の動的類似を確立する。直接の類似は失敗することが反例によって示されたが（証明済）、『臨界的悪い還元』を導手の基点として用いる修正版は依然として有効であり、算術的定理の洗練された動的類似を提供する。

ABSTRACT

ABSTRACT. We study the minimal resultant divisor of self-maps of the projective line over a function field, and its relation to the conductor. The guiding focus is the exploration of a dynamical analog to Theorem 1, which bounds the degree of the minimal discriminant of an elliptic surface in terms of the conductor. We study minimality and semi-stability, considering what conditions imply minimality (Theorem 22) and whether semi-stable models and presentations are minimal (Theorem 24). We prove the singular reduction of a semi-stable presentation coincides with the bad reduction (Theorem 11). Given an elliptic curve over a function field with semi-stable bad reduction, we show the associated Lattes map has unstable bad reduction (Theorem 16). Degree 2 maps in normal form with semi-stable bad reduction are used to construct a counterexample (Theorem 3) to a natural dynamical analog to Theorem 1. Finally, we consider the notion of “critical bad reduction, ” and show that a dynamical analog to Theorem 1 may still be possible using the locus of critical bad reduction to define the conductor (Theorem 26). 1. BACKGROUND Throughout, let k be an algebraically closed field of characteristic 0.

研究の動機と目的

• 楕円曲面における導手と最小判別式の古典的定理の動的類似を構築すること。
• 関数体上の射影直線の自己写像についての最小性および半安定性条件を調査すること。
• 半安定モデルおよび表現が最小であるかどうか、また特異的還元が悪い還元と一致するかどうかを特定すること。
• 半安定悪い還元を示す楕円曲線に付随するラッティーズ写像の挙動を検討すること。
• 臨界的悪い還元を用いて定義される修正された導手が、古典的定理に対する有効な動的類似を回復できるかを検討すること。

提案手法

• 関数体上の射影直線の自己写像の最小結果因子を分析し、還元型を理解する。
• 半安定還元および正規形の理論を適用して、悪い還元の挙動を分類する。
• 2次写像を正規形で用いて、導手-判別式定理の自明な動的類似に対する反例を構成する。
• 動的系における導手を定義するための洗練された基点としての「臨界的悪い還元」の概念を導入する。
• 特に特徴標数0における関数体上の代数幾何学を用いて、還元および最小性を分析する。
• 算術的ダイナミクスおよび楕円曲面の結果を活用し、動的および算術的不変量を比較する。

実験結果

リサーチクエスチョン

• RQ1 関数体上の射影直線の自己写像に対して、導手-判別式の有界性の動的類似は存在するか？
• RQ2 どのような条件下で半安定表現が最小であるか？
• RQ3 半安定表現の特異的還元は悪い還元と一致するか？
• RQ4 半安定悪い還元を示す楕円曲線に付随するラッティーズ写像の還元型はどのように変化するか？
• RQ5 臨界的悪い還元を用いて定義される導手が、古典的定理に対する有効な動的類似を回復できるか？

主な発見

• 2次写像を正規形で用いた半安定悪い還元の反例により、導手-判別式定理の自然な動的類似が失敗することが示された。
• 半安定表現の特異的還元は悪い還元と一致し、この設定での一貫性が確認された（定理11）。
• 関数体上の楕円曲線が半安定悪い還元を示す場合、それに付随するラッティーズ写像は不安定な悪い還元を示す（定理16）。
• 半安定モデルおよび表現は必ずしも最小ではないため、半安定性と最小性の間に明確な違いがある（定理24）。
• 臨界的悪い還元の基点を用いて定義される修正された導手は、古典的定理に対する有効な動的類似を支持する（定理26）。
• 最小結果因子が、特に半安定表現の文脈において、悪い還元の幾何学的性質と密接に関連していることが示された。